arXiv subjects

Roberto Notari

Publications and source records attributed to Roberto Notari.

At least 19 recordsLinked to original sources

arXiv2024

Birational geometry of critical loci in Algebraic Vision

In Algebraic Vision, the projective reconstruction of the position of each camera and scene point from the knowledge of many enough corresponding points in the views is called the structure from motion problem. It is known that the reconstruction is ambiguous if the scene points are contained in particular algebraic varieties, called critical loci. To be more precise, from the definition of criticality, for the same reconstruction problem, two critical loci arise in a natural way. In the present paper, we investigate the relations between these two critical loci, and we prove that, under some mild smoothness hypotheses, (some of) their irreducible components are birational. To this end, we introduce a unified critical locus that restores the symmetry between the two critical loci, and a natural commutative diagram relating the unified critical locus and the two single critical loci. For technical reasons, but of interest in its own, we also consider how a critical locus change when one increases the number of views.

math.AG↗

arXiv2021

Smooth determinantal varieties and critical loci in Multiview Geometry

Linear projections from P^k to P^h appear in computer vision as models of images of dynamic or segmented scenes. Given multiple projections of the same scene, the identification of many enough correspondences between the images allows, in principle, to reconstruct the position of the projected objects. A critical locus for the reconstruction problem is a variety in P^k containing the set of points for which the reconstruction fails. Critical loci turn out to be determinantal varieties. In this paper we determine and classify all the smooth critical loci, showing that they are classical projective varieties.

math.AG↗

arXiv2019

Matrices dropping rank in codimension one and critical loci in computer vision

Critical loci for projective reconstruction from three views in four dimensional projective space are defined by an ideal generated by maximal minors of suitable $4 \times 3$ matrices, $N,$ of linear forms. Such loci are classified in this paper, in the case in which $N$ drops rank in codimension one, giving rise to reducible varieties. This leads to a complete classification of matrices of size $(n+1) \times n$ for $n \le 3,$ which drop rank in codimension one. Instability of reconstruction near non-linear components of critical loci is explored experimentally.

math.AG↗

arXiv2016

On the Statistical Model of Source Localization based on Range Difference Measurements

In this work we study the statistical model of source localization based on Range Difference measurements. We investigate the case of planar localization of a source using a minimal configuration of three non aligned receivers. Our analysis is based on a previous work of the same authors concerning the localization in a noiseless scenario. As the set of feasible measurements is a semialgebraic variety, this investigation makes use of techniques from Algebraic Statistics and Information Geometry.

cs.IT↗

arXiv2016

The algebro-geometric study of range maps

Localizing a radiant source is a widespread problem to many scientific and technological research areas. E.g. localization based on range measurements stays at the core of technologies like radar, sonar and wireless sensors networks. In this manuscript we study in depth the model for source localization based on range measurements obtained from the source signal, from the point of view of algebraic geometry. In the case of three receivers, we find unexpected connections between this problem and the geometry of Kummer's and Cayley's surfaces. Our work gives new insights also on the localization based on range differences.

math.AG↗

arXiv2016

Examples of rank two aCM bundles on smooth quartic surfaces in $\mathbb{P}^3$

Let $F\subseteq\mathbb{P}^3$ be a smooth quartic surface and let $\mathcal{O}_F(h):=\mathcal{O}_{\mathbb{P}^3}(1)\otimes\mathcal{O}_F$. In the present paper we classify locally free sheaves $\mathcal{E}$ of rank $2$ on $F$ such that $c_1(\mathcal{E})=\mathcal{O}_F(2h)$, $c_2(\mathcal{E})=8$ and $h^1\big(F,\mathcal{E}(th)\big)=0$ for $t\in\mathbb{Z}$. We also deal with their stability.

math.AG↗

arXiv2014

Irreducibility of the Gorenstein loci of Hilbert schemes via ray families

