English
Related papers

Related papers: A New Representation of Binary Sequences by means …

200 papers

Aperiodic autocorrelation is an important indicator of performance of sequences used in communications, remote sensing, and scientific instrumentation. Knowing a sequence's autocorrelation function, which reports the autocorrelation at…

Information Theory · Computer Science 2025-01-07 Daniel J. Katz , Adeebur Rahman , Michael J Ward

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

Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form. For any…

Data Structures and Algorithms · Computer Science 2017-10-19 Randal E. Bryant

Using a generalized binomial transform and a novel binomial coefficient identity, we will show that the set of p-recursive sequences is closed under the binomial transform. Using these results, we will derive a new series representation for…

Classical Analysis and ODEs · Mathematics 2020-12-15 Stephanie L. Harshbarger , Barton L. Willis

Generalisations of the bent property of a boolean function are presented, by proposing spectral analysis with respect to a well-chosen set of local unitary transforms. Quadratic boolean functions are related to simple graphs and it is shown…

Information Theory · Computer Science 2007-07-13 Constanza Riera , Matthew G. Parker

An algorithm for computing the nonlinearity of a Boolean function from its algebraic normal form (ANF) is proposed. By generalizing the expression of the weight of a Boolean function in terms of its ANF coefficients, a formulation of the…

Information Theory · Computer Science 2013-05-07 Çağdaş Çalık

Consider a point-to-point communication system in which the transmitter holds a binary message of length $m$ and transmits a corresponding codeword of length $n$. The receiver's goal is to recover a Boolean function of that message, where…

Information Theory · Computer Science 2026-04-17 Jingge Zhu , Matthias Frey

We study some essential arithmetic properties of a new tree-based number representation, {\em hereditarily binary numbers}, defined by applying recursively run-length encoding of bijective base-2 digits. Our representation expresses giant…

Data Structures and Algorithms · Computer Science 2013-06-06 Paul Tarau

Classification of Non-linear Boolean functions is a long-standing problem in the area of theoretical computer science. In this paper, effort has been made to achieve a systematic classification of all n-variable Boolean functions, where…

Logic in Computer Science · Computer Science 2013-03-15 Ranjeet Kumar Rout , Pabitra Pal Choudhury , Sudhakar Sahoo

Given a sequence of distinct positive integers $w_0 , w_1, w_2, \ldots$ and any positive integer $n$, we define the discriminator function $\mathcal{D}_{\bf w}(n)$ to be the smallest positive integer $m$ such that $w_0,\ldots, w_{n-1}$ are…

Number Theory · Mathematics 2020-12-01 A. de Clercq , F. Luca , L. Martirosyan , M. Matthis , P. Moree , M. A. Stoumen , M. Weiß

Motivated by applications in polymer-based data storage we introduced the new problem of characterizing the code rate and designing constant-weight binary $B_2$-sequences. Binary $B_2$-sequences are collections of binary strings of length…

Information Theory · Computer Science 2023-03-24 Jin Sima , Yun-Han Li , Ilan Shomorony , Olgica Milenkovic

A pairing function for the non-negative integers is said to be binary perfect if the binary representation of the output is of length 2k or less whenever each input has length k or less. Pairing functions with square shells, such as the…

Discrete Mathematics · Computer Science 2018-11-13 Matthew P. Szudzik

We note with B2 the Boole algebra with two elements. We define for the R->B2 functions the limits, the derivatives, the differentiability, the test functions, the integrals. We also define the distributions over the space of these test…

General Mathematics · Mathematics 2007-05-23 Serban E. Vlad

Binary relations are an important abstraction arising in many data representation problems. The data structures proposed so far to represent them support just a few basic operations required to fit one particular application. We identify…

Data Structures and Algorithms · Computer Science 2012-01-18 Jérémy Barbay , Francisco Claude , Gonzalo Navarro

The classical Fibonacci sequence is known to exhibit many fascinating properties. In this paper, we explore the Fibonacci sequence and integer sequences generated by second order linear recurrence relations with positive integer…

Probability · Mathematics 2016-11-11 Arulalan Rajan , R. Vittal Rao , Ashok Rao , H. S. Jamadagni

This paper discusses the application of known techniques, knowledge and technology in a novel way for encryption. Two distinct and separate methods are presented. Method 1: Alter the symbol set of the language by adding additional redundant…

Cryptography and Security · Computer Science 2012-07-05 Givon Zirkind

Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified through ternary operations. In this context, we introduce structures that contain two constants and a…

Rings and Algebras · Mathematics 2024-10-31 Jorge Fatelo , Nelson Martins-Ferreira

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

A method for encoding and decoding spectrum shaped binary run-length constrained sequences is described. The binary sequences with predefined range of exponential sums are introduced. On the base of Cover's enumerative scheme, recurrence…

Information Theory · Computer Science 2010-01-26 Oleg F. Kurmaev

Suppose that $Y^n$ is obtained by observing a uniform Bernoulli random vector $X^n$ through a binary symmetric channel with crossover probability $\alpha$. The "most informative Boolean function" conjecture postulates that the maximal…

Information Theory · Computer Science 2017-05-03 Wasim Huleihel , Or Ordentlich