Searcharxiv⌕ Search

arXiv subjects

Jan Draisma

Publications and source records attributed to Jan Draisma.

At least 73 records · Page 4Linked to original sources
arXiv2015

Lossy gossip and composition of metrics

We study the monoid generated by n-by-n distance matrices under tropical (or min-plus) multiplication. Using the tropical geometry of the orthogonal group, we prove that this monoid is a finite polyhedral fan of dimension n(n-1)/2, and we compute the structure of this fan for n up to 5. The monoid captures gossip among n gossipers over lossy phone lines, and contains the gossip monoid over ordinary phone lines as a submonoid. We prove several new results about this submonoid, as well. In particular, we establish a sharp bound on chains of calls in each of which someone learns something new.

math.CO↗
arXiv2014

The Euclidean distance degree of an algebraic variety

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. For instance, for varieties of low rank matrices, the Eckart-Young Theorem states that this map is given by the singular value decomposition. This article develops a theory of such nearest point maps from the perspective of computational algebraic geometry. The Euclidean distance degree of a variety is the number of critical points of the squared distance to a generic point outside the variety. Focusing on varieties seen in applications, we present numerous tools for exact computations.

math.AG↗
arXiv2014

Faithful tropicalisation and torus actions

For any affine variety equipped with coordinates, there is a surjective, continuous map from its Berkovich space to its tropicalisation. Exploiting torus actions, we develop techniques for finding an explicit, continuous section of this map. In particular, we prove that such a section exists for linear spaces, Grassmannians of planes (reproving a result due to Cueto, Häbich, and Werner), matrix varieties defined by the vanishing of 3 times 3 minors, and for the hypersurface defined by Cayley's hyperdeterminant.

math.AG↗
arXiv2014

An online version of Rota's basis conjecture

Rota's basis conjecture states that in any square array of vectors whose rows are bases of a fixed vector space the vectors can be rearranged within their rows in such a way that afterwards not only the rows are bases, but also the columns. We discuss an online version of this conjecture, in which the permutation used for rearranging the vectors in a given row must be determined without knowledge of the vectors further down the array. The paper contains surprises both for those who believe this online basis conjecture at first glance, and for those who disbelieve it.

math.CO↗
arXiv2014

Euclidean Distance degrees of real algebraic groups

We study the problem of finding, in a real algebraic matrix group, the matrix closest to a given data matrix. We do so from the algebro-geometric perspective of Euclidean distance degrees. We recover several classical results; and among the new results that we prove is a formula for the Euclidean distance degree of special linear groups.

math.OC↗
arXiv2013

Noetherianity up to symmetry

These lecture notes for the 2013 CIME/CIRM summer school Combinatorial Algebraic Geometry deal with manifestly infinite-dimensional algebraic varieties with large symmetry groups. So large, in fact, that subvarieties stable under those symmetry groups are defined by finitely many orbits of equations---whence the title Noetherianity up to symmetry. It is not the purpose of these notes to give a systematic, exhaustive treatment of such varieties, but rather to discuss a few "personal favourites": exciting examples drawn from applications in algebraic statistics and multilinear algebra. My hope is that these notes will attract other mathematicians to this vibrant area at the crossroads of combinatorics, commutative algebra, algebraic geometry, statistics, and other applications.

math.AG↗
arXiv2013

Groups acting on Gaussian graphical models

Gaussian graphical models have become a well-recognized tool for the analysis of conditional independencies within a set of continuous random variables. From an inferential point of view, it is important to realize that they are composite exponential transformation families. We reveal this structure by explicitly describing, for any undirected graph, the (maximal) matrix group acting on the space of concentration matrices in the model. The continuous part of this group is captured by a poset naturally associated to the graph, while automorphisms of the graph account for the discrete part of the group. We compute the dimension of the space of orbits of this group on concentration matrices, in terms of the combinatorics of the graph; and for dimension zero we recover the characterization by Letac and Massam of models that are transformation families. Furthermore, we describe the maximal invariant of this group on the sample space, and we give a sharp lower bound on the sample size needed for the existence of equivariant estimators of the concentration matrix. Finally, we address the issue of robustness of these estimators by computing upper bounds on finite sample breakdown points.

math.ST↗
arXiv2013

Maximum Likelihood Duality for Determinantal Varieties

In a recent paper, Hauenstein, Sturmfels, and the second author discovered a conjectural bijection between critical points of the likelihood function on the complex variety of matrices of rank r and critical points on the complex variety of matrices of co-rank r-1. In this paper, we prove that conjecture for rectangular matrices and for symmetric matrices, as well as a variant for skew-symmetric matrices. To appear in International Mathematics Research Notices.

math.AG↗
arXiv2012

Half-trek criterion for generic identifiability of linear structural equation models

