Related papers: An algorithm for the normal bundle of rational mon…
The forward-backward splitting technique is a popular method for solving monotone inclusions that has applications in optimization. In this paper we explore the behaviour of the algorithm when the inclusion problem has no solution. We…
We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space \Mbar_4 of stable complex curves of genus 4, with its Hodge structure.
We present an algorithm for constructing a map $\mathbb{P}^2\to\mathbb{P}^2$ with a given branching curve. The stepping stone is the ramification curve, which is obtained as the linear normalization of the branching curve.
In this note we provide an algorithm for computing the fractional integrals of orthogonal polynomials, which is more stable than that using the expression of the polynomials w.r.t. the canonical basis. This algorithm is aimed at solving…
We generalize Horrocks' criterion for the splitting of vector bundles on projective space. We establish an analogous splitting criterion for vector bundles on a class of smooth complex projective varieties of dimension at least four, over…
This paper derives numerical bounds for and implements the splitting circle method for finding roots of a univariate polynomial in the presence of fixed precision.
We describe an algorithm that determines a set of unramified covers of a given hyperelliptic curve, with the property that any rational point will lift to one of the covers. In particular, if the algorithm returns an empty set, then the…
A simple algorithm to compute all the zeros of a generic polynomial is proposed.
Given a fiber bundle, we construct a differential graded Lie algebra model for the classifying space of the monoid of homotopy equivalences of the base covered by a fiberwise isomorphism of the total space.
We look at sections of a function bundle over the space of linear differential operators. We find that one can construct an isomorphism between a certain quotient bundle and the fourier counterpart of the original bundle defined by formal…
The aim of structured optimization is to assemble a solution, using a given set of (possibly uncountably infinite) atoms, to fit a model to data. A two-stage algorithm based on gauge duality and bundle method is proposed. The first stage…
We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and…
Schemes for exact multiplication of small matrices have a large symmetry group. This group defines an equivalence relation on the set of multiplication schemes. There are algorithms to decide whether two schemes are equivalent. However, for…
Let $C$ be a general canonical curve of genus $g$ defined over an algebraically closed field of arbitrary characteristic. We prove that if $g \notin \{4,6\}$, then the normal bundle of $C$ is semistable. In particular, if $g \equiv 1$ or…
We give a formula relating the total Tjurina number and the generic splitting type of the bundle of logarithmic vector fields associated to a reduced plane curve. By using it, we give a characterization of nearly free curves in terms of…
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric…
Spectral Clustering is one of the most traditional methods to solve segmentation problems. Based on Normalized Cuts, it aims at partitioning an image using an objective function defined by a graph. Despite their mathematical attractiveness,…
We give a formula computing the number of one-nodal rational curves that pass through an appropriate collection of constraints in a complex projective space. We combine the methods and results from three different papers.
We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational…
We discuss some research problems on affine monomial curves, from the perspective of computation.