中文
相关论文

相关论文: On Approximability of Satisfiable $k$-CSPs: VII

200 篇论文

We prove a stability result for general $3$-wise correlations over distributions satisfying mild connectivity properties. More concretely, we show that if $\Sigma,\Gamma$ and $\Phi$ are alphabets of constant size, and $\mu$ is a pairwise…

计算复杂性 · 计算机科学 2024-08-02 Amey Bhangale , Subhash Khot , Dor Minzer

We establish the satisfiability threshold for random $k$-SAT for all $k\ge k_0$, with $k_0$ an absolute constant. That is, there exists a limiting density $\alpha_*(k)$ such that a random $k$-SAT formula of clause density $\alpha$ is with…

概率论 · 数学 2021-04-16 Jian Ding , Allan Sly , Nike Sun

Let $Z(F)$ be the number of solutions of a random $k$-satisfiability formula $F$ with $n$ variables and clause density $\alpha$. Assume that the probability that $F$ is unsatisfiable is $O(1/\log(n)^{1+\e})$ for $\e>0$. We show that…

离散数学 · 计算机科学 2010-06-23 Emmanuel Abbe , Andrea Montanari

We show that for every $k\in\mathbb{N}$ and $\varepsilon>0$, for large enough alphabet $R$, given a $k$-CSP with alphabet size $R$, it is NP-hard to distinguish between the case that there is an assignment satisfying at least…

计算复杂性 · 计算机科学 2025-10-29 Dor Minzer , Kai Zhe Zheng

Let $[q] = \{0,1,\ldots,q-1\}$, let $\Delta[q]$ denote the simplex of probability measures on $[q]$, and let $\gamma$ denote the Lebesgue measure normalized on $\Delta[q]$. We prove that for any symmetric monotone function $f \colon[q]^n…

概率论 · 数学 2026-05-20 Saba Lepsveridze , Allen Lin

An infinite sequence $\alpha$ over an alphabet $\Sigma$ is $\mu$-distributed w.r.t. a probability map $\mu$ if, for every finite string $w$, the limiting frequency of $w$ in $\alpha$ exists and equals $\mu(w)$. %We raise the question of how…

形式语言与自动机理论 · 计算机科学 2022-11-16 Thomas Seiller , Jakob Grue Simonsen

We study the complexity of approximate counting Constraint Satisfaction Problems (#CSPs) in a bounded degree setting. Specifically, given a Boolean constraint language $\Gamma$ and a degree bound $\Delta$, we study the complexity of…

数据结构与算法 · 计算机科学 2020-08-21 Andreas Galanis , Leslie Ann Goldberg , Kuan Yang

We prove local and global inverse theorems for general $3$-wise correlations over pairwise-connected distributions. Let $\mu$ be a distribution over $\Sigma \times \Gamma \times \Phi$ such that the supports of $\mu_{xy}$, $\mu_{xz}$, and…

计算复杂性 · 计算机科学 2024-11-25 Amey Bhangale , Subhash Khot , Yang P. Liu , Dor Minzer

Let $\Sigma \subset \mathbb{C}$ be a compact subset of the complex plane, and $\mu$ be a probability distribution on $\Sigma$. We give necessary and sufficient conditions for $\mu$ to be the weak* limit of a sequence of uniform probability…

数论 · 数学 2024-04-09 Bryce Joseph Orloski , Naser Talebizadeh Sardari

A notion of admissible probability measures $\mu$ on a locally compact Abelian group (LCA-group) $G$ with connected dual group $\hat G=\R^d\times \T^n$ is defined. To such a measure $\mu$, a closed semigroup $\Lambda(\mu)\subseteq…

概率论 · 数学 2007-05-23 S. Albeverio , H. Gottschalk , J. -L. Wu

Let $G_1,\dots,G_m$ be independent copies of the standard gaussian random vector in $\mathbb{R}^d$. We show that there is an absolute constant $c$ such that for any $A \subset S^{d-1}$, with probability at least $1-2\exp(-c\Delta m)$, for…

概率论 · 数学 2024-11-14 Daniel Bartl , Shahar Mendelson

We show the existence of an absolute constant $\alpha>0$ such that, for every $k \geq 3$, $G:=\mathop{\mathrm{Sym}}(k)$, and for every $H \leqslant G$ of index at least $3$, one has $|H/[H,H]| \leq |G:H|^{\alpha/ \log \log |G:H|}$. This…

群论 · 数学 2022-01-11 Luca Sabatini

A seminal result of H\r{a}stad [J. ACM, 48(4):798--859, 2001] shows that it is NP-hard to find an assignment that satisfies $\frac{1}{|G|}+\varepsilon$ fraction of the constraints of a given $k$-LIN instance over an abelian group, even if…

计算复杂性 · 计算机科学 2020-09-08 Amey Bhangale , Subhash Khot

We study approximability of regular constraint satisfaction problems, i.e., CSPs where each variable in an instance has the same number of occurrences. In particular, we show that for any CSP $\Lambda$, existence of an $\alpha$…

计算复杂性 · 计算机科学 2020-04-20 Aleksa Stankovic

In this paper, we consider lower bounds on the query complexity for testing CSPs in the bounded-degree model. First, for any ``symmetric'' predicate $P:{0,1}^{k} \to {0,1}$ except \equ where $k\geq 3$, we show that every (randomized)…

数据结构与算法 · 计算机科学 2010-07-21 Yuichi Yoshida

In this paper, we address the random sampling problem for the class of Mellin band-limited functions BT which is concentrated on a bounded cube. It is established that any function in BT can be approximated by an element in a…

泛函分析 · 数学 2023-05-25 Shivam Bajpeyi , Dhiraj Patel , S. Sivananthan

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

动力系统 · 数学 2018-10-17 Simon Baker , Derong Kong

Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<\epsilon\leq 1$. We show that there exists a constant $C=C(p, \epsilon)$ such that for every positive integer $k$, whenever $\phi_1, \dots, \phi_k:…

组合数学 · 数学 2023-06-02 W. T. Gowers , Thomas Karam

Let $A$ be a unital operator algebra. Let us assume that every {\it bounded\/} unital homomorphism $u\colon \ A\to B(H)$ is similar to a {\it contractive\/} one. Let $\text{\rm Sim}(u) = \inf\{\|S\|\, \|S^{-1}\|\}$ where the infimum runs…

泛函分析 · 数学 2016-09-07 Gilles Pisier

Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…

逻辑 · 数学 2020-12-21 Farmer Schlutzenberg
‹ 上一页 1 2 3 10 下一页 ›