A linear structural equation model relates random variables of interest and corresponding Gaussian noise terms via a linear equation system. Each such model can be represented by a mixed graph in which directed edges encode the linear equations and bidirected edges indicate possible correlations among noise terms. We study parameter identifiability in these models, that is, we ask for conditions that ensure that the edge coefficients and correlations appearing in a linear structural equation model can be uniquely recovered from the covariance matrix of the associated distribution. We treat the case of generic identifiability, where unique recovery is possible for almost every choice of parameters. We give a new graphical condition that is sufficient for generic identifiability and can be verified in time that is polynomial in the size of the graph. It improves criteria from prior work and does not require the directed part of the graph to be acyclic. We also develop a related necessary condition and examine the "gap" between sufficient and necessary conditions through simulations on graphs with 25 or 50 nodes, as well as exhaustive algebraic computations for graphs with up to five nodes.

math.ST↗
arXiv2012

Positivity for Gaussian graphical models

Gaussian graphical models are parametric statistical models for jointly normal random variables whose dependence structure is determined by a graph. In previous work, we introduced trek separation, which gives a necessary and sufficient condition in terms of the graph for when a subdeterminant is zero for all covariance matrices that belong to the Gaussian graphical model. Here we extend this result to give explicit cancellation-free formulas for the expansions of nonzero subdeterminants.

math.CO↗
arXiv2012

Tensor invariants for certain subgroups of the orthogonal group

Let V be an n-dimensional vector space and let On be the orthogonal group. Motivated by a question of B. Szegedy (B. Szegedy, Edge coloring models and reflection positivity, Journal of the American Mathematical Society Volume 20, Number 4, 2007), about the rank of edge connection matrices of partition functions of vertex models, we give a combinatorial parameterization of tensors in V \otimes k invariant under certain subgroups of the orthogonal group. This allows us to give an answer to this question for vertex models with values in an algebraically closed field of characteristic zero.

math.CO↗
arXiv2012

Tropically Unirational Varieties

We introduce tropically unirational varieties, which are subvarieties of tori that admit dominant rational maps whose tropicalisation is surjective. The central (and unresolved) question is whether all unirational varieties are tropically unirational. We present several techniques for proving tropical unirationality, along with various examples.

math.AG↗
arXiv2012

A tropical proof of the Brill-Noether Theorem

We produce Brill-Noether general graphs in every genus, confirming a conjecture of Baker and giving a new proof of the Brill-Noether Theorem, due to Griffiths and Harris, over any algebraically closed field.

math.AG↗
arXiv2012

Energy minimisation of repelling particles on a toric grid

We explore the minimum energy configurations of repelling particles distributed over n possible locations forming a toric grid. We conjecture that the most energy-efficient way to distribute n/2 particles over this space is to place them in a checkerboard pattern. Numerical experiments validate this conjecture for reasonable choices of the repelling force. In the present paper, we prove this conjecture in a large number of special cases---most notably, when the sizes of the torus are either two or multiples of four in all dimensions and the repelling force is a completely monotonic function of the Lee distance between the particles.

math.OC↗
arXiv2011

Transitive Lie algebras of vector fields---an overview

This overview paper is intended as a quick introduction to Lie algebras of vector fields. Originally introduced in the late 19th century by Sophus Lie to capture symmetries of ordinary differential equations, these algebras, or infinitesimal groups, are a recurring theme in 20th-century research on Lie algebras. I will focus on so-called transitive or even primitive Lie algebras, and explain their theory due to Lie, Morozov, Dynkin, Guillemin, Sternberg, Blattner, and others. This paper gives just one, subjective overview of the subject, without trying to be exhaustive.

math.DG↗
arXiv2011

Bounded-rank tensors are defined in bounded degree

Matrices of rank at most k are defined by the vanishing of polynomials of degree k + 1 in their entries (namely, their (k + 1)-times-(k + 1)-subdeterminants), regardless of the size of the matrix. We prove a qualitative analogue of this statement for tensors of arbitrary dimension, where matrices correspond to two-dimensional tensors. More specifically, we prove that for each k there exists an upper bound d = d(k) such that tensors of border rank at most k are defined by the vanishing of polynomials of degree at most d, regardless of the dimension of the tensor and regardless of its sizes in each dimension. Our proof involves passing to an infinite-dimensional limit of tensor powers of a vector space, whose elements we dub infinite-dimensional tensors, and exploiting the symmetries of this limit in crucial way.

math.AG↗
arXiv2011

Characterizing partition functions of the vertex model

We characterize which graph parameters are partition functions of a vertex model over an algebraically closed field of characteristic 0 (in the sense of de la Harpe and Jones). We moreover characterize when the vertex model can be taken so that its moment matrix has finite rank.

math.CO↗