Polyarc bounded complex interval arithmetic
Authors:
Gábor Geréb,
András Sándor
Abstract:
Complex interval arithmetic is a powerful tool for the analysis of computational errors. The naturally arising rectangular, polar, and circular (together called primitive) interval types are not closed under simple arithmetic operations, and their use yields overly relaxed bounds. The later introduced polygonal type, on the other hand, allows for arbitrarily precise representation of the above ope…
▽ More
Complex interval arithmetic is a powerful tool for the analysis of computational errors. The naturally arising rectangular, polar, and circular (together called primitive) interval types are not closed under simple arithmetic operations, and their use yields overly relaxed bounds. The later introduced polygonal type, on the other hand, allows for arbitrarily precise representation of the above operations for a higher computational cost. We propose the polyarcular interval type as an effective extension of the previous types. The polyarcular interval can represent all primitive intervals and most of their arithmetic combinations precisely and has an approximation capability competing with that of the polygonal interval. In particular, in antenna tolerance analysis it can achieve perfect accuracy for lower computational cost then the polygonal type, which we show in a relevant case study. In this paper, we present a rigorous analysis of the arithmetic properties of all five interval types, involving a new algebro-geometric method of boundary analysis.
△ Less
Submitted 17 February, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
Cross-caps, triple points and a linking invariant for finitely determined germs
Authors:
Gergő Pintér,
András Sándor
Abstract:
It was recently proved that for finitely determined germs $ Φ: ( \mathbb{C}^2, 0) \to ( \mathbb{C}^3, 0) $ the number $C(Φ)$ of Whitney umbrella points and the number $T(Φ)$ of triple values of a stable deformation are topological invariants. The proof uses the fact that the combination $C(Φ)-3T(Φ)$ is topological since it equals the linking invariant of the associated immersion…
▽ More
It was recently proved that for finitely determined germs $ Φ: ( \mathbb{C}^2, 0) \to ( \mathbb{C}^3, 0) $ the number $C(Φ)$ of Whitney umbrella points and the number $T(Φ)$ of triple values of a stable deformation are topological invariants. The proof uses the fact that the combination $C(Φ)-3T(Φ)$ is topological since it equals the linking invariant of the associated immersion $S^3 \looparrowright S^5$ introduced by Ekholm and Szűcs. We provide a new, direct proof for this equality. We also clarify the relation between various definitions of the latter invariant.
△ Less
Submitted 27 January, 2023; v1 submitted 11 February, 2022;
originally announced February 2022.