Dyck path triangulations and extendability
|
|
- Amelia Watson
- 5 years ago
- Views:
Transcription
1 Dyck path triangulations and extendability [extended abstract] Cesar Ceballos 1,2 Arnau Padrol 3 Camilo Sarmiento 4 1 York University 2 Fields Institute 3 Freie Universität Berlin 4 Otto-von-Guericke-Universität Magdeburg 27th FPSAC 2015, Daejeon July 10th, 2015 arxiv: / 17
2 Outline of the talk Introduction to triangulations of d 1 n 1 Dyck path triangulations and some relatives Extendability of partial triangulations Further questions 0 / 17
3 Outline of the talk Introduction to triangulations of d 1 n 1 Dyck path triangulations and some relatives Extendability of partial triangulations Further questions 0 / 17
4 Objects of study The standard (d 1)-simplex is the polytope: d 1 := conv {e 1, e 2,..., e d } R d 1 / 17
5 Objects of study The product of simplices is the (d + n 2)-dimensional polytope: { d 1 n 1 := conv (e i, e j ): e i R d, e j R n} R d+n 2 / 17
6 Objects of study A triangulation of d 1 n 1 is a subdivision into simplices (spanned by vertices of d 1 n 1 ) that cover d 1 n 1 and intersect properly: 3 / 17
7 Motivation: connection to other areas Subdivisions of d 1 n 1 appear in many different contexts: Geometric combinatorics [Haiman, Santos] Toric geometry and algebra [Sturmfels-Zelevinsky, Babson-Billera] Tropical geometry [Sturmfels-Develin, Santos, Kapranov, Speyer, Joswig-Herrmann-Speyer, Fink-Rincon] Matroid of lines in generic arrangement of flags [Ardila-Billey] 4 / 17
8 Some results available It is an open problem due to Gel fand, Kapranov and Zelevinsky to find an explicit description of all triangulations of d 1 n 1. [Sturmfels 91] Number of triangulations known only for d 1 1 and (asymptotically in d) for d 1 2 [Santos] Connectedness of graphs of triangulations known only for d 1 1 and of d 1 2 are connected under flips [Santos] Secondary polytope of d 1 1 is affinely isomorphic to (d 1)-permutahedron [Gelfand-Kapranov-Zelevinsky] Some facets of secondary polytope of d 1 n 1 have arbitrarily large integral normal vectors [Babson-Billera] 5 / 17
9 Preliminaries: grid representation 6 / 17
10 Preliminaries: grid representation View a simplex of d 1 n 1 as a subset of a d n grid: 6 / 17
11 Preliminaries: grid representation View a simplex of d 1 n 1 as a subset of a d n grid: So a triangulation of d 1 n 1 looks like: 6 / 17
12 Preliminaries: staircase triangulation A staircase in the d n grid represents a full-dimensional simplex of d 1 n 1 7 / 17
13 Preliminaries: staircase triangulation A staircase in the d n grid represents a full-dimensional simplex of d 1 n 1 The ( ) d+n 2 d 1 staircases represent simplices that form the staircase triangulation of d 1 n 1 : 7 / 17
14 Preliminaries: mixed subdivisions 8 / 17
15 Preliminaries: mixed subdivisions View columns in grid representation as labelled Minkowski summands: 8 / 17
16 Preliminaries: mixed subdivisions View columns in grid representation as labelled Minkowski summands: 8 / 17
17 Preliminaries: mixed subdivisions View columns in grid representation as labelled Minkowski summands: Theorem (Sturmfels 94, Huber-Rambau-Santos 00) { } { triangulations fine mixed subdivisions of of d 1 n 1 Cayley trick d n 1 := n n 1 } 8 / 17
18 Preliminaries: mixed subdivisions Theorem (Sturmfels 94, Huber-Rambau-Santos 00) { } { } triangulations Cayley trick fine mixed subdivisions of of d 1 n 1 d n 1 := n n 1 Examples Triangulation of 1 2 fine mixed subdivision of / 17
19 Preliminaries: mixed subdivisions Theorem (Sturmfels 94, Huber-Rambau-Santos 00) { } { } triangulations Cayley trick fine mixed subdivisions of of d 1 n 1 d n 1 := n n 1 Examples Triangulation of 3 2 fine mixed subdivision of / 17
20 Outline of the talk Introduction to triangulations of d 1 n 1 Dyck path triangulations and some relatives Extendability of partial triangulations Further questions 9 / 17
21 Dyck path triangulation of n 1 n 1 Consider the Dyck paths in an n n grid, 10 / 17
22 Dyck path triangulation of n 1 n 1 Consider the Dyck paths in an n n grid, with their orbits under diagonal cyclic action (i, j) (i + 1 mod n, j + 1 mod n) 10 / 17
23 Dyck path triangulation of n 1 n 1 Consider the Dyck paths in an n n grid, with their orbits under diagonal cyclic action (i, j) (i + 1 mod n, j + 1 mod n) 10 / 17
24 Dyck path triangulation of n 1 n 1 Consider the Dyck paths in an n n grid, with their orbits under diagonal cyclic action (i, j) (i + 1 mod n, j + 1 mod n) Theorem (Ceballos-Padrol-S 14) The resulting n 1 ( 2(n 1) ) n n 1 simplices form a (regular) triangulation of n 1 n 1 : the Dyck path triangulation. 10 / 17
25 Dyck path triangulation of n 1 n 1 Consider the Dyck paths in an n n grid, with their orbits under diagonal cyclic action (i, j) (i + 1 mod n, j + 1 mod n) Theorem (Ceballos-Padrol-S 14) The resulting n 1 ( 2(n 1) ) n n 1 simplices form a (regular) triangulation of n 1 n 1 : the Dyck path triangulation. 10 / 17
26 Some relatives 11 / 17
27 Some relatives Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. 11 / 17
28 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. 11 / 17
29 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. 11 / 17
30 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. Extended Dyck path triangulation: 11 / 17
31 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. Extended Dyck path triangulation: 11 / 17
32 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. Extended Dyck path triangulation: Rational Dyck path triangulation 11 / 17
33 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. Extended Dyck path triangulation: Rational Dyck path triangulation 11 / 17
34 Some relatives Flipped Dyck path triangulation: Theorem (Ceballos-Padrol-S 14) The following are (regular) triangulations. Extended Dyck path triangulation: Rational Dyck path triangulation 11 / 17
35 Outline of the talk Introduction to triangulations of d 1 n 1 Dyck path triangulations and some relatives Extendability of partial triangulations Further questions 11 / 17
36 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 12 / 17
37 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 12 / 17
38 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 12 / 17
39 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 12 / 17
40 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 12 / 17
41 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 12 / 17
42 Partial triangulations Partial triangulation = triangulation of skel k 1 ( d 1 ) n 1 Question: are there d, n, k N + conditions such that every triangulation of skel k 1 ( d 1 ) n 1 extends? 12 / 17
43 Triangulations of skel k 1 ( d 1 ) n 1 Motivation and existing results 13 / 17
44 Triangulations of skel k 1 ( d 1 ) n 1 Motivation and existing results k = 2, min{d, n} 3: one obstruction, complete characterization [Ardila-Ceballos 11] 13 / 17
45 Triangulations of skel k 1 ( d 1 ) n 1 Motivation and existing results k = 2, min{d, n} 3: one obstruction, complete characterization [Ardila-Ceballos 11] k = 2, min{d, n} > 3: more obstructions, open [Santos 11, Ceballos-Padrol-S. 14] 13 / 17
46 Triangulations of skel k 1 ( d 1 ) n 1 Motivation and existing results k = 2, min{d, n} 3: one obstruction, complete characterization [Ardila-Ceballos 11] k = 2, min{d, n} > 3: more obstructions, open [Santos 11, Ceballos-Padrol-S. 14] Conjecture: for k = 2, general d, n, there are -many obstructions 13 / 17
47 Triangulations of skel k 1 ( d 1 ) n 1 Motivation and existing results k = 2, min{d, n} 3: one obstruction, complete characterization [Ardila-Ceballos 11] k = 2, min{d, n} > 3: more obstructions, open [Santos 11, Ceballos-Padrol-S. 14] Conjecture: for k = 2, general d, n, there are -many obstructions d n > k: open. Conjecture: there are -many obstructions 13 / 17
48 Triangulations of skel k 1 ( d 1 ) n 1 Motivation and existing results k = 2, min{d, n} 3: one obstruction, complete characterization [Ardila-Ceballos 11] k = 2, min{d, n} > 3: more obstructions, open [Santos 11, Ceballos-Padrol-S. 14] Conjecture: for k = 2, general d, n, there are -many obstructions d n > k: open. Conjecture: there are -many obstructions d k n: solved [Ceballos-Padrol-S. 14]. 13 / 17
49 Extendability result Theorem (Ceballos-Padrol-S 14) Let d k > n N. Every triangulation of skel k 1 ( d 1 ) n 1 extends to a unique triangulation of d 1 n / 17
50 Extendability result Theorem (Ceballos-Padrol-S 14) Let d k > n N. Every triangulation of skel k 1 ( d 1 ) n 1 extends to a unique triangulation of d 1 n 1. Some alternative interpretations when d n, we can always build any triangulation of d 1 n 1 by locally piecing together triangulations of n n 1 14 / 17
51 Extendability result Theorem (Ceballos-Padrol-S 14) Let d k > n N. Every triangulation of skel k 1 ( d 1 ) n 1 extends to a unique triangulation of d 1 n 1. Some alternative interpretations when d n, we can always build any triangulation of d 1 n 1 by locally piecing together triangulations of n n 1 as d increases, triangulations of d 1 n 1 don t get much more complicated than triangulations of n n 1 14 / 17
52 Extendability result Theorem (Ceballos-Padrol-S 14) Let d k > n N. Every triangulation of skel k 1 ( d 1 ) n 1 extends to a unique triangulation of d 1 n 1. Some alternative interpretations when d n, we can always build any triangulation of d 1 n 1 by locally piecing together triangulations of n n 1 as d increases, triangulations of d 1 n 1 don t get much more complicated than triangulations of n n 1 Moreover, k > n is the best possible. 14 / 17
53 Non-extendability result Theorem (Ceballos-Padrol-S 14) For every n 2 there is a non-extendable triangulation of skeln 1 ( n ) n 1. Idea of proof 15 / 17
54 Non-extendability result Theorem (Ceballos-Padrol-S 14) For every n 2 there is a non-extendable triangulation of skeln 1 ( n ) n 1. Idea of proof 15 / 17
55 Non-extendability result Theorem (Ceballos-Padrol-S 14) For every n 2 there is a non-extendable triangulation of skeln 1 ( n ) n 1. Idea of proof 15 / 17
56 Non-extendability result Theorem (Ceballos-Padrol-S 14) For every n 2 there is a non-extendable triangulation of skeln 1 ( n ) n 1. Idea of proof 15 / 17
57 Non-extendability result Theorem (Ceballos-Padrol-S 14) For every n 2 there is a non-extendable triangulation of skeln 1 ( n ) n 1. Idea of proof 15 / 17
58 Outline of the talk Introduction to triangulations of d 1 n 1 Dyck path triangulations and some relatives Extendability of partial triangulations Further questions 15 / 17
59 Further questions Dyck path triangulations exploit the identity: n C n 1 = ( ) 2n 2, n 1 16 / 17
60 Further questions Dyck path triangulations exploit the identity: n C n 1 = ( ) 2n 2, n 1 Rational Dyck path triangulations use that: ( ) (r + 1)n 2 n C(n, r n 1) =, n 1 16 / 17
61 Further questions Dyck path triangulations exploit the identity: n C n 1 = ( ) 2n 2, n 1 Rational Dyck path triangulations use that: ( ) (r + 1)n 2 n C(n, r n 1) =, n 1 Is there a triangulation involving the following? ( ) ( ) a + b 1 a + b a C(a, b) = or (a+b) C(a, b) = a 1 a where C(a, b) = 1 (for gcd(a, b) = 1) a+b ( a+b ) a are the rational Catalan numbers 16 / 17
62 Take-away messages There is a triangulation of n 1 n 1 involving Dyck paths and cyclic symmetry: If k > n, every triangulation of skel k 1 ( d 1 ) n 1 extends to a unique triangulation of d 1 n 1 For every n 2 there is a non-extendable triangulation of skel n 1 ( n ) n 1 17 / 17
63 17 / 17
64 A tropical translation Theorem (Develin-Sturmfels 04, Santos 04, Ardila-Develin 09) There is a bijection between: triangulations of d 1 n 1 fine mixed subdivisions of d n 1 generic arrangements of d tropical hyperplanes in TP n 1 back 17 / 17
65 A tropical translation Every generic arrangement of d tropical hyperplanes in TP n 1 gives rise to a compatible collection of ( d k) subarrangements: back 17 / 17
66 A tropical translation Every generic arrangement of d tropical hyperplanes in TP n 1 gives rise to a compatible collection of ( d k) subarrangements: back By extendability theorem, the converse holds: if d k > n, every compatible collection of ( d k) subarrangements corresponds to a unique generic arrangement of d tropical hyperplanes in TP n 1 17 / 17
67 A tropical translation Every generic arrangement of d tropical hyperplanes in TP n 1 gives rise to a compatible collection of ( d k) subarrangements: back without adjective tropical, this is Corollary in By extendability theorem, the converse holds: if d k > n, every compatible collection of ( d k) subarrangements corresponds to a unique generic arrangement of d tropical hyperplanes in TP n 1 17 / 17
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 informationHilbert Bases, Unimodular Triangulations, and Binary Covers of Rational Polyhedral Cones
Discrete Comput Geom 21:205 216 (1999) Discrete & Computational Geometry 1999 Springer-Verlag New York Inc. Hilbert Bases, Unimodular Triangulations, and Binary Covers of Rational Polyhedral Cones R. T.
More informationLecture 3: Tropicalizations of Cluster Algebras Examples David Speyer
Lecture 3: Tropicalizations of Cluster Algebras Examples David Speyer Let A be a cluster algebra with B-matrix B. Let X be Spec A with all of the cluster variables inverted, and embed X into a torus by
More informationPositroids, non-crossing partitions, and a conjecture of da Silva
Positroids, non-crossing partitions, and a conjecture of da Silva Federico Ardila M. San Francisco State University, San Francisco, California. Universidad de Los Andes, Bogotá, Colombia. Discrete Models
More information5. Grassmannians and the Space of Trees In this lecture we shall be interested in a very particular ideal. The ambient polynomial ring C[p] has ( n
5. Grassmannians and the Space of Trees In this lecture we shall be interested in a very particular ideal. The ambient polynomial ring C[p] has ( n d) variables, which are called Plücker coordinates: C[p]
More informationSome New Topics in International Trade Theory
Hausdorff School: Economics and Tropical Geometry Some New Topics in International Trade Theory Y. Shiozawa Emeritus, Osaka City University 2016.5.12 Y. Shiozawa 1 Contents 1. Ricardian Trade Economy 2.
More informationCounting matrices over finite fields
Counting matrices over finite fields Steven Sam Massachusetts Institute of Technology September 30, 2011 1/19 Invertible matrices F q is a finite field with q = p r elements. [n] = 1 qn 1 q = qn 1 +q n
More information10 Years BADGeometry: Progress and Open Problems in Ehrhart Theory
10 Years BADGeometry: Progress and Open Problems in Ehrhart Theory Matthias Beck (San Francisco State University) math.sfsu.edu/beck Thanks To... 10 Years BADGeometry: Progress and Open Problems in Ehrhart
More informationmatroid polytopes and their volumes.
matroid polytopes and their volumes. federico ardila carolina benedetti jeffrey doker abstract. We express the matroid polytope P M of a matroid M as a signed Minkowski sum of simplices, and obtain a formula
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 informationRational Catalan Combinatorics
Rational Catalan Combinatorics Eugene Gorsky UC Davis Bay Area Discrete Math Day October 17, 2015 Counting Dyck paths Catalan numbers The Catalan number is the number of Dyck paths, that is, lattice paths
More informationCOMBINATORICS OF HYPERGEOMETRIC FUNCTIONS ASSOCIATED WITH POSITIVE ROOTS
COMBINATORICS OF HYPERGEOMETRIC FUNCTIONS ASSOCIATED WITH POSITIVE ROOTS Israel M. Gelfand Department of Mathematics Rutgers University New Brunswick, NJ 08903, U.S.A. E-mail: igelfand@math.rutgers.edu
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
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 informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
More informationDiscriminants, resultants, and their tropicalization
Discriminants, resultants, and their tropicalization Course by Bernd Sturmfels - Notes by Silvia Adduci 2006 Contents 1 Introduction 3 2 Newton polytopes and tropical varieties 3 2.1 Polytopes.................................
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 informationThe Upper Bound Conjecture for Arrangements of Halfspaces
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No 2, 431-437 The Upper Bound Conjecture for Arrangements of Halfspaces Gerhard Wesp 1 Institut für Mathematik,
More informationCounting chains in noncrossing partition lattices
Counting chains in noncrossing partition lattices Nathan Reading NC State University NCSU Algebra Seminar, November 16, 2007 1 Counting chains in noncrossing partition lattices Classical noncrossing partitions
More informationAffine Geometry and Discrete Legendre Transform
Affine Geometry and Discrete Legendre Transform Andrey Novoseltsev April 24, 2008 Abstract The combinatorial duality used in Gross-Siebert approach to mirror symmetry is the discrete Legendre transform
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 informationarxiv: v1 [math.co] 9 Sep 2015
ARRANGEMENTS OF MINORS IN THE POSITIVE GRASSMANNIAN AND A TRIANGULATION OF THE HYPERSIMPLEX arxiv:09.000v [math.co] 9 Sep MIRIAM FARBER AND YELENA MANDELSHTAM Abstract. The structure of zero and nonzero
More informationInteger points enumerator of hypergraphic polytopes
arxiv:1812.09770v1 [math.co] 23 Dec 2018 Integer points enumerator of hypergraphic polytopes Marko Pešović Faculty of Civil Engineering, University of Belgrade mpesovic@grf.bg.ac.rs Mathematics Subject
More informationRCC. Drew Armstrong. FPSAC 2017, Queen Mary, London. University of Miami armstrong
RCC Drew Armstrong University of Miami www.math.miami.edu/ armstrong FPSAC 2017, Queen Mary, London Outline of the Talk 1. The Frobenius Coin Problem 2. Rational Dyck Paths 3. Core Partitions 4. The Double
More informationA Grassmann Algebra for Matroids
Joint work with Jeffrey Giansiracusa, Swansea University, U.K. Matroid (Whitney, 1935) A collection B of subsets of [n] = {1,2,...,n}, called bases, such that the basis exchange property holds: Matroid
More informationPRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM
PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM ALEX FINK 1. Introduction and background Consider the discrete conditional independence model M given by {X 1 X 2 X 3, X 1 X 3 X 2 }. The intersection axiom
More informationRational Catalan Combinatorics: Intro
Rational Catalan Combinatorics: Intro Vic Reiner Univ. of Minnesota reiner@math.umn.edu AIM workshop Dec. 17-21, 2012 Goals of the workshop 1 Reinforce existing connections and forge new connections between
More informationThe Algebraic Degree of Semidefinite Programming
The Algebraic Degree ofsemidefinite Programming p. The Algebraic Degree of Semidefinite Programming BERND STURMFELS UNIVERSITY OF CALIFORNIA, BERKELEY joint work with and Jiawang Nie (IMA Minneapolis)
More informationToric Varieties and the Secondary Fan
Toric Varieties and the Secondary Fan Emily Clader Fall 2011 1 Motivation The Batyrev mirror symmetry construction for Calabi-Yau hypersurfaces goes roughly as follows: Start with an n-dimensional reflexive
More informationBruhat order, rationally smooth Schubert varieties, and hyperplane arrangements
FPSAC 2010, San Francisco, USA DMTCS proc. AN, 2010, 833 840 Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements Suho Oh 1 and Hwanchul Yoo Department of Mathematics, Massachusetts
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 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 informationDissimilarity Vectors of Trees and Their Tropical Linear Spaces
Dissimilarity Vectors of Trees and Their Tropical Linear Spaces Benjamin Iriarte Giraldo Massachusetts Institute of Technology FPSAC 0, Reykjavik, Iceland Basic Notions A weighted n-tree T : A trivalent
More informationMatroids in Tropical Geometry
Matroids in Tropical Geometry Eric Katz (University of Waterloo) joint with June Huh (University of Michigan) April 1, 2013 Eric Katz (Waterloo) Matroids April 1, 2013 1 / 40 Matroids What are matroids?
More informationBalas formulation for the union of polytopes is optimal
Balas formulation for the union of polytopes is optimal Michele Conforti, Marco Di Summa, Yuri Faenza October 26, 27 Abstract A celebrated theorem of Balas gives a linear mixed-integer formulation for
More informationCoxeter Groups and Artin Groups
Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The
More informationSmith Normal Form and Combinatorics
Smith Normal Form and Combinatorics Richard P. Stanley June 8, 2017 Smith normal form A: n n matrix over commutative ring R (with 1) Suppose there exist P,Q GL(n,R) such that PAQ := B = diag(d 1,d 1 d
More informationThe homology of tropical varieties
The homology of tropical varieties Paul Hacking January 21, 2008 1 Introduction Given a closed subvariety X of an algebraic torus T, the associated tropical variety is a polyhedral fan in the space of
More informationSubword complexes, cluster complexes, and generalized multi-associahedra
J Algebr Comb (2014) 39:17 51 DOI 10.1007/s10801-013-0437-x Subword complexes, cluster complexes, and generalized multi-associahedra Cesar Ceballos Jean-Philippe Labbé Christian Stump Received: 22 October
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 informationTropical decomposition of symmetric tensors
Tropical decomposition of symmetric tensors Melody Chan University of California, Berkeley mtchan@math.berkeley.edu December 11, 008 1 Introduction In [], Comon et al. give an algorithm for decomposing
More informationarxiv: v3 [math.co] 1 Oct 2018
NON-SPANNING LATTICE 3-POLYTOPES arxiv:7.07603v3 [math.co] Oct 208 Abstract. We completely classify non-spanning 3-polytopes, by which we mean lattice 3-polytopes whose lattice points do not affinely span
More informationarxiv:math/ v1 [math.oc] 3 Oct 2001
AN ALGEBRAIC PERSPECTIVE OF GROUP RELAXATIONS arxiv:math/0110034v1 [math.oc] 3 Oct 2001 REKHA R. THOMAS Contents 1. Introduction 1 2. Group Relaxations 3 3. Associated Sets 10 4. Arithmetic Degree 16 5.
More informationThe Degree of Central Curve in Quadratic Programming
The in Quadratic Programming Mathematics Department San Francisco State University 15 October 2014 Quadratic Programs minimize 1 2 x t Qx + x t c subject to Ax = b x 0 where Q is n n positive definite
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 informationTropical Algebraic Geometry
Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic
More informationarxiv: v3 [math.co] 23 Jun 2008
BOUNDING MULTIPLICATIVE ENERGY BY THE SUMSET arxiv:0806.1040v3 [math.co] 23 Jun 2008 Abstract. We prove that the sumset or the productset of any finite set of real numbers, A, is at least A 4/3 ε, improving
More informationProblem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions.
18.217 Problem Set (due Monday, December 03, 2018) Solve as many problems as you want. Turn in your favorite solutions. You can also solve and turn any other claims that were given in class without proofs,
More informationCertificates in Numerical Algebraic Geometry. Jan Verschelde
Certificates in Numerical Algebraic Geometry Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu FoCM
More informationFinding parking when not commuting. Jon McCammond U.C. Santa Barbara
Finding parking when not commuting 7 6 8 1 2 3 5 4 {{1,4,5}, {2,3}, {6,8}, {7}} Jon McCammond U.C. Santa Barbara 1 A common structure The main goal of this talk will be to introduce you to a mathematical
More informationTropical Elliptic Curves and their j-invariant
and their j-invariant (joint work with Eric Katz and Hannah Markwig) Elliptic Tropical Thomas Markwig Technische Universität Kaiserslautern 15th February, 2008 Elliptic Tropical The tropical j-invariant
More informationA Polyhedral Method for Sparse Systems with many Positive Solutions
A Polyhedral Method for Sparse Systems with many Positive Solutions arxiv:1804.05683v1 [math.co] 16 Apr 018 Frédéric Bihan, Francisco Santos, and Pierre-Jean Spaenlehauer Abstract We investigate a version
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 informationReciprocal domains and Cohen Macaulay d-complexes in R d
Reciprocal domains and Cohen Macaulay d-complexes in R d Ezra Miller and Victor Reiner School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA ezra@math.umn.edu, reiner@math.umn.edu
More informationFinding parking when not commuting. Jon McCammond U.C. Santa Barbara
Finding parking when not commuting PSfrag replacements 7 8 1 2 6 3 5 {{1, 4, 5}, {2, 3}, {6, 8}, {7}} 4 Jon McCammond U.C. Santa Barbara 1 A common structure The goal of this talk will be to introduce
More informationGeometry of Gaussoids
Geometry of Gaussoids Bernd Sturmfels MPI Leipzig and UC Berkeley p 3 p 13 p 23 a 12 3 p 123 a 23 a 13 2 a 23 1 a 13 p 2 p 12 a 12 p p 1 Figure 1: With The vertices Tobias andboege, 2-faces ofalessio the
More informationToric Varieties in Coding Theory. Math in the Mountains Tutorial
Toric Varieties in Error-Control Coding Theory Math in the Mountains Tutorial Department of Mathematics and Computer Science College of the Holy Cross July 29-31, 2013 A bit of history Beginning of coding
More informationarxiv:math/ v1 [math.co] 20 Apr 2004
arxiv:math/0404370v1 [math.co] 0 Apr 004 Subdominant matroid ultrametrics Federico Ardila Abstract GivenamatroidM onthe groundsete, the Bergmanfan B(M), or space of M-ultrametrics, is a polyhedral complex
More informationSHELLABILITY AND HIGHER COHEN-MACAULAY CONNECTIVITY OF GENERALIZED CLUSTER COMPLEXES
ISRAEL JOURNAL OF MATHEMATICS 167 (2008), 177 191 DOI: 10.1007/s11856-008-1046-6 SHELLABILITY AND HIGHER COHEN-MACAULAY CONNECTIVITY OF GENERALIZED CLUSTER COMPLEXES BY Christos A. Athanasiadis Department
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationA tourist s guide to intersection theory on moduli spaces of curves
A tourist s guide to intersection theory on moduli spaces of curves The University of Melbourne In the past few decades, moduli spaces of curves have attained notoriety amongst mathematicians for their
More informationarithmetic properties of weighted catalan numbers
arithmetic properties of weighted catalan numbers Jason Chen Mentor: Dmitry Kubrak May 20, 2017 MIT PRIMES Conference background: catalan numbers Definition The Catalan numbers are the sequence of integers
More informationStaircase diagrams and the enumeration of smooth Schubert varieties
FPSAC 06 Vancouver, Canada DMTCS proc. BC, 06, 07 08 Staircase diagrams and the enumeration of smooth Schubert varieties Edward Richmond and William Slofstra Department of Mathematics, Oklahoma State University,
More informationAffine permutations and rational slope parking functions
Affine permutations and rational slope parking functions Eugene Gorsky, Mikhail Mazin, Monica Vazirani To cite this version: Eugene Gorsky, Mikhail Mazin, Monica Vazirani. Affine permutations and rational
More informationSheaf cohomology and non-normal varieties
Sheaf cohomology and non-normal varieties Steven Sam Massachusetts Institute of Technology December 11, 2011 1/14 Kempf collapsing We re interested in the following situation (over a field K): V is a vector
More informationA thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree
ON THE POLYHEDRAL GEOMETRY OF t DESIGNS A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master of Arts In Mathematics by Steven
More informationPolygons as sections of higher-dimensional polytopes
Polygons as sections of higher-dimensional polytopes Arnau Padrol 1 Institut für Mathematik Freie Universität Berlin Berlin, Germany arnau.padrol@fu-berlin.de Julian Pfeifle 2 Dept. Matemàtica Aplicada
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 informationTwists for positroid cells
Twists for positroid cells Greg Muller, joint with David Speyer July 29, 205 Column matroids We study k n complex matrices, guided by the perspective: a k n matrix over C an ordered list of n-many vectors
More informationTropical Linear Spaces and Applications. Edgard Felipe Rincon
Tropical Linear Spaces and Applications by Edgard Felipe Rincon A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate
More informationEhrhart Positivity. Federico Castillo. December 15, University of California, Davis. Joint work with Fu Liu. Ehrhart Positivity
University of California, Davis Joint work with Fu Liu December 15, 2016 Lattice points of a polytope A (convex) polytope is a bounded solution set of a finite system of linear inequalities, or is the
More informationarxiv: v2 [math.co] 2 Dec 2015
SCHEDULING PROBLEMS FELIX BREUER AND CAROLINE J. KLIVANS arxiv:1401.2978v2 [math.co] 2 Dec 2015 Abstract. We introduce the notion of a scheduling problem which is a boolean function S over atomic formulas
More informationarxiv: v2 [math.mg] 10 Feb 2015
Polygons as sections of higher-dimensional polytopes arxiv:1404.2443v2 [math.mg] 10 Feb 2015 Arnau Padrol 1 Institut für Mathematik Freie Universität Berlin Berlin, Germany arnau.padrol@fu-berlin.de Julian
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More informationLinear Pencils of Tropical Plane Curves
Discrete Comput Geom (2012) 48:453 466 DOI 10.1007/s00454-012-9398-4 Linear Pencils of Tropical Plane Curves Filip Cools Received: 5 May 2011 / Revised: 18 January 2012 / Accepted: 24 January 2012 / Published
More informationCombinatorics of Theta Bases of Cluster Algebras
Combinatorics of Theta Bases of Cluster Algebras Li Li (Oakland U), joint with Kyungyong Lee (University of Nebraska Lincoln/KIAS) and Ba Nguyen (Wayne State U) Jan 22 24, 2016 What is a Cluster Algebra?
More informationSurprising Examples of Manifolds in Toric Topology!
Surprising Examples of Manifolds in Toric Topology! Djordje Baralić Mathematical Institute SASA Belgrade Serbia Lazar Milenković Union University Faculty of Computer Science Belgrade Serbia arxiv:17005932v1
More informationThe partial-fractions method for counting solutions to integral linear systems
The partial-fractions method for counting solutions to integral linear systems Matthias Beck, MSRI www.msri.org/people/members/matthias/ arxiv: math.co/0309332 Vector partition functions A an (m d)-integral
More informationChapter One. Affine Coxeter Diagrams
Chapter One Affine Coxeter Diagrams By the results summarized in Chapter VI, Section 43, of [3], affine Coxeter groups can be characterized as groups generated by reflections of an affine space (by which
More informationMAXIMAL PERIODS OF (EHRHART) QUASI-POLYNOMIALS
MAXIMAL PERIODS OF (EHRHART QUASI-POLYNOMIALS MATTHIAS BECK, STEVEN V. SAM, AND KEVIN M. WOODS Abstract. A quasi-polynomial is a function defined of the form q(k = c d (k k d + c d 1 (k k d 1 + + c 0(k,
More informationHyperplane Arrangements & Diagonal Harmonics
Hyperplane Arrangements & Diagonal Harmonics Drew Armstrong arxiv:1005.1949 Coinvariants Coinvariants Theorems (Newton-Chevalley-etc): Let S n act on S = C[x 1,..., x n ] by permuting variables. Coinvariants
More informationCombinatorics and geometry of E 7
Combinatorics and geometry of E 7 Steven Sam University of California, Berkeley September 19, 2012 1/24 Outline Macdonald representations Vinberg representations Root system Weyl group 7 points in P 2
More informationBases for Cluster Algebras from Surfaces
Bases for Cluster Algebras from Surfaces Gregg Musiker (U. Minnesota), Ralf Schiffler (U. Conn.), and Lauren Williams (UC Berkeley) Bay Area Discrete Math Day Saint Mary s College of California November
More informationAffine Geometry and the Discrete Legendre Transfrom
Affine Geometry and the Discrete Legendre Transfrom Andrey Novoseltsev Department of Mathematics University of Washington April 25, 2008 Andrey Novoseltsev (UW) Affine Geometry April 25, 2008 1 / 24 Outline
More informationNef line bundles on M 0,n from GIT
Nef line bundles on M 0,n from GIT David Swinarski Department of Mathematics University of Georgia November 13, 2009 Many of the results here are joint work with Valery Alexeev. We have a preprint: arxiv:0812.0778
More informationThe Central Curve in Linear Programming
joint work with Jesús De Loera and Bernd Sturmfels The Central Path of a Linear Program Linear Program: Maximize x R n c x s.t. A x = b and x 0. The Central Path of a Linear Program Linear Program: Maximize
More informationTropical Geometry Homework 3
Tropical Geometry Homework 3 Melody Chan University of California, Berkeley mtchan@math.berkeley.edu February 9, 2009 The paper arxiv:07083847 by M. Vigeland answers this question. In Theorem 7., the author
More informationFaithful Tropicalization of the Grassmannian of planes
Faithful Tropicalization of the Grassmannian of planes Annette Werner (joint with Maria Angelica Cueto and Mathias Häbich) Goethe-Universität Frankfurt am Main 2013 1 / 28 Faithful Tropicalization 2013
More informationarxiv: v4 [math.co] 27 Feb 2013
SUBWORD COMPLEXES, CLUSTER COMPLEXES, AND GENERALIZED MULTI-ASSOCIAHEDRA CESAR CEBALLOS, JEAN-PHILIPPE LABBÉ, AND CHRISTIAN STUMP arxiv:1108.1776v4 [math.co] 27 Feb 2013 Abstract. In this paper, we use
More informationIsometry Dimension of Finite Groups
Journal of Algebra 246, 641 646 (2001) doi:10.1006/jabr.2001.8973, available online at http://www.idealibrary.com on Isometry Dimension of Finite Groups Manish M. Patnaik 1 Massachusetts Institute of Technology
More informationCombinatorics, Geometry and Homology. of Non-Crossing Partition Lattices for. Finite Reflection Groups.
Combinatorics, Geometry and Homology of Non-Crossing Partition Lattices for Finite Reflection Groups. Aisling Kenny MA A thesis submitted to Dublin City University for the degree of Doctor of Philosophy
More informationThe tropical Grassmannian
arxiv:math/0304218v3 [math.ag] 17 Oct 2003 The tropical Grassmannian David Speyer and Bernd Sturmfels Department of Mathematics, University of California, Berkeley {speyer,bernd}@math.berkeley.edu Abstract
More informationTransversal and cotransversal matroids via their representations.
Transversal and cotransversal matroids via their representations. Federico Ardila Submitted: May, 006; Accepted: Feb. 7, 007 Mathematics Subject Classification: 05B5; 05C8; 05A99 Abstract. It is known
More informationQuantum PBW filtration and monomial ideals
Quantum PBW filtration and monomial ideals Ghislain Fourier University of Glasgow - Universität Bonn joint work w. X.Fang and M.Reineke Follow-Up Workshop, HIm, Bonn, 2015 Fourier 1/ 14 Classical setup:
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: July 11, 2017 11 Cluster Algebra from Surfaces In this lecture, we will define and give a quick overview of some properties of cluster
More informationGeometry of Log-Concave Density Estimation
Geometry of Log-Concave Density Estimation Elina Robeva, Bernd Sturmfels, and Caroline Uhler arxiv:1704.01910v1 [stat.me] 6 Apr 2017 Abstract Shape-constrained density estimation is an important topic
More informationWhat Do Lattice Paths Have To Do With Matrices, And What Is Beyond Both?
What Do Lattice Paths Have To Do With Matrices, And What Is Beyond Both? Joseph E. Bonin The George Washington University These slides are available at blogs.gwu.edu/jbonin Some ideas in this talk were
More informationHypertoric varieties and hyperplane arrangements
Hypertoric varieties and hyperplane arrangements Kyoto Univ. June 16, 2018 Motivation - Study of the geometry of symplectic variety Symplectic variety (Y 0, ω) Very special but interesting even dim algebraic
More informationThe degree of lattice polytopes
The degree of lattice polytopes Benjamin Nill - FU Berlin Graduiertenkolleg MDS - December 10, 2007 Lattice polytopes having h -polynomials with given degree and linear coefficient. arxiv:0705.1082, to
More informationarxiv: v5 [math.co] 10 Apr 2015
BRICK POLYTOPES OF SPHERICAL SUBWORD COMPLEXES AND GENERALIZED ASSOCIAHEDRA VINCENT PILAUD AND CHRISTIAN STUMP arxiv:.9v5 [math.co] 0 Apr 05 Abstract. We generalize the brick polytope of V. Pilaud and
More information