English
Related papers

Related papers: Algorithmic computation of polynomial amoebas

200 papers

We describe theoretical backgrounds for a computer program that recognizes all closed orientable 3-manifolds up to complexity 8. The program can treat also not necessarily closed 3-manifolds of bigger complexities, but here some…

Geometric Topology · Mathematics 2009-09-25 Sergei V. Matveev

In this paper, we present fast algorithms for the product of two multivariate polynomials in sparse representation. The bit complexity of our algorithms are studied in detail for various types of coefficients, and we derive new complexity…

Data Structures and Algorithms · Computer Science 2009-01-28 Joris van der Hoeven , Grégoire Lecerf

Quantum algorithms have been developed for efficiently solving linear algebra tasks. However, they generally require deep circuits and hence universal fault-tolerant quantum computers. In this work, we propose variational algorithms for…

Quantum Physics · Physics 2021-12-28 Xiaosi Xu , Jinzhao Sun , Suguru Endo , Ying Li , Simon C. Benjamin , Xiao Yuan

We propose a splitting algorithm for solving a system of composite monotone inclusions formulated in the form of the extended set of solutions in real Hilbert spaces. The resluting algorithm is a an extension of the algorithm in [4]. The…

Optimization and Control · Mathematics 2013-08-14 Dinh Dung , Bang Cong Vu

A polynomial complexity algorithm is designed which tests whether a point belongs to a given tropical linear variety.

Symbolic Computation · Computer Science 2018-11-08 Dima Grigoriev

We study the convex hulls of trajectories of polynomial dynamical systems. Such trajectories include real algebraic curves. The boundaries of the resulting convex bodies are stratified into families of faces. We present numerical algorithms…

Dynamical Systems · Mathematics 2024-01-26 Daniel Ciripoi , Nidhi Kaihnsa , Andreas Löhne , Bernd Sturmfels

This survey consists of two parts. Part 1 is devoted to amoebas. These are images of algebraic subvarieties in the complex torus under the logarithmic moment map. The amoebas have essentially piecewise-linear shape if viewed at large.…

Algebraic Geometry · Mathematics 2007-05-23 Grigory Mikhalkin

The problem of solving tropical linear systems, a natural problem of tropical mathematics, has already proven to be very interesting from the algorithmic point of view: it is known to be in $NP\cap coNP$ but no polynomial time algorithm is…

Computational Complexity · Computer Science 2013-09-23 Alex Davydow

We present efficient algorithms for detecting central and mirror symmetry for the case of algebraic curves defined by means of polynomial parametrizations. The algorithms are based on the existence of a linear relationship between two…

Algebraic Geometry · Mathematics 2012-12-27 Juan G. Alcazar

An algorithm is presented for numerical computation of choreographies in spaces of constant negative curvature in a hyperbolic cotangent potential, extending the ideas given in a companion paper for computing choreographies in the plane in…

Dynamical Systems · Mathematics 2016-11-03 Hadrien Montanelli

We employ the generalized Remez algorithm, initially suggested by P. T. P. Tang, to perform an experimental study of Chebyshev polynomials in the complex plane. Our focus lies particularly on the examination of their norms and zeros. What…

Complex Variables · Mathematics 2025-07-11 Lennart Aljoscha Hübner , Olof Rubin

We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form. We show that computing the Smith form of a matrix polynomial is amenable to numeric computation as an optimization problem.…

Symbolic Computation · Computer Science 2019-09-10 Mark Giesbrecht , Joseph Haraldson , George Labahn

Finding a common factor of two multivariate polynomials with approximate coefficients is a problem in symbolic-numeric computing. Taking a tropical view on this problem leads to efficient preprocessing techniques, applying polyhedral…

Algebraic Geometry · Mathematics 2008-09-02 Danko Adrovic , Jan Verschelde

This paper deals with simultaneously fast and in-place algorithms for formulae where the result has to be linearly accumulated: some of the output variables are also input variables, linked by a linear dependency. Fundamental examples…

Symbolic Computation · Computer Science 2024-07-02 Jean-Guillaume Dumas , Bruno Grenet

One of the biggest open problems in computational algebra is the design of efficient algorithms for Gr{\"o}bner basis computations that take into account the sparsity of the input polynomials. We can perform such computations in the case of…

Symbolic Computation · Computer Science 2018-06-22 Matías Bender , Jean-Charles Faugère , Elias Tsigaridas

A straightforward algorithm for the symbolic computation of higher-order symmetries of nonlinear evolution equations and lattice equations is presented. The scaling properties of the evolution or lattice equations are used to determine the…

solv-int · Physics 2007-05-23 Unal Goktas , Willy Hereman

The classical volume polynomial in algebraic geometry measures the degrees of ample (and nef) divisors on a smooth projective variety. We introduce an analogous volume polynomial for matroids, and give a complete combinatorial formula. For…

Combinatorics · Mathematics 2019-08-20 Christopher Eur

This paper presents an algorithm for 3-SAT problems. First, logical formulas are transformed into elementary algebraic formulas. Second, complex trigonometric functions are assigned to the variables in the elementary algebraic formulas, and…

Data Structures and Algorithms · Computer Science 2017-08-01 Hiroshi Tsukimoto

We represent vector bundles over a regular algebraic curve as pairs of lattices over the maximal orders of its function field and we give polynomial time algorithms for several tasks: computing determinants of vector bundles, kernels and…

Algebraic Geometry · Mathematics 2024-08-05 Mickaël Montessinos

We study here several variants of the covariates fine balance problem where we generalize some of these problems and introduce a number of others. We present here a comprehensive complexity study of the covariates problems providing…

Data Structures and Algorithms · Computer Science 2020-09-18 Dorit S. Hochbaum , Asaf Levin , Xu Rao