English
Related papers

Related papers: Nonlinearity measures of random Boolean functions

200 papers

We study a natural complexity measure of Boolean functions known as the rational degree. Denoted $\textrm{rdeg}(f)$, it is the minimal degree of a rational function that is equal to $f$ on the Boolean hypercube. For total functions $f$, it…

Computational Complexity · Computer Science 2025-04-16 Vishnu Iyer , Siddhartha Jain , Robin Kothari , Matt Kovacs-Deak , Vinayak M. Kumar , Luke Schaeffer , Daochen Wang , Michael Whitmeyer

The construction of a multiresolution analysis starts with specification of a scale function. The Fourier transform of this function is defined by an infinite product. The convergence of this product is usually discussed in the context of…

Classical Analysis and ODEs · Mathematics 2007-05-23 V. Dobric , R. F. Gundy , P. Hitczenko

Stochastic monotonicity is a well known partial order relation between probability measures defined on the same partially ordered set. Strassen Theorem establishes equivalence between stochastic monotonicity and the existence of a coupling…

Probability · Mathematics 2017-08-01 Davide Gabrielli , Ida Germana Minelli

The approximate degree of a Boolean function $f(x_{1},x_{2},\ldots,x_{n})$ is the minimum degree of a real polynomial that approximates $f$ pointwise within $1/3$. Upper bounds on approximate degree have a variety of applications in…

Computational Complexity · Computer Science 2018-01-16 Alexander A. Sherstov

Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…

Logic in Computer Science · Computer Science 2020-04-14 Patrick Cegielski , Serge Grigorieff , Irene Guessarian

This paper studies the behavior of singularly perturbed nonlinear differential equations with boundary-layer solutions that do not necessarily converge to an equilibrium. Using the average of the fast variable and assuming the boundary…

Systems and Control · Computer Science 2018-09-24 Mohammad Deghat , Saeed Ahmadizadeh , Dragan Nesic , Chris Manzie

The number of $n$-ary balanced correlation immune (resilient) Boolean functions of order $\frac{n}{2}$ is not less than $n^{2^{(n/2)-2}(1+o(1))}$ as $n\rightarrow\infty$. Keywords: resilient function, correlation immune function, orthogonal…

Information Theory · Computer Science 2023-03-30 Vladimir N. Potapov

Differential rotation of r-modes is investigated within the nonlinear theory up to second order in the mode amplitude in the case of a slowly-rotating, Newtonian, barotropic, perfect-fluid star. We find a nonlinear extension of the linear…

General Relativity and Quantum Cosmology · Physics 2009-11-10 Paulo M. Sá

The purpose of this paper is to establish the regularity the weak solutions for a nonlinear biharmonic equation.

Analysis of PDEs · Mathematics 2007-05-23 Yinbin Deng , Yi Li

We consider functions from the real numbers to the real numbers, output by a neural network with 1 hidden activation layer, arbitrary width, and ReLU activation function. We assume that the parameters of the neural network are chosen…

Machine Learning · Computer Science 2023-04-20 David Holmes

We prove the covering radius of the third-order Reed-Muller code RM(3,7) is 20, which was previously known to be between 20 and 23 (inclusive). The covering radius of RM(3, 7) is the maximum third-order nonlinearity among all 7-variable…

Information Theory · Computer Science 2023-01-18 Jinjie Gao , Haibin Kan , Yuan Li , Qichun Wang

We consider non oscillatory functions and prove an everywhere Fourier Inversion Theorem for functions of very moderate decrease. The proofs rely on some ideas in nonstandard analysis.

Classical Analysis and ODEs · Mathematics 2023-01-19 Tristram de Piro

When do nonparametric Bayesian procedures ``overfit''? To shed light on this question, we consider a binary regression problem in detail and establish frequentist consistency for a certain class of Bayes procedures based on hierarchical…

Statistics Theory · Mathematics 2007-06-13 Marc Coram , Steven P. Lalley

For any smooth irreducible projective curve $X$, the gonality sequence $\{d_r \;| \; r \in \mathbb N \}$ is a strictly increasing sequence of positive integer invariants of $X$. In most known cases $d_{r+1}$ is not much bigger than $d_r$.…

Algebraic Geometry · Mathematics 2010-07-16 H. Lange , G. Martens

This paper proposes an algorithm for deciding consistency of systems of Boolean equations in several variables with co-efficients in the two element Boolean algebra $B_{0}=\{0,1\}$ and find all satisfying assignments. The algorithm is based…

Data Structures and Algorithms · Computer Science 2014-07-16 Virendra Sule

The error on a real quantity Y due to the graduation of the measuring instrument may be represented, when the graduation is regular and fines down, by a Dirichlet form on R whose square field operator do not depend on the probability law of…

Probability · Mathematics 2007-05-23 Nicolas Bouleau

It has been conjectured that there are no homogeneous rotation symmetric bent Boolean functions of degree greater than two. In this paper we begin by proving that sums of short-cycle rotation symmetric bent Boolean functions must contain a…

Information Theory · Computer Science 2017-08-31 T. W. Cusick , E. M. Sanger

The standard model of Boolean function property testing is not well suited for testing $\textit{sparse}$ functions which have few satisfying assignments, since every such function is close (in the usual Hamming distance metric) to the…

Computational Complexity · Computer Science 2025-09-03 Xi Chen , Anindya De , Yizhi Huang , Yuhao Li , Shivam Nadimpalli , Rocco A. Servedio , Tianqi Yang

We derive a new criterion for a real-valued function $u$ to be in the Sobolev space $W^{1,2}(\R^n)$. This criterion consists of comparing the value of a functional $\int f(u)$ with the values of the same functional applied to convolutions…

Functional Analysis · Mathematics 2007-05-23 Mark A. Peletier , Robert Planqué , Matthias Röger

The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient…

Logic · Mathematics 2013-05-01 Uri Andrews , Isaac Goldbring , H. Jerome Keisler