Showing 1–29 of 29 results for author: Cartwright, D

Characteristic Sets of Matroids

Authors: Dustin Cartwright, Dony Varghese

Abstract: 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 inter… ▽ More 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. △ Less

Submitted 29 October, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: 21 pages, typos corrected, references added

MSC Class: 05B35

Journal ref: European Journal of Combinatorics, Volume 118, May 2024, 103939

A refinement of Bézout's Lemma, and order 3 elements in some quaternion algebras over $\mathbb{Q}$

Authors: Donald I. Cartwright, Xavier Roulleau

Abstract: Given coprime positive integers $d',d''$, Bézout's Lemma tells us that there are integers $u,v$ so that $d'u-d''v=1$. We show that, interchanging $d'$ and $d''$ if necessary, we may choose $u$ and $v$ to be Loeschian numbers, i.e., of the form $|α|^2$, where $α\in\mathbb{Z}[j]$, the ring of integers of the number field $\mathbb{Q}(j)$, where $j^2+j+1=0$. We do this by using Atkin-Lehner elements i… ▽ More Given coprime positive integers $d',d''$, Bézout's Lemma tells us that there are integers $u,v$ so that $d'u-d''v=1$. We show that, interchanging $d'$ and $d''$ if necessary, we may choose $u$ and $v$ to be Loeschian numbers, i.e., of the form $|α|^2$, where $α\in\mathbb{Z}[j]$, the ring of integers of the number field $\mathbb{Q}(j)$, where $j^2+j+1=0$. We do this by using Atkin-Lehner elements in some quaternion algebras $\mathcal{H}$. We use this fact to count the number of conjugacy classes of elements of order 3 in an order $\mathcal{O}\subset\mathcal{H}$. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Comments: 20 pages, comments welcome

MSC Class: 11R52

Matroids over one-dimensional groups

Authors: Guus P. Bollen, Dustin Cartwright, Jan Draisma

Abstract: 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. 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. △ Less

Submitted 18 March, 2020; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 29 pages, 4 diagrams, 2 pictures, improved exposition---many thanks to referees!

Journal ref: Int. Math. Res. Not., 2022:3, 2298-2336

Construction of the Lindström valuation of an algebraic extension

Authors: Dustin Cartwright

Abstract: 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 insep… ▽ More 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. △ Less

Submitted 20 December, 2017; v1 submitted 27 April, 2017; originally announced April 2017.

Comments: 12 pages, v2: added Section 3 on valuated cocircuits and minors, v3: minor changes and corrections, final submitted version

MSC Class: 05B35 (Primary); 12F20 (Secondary)

Journal ref: J. Combin. Theory Ser. A 157 (2018) 389-401

Finding generators and relations for groups acting on the hyperbolic ball

Authors: Donald I. Cartwright, Tim Steger

Abstract: In order to enumerate the fake projective planes, as announced in~\cite{CS}, we found explicit generators and a presentation for each maximal arithmetic subgroup $\barΓ$ of~$PU(2,1)$ for which the (appropriately normalized) covolume equals~$1/N$ for some integer~$N\ge1$. Prasad and Yeung \cite{PY1,PY2} had given a list of all such $\barΓ$ (up to equivalence). The generators were found by a compu… ▽ More In order to enumerate the fake projective planes, as announced in~\cite{CS}, we found explicit generators and a presentation for each maximal arithmetic subgroup $\barΓ$ of~$PU(2,1)$ for which the (appropriately normalized) covolume equals~$1/N$ for some integer~$N\ge1$. Prasad and Yeung \cite{PY1,PY2} had given a list of all such $\barΓ$ (up to equivalence). The generators were found by a computer search which uses the natural action of $PU(2,1)$ on the unit ball $B(\C^2)$ in~$\C^2$. Our main results here give criteria which ensure that the computer search has found sufficiently many elements of~$\barΓ$ to generate $\barΓ$, and describes a family of relations amongst the generating set sufficient to give a presentation of~$\barΓ$. We give an example illustrating details of how this was done in the case of a particular~$\barΓ$ (for which $N=864$). While there are no fake projective planes in this case, we exhibit a torsion-free subgroup~$Π$ of index~$N$ in~$\barΓ$, and give some properties of the surface~$Π\backslash B(\C^2)$. △ Less

Submitted 10 January, 2017; originally announced January 2017.

A specialization inequality for tropical complexes

Authors: Dustin Cartwright

Abstract: 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. 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. △ Less

Submitted 10 August, 2018; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: 30 pages, 3 figures. v1: Split off of arXiv:1308.3813v1. v2: Expanded exposition of tropical complexes

