English
Related papers

Related papers: New Bounds for Energy Complexity of Boolean Functi…

200 papers

Submodular function minimization is a key problem in a wide variety of applications in machine learning, economics, game theory, computer vision, and many others. The general solver has a complexity of $O(n^3 \log^2 n . E +n^4 {\log}^{O(1)}…

Data Structures and Algorithms · Computer Science 2017-01-25 Srikumar Ramalingam , Chris Russell , Lubor Ladicky , Philip H. S. Torr

Power systems are undergoing unprecedented transformations with the incorporation of larger amounts of renewable energy sources, distributed generation and demand response. All these changes, while potentially making power grids more…

Optimization and Control · Mathematics 2015-02-06 Krishnamurthy Dvijotham , Steven Low , Michael Chertkov

In this work, we develop new insights into the fundamental problem of convexity testing of real-valued functions over the domain $[n]$. Specifically, we present a nonadaptive algorithm that, given inputs $\eps \in (0,1), s \in \mathbb{N}$,…

Data Structures and Algorithms · Computer Science 2021-10-26 Abhiruk Lahiri , Ilan Newman , Nithin Varma

We derive an operator based factorization theorem for the energy-energy correlation (EEC) observable in the back-to-back region, allowing the cross section to be written as a convolution of hard, jet and soft functions. We prove the…

High Energy Physics - Phenomenology · Physics 2019-01-16 Ian Moult , Hua Xing Zhu

While on some natural distributions, neural-networks are trained efficiently using gradient-based algorithms, it is known that learning them is computationally hard in the worst-case. To separate hard from easy to learn distributions, we…

Machine Learning · Computer Science 2020-01-22 Eran Malach , Shai Shalev-Shwartz

Physically valid and numerically efficient approximations for the exchange and correlation energy are critical for reduced density-matrix functional theory to become a widely used method in electronic structure calculations. Here we examine…

Strongly Correlated Electrons · Physics 2016-03-23 A. Putaja , F. G. Eich , T. Baldsiefen , E. Rasanen

We address the problem of finding optimal strategies for computing Boolean symmetric functions. We consider a collocated network, where each node's transmissions can be heard by every other node. Each node has a Boolean measurement and we…

Information Theory · Computer Science 2009-11-18 Hemant Kowshik , P. R. Kumar

One of the major outstanding foundational problems about boolean functions is the sensitivity conjecture, which (in one of its many forms) asserts that the degree of a boolean function (i.e. the minimum degree of a real polynomial that…

Computational Complexity · Computer Science 2015-11-25 Justin Gilmer , Michal Koucký , Michael Saks

The probabilistic degree of a Boolean function $f:\{0,1\}^n\rightarrow \{0,1\}$ is defined to be the smallest $d$ such that there is a random polynomial $\mathbf{P}$ of degree at most $d$ that agrees with $f$ at each point with high…

Computational Complexity · Computer Science 2019-10-08 Srikanth Srinivasan , Utkarsh Tripathi , S. Venkitesh

We study the parameterized problem of satisfying ``almost all'' constraints of a given formula $F$ over a fixed, finite Boolean constraint language $\Gamma$, with or without weights. More precisely, for each finite Boolean constraint…

Computational Complexity · Computer Science 2025-04-23 Eun Jung Kim , Stefan Kratsch , Marcin Pilipczuk , Magnus Wahlström

We study functions on the infinite-dimensional Hamming cube $\{-1,1\}^\infty$, in particular Boolean functions into $\{-1,1\}$, generalising results on analysis of Boolean functions on $\{-1,1\}^n$ for $n\in\mathbb{N}$. The notion of noise…

Probability · Mathematics 2019-06-11 Vilhelm Agdur

The approximate degree of a Boolean function is the minimum degree of real polynomial that approximates it pointwise. For any Boolean function, its approximate degree serves as a lower bound on its quantum query complexity, and generically…

Computational Complexity · Computer Science 2023-05-23 Mark Bun , Nadezhda Voronova

We prove lower bounds for the Minimum Circuit Size Problem (MCSP) in the Sum-of-Squares (SoS) proof system. Our main result is that for every Boolean function $f: \{0,1\}^n \rightarrow \{0,1\}$, SoS requires degree $\Omega(s^{1-\epsilon})$…

Computational Complexity · Computer Science 2023-11-23 Per Austrin , Kilian Risse

Random Boolean networks are models of disordered causal systems that can occur in cells and the biosphere. These are open thermodynamic systems exhibiting a flow of energy that is dissipated at a finite rate. Life does work to acquire more…

Other Quantitative Biology · Quantitative Biology 2010-09-16 Hilary A. Carteret , Kelly John Rose , Stuart A. Kauffman

We examine the $^{12}$C+$^{12}$C elastic scattering over a wide energy range from 32.0 to 70.7 MeV in the laboratory system within the framework of the Optical model and the Coupled-Channels formalism. The $^{12}$C+$^{12}$C system has been…

Nuclear Theory · Physics 2010-11-11 Y. Kucuk , I. Boztosun

We use numerical optimization to study the properties of (1) the class of one-dimensional potential energy functions and (2) systems of point charges in two-dimensions that yield the largest hyperpolarizabilities, which we find to be within…

Optics · Physics 2009-11-13 Juefei Zhou , Urszula B. Szafruga , David S. Watkins , Mark G. Kuzyk

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function $f$, $\bullet \quad \mathrm{deg}(f) = O(\widetilde{\mathrm{deg}}(f)^2)$: The degree of $f$ is at most quadratic in the approximate degree of $f$.…

Quantum Physics · Physics 2020-10-27 Scott Aaronson , Shalev Ben-David , Robin Kothari , Shravas Rao , Avishay Tal

We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $\epsilon$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied…

Computational Complexity · Computer Science 2014-12-19 Xi Chen , Rocco A. Servedio , Li-Yang Tan

Gene regulatory networks can be successfully modeled as Boolean networks. A much discussed hypothesis says that such model networks reproduce empirical findings the best if they are tuned to operate at criticality, i.e. at the borderline…

Molecular Networks · Quantitative Biology 2016-10-12 Pablo Villegas , José Ruiz-Franco , Jorge Hidalgo , Miguel A. Muñoz

We establish several upper bounds on the energy-constrained quantum and private capacities of all single-mode phase-insensitive bosonic Gaussian channels. The first upper bound, which we call the "data-processing bound," is the simplest and…

Quantum Physics · Physics 2018-06-18 Kunal Sharma , Mark M. Wilde , Sushovit Adhikari , Masahiro Takeoka
‹ Prev 1 8 9 10 Next ›