We analyse the Gorenstein locus of the Hilbert scheme of $d$ points on $\mathbb{P}^n$ i.e. the open subscheme parameterising zero-dimensional Gorenstein subschemes of $\mathbb{P}^n$ of degree $d$. We give new sufficient criteria for smoothability and smoothness of points of the Gorenstein locus. In particular we prove that this locus is irreducible when $d\leq 13$ and find its components when $d = 14$. The proof is relatively self-contained and it does not rely on a computer algebra system. As a by--product, we give equations of the fourth secant variety to the $d$-th Veronese reembedding of $\mathbb{P}^n$ for $d\geq 4$.

math.AG↗

arXiv2014

A comprehensive analysis of the geometry of TDOA maps in localisation problems

In this manuscript we consider the well-established problem of TDOA-based source localization and propose a comprehensive analysis of its solutions for arbitrary sensor measurements and placements. More specifically, we define the TDOA map from the physical space of source locations to the space of range measurements (TDOAs), in the specific case of three receivers in 2D space. We then study the identifiability of the model, giving a complete analytical characterization of the image of this map and its invertibility. This analysis has been conducted in a completely mathematical fashion, using many different tools which make it valid for every sensor configuration. These results are the first step towards the solution of more general problems involving, for example, a larger number of sensors, uncertainty in their placement, or lack of synchronization.

math-ph↗

arXiv2014

TDOA--based localization in two dimensions: the bifurcation curve

In this paper, we complete the study of the geometry of the TDOA map that encodes the noiseless model for the localization of a source from the range differences between three receivers in a plane, by computing the Cartesian equation of the bifurcation curve in terms of the positions of the receivers. From that equation, we can compute its real asymptotic lines. The present manuscript completes the analysis of [Inverse Problems, Vol. 30, Number 3, Pages 035004]. Our result is useful to check if a source belongs or is closed to the bifurcation curve, where the localization in a noisy scenario is ambiguous.

cs.SD↗

arXiv2013

A structure theorem for 2-stretched Gorenstein algebras

In this paper we study the isomorphism classes of local, Artinian, Gorenstein k-algebras A whose maximal ideal M satisfies dim_k(M^3/M^4)=1 by means of Macaulay's inverse system generalizing a recent result by J. Elias and M.E. Rossi. Then we use such results in order to complete the description of the singular locus of the Gorenstein locus of the punctual Hilbert scheme of degree 11.

math.AC↗

arXiv2013

On the rationality of Poincar\'e series of Gorenstein algebras via Macaulay's correspondence

Let $A$ be a local Artinian Gorenstein ring with algebraically closed residue field $A/{\frak M}=k$ of characteristic 0, and let $P_A(z) := \sum_{p=0}^{\infty} ({\mathrm{ Tor}}_p^A(k,k))z^p $ be its Poincar\'e series. We prove that $P_A(z)$ is rational if either $\dim_k({{\frak M}^2/{\frak M}^3}) \leq 4 $ and $ \dim_k(A) \leq 16,$ or there exist $m\leq 4$ and $c$ such that the Hilbert function $H_A(n)$ of $A$ is equal to $ m$ for $n\in [2,c]$ and equal to 1 for $n > c$. The results are obtained thanks to a decomposition of the apolar ideal $\mathrm {Ann}(F)$ when $F=G+H$ and $G$ and $H$ belong to polynomial rings in different variables.

math.AC↗

arXiv2010

Poincaré series and deformations of Gorenstein local algebras with low socle degree

Let $K$ be an algebraically closed field of characteristic $0$, and let $A$ be an Artinian Gorenstein local commutative and Noetherian $K$--algebra, with maximal ideal $M$. In the present paper we prove a structure theorem describing such kind of $K$--algebras satisfying $M^4=0$. We use this result in order to prove that such a $K$--algebra $A$ has rational Poincaré series and it is always smoothable in any embedding dimension, if $\dim_K M^2/M^3 \le 4$. We also prove that the generic Artinian Gorenstein local $K$--algebra with socle degree three has rational Poincaré series, in spite of the fact that such algebras are not necessarily smoothable.

math.AC↗

arXiv2010

Irreducibility of the Gorenstein locus of the punctual Hilbert scheme of degree 10

