arXiv subjects

Dustin Cartwright

Publications and source records attributed to Dustin Cartwright.

At least 19 recordsLinked to original sources

arXiv2022

Characteristic Sets of Matroids

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.

math.CO↗

arXiv2018

Matroids over one-dimensional groups

We develop the theory of matroids over one-dimensional algebraic groups, with special emphasis on positive characteristic. In particular, we compute the Lindstr\"om 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\"om valuations, is not closed under duality of valuated matroids.

math.CO↗

arXiv2017

Construction of the Lindstr\"om valuation of an algebraic extension

Recently, Bollen, Draisma, and Pendavingh have introduced the Lindstr\"om 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\"om 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.

math.CO↗

arXiv2015

A specialization inequality for tropical complexes

We prove a specialization inequality relating the dimension of the complete linear series on a variety to the tropical complex of a regular semistable degeneration. Our result extends Baker's specialization inequality to arbitrary dimension.

math.AG↗

arXiv2015

Excluded homeomorphism types for dual complexes of surfaces

We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface. In particular, we show that if $\Delta$ is a complex homeomorphic to a 2-dimensional manifold with negative Euler characteristic, then $\Delta$ 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.

math.AG↗

arXiv2015

Combinatorial tropical surfaces

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.

math.CO↗

arXiv2015

Lifting matroid divisors on tropical curves

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\"ev universality with explicit bounds on the size of the matroid, which may be of independent interest.

math.AG↗

arXiv2014

Embeddings and immersions of tropical curves

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.

math.CO↗

arXiv2014

Lifting divisors on a generic chain of loops

Let C be a curve over a complete valued field with infinite residue field whose skeleton is a chain of loops with generic edge lengths. We prove that any divisor on the chain of loops that is rational over the value group lifts to a divisor of the same rank on C, confirming a conjecture of Cools, Draisma, Robeva, and the third author.

math.AG↗

arXiv2013

Tropical complexes

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.

math.AG↗

arXiv2013

Interference alignment for the MIMO interference channel

We study vector space interference alignment for the MIMO interference channel with no time or frequency diversity, and no symbol extensions. We prove both necessary and sufficient conditions for alignment. In particular, we characterize the feasibility of alignment for the symmetric three-user channel where all users transmit along d dimensions, all transmitters have M antennas and all receivers have N antennas, as well as feasibility of alignment for the fully symmetric (M=N) channel with an arbitrary number of users. An implication of our results is that the total degrees of freedom available in a K-user interference channel, using only spatial diversity from the multiple antennas, is at most 2. This is in sharp contrast to the K/2 degrees of freedom shown to be possible by Cadambe and Jafar with arbitrarily large time or frequency diversity. Moving beyond the question of feasibility, we additionally discuss computation of the number of solutions using Schubert calculus in cases where there are a finite number of solutions.

cs.IT↗

arXiv2012

The Gr\"obner stratification of a tropical variety

Each Gr\"obner stratum of a tropical variety is a connected set of points, all of which induce the same initial subscheme. The Gr\"obner stratification is a coarsening of the decomposition into Gr\"obner polyhedra, and has the advantage that it does not depend on a choice of compactification. We give an example of a curve over a field with non-trivial valuation whose Gr\"obner stratification is strictly finer than the coarsest polyhedral decomposition of the tropical variety. We also show that the Gr\"obner stratification of a locally matroidal tropical variety is completely determined by the underlying tropical variety.

math.AG↗

arXiv2012

Connectivity of tropicalizations

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.

math.AG↗

arXiv2011

Geometry of the 3-user MIMO interference channel

This paper studies vector space interference alignment for the three-user MIMO interference channel with no time or frequency diversity. The main result is a characterization of the feasibility of interference alignment in the symmetric case where all transmitters have M antennas and all receivers have N antennas. If N >= M and all users desire d transmit dimensions, then alignment is feasible if and only if (2r+1)d <= max(rN,(r+1)M) for all nonnegative integers r. The analogous result holds with M and N switched if M >= N. It turns out that, just as for the 3-user parallel interference channel \cite{BT09}, the length of alignment paths captures the essence of the problem. In fact, for each feasible value of M and N the maximum alignment path length dictates both the converse and achievability arguments. One of the implications of our feasibility criterion is that simply counting equations and comparing to the number of variables does not predict feasibility. Instead, a more careful investigation of the geometry of the alignment problem is required. The necessary condition obtained by counting equations is implied by our new feasibility criterion.

cs.IT↗

arXiv2011

Settling the feasibility of interference alignment for the MIMO interference channel: the symmetric square case

Determining the feasibility conditions for vector space interference alignment in the K-user MIMO interference channel with constant channel coefficients has attracted much recent attention yet remains unsolved. The main result of this paper is restricted to the symmetric square case where all transmitters and receivers have N antennas, and each user desires d transmit dimensions. We prove that alignment is possible if and only if the number of antennas satisfies N>= d(K+1)/2. We also show a necessary condition for feasibility of alignment with arbitrary system parameters. An algebraic geometry approach is central to the results.

cs.IT↗

arXiv2010

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

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.

math.AG↗

arXiv2010

The Number of Eigenvalues of a Tensor

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.

math.NA↗

arXiv2010

An Algorithm for Finding Positive Solutions to Polynomial Equations

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.

math.NA↗