MSC Class: 14D06; 14T05

Journal ref: Compositio Math. 157 (2021) 1051-1078

Excluded homeomorphism types for dual complexes of surfaces

Authors: Dustin Cartwright

Abstract: 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 equivale… ▽ More 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. △ Less

Submitted 15 June, 2015; originally announced June 2015.

Comments: 12 pages

MSC Class: 14D06; 14T05

Journal ref: in Nonarchimedean and Tropical Geometry, M. Baker, S. Payne (eds), Simons Symposia 2016

Combinatorial tropical surfaces

Authors: Dustin Cartwright

Abstract: 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. 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. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Comments: 29 pages, 5 figures. This is an expansion of sections 5 and 6 of arXiv:1308.3813v1

MSC Class: 14T05

Lifting matroid divisors on tropical curves

Authors: Dustin Cartwright

Abstract: 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 t… ▽ More 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. △ Less

Submitted 19 February, 2016; v1 submitted 12 February, 2015; originally announced February 2015.

Comments: 27 pages, 7 figures, final submitted version: several proofs clarified and various minor changes

MSC Class: 14T05; 05B35

Journal ref: Res. Math. Sci. 2:23 (2015)

On the Cartwright-Steger surface

Authors: Donald I. Cartwright, Vincent Koziarz, Sai-Kee Yeung

Abstract: In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface. In this article, we study various concrete algebraic and differential geometric properties of the Cartwright-Steger surface. In particular, we determine the genus of a generic fiber of the Albanese fibration, and deduce that the singular fibers are not totally geodesic, answering an open problem about fibrations of a complex ball quotient over a Riemann surface. △ Less

Submitted 10 March, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: A longer version of this paper, which contains some geometric results we have omitted here, provides more details of some calculations, and adopts a different approach to proving some results, can be found on the webpage of the first named author (see reference [CKY]). It is an update of version 1 of this paper

Embeddings and immersions of tropical curves

Authors: Dustin Cartwright, Andrew Dudzik, Madhusudan Manjunath, Yuan Yao

Abstract: 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 p… ▽ More 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. △ Less

Submitted 16 July, 2015; v1 submitted 25 September, 2014; originally announced September 2014.

Comments: 23 pages, 14 figures, final submitted version

MSC Class: 14T05

Journal ref: Collectanea Math. 67:1 (2016) 1-19

Lifting divisors on a generic chain of loops

Authors: Dustin Cartwright, David Jensen, Sam Payne

Abstract: 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. 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. △ Less

Submitted 9 September, 2014; v1 submitted 15 April, 2014; originally announced April 2014.

Comments: 14 pages, 3 figures v2: minor changes, to appear in Canadian Mathematical Bulletin

MSC Class: 14T05; 14H51

Journal ref: Can. Math. Bull. 58 (2015) 250-262

Tropical complexes

Authors: Dustin Cartwright

Abstract: 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 d… ▽ More 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. △ Less

Submitted 3 September, 2019; v1 submitted 17 August, 2013; originally announced August 2013.

Comments: 37 pages, 5 figures. v2: Sections 5-6 now appear in arXiv:1506.02023 and Section 7 in arXiv:1511.00650. v3: Rewritten, definition of Weil divisors on tropical complexes of dimension at least 3 changed slightly. v4: Many improvements in the exposition

MSC Class: 14D06; 14T05

Interference alignment for the MIMO interference channel

Authors: Guy Bresler, Dustin Cartwright, David Tse

Abstract: 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… ▽ More 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. △ Less

Submitted 16 August, 2014; v1 submitted 22 March, 2013; originally announced March 2013.

Comments: 16 pages, 7 figures, final submitted version

Report number: Mittag-Leffler-2011spring

Journal ref: IEEE Trans. Inf. Theory 60:9 (2014) 5573-5586

The Gröbner stratification of a tropical variety

Authors: Dustin Cartwright

Abstract: Each Gröbner stratum of a tropical variety is a connected set of points, all of which induce the same initial subscheme. The Gröbner stratification is a coarsening of the decomposition into Gröbner 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öbner stratification is strictly f… ▽ More Each Gröbner stratum of a tropical variety is a connected set of points, all of which induce the same initial subscheme. The Gröbner stratification is a coarsening of the decomposition into Gröbner 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öbner stratification is strictly finer than the coarsest polyhedral decomposition of the tropical variety. We also show that the Gröbner stratification of a locally matroidal tropical variety is completely determined by the underlying tropical variety. △ Less

Submitted 18 May, 2012; originally announced May 2012.

Comments: 12 pages, 1 figure

