All Questions
Tagged with integer-sequences nt.number-theory
241 questions
8
votes
0
answers
237
views
Sequences for which $\prod (1-z^n)^{a(n)}$ is a polynomial
This is mostly a reference request.
I'm working with complex coefficients, although all I have in mind have integer coefficients.
Let $a=(a(n))_{n\ge 1}$ be a sequence, say of integers (I have non-...
7
votes
0
answers
184
views
Some conjectural congruences involving Domb numbers
The Domb numbers are given by
$$D_n=\sum_{k=0}^n\binom{n}{k}^2\binom{2k}k\binom{2(n-k)}{n-k}\ \ \ (n=0,1,2,\ldots).$$
Such numbers have combinatorial interpretation, see, e.g., http://oeis.org/A002895....
0
votes
0
answers
86
views
Polynomials of integer coefficients that evaluated at Mersenne or Fermat numbers produce square-free integers
Mersenne numbers $M_n=2^n-1$ and Fermat numbers $F_n=2^{2^n}+1$ draw the attention of professional mathematicians to get prime constellations or statements related to primality tests for these ...
6
votes
1
answer
240
views
On the growth and bounds for a certain sequence of integers known as Bogotá numbers
A Bogotá number is a non-negative integer equal to some smaller number, or itself, times its digital product, i.e. the product of its digits. For example, 138 is a Bogotá number because 138 = 23 x (2 ...
4
votes
0
answers
97
views
When is $\lfloor C^n \rfloor \mod b$ efficiently computable?
For real irrational $C > 1 $ and natural $n,b$, define
$a(C,n,b)=\lfloor C^n \rfloor \mod b$
Q1 For which $C,b$ is $a(C,n,b)$ computable in time polynomial
in $\log{n}$?
Searching in OEIS ...
1
vote
0
answers
73
views
On a type of equations that involve certain multiplicative functions and polynomials, in relation to their number of solutions
Past weekend I was interested in the sequence A058891 from the On-Line Encyclopedia of Integer Sequences, from this, inspired by the equation due to Benoit Cloitre (2002) that shows the comments, I ...
4
votes
0
answers
178
views
Primitive roots modulo primes related to Fibonacci numbers or Lucas numbers
The Fibonacci numbers $F_0,F_1,F_2,\ldots$ and the Lucas numbers $L_0,L_1,L_2,\ldots$ are given by
$$F_0=0,\ F_1=1,\ \text{and}\ F_{n+1}=F_n+F_{n-1}\ (n=1,2,3,\ldots)$$
and
$$L_0=2,\ L_1=1,\ \text{...
1
vote
2
answers
307
views
A question about integer triples
How can we generate all integer solutions of the equation
$$(qr+rp+pq)(x^2+y^2+z^2) = (p^2+q^2+r^2)(yz+zx+xy),$$
given that $p,q,r$ are integers?
Clearly if any one of $(x,y,z), (x,z,y), (y,z,x), (...
0
votes
1
answer
296
views
Solutions of the equation $\psi(\sigma(n))=2n$, where $\sigma(n)$ is the sum of divisors function and $\psi(n)$ the Dedekind psi function
For integers $m\geq 1$ let $\sigma(m)$ the sum of divisors function $\sum_{1\leq d\mid m}d$ and let $\psi(m)$ the Dedekind psi function (as reference I add the Wikipedia Dedekind psi function), then ...
1
vote
1
answer
334
views
Are there infinitely many primes of the form $\frac{3a^2-a}{2}+b^4$?
I was inspired from a theorem due to Iwaniec and Friedlander, see [1], to ask the following conjecuture involving integers.
Conjecture. There are infinitely many prime numbers of the form $$\frac{3a^...
3
votes
1
answer
247
views
A special type of Langford pairing
A Langford pairing is a permutation of the sequence of 2n numbers 1, 1, 2, 2, ..., n, n in which the two 1s are one unit apart, the two 2s are two units apart, and more generally the two copies of ...
5
votes
2
answers
1k
views
Proof that $3^ns + \sum_{k=0}^{n-1} 3^{n-k-1}2^{a_k}=2^m.$
How would I go about proving the following:
For any odd positive integer $s$, there exists a sequence of nonnegative integers $( a_0, a_1, \cdots, a_{n-1})$ and a nonnegative integer $m$ such that,
$...
15
votes
1
answer
475
views
Determinant of a matrix filled with elements of the Thue–Morse sequence
Let $n$ be a positive integer. Suppose we fill a square matrix $n\times n$ row-by-row with the first $n^2$ elements of the Thue–Morse sequence (with indexes from $0$ to $n^2-1$). Let $\mathcal D_n$ be ...
1
vote
1
answer
176
views
The sequence $G(n,k)=G(n-2,k)+G(n,k-2)$
Background: The binomial coefficients $C(n,k)$ satisfy the recurrence
$C(n,k)=C(n-1,k)+C(n-1,k-1)$ and some terminating conditions, for
more information check here.
$C(n,k)$ doesn't appear to be ...
0
votes
1
answer
212
views
A problem inspired in the definition of tau numbers and a divisibility relationship related to powers of two
It is (I assume that this easy fact is well-known) obvious that an integer $n>1$ is a power of two $n=2^{\alpha}$, where $\alpha\geq 1$ is integer, if an only if $n$ satisfies the divisibility ...
2
votes
0
answers
98
views
Two conjectures inspired from an equation involving the sum of divisors and the Euler's totient function due to Iannucci
In this post I add two equations involving the sum of divisors $\sigma(n)$ and the Euler's totient function, denoted in this post as $\varphi(n)$, and after I ask about a conjecture involving these. ...
0
votes
1
answer
149
views
Asymptotic of $\sum_{k=1}^n \operatorname{rad}(k!)$ and similar deductions
We denote for integers $m>1$ the product of the distinct prime numbers dividing $m$ as $$\operatorname{rad}(m)=\prod_{\substack{p\mid m\\p\text{ prime}}}p,$$
with the definition $\operatorname{rad}(...
5
votes
2
answers
393
views
What is this sequence counting?
While solving (a system of) a system of linear equations level-by-level recursively, I am finding some redundant equations for level $n\geq5$. The reason why the redundancies arise is because $P(n)\...
8
votes
0
answers
145
views
Minimum length of sequence such that every integer from 1 to n can be achieved as the sum of some contiguous subsequence
This question literally came to me in a fever dream last night, and it's frustrating me to no end. I'll try to explain it as best I can, but there may not be a satisfying answer; the best outcome ...
19
votes
1
answer
1k
views
Is OEIS A007018 really a subsequence of squarefree numbers?
A comment in A007018 a(n) = a(n-1)^2 + a(n-1), a(0)=1 claims
Subsequence of squarefree numbers (A005117). - Reinhard Zumkeller, Nov 15 2004
Is that really so?
As far as I know, it is an open ...
1
vote
0
answers
94
views
Family of polytopes whose measure respects multiplication?
Is there a family $\mathcal{P}$ of integral polytopes and a polytope product $\star$ such that for every $n\in\mathbb N_{>1}$ $\exists p\in\mathcal{P}:vol(p)=n$ and
$\forall q\in\mathcal{P}\...
0
votes
0
answers
248
views
Divisibility Properties of Pisano Periods
Let $(F_n)$ the Fibonacci sequence and $\pi(m)$ the Pisano period of $m$ (i.e., the smallest period of $F_n \pmod{m}$). There are many proved results about $\pi(m)$. For example, it is known that $\pi(...
34
votes
1
answer
3k
views
A remarkable almost-identity
OEIS sequence A210247 gives the signs of $\text{li}(-n,-1/3) = \sum_{k=1}^\infty (-1)^k k^n/3^k$, also the signs of the Maclaurin coefficients of $4/(3 + \exp(4x))$.
Mikhail Kurkov noticed that it ...
2
votes
1
answer
532
views
The Euler's totient function and the product of distinct primes dividing $n$ versus the Heronian means
For integers $n\geq 1$ with $$\operatorname{rad}(n)=\prod_{\substack{p\mid n\\p\text{ prime}}}p$$ we denote the squarefree kernel or radical of an integer $n$ (see if you want this Wikipedia). And $\...
13
votes
2
answers
2k
views
Positive integers written as $\binom{w}2+\binom{x}4+\binom{y}6+\binom{z}8$ with $w,x,y,z\in\{2,3,\ldots\}$
Let $\mathbb N=\{0,1,2,\ldots\}$. Recall that the triangular numbers are those natural numbers
$$T_x=\frac {x(x+1)}2\quad \text{with}\ x\in\mathbb N.$$
As $T_x=\binom{x+1}2$, Gauss' triangular number ...
5
votes
0
answers
161
views
Consecutive integers each of which has a large prime factor
There are many results about consecutive integers all having small prime factors. But what about consecutive integers each of which has a large prime factor?
More precisely, let $P(n)$ be the ...
10
votes
1
answer
589
views
XOR-free sets: Maximum density?
It is known that sum-free
subsets of $\mathbb{N}$ can have
natural density at most
$\frac{1}{2}$. This density is achieved by the odd numbers: the sum of two
odd numbers is even.
I ask now a similar ...
2
votes
1
answer
913
views
Numbers that are the sum of 2 distinct nonzero squares in exactly 1 way [closed]
I need to emulate this sequence for a program: http://oeis.org/A025302
Stuff that I've taken into account:
After finding the prime divisors of a number. I take any divisor as p and apply the ...
35
votes
0
answers
1k
views
Is there any positive integer sequence $c_{n+1}=\frac{c_n(c_n+n+d)}n$?
In a recent answer Max Alekseyev provided two recurrences of the form mentioned in the title which stay integer for a long time. However, they eventually fail.
QUESTION Is there any (added: ...
7
votes
4
answers
1k
views
Find a formula for the recurrent sequence $q_{n+1}=q_n(q_n+1)+1$
Find an analytic formula for the recurrent sequence $$q_{n+1}=q_n(q_n+1)+1,\;\;q_0\in\mathbb N.$$
(The question was asked on 03.05.2018 by M. Pratsovytyi, see page 109 of Volume 1 of the Lviv ...
4
votes
0
answers
206
views
Generating a Penrose tessellation around a given tile
Given a starting Penrose tile, I need to build a "spiraling" tessellation around it.
The following picture illustrates the request:
In this example, the starting tile is a "thin rhombus" (the pink ...
0
votes
0
answers
88
views
Infinite difference length of integer subsets
Let $A$ be a set of integers. In our recent researches, we've faced to the following property and definition:
We say $A$ has infinite difference length, if
(a) For every integer $n$ there exist a ...
-4
votes
1
answer
178
views
Covering system of congruences with specific properties?
A family of residue classes $a_i (\bmod n_i)$ with $2\leq n_1\leq\cdots\leq n_r$, ($r\geq2$) is called a covering system of congruences if every integer belongs to at least one of the residue classes, ...
1
vote
1
answer
229
views
constructing a covering system of congruences?
A family of residue classes $a_i (\mod n_i)$ with $2\leq n_1\leq\cdots\leq n_r$ is called a covering system of congruences if every integer belongs to at least one of the residue classes, that is, ...
5
votes
1
answer
297
views
Additive basis of order 2
Can we find $\alpha>1$ such that $u=(\lfloor n^\alpha\rfloor)_{n\geqslant0}$ is an additive basis of order $2$ (i.e. $\forall x\in\mathbb{N}, \exists(n,m)\in\mathbb{N}^2, x=u_n+u_m$) ?
Remark : ...
4
votes
2
answers
303
views
Periods of natural numbers
Define a function $F$ on the natural numbers $\geq 2$ as follows:
Start with $a \geq 2$ and let $b$ be the smallest prime divisor of $a$ and $c:=a+b$ and let $d$ denote the largest prime divisor of $c$...
4
votes
1
answer
168
views
An inequality involving $k$-generalized Fibonacci numbers
I have worked on a Diophantine equation by using transcendental and reduction methods given by Baker and Davenport. However, to solve completely the equation I have one complicated case and I proved ...
1
vote
0
answers
223
views
Does each prime $p>3$ have a quadratic nonresidue which is a Mersenne number?
Recall that the Mersenne numbers are those integers $M_p=2^p-1$ with $p$ prime.
QUESTION: Is it true that for each prime $p>3$ there is a Mersenne number which is a quadratic nonresidue modulo $p$?...
2
votes
0
answers
120
views
Sieving the values of an arithmetic sequence which is infinitely many times $1$
I have a sequence of positive integers $a_n$ which assumes infinitely many times the value $1$. I want to estimate the cardinality of the following set:
$$\#\{n\leq x : a_n>1 \text{ and } (a_n, \...
11
votes
1
answer
864
views
Up to $10^6$: $\sigma(8n+1) \mod 4 = OEIS A001935(n) \mod 4$ (Number of partitions with no even part repeated )
Up to $10^6$:
$\sigma(8n+1) \mod 4 = OEIS A001935(n) \mod 4$
A001935 Number of partitions with no even part repeated
Is this true in general?
It would mean relation between restricted partitions ...
2
votes
1
answer
740
views
Power tower made of $2$s and $3$s: too high, too soon?
A power tower of a number $x$ is typified by
$$ x^{x^{x^{x^{x^{x^{x^{x^{x^x}}}}}}}}.$$
Here, however, we take the liberty of referring to the set $T$ of "$\{2,3\}$-power towers"; i.e., numbers
$$...
5
votes
1
answer
303
views
Simply generated sequences with mysterious differences
Suppose that $a_0 < a_1,$ $b_0 < b_1,$ and $$a_n=a_1b_{n-1}+a_0b_{n-2}+qn+r$$ for $n \geq 2$, where $a_0,a_1,b_0,b_1,q,r$ are integers such that $(a_n)$ and $(b_n)$ are increasing and ${(|a_n|)}$...
5
votes
0
answers
317
views
Elliptic curve sequences needed for universal forgery
Elliptic Curve Digital Signature Algorithm (ECDSA) admits universal forgery (UF) if the Attacker can solve the equation
$$z=\frac{f_{k-1}(x,y)f_{k+1}(x,y)}{f_{k}(x,y)^2},$$
where $k$ is unknown, $f_{k}...
20
votes
2
answers
1k
views
A possibly surprising appearance of $\sqrt{2}.$
Define $A=(a_n)$ and $B=(b_n)$ as follows: $a_0=1$, $a_1=2$, $b_0=3$, $b_1=4$, and $$a_n=a_1b_{n-1}-a_0b_{n-2} + 2n$$ for $n \geq 2$, where $A$ and $B$ are increasing and every positive integer occurs ...
7
votes
2
answers
428
views
Limit associated with complementary sequences
Define $A=(a_n)$ and $B=(b_n)$ as follows: $a_0=1$, $a_1=2$, $b_0=3$, $b_1=4$, and $$a_n=a_0b_{n-1}+a_1b_{n-2}$$ for $n \geq 2$, where $A$ and $B$ are increasing and every positive integer occurs ...
0
votes
1
answer
104
views
Elementary description to count of perfect squares - II
What can we say about growth of smallest gap $g(a)$ which is the smallest $|x-y|$ where $0\leq x,y\leq\Big\lfloor\frac a2\Big\rfloor$ and $\sqrt{x(a-x)},\sqrt{y(a-y)}\in\Bbb Z$?
Is $g(a)=1\iff a=b^2+...
0
votes
1
answer
133
views
Elementary description to count of perfect squares - I
Is there an elementary description of $$N(a)=\Big|\Big\{x\in\{0,1,\dots,\Big\lfloor\frac a2\Big\rfloor-1,\Big\lfloor\frac a2\Big\rfloor\Big\}:\sqrt{x(a-x)}\in\Bbb Z\}\Big|$$ and though likely non-...
1
vote
2
answers
534
views
Can these sequences stay integer-valued as many times as we want and then fail?
Edit:
Suppose that we choose some integer $d$ and some natural number $c=c_2$. Then if we plug those values into
$$ c_{n+1}=\frac{c_n(c_n+n+d)}n $$ and observe the behavior of this recursively ...
9
votes
2
answers
1k
views
The p-adic valuation of a linear recurrence
Let $(u_n)_{n \geq 0}$ be an integer-valued linear recurrence of order $k \geq 1$. Precisely,
$$u_n = a_1 u_{n-1} + \cdots + a_k u_{n - k} \quad \forall n \geq k ,$$
for some $a_1, \ldots, a_k \in \...
1
vote
1
answer
81
views
Reference request for multiple free sequences
Erdos usually named a sequence of integers no one of which is divisible by any other as an $M$- sequence (M stands for "multiple-free") or primitive sequence.
For example it is easy to see that $\...