Let $k$ be an algebraically closed field of characteristic 0 and let $H_G(d,N)$ be the open locus of the Hilbert scheme $H(d,N)$ corresponding to Gorenstein subschemes of degree $d$ in the projective N-space. We proved in a previous paper that $H_G(d,N)$ is irreducible for $d\le9$ and $N\ge1$. In the present paper we prove that also $H_G(10,N)$ is irreducible for each $N\ge1$, giving also a complete description of its singular locus.

math.AG↗

arXiv2010

Canonical curves with low apolarity

Let $k$ be an algebraically closed field and let $C$ be a non--hyperelliptic smooth projective curve of genus $g$ defined over $k$. Since the canonical model of $C$ is arithmetically Gorenstein, Macaulay's theory of inverse systems allows to associate to $C$ a cubic form $f$ in the divided power $k$--algebra $R$ in $g-2$ variables. The apolarity of $C$ is the minimal number $t$ of linear form in $R$ needed to write $f$ as sum of their divided power cubes. It is easy to see that the apolarity of $C$ is at least $g-2$ and P. De Poi and F. Zucconi classified curves with apolarity $g-2$ when $k$ is the complex field. In this paper, we give a complete, characteristic free, classification of curves $C$ with apolarity $g-1$ (and $g-2$).

math.AG↗

arXiv2008

Doubling rational normal curves

In this paper, we study double structures supported on rational normal curves. After recalling the general construction of double structures supported on a smooth curve described in \cite{fer}, we specialize it to double structures on rational normal curves. To every double structure we associate a triple of integers $ (2r,g,n) $ where $ r $ is the degree of the support, $ n \geq r $ is the dimension of the projective space containing the double curve, and $ g $ is the arithmetic genus of the double curve. We compute also some numerical invariants of the constructed curves, and we show that the family of double structures with a given triple $ (2r,g,n) $ is irreducible. Furthermore, we prove that the general double curve in the families associated to $ (2r,r+1,r) $ and $ (2r,1,2r-1) $ is arithmetically Gorenstein. Finally, we prove that the closure of the locus containing double conics of genus $ g \leq -2 $ form an irreducible component of the corresponding Hilbert scheme, and that the general double conic is a smooth point of that component. Moreover, we prove that the general double conic in $ \mathbb{P}^3 $ of arbitrary genus is a smooth point of the corresponding Hilbert scheme.

math.AG↗

arXiv2008

The Poincaré series of a local Gorenstein ring of multiplicity up to 10 is rational

Let $R$ be a local, Gorenstein ring with algebraically closed residue field $k$ of characteristic 0 and let $P_R(z):=\sum_{p=0}^{\infty}\dim_k(\tor_p^R(k,k))z^p$ be its Poincaré series. We compute $P_R$ when $R$ belongs to a particular class defined in the introduction, proving its rationality. As a by--product we prove the rationality of $P_R$ for all local, Gorenstein rings of multiplicity at most 10.

math.AC↗

arXiv2008

On the Gorenstein locus of some punctual Hilbert schemes

Let $k$ be an algebraically closed field and let $\Hilb_{d}^{G}(\p{N})$ be the open locus of the Hilbert scheme $\Hilb_{d}(\p{N})$ corresponding to Gorenstein subschemes. We prove that $\Hilb_{d}^{G}(\p{N})$ is irreducible for $d\le9$, we characterize geometrically its singularities for $d\le 8$ and we give some results about them when $d=9$ which give some evidence to a conjecture on the nature of the singular points in $\Hilb_{d}^{G}(\p{N})$.

math.AG↗

arXiv2007

Two polynomial representations of experimental design

In the context of algebraic statistics an experimental design is described by a set of polynomials called the design ideal. This, in turn, is generated by finite sets of polynomials. Two types of generating sets are mostly used in the literature: Groebner bases and indicator functions. We briefly describe them both, how they are used in the analysis and planning of a design and how to switch between them. Examples include fractions of full factorial designs and designs for mixture experiments.

stat.ME↗