Related papers: Planar tropical gravitational descendants with one…
Via correspondence theorems, rational log Gromov--Witten invariants of the plane can be computed in terms of tropical geometry. For many cases, there exists a range of algorithms to compute tropically: for instance, there are (generalized)…
We define tropical Psi-classes on the moduli space of rational tropical curves in R^2 and consider intersection products of Psi-classes and pull-backs of evaluations on this space. We show a certain WDVV equation which is sufficient to…
We compute stationary gravitational descendants in symplectic ellipsoids of any dimension, and use these to derive a number of new recursive formula for punctured curve counts in symplectic manifolds with ellipsoidal ends. Along the way we…
We introduce a tropical geometric framework that allows us to define $\psi$ classes for moduli spaces of tropical curves of arbitrary genus. We prove correspondence theorems between algebraic and tropical $\psi$ classes for some…
Floor diagrams are combinatorial objects which organize the count of tropical plane curves satisfying point conditions. In this paper we introduce Psi-floor diagrams which count tropical curves satisfying not only point conditions but also…
On a space of stable maps, the psi classes are modified by subtracting certain boundary divisors. The top products of modified psi classes, usual psi classes, and classes pulled back along the evaluation maps are called twisted descendants;…
On a stack of stable maps, the psi classes are modified by subtracting certain boundary divisors. These modified psi classes are compatible with forgetful morphisms, and are well-suited to enumerative geometry: tangency conditions allow…
In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded TGDs, which are TGDs with certain restrictions on the atomic derivation track embedded in the underlying rule set. We show that…
In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded (TG) TGDs. We show that conjunctive query answering under this new class of TGDs is decidable since this new class of TGDs also…
We derive the P-finite recurrences for classes of sequences with ordinary generating function containing roots of polynomials. The focus is on establishing the D-finite differential equations such that the familiar steps of reducing their…
We prove that every degree-g polynomial in the $\psi$-classes on $\overline{\mathcal M}_{g, n}$ can be expressed as a sum of tautological classes supported on the boundary with no $\kappa$-classes. Such equations, which we refer to as…
We introduce iterated sequences for Grassmannians, a new class of Fang-Fourier-Littelmanns' birational sequences and explain how they give rise to points in $\text{trop}(\text{Gr}(k,\mathbb C^n))$, Speyer-Sturmfels' tropical Grassmannian.…
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…
We prove a $q$-refined tropical correspondence theorem for higher genus descendant logarithmic Gromov--Witten invariants with a $\lambda_g$ class in toric surfaces. Specifically, a generating series of such logarithmic Gromov--Witten…
It is argued that gravitational descendants in Landau-Ginsburg theory coupled to topological gravity can be constructed from the matter fields only. For example, $\sigma_1 (\Phi) = V'\int \Phi$. This descendants turn out to be connected…
This article explores to which extent the algebro-geometric theory of rational descendant Gromov-Witten invariants can be carried over to the tropical world. Despite the fact that the tropical moduli-spaces we work with are non-compact, the…
We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in R[[t]][x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we…
We translate the usual class of partial/primitive recursive functions to a pointer recursion framework, accessing actual input values via a pointer reading unit-cost function. These pointer recursive functions classes are proven equivalent…
By using the Poisson formula for resultants and the variants of chip-firing game on graphs, we provide a combinatorial method for computing a class of of resultants, i.e. the characteristic polynomials of the adjacency tensors of starlike…
The objective of this paper is to develop a general algebraic theory of supertropical matrix algebra, extending [11]. Our main results are as follows: * The tropical determinant (i.e., permanent) is multiplicative when all the determinants…