nach oben

Programming and Computer Software

Erschienen in:

01.01.2021

Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces

verfasst von: A. V. Seliverstov

Erschienen in: Programming and Computer Software | Ausgabe 1/2021

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

In this paper, we propose some heuristic probabilistic polynomial time algorithms with one-sided error for recognition of cubic hypersurfaces the singular loci of which do not contain any linear subspace of sufficiently large dimension. These algorithms are easy to implement in computer algebra systems. The algorithms are based on checking the condition that the Hessian determinant of a cubic form does not vanish identically or does not determine any cone in the projective space. In turn, the properties of the Hessian can be verified with one-sided-error probabilistic algorithms based on the Schwartz–Zippel lemma.

Vorheriger Artikel Searching for Equilibrium States of Atwood’s Machine with Two Oscillating Bodies by Means of Computer Algebra

Nächster Artikel Subwords-Only Alternatives to fastText for Morphologically Rich Languages

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Alaev, P.E. and Selivanov, V.L., Fields of algebraic numbers computable in polynomial time. I, Algebra Logic, 2020, vol. 58, pp. 447–469. https://doi.org/10.1007/s10469-020-09565-0CrossRefMATH

Malaschonok, G.I., MathPartner computer algebra, Program. Comput. Software, 2017, vol. 43, no. 2, pp. 112–118. https://doi.org/10.1134/S0361768817020086MathSciNetCrossRef

Neumann, E. and Pauly, A., A topological view on algebraic computation models, J. Complexity, 2018, vol. 44, pp. 1–22. https://doi.org/10.1016/j.jco.2017.08.003MathSciNetCrossRefMATH

Abramov, S.A., Lektsii o slozhnosti algoritmov (Lectures on Complexity of Algorithms), Moscow: Mosk. Tsentr Nepreryvnogo Mat. Obraz., 2012.

Rybalov, A.N., Generic amplification of recursively enumerable sets, Algebra Logic, 2018, vol. 57, no. 4, pp. 289–294. https://doi.org/10.1007/s10469-018-9500-yMathSciNetCrossRefMATH

Rybalov, A.N., On generic NP-completeness of the problem of Boolean circuits satisfiability, Prikl. Diskretnaya Mat., 2020, no. 47, pp. 101–107. https://doi.org/10.17223/20710410/47/8

Seliverstov, A.V., On binary solutions of systems to equations, Prikl. Diskretnaya Mat., 2019, no. 45, pp. 26–32. https://doi.org/10.17223/20710410/45/3

Eder, C. and Faugére, J.-C., A survey on signature-based algorithms for computing Gröbner bases, J. Symbolic Comput., 2017, vol. 80, no. 3, pp. 719–784. https://doi.org/10.1016/j.jsc.2016.07.031MathSciNetCrossRefMATH

Yanovich, D.A., Computation of involutive and Gröbner bases using the tableau representation of polynomials, Program. Comput. Software, 2020, vol. 46, no. 2, pp. 162–166. https://doi.org/10.1134/S0361768820020115CrossRef

10.

Brzostowski, S., Krasiński, T., and Walewska, J., Arnold’s problem on monotonicity of the Newton number for surface singularities, J. Math. Soc. Jpn., 2019, vol. 71, no. 4, pp. 1257–1268. https://doi.org/10.2969/jmsj/78557855MathSciNetCrossRefMATH

11.

Bryuno, A.D., The asymptotic behavior of solutions of nonlinear systems of differential equations, Sov. Math. Dokl., 1962, vol. 3, pp. 464–467.MATH

12.

Bryuno, A.D., Algorithms for solving an algebraic equation, Program. Comput. Software, 2018, vol. 44, no. 6, pp. 533–545. https://doi.org/10.1134/S0361768819100013MathSciNetCrossRef

13.

Bryuno, A.D., On the parametrization of an algebraic curve, Math. Notes, 2019, vol. 106, no. 6, pp. 885–893. https://doi.org/10.1134/S0001434619110233MathSciNetCrossRefMATH

14.

Antipova, I.A., Mikhalkin, E.N., and Tsikh, A.K., Singular points of complex algebraic hypersurfaces, J. Sib. Fed. Univ. Math. Phys., 2018, vol. 11, no. 6, pp. 670–679. https://doi.org/10.17516/1997-1397-2018-11-6-670-679MathSciNetCrossRef

15.

Gel’fand, I.M., Zelevinskii, A.V., and Kapranov, M.M., Discriminants of polynomials in many variables, Funct. Anal. Appl., 1990, vol. 24, no. 1, pp. 1–4. https://doi.org/10.1007/BF01077912MathSciNetCrossRef

