Displaying similar documents to “Using Lucas sequences to generalize a theorem of Sierpiński”

Algebra of Polynomially Bounded Sequences and Negligible Functions

Hiroyuki Okazaki (2015)

Formalized Mathematics

Similarity:

In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the algebra of polynomially bounded sequences. Moreover, we then introduce equivalence relation...

Irreducible Sobol' sequences in prime power bases

Henri Faure, Christiane Lemieux (2016)

Acta Arithmetica

Similarity:

Sobol' sequences are a popular family of low-discrepancy sequences, in spite of requiring primitive polynomials instead of irreducible ones in later constructions by Niederreiter and Tezuka. We introduce a generalization of Sobol' sequences that removes this shortcoming and that we believe has the potential of becoming useful for practical applications. Indeed, these sequences preserve two important properties of the original construction proposed by Sobol': their generating matrices...