Toric ideals finitely generated up to symmetry
|
|
- Eugenia Hopkins
- 5 years ago
- Views:
Transcription
1 Toric ideals finitely generated up to symmetry Anton Leykin Georgia Tech MOCCA, Levico Terme, September 2014 based on [arxiv: ] Noetherianity for infinite-dimensional toric varieties (with Jan Draisma, Rob H. Eggermont, Robert Krone) and [arxiv: ] Equivariant lattice generators and Markov bases (with Thomas Kahle, Robert Krone)
2 Equivariant Gröbner bases (EGBs) Ideals in some -dimensional rings can be represented finitely: K[x 1, x 2,...] with the action of S is Noetherian up to symmetry: every equivariant ideal is generated by orbits of finitely many elements.... still true if S is replaced with the monoid Inc(N) = {monotonous maps N N}. E.g., x 1, x 2,... = x 2014 S = x 1 Inc(N). There is an algorithm to compute an equivariant GB.... or perhaps are represented finitely: K[y ij i, j N] and K[y {i,j} i, j N] with the diagonal action of S are not equivariantly Noetherian. However, if EGB algorithm terminates, then the output is an EGB.
3 Equivariant Gröbner bases (EGBs) Ideals in some -dimensional rings can be represented finitely: K[x 1, x 2,...] with the action of S is Noetherian up to symmetry: every equivariant ideal is generated by orbits of finitely many elements.... still true if S is replaced with the monoid Inc(N) = {monotonous maps N N}. E.g., x 1, x 2,... = x 2014 S = x 1 Inc(N). There is an algorithm to compute an equivariant GB.... or perhaps are represented finitely: K[y ij i, j N] and K[y {i,j} i, j N] with the diagonal action of S are not equivariantly Noetherian. However, if EGB algorithm terminates, then the output is an EGB.
4 Equivariant maps General goal: study families with S n symmetry as n. Let K[Y ] and K[X] be polynomial rings with S -actions. A map φ : K[Y ] K[X] is a S -equivariant map if σφ(f) = φ(σf) for all σ S, f K[Y ]. An ideal I K[Y ] is a S -invariant ideal if σi I for all σ S. φ is S -equivariant ker φ is a S -invariant ideal.
5 Example (Two theorems) [de Loera-Sturmfels-Thomas] Let φ : y {i,j} x i x j for i j N, ker φ = y {1,2} y {3,4} y {1,4} y {3,2} S. [Aoki-Takemura] Let φ : y ij x i x j for i j N, ker φ = y 12 y 34 y 14 y 32, y 12 y 23 y 31 y 21 y 32 y 13 S. Idea of a proof: eliminate (using EGB) in the ring K[x i, y ij i, j N]. Definition: Equivariant Markov basis of φ is a set generating ker φ up to symmetry.
6 Kernel of φ : y ij x 2 i x j Using EGB for elimination get a Markov basis: y 1,3 y 0,2 y 1,2 y 0,3 y 2,0 y 1,0 y 1,2 y 0,2 y 2,1 y 0,1 y 1,2 y 0,2 y 2,3 y 0,1 y 2,1 y 0,3 y 2,3 y 1,0 y 2,0 y 1,3 y 3,1 y 2,0 y 3,0 y 2,1 y 3,2 y 0,1 y 3,1 y 0,2 y 3,2 y 1,0 y 3,0 y 1,2 y 1,2 y 2 0,1 y2 1,0 y 0,2 y 2,0 y 0,1 2 y 1,0 y2 0,2 y 2,1 y 0,2 2 y2 2,0 y 0,1 y 2,1 y 1,0 y 0,2 y 2,0 y 1,2 y 0,1 y 2,1 y 1,0 2 y2 1,2 y 0,1 y 2 2,1 y 0,2 y2 2,0 y 1,2 y 2 2,1 y 1,0 y 2,0 y2 1,2 y 2,1 y 1,0 y 0,3 y 2,0 y 1,3 y 0,1 y 2 2,1 y 0,3 y2 2,0 y 1,3 y 2,3 y 1,2 y 0,2 y 2 2,0 y 1,3 y 3,0 y 1,2 y 0,2 y 2,0 y 1,3 y 0,3 y 3,0 y 1,2 2 y 2,0 y2 1,3 y 3,0 y 2 2,1 y 2,3 y 2,0 y 1,3 y 3,1 y 2 0,2 y 2,1 y2 0,3 y 3,1 y 1,0 y 0,2 y 3,0 y 1,2 y 0,1 y 3,1 y 1,2 y 0,2 y 2,1 y 1,3 y 0,3 y 3,1 y 2,3 y 0,3 y 2 3,0 y 2,1 y 2 3,1 y 0,2 y2 3,0 y 1,2 y 3,2 y 1,3 y 0,3 y 2 3,0 y 1,2 y 3,2 y 2,0 y 1,3 y 3,0 y 2,3 y 1,2 y 3,2 y 2,0 y 1,4 y 3,0 y 2,4 y 1,2 y 3,2 y 2,1 y 0,3 y 3,1 y 2,3 y 0,2 y 3,2 y 2,1 y 0,4 y 3,1 y 2,4 y 0,2 y 4,0 y 2,3 y 1,3 y 3,0 y 2,4 y 1,4 y 4,1 y 2,3 y 0,3 y 3,1 y 2,4 y 0,4 y 4,2 y 1,3 y 0,3 y 3,2 y 1,4 y 0,4 y 4,2 y 2,0 y 1,3 y 4,0 y 2,3 y 1,2 y 4,2 y 2,1 y 0,3 y 4,1 y 2,3 y 0,2 y 2,1 y 1,2 y 0,3 y 0,2 y 2,0 2 y 1,3 y 0,1 y 3,1 y 2,3 y 1,3 y 0,4 y 3,0 2 y 2,1 y 1,4 y 3,1 y 2,3 2 y 0,4 y2 3,0 y 2,4 y 2,1 y 3,2 y 2,3 y 1,3 y 0,4 y 3,0 2 y 2,4 y 1,2 y 4,1 y 2,3 y 1,4 y 0,4 y 4,0 2 y 2,1 y 1,3 y 4,1 y 3,2 y 1,4 y 0,4 y 4,0 2 y 3,1 y 1,2 y 4,1 y 3,4 y 2,4 y 0,5 y 4,0 2 y 3,1 y 2,5 y 2,1 y 1,2 2 y2 0,3 y2 2,0 y2 1,3 y 0,1 y 2,1 y 1,2 2 y 0,4 y 0,3 y2 2,0 y 1,4 y 1,3 y 0,1 y 3,2 y 2,3 2 y 1,4 y 0,4 y2 3,0 y2 2,4 y 1,2 y 3,2 y 2,3 2 y 1,4 y 0,5 y2 3,0 y 2,5 y 2,4 y 1,2 y 4,1 y 2,3 y 1,4 2 y 0,5 y2 4,0 y 2,1 y 1,5 y 1,3 y 4,1 y 3,2 y 1,4 2 y 0,5 y2 4,0 y 3,1 y 1,5 y 1,2 y 4,3 y 4,0 2 y 3,2 y 3,1 y 4,2 y 4,1 y2 3,4 y 0,3 y 5,1 y 4,2 y 3,5 2 y 0,3 y2 5,0 y 4,3 y 3,2 y 3,1 51 generators, width 6, degree 5. (Computation in 4ti2 by Draisma, EquivariantGB in M2 by Krone)
7 Questions Does a finite equivariant Markov basis (or lattice generating set) exist? Can we compute one? Can we find small bases? Size: number of generators. Degree: maximum degree of the generators. Width: largest index value used by the generators. Can we answer these for the one-monomial map φ : K[y ij i j N] K[x 1, x 2,...] where a > b are coprime? y ij x a i x b j
8 Questions Does a finite equivariant Markov basis (or lattice generating set) exist? Can we compute one? Can we find small bases? Size: number of generators. Degree: maximum degree of the generators. Width: largest index value used by the generators. Can we answer these for the one-monomial map φ : K[y ij i j N] K[x 1, x 2,...] where a > b are coprime? y ij x a i x b j
9 Factor φ as φ : K[Y ] π K [ ] z11, z 12,... ψ K[x z 21, z 22,... 1, x 2,...] π : y ij z 1i z 2j ψ : z 1i x a i ψ : z 2i x b i ker φ = ker π + π 1 (im π ker ψ). ker π = y 12 y 34 y 14 y 32, y 12 y 23 y 31 y 21 y 32 y 13 S. (ker π)k[y ± ] = y 12 y 34 y 14 y 32 S. What does im π ker ψ look like?
10 Lattice picture A ψ : M 2 N M 1 N [ ] c11 c 12 [ ac c 21 c bc 21 ac 12 + bc 22 ]. A ψ multiplies matrices by [a b] on the left. Any v ker A ψ must have all columns in the span of [ ] b. a Lemma: im π ker ψ is generated by S -orbits of z C1 z C2 such that [ ] b b 0 C 1 C 2 =. a a 0 z b 11z a 22 z b 12z a 21 generates the lattice.
11 im π ker ψ is generated by S -orbits of z C1 z C2 with the following C 1, C 2 (i) For each 0 n a b, [ ] [ ] b + n n c13 c C 1 = 14 n b + n c13 c, C 0 a c 23 c 24 2 = 14 a 0 c 23 c 24 where j 3 c 1j = a b n and j 3 c 2j = n. (ii) For each 1 n b, [ ] b 0 a b + n 0 C 1 =, C 0 a n 0 2 = (Experiments using 4ti2 and Macaulay2 helped.) [ ] 0 b a b + n 0. a 0 n 0
12 Markov basis formula [Kahle-Krone-L.] A S -equivariant Markov basis for φ is ( for (a, b) = (2, 1) ) (i) y 12 y 34 y 14 y 32 ; (ii) y 12 y 23 y 31 y 21 y 32 y 13 ; (...) (iii) for each 0 n a b, y b+n 12 j 3 y c1j j2 yc2j yb+n 21 j 3 y c1j j1 yc2j 1j where j 3 c 1j = a b n and j 3 c 2j = n; (iv) for each 1 n b, y b n 12 yn 13y a b+n 32 y b n 21 yn 23y a b+n 31. (...) ( y12 y 32 y 21 y 31, n = 0; y12y 2 23 y21y 2 13, n = 1; ( y13 y 2 32 y 23 y ) Size = O((a b) (a b) ), (5) degree = max(a + b, 2a b), (3) width = max(4, a b + 2). (4) )
13 S -equivariant lattice generating set For width = 2, φ : y ij x a i xb j, [Kahle, Krone, L.] Up to symmetry, the lattice generators are y 12y 34 y 14y 32; y21y b a b 31 y12y b a b 32. Note: Size = 2, degree = a, width = 4. These are small! In general, φ : y (i1,...,i k ) x a1 i 1 x a k i k. [Hillar-delCampo] The lattice (equivariant binomial ideal) can be generated in width 2d 1, where d = i a i. [Kahle-Krone-L.] There is a formula for lattice generators with width k + 2 and (k 2 + k 2)/2 elements or width 2k and k 1 elements, Markov bases seem involved for k 3.
14 S -equivariant lattice generating set For width = 2, φ : y ij x a i xb j, [Kahle, Krone, L.] Up to symmetry, the lattice generators are y 12y 34 y 14y 32; y21y b a b 31 y12y b a b 32. Note: Size = 2, degree = a, width = 4. These are small! In general, φ : y (i1,...,i k ) x a1 i 1 x a k i k. [Hillar-delCampo] The lattice (equivariant binomial ideal) can be generated in width 2d 1, where d = i a i. [Kahle-Krone-L.] There is a formula for lattice generators with width k + 2 and (k 2 + k 2)/2 elements or width 2k and k 1 elements, Markov bases seem involved for k 3.
15 Theorem (Draisma, Eggermont, Krone, L.) Any S -equivariant toric map x 11, x 12,... φ : K[Y ] K. x k1, x k2,... where Y has a finite number of S orbits, has a finite S -equivariant Markov basis. There exists an algorithm to construct a Markov basis above... (not implemented!) Implies [de Loera-Sturmfels-Thomas], [Aoki-Takemura], and... [Hillar-Sullivant] Let E be a hypergraph on [k] and let φ E : y (i1,...,i k ) x e,(ij1,...,i js ). e=(j 1,...,j s) E If e has at most one infinite index, a finite equivariant Markov basis.
16 Factoring the map Main idea: factor the map φ : K[Y ] K[X] as φ = ψ π. Let Y = {y p,j p, J}, where p [N], N is the number of S -orbits; J is a k p-tuple of distinct natural numbers. π : K[Y ] K[Z] is given by ψ... captures the rest. y p,j l [k p] z p,l,jl. Want: show that ker π is finitely generated and im π is Noetherian up to symmetry.
17 Matching monoid Generate a monoid by π(y p,j ) = z A, where A p [N] N[kp] N is an [N]-tuple of finite-by- matrices A p [ ] x p φ(y p,(0,1) y p,(2,4) ) φ(y p,(0,4) y p,(2,1) )
18 Proposition: For an N-tuple A p [N] N[kp] N, z A im π iff p [N] the matrix A p N [kp] N has all row sums equal to a number d p N and all column sums d p. We call such A good. Proposition: The Inc(N) divisibility order on the matching monoid (of good A) is a wpo. This settles the Noetherianness of im π.
19 Putting things together Proposition: ker π is generated by binomials in y p,j of degree at most 2 max p k p 1. Recall: ker φ = ker π + π 1 (im π ker ψ). Therefore, ker φ is finitely generated. It is possible to generalize Buchberger s algorithm to K[M] for a monoid M with a wpo... if all ingredients are made effective. One can find an equivariant GB for ker π of the same degree as in Proposition above (w.r.t. a certain monomial order). There exists an algorithm to construct a Markov basis for ker φ.
20 Summary Computing equivariant Markov bases is hard for machines. It is possible to find relatively small bases for some families. [DEKL] main theorem implies Noetherianness up to symmetry for the kernel of a monomial map in a large class of maps with the image in a S -Noetherian ring. What parts of commutative algebra transplant to the -dimensional S -equivariant setting?
Noetherianity up to symmetry
1 Noetherianity up to symmetry Jan Draisma TU Eindhoven and VU Amsterdam Singular Landscapes in honour of Bernard Teissier Aussois, June 2015 A landscape, and a disclaimer 2 # participants A landscape,
More informationSYMMETRIC IDEALS AND NUMERICAL PRIMARY DECOMPOSITION
SYMMETRIC IDEALS AND NUMERICAL PRIMARY DECOMPOSITION A Thesis Presented to The Academic Faculty by Robert C. Krone In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the
More informationProperties of ideals in an invariant ascending chain
Properties of ideals in an invariant ascending chain Uwe Nagel (University of Kentucky) joint work with Tim Römer (University of Osnabrück) Daejeon, August 3, 2015 Two-way Tables Fix integers c, r 2 and
More informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationToric Fiber Products
Toric Fiber Products Seth Sullivant North Carolina State University June 8, 2011 Seth Sullivant (NCSU) Toric Fiber Products June 8, 2011 1 / 26 Families of Ideals Parametrized by Graphs Let G be a finite
More informationTotal binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg
Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Setup Let k be a field. For computations we use k = Q. k[p] := k[p 1,..., p n ] the polynomial ring in n indeterminates
More informationarxiv: v3 [math.ac] 6 Jan 2010
EQUIVARIANT GRÖBNER BASES AND THE GAUSSIAN TWO-FACTOR MODEL ANDRIES E. BROUWER AND JAN DRAISMA arxiv:0908.1530v3 [math.ac] 6 Jan 2010 Abstract. Exploiting symmetry in Gröbner basis computations is difficult
More informationCommuting birth-and-death processes
Commuting birth-and-death processes Caroline Uhler Department of Statistics UC Berkeley (joint work with Steven N. Evans and Bernd Sturmfels) MSRI Workshop on Algebraic Statistics December 18, 2008 Birth-and-death
More informationEQUIVARIANT GRÖBNER BASES AND THE GAUSSIAN TWO-FACTOR MODEL
MATHEMATICS OF COMPUTATION Volume 80, Number 274, April 2011, Pages 1123 1133 S 0025-5718(2010)02415-9 Article electronically published on September 9, 2010 EQUIVARIANT GRÖBNER BASES AND THE GAUSSIAN TWO-FACTOR
More informationarxiv: v2 [math.ag] 4 Nov 2013
Noetherianity up to symmetry Jan Draisma arxiv:1310.1705v2 [math.ag] 4 Nov 2013 Department of Mathematics and Computer Science, Eindhoven University of Technology; and Centrum Wiskunde en Informatica,
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 14 April. Binomial Ideals
Binomial Ideals Binomial ideals offer an interesting class of examples. Because they occur so frequently in various applications, the development methods for binomial ideals is justified. 1 Binomial Ideals
More informationGroebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics
Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics Tan Tran Junior Major-Economics& Mathematics History Groebner bases were developed by Buchberger in 1965, who later named
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationToric statistical models: parametric and binomial representations
AISM (2007) 59:727 740 DOI 10.1007/s10463-006-0079-z Toric statistical models: parametric and binomial representations Fabio Rapallo Received: 21 February 2005 / Revised: 1 June 2006 / Published online:
More informationTutorial: Gaussian conditional independence and graphical models. Thomas Kahle Otto-von-Guericke Universität Magdeburg
Tutorial: Gaussian conditional independence and graphical models Thomas Kahle Otto-von-Guericke Universität Magdeburg The central dogma of algebraic statistics Statistical models are varieties The central
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationOn the minimal free resolution of a monomial ideal.
On the minimal free resolution of a monomial ideal. Caitlin M c Auley August 2012 Abstract Given a monomial ideal I in the polynomial ring S = k[x 1,..., x n ] over a field k, we construct a minimal free
More informationMath 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010
Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated
More informationMarkov bases and subbases for bounded contingency tables
Markov bases and subbases for bounded contingency tables arxiv:0905.4841v2 [math.co] 23 Jun 2009 Fabio Rapallo Abstract Ruriko Yoshida In this paper we study the computation of Markov bases for contingency
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationCommutative algebra 19 May Jan Draisma TU Eindhoven and VU Amsterdam
1 Commutative algebra 19 May 2015 Jan Draisma TU Eindhoven and VU Amsterdam Goal: Jacobian criterion for regularity 2 Recall A Noetherian local ring R with maximal ideal m and residue field K := R/m is
More informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
More informationA new parametrization for binary hidden Markov modes
A new parametrization for binary hidden Markov models Andrew Critch, UC Berkeley at Pennsylvania State University June 11, 2012 See Binary hidden Markov models and varieties [, 2012], arxiv:1206.0500,
More informationLecture 1: Gröbner Bases and Border Bases
Lecture 1: Gröbner Bases and Border Bases The Schizophrenic Lecture Martin Kreuzer Fakultät für Informatik und Mathematik Universität Passau martin.kreuzer@ uni-passau.de Sophus Lie Center Nordfjordeid
More informationFrom Gauss. to Gröbner Bases. John Perry. The University of Southern Mississippi. From Gauss to Gröbner Bases p.
From Gauss to Gröbner Bases p. From Gauss to Gröbner Bases John Perry The University of Southern Mississippi From Gauss to Gröbner Bases p. Overview Questions: Common zeroes? Tool: Gaussian elimination
More informationAbstract Algebra for Polynomial Operations. Maya Mohsin Ahmed
Abstract Algebra for Polynomial Operations Maya Mohsin Ahmed c Maya Mohsin Ahmed 2009 ALL RIGHTS RESERVED To my students As we express our gratitude, we must never forget that the highest appreciation
More informationMODEL ANSWERS TO THE FIRST HOMEWORK
MODEL ANSWERS TO THE FIRST HOMEWORK 1. Chapter 4, 1: 2. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above
More informationAn Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms
An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms Fausto Di Biase and Rüdiger Urbanke CONTENTS 1. Introduction 2. The Solution by Means of a Gröbner Basis over Kx;y 3. The Solution
More informationReversely Well-Ordered Valuations on Polynomial Rings in Two Variables
Reversely Well-Ordered Valuations on Polynomial Rings in Two Variables Edward Mosteig Loyola Marymount University Los Angeles, California, USA Workshop on Valuations on Rational Function Fields Department
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationBinomial Ideals from Graphs
Binomial Ideals from Graphs Danielle Farrar University of Washington Yolanda Manzano St. Mary s University Juan Manuel Torres-Acevedo University of Puerto Rico Humacao August 10, 2000 Abstract This paper
More informationT. Hibi Binomial ideals arising from combinatorics
T. Hibi Binomial ideals arising from combinatorics lecture notes written by Filip Rupniewski (email: frupniewski@impan.pl) Binomial Ideals conference 3-9 September 207, Łukęcin, Poland Lecture Let S =
More informationCharacterizations of indicator functions of fractional factorial designs
Characterizations of indicator functions of fractional factorial designs arxiv:1810.08417v2 [math.st] 26 Oct 2018 Satoshi Aoki Abstract A polynomial indicator function of designs is first introduced by
More informationLecture 15: Algebraic Geometry II
6.859/15.083 Integer Programming and Combinatorial Optimization Fall 009 Today... Ideals in k[x] Properties of Gröbner bases Buchberger s algorithm Elimination theory The Weak Nullstellensatz 0/1-Integer
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 informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationThe Graph Isomorphism Problem and the Module Isomorphism Problem. Harm Derksen
The Graph Isomorphism Problem and the Module Isomorphism Problem Harm Derksen Department of Mathematics Michigan Center for Integrative Research in Critical Care University of Michigan Partially supported
More informationBounded-rank tensors are defined in bounded degree. J. Draisma and J. Kuttler
Bounded-rank tensors are defined in bounded degree J. Draisma and J. Kuttler REPORT No. 15, 2010/2011, spring ISSN 1103-467X ISRN IML-R- -15-10/11- -SE+spring BOUNDED-RANK TENSORS ARE DEFINED IN BOUNDED
More informationGroebner Bases and Applications
Groebner Bases and Applications Robert Hines December 16, 2014 1 Groebner Bases In this section we define Groebner Bases and discuss some of their basic properties, following the exposition in chapter
More informationarxiv: v2 [math.ac] 15 May 2010
MARKOV DEGREES OF HIERARCHICAL MODELS DETERMINED BY BETTI NUMBERS OF STANLEY-REISNER IDEALS SONJA PETROVIĆ AND ERIK STOKES arxiv:0910.1610v2 [math.ac] 15 May 2010 Abstract. There are two seemingly unrelated
More informationarxiv: v4 [math.ac] 31 May 2012
BETTI NUMBERS OF STANLEY-REISNER RINGS DETERMINE HIERARCHICAL MARKOV DEGREES SONJA PETROVIĆ AND ERIK STOKES arxiv:0910.1610v4 [math.ac] 31 May 2012 Abstract. There are two seemingly unrelated ideals associated
More informationFundamental theorem of modules over a PID and applications
Fundamental theorem of modules over a PID and applications Travis Schedler, WOMP 2007 September 11, 2007 01 The fundamental theorem of modules over PIDs A PID (Principal Ideal Domain) is an integral domain
More informationon Newton polytopes, tropisms, and Puiseux series to solve polynomial systems
on Newton polytopes, tropisms, and Puiseux series to solve polynomial systems Jan Verschelde joint work with Danko Adrovic University of Illinois at Chicago Department of Mathematics, Statistics, and Computer
More informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
More informationA Saturation Algorithm for Homogeneous Binomial Ideals
A Saturation Algorithm for Homogeneous Binomial Ideals Deepanjan Kesh and Shashank K Mehta Indian Institute of Technology, Kanpur - 208016, India, {deepkesh,skmehta}@cse.iitk.ac.in Abstract. Let k[x 1,...,
More informationToric Varieties in Statistics
Toric Varieties in Statistics Daniel Irving Bernstein and Seth Sullivant North Carolina State University dibernst@ncsu.edu http://www4.ncsu.edu/~dibernst/ http://arxiv.org/abs/50.063 http://arxiv.org/abs/508.0546
More informationGröbner bases of nested configurations arxiv: v1 [math.ac] 7 Jan 2008
Gröbner bases of nested configurations arxiv:080.099v [math.ac] 7 Jan 008 Satoshi Aoki, Takayuki Hibi, Hidefumi Ohsugi and Akimichi Takemura Abstract In this paper we introduce a new and large family of
More informationComputing Minimal Polynomial of Matrices over Algebraic Extension Fields
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 2, 2013, 217 228 Computing Minimal Polynomial of Matrices over Algebraic Extension Fields by Amir Hashemi and Benyamin M.-Alizadeh Abstract In this
More informationGRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases
GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.
More informationLecture 4 February 5
Math 239: Discrete Mathematics for the Life Sciences Spring 2008 Lecture 4 February 5 Lecturer: Lior Pachter Scribe/ Editor: Michaeel Kazi/ Cynthia Vinzant 4.1 Introduction to Gröbner Bases In this lecture
More informationMODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.
MODEL ANSWERS TO HWK #7 1. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above by c on the left, we get 0
More informationThe combinatorics of binomial ideals
The combinatorics of binomial ideals Thomas Kahle (MSRI) (joint with Ezra Miller, Duke) December 6, 2012 No Theorem Let k be a field. Every binomial ideal in k[x 1,..., x n ] is an intersection of primary
More informationPolytopes and Algebraic Geometry. Jesús A. De Loera University of California, Davis
Polytopes and Algebraic Geometry Jesús A. De Loera University of California, Davis Outline of the talk 1. Four classic results relating polytopes and algebraic geometry: (A) Toric Geometry (B) Viro s Theorem
More informationAlgebraic Models in Different Fields
Applied Mathematical Sciences, Vol. 8, 2014, no. 167, 8345-8351 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.411922 Algebraic Models in Different Fields Gaetana Restuccia University
More informationExplicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs
Explicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs arxiv:40.3268v [math.co] 4 Jan 204 Spencer Backman and Madhusudan Manjunath For a finite index sublattice L of the root lattice
More informationConfluence Algebras and Acyclicity of the Koszul Complex
Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation
More informationarxiv:alg-geom/ v1 11 Jan 1994
January 11, 1994 BINOMIAL IDEALS David Eisenbud 1 Brandeis University, Waltham MA 02254 arxiv:alg-geom/9401001v1 11 Jan 1994 eisenbud@math.brandeis.edu and Bernd Sturmfels 2 Cornell University, Ithaca,
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 informationMIT Algebraic techniques and semidefinite optimization February 16, Lecture 4
MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationMATHEMATICAL ENGINEERING TECHNICAL REPORTS. Markov Bases for Two-way Subtable Sum Problems
MATHEMATICAL ENGINEERING TECHNICAL REPORTS Markov Bases for Two-way Subtable Sum Problems Hisayuki HARA, Akimichi TAKEMURA and Ruriko YOSHIDA METR 27 49 August 27 DEPARTMENT OF MATHEMATICAL INFORMATICS
More informationOn a perturbation method for determining group of invariance of hierarchical models
.... On a perturbation method for determining group of invariance of hierarchical models Tomonari SEI 1 Satoshi AOKI 2 Akimichi TAKEMURA 1 1 University of Tokyo 2 Kagoshima University Dec. 16, 2008 T.
More informationA tropical approach to secant dimensions
A tropical approach to secant dimensions Jan Draisma Madrid, 30 March 2007 1/16 Typical example: polynomial interpolation in two variables Set up: d N p 1,..., p k general points in C 2 codim{f C[x, y]
More informationHypergraphs and Regularity of Square-free Monomial Ideals
Hypergraphs and Regularity of Square-free Monomial Ideals Jason McCullough (Joint w/kuei-nuan Lin) MSRI Rider University January 9, 2013 Joint AMS-MAA Math Meetings Special Session in Commutative Algebra
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More information1 - Systems of Linear Equations
1 - Systems of Linear Equations 1.1 Introduction to Systems of Linear Equations Almost every problem in linear algebra will involve solving a system of equations. ü LINEAR EQUATIONS IN n VARIABLES We are
More informationOn intersections of complete intersection ideals
On intersections of complete intersection ideals Mircea Cimpoeaş I.M.A.R. mircea.cimpoeas@imar.ro joint work with Dumitru Stamate July 7, 2016, I.M.N.S., Levico Terme, Italy Overview 1 Introduction 2 Main
More informationOn the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems
On the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems Bruno.Salvy@inria.fr Algorithms Project, Inria Joint work with Magali Bardet & Jean-Charles Faugère September 21st, 2006
More informationmathematics Smoothness in Binomial Edge Ideals Article Hamid Damadi and Farhad Rahmati *
mathematics Article Smoothness in Binomial Edge Ideals Hamid Damadi and Farhad Rahmati * Faculty of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), 424 Hafez
More informationAbstract Vector Spaces and Concrete Examples
LECTURE 18 Abstract Vector Spaces and Concrete Examples Our discussion of linear algebra so far has been devoted to discussing the relations between systems of linear equations, matrices, and vectors.
More informationarxiv:math/ v1 [math.ac] 11 Jul 2006
arxiv:math/0607249v1 [math.ac] 11 Jul 2006 MINIMAL SYSTEMS OF BINOMIAL GENERATORS AND THE INDISPENSABLE COMPLEX OF A TORIC IDEAL HARA CHARALAMBOUS, ANARGYROS KATSABEKIS, AND APOSTOLOS THOMA Abstract. Let
More information4 Hilbert s Basis Theorem and Gröbner basis
4 Hilbert s Basis Theorem and Gröbner basis We define Gröbner bases of ideals in multivariate polynomial rings and see how they work in tandem with the division algorithm. We look again at the standard
More informationVeronesean almost binomial almost complete intersections
Rend. Istit. Mat. Univ. Trieste Volume 50 (2018), 1 15 (electronic preview) DOI: 10.13137/0049-4704/21598 Veronesean almost binomial almost complete intersections Thomas Kahle and André Wagner Abstract.
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 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 informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 27 January. Gröbner bases
Gröbner bases In this lecture we introduce Buchberger s algorithm to compute a Gröbner basis for an ideal, following [2]. We sketch an application in filter design. Showing the termination of Buchberger
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationExample: Hardy-Weinberg Equilibrium. Algebraic Statistics Tutorial I. Phylogenetics. Main Point of This Tutorial. Model-Based Phylogenetics
Example: Hardy-Weinberg Equilibrium Algebraic Statistics Tutorial I Seth Sullivant North Carolina State University July 22, 2012 Suppose a gene has two alleles, a and A. If allele a occurs in the population
More informationMonomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra
Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra Susan M. Hermiller Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE
More informationLecture 2 Some Sources of Lie Algebras
18.745 Introduction to Lie Algebras September 14, 2010 Lecture 2 Some Sources of Lie Algebras Prof. Victor Kac Scribe: Michael Donovan From Associative Algebras We saw in the previous lecture that we can
More informationComputing toric degenerations of flag varieties
Computing toric degenerations of flag varieties Sara Lamboglia University of Warwick with Lara Bossinger, Kalina Mincheva and Fatemeh Mohammadi (arxiv 1702.05505 ) Compute Gröbner toric degenerations of
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 informationMath 1060 Linear Algebra Homework Exercises 1 1. Find the complete solutions (if any!) to each of the following systems of simultaneous equations:
Homework Exercises 1 1 Find the complete solutions (if any!) to each of the following systems of simultaneous equations: (i) x 4y + 3z = 2 3x 11y + 13z = 3 2x 9y + 2z = 7 x 2y + 6z = 2 (ii) x 4y + 3z =
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationGröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters
Gröbner Bases 1 S-polynomials eliminating the leading term Buchberger s criterion and algorithm 2 Wavelet Design construct wavelet filters 3 Proof of the Buchberger Criterion two lemmas proof of the Buchberger
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
More informationGröbner Bases for Noncommutative Polynomials
Gröbner Bases for Noncommutative Polynomials Arjeh M. Cohen 8 January 2007 first lecture of Three aspects of exact computation a tutorial at Mathematics: Algorithms and Proofs (MAP) Leiden, January 8 12,
More informationRings. EE 387, Notes 7, Handout #10
Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for
More informationHilbert Polynomials. dimension and counting monomials. a Gröbner basis for I reduces to in > (I)
Hilbert Polynomials 1 Monomial Ideals dimension and counting monomials 2 The Dimension of a Variety a Gröbner basis for I reduces to in > (I) 3 The Complexity of Gröbner Bases a bound on the degrees of
More informationALGEBRAIC AND COMBINATORIAL PROPERTIES OF CERTAIN TORIC IDEALS IN THEORY AND APPLICATIONS
University of Kentucky UKnowledge University of Kentucky Doctoral Dissertations Graduate School 2008 ALGEBRAIC AND COMBINATORIAL PROPERTIES OF CERTAIN TORIC IDEALS IN THEORY AND APPLICATIONS Sonja Petrovic
More informationOrder of Operations. Real numbers
Order of Operations When simplifying algebraic expressions we use the following order: 1. Perform operations within a parenthesis. 2. Evaluate exponents. 3. Multiply and divide from left to right. 4. Add
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More informationComputational methods in the study of symplectic quotients
Computational methods in the study of symplectic quotients Hans-Christian Herbig, UFRJ and Christopher Seaton, Rhodes College Instituto de Matemática Aplicado, Universidade Federal do Rio de Janeiro January
More information5 The existence of Gröbner basis
5 The existence of Gröbner basis We use Buchberger s criterion from the previous section to give an algorithm that constructs a Gröbner basis of an ideal from any given set of generators Hilbert s Basis
More information