English
Related papers

Related papers: A tame sequence of transitive Boolean functions

200 papers

A Boolean function $f({\vec x})$ is sensitive to bit $x_i$ if there is at least one input vector $\vec x$ and one bit $x_i$ in $\vec x$, such that changing $x_i$ changes $f$. A function has sensitivity $s$ if among all input vectors, the…

Computational Complexity · Computer Science 2023-06-27 Jon T. Butler , Tsutomu Sasao , Shinobu Nagayama

A classical random walk $(S_t, t\in\mathbb{N})$ is defined by $S_t:=\displaystyle\sum_{n=0}^t X_n$, where $(X_n)$ are i.i.d. When the increments $(X_n)_{n\in\mathbb{N}}$ are a one-order Markov chain, a short memory is introduced in the…

Probability · Mathematics 2012-08-17 Peggy Cénac , Brigitte Chauvin , Samuel Herrmann , Pierre Vallois

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

General Topology · Mathematics 2018-03-29 Ľubica Holá , Dušan Holý

The dominated convergence theorem implies that if (f_n) is a sequence of functions on a probability space taking values in the interval [0,1], and (f_n) converges pointwise a.e., then the sequence of integrals converges to the integral of…

Functional Analysis · Mathematics 2014-01-03 Jeremy Avigad , Edward Dean , Jason Rute

Idempotent Boolean functions form a highly structured subclass of Boolean functions that is closely related to rotation symmetry under a normal-basis representation and to invariance under a fixed linear map in a polynomial basis. These…

Cryptography and Security · Computer Science 2026-02-03 Claude Carlet , Marko Ðurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

Let $R_n=\max_{0\leq j\leq n}S_j-S_n$ be a random walk $S_n$ reflected in its maximum. Except in the trivial case when $P(X\ge0)=1$, $R_n$ will pass over a horizontal boundary of any height in a finite time, with probability 1. We extend…

Probability · Mathematics 2009-09-29 Ron Doney , Ross Maller

A shift-periodic map is a one-dimensional map from the real line to itself which is periodic up to a linear translation and allowed to have singularities. It is shown that iterative sequences $x_{n+1}=F(x_n)$ generated by such maps display…

Dynamical Systems · Mathematics 2019-05-15 Julia Stadlmann , Radek Erban

In [1], the authors consider a random walk $(Z_{n,1},\ldots,Z_{n,K+1})\in \mathbb{Z}^{K+1}$ with the constraint that each coordinate of the walk is at distance one from the following one. A functional central limit theorem for the first…

Probability · Mathematics 2019-02-20 Thibault Espinasse , Nadine Guillotin-Plantard , Philippe Nadeau

The classical Poisson theorem says that if $\xi_1,\xi_2,...$ are i.i.d. 0--1 Bernoulli random variables taking on 1 with probability $p_n\equiv \la/n$ then the sum $S_n=\sum_{i=1}^n\xi_i$ is asymptotically in $n$ Poisson distributed with…

Probability · Mathematics 2011-10-11 Yuri Kifer

This work presents a study of perturbations of symmetric Boolean functions. In particular, it establishes a connection between exponential sums of these perturbations and Diophantine equations of the form $$ \sum_{l=0}^n \binom{n}{l}…

Combinatorics · Mathematics 2018-01-12 Francis N. Castro , Oscar E. González , Luis A. Medina

For any subshift, define $F_X(n)$ to be the collection of distinct follower sets of words of length $n$ in $X$. Based on a similar result of the second and third authors, we conjecture that if there exists an $n$ for which $|F_X(n)| \leq…

Dynamical Systems · Mathematics 2015-09-07 Thomas French , Nic Ormes , Ronnie Pavlov

We prove that the fully asynchronous dynamics of a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ without negative loop can be simulated, in a very specific way, by a monotone Boolean network with $2n$ components. We then use this result to…

Discrete Mathematics · Computer Science 2016-06-17 Tarek Melliti , Damien Regnault , Adrien Richard , Sylvain Sené

This paper argues that the ideas underlying the renormalization group technique used to characterize phase transitions in condensed matter systems could be useful for distinguishing computational complexity classes. The paper presents a…

Computational Complexity · Computer Science 2007-05-23 S. N. Coppersmith

Let $X$ be the constrained random walk on ${\mathbb Z}_+^d$ representing the queue lengths of a stable Jackson network and $x$ its initial position. Let $\tau_n$ be the first time the sum of the components of $X$ equals $n$. $p_n \doteq…

Probability · Mathematics 2015-07-28 Ali Devin Sezer

We consider random walk polynomial sequences $(P_n(x))_{n\in\mathbb{N}_0}\subseteq\mathbb{R}[x]$ given by recurrence relations of the form $P_0(x)=1$, $P_1(x)=x$ and $x P_n(x)=a_n P_{n+1}(x)+c_n P_{n-1}(x)\;(n\in\mathbb{N})$, where $a_n$…

Classical Analysis and ODEs · Mathematics 2026-03-19 Stefan Kahler , Josef Obermaier

Let $\rho$ be a borelian probability measure on $\mathrm{SL}_d(\mathbb{R})$. Consider the random walk $(X_n)$ on $\mathbb{R}^d\setminus\{0\}$ defined by $\rho$ : for any $x\in \mathbb{R}^d\setminus\{0\}$, we set $X_0 =x$ and $X_{n+1} =…

Probability · Mathematics 2016-07-12 Jean-Baptiste Boyer

Random walks in random scenery are processes defined by $Z_n:=\sum_{k=1}^n\xi_{X_1+...+X_k}$, where $(X_k,k\ge 1)$ and $(\xi_y,y\in\mathbb Z)$ are two independent sequences of i.i.d. random variables. We suppose that the distributions of…

Probability · Mathematics 2011-12-06 Nadine Guillotin-Plantard , Françoise Pène

For each $n$, let $X_n \in \{0,\ldots,n\}$ be a random variable with mean $\mu_n$, standard deviation $\sigma_n$, and let \[ P_n(z) = \sum_{k=0}^n \mathbb{P}( X_n = k) z^k ,\] be its probability generating function. We show that if none of…

Probability · Mathematics 2018-06-13 Marcus Michelen , Julian Sahasrabudhe

We consider a variant of the Boolean satisfiability problem where a subset E of the propositional variables appearing in formula Fsat encode a symmetric, transitive, binary relation over N elements. Each of these relational variables,…

Logic in Computer Science · Computer Science 2007-05-23 Randal E. Bryant , Miroslav N. Velev

We prove a lower bound of $\tilde{\Omega}(n^{1/3})$ for the query complexity of any two-sided and adaptive algorithm that tests whether an unknown Boolean function $f:\{0,1\}^n\rightarrow \{0,1\}$ is monotone or far from monotone. This…

Computational Complexity · Computer Science 2017-08-22 Xi Chen , Erik Waingarten , Jinyu Xie
‹ Prev 1 8 9 10 Next ›