English
Related papers

Related papers: Extended Hardness Results for Approximate Gr\"obne…

200 papers

The partial least squares algorithm for dependent data realisations is considered. Consequences of ignoring the dependence for the algorithm performance are studied both theoretically and in simulations. It is shown that ignoring certain…

Statistics Theory · Mathematics 2016-03-07 Marco Singer , Tatyana Krivobokova , Bert L. de Groot , Axel Munk

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

Algebraic Geometry · Mathematics 2019-11-06 Adrien Poteaux , Martin Weimann

We prove a double-exponential upper bound on the degree and on the complexity of constructing a Janet basis of a $D$-module. This generalizes a well known bound on the complexity of a Gr\"obner basis of a module over the algebra of…

Analysis of PDEs · Mathematics 2007-05-23 Alexander Chistov , Dima Grigoriev

Kernelization---a mathematical key concept for provably effective polynomial-time preprocessing of NP-hard problems---plays a central role in parameterized complexity and has triggered an extensive line of research. This is in part due to a…

Computational Complexity · Computer Science 2017-08-28 Henning Fernau , Till Fluschnik , Danny Hermelin , Andreas Krebs , Hendrik Molter , Rolf Niedermeier

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

We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A…

Optimization and Control · Mathematics 2017-01-03 Raymond Hemmecke , Matthias Köppe , Robert Weismantel

This paper studies the concept and the computation of approximately vanishing ideals of a finite set of data points. By data points, we mean that the points contain some uncertainty, which is a key motivation for the approximate treatment.…

Symbolic Computation · Computer Science 2025-06-12 Hiroshi Kera , Achim Kehrein

A surprising 'converse to the polynomial method' of Aaronson et al. (CCC'16) shows that any bounded quadratic polynomial can be computed exactly in expectation by a 1-query algorithm up to a universal multiplicative factor related to the…

Quantum Physics · Physics 2024-11-20 Jop Briët , Francisco Escudero Gutiérrez , Sander Gribling

Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional polynomial systems, etc. In this paper, the concepts of strong…

Symbolic Computation · Computer Science 2022-02-15 Haokun Li , Bican Xia , Tianqi Zhao

In this paper we present an algorithm for construction of minimal involutive polynomial bases which are Groebner bases of the special form. The most general involutive algorithms are based on the concept of involutive monomial division…

Commutative Algebra · Mathematics 2025-10-20 Vladimir P. Gerdt , Yuri A. Blinkov

We prove the hardness of weakly learning halfspaces in the presence of adversarial noise using polynomial threshold functions (PTFs). In particular, we prove that for any constants $d \in \mathbb{Z}^+$ and $\varepsilon > 0$, it is NP-hard…

Computational Complexity · Computer Science 2017-07-07 Arnab Bhattacharyya , Suprovat Ghoshal , Rishi Saket

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

Commutative Algebra · Mathematics 2021-08-31 Wei Li , Alexey Ovchinnikov , Gleb Pogudin , Thomas Scanlon

The $2 \rightarrow q$ norm of a matrix $X \in \mathbb{R}^{n \times d}$ is defined as $\lVert X \rVert_{2 \rightarrow q} = \sup_{\lVert v \rVert_2 = 1} \lVert Xv \rVert_q$. We give polynomial-time multiplicative approximation algorithms for…

Data Structures and Algorithms · Computer Science 2026-05-29 Samuel B. Hopkins , Stefan Tiegel

Recently Hashemi and Kapur published an algorithm [1] for Groebner basis conversion by truncating polynomials according to a source and a target monomial order. Here we present a counterexample to this algorithm.

Symbolic Computation · Computer Science 2025-10-08 Anna Nymann Heisel , Niels Lauritzen

In hypothesis testing problems the property of strict unbiasedness describes whether a test is able to discriminate, in the sense of a difference in power, between any distribution in the null hypothesis space and any distribution in the…

Statistics Theory · Mathematics 2025-06-11 Andrew McCormack

We describe how Groebner bases can be used to solve the reduction problem for Feynman integrals, i.e. to construct an algorithm that provides the possibility to express a Feynman integral of a given family as a linear combination of some…

High Energy Physics - Lattice · Physics 2009-11-11 A. V. Smirnov , V. A. Smirnov

The computational complexity of polynomial ideals and Gr\"obner bases has been studied since the 1980s. In recent years, the related notions of polynomial subalgebras and SAGBI bases have gained more and more attention in computational…

Computational Complexity · Computer Science 2025-07-18 Leonie Kayser

This paper is a detailed description of an algorithm based on a generalized Buchberger algorithm for constructing Groebner-type bases associated with polynomials of shift operators. The algorithm is used for calculating Feynman integrals…

High Energy Physics - Phenomenology · Physics 2009-11-11 A. V. Smirnov

Polynomial multiplication is known to have quasi-linear complexity in both the dense and the sparse cases. Yet no truly linear algorithm has been given in any case for the problem, and it is not clear whether it is even possible. This…

Symbolic Computation · Computer Science 2021-01-07 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray

We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and…

Commutative Algebra · Mathematics 2026-01-27 Fahimeh Khosh-Ahang Ghasr