Publications and Preprints
(see below for a description of selected items)
Paul Görlach, Yue Ren, Jeff Sommars: Detecting tropical defects of polynomial equations (arXiv:1809.03350) (2018)
T. O. Celik, A. Kulkarni, Y. Ren, M. Sayyary: Tritangents and their space sextics (arXiv:1805.11702) (2018).
M. Hahn, H. Markwig, Y. Ren, I. Tyomkin: Tropicalized quartics and canonical embeddings for tropical curves of genus 3 (arXiv:1802.02440) (2018).
A. Kulkarni, Y. Ren, M. Sayyary, B. Sturmfels: Real space sextics and their tritangents (arXiv:1712.06274). Proceedings of the ISSAC 2018, 247-254 (2018).
Y. Ren, J. W. R. Martini, J. Torres: Decoupled molecules with binding polynomials of bidegree (n,2) (arXiv:1711.06865) (2017) to appear in Journal of Mathematical Biology.
R. Epure, H. Schönemann, Y. Ren: The polymake interface in Singular and its applications. Lecture Notes in Computer Science 10490, 109-117 (2017).
T. Markwig, Y. Ren: Computing tropical varieties over fields with valuation (arXiv:1612.01762) (2016) to appear in Foundations of Computational Mathematics.
T. Markwig, Y. Ren: Gröbner fans of x-homogeneous ideals in R[[t]][x] (arXiv:1512.02662). Journal of Symbolic Computation 83, 315-341 (2017).
T. Markwig, Y. Ren, O. Wienand: Standard bases in mixed power series and polynomial rings over rings. (arXiv:1509.07528). Journal of Symbolic Computation 79(1), 119-139 (2017).
J. Boehm, S. Keicher, Y. Ren: Computing GIT-fans with symmetry and the Mori chamber decomposition of M06 (arXiv:1603.09241). (2016).
J. Boehm, W. Decker, S. Keicher, Y. Ren: Current challenges in developing open source computer algebra systems (arXiv:1702.06912). Lecture Notes in Computer Science 9582, 3-24 (2016).
M. Marais, Y. Ren: Mora's holy grail: Algorithms for computing in localizations at prime ideals (arXiv:1504.01648). International Journal of Algebra and Computation 25(7), 1125-1143 (2015).
M. Cuntz, Y. Ren, G. Trautmann: Strongly symmetric smooth toric varieties (arXiv:1108.1886). Kyoto Journal of Mathematics 52(3), 597-620 (2012).
Tropicalized quartics and canonical embeddings for tropical curves of genus 3
Brodsky, Joswig, Morrison and Sturmfels showed that not all abstract tropical curves of genus three can be realized as a tropicalization of a quartic in the euclidean plane. In this article, we focus on the interior of the maximal cones in the moduli space and classify all curves which can be realized as a faithful tropicalization in a tropical plane. Reflecting the algebro-geometric world, we show that these are exactly those which are not realizably hyperelliptic.
Our approach is constructive: For any not realizably hyperelliptic curve, we explicitly construct a realizable model of the tropical plane and a faithfully tropicalized quartic in it. These constructions rely on modifications resp. tropical refinements. Conversely, we prove that any realizably hyperelliptic curve cannot be embedded in such a fashion. For that, we rely on the theory of tropical divisors and embeddings from linear systems, and recent advances in the realizability of sections of the tropical canonical divisor.
Decoupled molecules with binding polynomials of bidegree (n,2)
In this paper, we study an interesting class of parametrized system of polynomial equations arising from biochemistry, using algebraic geometry and computer algebra software. In particular, we determine its generic number of solutions.
In biology and chemistry, many systems are centered around a process where one substance binds to multiple sites of another object, such as oxygen binding to the four sites of hemoglobin. In this case, oxygen is referred to as a ligand while hemoglobin is called the target molecule. The binding polynomial is the denominator of the rational function describing the average number of occupied binding sites in relation to the ligand activity. It describes the binding behaviour of the system.
In the Henderson-Hasselbalch-Modell, target molecules are characterized by binding energies on the sites and interaction energies between the sites. The binding polynomial, or rather its coefficients, are given by a square system of polynomials equations in the binding and interaction energies.
Computing tropical Points and tropical links
In this paper, we introduce a simple yet novel approach for computing non-trivial points on and codimension-one links of tropical varieties. The algorithm relies on bread-and-butter techniques in computer algebra, the heart being triangular decomposition and Newton polygons methods.
All algorithms are implemented in the Singular library tropicalNewton.lib and are publicly available as part of the official Singular distribution. They currently represent the fastest way for computing tropical varieties.
Computing tropical varieties over fields with valuation
In this paper, we show how tropical varieties over arbitrary fields with valuation can be computed using well-established standard bases techniques. Generalizing a known trick for the field of Puiseux series, we explain how the valuation can be emulated using an auxiliary variable. Doing so, we also obtain an alternative algorithm for computing so-called tropical Gröbner Bases as introduced by Chan and Maclagan.
All algorithms are implemented in the Singular library tropical.lib and are publicly available as part of the official Singular distribution.
Computing GIT-fans with symmetry and the Mori chamber decomposition of M06
In this paper, we propose an algorithm for computing the GIT-fan for torus actions on affine varieties with residual symmetries. The algorithm combines computational techniques from commutative algebra, convex geometry and group theory. We use our algorithm to compute the Mori chamber decomposition in the moving cone of the Deligne-Mumford compactification M06 of the moduli space of 6-pointed stable curves of genus zero.
All algorithms are implemented in the Singular library gitfan.lib and are publicly available as part of the official Singular distribution. Data on the GIT-Fan of M06 can be found on the website of the first author.