English
Related papers

Related papers: Composition limits and separating examples for som…

200 papers

Proving threshold theorems for fault-tolerant quantum computation is a burdensome endeavor with many moving parts that come together in relatively formulaic but lengthy ways. It is difficult and rare to combine elements from multiple papers…

Quantum Physics · Physics 2025-08-15 Zhiyang He , Quynh T. Nguyen , Christopher A. Pattison

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them…

Discrete Mathematics · Computer Science 2019-02-19 Valentin Bakoev

We study the relative-error property testing model for Boolean functions that was recently introduced in the work of Chen et al. (SODA 2025). In relative-error testing, the testing algorithm gets uniform random satisfying assignments as…

Computational Complexity · Computer Science 2025-04-15 Xi Chen , William Pires , Toniann Pitassi , Rocco A. Servedio

In this paper, we uncover a new uncertainty principle that governs the complexity of Boolean functions. This principle manifests as a fundamental trade-off between two central measures of complexity: a combinatorial complexity of its…

Combinatorics · Mathematics 2025-10-17 Fan Chang , Yijia Fang

Certifying the safety of nonlinear systems, through the lens of set invariance and control barrier functions (CBFs), offers a powerful method for controller synthesis, provided a CBF can be constructed. This paper draws connections between…

Systems and Control · Electrical Eng. & Systems 2024-06-18 Max H. Cohen , Ryan K. Cosner , Aaron D. Ames

Boolean circuits abstract away from physical details to focus on the logical structure and computational behaviour of digital components. Although such circuits have been studied for many decades, compositionality has been widely ignored or…

Logic in Computer Science · Computer Science 2026-03-24 Damian Arellanes

Representations of Boolean functions by real polynomials play an important role in complexity theory. Typically, one is interested in the least degree of a polynomial p(x_1,...,x_n) that approximates or sign-represents a given Boolean…

Computational Complexity · Computer Science 2008-05-15 Alexander A. Sherstov

We analyse the complexity of approximate counting constraint satisfactions problems $\mathrm{\#CSP}(\mathcal{F})$, where $\mathcal{F}$ is a set of nonnegative rational-valued functions of Boolean variables. A complete classification is…

Computational Complexity · Computer Science 2020-01-17 Miriam Backens , Andrei Bulatov , Leslie Ann Goldberg , Colin McQuillan , Stanislav Živný

To understand the sample-to-sample fluctuations in disorder-generated multifractal patterns we investigate analytically as well as numerically the statistics of high values of the simplest model - the ideal periodic $1/f$ Gaussian noise. By…

Statistical Mechanics · Physics 2015-06-05 Yan V. Fyodorov , Pierre Le Doussal , Alberto Rosso

A good understanding of conformal field theory (CFT) at c=0 is vital to the physics of disordered systems, as well as geometrical problems such as polymers and percolation. Steady progress has shown that these CFTs should be logarithmic,…

Mathematical Physics · Physics 2014-11-20 Jerome Dubail , Jesper Lykke Jacobsen , Hubert Saleur

A natural measure of smoothness of a Boolean function is its sensitivity (the largest number of Hamming neighbors of a point which differ from it in function value). The structure of smooth or equivalently low-sensitivity functions is still…

Computational Complexity · Computer Science 2015-08-12 Parikshit Gopalan , Noam Nisan , Rocco A. Servedio , Kunal Talwar , Avi Wigderson

Data complexity is an important concept in the natural sciences and related areas, but lacks a rigorous and computable definition. In this paper, we focus on a particular sense of complexity that is high if the data is structured in a way…

Computer Vision and Pattern Recognition · Computer Science 2025-03-21 Louis Mahon

Measuring inconsistency is viewed as an important issue related to handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we…

Artificial Intelligence · Computer Science 2014-06-03 Said Jabbour , Yue Ma , Badran Raddaoui , Lakhdar Sais , Yakoub Salhi

A modified Beltrametti-Cassinelli-Lahti model of measurement apparatus that satisfies both the probability reproducibility condition and the objectification requirement is constructed. Only measurements on microsystems are considered. The…

Quantum Physics · Physics 2011-03-03 Petr Hajicek

Balayage of measures with respect to classes of all subharmonic or harmonic functions on an open set of a plane or finite-dimensional Euclidean space is one of the main objects of potential theory and its applications to the complex…

Complex Variables · Mathematics 2020-08-05 B. N. Khabibullin , E. B. Menshikova

The agents within a multi-agent system (MAS) operating in marine environments often need to utilize task payloads and avoid collisions in coordination, necessitating adherence to a set of relative-pose constraints, which may include…

Systems and Control · Electrical Eng. & Systems 2024-03-22 Yujia Yang , Chris Manzie , Ye Pu

Post-training is routinely evaluated through aggregate benchmark scores that treat multi-hop reasoning as a single capability -- as if a model that answers more questions correctly must be better at assembling facts. We show that this…

Artificial Intelligence · Computer Science 2026-05-27 Zhe Yu , Wenpeng Xing , Yunzhao Wei , Jie Chen , Hongzhi Wang , Xuyang Teng , Meng Han

We give a complexity dichotomy for the problem of computing the partition function of a weighted Boolean constraint satisfaction problem. Such a problem is parameterized by a set of rational-valued functions, which generalize constraints.…

Computational Complexity · Computer Science 2009-06-03 Andrei Bulatov , Martin Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

It is discussed how the superstatistical formulation of effective Boltzmann factors can be related to the concept of Kolmogorov complexity, generating an infinite set of complexity measures (CMs) for quantifying information. At this level,…

Computational Complexity · Computer Science 2021-01-25 Jesús Fuentes , Octavio Obregón

The approximate degree of a Boolean function $f \colon \{-1, 1\}^n \rightarrow \{-1, 1\}$ is the least degree of a real polynomial that approximates $f$ pointwise to error at most $1/3$. We introduce a generic method for increasing the…

Computational Complexity · Computer Science 2017-03-20 Mark Bun , Justin Thaler