16.

Seliverstov, A.V., On tangent lines to affine hypersurfaces, Vestn. Udmurt. Univ. Mat. Mekh. Komp’yut. Nauki, 2017, vol. 27, no. 2, pp. 248–256. https://doi.org/10.20537/vm170208MathSciNetCrossRefMATH

17.

Rubanov, L.I. and Seliverstov, A.V., Projective-invariant description of a meandering river, J. Commun. Technol. Electron., 2017, vol. 62, no. 6, pp. 663–668. https://doi.org/10.1134/S1064226917060201CrossRef

18.

van Hoeij, M., An algorithm for computing the Weierstrass normal form, Proc. Int. Symp. Symbolic and Algebraic Computation (ISSAC), Levelt, A.H.M., Ed., New York: ACM Press, 1995, pp. 90–95.

19.

Slyadnev, S.E. and Turlapov, V.E., Simplification of CAD models by automatic recognition and suppression of blend chains, Program. Comput. Software, 2020, vol. 46, no. 3, pp. 233–243. https://doi.org/10.1134/S0361768820030081MathSciNetCrossRef

20.

Segre, B., A note on arithmetical properties of cubic surfaces, J. London Math. Soc., 1943, vol. 18, pp. 24–31.MathSciNetCrossRef

21.

Kollár, J., Unirationality of cubic hypersurfaces, J. Inst. Math. Jussieu, 2002, vol. 1, no. 3, pp. 467–476. https://doi.org/10.1017/S1474748002000117MathSciNetCrossRefMATH

22.

Polo-Blanco, I. and Top, J., A remark on parameterizing nonsingular cubic surfaces, Comput.-Aided Geom. Des., 2009, vol. 26, no. 8, pp. 842–849. https://doi.org/10.1016/j.cagd.2009.06.001MathSciNetCrossRefMATH

23.

González-Sánchez, J. and Polo-Blanco, I., Construction algorithms for rational cubic surfaces, J. Symbolic Comput., 2017, vol. 79, pp. 309–326. https://doi.org/10.1016/j.jsc.2016.02.010MathSciNetCrossRefMATH

24.

Pan, V.Ya., Fast matrix multiplication and its algebraic neighbourhood, Sb.: Math., 2017, vol. 208, no. 11, pp. 1661–1704. https://doi.org/10.1070/SM8833MathSciNetCrossRefMATH

25.

Malaschonok, G., Recursive matrix algorithms, distributed dynamic control, scaling, stability, Proc. Workshop Computer Science and Information Technologies (CSIT), Yerevan, Armenia, 2019, pp. 112–115. https://doi.org/10.1109/CSITechnol.2019.8895255

26.

Schwartz, J.T., Fast probabilistic algorithms for verification of polynomial identities, J. ACM, 1980, vol. 27, no. 4, pp. 701–717. https://doi.org/10.1145/322217.322225MathSciNetCrossRefMATH

27.

Gondim, R. and Russo, F., On cubic hypersurfaces with vanishing hessian, J. Pure Appl. Algebra, 2015, vol. 219, no. 4, pp. 779–806. https://doi.org/10.1016/j.jpaa.2014.04.030MathSciNetCrossRefMATH

28.

Bibikov, P.V., Classification of ternary forms with zero hessian, Russ. Math., 2011, vol. 55, no. 9, pp. 83–85. https://doi.org/10.3103/S1066369X11090118MathSciNetCrossRefMATH

29.

Seliverstov, A.V., Symmetric matrices whose entries are linear functions, Comput. Math. Math. Phys., 2020, vol. 60, pp. 102–108. https://doi.org/10.1134/S0965542520010121MathSciNetCrossRefMATH

Titel: Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces
verfasst von: A. V. Seliverstov
Publikationsdatum: 01.01.2021
Verlag: Pleiades Publishing
Erschienen in: Programming and Computer Software / Ausgabe 1/2021
Print ISSN: 0361-7688
Elektronische ISSN: 1608-3261
DOI: https://doi.org/10.1134/S0361768821010096

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 1/2021

Searching for Equilibrium States of Atwood’s Machine with Two Oscillating Bodies by Means of Computer Algebra

An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge’s Condition

Construction of Partial Laurent Solutions to Truncated Differential Systems

Path Querying on Acyclic Graphs Using Boolean Grammars

Automated Software Testing Technologies for Realistic Computer Graphics

Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods

Premium Partner