11,349 research outputs found
An application of Groebner bases to planarity of intersection of surfaces
In this paper we use Groebner bases theory in order to determine planarity of
intersections of two algebraic surfaces in . We specially considered
plane sections of certain type of conoid which has a cubic egg curve as one of
the directrices. The paper investigates a possibility of conic plane sections
of this type of conoid
The implicit equation of a canal surface
A canal surface is an envelope of a one parameter family of spheres. In this
paper we present an efficient algorithm for computing the implicit equation of
a canal surface generated by a rational family of spheres. By using Laguerre
and Lie geometries, we relate the equation of the canal surface to the equation
of a dual variety of a certain curve in 5-dimensional projective space. We
define the \mu-basis for arbitrary dimension and give a simple algorithm for
its computation. This is then applied to the dual variety, which allows us to
deduce the implicit equations of the the dual variety, the canal surface and
any offset to the canal surface.Comment: 26 pages, to be published in Journal of Symbolic Computatio
A geometric view of cryptographic equation solving
This paper considers the geometric properties of the Relinearisation algorithm and of the XL algorithm used in cryptology for equation solving. We give a formal description of each algorithm in terms of projective geometry, making particular use of the Veronese variety. We establish the fundamental geometrical connection between the two algorithms and show how both algorithms can be viewed as being equivalent to the problem of finding a matrix of low rank in the linear span of a collection of matrices, a problem sometimes known as the MinRank problem. Furthermore, we generalise the XL algorithm to a geometrically invariant algorithm, which we term the GeometricXL algorithm. The GeometricXL algorithm is a technique which can solve certain equation systems that are not easily soluble by the XL algorithm or by Groebner basis methods
Feynman Integrals and Intersection Theory
We introduce the tools of intersection theory to the study of Feynman
integrals, which allows for a new way of projecting integrals onto a basis. In
order to illustrate this technique, we consider the Baikov representation of
maximal cuts in arbitrary space-time dimension. We introduce a minimal basis of
differential forms with logarithmic singularities on the boundaries of the
corresponding integration cycles. We give an algorithm for computing a basis
decomposition of an arbitrary maximal cut using so-called intersection numbers
and describe two alternative ways of computing them. Furthermore, we show how
to obtain Pfaffian systems of differential equations for the basis integrals
using the same technique. All the steps are illustrated on the example of a
two-loop non-planar triangle diagram with a massive loop.Comment: 13 pages, published versio
Desingularization in Computational Applications and Experiments
After briefly recalling some computational aspects of blowing up and of
representation of resolution data common to a wide range of desingularization
algorithms (in the general case as well as in special cases like surfaces or
binomial varieties), we shall proceed to computational applications of
resolution of singularities in singularity theory and algebraic geometry, also
touching on relations to algebraic statistics and machine learning. Namely, we
explain how to compute the intersection form and dual graph of resolution for
surfaces, how to determine discrepancies, the log-canoncial threshold and the
topological Zeta-function on the basis of desingularization data. We shall also
briefly see how resolution data comes into play for Bernstein-Sato polynomials,
and we mention some settings in which desingularization algorithms can be used
for computational experiments. The latter is simply an invitation to the
readers to think themselves about experiments using existing software, whenever
it seems suitable for their own work.Comment: notes of a summer school talk; 16 pages; 1 figur
- …