中文
相关论文

相关论文: A Low-Depth Monotone Function that is not an Appro…

200 篇论文

We study the problem of maximizing a monotone submodular function with viability constraints. This problem originates from computational biology, where we are given a phylogenetic tree over a set of species and a directed graph, the…

数据结构与算法 · 计算机科学 2016-11-18 Wolfgang Dvořák , Monika Henzinger , David P. Williamson

The problem of maximizing non-negative monotone submodular functions under a certain constraint has been intensively studied in the last decade. In this paper, we address the problem for functions defined over the integer lattice. Suppose…

数据结构与算法 · 计算机科学 2016-05-11 Tasuku Soma , Yuichi Yoshida

We characterize real functions $f$ on an interval $(-\alpha,\alpha)$ for which the entrywise matrix function $[a_{ij}] \mapsto [f(a_{ij})]$ is positive, monotone and convex, respectively, in the positive semidefiniteness order. Fractional…

泛函分析 · 数学 2007-10-09 Fumio Hiai

Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity. We prove lower bounds on the second-order, third-order, and higher-order…

密码学与安全 · 计算机科学 2023-09-21 Jinjie Gao , Haibin Kan , Yuan Li , Jiahua Xu , Qichun Wang

We give a new framework for proving the existence of low-degree, polynomial approximators for Boolean functions with respect to broad classes of non-product distributions. Our proofs use techniques related to the classical moment problem…

计算复杂性 · 计算机科学 2013-01-07 Adam Klivans , Raghu Meka

We establish a lower bound for deciding the satisfiability of the conjunction of any two Boolean formulas from a set called a full representation of Boolean functions of $n$ variables - a set containing a Boolean formula to represent each…

计算复杂性 · 计算机科学 2014-06-24 Samuel C. Hsieh

In this paper, we consider the problem of tolerant junta testing for boolean function. Compared with the prior work by Blais et al., we provide improved results in terms of both the parameter gap and query complexity. Compared with the…

数据结构与算法 · 计算机科学 2021-06-30 Xiaojin Zhang

An example is given of a hyperconvex manifold without non-constant bounded holomorphic functions, which is realized as a domain with real-analytic Levi-flat boundary in a projective surface.

复变函数 · 数学 2018-09-24 Masanori Adachi

Extending previous analyses on function classes like linear functions, we analyze how the simple (1+1) evolutionary algorithm optimizes pseudo-Boolean functions that are strictly monotone. Contrary to what one would expect, not all of these…

神经与进化计算 · 计算机科学 2015-03-17 Benjamin Doerr , Thomas Jansen , Dirk Sudholt , Carola Winzen , Christine Zarges

It is well-known that measures whose density is the form $e^{-V}$ where $V$ is a uniformly convex potential on $\RR^n$ attain strong concentration properties. In search of a notion of log-concavity on the discrete hypercube, we consider…

概率论 · 数学 2020-07-28 Ronen Eldan , Omer Shamir

We describe a $\tilde{O}(d^{5/6})$-query monotonicity tester for Boolean functions $f:[n]^d \to \{0,1\}$ on the $n$-hypergrid. This is the first $o(d)$ monotonicity tester with query complexity independent of $n$. Motivated by this…

离散数学 · 计算机科学 2019-12-11 Hadley Black , Deeparnab Chakrabarty , C. Seshadhri

We show an equivalence between 1-query quantum algorithms and representations by degree-2 polynomials. Namely, a partial Boolean function $f$ is computable by a 1-query quantum algorithm with error bounded by $\epsilon<1/2$ iff $f$ can be…

量子物理 · 物理学 2016-07-01 Scott Aaronson , Andris Ambainis , Jānis Iraids , Martins Kokainis , Juris Smotrovs

Boolean network models have gained popularity in computational systems biology over the last dozen years. Many of these networks use canalizing Boolean functions, which has led to increased interest in the study of these functions. The…

离散数学 · 计算机科学 2015-04-29 Qijun He , Matthew Macauley

A function defined on the Boolean hypercube is $k$-Fourier-sparse if it has at most $k$ nonzero Fourier coefficients. For a function $f: \mathbb{F}_2^n \rightarrow \mathbb{R}$ and parameters $k$ and $d$, we prove a strong upper bound on the…

数据结构与算法 · 计算机科学 2015-04-08 Ishay Haviv , Oded Regev

We study the problem of finding the Lowner-John ellipsoid, i.e., an ellipsoid with minimum volume that contains a given convex set. We reformulate the problem as a generalized copositive program, and use that reformulation to derive…

最优化与控制 · 数学 2020-06-22 Areesh Mittal , Grani A. Hanasusanto

To determine the dimension of null space of any given linearized polynomial is one of vital problems in finite field theory, with concern to design of modern symmetric cryptosystems. But, the known general theory for this task is much far…

信息论 · 计算机科学 2018-11-29 Sihem Mesnager , Kwang Ho Kim , Myong Song Jo

In this paper, it is shown that every polynomial function is mixed monotone globally with a polynomial decomposition function. For univariate polynomials, the decomposition functions can be constructed from the Gram matrix representation of…

最优化与控制 · 数学 2026-01-21 Adam M Tahir

We study noisy computation in randomly generated k-ary Boolean formulas. We establish bounds on the noise level above which the results of computation by random formulas are not reliable. This bound is saturated by formulas constructed from…

无序系统与神经网络 · 物理学 2014-11-21 Alexander Mozeika , David Saad

Large-scale nonsmooth optimization problems arise in many real-world applications, but obtaining exact function and subgradient values for these problems may be computationally expensive or even infeasible. In many practical settings, only…

最优化与控制 · 数学 2026-04-10 Jenni Lampainen , Kaisa Joki , Napsu Karmitsa , Marko M. Mäkelä

Consider the following decision problem: for a given monotone Boolean function $f$ decide, whether $f$ is read-once. For this problem, it is essential how the input function $f$ is represented. Our contribution consists of the following two…

计算复杂性 · 计算机科学 2018-07-10 Alexander Kozachinskiy