Geometry of Phylogenetic Inference
|
|
- Lester Chase
- 5 years ago
- Views:
Transcription
1 Geometry of Phylogenetic Inference Matilde Marcolli CS101: Mathematical and Computational Linguistics Winter 2015
2 References N. Eriksson, K. Ranestad, B. Sturmfels, S. Sullivant, Phylogenetic algebraic geometry, in Projective varieties with unexpected properties, pp , Walter de Gruyter, L. Pacher, B. Sturmfels, The Mathematics of Phylogenomics, SIAM Rev. 49 (2007), no. 1, L. Pacher, B. Sturmfels, Tropical geometry of statistical models, Proc. Natl. Acad. Sci. USA 101 (2004), no. 46, M. Drton, B. Sturmfels, S. Sullivant, Lectures on Algebraic Statistics, Birkhäuser, 2009.
3 Hidden Markov Models n observed states Y 1,..., Y n, each taking l possible values n hidden states X 1,..., X n, each taking k possible values conditional independence P(X i X 1,..., X i 1 ) = P(X i X i 1 ) P(Y i X 1,..., X i, Y 1,..., Y i 1 ) = P(Y i X i ) special case: all transitions X i 1 X i same k k-stochastic matrix P = (p ij ); all transitions X i Y i same k l-stochastic matrix T = (t ij )
4 a HMM described by the image of a polynomial map Φ : R k(k+1) R ln of degree n 1 bi-homogeneous in the coordinates p ij and t ij plus added positivity and normalization conditions (stochastic matrices and probability distributions) Example with k = l = 2 and n = 3, Φ = (Φ ijk ) : R 8 R 8 Φ ijk = p 00 p 00 t 0i t 0j t 0k + p 00 p 01 t 0i t 0j t 1k + p 01 p 10 t 0i t 1j t 0k + p 01 p 11 t 0i t 1j t 1k + p 10 p 00 t 1i t 0j t 0k + p 10 p 01 t 1i t 0j t 1k + p 11 p 10 t 1i t 1j t 0k + p 11 p 11 t 1i t 1j t 1k
5 invariants of the HMM: polynomial functions on R ln that vanish on the image of Φ ideal I Φ generated by invariants? small k, l, n Gröbner bases; larger computationally hard Questions Viterbi sequence: find the most likely hidden data given observed data find all parameter values for a model that result in the same observed distribution find what parameter-independent relations hold between the observed probabilities P i1,...,i n = Φ i1,...,i n
6 Phylogenetic Algebraic Geometry T a rooted binary tree with n leaves (hence 2n 2 edges) At each vertex a binary random variable (e.g. one of the syntactic parameters) Probability distribution at the root vertex π = (p, 1 p) Along each edge e transition matrix: stochastic matrix P e = (p (e) ij ) with i p(e) ij = 1 these represent the probabilities that a mutation in the parameter happens along that edge
7 Model Parameters the random variables at the leaves of the tree are observed; the random variables at the interior nodes are hidden (assuming no direct knowledge of the ancient languages in the family) matrix entries of transition matrices P e and probability π at root vertex are model parameters number of parameters N = (2n 2)k 2 + k (binary variable k = 2)
8 Polynomial Map at the n leaves there are k n = 2 n possible observations the probability of an observation at the leaves is a polynomial function of the parameters can view this as a complex polynomial Φ : C N C 2n plus some (real) normalization conditions polytope R N + C N determined by the conditions π 1 + π 2 = 1 and i p(e) ij = 1 with π i 0 and p (e) ij 0 Φ should map to a cube I n in C 2n where [0, 1] I C 2 is I = {(p 1, p 2 ) p 1 + p 2 = 1, p i 0}
9 Example Φ ijk = π 0 a 0i b 00 c 0j d 0k +π 0 a 0i b 01 c 1j d 1k +π 1 a 1i b 10 c 0j d 0k +π 1 a 1i b 11 c 1j d 1k there are 8 such polynomials: i, j, k {0, 1}
10 polynomial Φ is homogeneous in the parameters can view Φ as a map of projective spaces in the previous example Φ : C 4 C 4 C 4 C 4 C 2 C 8 Φ : P 3 (C) P 3 (C) P 3 (C) P 3 (C) P 1 (C) P 7 (C) homogeneous with respect to each group of variables a, b, c, d, π the fibers of this morphism give all possible values of parameters (before imposing real normalization conditions) that give a certain probability at the leaves
11 Algebraic varieties occurring in these models Toric varieties (including Segre varieties and Veronese varieties) Determinantal varieties: the tree structure imposes rank constraints on matrices built starting from observed probabilities at the leaves Example: Segre embedding P 1 P 1 P 1 P 1 P 15 p ijkl = u i v j w k x l i, j, k, l {0, 1}
12 Prime ideal defining this variety: generated by 2 2 minors of 4 4-matrices corresponding to
13 Secant variety of the Segre variety X nine-dimensional subvariety of P 15 given by al tensors of rank at most 2 p ijkl = π 0 u 0i v 0j w 0k x 0l + π 1 u 1i v 1j w 1k w 1l Ideal generated by all 3 3-minors of previous matrices X = X (12)(34) X (13)(24) X (14)(23)
14 Determinantal variety each determinantal variety corresponds to a Markov model on one of the binary trees: X (12)(34) is defined by p ijkl = π 0 (a 00 u 0i v 0j + a 01 u 1i v 1j )(b 00 w 0k x 0l + b 01 w 1k x 1l ) + π 1 (a 10 u 0i v 0j + a 10 u 1i v 1j )(b 10 w 0k x 0l + b 11 w 1k x 1l ) this corresponds to vanishing of all 3 3-minors in first matrix stratification of P 2n 1 by phylogenetic models X
15 Special case: Jukes-Cantor model special case where all the edge matrices P e have the form ( ) p0 p P e = 1 p 1 p 0 it is known that in this case an explicit change of coordinates describes it as a toric variety. General Idea of Phylogenetic Algebraic Geometry generators of the ideal defining the complex variety = phylogenetic invariants which phylogenetic invariants suffice to distinguish between different Markov models? parameter inference from tropicalization of the algebraic variety
16 Tropical Semiring min-plus (or tropical) semiring T = R { }, with operations and given by x y = min{x, y}, with the identity element for and with with 0 the identity element for x y = x + y, operations and satisfy associativity and commutativity and distributivity of the product over the sum addition is no longer invertible and is idemponent x x = min{x, x} = x
17 Tropical polynomials function φ : R n R of the form φ(x 1,..., x n ) = m j=1a j x k j1 1 x k jn n = min{ a 1 + k 11 x k 1n x n, a 2 + k 21 x k 2n x n, a m + k m1 x k mn x n }. tropicalization: algebraic varieties become piecewise linear spaces can recover information about a variety from its tropicalization
18 in the previous HMM example with n = 3 and k = l = 2 the tropicalization of the polynomials Φ ijk Φ ijk = p 00 p 00 t 0i t 0j t 0k + p 00 p 01 t 0i t 0j t 1k + p 01 p 10 t 0i t 1j t 0k + p 01 p 11 t 0i t 1j t 1k + p 10 p 00 t 1i t 0j t 0k + p 10 p 01 t 1i t 0j t 1k + p 11 p 10 t 1i t 1j t 0k + p 11 p 11 t 1i t 1j t 1k is given by τ ijk = min{u h1 h 2 + u h2 h 3 + v h1 i + v h2 j + v h3 k (h 1, h 2, h 3 ) {0, 1} 3 } where u ab = log(p ab ) and v ab = log(t ab ) Viterbi sequence: (h 1, h 2, h 3 ) realizing mimimum, given observed (i, j, k) is the Viterbi sequence of hidden data
19 Newton polytope polynomial f = ω Z n a ωx ω with x ω = x ω 1 1 x n ωn Newton polytope N (f ) = Convex Hull{ω Z n a ω 0} R n N (f + g) = N (f ) N (g) and N (f g) = N (f ) + N (g) (Minkowski sum of polytopes P + Q = {x + y x P, y Q} normal fan C(N (f )): normal cones of all faces C F (N (f )) C F (N (f )) = {w R n F = F w (N (f ))} F w (N (f )) = {x N (f ) (x y) w 0 y N (f )}
20
21 the set of parameters U = (u ab ), V = (v ab ) in tropicalization τ ijk of Φ ijk that determine the Viterbi sequence (h 1, h 2, h 3 ) is the normal cone to a vertex of the Newton polygon N (Φ ijk ) given observed data (i, j, k) and hidden data (h 1, h 2, h 3 ) the normal cones of N (Φ ijk ) give all parameter values for which (h 1, h 2, h 3 ) is the most likely explanation for the observed (i, j, k) domains of linearity of the piecewise linear tropical τ ijk are the cones in the normal fan C F (N (Φ ijk )); each maximal cone corresponds to one set of hidden data (h 1, h 2, h 3 ) maximizing probability τ ijk = log P((X 1, X 2, X 3 ) = (h 1, h 2, h 3 ) (Y 1, Y 2, Y 3 ) = (i, j, k)) each vertex of the Newton polygon N (Φ ijk ) determines an inference function: (i, j, k) (h 1, h 2, h 3 ) that realize min τ ijk
PHYLOGENETIC ALGEBRAIC GEOMETRY
PHYLOGENETIC ALGEBRAIC GEOMETRY NICHOLAS ERIKSSON, KRISTIAN RANESTAD, BERND STURMFELS, AND SETH SULLIVANT Abstract. Phylogenetic algebraic geometry is concerned with certain complex projective algebraic
More informationOpen Problems in Algebraic Statistics
Open Problems inalgebraic Statistics p. Open Problems in Algebraic Statistics BERND STURMFELS UNIVERSITY OF CALIFORNIA, BERKELEY and TECHNISCHE UNIVERSITÄT BERLIN Advertisement Oberwolfach Seminar Algebraic
More informationAlgebraic Statistics Tutorial I
Algebraic Statistics Tutorial I Seth Sullivant North Carolina State University June 9, 2012 Seth Sullivant (NCSU) Algebraic Statistics June 9, 2012 1 / 34 Introduction to Algebraic Geometry Let R[p] =
More informationAsymptotic Approximation of Marginal Likelihood Integrals
Asymptotic Approximation of Marginal Likelihood Integrals Shaowei Lin 10 Dec 2008 Abstract We study the asymptotics of marginal likelihood integrals for discrete models using resolution of singularities
More informationLanguage Acquisition and Parameters: Part II
Language Acquisition and Parameters: Part II Matilde Marcolli CS0: Mathematical and Computational Linguistics Winter 205 Transition Matrices in the Markov Chain Model absorbing states correspond to local
More informationSecant varieties of toric varieties
Journal of Pure and Applied Algebra 209 (2007) 651 669 www.elsevier.com/locate/jpaa Secant varieties of toric varieties David Cox a, Jessica Sidman b, a Department of Mathematics and Computer Science,
More informationPhylogenetic Algebraic Geometry
Phylogenetic Algebraic Geometry Seth Sullivant North Carolina State University January 4, 2012 Seth Sullivant (NCSU) Phylogenetic Algebraic Geometry January 4, 2012 1 / 28 Phylogenetics Problem Given a
More informationAlgebraic Classification of Small Bayesian Networks
GROSTAT VI, Menton IUT STID p. 1 Algebraic Classification of Small Bayesian Networks Luis David Garcia, Michael Stillman, and Bernd Sturmfels lgarcia@math.vt.edu Virginia Tech GROSTAT VI, Menton IUT STID
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 informationDissimilarity maps on trees and the representation theory of GL n (C)
Dissimilarity maps on trees and the representation theory of GL n (C) Christopher Manon Department of Mathematics University of California, Berkeley Berkeley, California, U.S.A. chris.manon@math.berkeley.edu
More informationTropical Varieties. Jan Verschelde
Tropical Varieties 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 Computational Algebraic
More informationCombinatorial Types of Tropical Eigenvector
Combinatorial Types of Tropical Eigenvector arxiv:1105.55504 Ngoc Mai Tran Department of Statistics, UC Berkeley Joint work with Bernd Sturmfels 2 / 13 Tropical eigenvalues and eigenvectors Max-plus: (R,,
More informationUsing algebraic geometry for phylogenetic reconstruction
Using algebraic geometry for phylogenetic reconstruction Marta Casanellas i Rius (joint work with Jesús Fernández-Sánchez) Departament de Matemàtica Aplicada I Universitat Politècnica de Catalunya IMA
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 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 informationVarieties of Signature Tensors Lecture #1
Lecture #1 Carlos Enrique Améndola Cerón (TU Munich) Summer School in Algebraic Statistics Tromsø, September 218 Setup: Signatures Let X : [, 1] R d be a piecewise differentiable path. Coordinate functions:
More informationALGEBRA: From Linear to Non-Linear. Bernd Sturmfels University of California at Berkeley
ALGEBRA: From Linear to Non-Linear Bernd Sturmfels University of California at Berkeley John von Neumann Lecture, SIAM Annual Meeting, Pittsburgh, July 13, 2010 Undergraduate Linear Algebra All undergraduate
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 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 informationTropical Islands. Jan Verschelde
Tropical Islands 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 Computational Algebraic
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 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 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 informationIs Every Secant Variety of a Segre Product Arithmetically Cohen Macaulay? Oeding (Auburn) acm Secants March 6, / 23
Is Every Secant Variety of a Segre Product Arithmetically Cohen Macaulay? Luke Oeding Auburn University Oeding (Auburn) acm Secants March 6, 2016 1 / 23 Secant varieties and tensors Let V 1,..., V d, be
More informationarxiv: v1 [cs.cl] 5 Dec 2017
PHYLOGENETICS OF INDO-EUROPEAN LANGUAGE FAMILIES VIA AN ALGEBRO-GEOMETRIC ANALYSIS OF THEIR SYNTACTIC STRUCTURES KEVIN SHU, ANDREW ORTEGARAY, ROBERT BERWICK AND MATILDE MARCOLLI arxiv:72.079v [cs.cl] 5
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 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 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 informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More informationLinear Dynamical Systems (Kalman filter)
Linear Dynamical Systems (Kalman filter) (a) Overview of HMMs (b) From HMMs to Linear Dynamical Systems (LDS) 1 Markov Chains with Discrete Random Variables x 1 x 2 x 3 x T Let s assume we have discrete
More informationTORIC REDUCTION AND TROPICAL GEOMETRY A.
Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p. 109 115 Universität Göttingen, 2004-05 TORIC REDUCTION AND TROPICAL GEOMETRY A. Szenes ME Institute of Mathematics, Geometry Department, Egry
More informationAlgebraic combinatorics for computational biology. Nicholas Karl Eriksson. B.S. (Massachusetts Institute of Technology) 2001
Algebraic combinatorics for computational biology by Nicholas Karl Eriksson B.S. (Massachusetts Institute of Technology) 2001 A dissertation submitted in partial satisfaction of the requirements for the
More informationELIZABETH S. ALLMAN and JOHN A. RHODES ABSTRACT 1. INTRODUCTION
JOURNAL OF COMPUTATIONAL BIOLOGY Volume 13, Number 5, 2006 Mary Ann Liebert, Inc. Pp. 1101 1113 The Identifiability of Tree Topology for Phylogenetic Models, Including Covarion and Mixture Models ELIZABETH
More informationTesting Algebraic Hypotheses
Testing Algebraic Hypotheses Mathias Drton Department of Statistics University of Chicago 1 / 18 Example: Factor analysis Multivariate normal model based on conditional independence given hidden variable:
More informationTropicalizations of Positive Parts of Cluster Algebras The conjectures of Fock and Goncharov David Speyer
Tropicalizations of Positive Parts of Cluster Algebras The conjectures of Fock and Goncharov David Speyer This talk is based on arxiv:math/0311245, section 4. We saw before that tropicalizations look like
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 informationCombinatorial Aspects of Tropical Geometry and its interactions with phylogenetics
Combinatorial Aspects of Tropical Geometry and its interactions with phylogenetics María Angélica Cueto Department of Mathematics Columbia University Rabadan Lab Metting Columbia University College of
More informationBOUNDS ON THE NUMBER OF INFERENCE FUNCTIONS OF A GRAPHICAL MODEL
BOUNDS ON THE NUMBER OF INFERENCE FUNCTIONS OF A GRAPHICAL MODEL SERGI ELIZALDE AND KEVIN WOODS Abstract. Directed and undirected graphical models, also called Bayesian networks and Markov random fields,
More informationarxiv: v1 [q-bio.pe] 23 Nov 2017
DIMENSIONS OF GROUP-BASED PHYLOGENETIC MIXTURES arxiv:1711.08686v1 [q-bio.pe] 23 Nov 2017 HECTOR BAÑOS, NATHANIEL BUSHEK, RUTH DAVIDSON, ELIZABETH GROSS, PAMELA E. HARRIS, ROBERT KRONE, COLBY LONG, ALLEN
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 informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
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 informationMultivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry
Ann Inst Stat Math (2010) 62:603 638 DOI 10.1007/s10463-010-0295-4 Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry Bernd Sturmfels Caroline Uhler Received: 15 June
More informationAdditive distances. w(e), where P ij is the path in T from i to j. Then the matrix [D ij ] is said to be additive.
Additive distances Let T be a tree on leaf set S and let w : E R + be an edge-weighting of T, and assume T has no nodes of degree two. Let D ij = e P ij w(e), where P ij is the path in T from i to j. Then
More informationCOMBINATORIAL SYMBOLIC POWERS. 1. Introduction The r-th symbolic power of an ideal I in a Notherian ring R is the ideal I (r) := R 1
COMBINATORIAL SYMBOLIC POWERS SETH SULLIVANT arxiv:math/0608542v1 [mathac] 22 Aug 2006 Abstract Symbolic powers of ideals are studied in the combinatorial context of monomial ideals When the ideals are
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 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 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 informationNonlinear Discrete Optimization
Nonlinear Discrete Optimization Technion Israel Institute of Technology http://ie.technion.ac.il/~onn Billerafest 2008 - conference in honor of Lou Billera's 65th birthday (Update on Lecture Series given
More informationThe Generalized Neighbor Joining method
The Generalized Neighbor Joining method Ruriko Yoshida Dept. of Mathematics Duke University Joint work with Dan Levy and Lior Pachter www.math.duke.edu/ ruriko data mining 1 Challenge We would like to
More informationMarkov Chains and Hidden Markov Models
Chapter 1 Markov Chains and Hidden Markov Models In this chapter, we will introduce the concept of Markov chains, and show how Markov chains can be used to model signals using structures such as hidden
More information7. Shortest Path Problems and Deterministic Finite State Systems
7. Shortest Path Problems and Deterministic Finite State Systems In the next two lectures we will look at shortest path problems, where the objective is to find the shortest path from a start node to an
More informationx y = x + y. For example, the tropical sum 4 9 = 4, and the tropical product 4 9 = 13.
Comment: Version 0.1 1 Introduction Tropical geometry is a relatively new area in mathematics. Loosely described, it is a piece-wise linear version of algebraic geometry, over a particular structure known
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 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 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 informationarxiv: v1 [quant-ph] 19 Jan 2010
A toric varieties approach to geometrical structure of multipartite states Hoshang Heydari Physics Department, Stockholm university 10691 Stockholm Sweden arxiv:1001.3245v1 [quant-ph] 19 Jan 2010 Email:
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 informationT -equivariant tensor rank varieties and their K-theory classes
T -equivariant tensor rank varieties and their K-theory classes 2014 July 18 Advisor: Professor Anders Buch, Department of Mathematics, Rutgers University Overview 1 Equivariant K-theory Overview 2 Determinantal
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 informationCourse 495: Advanced Statistical Machine Learning/Pattern Recognition
Course 495: Advanced Statistical Machine Learning/Pattern Recognition Lecturer: Stefanos Zafeiriou Goal (Lectures): To present discrete and continuous valued probabilistic linear dynamical systems (HMMs
More informationIntroduction to Algebraic Statistics
Introduction to Algebraic Statistics Seth Sullivant North Carolina State University January 5, 2017 Seth Sullivant (NCSU) Algebraic Statistics January 5, 2017 1 / 28 What is Algebraic Statistics? Observation
More information26 : Spectral GMs. Lecturer: Eric P. Xing Scribes: Guillermo A Cidre, Abelino Jimenez G.
10-708: Probabilistic Graphical Models, Spring 2015 26 : Spectral GMs Lecturer: Eric P. Xing Scribes: Guillermo A Cidre, Abelino Jimenez G. 1 Introduction A common task in machine learning is to work with
More informationTensor decomposition and moment matrices
Tensor decomposition and moment matrices J. Brachat (Ph.D.) & B. Mourrain GALAAD, INRIA Méditerranée, Sophia Antipolis Bernard.Mourrain@inria.fr SIAM AAG, Raleigh, NC, Oct. -9, 211 Collaboration with A.
More informationMATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix.
MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis.
More informationWhen does a mixture of products contain a product of mixtures?
When does a mixture of products contain a product of mixtures? Jason Morton Penn State May 19, 2014 Algebraic Statistics 2014 IIT Joint work with Guido Montufar Supported by DARPA FA8650-11-1-7145 Jason
More informationAN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS
AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in
More informationTropical Implicitization. Maria Angelica Cueto
Tropical Implicitization by Maria Angelica Cueto A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationWhy is Deep Learning so effective?
Ma191b Winter 2017 Geometry of Neuroscience The unreasonable effectiveness of deep learning This lecture is based entirely on the paper: Reference: Henry W. Lin and Max Tegmark, Why does deep and cheap
More informationAn introduction to tropical geometry
An introduction to tropical geometry Jan Draisma RWTH Aachen, 8 April 2011 Part I: what you must know Tropical numbers R := R { } the tropical semi-ring a b := min{a, b} a b := a + b b = b 0 b = b b =
More informationTensor Networks in Algebraic Geometry and Statistics
Tensor Networks in Algebraic Geometry and Statistics Jason Morton Penn State May 10, 2012 Centro de ciencias de Benasque Pedro Pascual Supported by DARPA N66001-10-1-4040 and FA8650-11-1-7145. Jason Morton
More informationAN INTRODUCTION TO TORIC SURFACES
AN INTRODUCTION TO TORIC SURFACES JESSICA SIDMAN 1. An introduction to affine varieties To motivate what is to come we revisit a familiar example from high school algebra from a point of view that allows
More informationINTRODUCTION TO TROPICAL ALGEBRAIC GEOMETRY
INTRODUCTION TO TROPICAL ALGEBRAIC GEOMETRY DIANE MACLAGAN These notes are the lecture notes from my lectures on tropical geometry at the ELGA 2011 school on Algebraic Geometry and Applications in Buenos
More informationSECANT VARIETIES OF TORIC VARIETIES arxiv:math/ v4 [math.ag] 27 Apr 2006
SECANT VARIETIES OF TORIC VARIETIES arxiv:math/0502344v4 [math.ag] 27 Apr 2006 DAVID COX AND JESSICA SIDMAN Abstract. Let X P be a smooth projective toric variety of dimension n embedded in P r using all
More informationSECANT DIMENSIONS OF LOW-DIMENSIONAL HOMOGENEOUS VARIETIES
SECANT DIMENSIONS OF LOW-DIMENSIONAL HOMOGENEOUS VARIETIES KARIN BAUR AND JAN DRAISMA Abstract. We completely describe the higher secant dimensions of all connected homogeneous projective varieties of
More informationThe intersection axiom of
The intersection axiom of conditional independence: some new [?] results Richard D. Gill Mathematical Institute, University Leiden This version: 26 March, 2019 (X Y Z) & (X Z Y) X (Y, Z) Presented at Algebraic
More informationAlgebraic Statistics progress report
Algebraic Statistics progress report Joe Neeman December 11, 2008 1 A model for biochemical reaction networks We consider a model introduced by Craciun, Pantea and Rempala [2] for identifying biochemical
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 informationOeding (Auburn) tensors of rank 5 December 15, / 24
Oeding (Auburn) 2 2 2 2 2 tensors of rank 5 December 15, 2015 1 / 24 Recall Peter Burgisser s overview lecture (Jan Draisma s SIAM News article). Big Goal: Bound the computational complexity of det n,
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 informationSTA 414/2104: Machine Learning
STA 414/2104: Machine Learning Russ Salakhutdinov Department of Computer Science! Department of Statistics! rsalakhu@cs.toronto.edu! http://www.cs.toronto.edu/~rsalakhu/ Lecture 9 Sequential Data So far
More informationModels of Language Evolution: Part II
Models of Language Evolution: Part II Matilde Marcolli CS101: Mathematical and Computational Linguistics Winter 2015 Main Reference Partha Niyogi, The computational nature of language learning and evolution,
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 informationarxiv:math/ v2 [math.ag] 17 May 2005
arxiv:math/0502344v2 [math.ag] 17 May 2005 SECANT VARIETIES OF TORIC VARIETIES DAVID COX AND JESSICA SIDMAN Abstract. If X is a smooth projective toric variety of dimension n we give explicit conditions
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 informationAlgebraic Complexity in Statistics using Combinatorial and Tensor Methods
Algebraic Complexity in Statistics using Combinatorial and Tensor Methods BY ELIZABETH GROSS THESIS Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics
More informationRanks of Real Symmetric Tensors
Ranks of Real Symmetric Tensors Greg Blekherman SIAM AG 2013 Algebraic Geometry of Tensor Decompositions Real Symmetric Tensor Decompositions Let f be a form of degree d in R[x 1,..., x n ]. We would like
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 information11 The Max-Product Algorithm
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.438 Algorithms for Inference Fall 2014 11 The Max-Product Algorithm In the previous lecture, we introduced
More informationTHE NEWTON POLYTOPE OF THE IMPLICIT EQUATION
MOSCOW MATHEMATICAL JOURNAL Volume 7, Number 2, April June 2007, Pages 327 346 THE NEWTON POLYTOPE OF THE IMPLICIT EQUATION BERND STURMFELS, JENIA TEVELEV, AND JOSEPHINE YU Dedicated to Askold Khovanskii
More informationThe Geometry of Matrix Rigidity
The Geometry of Matrix Rigidity Joseph M. Landsberg Jacob Taylor Nisheeth K. Vishnoi November 26, 2003 Abstract Consider the following problem: Given an n n matrix A and an input x, compute Ax. This problem
More informationNoetherianity 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 informationarxiv: v1 [math.ag] 19 May 2010
TROPICAL SECANT GRAPHS OF MONOMIAL CURVES arxiv:1005.3364v1 [math.ag] 19 May 2010 Abstract. The first secant variety of a projective monomial curve is a threefold with an action by a one-dimensional torus.
More informationBMI/CS 776 Lecture 4. Colin Dewey
BMI/CS 776 Lecture 4 Colin Dewey 2007.02.01 Outline Common nucleotide substitution models Directed graphical models Ancestral sequence inference Poisson process continuous Markov process X t0 X t1 X t2
More informationTriangulations and soliton graphs
Triangulations and soliton graphs Rachel Karpman and Yuji Kodama The Ohio State University September 4, 2018 Karpman and Kodama (OSU) Soliton graphs September 4, 2018 1 / 1 Introduction Outline Setting:
More informationThe calibrated trifocal variety
The calibrated trifocal variety Joe Kileel May 7, 2014 This document represents an ongoing project to computationally study the so-called calibrated trifocal variety, started in Bernd Sturmfels spring
More informationMAXIMUM LIKELIHOOD ESTIMATION AND EM FIXED POINT IDEALS FOR BINARY TENSORS. Daniel Lemke
MAXIMUM LIKELIHOOD ESTIMATION AND EM FIXED POINT IDEALS FOR BINARY TENSORS Daniel Lemke Version of May 27, 2016 Contents 1 Introduction 4 1.1 Maximum Likelihood Estimation........................ 4 1.2
More informationIdentifiability of latent class models with many observed variables
Identifiability of latent class models with many observed variables Elizabeth S. Allman Department of Mathematics and Statistics University of Alaska Fairbanks Fairbanks, AK 99775 e-mail: e.allman@uaf.edu
More informationSTA 4273H: Statistical Machine Learning
STA 4273H: Statistical Machine Learning Russ Salakhutdinov Department of Statistics! rsalakhu@utstat.toronto.edu! http://www.utstat.utoronto.ca/~rsalakhu/ Sidney Smith Hall, Room 6002 Lecture 11 Project
More information