88 research outputs found
On the degree of the polynomial defining a planar algebraic curves of constant width
In this paper, we consider a family of closed planar algebraic curves
which are given in parametrization form via a trigonometric
polynomial . When is the boundary of a compact convex set, the
polynomial represents the support function of this set. Our aim is to
examine properties of the degree of the defining polynomial of this family of
curves in terms of the degree of . Thanks to the theory of elimination, we
compute the total degree and the partial degrees of this polynomial, and we
solve in addition a question raised by Rabinowitz in \cite{Rabi} on the lowest
degree polynomial whose graph is a non-circular curve of constant width.
Computations of partial degrees of the defining polynomial of algebraic
surfaces of constant width are also provided in the same way.Comment: 13 page
Tropical secant graphs of monomial curves
The first secant variety of a projective monomial curve is a threefold with
an action by a one-dimensional torus. Its tropicalization is a
three-dimensional fan with a one-dimensional lineality space, so the tropical
threefold is represented by a balanced graph. Our main result is an explicit
construction of that graph. As a consequence, we obtain algorithms to
effectively compute the multidegree and Chow polytope of an arbitrary
projective monomial curve. This generalizes an earlier degree formula due to
Ranestad. The combinatorics underlying our construction is rather delicate, and
it is based on a refinement of the theory of geometric tropicalization due to
Hacking, Keel and Tevelev.Comment: 30 pages, 8 figures. Major revision of the exposition. In particular,
old Sections 4 and 5 are merged into a single section. Also, added Figure 3
and discussed Chow polytopes of rational normal curves in Section
Elimination and nonlinear equations of Rees algebra
A new approach is established to computing the image of a rational map,
whereby the use of approximation complexes is complemented with a detailed
analysis of the torsion of the symmetric algebra in certain degrees. In the
case the map is everywhere defined this analysis provides free resolutions of
graded parts of the Rees algebra of the base ideal in degrees where it does not
coincide with the corresponding symmetric algebra. A surprising fact is that
the torsion in those degrees only contributes to the first free module in the
resolution of the symmetric algebra modulo torsion. An additional point is that
this contribution -- which of course corresponds to non linear equations of the
Rees algebra -- can be described in these degrees in terms of non Koszul
syzygies via certain upgrading maps in the vein of the ones introduced earlier
by J. Herzog, the third named author and W. Vasconcelos. As a measure of the
reach of this torsion analysis we could say that, in the case of a general
everywhere defined map, half of the degrees where the torsion does not vanish
are understood
Causal inference via algebraic geometry: feasibility tests for functional causal structures with two binary observed variables
We provide a scheme for inferring causal relations from uncontrolled
statistical data based on tools from computational algebraic geometry, in
particular, the computation of Groebner bases. We focus on causal structures
containing just two observed variables, each of which is binary. We consider
the consequences of imposing different restrictions on the number and
cardinality of latent variables and of assuming different functional
dependences of the observed variables on the latent ones (in particular, the
noise need not be additive). We provide an inductive scheme for classifying
functional causal structures into distinct observational equivalence classes.
For each observational equivalence class, we provide a procedure for deriving
constraints on the joint distribution that are necessary and sufficient
conditions for it to arise from a model in that class. We also demonstrate how
this sort of approach provides a means of determining which causal parameters
are identifiable and how to solve for these. Prospects for expanding the scope
of our scheme, in particular to the problem of quantum causal inference, are
also discussed.Comment: Accepted for publication in Journal of Causal Inference. Revised and
updated in response to referee feedback. 16+5 pages, 26+2 figures. Comments
welcom
Implicitizing rational hypersurfaces using approximation complexes
We describe an algorithm for implicitizing rational hypersurfaces with at most a finite number of base points, based on a technique already described by Busé and Jouanolou, where implicit equations are obtained as determinants of certain graded parts of an approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of such a complex. In both particular cases of interest of curve and surface implicitization we also present algorithms which involve only linear algebra routines
The μ-basis of improper rational parametric surface and its application
The μ-basis is a newly developed algebraic tool in curve and surface representations and it is used to analyze some essential geometric properties of curves and surfaces. However, the theoretical frame of μ-bases is still developing, especially of surfaces. We study the μ-basis of a rational surface V defined parametrically by P(t¯),t¯=(t1,t2) not being necessarily proper (or invertible). For applications using the μ-basis, an inversion formula for a given proper parametrization P(t¯) is obtained. In addition, the degree of the rational map ϕP associated with any P(t¯) is computed. If P(t¯) is improper, we give some partial results in finding a proper reparametrization of V. Finally, the implicitization formula is derived from P (not being necessarily proper). The discussions only need to compute the greatest common divisors and univariate resultants of polynomials constructed from the μ-basis. Examples are given to illustrate the computational processes of the presented results.Ministerio de Ciencia, Innovación y Universidade
- …