BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Josephine Yu

Josephine Yu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COmath.AGmath.MGmath.ACSymbolic Computationmath.OCmath.STStatistics Theory

Catalog footprint

What is connected

18works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2021arXiv

Positively Hyperbolic Varieties, Tropicalization, and Positroids

A variety of codimension $c$ in complex affine space is called positively hyperbolic if the imaginary part of any point in it does not lie in any positive linear subspace of dimension $c$. Positively hyperbolic hypersurfaces are defined by stable polynomials. We give a new characterization of positively hyperbolic varieties using sign variations, and show that they are equivalently defined by being hyperbolic with respect to the positive part of the Grassmannian, in the sense of Shamovich and Vinnikov. We prove that positively hyperbolic projective varieties have tropicalizations that are locally subfans of the type $A$ hyperplane arrangement defined by $x_i = x_j$, in which the maximal cones satisfy a non-crossing condition. This gives new proofs of some results of Choe--Oxley--Sokal--Wagner and Brändén on Newton polytopes and tropicalizations of stable polynomials. We settle the question of which tropical varieties can be obtained as tropicalizations of positively hyperbolic varieties in the case of tropical toric varieties, constant-coefficient tropical curves, and Bergman fans. Along the way, we also give a new characterization of positroids in terms of a non-crossing condition on their Bergman fans.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Real tropicalization and analytification of semialgebraic sets

Let $K$ be a real closed field with a nontrivial non-archimedean absolute value. We study a refined version of the tropicalization map, which we call real tropicalization map, that takes into account the signs on $K$. We study images of semialgebraic subsets of $K^n$ under this map from a general point of view. For a semialgebraic set $S \subset K^n$ we define a space $S_r^{\text{an}}$ called the real analytification, which we show to be homeomorphic to the inverse limit of all real tropicalizations of $S$. We prove a real analogue of the tropical fundamental theorem and show that the tropicalization of any semialgebraic set is described by tropicalization of finitely many inequalities which are valid on the semialgebraic set. We also study the topological properties of real analytification and tropicalization. If $X$ is an algebraic variety, we show that $X_r^{\text{an}}$ can be canonically embedded into the real spectrum $X_r$ of $X$, and we study its relation with the Berkovich analytification of $X$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraic Matroids and Set-theoretic Realizability of Tropical Varieties

To each prime ideal in a polynomial ring over a field we associate an algebraic matroid and show that it is preserved under tropicalization. This gives a necessary condition for a tropical variety to be set-theoretically realizable from a prime ideal. We also show that there are infinitely many Bergman fans that are not set-theoretically realizable as the tropicalization of any ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Do most polynomials generate a prime ideal?

For which monomial supports do most polynomials generate a prime ideal? We give necessary and sufficient conditions for the radical of the ideal to be prime over an algebraically closed field. In characteristic zero, the same conditions give primeness. As an application we show that under the same combinatorial conditions on Newton polytopes, the stable intersection of tropical hypersurfaces is connected through codimension one.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Stable Intersections of Tropical Varieties

We give several characterizations of stable intersections of tropical cycles and establish their fundamental properties. We prove that the stable intersection of two tropical varieties is the tropicalization of the intersection of the classical varieties after a generic rescaling. A proof of Bernstein's theorem follows from this. We prove that the tropical intersection ring of tropical cycle fans is isomorphic to McMullen's polytope algebra. It follows that every tropical cycle fan is a linear combination of pure powers of tropical hypersurfaces, which are always realizable. We prove that every stable intersection of constant coefficient tropical varieties defined by prime ideals is connected through codimension one. We also give an example of a realizable tropical variety that is connected through codimension one but whose stable intersection with a hyperplane is not.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Symmetric Alcoved Polytopes

Generalized alcoved polytopes are polytopes whose facet normals are roots in a given root system. We call a set of points in an alcoved polytope a generating set if there does not exist a strictly smaller alcoved polytope containing it. The type $A$ alcoved polytopes are precisely the tropical polytopes that are also convex in the usual sense. In this case the tropical generators form a generating set. We show that for any root system other than $F_4$, every alcoved polytope invariant under the natural Weyl group action has a generating set of cardinality equal to the Coxeter number of the root system.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Computing Tropical Resultants

