English
Related papers

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

200 papers

In this paper we are shown the following facts: The probability of increased $ A_{k}=P(T^{k} (x_{0})>T^{k-1} (x_{0})) $, and the probability of decrease $B_{k}=P(T^{k} (x_{0})<T^{k-1} (x_{0}))$ in step $ k $ of a Collataz procedure…

Number Theory · Mathematics 2017-07-04 Denis Martínez Tápanes , Jose E. Martínez Serra

A problem $\mathcal{P}$ is considered downward self-reducible, if there exists an efficient algorithm for $\mathcal{P}$ that is allowed to make queries to only strictly smaller instances of $\mathcal{P}$. Downward self-reducibility has been…

Computational Complexity · Computer Science 2025-07-28 Karthik Gajulapalli , Surendra Ghentiyala , Zeyong Li , Sidhant Saraogi

The aim of this thesis is to determine classes of NP relations for which random generation and approximate counting problems admit an efficient solution. Since efficient rank implies efficient random generation, we first investigate some…

Computational Complexity · Computer Science 2010-12-15 Massimo Santini

A system $(P_\alpha: \alpha\in\mathcal{A})$ of probability distributions on a partially ordered set (poset) $\mathcal{S}$ indexed by another poset $\mathcal{A}$ can be realized by a system of $\mathcal{S}$-valued random variables…

Probability · Mathematics 2024-08-21 Motoya Machida

A central question in computer science and statistics is whether efficient algorithms can achieve the information-theoretic limits of statistical problems. Many computational-statistical tradeoffs have been shown under average-case…

Computational Complexity · Computer Science 2025-07-18 Guy Blanc , Caleb Koch , Carmen Strassle , Li-Yang Tan

We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined…

Combinatorics · Mathematics 2014-06-10 Gábor Hetyei

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…

Computational Complexity · Computer Science 2026-04-14 Jan Krajicek

The Hardy--Littlewood inequality for complex homogeneous polynomials asserts that given positive integers $m\geq2$ and $n\geq1$, if $P$ is a complex homogeneous polynomial of degree $m$ on $\ell_{p}^{n}$ with $2m\leq p\leq\infty$ given by…

Functional Analysis · Mathematics 2015-10-08 Gustavo Araujo , Daniel Pellegrino

Given a normal toric algebra $R$, we compute a uniform integer $D = D(R) > 0$ such that the symbolic power $P^{(D N)} \subseteq P^N$ for all $N >0$ and all monomial primes $P$. We compute the multiplier $D$ explicitly in terms of the…

Commutative Algebra · Mathematics 2018-11-26 Robert M. Walker

We discuss the simplified likelihood framework as a systematic approximation scheme for experimental likelihoods such as those originating from LHC experiments. We develop the simplified likelihood from the Central Limit Theorem keeping the…

High Energy Physics - Phenomenology · Physics 2019-05-01 Andy Buckley , Matthew Citron , Sylvain Fichet , Sabine Kraml , Wolfgang Waltenberger , Nicholas Wardle

We establish an Ergodic Theorem for lower probabilities, a generalization of standard probabilities widely used in applications. As a by-product, we provide a version for lower probabilities of the Strong Law of Large Numbers.

Functional Analysis · Mathematics 2015-08-07 Simone Cerreia-Vioglio , Fabio Maccheroni , Massimo Marinacci

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

Computational Complexity · Computer Science 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

Let $P$ be a bounded convex subset of $\mathbb R^n$ of positive volume. Denote the smallest degree of a polynomial $p(X_1,\dots,X_n)$ vanishing on $P\cap\mathbb Z^n$ by $r_P$ and denote the smallest number $u\geq0$ such that every function…

Algebraic Geometry · Mathematics 2021-07-13 Fabian Gundlach

Let $G$ be a finite graph with minimum degree $r$. Form a random subgraph $G_p$ of $G$ by taking each edge of $G$ into $G_p$ independently and with probability $p$. We prove that for any constant $\epsilon>0$, if $p=\frac{1+\epsilon}{r}$,…

Combinatorics · Mathematics 2013-06-25 Alan Frieze , Michael Krivelevich

We survey recent developments in the study of probabilistic complexity classes. While the evidence seems to support the conjecture that probabilism can be deterministically simulated with relatively low overhead, i.e., that $P=BPP$, it also…

Computational Complexity · Computer Science 2008-12-15 Russell Impagliazzo

In this work, we prove the NP-completeness of two variants of tokenisation, defined as the problem of compressing a dataset to at most $\delta$ symbols by either finding a vocabulary directly (direct tokenisation), or selecting a sequence…

Data Structures and Algorithms · Computer Science 2024-12-20 Philip Whittington , Gregor Bachmann , Tiago Pimentel

Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) \neq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This…

Combinatorics · Mathematics 2008-05-14 Leonid Gurvits

We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi-algebraic proof systems, the classical constructions of…

Computational Complexity · Computer Science 2018-09-26 Albert Atserias , Joanna Ochremiak

$P$-values that are derived from continuously distributed test statistics are typically uniformly distributed on $(0,1)$ under least favorable parameter configurations (LFCs) in the null hypothesis. Conservativeness of a $p$-value $P$…

Methodology · Statistics 2023-03-13 Daniel Ochieng , Anh-Tuan Hoang , Thorsten Dickhaus

We generalize the Wedderburn rank reduction formula by replacing the inverse with the Moore--Penrose pseudoinverse. In particular, this allows one to remove the non--singularity of a certain matrix from assumptions. The results implies in a…

Numerical Analysis · Mathematics 2024-06-07 Oskar Kędzierski