English
Related papers

Related papers: A simple constant-probability RP reduction from NP…

200 papers

We study the random \'etale algebra generated by a random polynomial with i.i.d. coefficients distributed according to Haar measure normalized on $\mathbb{Z}_p$. We determine the probability that this random algebra is an unramified field,…

Number Theory · Mathematics 2022-11-24 Roy Shmueli

A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse…

Logic · Mathematics 2015-05-08 Denis R. Hirschfeldt , Carl G. Jockusch , Rutger Kuyper , Paul E. Schupp

It is known that random monic integral polynomials of bounded degree $d$ and integral coefficients distributed uniformly and independently in $[-H,H]$ are irreducible over $\mathbb{Z}$ with probability tending to $1$ as $H\to \infty$. In…

Number Theory · Mathematics 2021-07-21 Huy Tuan Pham , Max Wenqiang Xu

We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus…

Number Theory · Mathematics 2010-11-09 Martin Avendano , Ashraf Ibrahim , J. Maurice Rojas , Korben Rusek

Consider a subset of positive integers $S$. In this paper, we reduce the upper bound on the length of a minimum program that enumerates $S$ in terms of the probability of $S$ being enumerated by a random program. So far, the best-known…

Computational Complexity · Computer Science 2023-12-18 Alexander Shekhovtsov , Georgii Zakharov

Let eta_i be iid Bernoulli random variables, taking values -1,1 with probability 1/2. Given a multiset V of n integers v_1,..., v_n, we define the concentration probability as rho(V) := sup_{x} Pr(v_1 eta_1+...+ v_n eta_n=x). A classical…

Combinatorics · Mathematics 2011-01-18 Hoi Nguyen , Van Vu

We consider the class of counting problems,i.e. functions in $\#$P, which are self reducible, and have easy decision version, i.e. for every input it is easy to decide if the value of the function $f(x)$ is zero. For example,…

Computational Complexity · Computer Science 2016-11-08 Eleni Bakali

We prove new hardness amplification results for Learning Parity with Noise ($\mathsf{LPN}$) and its sparse variants. In $\mathsf{LPN}_{\eta,n,m}$, the goal is to recover a secret $\vec s\in\mathbb{F}_2^n$ from $m$ noisy linear samples…

Cryptography and Security · Computer Science 2026-05-13 Divesh Aggarwal , Rishav Gupta , Li Zeyong

The coding theorem for Kolmogorov complexity states that any string sampled from a computable distribution has a description length close to its information content. A coding theorem for resource-bounded Kolmogorov complexity is the key to…

Computational Complexity · Computer Science 2024-09-20 Shuichi Hirahara , Zhenjian Lu , Mikito Nanashima

The famous Posa conjecture states that every graph of minimum degree at least 2n/3 contains the square of a Hamilton cycle. This has been proved for large n by Koml\'os, Sark\"ozy and Szemer\'edi. Here we prove that if p > n^{-1/2+\eps},…

Combinatorics · Mathematics 2012-07-31 Daniela Kühn , Deryk Osthus

We examine doing probabilistic descent over manifolds implicitly defined by a set of polynomials with rational coefficients. The system of polynomials is assumed to be triangularized. An application of Whitney's embedding theorem allows us…

Optimization and Control · Mathematics 2018-08-28 David W. Dreisigmeyer

The Lie symmetries of a large class of generalized Toda field theories are studied and used to perform symmetry reduction. Reductions lead to generalized Toda lattices on one hand, to periodic systems on the other. Boundary conditions are…

Exactly Solvable and Integrable Systems · Physics 2008-11-26 L. Martina , S. Lafortune , P. Winternitz

The Survey Propagation (SP) algorithm for solving $k$-SAT problems has been shown recently as an instance of the Belief Propagation (BP) algorithm. In this paper, we show that for general constraint-satisfaction problems, SP may not be…

Information Theory · Computer Science 2008-01-31 Ronghui Tu , Yongyi Mao , Jiying Zhao

Razborov and Rudich have shown that so-called "natural proofs" are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is widely regarded as a serious barrier to proving strong…

Computational Complexity · Computer Science 2009-03-30 Timothy Y. Chow

We (claim to) prove the extremely surprising fact that NP=RP. It is achieved by creating a Fully Polynomial-Time Randomized Approximation Scheme (FPRAS) for approximately counting the number of independent sets in bounded degree graphs,…

Computational Complexity · Computer Science 2020-08-06 András Faragó

We consider the general polynomial optimization problem $P: f^*=\min \{f(x)\,:\,x\in K\}$ where $K$ is a compact basic semi-algebraic set. We first show that the standard Lagrangian relaxation yields a lower bound as close as desired to the…

Optimization and Control · Mathematics 2012-10-18 Jean Lasserre

For a complex polynomial $P$ of degree $n$ and an $m$-tuple of distinct complex numbers $\Lambda=(\lambda_1,\ldots,\lambda_m)$, the dope matrix $D_P(\Lambda)$ is defined as the $m \times (n+1)$ matrix $(c)_{ij}$ with $c_{ij} =1$ if…

Combinatorics · Mathematics 2024-02-21 Ankit Bisain

The Legendre conjecture has resisted analysis over a century, even under assumption of the Riemann Hypothesis. We present, a significant improvement on previous results by greatly reducing the assumption to a more modest statement called…

General Mathematics · Mathematics 2019-03-05 Madieyna Diouf

Let $U\in U(N)$ be a random unitary matrix of size $N$, distributed with respect to the Haar measure on $U(N)$. Let $P(z)=P_U(z)$ be the characteristic polynomial of $U$. We prove that for $z$ close to the unit circle, $ \frac{P'}{P}(z) $…

Number Theory · Mathematics 2024-10-29 Fan Ge

The (strong) Bruhat order for permutations provides a partial ordering defined as follows: two permutations are comparable if one can be obtained from the other by a sequence of adjacent transpositions that each increase the number of…

Combinatorics · Mathematics 2026-02-19 Nicholas Christo , Marcus Michelen