Report number: Mittag-Leffler-2011spring MSC Class: 14T05

Connectivity of tropicalizations

Authors: Dustin Cartwright, Sam Payne

Abstract: 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. 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. △ Less

Submitted 30 April, 2012; originally announced April 2012.

Comments: 7 pages

MSC Class: 14T05

Journal ref: Math. Res. Lett. 19 (2012), no. 5, 1089-1095

Geometry of the 3-user MIMO interference channel

Authors: Guy Bresler, Dustin Cartwright, David Tse

Abstract: 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… ▽ More 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. △ Less

Submitted 23 October, 2011; originally announced October 2011.

Comments: 8 pages, 6 figures. Appeared at the Allerton Conference, September 2011

Report number: Mittag-Leffler-2011spring

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

Authors: Guy Bresler, Dustin Cartwright, David Tse

Abstract: 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 al… ▽ More 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. △ Less

Submitted 5 April, 2011; originally announced April 2011.

Comments: 13 pages, no figures

Report number: Mittag-Leffler-2011spring

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

Authors: Dustin Cartwright, Daniel Erman, Luke Oeding

Abstract: 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 previo… ▽ More 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. △ Less

Submitted 7 September, 2010; originally announced September 2010.

Comments: 21 pages

MSC Class: 14M15 (Primary) 14M12 (Secondary)

Journal ref: J. Londson Math. Soc. 85:1 (2012) 121-141

The Number of Eigenvalues of a Tensor

Authors: Dustin Cartwright, Bernd Sturmfels

Abstract: 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… ▽ More 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. △ Less

Submitted 14 May, 2010; v1 submitted 28 April, 2010; originally announced April 2010.

Comments: 12 pages, fixed several typos

MSC Class: 15A18; 15A69 (Primary); 14M25 (Secondary)

Journal ref: Linear Alg. Appl. 438:2 (2013) 942-952

An Algorithm for Finding Positive Solutions to Polynomial Equations

Authors: Dustin Cartwright

Abstract: 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 approxi… ▽ More 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. △ Less

Submitted 1 April, 2010; originally announced April 2010.

Comments: 9 pages

MSC Class: 65H10; 14Q99

Mustafin Varieties

Authors: Dustin Cartwright, Mathias Häbich, Bernd Sturmfels, Annette Werner

Abstract: A Mustafin variety is a degeneration of projective space induced by a point configuration in a Bruhat-Tits building. The special fiber is reduced and Cohen-Macaulay, and its irreducible components form interesting combinatorial patterns. For configurations that lie in one apartment, these patterns are regular mixed subdivisions of scaled simplices, and the Mustafin variety is a twisted Veronese va… ▽ More A Mustafin variety is a degeneration of projective space induced by a point configuration in a Bruhat-Tits building. The special fiber is reduced and Cohen-Macaulay, and its irreducible components form interesting combinatorial patterns. For configurations that lie in one apartment, these patterns are regular mixed subdivisions of scaled simplices, and the Mustafin variety is a twisted Veronese variety built from such a subdivision. This connects our study to tropical and toric geometry. For general configurations, the irreducible components of the special fiber are rational varieties, and any blow-up of projective space along a linear subspace arrangement can arise. A detailed study of Mustafin varieties is undertaken for configurations in the Bruhat-Tits tree of PGL(2) and in the two-dimensional building of PGL(3). The latter yields the classification of Mustafin triangles into 38 combinatorial types. △ Less

Submitted 11 April, 2011; v1 submitted 8 February, 2010; originally announced February 2010.

Comments: 39 pages, 7 figures

Three notions of tropical rank for symmetric matrices

Authors: Dustin Cartwright, Melody Chan

Abstract: 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 se… ▽ More 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. △ Less

Submitted 8 December, 2009; originally announced December 2009.

Comments: 23 pages, 3 figures

MSC Class: 14T05

The maximum independent sets of de Bruijn graphs of diameter 3

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

Abstract: 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 recu… ▽ More 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. △ Less

Submitted 28 September, 2010; v1 submitted 23 May, 2009; originally announced May 2009.

Comments: Updated version with a new title. Mostly a more clearly written version. The content is mostly the same as in the original version. 18 pages, 1 figure, 1 table

MSC Class: 05C69; 05A15

Reconstructing Spatiotemporal Gene Expression Data from Partial Observations

Authors: Dustin A. Cartwright, Siobhan M. Brady, David A. Orlando, Bernd Sturmfels, Philip N. Benfey

