arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1402.6675

Matrix-F5 algorithms and tropical Gröbner bases computation

Tristan Vaccon
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $K$ be a field equipped with a valuation. Tropical varieties over $K$ can be defined with a theory of Gröbner bases taking into account the valuation of $K$. Because of the use of the valuation, this theory is promising for stable computations over polynomial rings over a $p$-adic fields.We design a strategy to compute such tropical Gröbner bases by adapting the Matrix-F5 algorithm. Two variants of the Matrix-F5 algorithm, depending on how the Macaulay matrices are built, are available to tropical computation with respective modifications. The former is more numerically stable while the latter is faster.Our study is performed both over any exact field with valuation and some inexact fields like $\mathbb{Q}\_p$ or $\mathbb{F}\_q \llbracket t \rrbracket.$ In the latter case, we track the loss in precision, and show that the numerical stability can compare very favorably to the case of classical Gröbner bases when the valuation is non-trivial. Numerical examples are provided.

Explore related subjects

cs.SCmath.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tristan Vaccon. 2015-09-29. Matrix-F5 algorithms and tropical Gröbner bases computation. https://doi.org/10.1145/2755996.2756665

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Sparse Polynomial GCD Cannot Be Computed in Fixed-output Polynomial Time

This paper shows that, assuming $\mathsf{P}\ne\mathsf{NP}$, sparse univariate polynomial GCD cannot be computed in fixed-output polynomial time over any fixed computable field. Precisely, there is no deterministic algorithm that can compute the GCD of sparse univariate polynomials over any fixed computable field with total bit complexity polynomial in the input size, with the output size as a fixed parameter. In particular, there is no deterministic algorithm for sparse polynomial GCD that runs in polynomial time with respect to both the input and the output sizes. This settles the open problem posed as Challenge 5 in the sparsity challenges. Furthermore, we show that the Roots of Unity Detection problem over finite fields is NP-hard under random reductions; that is, determining whether the GCD of a sparse univariate polynomial and $x^n - 1$ has nonzero degree is NP-hard.

cs.SC↗
arXiv2026

Diverse Reasoning Paths Matter: Symbolic Equivalence Augmentation for Enhancing RL Exploration

Reinforcement learning with verifiable rewards (RLVR) has emerged as a powerful paradigm for improving the reasoning capabilities of LLMs. However, the role of supervised fine-tuning (SFT) data in enabling effective downstream RL remains underexplored. In this paper, we investigate a key hypothesis: the diversity of reasoning steps in chain-of-thought (CoT) during SFT is a critical enabler of RLVR performance. To test this hypothesis, we introduce EquivAug, a data augmentation framework that uses symbolic equivalence transformations to generate diverse yet provably correct reasoning paths. By converting CoT solutions into formal symbolic representations, applying equivalence transformations, and reconstructing natural-language explanations, EquivAug produces training data that differs in reasoning steps rather than surface-level lexical variation. Experiments on GSM8K and FOLIO across model scales demonstrate that EquivAug consistently achieves the highest reasoning path diversity after SFT and the strongest accuracy after GRPO. Our results establish that CoT diversity during SFT is positively correlated with downstream RLVR performance.

cs.SC↗
arXiv2026

Seven Limit Cycles in a Periodically Forced Three-Zone Equation

We construct a seven-cycle example for a periodically forced scalar equation with a continuous three-zone piecewise-linear nonlinearity. Symbolic integration and linear elimination reduce the four-flight matching conditions to two equations in the residence times. The competing exterior visits produce an additional turn of the critical response and lead to the rational parameters $(A,B,μ)=(9,3/2,181363/100000)$. At these parameters, finite Taylor estimates give three sign changes of the return displacement. Scalar order, analyticity along transverse itineraries, and half-period reflection then establish at least seven distinct isolated periodic orbits on the phase cylinder.

cs.SC↗