arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Dustin Cartwright

31 papers · 2003–2022

2003: 12004: 02005: 02006: 02007: 02008: 12009: 52010: 52011: 42012: 32013: 32014: 22015: 42016: 02017: 12018: 12019: 02020: 02021: 02022: 1
2003peak 5 in 20092022

Frequent co-authors

Papers

showing 1–25 of 31 RSS

Hilbert schemes of 8 points

Dustin A. Cartwright, Daniel Erman, Mauricio Velasco +1 more

math.AG · · cited 115× · arXiv ↗ · more like this ·

The Hilbert scheme H^d_n of n points in A^d contains an irreducible component R^d_n which generically represents n distinct points in A^d. We show that when n is at most 8, the Hilbert scheme H^d_n is reducible if and only if n = 8 and d >= 4. In the simplest case of reducibility, the component R^4_8 \subset H^4_8 is defined by a single explicit equation which serves as a criterion for deciding whether a given ideal is a limit of distinct points. To understand the components of the Hilbert scheme, we study the closed subschemes of H_n^d which parametrize those ideals which are homogeneous and have a fixed Hilbert function. These subschemes are a special case of multigraded Hilbert schemes, and we describe their components when the colength is at most 8. In particular, we show that the scheme corresponding to the Hilbert function (1,3,2,1) is the minimal reducible example.

The Hilbert scheme of the diagonal in a product of projective spaces

Dustin Cartwright, Bernd Sturmfels

math.AG · · cited 41× · arXiv ↗ · more like this ·

The diagonal in a product of projective spaces is cut out by the ideal of 2x2-minors of a matrix of unknowns. The multigraded Hilbert scheme which classifies its degenerations has a unique Borel-fixed ideal. This Hilbert scheme is generally reducible, and its main component is a compactification of PGL(d)^n/PGL(d). For n=2 we recover the manifold of complete collineations. For projective lines we obtain a space of trees that is irreducible but singular. All ideals in our Hilbert scheme are radical. We also explore connections to affine buildings and Deligne schemes.

Embeddings and immersions of tropical curves

Dustin Cartwright, Andrew Dudzik, Madhusudan Manjunath +1 more

math.CO · · cited 30× · arXiv ↗ · more like this ·

We construct immersions of trivalent abstract tropical curves in the Euclidean plane and embeddings of all abstract tropical curves in higher dimensional Euclidean space. Since not all curves have an embedding in the plane, we define the tropical crossing number of an abstract tropical curve to be the minimum number of self-intersections, counted with multiplicity, over all its immersions in the plane. We show that the tropical crossing number is at most quadratic in the number of edges and this bound is sharp. For curves of genus up to two, we systematically compute the crossing number. Finally, we use our immersed tropical curves to construct totally faithful nodal algebraic curves via lifting results of Mikhalkin and Shustin.

Combinatorial tropical surfaces

Dustin Cartwright

math.CO · · cited 16× · arXiv ↗ · more like this ·

We study the combinatorial properties of 2-dimensional tropical complexes. In particular, we prove tropical analogues of the Hodge index theorem and Noether's formula. In addition, we introduce algebraic equivalence for divisors on tropical complexes of arbitrary dimension.

Lifting matroid divisors on tropical curves

Dustin Cartwright

math.AG · · cited 16× · arXiv ↗ · more like this ·

Tropical geometry gives a bound on the ranks of divisors on curves in terms of the combinatorics of the dual graph of a degeneration. We show that for a family of examples, curves realizing this bound might only exist over certain characteristics or over certain fields of definition. Our examples also apply to the theory of metrized complexes and weighted graphs. These examples arise by relating the lifting problem to matroid realizability. We also give a proof of Mnëv universality with explicit bounds on the size of the matroid, which may be of independent interest.

Connectivity of tropicaliazations

Dustin Cartwright, Sam Payne

Computational Theory and Mathematics · MPG.PuRe (Max Planck Society) · · cited 12× · OpenAlex ↗ · more like this ·

We show that the tropicalization of an irreducible variety over a complete or algebraically closed valued field is connected through codimension 1, giving an affirmative answer in all characteristics to a question posed by Einsiedler, Lind, and Thomas in 2003.

Secant varieties of P^2 x P^n embedded by O(1,2)

Dustin Cartwright, Daniel Erman, Luke Oeding

math.AG · · cited 8× · arXiv ↗ · more like this ·

We describe the defining ideal of the rth secant variety of P^2 x P^n embedded by O(1,2), for arbitrary n and r at most 5. We also present the Schur module decomposition of the space of generators of each such ideal. Our main results are based on a more general construction for producing explicit matrix equations that vanish on secant varieties of products of projective spaces. This extends previous work of Strassen and Ottaviani.

An Iterative Method Converging to a Positive Solution of Certain Systems of Polynomial Equations

Dustin Cartwright

Computational Theory and Mathematics · Journal of Algebraic Statistics · · cited 6× · DOI ↗ · more like this ·

