147,070 research outputs found
A Generalized Framework for Virtual Substitution
We generalize the framework of virtual substitution for real quantifier
elimination to arbitrary but bounded degrees. We make explicit the
representation of test points in elimination sets using roots of parametric
univariate polynomials described by Thom codes. Our approach follows an early
suggestion by Weispfenning, which has never been carried out explicitly.
Inspired by virtual substitution for linear formulas, we show how to
systematically construct elimination sets containing only test points
representing lower bounds
Combinatorial cohomology of the space of long knots
The motivation of this work is to define cohomology classes in the space of
knots that are both easy to find and to evaluate, by reducing the problem to
simple linear algebra. We achieve this goal by defining a combinatorial graded
cochain complex, such that the elements of an explicit submodule in the
cohomology define algebraic intersections with some "geometrically simple"
strata in the space of knots. Such strata are endowed with explicit
co-orientations, that are canonical in some sense. The combinatorial tools
involved are natural generalisations (degeneracies) of usual methods using
arrow diagrams.Comment: 20p. 9 fig
Elementary combinatorics of the HOMFLYPT polynomial
We explore Jaeger's state model for the HOMFLYPT polynomial. We reformulate
this model in the language of Gauss diagrams and use it to obtain Gauss diagram
formulas for a two-parameter family of Vassiliev invariants coming from the
HOMFLYPT polynomial. These formulas are new already for invariants of degree 3.Comment: 12 pages, many figures. v2: multiple changes; part on virtual links
remove
Roots of polynomials of degrees 3 and 4
We present the solutions of equations of degrees 3 and 4 using Galois theory
and some simple Fourier analysis for finite groups, together with historical
comments on these and other solution methods.Comment: 29 page
- …