Related papers: Tropical constructive Pappus' theorem
This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. Our basic…
The paper consists of lecture notes for a mini-course given by the authors at the G\"okova Geometry \& Topology conference in May 2014. We start the exposition with tropical curves in the plane and their applications to problems in…
We present a version of the tropical Nevanlinna theory for real-valued, continuous, piecewise linear functions on the real line. In particular, a tropical version of the second main theorem is proved. Applications to some ultra-discrete…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
In this paper we study the convergence of the max-consensus protocol. Tropical algebra is used to formulate the problem. Necessary and sufficient conditions for convergence of the max-consensus protocol over fixed as well as switching…
We introduce tropical analogues of the notion of volume of polytopes, leading to a tropical version of the (discrete) classical isoperimetric inequality. The planar case is elementary, but a higher-dimensional generalization leads to an…
To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by…
We propose to study the tropical geometry specifically arising from convergent Hahn series in multiple indeterminates. One application is a new view on stable intersections of tropical hypersurfaces. Another one is perturbations of rank one…
Demailly showed that the Hodge conjecture is equivalent to the statement that any (p,p)-dimensional closed current with rational cohomology class can be approximated by linear combinations of integration currents associated to subvarieties,…
This work uncovers the tropical analogue for measured laminations of the convex hull construction of decorated Teichmueller theory, namely, it is a study in coordinates of geometric degeneration to a point of Thurston's boundary for…
We show that the tropical projective Grassmannian of planes is homeomorphic to a closed subset of the analytic Grassmannian in Berkovich's sense by constructing a continuous section to the tropicalization map. Our main tool is an explicit…
The paper studies intrinsic geometry in the tropical plane. Tropical structure in the real affine $n$-space is determined by the integer tangent vectors. Tropical isomorphisms are affine transformations preserving the integer lattice of the…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
This friendly introduction to tropical geometry is meant to be accessible to first year students in mathematics. The topics discussed here are basic tropical algebra, tropical plane curves, some tropical intersections, and Viro's…
We prove some constructive results that on first and maybe even on second glance seem impossible.
We give a constructive proof using tropical modifications of the existence of a family of real algebraic plane curves with asymptotically maximal numbers of even ovals.
We use the tropical trigonal construction to calculate the second moment of the tropical Prym variety of all double covers $\pi:\widetilde{\Gamma}\to \Gamma$ of tropical curves of genus $g(\Gamma)\leq 4$. The answer is expressed in terms of…
Discussion of the necessity to use the constructive mathematics as the formalism of quantum theory for systems with many particles.
This paper is a sequel to [3]. We formulate a natural algebraic geometry conjecture, give some of its number theoretic and analytical consequences, and show that those can be used to get further advances in wave turbulence theory.
We provide a systematic, thorough treatment of the foundations of probability theory and stochastic processes along the lines of E. Bishop's constructive analysis. Every existence result presented shall be a construction; and the input…