We present a numerical algorithm for nding real non-negative solutions to a certainclass of polynomial equations. Our methods are based on the expectation maximization and iterativeproportional tting algorithms, which are used in statistics to nd maximum likelihoodparameters for certain classes of statistical models. Since our algorithm works by iteratively improvingan approximate solution, we nd approximate solutions in the cases when there are noexact solutions, such as overconstrained systems.

Sign detection for autonomous navigation

Thomas G. Goodsell, Magnús Snorrason, Dustin Cartwright +3 more

Human-Computer Interaction · · cited 3× · DOI ↗ · more like this ·

Mobile robots currently cannot detect and read arbitrary signs. This is a major hindrance to mobile robot usability, since they cannot be tasked using directions that are intuitive to humans. It also limits their ability to report their position relative to intuitive landmarks. Other researchers have demonstrated some success on traffic sign recognition, but using template based methods limits the set of recognizable signs. There is a clear need for a sign detection and recognition system that can process a much wider variety of signs: traffic signs, street signs, store-name signs, building directories, room signs, etc. We are developing a system for Sign Understanding in Support of Autonomous Navigation (SUSAN), that detects signs from various cues common to most signs: vivid colors, compact shape, and text. We have demonstrated the feasibility of our approach on a variety of signs in…

Matroids over one-dimensional groups

Guus P. Bollen, Dustin Cartwright, Jan Draisma

math.CO · · cited 2× · arXiv ↗ · more like this ·

We develop the theory of matroids over one-dimensional algebraic groups, with special emphasis on positive characteristic. In particular, we compute the Lindström valuations and Frobenius flocks of such matroids. Building on work by Evans and Hrushovski, we show that the class of algebraic matroids, paired with their Lindström valuations, is not closed under duality of valuated matroids.

The maximum independent sets of de Bruijn graphs of diameter 3

Dustin A. Cartwright, Maria Angelica Cueto, Enrique A. Tobis

math.CO · · cited 2× · arXiv ↗ · more like this ·

The nodes of the de Bruijn graph B(d,3) consist of all strings of length 3, taken from an alphabet of size d, with edges between words which are distinct substrings of a word of length 4. We give an inductive characterization of the maximum independent sets of the de Bruijn graphs B(d,3) and for the de Bruijn graph of diameter three with loops removed, for arbitrary alphabet size. We derive a recurrence relation and an exponential generating function for their number. This recurrence allows us to construct exponentially many comma-free codes of length 3 with maximal cardinality.

Characteristic Sets of Matroids

Dustin Cartwright, Dony Varghese

math.CO · · cited 0× · arXiv ↗ · more like this ·

We investigate possible linear, algebraic, and Frobenius flock characteristic sets of matroids. In particular, we classify possible combinations of linear and algebraic characteristic sets when the algebraic characteristic set is finite or cofinite. We also show that the natural density of an algebraic characteristic set in the set of primes may be arbitrarily close to any real number in the interval $[0,1]$. Frobenius flock realizations can be constructed from algebraic realizations, but the converse is not true. We show that the algebraic characteristic set may be an arbitrary cofinite set even for matroids whose Frobenius flock characteristic set is the set of all primes. In addition, we construct Frobenius flock realizations in all positive characteristics from linear realizations in characteristic 0, and also from Frobenius flock realizations of the dual matroid.

Construction of the Lindström valuation of an algebraic extension

Dustin Cartwright

math.CO · · cited 0× · arXiv ↗ · more like this ·

Recently, Bollen, Draisma, and Pendavingh have introduced the Lindström valuation on the algebraic matroid of a field extension of characteristic p. Their construction passes through what they call a matroid flock and builds on some of the associated theory of matroid flocks which they develop. In this paper, we give a direct construction of the Lindström valuated matroid using the theory of inseparable field extensions. In particular, we give a description of the valuation, the valuated circuits, and the valuated cocircuits.

Excluded homeomorphism types for dual complexes of surfaces

Dustin Cartwright

math.AG · · cited 0× · arXiv ↗ · more like this ·

We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface. In particular, we show that if $Δ$ is a complex homeomorphic to a 2-dimensional manifold with negative Euler characteristic, then $Δ$ is not the dual complex of any semistable degeneration. In fact, our theorem is somewhat more general and applies to some complexes homotopy equivalent to such a manifold. Our obstruction is provided by the theory of tropical complexes.

Hilbert schemes of 8 point

Dustin A. Cartwright, Daniel Erman, Mauricio Velasco +1 more

Algebra and Number Theory · · cited 0× · OpenAlex ↗ · more like this ·

Abstract. The Hilbert scheme H d n of n points in A d contains an irreducible component Rd n which generically represents n distinct points in Ad. We show that when n is at most 8, the Hilbert scheme Hd n is reducible if and only if n = 8 and d ≥ 4. In the simplest case of reducibility, the component R4 8 ⊂ H4 8 is defined by a single explicit equation which serves as a criterion for deciding whether a given ideal is a limit of distinct points. To understand the components of the Hilbert scheme, we study the closed subschemes of Hd n which parametrize those ideals which are homogeneous and have a fixed Hilbert function. These subschemes are a special case of multigraded Hilbert schemes, and we describe their components when the colength is at most 8. In particular, we show that the scheme corresponding to the Hilbert function (1, 3, 2, 1) is the minimal reducible example. 1.

