English
Related papers

Related papers: Power multiples in binary recurrence sequences: an…

200 papers

For coprime positive integers $q$ and $e$, let $m(q,e)$ denote the least positive integer $t$ such that there exists a sum of $t$ powers of $q$ which is divisible by $e$. We prove an upper bound for $m(q.e)$ and investigate the case where…

Number Theory · Mathematics 2022-04-21 Leif Jacob , Burkhard Külshammer

We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed…

Symbolic Computation · Computer Science 2010-05-05 Manuel Kauers , Veronika Pillwein

We explicitly determine the Ap\'ery limits for the sums of powers of binomial coefficients. As an application, we prove a weak version of Franel's conjecture on the order of the recurrences for these sequences. Namely, we prove the…

Number Theory · Mathematics 2023-06-27 Armin Straub , Wadim Zudilin

We re-examine previous constructions of infinite binary words containing few distinct squares with the goal of finding the "simplest", in a certain sense. We exhibit several new constructions. Rather than using tedious case-based arguments…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Daniel Gabric , Jeffrey Shallit

We provide a framework for using elliptic curves with complex multiplication to determine the primality or compositeness of integers that lie in special sequences, in deterministic quasi-quadratic time. We use this to find large primes,…

Number Theory · Mathematics 2016-02-24 Alexander Abatzoglou , Alice Silverberg , Andrew V. Sutherland , Angela Wong

We consider the problem of finding a sparse multiple of a polynomial. Given f in F[x] of degree d over a field F, and a desired sparsity t, our goal is to determine if there exists a multiple h in F[x] of f such that h has at most t…

Symbolic Computation · Computer Science 2011-01-04 Mark Giesbrecht , Daniel S. Roche , Hrushikesh Tilak

We consider a natural generalization of the Nagell-Ljunggren equation to the case where the qth power of an integer y, for q >= 2, has a base-b representation that consists of a length-l block of digits repeated n times, where n >= 2.…

Number Theory · Mathematics 2017-07-25 Andrew Bridy , Robert J. Lemke Oliver , Arlo Shallit , Jeffrey Shallit

We present a method to obtain congruences modulo powers of 2 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Fu\ss-Catalan numbers, and to subgroup counting functions…

Combinatorics · Mathematics 2012-06-27 Manuel Kauers , Christian Krattenthaler , Thomas W. Müller

We characterize the squares occurring in infinite overlap-free binary words and construct various alpha power-free binary words containing infinitely many overlaps.

Combinatorics · Mathematics 2007-05-23 James Currie , Narad Rampersad , Jeffrey Shallit

For earlier considered our sequence A166944 in [4] we prove three statements of its connection with twin primes. We also give a sufficient condition for the infinity of twin primes and pose several new conjectures; among them we propose a…

Number Theory · Mathematics 2010-01-11 Vladimir Shevelev

A supercongruence is a congruence between rational numbers modulo a power of a prime. In this paper, we give a technique for finding and algorithmically proving supercongruences by expressing terms as infinite series involving certain…

Number Theory · Mathematics 2017-06-22 Julian Rosen

We generalize the notion of a de Bruijn sequence to a "multi de Bruijn sequence": a cyclic or linear sequence that contains every k-mer over an alphabet of size q exactly m times. For example, over the binary alphabet {0,1}, the cyclic…

Combinatorics · Mathematics 2017-08-15 Glenn Tesler

Given a linear recurrence sequence (LRS) over the integers, the Positivity Problem} asks whether all terms of the sequence are positive. We show that, for simple LRS (those whose characteristic polynomial has no repeated roots) of order 9…

Discrete Mathematics · Computer Science 2014-04-29 Joel Ouaknine , James Worrell

In this paper, we construct four binary linear codes closely connected with certain exponential sums over the finite field F_q and F_q-{0,1}. Here q is a power of two. Then we obtain four recursive formulas for the power moments of…

Number Theory · Mathematics 2009-07-24 Dae San Kim

A double occurrence word $w$ over a finite alphabet $\Sigma$ is a word in which each alphabet letter appears exactly twice. Such words arise naturally in the study of topology, graph theory, and combinatorics. Recently, double occurrence…

Combinatorics · Mathematics 2012-05-01 Jonathan Burns , Tilahun Muche

Let q be a power of 2. We show by representation theory that there exists a q x q unitary matrix of multiplicative order q+1 whose powers generate q+1 pairwise mutually unbiased base in C^q. When q is a power of an odd prime, there is a q x…

Representation Theory · Mathematics 2007-05-23 Rod Gow

In a recent article, Apagodu and Zeilberger (http://arxiv.org/abs/1606.03351)discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the…

Number Theory · Mathematics 2016-07-11 Tewodros Amdeberhan , Roberto Tauraso

A recent heuristic argument based on basic concepts in spectral analysis showed that the twin prime conjecture and a few other related primes counting problems are valid. A rigorous version of the spectral method, and a proof for the…

General Mathematics · Mathematics 2017-10-24 N. A. Carella

Non-linear recurrences which generate integers in a surprising way have been studied by many people. Typically people study recurrences that are linear in the highest order term. In this paper I consider what happens when the recurrence is…

Combinatorics · Mathematics 2009-09-03 Emilie Hogan

We derive weighted summation identities involving the second order recurrence sequence $\{w_n\} =\{ w_n(a,b; p, q)\}$ defined by $w_0 = a,\,w_1 = b;\,w_n = pw_{n - 1} - qw_{n - 2}\, (n \ge 2)$, where $a$, $b$, $p$ and $q$ are arbitrary…

Number Theory · Mathematics 2018-04-13 Kunle Adegoke