English
Related papers

Related papers: Derandomization from Algebraic Hardness

200 papers

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting…

Data Structures and Algorithms · Computer Science 2015-07-27 Bart M. P. Jansen

This paper proposes to broaden the canonical formulation of quantum mechanics. Ordinarily, one imposes the condition $H^\dagger=H$ on the Hamiltonian, where $\dagger$ represents the mathematical operation of complex conjugation and matrix…

Quantum Physics · Physics 2009-10-31 Carl Bender , Stefan Boettcher , Peter Meisinger

We give a $n^{O(\log n)}$-time ($n$ is the input size) blackbox polynomial identity testing algorithm for unknown-order read-once oblivious algebraic branching programs (ROABP). The best result known for this class was $n^{O(\log^2 n)}$ due…

Computational Complexity · Computer Science 2014-07-01 Manindra Agrawal , Rohit Gurjar , Arpita Korwar , Nitin Saxena

Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ over the prime field with two elements, $\mathbb F_2$, with the degree of each $x_i$ being 1. We study the hit problem, set up by Frank Peterson, of finding a…

Algebraic Topology · Mathematics 2025-05-20 Nguyen Sum , Pham Do Tai

In this paper, we first study what we call Superset-Subset-Disjoint (SSD) set system. Based on properties of SSD set system, we derive the following (I) to (IV): (I) For a nonnegative integer $k$ and a graph $G=(V,E)$ with $|V|\ge2$, let…

Data Structures and Algorithms · Computer Science 2024-09-26 Kan Shota , Kazuya Haraguchi

Approximating the partition function of the ferromagnetic Ising model with general external fields is known to be #BIS-hard in the worst case, even for bounded-degree graphs, and it is widely believed that no polynomial-time approximation…

Data Structures and Algorithms · Computer Science 2021-08-27 Tyler Helmuth , Holden Lee , Will Perkins , Mohan Ravichandran , Qiang Wu

For a polynomial $f$ from a class $\mathcal{C}$ of polynomials, we show that the problem to compute all the constant degree irreducible factors of $f$ reduces in polynomial time to polynomial identity tests (PIT) for class $\mathcal{C}$ and…

Computational Complexity · Computer Science 2026-03-02 Pranjal Dutta , Amit Sinhababu , Thomas Thierauf

Let $H$ be a fixed undirected graph on $k$ vertices. The $H$-hitting set problem asks for deleting a minimum number of vertices from a given graph $G$ in such a way that the resulting graph has no copies of $H$ as a subgraph. This problem…

Data Structures and Algorithms · Computer Science 2020-12-01 Noah Brüstle , Tal Elbaz , Hamed Hatami , Onur Kocer , Bingchan Ma

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

Symbolic Computation · Computer Science 2018-06-22 Cordian Riener , Mohab Safey El Din

Hitting formulas have been studied in many different contexts at least since [Iwama,89]. A hitting formula is a set of Boolean clauses such that any two of them cannot be simultaneously falsified. [Peitl,Szeider,05] conjectured that hitting…

Computational Complexity · Computer Science 2024-08-16 Yuval Filmus , Edward A. Hirsch , Artur Riazanov , Alexander Smal , Marc Vinyals

We study arithmetic proof systems P_c(F) and P_f(F) operating with arithmetic circuits and arithmetic formulas, respectively, that prove polynomial identities over a field F. We establish a series of structural theorems about these proof…

Computational Complexity · Computer Science 2013-04-23 Pavel Hrubes , Iddo Tzameret

We present an iterative approach to constructing pseudorandom generators, based on the repeated application of mild pseudorandom restrictions. We use this template to construct pseudorandom generators for combinatorial rectangles and…

Computational Complexity · Computer Science 2012-10-02 Parikshit Gopalan , Raghu Meka , Omer Reingold , Luca Trevisan , Salil Vadhan

We study several natural instances of the geometric hitting set problem for input consisting of sets of line segments (and rays, lines) having a small number of distinct slopes. These problems model path monitoring (e.g., on road networks)…

Computational Geometry · Computer Science 2016-12-20 Sándor P. Fekete , Kan Huang , Joseph S. B. Mitchell , Ojas Parekh , Cynthia A. Phillips

The transversal hypergraph problem is the task of enumerating the minimal hitting sets of a hypergraph. It is a long-standing open question whether this can be done in output-polynomial time. For hypergraphs whose solutions have bounded…

Data Structures and Algorithms · Computer Science 2021-10-25 Thomas Bläsius , Tobias Friedrich , Julius Lischeid , Kitty Meeks , Martin Schirneck

An identifying code of a graph is a dominating set which uniquely determines all the vertices by their neighborhood within the code. Whereas graphs with large minimum degree have small domination number, this is not the case for the…

Combinatorics · Mathematics 2017-01-02 Florent Foucaud , Guillem Perarnau , Oriol Serra

Suppose $G$ is a $k$-uniform hypergraph on $n$ vertices such that every $(k-1)$-subset $S$ of $V(G)$ belongs to at least $\delta n$ edges, where $\delta> 1/2$. Let $\Psi(G)$ denote the number of tight Hamilton cycles in $G$, that is, cyclic…

Combinatorics · Mathematics 2026-04-17 Felix Joos , Xinyue Xie

A $\gamma$-deformed version of $su(2)$ algebra with non-hermitian generators has been obtained from a bi-orthogonal system of vectors in $\bf{C^2}$. The related Jordan-Schwinger(J-S) map is combined with boson algebras to obtain a hierarchy…

Mathematical Physics · Physics 2020-12-02 Arindam Chakraborty

We investigate the geometric hitting set problem in the online setup for the range space $\Sigma=({\cal P},{\cal S})$, where the set $\P\subset\mathbb{R}^2$ is a collection of $n$ points and the set $\cal S$ is a family of geometric objects…

Computational Geometry · Computer Science 2025-09-09 Minati De , Ratnadip Mandal , Satyam Singh

Certifying the positivity of trigonometric polynomials is of first importance for design problems in discrete-time signal processing. It is well known from the Riesz-Fej\'ez spectral factorization theorem that any trigonometric univariate…

Symbolic Computation · Computer Science 2023-10-05 Victor Magron , Mohab Safey El Din , Markus Schweighofer , Trung Hieu Vu

Stochastic gradient (SG) methods are fundamental to system identification and machine learning, enabling online parameter estimation in large-scale and streaming-data settings. As a classical identification method, the SG algorithm has been…

Optimization and Control · Mathematics 2026-05-08 Senhan Yao , Longxu Zhang