Electron. Colloquium Comput. Complex.最新文献_第2页

Explicit separations between randomized and deterministic Number-on-Forehead communication 明确区分随机化和确定性数字-前额通信

Electron. Colloquium Comput. Complex. Pub Date : 2023-08-23 DOI: 10.48550/arXiv.2308.12451

Zander Kelley, Shachar Lovett, R. Meka

引用次数: 2

Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers 小稳健性区域中高维展开机的一致定理:盖的作用

Electron. Colloquium Comput. Complex. Pub Date : 2023-08-18 DOI: 10.48550/arXiv.2308.09582

Yotam Dikstein, Irit Dinur

{"title":"Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers","authors":"Yotam Dikstein, Irit Dinur","doi":"10.48550/arXiv.2308.09582","DOIUrl":"https://doi.org/10.48550/arXiv.2308.09582","url":null,"abstract":"Given a family $X$ of subsets of $[n]$ and an ensemble of local functions ${f_s:stoSigma; | ; sin X}$, an agreement test is a randomized property tester that is supposed to test whether there is some global function $G:[n]toSigma$ such that $f_s=G|_s$ for many sets $s$. A\"classical\"small-soundness agreement theorem is a list-decoding $(LD)$ statement, saying that [tag{$LD$} Agree({f_s})>varepsilon quad Longrightarrow quad exists G^1,dots, G^ell,quad P_s[f_soverset{0.99}{approx}G^i|_s]geq poly(varepsilon),;i=1,dots,ell. ] Such a statement is motivated by PCP questions and has been shown in the case where $X=binom{[n]}k$, or where $X$ is a collection of low dimensional subspaces of a vector space. In this work we study small the case of on high dimensional expanders $X$. It has been an open challenge to analyze their small soundness behavior. Surprisingly, the small soundness behavior turns out to be governed by the topological covers of $X$.We show that: 1. If $X$ has no connected covers, then $(LD)$ holds, provided that $X$ satisfies an additional expansion property. 2. If $X$ has a connected cover, then $(LD)$ necessarily fails. 3. If $X$ has a connected cover (and assuming the additional expansion property), we replace the $(LD)$ by a weaker statement we call lift-decoding: [ tag{$LFD$} Agree({f_s})>varepsilon Longrightarrow quad existstext{ cover }rho:Ytwoheadrightarrow X,text{ and }G:Y(0)toSigma,text{ such that }] [P_{{tilde stwoheadrightarrow s}}[f_s overset{0.99}{approx} G|_{tilde s}] geq poly(varepsilon),] where ${tilde stwoheadrightarrow s}$ means that $rho(tilde s)=s$. The additional expansion property is cosystolic expansion of a complex derived from $X$ holds for the spherical building and for quotients of the Bruhat-Tits building.","PeriodicalId":11639,"journal":{"name":"Electron. Colloquium Comput. Complex.","volume":"39 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82905594","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Classes of Hard Formulas for QBF Resolution 求解QBF的硬公式类

Electron. Colloquium Comput. Complex. Pub Date : 2023-08-14 DOI: 10.4230/LIPIcs.SAT.2022.5

Agnes Schleitzer, Olaf Beyersdorff

引用次数: 0

Effective Bounds for Restricted 3-Arithmetic Progressions in Fpn Fpn中受限3等差数列的有效界

Electron. Colloquium Comput. Complex. Pub Date : 2023-08-12 DOI: 10.48550/arXiv.2308.06600

Amey Bhangale, Subhash Khot, Dor Minzer

引用次数: 0

Space-bounded quantum state testing via space-efficient quantum singular value transformation 基于空间高效量子奇异值变换的空间有界量子态测试

Electron. Colloquium Comput. Complex. Pub Date : 2023-08-09 DOI: 10.48550/arXiv.2308.05079

Franccois Le Gall, Yupan Liu, Qisheng Wang

{"title":"Space-bounded quantum state testing via space-efficient quantum singular value transformation","authors":"Franccois Le Gall, Yupan Liu, Qisheng Wang","doi":"10.48550/arXiv.2308.05079","DOIUrl":"https://doi.org/10.48550/arXiv.2308.05079","url":null,"abstract":"Driven by exploring the power of quantum computation with a limited number of qubits, we present a novel complete characterization for space-bounded quantum computation, which encompasses settings with one-sided error (unitary coRQL) and two-sided error (BQL), approached from a quantum state testing perspective: - The first family of natural complete problems for unitary coRQL, i.e., space-bounded quantum state certification for trace distance and Hilbert-Schmidt distance; - A new family of natural complete problems for BQL, i.e., space-bounded quantum state testing for trace distance, Hilbert-Schmidt distance, and quantum entropy difference. In the space-bounded quantum state testing problem, we consider two logarithmic-qubit quantum circuits (devices) denoted as $Q_0$ and $Q_1$, which prepare quantum states $rho_0$ and $rho_1$, respectively, with access to their ``source code''. Our goal is to decide whether $rho_0$ is $epsilon_1$-close to or $epsilon_2$-far from $rho_1$ with respect to a specified distance-like measure. Interestingly, unlike time-bounded state testing problems, which exhibit computational hardness depending on the chosen distance-like measure (either QSZK-complete or BQP-complete), our results reveal that the space-bounded state testing problems, considering all three measures, are computationally as easy as preparing quantum states. Our results primarily build upon a space-efficient variant of the quantum singular value transformation (QSVT) introduced by Gily'en, Su, Low, and Wiebe (STOC 2019), which is of independent interest. Our technique provides a unified approach for designing space-bounded quantum algorithms. Specifically, we show that implementing QSVT for any bounded polynomial that approximates a piecewise-smooth function incurs only a constant overhead in terms of the space required for special forms of the projected unitary encoding.","PeriodicalId":11639,"journal":{"name":"Electron. Colloquium Comput. Complex.","volume":"38 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81502683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Determinants vs. Algebraic Branching Programs 行列式与代数分支程序

Electron. Colloquium Comput. Complex. Pub Date : 2023-08-08 DOI: 10.48550/arXiv.2308.04599

Abhranil Chatterjee, Mrinal Kumar, Ben lee Volk

{"title":"Determinants vs. Algebraic Branching Programs","authors":"Abhranil Chatterjee, Mrinal Kumar, Ben lee Volk","doi":"10.48550/arXiv.2308.04599","DOIUrl":"https://doi.org/10.48550/arXiv.2308.04599","url":null,"abstract":"We show that for every homogeneous polynomial of degree $d$, if it has determinantal complexity at most $s$, then it can be computed by a homogeneous algebraic branching program (ABP) of size at most $O(d^5s)$. Moreover, we show that for $textit{most}$ homogeneous polynomials, the width of the resulting homogeneous ABP is just $s-1$ and the size is at most $O(ds)$. Thus, for constant degree homogeneous polynomials, their determinantal complexity and ABP complexity are within a constant factor of each other and hence, a super-linear lower bound for ABPs for any constant degree polynomial implies a super-linear lower bound on determinantal complexity; this relates two open problems of great interest in algebraic complexity. As of now, super-linear lower bounds for ABPs are known only for polynomials of growing degree, and for determinantal complexity the best lower bounds are larger than the number of variables only by a constant factor. While determinantal complexity and ABP complexity are classically known to be polynomially equivalent, the standard transformation from the former to the latter incurs a polynomial blow up in size in the process, and thus, it was unclear if a super-linear lower bound for ABPs implies a super-linear lower bound on determinantal complexity. In particular, a size preserving transformation from determinantal complexity to ABPs does not appear to have been known prior to this work, even for constant degree polynomials.","PeriodicalId":11639,"journal":{"name":"Electron. Colloquium Comput. Complex.","volume":"238 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77003870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On Approximability of Satisfiable k-CSPs: IV 可满足k- csp的近似性:IV

Electron. Colloquium Comput. Complex. Pub Date : 2023-07-30 DOI: 10.48550/arXiv.2307.16248

Amey Bhangale, Subhash Khot, Dor Minzer

{"title":"On Approximability of Satisfiable k-CSPs: IV","authors":"Amey Bhangale, Subhash Khot, Dor Minzer","doi":"10.48550/arXiv.2307.16248","DOIUrl":"https://doi.org/10.48550/arXiv.2307.16248","url":null,"abstract":"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 connected distribution over $SigmatimesGammatimesPhi$ with no $(mathbb{Z},+)$ embeddings in which the probability of each atom is $Omega(1)$, then the following holds. Any triplets of $1$-bounded functions $fcolon Sigma^ntomathbb{C}$, $gcolon Gamma^ntomathbb{C}$, $hcolon Phi^ntomathbb{C}$ satisfying [ left|mathbb{E}_{(x,y,z)sim mu^{otimes n}}big[f(x)g(y)h(z)big]right|geq varepsilon ] must arise from an Abelian group associated with the distribution $mu$. More specifically, we show that there is an Abelian group $(H,+)$ of constant size such that for any such $f,g$ and $h$, the function $f$ (and similarly $g$ and $h$) is correlated with a function of the form $tilde{f}(x) = chi(sigma(x_1),ldots,sigma(x_n)) L (x)$, where $sigmacolon Sigma to H$ is some map, $chiin hat{H}^{otimes n}$ is a character, and $Lcolon Sigma^ntomathbb{C}$ is a low-degree function with bounded $2$-norm. En route we prove a few additional results that may be of independent interest, such as an improved direct product theorem, as well as a result we refer to as a ``restriction inverse theorem'' about the structure of functions that, under random restrictions, with noticeable probability have significant correlation with a product function. In companion papers, we show applications of our results to the fields of Probabilistically Checkable Proofs, as well as various areas in discrete mathematics such as extremal combinatorics and additive combinatorics.","PeriodicalId":11639,"journal":{"name":"Electron. Colloquium Comput. Complex.","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90614029","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Constant-depth circuits vs. monotone circuits 恒深电路与单调电路

Electron. Colloquium Comput. Complex. Pub Date : 2023-05-11 DOI: 10.48550/arXiv.2305.06821

B. P. Cavalar, I. Oliveira

{"title":"Constant-depth circuits vs. monotone circuits","authors":"B. P. Cavalar, I. Oliveira","doi":"10.48550/arXiv.2305.06821","DOIUrl":"https://doi.org/10.48550/arXiv.2305.06821","url":null,"abstract":"We establish new separations between the power of monotone and general (non-monotone) Boolean circuits: - For every $k geq 1$, there is a monotone function in ${sf AC^0}$ that requires monotone circuits of depth $Omega(log^k n)$. This significantly extends a classical result of Okol'nishnikova (1982) and Ajtai and Gurevich (1987). In addition, our separation holds for a monotone graph property, which was unknown even in the context of ${sf AC^0}$ versus ${sf mAC^0}$. - For every $k geq 1$, there is a monotone function in ${sf AC^0}[oplus]$ that requires monotone circuits of size $exp(Omega(log^k n))$. This makes progress towards a question posed by Grigni and Sipser (1992). These results show that constant-depth circuits can be more efficient than monotone circuits when computing monotone functions. In the opposite direction, we observe that non-trivial simulations are possible in the absence of parity gates: every monotone function computed by an ${sf AC^0}$ circuit of size $s$ and depth $d$ can be computed by a monotone circuit of size $2^{n - n/O(log s)^{d-1}}$. We show that the existence of significantly faster monotone simulations would lead to breakthrough circuit lower bounds. In particular, if every monotone function in ${sf AC^0}$ admits a polynomial size monotone circuit, then ${sf NC^2}$ is not contained in ${sf NC^1}$ . Finally, we revisit our separation result against monotone circuit size and investigate the limits of our approach, which is based on a monotone lower bound for constraint satisfaction problems established by G\"o\"os et al. (2019) via lifting techniques. Adapting results of Schaefer (1978) and Allender et al. (2009), we obtain an unconditional classification of the monotone circuit complexity of Boolean-valued CSPs via their polymorphisms. This result and the consequences we derive from it might be of independent interest.","PeriodicalId":11639,"journal":{"name":"Electron. Colloquium Comput. Complex.","volume":"124 1","pages":"29:1-29:37"},"PeriodicalIF":0.0,"publicationDate":"2023-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77528104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Sampling and Certifying Symmetric Functions 对称函数的抽样和证明

Electron. Colloquium Comput. Complex. Pub Date : 2023-05-07 DOI: 10.48550/arXiv.2305.04363

Yuval Filmus, Itai Leigh, Artur Riazanov, Dmitry Sokolov

{"title":"Sampling and Certifying Symmetric Functions","authors":"Yuval Filmus, Itai Leigh, Artur Riazanov, Dmitry Sokolov","doi":"10.48550/arXiv.2305.04363","DOIUrl":"https://doi.org/10.48550/arXiv.2305.04363","url":null,"abstract":"A circuit $mathcal{C}$ samples a distribution $mathbf{X}$ with an error $epsilon$ if the statistical distance between the output of $mathcal{C}$ on the uniform input and $mathbf{X}$ is $epsilon$. We study the hardness of sampling a uniform distribution over the set of $n$-bit strings of Hamming weight $k$ denoted by $mathbf{U}^n_k$ for _decision forests_, i.e. every output bit is computed as a decision tree of the inputs. For every $k$ there is an $O(log n)$-depth decision forest sampling $mathbf{U}^n_k$ with an inverse-polynomial error [Viola 2012, Czumaj 2015]. We show that for every $epsilon>0$ there exists $tau$ such that for decision depth $tau log (n/k) / log log (n/k)$, the error for sampling $mathbf{U}_k^n$ is at least $1-epsilon$. Our result is based on the recent robust sunflower lemma [Alweiss, Lovett, Wu, Zhang 2021, Rao 2019]. Our second result is about matching a set of $n$-bit strings with the image of a $d$-_local_ circuit, i.e. such that each output bit depends on at most $d$ input bits. We study the set of all $n$-bit strings whose Hamming weight is at least $n/2$. We improve the previously known locality lower bound from $Omega(log^* n)$ [Beyersdorff, Datta, Krebs, Mahajan, Scharfenberger-Fabian, Sreenivasaiah, Thomas and Vollmer, 2013] to $Omega(sqrt{log n})$, leaving only a quartic gap from the best upper bound of $O(log^2 n)$.","PeriodicalId":11639,"journal":{"name":"Electron. Colloquium Comput. Complex.","volume":"29 1","pages":"36:1-36:21"},"PeriodicalIF":0.0,"publicationDate":"2023-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89254439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

From Grassmannian to Simplicial High-Dimensional Expanders 从格拉斯曼膨胀到简单高维膨胀

Electron. Colloquium Comput. Complex. Pub Date : 2023-05-04 DOI: 10.48550/arXiv.2305.02512

Louis Golowich

引用次数: 0