Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $\...