We fix the supports A=(A_1,...,A_k) of a list of tropical polynomials and define the tropical resultant TR(A) to be the set of choices of coefficients such that the tropical polynomials have a common solution. We prove that TR(A) is the tropicalization of the algebraic variety of solvable systems and that its dimension can be computed in polynomial time. The tropical resultant inherits a fan structure from the secondary fan of the Cayley configuration of A and we present algorithms for the traversal of TR(A) in this structure. We also present a new algorithm for recovering a Newton polytope from the support of its tropical hypersurface. We use this to compute the Newton polytope of the sparse resultant polynomial in the case when TR(A) is of codimension 1. Finally we consider the more general setting of specialized tropical resultants and report on experiments with our implementations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tropicalizing the positive semidefinite cone

We study the tropicalization of the cone of positive semidefinite matrices over the ordered field of real Puiseux series. The tropical PSD matrices form the normal cone of the Newton polytope of the symmetric determinant at the vertex corresponding to the product of diagonal entries. We find generators and defining inequalities of the cone. The PSD tropical quadratic forms are those that induce the trivial subdivision on the standard simplex dilated by two. We also show that the tropical PSD cone is the tropical convex hull of the set of symmetric matrices of tropical rank one and that every tropical PSD matrix can be factored as a tropical product of a matrix and its transpose.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

An Implicitization Challenge for Binary Factor Analysis

We use tropical geometry to compute the multidegree and Newton polytope of the hypersurface of a statistical model with two hidden and four observed binary random variables, solving an open question stated by Drton, Sturmfels and Sullivant in "Lectures on Algebraic Statistics" (Problem 7.7). The model is obtained from the undirected graphical model of the complete bipartite graph $K_{2,4}$ by marginalizing two of the six binary random variables. We present algorithms for computing the Newton polytope of its defining equation by parallel walks along the polytope and its normal fan. In this way we compute vertices of the polytope. Finally, we also compute and certify its facets by studying tangent cones of the polytope at the symmetry classes vertices. The Newton polytope has 17214912 vertices in 44938 symmetry classes and 70646 facets in 246 symmetry classes.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On a parametrization of positive semidefinite matrices with zeros

We study a class of parametrizations of convex cones of positive semidefinite matrices with prescribed zeros. Each such cone corresponds to a graph whose non-edges determine the prescribed zeros. Each parametrization in this class is a polynomial map associated with a simplicial complex supported on cliques of the graph. The images of the maps are convex cones, and the maps can only be surjective onto the cone of zero-constrained positive semidefinite matrices when the associated graph is chordal and the simplicial complex is the clique complex of the graph. Our main result gives a semi-algebraic description of the image of the parametrizations for chordless cycles. The work is motivated by the fact that the considered maps correspond to Gaussian statistical models with hidden variables.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Tropical Implicitization and Mixed Fiber Polytopes

The software TrIm offers implementations of tropical implicitization and tropical elimination, as developed by Tevelev and the authors. Given a polynomial map with generic coefficients, TrIm computes the tropical variety of the image. When the image is a hypersurface, the output is the Newton polytope of the defining polynomial. TrIm can thus be used to compute mixed fiber polytopes, including secondary polytopes.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Linear Systems on Tropical Curves

A tropical curve Γis a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical curve Γanalogously to the classical counterpart. We investigate the structure of |D| as a cell complex and show that linear systems are quotients of tropical modules, finitely generated by vertices of the cell complex. Using a finite set of generators, |D| defines a map from Γto a tropical projective space, and the image can be extended to a tropical curve of degree equal to °(D). The tropical convex hull of the image realizes the linear system |D| as a polyhedral complex. We show that curves for which the canonical divisor is not very ample are hyperelliptic. We also show that the Picard group of a \Q-tropical curve is a direct limit of critical groups of finite graphs converging to the curve.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Affine Buildings and Tropical Convexity

The notion of convexity in tropical geometry is closely related to notions of convexity in the theory of affine buildings. We explore this relationship from a combinatorial and computational perspective. Our results include a convex hull algorithm for the Bruhat--Tits building of SL$_d(K)$ and techniques for computing with apartments and membranes. While the original inspiration was the work of Dress and Terhalle in phylogenetics, and of Faltings, Kapranov, Keel and Tevelev in algebraic geometry, our tropical algorithms will also be applicable to problems in other fields of mathematics.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Tropical polytopes and cellular resolutions

Tropical polytopes are images of polytopes in an affine space over the Puiseux series field under the degree map. This viewpoint gives rise to a family of cellular resolutions of monomial ideals which generalize the hull complex of Bayer and Sturmfels, instances of which improve upon the hull resolution in the sense of being smaller. We also suggest a new definition of a face of a tropical polytope, which has nicer properties than previous definitions; we give examples and provide many conjectures and directions for further research in this area.

0 citations0 reviewsNo code linkedOpen access