Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology
Let P ∈ Z [ X , Y ] be a given square-free polynomial of total degree d with integer coefficients of bitsize less than τ , and let V R ( P ) : = { ( x , y ) ∈ R 2 ∣ P ( x , y ) = 0 } be the real planar algebraic curve implicitly defined as the vanishing set of P . We give a deterministic algorithm...
Uloženo v:
| Vydáno v: | Discrete & computational geometry Ročník 67; číslo 3; s. 631 - 697 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York
Springer US
01.04.2022
Springer Nature B.V Springer Verlag |
| Témata: | |
| ISSN: | 0179-5376, 1432-0444 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | Let
P
∈
Z
[
X
,
Y
]
be a given square-free polynomial of total degree
d
with integer coefficients of bitsize less than
τ
, and let
V
R
(
P
)
:
=
{
(
x
,
y
)
∈
R
2
∣
P
(
x
,
y
)
=
0
}
be the real planar algebraic curve implicitly defined as the vanishing set of
P
. We give a deterministic algorithm to compute the topology of
V
R
(
P
)
in terms of a simple straight-line planar graph
G
that is isotopic to
V
R
(
P
)
. The upper bound on the bit complexity of our algorithm is in
O
~
(
d
5
τ
+
d
6
)
(The expression “the complexity is in
O
~
(
f
(
d
,
τ
)
)
” with
f
a polynomial in
d
,
τ
is an abbreviation for the expression “there exists a positive integer
c
such that the complexity is in
O
(
(
log
d
log
τ
)
c
f
(
d
,
τ
)
)
”); which matches the current record bound for the problem of computing the topology of a planar algebraic curve. However, compared to existing algorithms with comparable complexity, our method does not consider any change of coordinates, and more importantly the returned simple planar graph
G
yields the cylindrical algebraic decomposition information of the curve in the original coordinates. Our result is based on two main ingredients: First, we derive amortized quantitative bounds on the roots of polynomials with algebraic coefficients as well as adaptive methods for computing the roots of bivariate polynomial systems that actually exploit this amortization. The results we obtain are more general that the previous literature. Our second ingredient is a novel approach for the computation of the local topology of the curve in a neighborhood of all singular points. |
|---|---|
| Bibliografie: | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ISSN: | 0179-5376 1432-0444 |
| DOI: | 10.1007/s00454-021-00353-w |