相关论文: Enumeration of Real Conics and Maximal Configurati…
We define tropical analogues of the notions of linear space and Plucker coordinate and study their combinatorics. We introduce tropical analogues of intersection and dualization and define a tropical linear space built by repeated…
Let X be a smooth complete intersection. Suppose p and q are general points of X, we consider conics in X passing through p and q. We show the moduli space of these conics is a smooth complete intersection. The main ingredients of the proof…
In this paper, we use the properties of the self-polar triangle to not only show a novel method for a basic point-line enumerative problem of conics, but also present a series of closed-form solutions to the conics from all minimal…
The numerical performance of algorithms can be studied using test sets or procedures that generate such problems. This paper proposes various methods for generating linear, semidefinite, and second-order cone optimization problems.…
We study the properties of the constructive linear programing problems. The parameters of linear functions in such problems are constructive real numbers. To solve such a problem is to find the optimal plan with the constructive real number…
We reconcile the discrepancy between the complex and tropical counts of some enumerative problems reducing to positive characteristic. Each problem that we consider suggests a prime with special behaviour. Modulo this prime, the solutions…
We address the problem of the maximal finite number of real points of a real algebraic curve (of a given degree and, sometimes, genus) in the projective plane. We improve the known upper and lower bounds and construct close to optimal…
The aim in packing problems is to decide if a given set of pieces can be placed inside a given container. A packing problem is defined by the types of pieces and containers to be handled, and the motions that are allowed to move the pieces.…
We prove that the maximal number of conics, a priori irreducible of reducible, on a smooth spatial quartic surface is 800, realized by a unique quartic. We also classify quartics with many (at least 720) conics. The maximal number of real…
The problem of deciding whether CSP instances admit solutions has been deeply studied in the literature, and several structural tractability results have been derived so far. However, constraint satisfaction comes in practice as a…
Motivated by recent advances in solution methods for mixed-integer convex optimization (MICP), we study the fundamental and open question of which sets can be represented exactly as feasible regions of MICP problems. We establish several…
We consider tropical hemispaces, defined as tropically convex sets whose complements are also tropically convex, and tropical semispaces, defined as maximal tropically convex sets not containing a given point. We introduce the concept of…
We prove that the maximal number of conics in a smooth sextic $K3$-surface $X\subset\mathbb{P}^4$ is 285, whereas the maximal number of real conics in a real sextic is 261. In both extremal configurations, all conics are irreducible.
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective spaces, and the conformal model of Euclidean space. Second…
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…
We analyze the geometrical structure of the passage times in the last passage percolation model. Viewing the passage time as a piecewise linear function of the weights we determine the domains of the various pieces, which are the subsets of…
We give an overview of recently implemented polymake features for computations in tropical geometry. The main focus is on explicit examples rather than technical explanations. Our computations employ tropical hypersurfaces, moduli of…
Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…
We discuss the problem of whether a given problem in enumerative geometry can have all of its solutions be real. In particular, we describe an approach to problems of this type, and show how this can be used to show some enumerative…
A key issue in tropical geometry is the lifting of intersection points to a non-Archimedean field. Here, we ask: Where can classical intersection points of planar curves tropicalize to? An answer should have two parts: first, identifying…