Real Plane

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 324 Experts worldwide ranked by ideXlab platform

Eugenii Shustin - One of the best experts on this subject based on the ideXlab platform.

  • Singular Welschinger invariants
    arXiv: Algebraic Geometry, 2019
    Co-Authors: Eugenii Shustin
    Abstract:

    We suggest an invariant way to enumerate nodal and nodal-cuspidal Real deformations of Real Plane curve singularities. The key idea is to assign Welschinger signs to the counted deformations. Our invariants can be viewed as a local version of Welschinger invariants enumerating Real Plane rational curves.

  • morsifications of Real Plane curve singularities
    arXiv: Algebraic Geometry, 2017
    Co-Authors: Peter Leviant, Eugenii Shustin
    Abstract:

    A Real morsification of a Real Plane curve singularity is a Real deformation given by a family of Real analytic functions having only Real Morse critical points with all saddles on the zero level. We prove the existence of Real morsifications for Real Plane curve singularities having arbitrary Real local branches and pairs of complex conjugate branches satisfying some conditions. This was known before only in the case of all local branches being Real (A'Campo, Gusein-Zade). We also discuss a relation between Real morsifications and the topology of singularities, extending to arbitrary Real morsifications the Balke-Kaenders theorem, which states that the A'Campo--Gusein-Zade diagram associated to a morsification uniquely determines the topological type of a singularity.

  • Welschinger invariant and enumeration of Real Plane rational curves
    arXiv: Algebraic Geometry, 2003
    Co-Authors: Ilia Itenberg, Viatcheslav Kharlamov, Eugenii Shustin
    Abstract:

    Welschinger's invariant bounds from below the number of Real rational curves through a given generic collection of Real points in the Real projective Plane. We estimate this invariant using Mikhalkin's approach which deals with a corresponding count of tropical curves. In particular, our estimate implies that, for any positive integer $d$, there exists a Real rational curve of degree $d$ through any collection of $3d-1$ Real points in the projective Plane, and, moreover, asymptotically in the logarithmic scale at least one third of the complex Plane rational curves through a generic point collection are Real. We also obtain similar results for curves on other toric Del Pezzo surfaces.

  • Maximal smoothings of Real Plane curve singular points.
    1998
    Co-Authors: Viatcheslav Kharlamov, Jean-jacques Risler, Eugenii Shustin
    Abstract:

    The local Harnack inequality bounds from above the number of ovals which can appear in a small perturbation of a singular point. As is known, there are singular points for which this bound is not sharp. We show that Harnack inequality is sharp in any complex topologically equisingular class: every Real Plane curve singular point is complex deformation equivalent to a Real singularity for which Harnack inequality is sharp. For semi-quasi-homogeneous and some other singularities we exhibit a Real deformation with the same property. A refined Harnack inequality and its sharpness are discussed also.

  • Real Plane algebraic curves with prescribed singularities
    Topology, 1993
    Co-Authors: Eugenii Shustin
    Abstract:

    IN THIS article we deal with the classical problem about a number of prescribed singularities on a Plane algebraic curve of a given degree. We present constructions of Real Plane algebraic curves of a given degree with arbitrary singularities. In particular, we get irreducible curves of degree d with any number of Real cusps between 0 and d2/4 + O(d). It is well-known [9] that for any positive integers d, m satisfying

Johannes Huisman - One of the best experts on this subject based on the ideXlab platform.

Jacek Marchwicki - One of the best experts on this subject based on the ideXlab platform.

Adam Trybus - One of the best experts on this subject based on the ideXlab platform.

  • Rational Region-Based Affine Logic of the Real Plane
    ACM Transactions on Computational Logic, 2016
    Co-Authors: Adam Trybus
    Abstract:

    The region-based spatial logics, where variables are set to range over certain subsets of geometric space, are the focal point of the qualitative spatial reasoning, a subfield of the KRR 〈ROQ(R2), convM, ≤M〉, where ROQ(R2) is the set of regular open rational polygons of the Real Plane; convM is the convexity property and ≤M is the inclusion relation. The axiomatisation uses two infinitary rules of inference and a number of axiom schemas.

  • an axiom system for a spatial logic with convexity
    European Conference on Artificial Intelligence, 2010
    Co-Authors: Adam Trybus
    Abstract:

    This paper presents a part of work in progress on axiomatizing a spatial logic with convexity and inclusion predicates (hereinafter called convexity logic), with some intended interpretation over the Real Plane. More formally, let Lconv,≤ be a language of first order logic and two non-logical primitives: conv (interpreted as a property of a set of being convex) and ≤ (interpreted as the set inclusion relation). We let variables range over regular open rational polygons in the Real Plane (denoted ROQ(R2)). We call the tuple M = ---where primitives are defined as indicated above ---a standard model. We propose an axiomatization of the theory of M and prove soundness and completeness for this axiomatization.

  • ECAI - An Axiom System for a Spatial Logic with Convexity
    2010
    Co-Authors: Adam Trybus
    Abstract:

    This paper presents a part of work in progress on axiomatizing a spatial logic with convexity and inclusion predicates (hereinafter called convexity logic), with some intended interpretation over the Real Plane. More formally, let Lconv,≤ be a language of first order logic and two non-logical primitives: conv (interpreted as a property of a set of being convex) and ≤ (interpreted as the set inclusion relation). We let variables range over regular open rational polygons in the Real Plane (denoted ROQ(R2)). We call the tuple M = ---where primitives are defined as indicated above ---a standard model. We propose an axiomatization of the theory of M and prove soundness and completeness for this axiomatization.

Egor Yasinsky - One of the best experts on this subject based on the ideXlab platform.