Related papers: Local Correction of Juntas

We give a structure theorem for Boolean functions on the $p$-biased hypercube which are $\epsilon$-close to degree $d$ in $L_2$, showing that they are close to sparse juntas. Our structure theorem implies that such functions are…

In this article we prove that the singular set of Dirichlet-minimizing $Q$-valued functions is countably $(m-2)$-rectifiable and we give upper bounds for the $(m-2)$-dimensional Minkowski content of the set of singular points with…

Given a proper map f : M $\rightarrow$ Q, having cell-like point-inverses, from a manifold-without-boundary M onto an ANR Q, it is a much-studied problem to find when f is approximable by homeomorphisms, i.e., when the decomposition of M…

With $G_k(n)$ the number of functions of $n$ boolean variables definable by $k$-SAT formulae, we prove that $G_3(n)$ is asymptotic to $2^{n+\binom{n}{3}}$. This is a strong form of the case $k=3$ of a conjecture of Bollob\'as, Brightwell…

We prove a local $Tb$ theorem under close to minimal (up to certain `buffering') integrability assumptions, conjectured by S. Hofmann (El Escorial, 2008): Every cube is assumed to support two non-degenerate functions $b^1_Q\in L^p$ and…

Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete…

There has been much recent interest in the satisfiability of random Boolean formulas. A random k-SAT formula is the conjunction of m random clauses, each of which is the disjunction of k literals (a variable or its negation). It is known…

Local search algorithms and iterated local search algorithms are a basic technique. Local search can be a stand along search methods, but it can also be hybridized with evolutionary algorithms. Recently, it has been shown that it is…

Let $K$ be a finite simplicial complex, let $g\colon K\to K$ be a simplicial map and let $f$ be a discrete Morse-Bott function on $K$ satisfying $f(g(\sigma))\leq f(\sigma)$ for all simplices $\sigma$ in $K$. We establish a set of…

Let $M$ be a complete non-compact Riemannian manifold and $\sigma $ be a Radon measure on $M$, we study the existence and non-existence of positive solutions to a nonlocal elliptic inequality \begin{equation*} (-\Delta)^{\alpha} u\geq…

The best uniform polynomial approximation of the checkmark function $f(x)=|x-\alpha |$ is considered, as $\alpha$ varies in $(-1,1)$. For each fixed degree $n$, the minimax error $E_n (\alpha)$ is shown to be piecewise analytic in $\alpha$.…

We consider local modifications $\omega_n+f^*\omega_d$ of the Fubini-Study metric (with associated $(1,1)$-form $\omega_n$) on an open subset $\Omega\subset \bC\bP^n$ induced by a local holomorphic mapping $f\colon \Omega\to \bP^d$. Our…

In this work the implicit function theorem is used for searching local symbolic resolution of differential equations. General results of existence for first order equations are proven and some examples, one relative to cavitation in a…

We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…

Q-functions are widely used in discrete-time learning and control to model future costs arising from a given control policy, when the initial state and input are given. Although some of their properties are understood, Q-functions…

We obtain Dini conditions with "exponent 2" that guarantee that an asymptotically conformal quasisphere is rectifiable. In particular, we show that for any e>0 integrability of (esssup_{1-t < |x| < 1+t} K_f(x)-1)^{2-e} dt/t implies that the…

A smooth complex quasi-affine algebraic variety $Y$ is flexible if its special group $\SAut (Y)$ of automorphisms (generated by the elements of one-dimensional unipotent subgroups of $\Aut (Y)$) acts transitively on $Y$. An irreducible…

Let ${\mathfrak g}$ be a finite dimensional simple Lie algebra over an algebraically closed field $K$ of characteristic $0$. A linear map $\varphi:{\mathfrak g}\to {\mathfrak g}$ is called a local automorphism if for every $x$ in…

We consider the dichotomy conjecture for consistent query answering under primary key constraints. It states that, for every fixed Boolean conjunctive query q, testing whether q is certain (i.e. whether it evaluates to true over all repairs…

We consider the problem of linearizing a pseudo-Boolean function $f : \{0,1\}^n \to \mathbb{R}$ by means of $k$ Boolean functions. Such a linearization yields an integer linear programming formulation with only $k$ auxiliary variables. This…