English
Related papers

Related papers: Onion De Bruijn Sequences: Fixed-Window Counting b…

200 papers

In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…

Computational Complexity · Computer Science 2020-09-01 Rohit Agrawal

Construct recursively a long string of words w1. .. wn, such that at each step k, w k+1 is a new word with a fixed probability p $\in$ (0, 1), and repeats some preceding word with complementary probability 1 -- p. More precisely, given a…

Probability · Mathematics 2019-06-26 Jean Bertoin

An $(m,n,R)$-de Bruijn covering array (dBCA) is a doubly periodic $M \times N$ array over an alphabet of size $q$ such that the set of all its $m \times n$ windows form a covering code with radius $R$. An upper bound of the smallest array…

Information Theory · Computer Science 2024-05-10 Yeow Meng Chee , Tuvi Etzion , Hoang Ta , Van Khu Vu

We present sufficient conditions for when an ordering of universal cycles $\alpha_1, \alpha_2, \ldots, \alpha_m$ for disjoint sets $\mathbf{S}_1, \mathbf{S}_2, \ldots , \mathbf{S}_m$ can be concatenated together to obtain a universal cycle…

Combinatorics · Mathematics 2018-06-25 Daniel Gabric , Joe Sawada

A De Bruijn cycle is a cyclic sequence in which every word of length $n$ over an alphabet $\mathcal{A}$ appears exactly once. De Bruijn tori are a two-dimensional analogue. Motivated by recent progress on universal partial cycles and words,…

Combinatorics · Mathematics 2025-04-02 William D. Carey , Matthew David Kearney , Rachel Kirsch , Stefan Popescu

Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequences are natural abstractions of extendable arrays, which…

Logic in Computer Science · Computer Science 2023-08-02 Artur Jeż , Anthony W. Lin , Oliver Markgraf , Philipp Rümmer

The focus of this work is to show how to combine Zech's logarithms and each of the cycle joining and cross-join pairing methods to construct binary de Bruijn sequences of any order. A basic implementation is supplied as a proof-of-concept.…

Information Theory · Computer Science 2019-06-05 Zuling Chang , Martianus Frederic Ezerman , Adamas Aqsa Fahreza , San Ling , Janusz Szmidt , Huaxiong Wang

Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term…

Rings and Algebras · Mathematics 2024-06-10 João Dias , Bruno Dinis

The Ward numbers $W(n,k)$ combinatorially enumerate set partitions with block sizes $\geq 2$ and phylogenetic trees (total partition trees). We prove that $W(n,k)$ also counts \emph{increasing Schr\"oder trees} by verifying they satisfy…

Combinatorics · Mathematics 2025-07-22 Elena L. Wang , Guoce Xin

In this paper we use the Recursion Theorem to show the existence of various infinite sequences and sets. Our main result is that there is an increasing sequence e_0, e_1, e_2 .. such that W_{e_n}={e_{n+1}} for every n. Similarly, we prove…

Logic · Mathematics 2008-01-15 Arnold W. Miller

An additive system for the nonnegative integers is a family (A_i)_{i\in I} of sets of nonnegative integers with 0 \in A_i for all i \in I such that every nonnegative integer can be written uniquely in the form \sum_{i\in I} a_i with a_i \in…

Number Theory · Mathematics 2021-01-06 Melvyn B. Nathanson

We study growth rates of generalised Fibonacci sequences of a particular structure. These sequences are constructed from choosing two real numbers for the first two terms and always having the next term be either the sum or the difference…

Number Theory · Mathematics 2021-02-22 Kevin Hare , J. C. Saunders

We obtain assumption-free, non-asymptotic, uniform bounds on the product of the height and the width of uniformly random trees with a given degree sequence, conditioned Bienaym\'e trees and simply generated trees. We show that for a tree of…

Probability · Mathematics 2025-01-03 Serte Donderwinkel , Robin Khanfir

We study a recursion that generates real sequences depending on a parameter $x$. Given a negative $x$ the growth of the sequence is very difficult to estimate due to canceling terms. We reduce the study of the recursion to a problem about a…

Combinatorics · Mathematics 2010-06-08 Magnus Aspenberg , Rodrigo Perez

Inspired by OEIS sequence A377912, which consists of the nonnegative integers in which every even digit (except possibly the last) is immediately followed by a strictly larger digit, we define even-up and odd-up words over an alphabet of…

Combinatorics · Mathematics 2025-05-21 Sela Fried

This paper gives a complete proof of a theorem of de Bruijn that classifies additive systems for the nonnegative integers, that is, families $\mca = (A_i)_{i\in I}$ of sets of nonnegative integers, each set containing 0, such that every…

Number Theory · Mathematics 2014-01-03 Melvyn B. Nathanson

A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the…

Combinatorics · Mathematics 2010-08-16 David Callan

In this article, we study "questionable representations" of (partial or total) orders, introduced in our previous article "A class of orders with linear? time sorting algorithm". (Later, we consider arbitrary binary functional/relational…

Combinatorics · Mathematics 2020-02-24 Laurent Lyaudet

We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition…

Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on frameworks for reasoning about path expressions…

Databases · Computer Science 2010-08-31 Everardo Barcenas , Pierre Geneves , Nabil Layaida , Alan Schmitt