English
Related papers

Related papers: Local Correction of Juntas

200 papers

An irreducible module for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$ is said to be of $\sigma$-type if an automorphism of the fusion algebra of $K(\mathfrak{sl}_2,k)$ of order $k$ is trivial on it. For any integer $k \ge…

Quantum Algebra · Mathematics 2020-12-21 Ching Hung Lam , Hiromichi Yamada

We study a quantum analogue of locally decodable error-correcting codes. A q-query locally decodable quantum code encodes n classical bits in an m-qubit state, in such a way that each of the encoded bits can be recovered with high…

Quantum Physics · Physics 2008-06-13 Jop Briët , Ronald de Wolf

The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part of many satisfiability and max-satisfiability solvers, where…

Data Structures and Algorithms · Computer Science 2008-11-18 Andrei A. Bulatov , Evgeny S. Skvortsov

We prove that topologically conjugate non-renormalizable polynomials are quasi-conformally conjugate. From this we derive that each such polynomial can be approximated by a hyperbolic polynomial. As a by product we prove that the Julia set…

Dynamical Systems · Mathematics 2014-02-26 Oleg Kozlovski , Sebastian van Strien

Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two…

The coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map…

Category Theory · Mathematics 2024-08-15 Adrian Clough

Functional conjugation methods are used to analyze the global structure of various renormalization group trajectories, and to gain insight into the interplay between continuous and discrete rescaling. With minimal assumptions, the methods…

High Energy Physics - Theory · Physics 2011-03-21 Thomas L. Curtright , Cosmas K. Zachos

For any Boolean function $f:\{0,1\}^n \to \{0,1\}$ with a complexity measure having value $k \ll n$, is it possible to restrict the function $f$ to $\Theta(k)$ variables while keeping the complexity preserved at $\Theta(k)$? This question,…

Computational Complexity · Computer Science 2026-05-22 Chandrima Kayal , Rajat Mittal , Sai Soumya Nalli , Manaswi Paraashar , Karthikeya Polisetty , Jayalal Sarma , Nitin Saurabh

We study the computational limits of learning $k$-bit Boolean functions (specifically, $\mathrm{AND}$, $\mathrm{OR}$, and their noisy variants), using a minimalist single-head softmax-attention mechanism, where $k=\Theta(d)$ relevant bits…

Machine Learning · Computer Science 2025-05-27 Jerry Yao-Chieh Hu , Xiwen Zhang , Maojiang Su , Zhao Song , Han Liu

In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in…

Probability · Mathematics 2019-08-20 Niushan Gao , Denny H. Leung , Foivos Xanthos

NK-Kauffman networks {\cal L}^N_K are a subset of the Boolean functions on N Boolean variables to themselves, \Lambda_N = {\xi: \IZ_2^N \to \IZ_2^N}. To each NK-Kauffman network it is possible to assign a unique Boolean function on N…

Quantitative Methods · Quantitative Biology 2015-05-13 Federico Zertuche

A quantum algorithm is exact if, on any input data, it outputs the correct answer with certainty (probability 1). A key question is: how big is the advantage of exact quantum algorithms over their classical counterparts: deterministic…

Quantum Physics · Physics 2014-07-11 Andris Ambainis

We prove a strong composition theorem for junta complexity and show how such theorems can be used to generically boost the performance of property testers. The $\varepsilon$-approximate junta complexity of a function $f$ is the smallest…

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

We give a direct proof of the local $Tb$ Theorem, in the Euclidean setting, and under the assumption of dual exponents. This Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator, supposing the…

Classical Analysis and ODEs · Mathematics 2016-05-03 Michael T. Lacey , Antti V. Vähäkangas

To study the question under which circumstances small solutions can be found faster than by exhaustive search (and by how much), we study the fine-grained complexity of Boolean constraint satisfaction with size constraint exactly $k$. More…

Computational Complexity · Computer Science 2020-05-26 Marvin Künnemann , Dániel Marx

We investigate the computational complexity of the Local Hamiltonian (LH) problem and the approximation of the Quantum Partition Function (QPF), two central problems in quantum many-body physics and quantum complexity theory. Both problems…

Quantum Physics · Physics 2025-10-10 Nai-Hui Chia , Yu-Ching Shen

Let $G$ be a reductive complex Lie group acting holomorphically on normal Stein spaces $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? If the…

Complex Variables · Mathematics 2013-08-15 Frank Kutzschebauch , Finnur Larusson , Gerald W. Schwarz

What is the power of polynomial-time quantum computation with access to an NP oracle? In this work, we focus on two fundamental tasks from the study of Boolean satisfiability (SAT) problems: search-to-decision reductions, and approximate…

Quantum Physics · Physics 2024-09-02 Sevag Gharibian , Jonas Kamminga

For input $x$, let $F(x)$ denote the set of outputs that are the "legal" answers for a computational problem $F$. Suppose $x$ and members of $F(x)$ are so large that there is not time to read them in their entirety. We propose a model of…

Data Structures and Algorithms · Computer Science 2011-04-08 Ronitt Rubinfeld , Gil Tamir , Shai Vardi , Ning Xie

Consider systems of equations $q_i(x)=0$, where $q_i: {\Bbb R}^n \longrightarrow {\Bbb R}$, $i=1, \ldots, m$, are quadratic forms. Our goal is to tell efficiently systems with many non-trivial solutions or near-solutions $x \ne 0$ from…

Optimization and Control · Mathematics 2020-06-24 Alexander Barvinok
‹ Prev 1 8 9 10 Next ›