Abstract: Developmental transcriptional networks in plants and animals operate in both space and time. To understand these transcriptional networks it is essential to obtain whole-genome expression data at high spatiotemporal resolution. Substantial amounts of spatial and temporal microarray expression data previously have been obtained for the Arabidopsis root; however, these two dimensions of data have… ▽ More Developmental transcriptional networks in plants and animals operate in both space and time. To understand these transcriptional networks it is essential to obtain whole-genome expression data at high spatiotemporal resolution. Substantial amounts of spatial and temporal microarray expression data previously have been obtained for the Arabidopsis root; however, these two dimensions of data have not been integrated thoroughly. Complicating this integration is the fact that these data are heterogeneous and incomplete, with observed expression levels representing complex spatial or temporal mixtures. Given these partial observations, we present a novel method for reconstructing integrated high resolution spatiotemporal data. Our method is based on a new iterative algorithm for finding approximate roots to systems of bilinear equations. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: 19 pages, 4 figures

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

Authors: Dustin Cartwright, Bernd Sturmfels

Abstract: 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 w… ▽ More 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. △ Less

Submitted 27 August, 2009; v1 submitted 1 January, 2009; originally announced January 2009.

Comments: 30 pages, 2 figures

MSC Class: 14C05

Hilbert schemes of 8 points

Authors: Dustin A. Cartwright, Daniel Erman, Mauricio Velasco, Bianca Viray

Abstract: 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… ▽ More 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. △ Less

Submitted 23 June, 2008; v1 submitted 3 March, 2008; originally announced March 2008.

Comments: 28 pages; Rewrote introduction and reorganized parts of the paper, some minor errors have been fixed

MSC Class: 14C05 (Primary) 13E10 (Secondary)

Journal ref: Algebra and Number Theory, 3 (2009), 763-795

The spectrum of the averaging operator on a network (metric graph)

Authors: Donald I. Cartwright, Wolfgang Woess

Abstract: A network is a countable, connected graph X viewed as a one-complex, where each edge [x,y]=[y,x] (x,y in X^0, the vertex set) is a copy of the unit interval within the graph's one-skeleton X^1 and is assigned a positive conductance c(xy). A reference "Lebesgue" measure on X^1 is built up by using Lebesgue measure with total mass c(xy) on each edge [x,y]. There are three natural operators on X :… ▽ More A network is a countable, connected graph X viewed as a one-complex, where each edge [x,y]=[y,x] (x,y in X^0, the vertex set) is a copy of the unit interval within the graph's one-skeleton X^1 and is assigned a positive conductance c(xy). A reference "Lebesgue" measure on X^1 is built up by using Lebesgue measure with total mass c(xy) on each edge [x,y]. There are three natural operators on X : the transition operator P acting on functions on X^0 (the reversible Markov chain associated with the conductances), the averaging operator A over spheres of radius 1 on X^1, and the Laplace operator on X^1 (with Kirchhoff conditions weighted by c(.) at the vertices). The relation between the l^2-spectrum of P and the H^2-spectrum of the Laplacian was described by Cattaneo (Mh. Math. 124, 1997). In this paper we describe the relation between the l^2-spectrum of P and the L^2-spectrum of A. △ Less

Submitted 26 September, 2005; originally announced September 2005.

MSC Class: 47A10; 05C50; 58C40; 60J10

Journal ref: Illinois J. Math. 51 (2007) 805-830

Hyperbolic buildings, affine buildings and automatic groups

Authors: Donald I. Cartwright, Michael Shapiro

Abstract: We see that a building whose Coxeter group is hyperbolic is itself hyperbolic. Thus any finitely generated group acting co-compactly on such a building is hyperbolic, hence automatic. We turn our attention to affine buildings and consider a group $Γ$ which acts simply transitively and in a ``type-rotating'' way on the vertices of a locally finite thick building of type $\tilde A_n$. We show that… ▽ More We see that a building whose Coxeter group is hyperbolic is itself hyperbolic. Thus any finitely generated group acting co-compactly on such a building is hyperbolic, hence automatic. We turn our attention to affine buildings and consider a group $Γ$ which acts simply transitively and in a ``type-rotating'' way on the vertices of a locally finite thick building of type $\tilde A_n$. We show that $Γ$ is biautomatic, using a presentation of $Γ$ and unique normal form for each element of $Γ$, as described in ``Groups acting simply transitively on the vertices of a building of type $\tilde A_n$'' by D.I. Cartwright, to appear, Proceedings of the 1993 Como conference ``Groups of Lie type and their geometries''. △ Less

Submitted 21 April, 1994; originally announced April 1994.

Comments: Plain Tex, 12 pages, no figures

Report number: MAGNUS preprint #94-04-22A