English
Related papers

Related papers: Matrix-F5 algorithms and tropical Gr\"obner bases …

200 papers

We propose a gradient descent method for solving optimization problems arising in settings of tropical geometry - a variant of algebraic geometry that has attracted growing interest in applications such as computational biology, economics,…

Optimization and Control · Mathematics 2025-11-17 Roan Talbut , Anthea Monod

The computation of Gr\"obner bases is an established hard problem. By contrast with many other problems, however, there has been little investigation of whether this hardness is robust. In this paper, we frame and present results on the…

Symbolic Computation · Computer Science 2018-07-18 Gwen Spencer , David Rolnick

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…

Commutative Algebra · Mathematics 2008-06-04 Kei-ichiro Iima , Yuji Yoshino

Algebraic cryptanalysis usually requires to recover the secret key by solving polynomial equations. Faugere's F4 is a well-known Grobner bases algorithm to solve this problem. However, a serious drawback exists in the Grobner bases based…

Symbolic Computation · Computer Science 2013-10-10 Heliang Huang , Wansu Bao

Grigoriev and Podolskii (2018) have established a tropical analogue of the effective Nullstellensatz, showing that a system of tropical polynomial equations is solvable if and only if a linearized system obtained from a truncated Macaulay…

Combinatorics · Mathematics 2024-10-22 Marianne Akian , Antoine Béreau , Stéphane Gaubert

A generalized criterion for signature-based algorithms to compute Gr\"obner bases is proposed in this paper. This criterion is named by "generalized criterion", because it can be specialized to almost all existing criteria for…

Symbolic Computation · Computer Science 2011-06-27 Yao Sun , Dingkang Wang

Gr{\"o}bner bases is one the most powerful tools in algorithmic non-linear algebra. Their computation is an intrinsically hard problem with a complexity at least single exponential in the number of variables. However, in most of the cases,…

Symbolic Computation · Computer Science 2019-02-04 Matías Bender , Jean-Charles Faugère , Elias Tsigaridas

Polyhedral affinoid algebras have been introduced by Einsiedler, Kapranov and Lind to connect rigid analytic geometry (analytic geometry over non-archimedean fields) and tropical geometry. In this article, we present a theory of Gr{\"o}bner…

Symbolic Computation · Computer Science 2025-05-07 Moulay A. Barkatou , Lucas Legrand , Tristan Vaccon

Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials…

Algebraic Geometry · Mathematics 2016-05-16 Daniel A. Brake , Jonathan D. Hauenstein , Cynthia Vinzant

There has been an increasing interest in methods that exploit permutation reasoning to search for directed acyclic causal models, including the "Ordering Search" of Teyssier and Kohler and GSP of Solus, Wang and Uhler. We extend the methods…

Artificial Intelligence · Computer Science 2022-06-14 Wai-Yin Lam , Bryan Andrews , Joseph Ramsey

We design efficient algorithms to evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields or finite fields using complex approximations. Their output is provably correct when the associated graded ring…

Number Theory · Mathematics 2025-01-17 Jean Kieffer

In this note, we generalize the technique developed in [13] and prove that every 5xn matrix of tropical rank at most 3 has Kapranov rank at most 3, for the ground field that contains at least 4 elements. For the ground field either F_2 or…

Combinatorics · Mathematics 2012-07-20 Yaroslav Shitov

We present a specialized point-counting algorithm for a class of elliptic curves over F\_{p^2} that includes reductions of quadratic Q-curves modulo inert primes and, more generally, any elliptic curve over F\_{p^2} with a low-degree…

Number Theory · Mathematics 2019-02-20 François Morain , Charlotte Scribot , Benjamin Smith

Tropical geometry has recently found several applications in the analysis of neural networks with piecewise linear activation functions. This paper presents a new look at the problem of tropical polynomial division and its application to…

Machine Learning · Computer Science 2023-06-28 Ioannis Kordonis , Petros Maragos

Variational Quantum Algorithms are promising candidates for near-term quantum computing, yet they face scalability challenges due to barren plateaus, where gradients vanish exponentially relative to system size. Recent conjectures suggest…

Quantum Physics · Physics 2026-05-21 Sabri Meyer , Francesco Scala , Francesco Tacchino , Aurelien Lucchi

Extreme value statistics is the max analogue of classical statistics, while tropical geometry is the max analogue of classical geometry. In this paper, we review recent work where insights from tropical geometry were used to develop new,…

Statistics Theory · Mathematics 2022-07-22 Ngoc M Tran

Variational quantum algorithms are promising tools for near-term quantum computers as their shallow circuits are robust to experimental imperfections. Their practical applicability, however, strongly depends on how many times their circuits…

Quantum Physics · Physics 2021-09-13 Barnaby van Straaten , Bálint Koczor

In this paper, we suggest a new efficient algorithm in order to compute S-polynomial reduction rapidly in the known algorithm for computing Grobner bases, and compare the complexity with others.

Symbolic Computation · Computer Science 2015-07-14 Yong-Jin Kim , Hyon-Song Paek , Nam-Chol Kim , Chong-Il Byon

We introduce a simple, easy to implement, and computationally efficient tropical convolutional neural network architecture that is robust against adversarial attacks. We exploit the tropical nature of piece-wise linear neural networks by…

Machine Learning · Computer Science 2024-02-02 Kurt Pasque , Christopher Teska , Ruriko Yoshida , Keiji Miura , Jefferson Huang

We define Macaulay bases of modules, which are a common generalization of Groebner bases and Macaulay $H$-bases to suitably graded modules over a commutative graded $\mathbf{k}$-algebra, where the index sets of the two gradings may differ.…

Commutative Algebra · Mathematics 2021-08-10 Sujit Rao