Open Problems in Algebraic Statistics
|
|
- Brendan Harrington
- 5 years ago
- Views:
Transcription
1 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 Statistics with Mathias Drton and Seth Sullivant May 11-17, 2008
2 Open Problems inalgebraic Statistics p. Models with Hidden Variables A Concrete Problem: Consider the variety of tables of tensor rank at most 4. Do the known polynomial invariants of degree five and nine suffice to cut out this variety? [ASCB, Conjecture 3.24, page 102] The General Problem: Study the geometry and commutative algebra of graphical models with hidden random variables. Construct these varieties by gluing familiar secant varieties, and by applying representation theory.
3 Open Problems inalgebraic Statistics p. My favorite statistical model lives in the 64-dimensional space C 4 C 4 C 4 of tables (p ijk ), where i,j,k {A,C,G,T}. It is the variety with parametric representation p ijk = ρ Ai σ Aj θ Ak + ρ Ci σ Cj θ Ck + ρ Gi σ Gj θ Gk + ρ Ti σ Tj θ Tk Our problem is to compute its homogeneous prime ideal I in the polynomial ring with 64 unknowns, Q [ p AAA,p AAC,p AAT,...,p TTG,p TTT ].
4 Open Problems inalgebraic Statistics p. Why (Pure) Mathematics? Mathematics is the Art of Giving the Same Name to Different Things (H. Poincaré). the set of tables of tensor rank 4 mixture of independent random variables the naive Bayes model the CI model [X 1 X 2 X 3 Y ]. third secant variety of Segre variety P 3 P 3 P 3 general Markov model for phylogenetic tree K 1,3 entanglement of pure states (mean fields)
5 Open Problems inalgebraic Statistics p. Invariants of Degree Five Consider any subtable of (p ijk ) and let A,B,C be the 4 4-slices gotten by fixing i. On our model, the following identity of 4 4-matrices holds: A B 1 C = C B 1 A After clearing the denominator det(b), this gives 16 quintic polynomials which lie in our prime ideal I. Proposition 1. The space of quintic polynomials in I has dimension As a GL(C 4 ) 3 -module, it equals S 311 (C 4 ) S 2111 (C 4 ) S 2111 (C 4 ) S 2111 (C 4 ) S 311 (C 4 ) S 2111 (C 4 ) S 2111 (C 4 ) S 2111 (C 4 ) S 311 (C 4 )
6 Open Problems inalgebraic Statistics p. Invariants of Degree Nine Consider any subtable (A,B,C) of (p ijk ). On our model, the following 3 3-matrix is singular: A B 1 C C B 1 A The numerator of its determinant is a degree nine polynomial in I known as the Strassen invariant. Proposition 2. The GL(C 4 ) 3 -submodule of I 9 generated by the Strassen invariant is not contained in I 5. This module has dimension 8000 and it equals S 333 (C 4 ) S 333 (C 4 ) S 333 (C 4 ). References: [Garcia-Stillman-St], [Allman-Rhodes], [Landsberg-Manivel], [Landsberg-Weyman]
7 Open Problems inalgebraic Statistics p. Maximum Likelihood A Concrete Problem: Characterize all projective varieties whose maximum likelihood degree is equal to one. [HKS: Solving the Likelihood Equations, Problem 13] The General Problem: Study the geometry of maximum likelihood estimation for algebraic statistical models. What makes a model nice? Is the ML degree related to convergence properties of the EM algorithm?
8 Open Problems inalgebraic Statistics p. MLE in Projective Space Fix projective space P n with coordinates (p 0 : p 1 : : p n ). The n-dimensional probability simplex is identified with P n 0. For any data vector (u 0,u 1,...,u n ) N n+1 we consider the likelihood function L = p 0 u 0 p 1 u 1 p 2 u 2 p n u n (p 0 +p 1 + +p n ) u 0+u 1 + +u n This is a well-defined rational function on P n. Q: What are the critical points of this function?
9 Open Problems inalgebraic Statistics p. Algebraic Statistical Models are subvarieties of the projective space P n. The maximum likelihood degree of a model M is the number of critical points of the restriction to M of L = p 0 u 0 p 1 u 1 p 2 u 2 p n u n (p 0 +p 1 + +p n ) u 0+u 1 + +u n Here we only count critical points that are not poles or zeros, and u 0,u 1,...,u n are assumed to be generic. If M is smooth and the divisor of L is normal crossing then there is a formula for the ML degree. [Catanese-Hoşten-Khetan-St.] Otherwise, use resolution of singularities????
10 Open Problems inalgebraic Statistics p. 1 Determinantal Varieties are models M that are specified by imposing rank conditions on a matrix of unknowns. ( ) p00 p Example. 2 2-matrices 01 of rank 1. p 10 p 11 Independence for two binary random variables. The ML degree is one, i.e., the MLE is a rational function in the data (Take normalized row and column sums) Example. 3 3-matrices (p ij ) of rank 2. Mixture of two ternary random variables. The ML degree is ten. Open Problem. Determine the ML degree of the variety of m n-matrices of rank r.
11 Open Problems inalgebraic Statistics p. 1 The 100 Swiss Francs Problem Our data are two aligned DNA sequences... ATCACCAAACATTGGGATGCCTGTGCATTTGCAAGCGGCT ATGAGTCTTAAACGCTGGCCATGTGCCATCTTAGACAGCG... test the hypothesis that these two sequences were generated by DiaNA using one biased coin and four tetrahedral dice... [ASCB, Example 1.16] Model: Positive 4 4-matrices (p ij ) of rank True or False: The matrix (ˆp ) ij = maximizes L = ( i p ii ) 4 ( i j p ij ) 2 ( i,j p ij ) 40.
12 Open Problems inalgebraic Statistics p. 1 Gaussian CI Models A Concrete Problem: Which sets of almost-principal minors can be zero for a positive definite symmetric 5 5-matrix? [Matùš, Studený, Drton, Sullivant, Parrilo,...] The General Problem: Study the geometry of conditional independence models for multivariate Gaussian random variables. Which semigraphoids can be realized by Gaussians?
13 Open Problems inalgebraic Statistics p. 1 Almost-Principal Minors A multivariate Gaussian with mean zero is specified by its covariance matrix Σ = (σ ij ). This is a positive definite n n-matrix: all principal minors are positive. An almost-principal minor of Σ has row indices {i} K and column indices {j} K for some K [n] and i,j [n]\k. It is denoted [i j K ]. Lemma. The determinant [i j K ] is zero if and only if the random variable i is independent of the random variable j given the joint random variable K.
14 Open Problems inalgebraic Statistics p. 1 Subvarieties of the PSD cone Let PSD n denote the ( ) n+1 2 -dimensional cone of positive semidefinite symmetric n n-matrices. A Gaussian conditional independence model is a subvariety of PSD n defined by equations [i j K ] = 0. In algebraic geometry, we would study these varieties over the complex numbers. Here we are interested in their real locus, and how it intersects the cone PSD n.
15 Open Problems inalgebraic Statistics p. 1 A Cyclic Example Let n = 5 and consider the CI model given by [ 1 2 {3} ] = σ 12 σ 33 σ 13 σ 23 [ 2 3 {4} ] = σ 23 σ 44 σ 24 σ 34 [ 3 4 {5} ] = σ 34 σ 55 σ 35 σ 45 [ 4 5 {1} ] = σ 45 σ 11 σ 14 σ 15 [ 5 1 {2} ] = σ 15 σ 22 σ 25 σ 12 This variety has two irreducible components σ 12,σ 23,σ 34,σ 45,σ 15 a toric variety of degree 31, which intersects PSD 5 only in the set of rank one matrices. Corollary: For Gaussians, the five given statements imply [ 1 2 ], [ 2 3 ], [ 3 4 ], [ 4 5 ], [ 5 1 ].
16 Open Problems inalgebraic Statistics p. 1 The Entropy Map The submodular cone SubMod n is solution set of the following system of linear inequalities in R 2n : H {i} K + H {j} K H {i,j} K + H K Taking the logarithms of all 2 n principal minors of any positive definite matrix defines the entropy map H : SDP n SubMod n Proposition. The Gaussian CI models are the inverse images of the faces of the polyhedral cone SubMod n. Problem: Characterize the image of H.
17 Open Problems inalgebraic Statistics p. 1 Conclusion This talk presented three concrete open problems: 1. Consider the variety of tables of tensor rank at most 4. Do the known polynomial invariants of degree five and nine suffice to cut out this variety? 2. Characterize all projective varieties whose maximum likelihood degree is equal to one. 3. Which sets of almost-principal minors can be zero for a positive definite symmetric 5 5-matrix?
18 Open Problems inalgebraic Statistics p. 1 Bonus Problem: Rational Points Consider n discrete random variables X 1,X 2,...,X n with d 1,d 2,...,d n states. Any collection of CI statements defines a determinantal variety in the space of tables, C d 1 C d 2 C d n. The corresponding strict CI variety is the set of tables for which the given CI statements hold but all other CI statement do not hold. Problem: Does every strict CI variety have a Q-rational point? What if d 1,d 2,...,d n 0? [Matúš: Final Conclusions, CPC 8 (1999) p. 275]
Geometry of Phylogenetic Inference
Geometry of Phylogenetic Inference Matilde Marcolli CS101: Mathematical and Computational Linguistics Winter 2015 References N. Eriksson, K. Ranestad, B. Sturmfels, S. Sullivant, Phylogenetic algebraic
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 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 informationPHYLOGENETIC 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 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 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 informationThe Geometry of Semidefinite Programming. Bernd Sturmfels UC Berkeley
The Geometry of Semidefinite Programming Bernd Sturmfels UC Berkeley Positive Semidefinite Matrices For a real symmetric n n-matrix A the following are equivalent: All n eigenvalues of A are positive real
More informationALGEBRAIC DEGREE OF POLYNOMIAL OPTIMIZATION. 1. Introduction. f 0 (x)
ALGEBRAIC DEGREE OF POLYNOMIAL OPTIMIZATION JIAWANG NIE AND KRISTIAN RANESTAD Abstract. Consider the polynomial optimization problem whose objective and constraints are all described by multivariate polynomials.
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 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 informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More 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 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 informationThe maximum likelihood degree of rank 2 matrices via Euler characteristics
The maximum likelihood degree of rank 2 matrices via Euler characteristics Jose Israel Rodriguez University of Notre Dame Joint work with Botong Wang Algebraic Statistics 2015 University of Genoa June
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 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 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 informationALGEBRAIC STATISTICAL MODELS
Statistica Sinica 7(007), 73-97 ALGEBRAIC STATISTICAL MODELS Mathias Drton and Seth Sullivant University of Chicago and Harvard University Abstract: Many statistical models are algebraic in that they are
More informationSpecial Session on Secant Varieties. and Related Topics. Secant Varieties of Grassmann and Segre Varieties. Giorgio Ottaviani
Special Session on Secant Varieties and Related Topics Secant Varieties of Grassmann and Segre Varieties Giorgio Ottaviani ottavian@math.unifi.it www.math.unifi.it/users/ottavian Università di Firenze
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 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 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 informationSolving the 100 Swiss Francs Problem
Solving the 00 Swiss Francs Problem Mingfu Zhu, Guangran Jiang and Shuhong Gao Abstract. Sturmfels offered 00 Swiss Francs in 00 to a conjecture, which deals with a special case of the maximum likelihood
More informationSPECTRAHEDRA. Bernd Sturmfels UC Berkeley
SPECTRAHEDRA Bernd Sturmfels UC Berkeley GAeL Lecture I on Convex Algebraic Geometry Coimbra, Portugal, Monday, June 7, 2010 Positive Semidefinite Matrices For a real symmetric n n-matrix A the following
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 informationSecant Varieties and Equations of Abo-Wan Hypersurfaces
Secant Varieties and Equations of Abo-Wan Hypersurfaces Luke Oeding Auburn University Oeding (Auburn, NIMS) Secants, Equations and Applications August 9, 214 1 / 34 Secant varieties Suppose X is an algebraic
More informationTensors: a geometric view Open lecture November 24, 2014 Simons Institute, Berkeley. Giorgio Ottaviani, Università di Firenze
Open lecture November 24, 2014 Simons Institute, Berkeley Plan of the talk Introduction to Tensors A few relevant applications Tensors as multidimensional matrices A (complex) a b c tensor is an element
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 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 informationMaximum Likelihood Estimation in Latent Class Models For Contingency Table Data
Maximum Likelihood Estimation in Latent Class Models For Contingency Table Data Stephen E. Fienberg Department of Statistics, Machine Learning Department and Cylab Carnegie Mellon University Pittsburgh,
More informationMaximum Likelihood Estimation in Latent Class Models For Contingency Table Data
Maximum Likelihood Estimation in Latent Class Models For Contingency Table Data Stephen E. Fienberg Department of Statistics, Machine Learning Department and Cylab Carnegie Mellon University Pittsburgh,
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 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 informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
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 informationRepresentations of Positive Polynomials: Theory, Practice, and
Representations of Positive Polynomials: Theory, Practice, and Applications Dept. of Mathematics and Computer Science Emory University, Atlanta, GA Currently: National Science Foundation Temple University
More informationSPECTRAHEDRA. Bernd Sturmfels UC Berkeley
SPECTRAHEDRA Bernd Sturmfels UC Berkeley Mathematics Colloquium, North Carolina State University February 5, 2010 Positive Semidefinite Matrices For a real symmetric n n-matrix A the following are equivalent:
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
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 informationTwisted commutative algebras and related structures
Twisted commutative algebras and related structures Steven Sam University of California, Berkeley April 15, 2015 1/29 Matrices Fix vector spaces V and W and let X = V W. For r 0, let X r be the set of
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 informationThe Euclidean Distance Degree of an Algebraic Variety
The Euclidean Distance Degree of an Algebraic Variety Jan Draisma, Emil Horobeţ, Giorgio Ottaviani, Bernd Sturmfels and Rekha R. Thomas Abstract The nearest point map of a real algebraic variety with respect
More informationTensors. Lek-Heng Lim. Statistics Department Retreat. October 27, Thanks: NSF DMS and DMS
Tensors Lek-Heng Lim Statistics Department Retreat October 27, 2012 Thanks: NSF DMS 1209136 and DMS 1057064 L.-H. Lim (Stat Retreat) Tensors October 27, 2012 1 / 20 tensors on one foot a tensor is a multilinear
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 informationTensor decomposition and tensor rank
from the point of view of Classical Algebraic Geometry RTG Workshop Tensors and their Geometry in High Dimensions (September 26-29, 2012) UC Berkeley Università di Firenze Content of the three talks Wednesday
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 informationInfinite-dimensional combinatorial commutative algebra
Infinite-dimensional combinatorial commutative algebra Steven Sam University of California, Berkeley September 20, 2014 1/15 Basic theme: there are many axes in commutative algebra which are governed by
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 Maximum Likelihood Degree of Mixtures of Independence Models
SIAM J APPL ALGEBRA GEOMETRY Vol 1, pp 484 506 c 2017 Society for Industrial and Applied Mathematics The Maximum Likelihood Degree of Mixtures of Independence Models Jose Israel Rodriguez and Botong Wang
More informationThe binomial ideal of the intersection axiom for conditional probabilities
J Algebr Comb (2011) 33: 455 463 DOI 10.1007/s10801-010-0253-5 The binomial ideal of the intersection axiom for conditional probabilities Alex Fink Received: 10 February 2009 / Accepted: 27 August 2010
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 informationNOTES ON HYPERBOLICITY CONES
NOTES ON HYPERBOLICITY CONES Petter Brändén (Stockholm) pbranden@math.su.se Berkeley, October 2010 1. Hyperbolic programming A hyperbolic program is an optimization problem of the form minimize c T x such
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 information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationMIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???
MIT 6.972 Algebraic techniques and semidefinite optimization May 9, 2006 Lecture 2 Lecturer: Pablo A. Parrilo Scribe:??? In this lecture we study techniques to exploit the symmetry that can be present
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 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 information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
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 informationMaximum Likelihood Estimation in Latent Class Models For Contingency Table Data
Maximum Likelihood Estimation in Latent Class Models For Contingency Table Data Stephen E. Fienberg Department of Statistics, Machine Learning Department and Cylab Carnegie Mellon University Pittsburgh,
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 informationWhat is Singular Learning Theory?
What is Singular Learning Theory? Shaowei Lin (UC Berkeley) shaowei@math.berkeley.edu 23 Sep 2011 McGill University Singular Learning Theory A statistical model is regular if it is identifiable and its
More informationMixture Models and Representational Power of RBM s, DBN s and DBM s
Mixture Models and Representational Power of RBM s, DBN s and DBM s Guido Montufar Max Planck Institute for Mathematics in the Sciences, Inselstraße 22, D-04103 Leipzig, Germany. montufar@mis.mpg.de Abstract
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 informationThe Maximum Likelihood Threshold of a Graph
The Maximum Likelihood Threshold of a Graph Elizabeth Gross and Seth Sullivant San Jose State University, North Carolina State University August 28, 2014 Seth Sullivant (NCSU) Maximum Likelihood Threshold
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 informationOn the centre of the generic algebra of M 1,1
On the centre of the generic algebra of M 1,1 Thiago Castilho de Mello University of Campinas PhD grant from CNPq, Brazil F is a field of characteristic zero; F X = F x 1, x 2,... is the free associative
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
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 informationAlgebraic Statistics. Seth Sullivant. North Carolina State University address:
Algebraic Statistics Seth Sullivant North Carolina State University E-mail address: smsulli2@ncsu.edu 2010 Mathematics Subject Classification. Primary 62-01, 14-01, 13P10, 13P15, 14M12, 14M25, 14P10, 14T05,
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 informationOn the Waring problem for polynomial rings
On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationDEFORMATIONS VIA DIMENSION THEORY
DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring
More informationHYPERBOLIC POLYNOMIALS, INTERLACERS AND SUMS OF SQUARES
HYPERBOLIC POLYNOMIALS, INTERLACERS AND SUMS OF SQUARES DANIEL PLAUMANN Universität Konstanz joint work with Mario Kummer (U. Konstanz) Cynthia Vinzant (U. of Michigan) Out[121]= POLYNOMIAL OPTIMISATION
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 informationINTERSECTION THEORY CLASS 2
INTERSECTION THEORY CLASS 2 RAVI VAKIL CONTENTS 1. Last day 1 2. Zeros and poles 2 3. The Chow group 4 4. Proper pushforwards 4 The webpage http://math.stanford.edu/ vakil/245/ is up, and has last day
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationTHE MAXIMUM LIKELIHOOD DEGREE OF MIXTURES OF INDEPENDENCE MODELS
THE MAXIMUM LIKELIHOOD DEGREE OF MIXTURES OF INDEPENDENCE MODELS JOSE ISRAEL RODRIGUEZ AND BOTONG WANG Abstract The maximum likelihood degree (ML degree) measures the algebraic complexity of a fundamental
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More information(Reprint of pp in Proc. 2nd Int. Workshop on Algebraic and Combinatorial coding Theory, Leningrad, Sept , 1990)
(Reprint of pp. 154-159 in Proc. 2nd Int. Workshop on Algebraic and Combinatorial coding Theory, Leningrad, Sept. 16-22, 1990) SYSTEMATICITY AND ROTATIONAL INVARIANCE OF CONVOLUTIONAL CODES OVER RINGS
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 informationMatrix rigidity and elimination theory
Matrix rigidity and elimination theory Abhinav Kumar joint work with Satya Lokam, Vijay Patankar and Jalayal Sarma M.N. MIT April 25, 2012 Abhinav Kumar (MIT) Matrix rigidity and elimination theory April
More informationMaximum Likelihood Estimates for Binary Random Variables on Trees via Phylogenetic Ideals
Maximum Likelihood Estimates for Binary Random Variables on Trees via Phylogenetic Ideals Robin Evans Abstract In their 2007 paper, E.S. Allman and J.A. Rhodes characterise the phylogenetic ideal of general
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 information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationReceived: 1 September 2018; Accepted: 10 October 2018; Published: 12 October 2018
entropy Article Entropy Inequalities for Lattices Peter Harremoës Copenhagen Business College, Nørre Voldgade 34, 1358 Copenhagen K, Denmark; harremoes@ieee.org; Tel.: +45-39-56-41-71 Current address:
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationTensors. Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Tensors Notes by Mateusz Michalek and Bernd Sturmfels for the lecture on June 5, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra This lecture is divided into two parts. The first part,
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 informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
More informationarxiv: v2 [math.st] 22 Oct 2016
Vol. 0 (0000) arxiv:1608.08789v2 [math.st] 22 Oct 2016 On the maximum likelihood degree of linear mixed models with two variance components Mariusz Grządziel Department of Mathematics, Wrocław University
More informationAlgebraic matroids are almost entropic
accepted to Proceedings of the AMS June 28, 2017 Algebraic matroids are almost entropic František Matúš Abstract. Algebraic matroids capture properties of the algebraic dependence among elements of extension
More informationA Robust Form of Kruskal s Identifiability Theorem
A Robust Form of Kruskal s Identifiability Theorem Aditya Bhaskara (Google NYC) Joint work with Moses Charikar (Princeton University) Aravindan Vijayaraghavan (NYU Northwestern) Background: understanding
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 informationGEOMETRY OF FEASIBLE SPACES OF TENSORS. A Dissertation YANG QI
GEOMETRY OF FEASIBLE SPACES OF TENSORS A Dissertation by YANG QI Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information