相关论文: Tropical constructive Pappus' theorem
In one of our previous articles, we outlined the formulation of a version of the categorical arithmetic local Langlands conjecture. The aims of this article are threefold. First, we provide a detailed account of one component of this…
We show that in the constant coefficient case the generic tropical variety of a graded ideal exists. This can be seen as the analogon to the existence of the generic initial ideal in Groebner basis theory. We determine the generic tropical…
In our previous work "Characterization of certain homorphic geodesic cycles on Hermitian locally symmetric manifolds of the noncompact type" in "Modern methods in Complex Analysis" Annals of Math. Studies 138 (1995) 85-118, we formulated a…
We describe recent work connecting combinatorics and tropical/non-Archimedean geometry to Diophantine geometry, particularly the uniformity conjectures for rational points on curves and for torsion packets of curves. The method of…
This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…
The main goal of this paper is to establish the higher-dimensional Nevanlinna theory in tropical geometry. We first develop a theory of tropical meromorphic functions ( holomorphic maps) in several variables, such as the proximity function,…
We study Jacobian varieties for tropical curves. These are real tori equipped with integral affine structure and symmetric bilinear form. We define tropical counterpart of the theta function and establish tropical versions of the…
The theory of the topological vertex was originally proposed by Aganagic, Klemm, Mari\~no and Vafa as a means to calculate open Gromov-Witten invariants of toric Calabi-Yau threefolds. In this paper, we place the topological vertex within…
We prove two tropical gluing formulae for Gromov-Witten invariants of exploded manifolds, useful for calculating Gromov-Witten invariants of a symplectic manifold using a normal-crossing degeneration. The first formula generalizes the…
We define constructive truth for arithmetic and for intuitionistic analysis, and investigate its properties. We also prove that the set of constructively true (first order) arithmetical statements is Pi-1-2 and Sigma-1-2 hard, and we…
We give criteria for a first-order theory to be NCTP or NBTP using tree-indiscernibility. As an application, we show that Mekler's construction preserves NCTP and NBTP.
We present a new characterization of the shape equivalent class and the Littlewood-Richardson correspondence of Young tableaux in terms of tropical (ultradiscrete) integrable systems. As an application, an alternative proof of the "shape…
We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions…
This paper is a follow-up of a previous work in which we show that, for a $3$-edge connected tropical curve $\Gamma$, the existence of a divisor of degree $3$ and Baker-Norine rank at least $1$ in $\Gamma$ is equivalent to the existence of…
Abstractly, tropical hyperelliptic curves are metric graphs that admit a two-to-one harmonic morphism to a tree. They also appear as embedded tropical curves in the plane arising from triangulations of polygons with all interior lattice…
Already for bivariate tropical polynomials, factorization is an NP-Complete problem. In this paper, we give an efficient algorithm for factorization and rational factorization of a rich class of tropical polynomials in $n$ variables.…
We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usually easily verified by a human and translated into an…
This is the third installment in a series of papers on the subject of derived contact structures. In this paper, we formally introduce the notion of a Legendrian structure in the derived context and provide natural constructions. We then…
For a complex hypersurface of dimension $d \geq 1$ in a toric variety, we construct lifts of tropical $(p, q)$-cycles with $p+q=d$ in the associated tropical hypersurface. The tropical cycles we consider are described by Minkowski weights,…
We introduce a simple, easy to implement, and computationally efficient tropical convolutional neural network architecture that is robust against adversarial attacks. We exploit the tropical nature of piece-wise linear neural networks by…