Tropical complexes

Dustin Cartwright

math.AG · · cited 0× · arXiv ↗ · more like this ·

We introduce tropical complexes, as an enrichment of the dual complex of a degeneration with additional data from non-transverse intersection numbers. We define cycles, divisors, and linear equivalence on tropical complexes, analogous both to the corresponding theories on algebraic varieties and to previous work on graphs and abstract tropical curves. In addition, we establish conditions for the divisor-curve intersection numbers on a tropical complex to agree with the generic fiber of a degeneration.

DISCRETIZING GAUSSIAN MODELS

Dustin Cartwright

Statistics and Probability · · cited 0× · OpenAlex ↗ · more like this ·

Let Σ be a positive semidefinite matrix with non-zero diagonal entries, and GΣ the corresponding (possibly singular) Gaussian distribution on n random variables with mean 0. In this report, we study the discretization formed by taking just the sign of each of the variables, i.e. the model on sign patterns s ∈ {±1} n whose distribution is ps = PΣ(s1x1> 0,..., snxn> 0) The goal is to describe as explicitly as possible the possible probability distributions on sign patterns which can arise in this way. This is done completely for n at most 3, but for n = 4, these possible probability distributions are defined by a non-algebraic equation. First note that we can rescale each of the random variables by its variance to get a correlation matrix whose (i, j) entry is Σij / √ ΣiiΣjj. The set of all positive semidefinite matrices with ones on the diagonal is called an elliptope and…

An Algorithm for Finding Positive Solutions to Polynomial Equations

Dustin Cartwright

math.NA · · cited 0× · arXiv ↗ · more like this ·

We present a numerical algorithm for finding real non-negative solutions to polynomial equations. Our methods are based on the expectation maximization and iterative proportional fitting algorithms, which are used in statistics to find maximum likelihood parameters for certain classes of statistical models. Since our algorithm works by iteratively improving an approximate solution, we find approximate solutions in the cases when there are no exact solutions, such as overconstrained systems.

The Number of Eigenvalues of a Tensor

Dustin Cartwright, Bernd Sturmfels

math.NA · · cited 0× · arXiv ↗ · more like this ·

Eigenvectors of tensors, as studied recently in numerical multilinear algebra, correspond to fixed points of self-maps of a projective space. We determine the number of eigenvectors and eigenvalues of a generic tensor, and we show that the number of normalized eigenvalues of a symmetric tensor is always finite. We also examine the characteristic polynomial and how its coefficients are related to discriminants and resultants.

Applications of non-linear algebra to biology

Dustin Cartwright

Computational Mathematics · eScholarship (California Digital Library) · · cited 0× · OpenAlex ↗ · more like this ·

We present two applications of non-linear algebra to biology. Our first application is to the analysis of gene expression data from Arabidoposis roots. In Chapter 2, we present a method forcomputing non-negative roots to certain systems of polynomials. This algorithm is based on a generalization of the Expectation-Maximization and Iterative Proportional Fitting from statistics. In Chapter 3, this method is applied to a model for gene expression coming from roots of the Arabidopsis plant. Variation in gene expression is one method in which different tissue types develop different functional characteristics. Our model for gene expression in these roots is non-linear and so we apply the method from Chapter 2.Our second application is the use of secant varieties to study mixture models for the distribution of single-nucleotide polymorphisms in genes. In Chapter 4, we give generators for the…

Three notions of tropical rank for symmetric matrices

Dustin Cartwright, Melody Chan

math.CO · · cited 0× · arXiv ↗ · more like this ·

We introduce and study three different notions of tropical rank for symmetric and dissimilarity matrices in terms of minimal decompositions into rank 1 symmetric matrices, star tree matrices, and tree matrices. Our results provide a close study of the tropical secant sets of certain nice tropical varieties, including the tropical Grassmannian. In particular, we determine the dimension of each secant set, the convex hull of the variety, and in most cases, the smallest secant set which is equal to the convex hull.

Math 274: Tropical Geometry, Homework 5

Kristen Freeman, Dustin Cartwright

Computational Theory and Mathematics · · cited 0× · OpenAlex ↗ · more like this ·

1. Show that every balanced one-dimensional fan in R 3 is the tropicalization of a space curve in C 3. More precisely, let v1, v2,..., vn be integer vectors in Z 3 such that v1 + v2 +... + vn = 0, and let Σ be the union of the n rays R≥0vi. Construct a prime ideal I ⊂ C[x, y, z] with T (I) = Σ. Proof. [Solution due to Claudiu Raicu] Consider two polynomials f, g ∈ C[X ±] such that the spherical graphs they determine intersect transversely at the points where the vectors vi intersect the sphere. This implies that T (f) and T (g) intersect transversely ([1]) at each point and T (f)∩T (g) = Σ. Using the Transverse Intersection Lemma (lemma 3.2, corollary 3.3 of [1]) we get that Σ = T (f, g), so it suffices to prove that we can choose f, g so that (f, g) is prime. We can then take I = (f, g) ∩ C[X]. We now show how to choose f, g: clearly T (f), T (g) depend only on the monomials in f, g…