Related papers: Constructive proof of extended Kapranov theorem

The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…

We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…

A structure theorem is proved for strongly holonomic modules over a quantum torus (a crossed product of a field with a free abelian group in which the field is central). This can be applied to give a structure theorem for finitely presented…

We give two generalizations of Kac's Theorem on representations of quivers. One is to representations of equipped graphs by relations, in the sense of Gelfand and Ponomarev. The other is to representations of quivers in which certain of the…

We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.

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,…

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

These lecture notes are based on lectures given by the author at the summer school "Arrangements in Pyr\'en\'ees" in June 2012. We survey and compare various compactifications of complex hyperplane arrangement complements. In particular, we…

We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge between these distinct fields. This result suggests new…

We give a new proof of Vassiliev's planarity criterion for framed four-valent graphs (and more generally, *-graphs), which is based on Pontryagin-Kuratowski theorem.

We apply tropical geometry to study the image of a map defined by Laurent polynomials with generic coefficients. If this image is a hypersurface then our approach gives a construction of its Newton polytope.

We consider threshold phenomenons in the context of weighted $\ell^2$-spaces. Our main result is a summable Baire category version of K\"orner's topological Ivashev-Musatov Theorem, which is proved to be optimal from several aspects.

We describe the tropical mirror for complex toric surfaces. In particular we provide an explicit expression for the mirror states and show that they can be written in enumerative form. Their holomorphic germs give an explicit form of good…

The aim of this paper is to present an extension theorem for the functions separately holomorphic on generalized (N,k)-crosses with pluripolar singularities.

This is an extensive (published) survey on CR geometry, whose major themes are: formal analytic reflection principle; generic properties of Systems of (CR) vector fields; pairs of foliations and conjugate reflection identities; Sussmann's…

We prove that a generic smooth complex hypersurface in the complex torus is homeomorphic to the corresponding phase tropical hypersurface.

We give a variational proof of the existence and uniqueness of a convex cap with the given upper boundary. The proof uses the concavity of the total scalar curvature functional on the space of generalized convex caps. As a byproduct, we…

Kolmogorov's invariant torus theorem is proved using a simple fixed point theorem.

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…

This is an expository paper giving a proof of the existence and uniqueness of smooth structures (hence also PL structures) on topological surfaces. Most published proofs rely on the topological Schoenflies theorem, but here we use instead…