Related papers: On Landsberg's criterion for complete intersection…
The main subject of the book is an up-to-date and in-depth survey of the theory of normal frames and coordinates in differential geometry. The book can be used as a reference manual, review of the existing results and introduction to some…
A complete treatment of the intersections of two geodesics on the surface of an ellipsoid of revolution is given. With a suitable metric for the distances between intersections, bounds are placed on their spacing. This leads to fast and…
We develop a constructive process which determines all extreme points of the unit ball of the space of $m$--linear forms, $m\geq1.$ Our method provides a full characterization of the geometry of that space through finitely many elementary…
This paper presents a state-of-the-art filter that reduces the complexity in object detection, tracking and mapping applications. Existing edge detection and tracking methods are proposed to create suitable autonomy for mobile robots,…
The local Lipschitz property is shown for the graph avoiding multiple point intersection with lines directed in a given cone. The assumption is much stronger than those of Marstrand's well-known theorem, but the conclusion is much stronger…
A hypergraph is a generalization of a graph, in which a hyperedge can connect multiple vertices, modeling complex relationships involving multiple vertices simultaneously. Hypergraph pattern matching, which is to find all isomorphic…
The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual…
A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In…
This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images and the computation of their similarity. The first step in…
We propose a general framework for constructing universal steering criteria that are applicable to arbitrary bipartite states and measurement settings of the steering party. The same framework is also useful for studying the joint…
The classical version of B\'ezout's Theorem gives an integer-valued count of the intersection points of hypersurfaces in projective space over an algebraically closed field. Using work of Kass and Wickelgren, we prove a version of…
We define the covering gonality and separable covering gonality of varieties over arbitrary fields, generalizing the definition given by Bastianelli-de Poi-Ein-Lazarsfeld-Ullery for complex varieties. We show that over an arbitrary field a…
This paper continues studies of non-intersection properties of finite collections of sets initiated 40 years ago by the extremal principle. We study elementary non-intersection properties of collections of sets, making the core of the…
Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory.
On a non-compact, smooth, connected, boundaryless, complete Riemannian manifold $(M,g)$, one can define its ideal boundary by rays (or equivalently, Busemann functions). From the viewpoint of Mather theory, boundary elements could be…
Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…
We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…
In this article, we give an unconditional definition of the motivic analogue of the intersection complex, establish its basic properties, and prove its existence in certain cases.
In 1989 H. Tverberg proposed a quite general conjecture in Discrete geometry, which could be considered as the common basis for many results in Combinatorial geometry and at the same time as a discrete analogue of the common transversal…
In this paper we consider the existence of complete intersection points of type $(a,b,c)$, on the generic degree $d$ surface of $\PP^3$. For any choice of $a, b, c$ we resolve the existence question asymptotically, i.e. for all $d \gg 0$.…