Cited By
View all- Poteaux AWeimann M(2020)Computing the equisingularity type of a pseudo-irreducible polynomialApplicable Algebra in Engineering, Communication and Computing10.1007/s00200-020-00451-xOnline publication date: 24-Aug-2020
A regularization method for computing approximate invariants of plane curves singularities
Pages 44 - 53
Abstract
We approach the algebraic problem of computing topological invariants for the singularities of a plane complex algebraic curve defined by a squarefree polynomial with inexactly-known coefficients. Consequently, we deal with an ill-posed problem in the sense that, tiny changes in the input data lead to dramatic modifications in the output solution.
We present a regularization method for handling the illposedness of the problem. For this purpose, we first design symbolic-numeric algorithms to extract structural information on the plane complex algebraic curve: (i) we compute the link of each singularity by numerical equation solving; (ii) we compute the Alexander polynomial of each link by using algorithms from computational geometry and combinatorial objects from knot theory; (iii) we derive a formula for the delta-invariant and the genus. We then prove the convergence for inexact data of the symbolic-numeric algorithms by using concepts from algebraic geometry and topology.
Moreover we perform several numerical experiments, which support the validity for the convergence statement.
References
[1]
J. W. Alexander. Topological invariant of knots and links. Transactions of the American Mathematical Society, 30:275--306, 1928.
[2]
D. J. Bates, C. Peterson, A. J. Sommese, and C. W. Wampler. Numerical computation of the genus of an irreducible curve within an algebraic set. To appear in J. of Pure and Applied Algebra.
[3]
J. Bochnak, M. Coste, and M.-F. Roy. Real Algebraic Geometry. Ergebnisse der Math. Springer Verlag, Germany, 1998.
[4]
K. Brauner. Zur geometrie der funktionen zweier veränderlichen:ii--iv. Abh. Math. Sem. Hamburg, 6:1--54, 1928.
[5]
D. Cimasoni. Studying the multivariable Alexander polynomial by means of Seifert surfaces. Bol. Soc. Mat. Mexicana (3), 10:107--115, 2004.
[6]
M. de Berg, M. Krefeld, M. Overmars, and O. Schwarzkopf. Computational geometry: algorithms and applications. Second edition. Springer, Berlin, 2008.
[7]
H. W. Engl, M. Hanke, and A. Neubauer. Regularization of inverse problems. Kluwer Academic Publishers Group, Dordrecht, Netherlands, 1996.
[8]
M. Hodorog, B. Mourrain, and J. Schicho. GENOM3CK - A library for genus computation of plane complex algebraic curves using knot theory, December 2010. ACM SIGSAM Communications in Computer Algebra, vol. 44, issue 174, pp. 198--200, ISSN:1932-2240.
[9]
M. Hodorog, B. Mourrain, and J. Schicho. A symbolic-numeric algorithm for computing the Alexander polynomial of a plane curve singularity. In T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, and D. Zaharie, editors, Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pages 21--28, 2010.
[10]
M. Hodorog and J. Schicho. A symbolic-numeric algorithm for genus computation. In U. Langer and P. Paule, editors, Numerical and Symbolic Scientific Computing: Progress and Prospects. Springer Wien, Austria, 2011. To appear.
[11]
V. D. J. Hoeven, G. Lecerf, and B. Mourrain. Mathemagix computer algebra system. http://www.mathemagix.org/www/main/index.en.html.
[12]
C. Liang, B. Mourrain, and J. Pavone. Subdivision methods for 2d and 3d implicit curves. In B. Jüttler and R. Piene, editors, Geometric Modeling and Algebraic Geometry, pages 199--214. Springer, 2008.
[13]
C. Livingston. Knot theory. Mathematical Association of America, U. S. A, 1993.
[14]
D. Marker. Model Theory: An Introduction. Graduate Texts in Mathematics. Springer New York, United States of America, 2002.
[15]
J. Milnor. Singular points of complex hypersurfaces. Princeton University Press and the University of Tokyo Press, New Jersey, 1968.
[16]
B. Mourrain and J. Pavone. Subdivision methods for solving polynomial equations. Symbolic Computation, 44:292--306, 2009.
[17]
S. Pérez-Díaz, J. R. Sendra, S. L. Rueda, and J. Sendra. Approximate parametrization of plane algebraic curves by linear systems of curves. Computer Aided Geometric Design, 27(2):212--231, February 2010.
[18]
A. N. Tikhonov and V. A. Arsenin. Solution of Ill-posed Problems. V. H. Winston & Sons, Washington, D. C., 1977.
[19]
R. J. Walker. Algebraic Curves. Springer-Verlag, New York, United States of America, 1978.
[20]
F. Winkler. Polynomial algorithms in computer algebra. Springer-Verlag, Wien, New York, 1996.
[21]
J. Wintz, S. Chau, L. Alberti, and B. Mourrain. Axel algebraic geometric modeler. http://axel.inria.fr/.
[22]
M. Yamamoto. Classification of isolated algebraic singularities by their Alexander polynomials. Topology, 23:277--287, 1984.
Recommendations
Schönhage-Strassen algorithm with MapReduce for multiplying terabit integers
SNC '11: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
We present MapReduce-SSA, an integer multiplication algorithm using the ideas from Schönhage-Strassen algorithm (SSA) on MapReduce. SSA is one of the most commonly used large integer multiplication algorithms. MapReduce is a programming model invented ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 07 June 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
ISSAC '11
Sponsor:
ISSAC '11: International Symposium on Symbolic and Algebraic Computation
June 7, 2011 - June 9, 2012
California, San Jose
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 49Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
Cited By
View all- Poteaux AWeimann M(2020)Computing the equisingularity type of a pseudo-irreducible polynomialApplicable Algebra in Engineering, Communication and Computing10.1007/s00200-020-00451-xOnline publication date: 24-Aug-2020
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in