English
Related papers

Related papers: Combinatorial Nullstellensatz modulo prime powers …

200 papers

We show that Hilbert's Nullstellensatz, the problem of deciding if a system of multivariate polynomial equations has a solution in the algebraic closure of the underlying field, lies in the counting hierarchy. More generally, we show that…

Computational Complexity · Computer Science 2026-02-23 Robert Andrews , Abhibhav Garg , Éric Schost

As starting point, we formulate a corollary to the Quantitative Combinatorial Nullstellensatz. This corollary does not require the consideration of any coefficients of polynomials, only evaluations of polynomial functions. In certain…

Combinatorics · Mathematics 2017-05-02 Uwe Schauz

This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $\ast$-algebra $\RR\axs$ with $x=(x_1, \ldots, x_n)$. This result is a generalization of a result of Cimpri\vc, Helton, McCullough, and the author.…

Operator Algebras · Mathematics 2013-05-06 Christopher S. Nelson

Buresh-Oppenheim proved that the NP search problem to find nontrivial factors of integers of a special form belongs to Papadimitriou's class PPA, and is probabilistically reducible to a problem in PPP. In this paper, we use ideas from…

Computational Complexity · Computer Science 2015-12-02 Emil Jeřábek

Applying techniques similar to Combinatorial Nullstellensatz we prove a lower estimate of $|f(A,B)|$ for finite subsets $A$, $B$ of a field, and polynomial $f(x,y)$ of the form $f(x,y)=g(x)+yh(x)$, where degree of $g$ is greater then degree…

Combinatorics · Mathematics 2013-09-17 Fedor Petrov

Many classical theorems in combinatorics establish the emergence of substructures within sufficiently large collections of objects. Well-known examples are Ramsey's theorem on monochromatic subgraphs and the Erd\H{o}s-Rado sunflower lemma.…

Computational Complexity · Computer Science 2022-09-13 Romain Bourneuf , Lukáš Folwarczný , Pavel Hubáček , Alon Rosen , Nikolaj Ignatieff Schwartzbach

We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This…

Computational Complexity · Computer Science 2022-09-19 Amol Pasarkar , Mihalis Yannakakis , Christos Papadimitriou

We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erd\H{o}s-R\'{e}nyi random graphs, are $3$-colourable. Using the known…

Computational Complexity · Computer Science 2025-03-24 Jonas Conneryd , Susanna F. de Rezende , Jakob Nordström , Shuo Pang , Kilian Risse

Motivated by higher vanishing multiplicity generalizations of Alon's Combinatorial Nullstellensatz and its applications, we study the following problem: for fixed $k\geq 1$ and $n$ large with respect to $k$, what is the minimum possible…

Combinatorics · Mathematics 2022-03-29 Lisa Sauermann , Yuval Wigderson

In this paper, we proposed an interesting problem that might be classified into enumerative combinatorics. Featuring a distinctive two-fold dependence upon the sequences' terms, our problem can be really difficult, which calls for novel…

Discrete Mathematics · Computer Science 2010-07-29 Zan Pan

In this article, we studied the inverse Erd\H{o}s-Heilbronn problem with the restricted sumset from two components $A$ and $B$ that are not necessarily the same. We give a completely elementary proof for the problem in $\mathbb{Z}$ and some…

Combinatorics · Mathematics 2024-08-27 Shengning Zhang

Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…

Computational Complexity · Computer Science 2025-10-28 Markus Bläser , Sagnik Dutta , Gorav Jindal

The concept of a $1$-rotational factorization of a complete graph under a finite group $G$ was studied in detail by Buratti and Rinaldi. They found that if $G$ admits a $1$-rotational $2$-factorization, then the involutions of $G$ are…

Combinatorics · Mathematics 2018-10-25 Daniel McGinnis , Eirini Poimenidou

Real Nullstellensatz is a classical result from Real Algebraic Geometry. It has recently been extended to quaternionic polynomials by Alon and Paran. The aim of this paper is to extend their Quaternionic Nullstellensatz to matrix…

Rings and Algebras · Mathematics 2022-01-06 J. Cimprič

We systematically investigate the complexity of counting subgraph patterns modulo fixed integers. For example, it is known that the parity of the number of $k$-matchings can be determined in polynomial time by a simple reduction to the…

Computational Complexity · Computer Science 2021-07-02 Radu Curticapean , Holger Dell , Thore Husfeldt

We extend the well known bottleneck paths problem in two directions for directed unweighted (unit edge cost) graphs with positive real edge capacities. Firstly we narrow the problem domain and compute the bottleneck of the entire network in…

Data Structures and Algorithms · Computer Science 2013-06-26 Tong-Wook Shinn , Tadao Takaoka

We prove new upper bounds for the degrees in Hilbert's Nullstellensatz and for the Noether exponent of polynomial ideals in terms of the monomial structure of the polynomials involved. Our bounds improve the previously known bounds in the…

Algebraic Geometry · Mathematics 2019-07-02 Maria Isabel Herrero , Gabriela Jeronimo , Juan Sabia

Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding…

Rings and Algebras · Mathematics 2024-03-12 Jurij Volčič

We revisit and further explore the celebrated Combinatorial Nullstellens\"atze of N. Alon in several different directions.

Combinatorics · Mathematics 2014-05-13 Pete L. Clark

The complexity classes PPA-$k$, $k \geq 2$, have recently emerged as the main candidates for capturing the complexity of important problems in fair division, in particular Alon's Necklace-Splitting problem with $k$ thieves. Indeed, the…

Computational Complexity · Computer Science 2022-03-22 Alexandros Hollender