English
Related papers

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

200 papers

We study minimum-error identification of an unknown single-bit Boolean function given black-box (oracle) access with one allowed query. Rather than stopping at an abstract optimal measurement, we give a fully constructive solution: an…

Quantum Physics · Physics 2025-12-19 Leonardo Bohac

In this paper, we study classes of Boolean functions that are testable with $O(\psi+1/\epsilon)$ queries, where $\psi$ depends on the parameters of the class (e.g., the number of terms, the number of relevant variables, etc.) but not on the…

Data Structures and Algorithms · Computer Science 2026-04-08 Nader H. Bshouty , George Haddad

This paper depicts an algorithm for solving the Decision Boolean Satisfiability Problem using the binary numerical properties of a Special Decision Satisfiability Problem, parallel execution, object oriented, and short termination. The two…

Data Structures and Algorithms · Computer Science 2018-04-17 Carlos Barrón-Romero

The main task of an energy calibration is to find a relation between pulse-height values and the corresponding energies. Doing this for each pulse-height channel individually requires an elaborated input spectrum with an excellent counting…

Instrumentation and Detectors · Physics 2016-02-17 Daniel Maier , Olivier Limousin

We study the complexity of approximate representation and learning of submodular functions over the uniform distribution on the Boolean hypercube $\{0,1\}^n$. Our main result is the following structural theorem: any submodular function is…

Machine Learning · Computer Science 2013-04-03 Vitaly Feldman , Pravesh Kothari , Jan Vondrak

$ \newcommand{\cclass}[1]{{\normalfont\textsf{##1}}} $We show average-case lower bounds for explicit Boolean functions against bounded-depth threshold circuits with a superlinear number of wires. We show that for each integer $d > 1$, there…

Computational Complexity · Computer Science 2018-06-19 Ruiwen Chen , Rahul Santhanam , Srikanth Srinivasan

Polynomial representations of Boolean functions over various rings such as $\mathbb{Z}$ and $\mathbb{Z}_m$ have been studied since Minsky and Papert (1969). From then on, they have been employed in a large variety of fields including…

Computational Complexity · Computer Science 2020-05-04 Xiaoming Sun , Yuan Sun , Jiaheng Wang , Kewen Wu , Zhiyu Xia , Yufan Zheng

We study the complexity of approximately solving the weighted counting constraint satisfaction problem #CSP(F). In the conservative case, where F contains all unary functions, there is a classification known for the case in which the domain…

Computational Complexity · Computer Science 2014-07-08 Xi Chen , Martin Dyer , Leslie Ann Goldberg , Mark Jerrum , Pinyan Lu , Colin McQuillan , David Richerby

We study the volatility of the output of a Boolean function when the input bits undergo a natural dynamics. For $n = 1,2,\ldots$, let $f_n:\{0,1\}^{m_n} \ra \{0,1\}$ be a Boolean function and $X^{(n)}(t)=(X_1(t),\ldots,X_{m_n}(t))_{t \in…

Probability · Mathematics 2015-07-14 Johan Jonasson Jeffrey E. Steif

Power dissipation and energy consumption have become one of the most important problems in the design of processors today. This is especially true in power-constrained environments, such as embedded and mobile computing. While lowering the…

Hardware Architecture · Computer Science 2011-11-22 Sourya Roy , Tyler Clemons , S M Faisal , Ke Liu , Nikos Hardavellas , Srinivasan Parthasarathy

A function $f$ is $d$-resilient if all its Fourier coefficients of degree at most $d$ are zero, i.e., $f$ is uncorrelated with all low-degree parities. We study the notion of $\mathit{approximate}$ $\mathit{resilience}$ of Boolean…

Machine Learning · Computer Science 2014-07-10 Dana Dachman-Soled , Vitaly Feldman , Li-Yang Tan , Andrew Wan , Karl Wimmer

A Boolean network (BN) is a discrete dynamical system defined by a Boolean function that maps to the domain itself. A trap space of a BN is a generalization of a fixed point, which is defined as the sub-hypercubes closed by the function of…

Discrete Mathematics · Computer Science 2024-10-21 Kyungduk Moon , Kangbok Lee , Loïc Paulevé

We study the relationship between various one-way communication complexity measures of a composed function with the analogous decision tree complexity of the outer function. We consider two gadgets: the AND function on 2 inputs, and the…

Computational Complexity · Computer Science 2022-01-19 Nikhil S. Mande , Swagato Sanyal , Suhail Sherif

In this work, we consider a new type of Fourier-like representation of Boolean function $f\colon\{+1,-1\}^n\to\{+1,-1\}$ \[ f(x) = \cos\left(\pi\sum_{S\subseteq[n]}\phi_S \prod_{i\in S} x_i\right). \] This representation, which we call the…

Quantum Physics · Physics 2019-03-27 Ryuhei Mori

In this article, we investigate the physical implications of the causality constraint via effective sound speed $c_s(\leq 1)$ on Quantum Circuit Complexity(QCC) in the framework of Cosmological Effective Field Theory (COSMOEFT) using the…

High Energy Physics - Theory · Physics 2023-04-28 Sayantan Choudhury , Arghya Mukherjee , Nilesh Pandey , Abhishek Roy

In simulating charged systems, it is often useful to treat some ionic components of the system at the mean-field level and solve the Poisson-Boltzmann (PB) equation to get their respective density profiles. The numerically intensive task of…

Soft Condensed Matter · Physics 2013-09-30 Vikram Jadhao , Francisco J. Solis , Monica Olvera de la Cruz

We show conflict complexity of every total Boolean function, recently introduced in [Swagato Sanyal. A composition theorem via conict complexity. arXiv preprint arXiv:1801.03285, 2018.] to prove a composition theorem of randomized decision…

Computational Complexity · Computer Science 2020-05-12 Yaqiao Li

Computational models typically assume that operations are applied in a fixed sequential order. In recent years several works have looked at relaxing this assumption, considering computations without any fixed causal structure and showing…

Quantum Physics · Physics 2025-08-21 Alastair A. Abbott , Mehdi Mhalla , Pierre Pocreau

The present study aims at further development of covariant energy density functionals (CEDFs) towards more accurate description of binding energies across the nuclear chart. For the first time, infinite basis corrections to binding energies…

Nuclear Theory · Physics 2025-07-29 B. Osei , A. V. Afanasjev , A. Taninah , A. Dalbah , U. C. Perera , V. A. Dzuba , V. V. Flambaum

We investigate the expressive power of neural networks from the point of view of descriptive complexity. We study neural networks that use floating-point numbers and piecewise polynomial activation functions from two perspectives: 1) the…

Computational Complexity · Computer Science 2025-05-12 Veeti Ahvonen , Damian Heiman , Antti Kuusisto
‹ Prev 1 4 5 6 7 8 10 Next ›