Generalized Sierpiński Numbers

Michael Filaseta,Robert Groth,Thomas Luckner

2023-05-16

Abstract:A Sierpiński number is a positive odd integer $k$ such that $k \cdot 2^n + 1$ is composite for all positive integers $n$. Fix an integer $A$ with $2 \le A$. We show that there exists a positive odd integer $k$ such that $k\cdot a^n + 1$ is composite for all integers $a \in [2, A]$ and all $n \in \mathbb{Z}^+$.

Number Theory

What problem does this paper attempt to address?

Sums of powers of integers and the sequence A304330

José L. Cereceda

2024-04-25

Abstract:For integer $k \geq 1$, let $S_k(n)$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. In this paper, we derive a new formula expressing $2^{2k}$ times $S_{2k}(n)$ as a sum of $k$ terms involving the numbers in the $k$th row of the integer sequence A304330, which is closely related to the central factorial numbers of the second kind with even indices. Furthermore, we provide an alternative proof of Knuth's formula for $S_{2k}(n)$ and show that it can equally be expressed in terms of A304330. We also deduce the corresponding formulas for the odd-indexed power sums $S_{2k-1}(n)$. Finally, we determine the Faulhaber form of $S_{2k}(n)$ and $S_{2k+1}(n)$ in terms of the sequence A304330 and the Legendre-Stirling numbers of the first kind.

General Mathematics
Generalized Frobenius Number of Three Variables

Kittipong Subwattanachai

2023-09-17

Abstract:For $ k \geq 2 $, we let $ A = (a_{1}, a_{2}, \ldots, a_{k}) $ be a $k$-tuple of positive integers with $\gcd(a_{1}, a_2, \ldots, a_k) =1$ and, for a non-negative integer $s$, the generalized Frobenius number of $A$, $g(A;s) = g(a_1, a_2, \ldots, a_k;s)$, the largest integer that has at most $s$ representations in terms of $a_1, a_2, \ldots, a_k$ with non-negative integer coefficients. In this article, we give a formula for the generalized Frobenius number of three positive integers $(a_1,a_2,a_3)$ with certain conditions.

Number Theory
Two New Kinds of Numbers and Related Divisibility Results

Zhi-Wei Sun

DOI: https://doi.org/10.4064/cm7405-1-2018

2018-01-01

Colloquium Mathematicum

Abstract:We mainly introduce two new kinds of numbers given by R-n = Sigma(n)(k=0) ((n)(k)) ((n + k)(k)) 1/2k - 1 (n = 0,1,2,...), S-n = Sigma(n)(k=0) ((n)(k))(2) ((2k)(k)) (2k + 1) (n = 0,1,2,...). We find that such numbers have many interesting arithmetic properties. For example, if p 1 (mod 4) is a prime with p = x(2 )+ y(2) (where x 1 (mod 4) and y 0 (mod 2)), then R(p-1)/2 p - (-1)((p-1)/4)2x ( mod p(2)). Also, 1/n(2) Sigma(n-1)(k=0) S-k is an element of Z and 1/n Sigma(n-1)(k=0) S-k(x) is an element of Z[x] for all n = 1,2,..., where S-k(x) = Sigma(k)(j=0) ((k)(j))(2) ((2j)(j)) (2j + 1)x(j). For any positive integers a and n, we show that, somewhat surprisingly, 1/n(2) Sigma(n-1)(k=0)(2k + 1) ((n - 1)(k))(a) ((-n - 1)(k))(a) is an element of Z and 1/n Sigma(n-1)(k=0) ((n - 1)(k))(a) ((-n - 1)(k))(a)/4k(2) - 1 is an element of Z. We also solve a conjecture of V. J. W. Guo and J. Zeng, and pose several conjectures for further research.
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
A Note on Generalized Repunit Numerical Semigroups

Feihu Liu,Guoce Xin,Suting Ye,Jingjing Yin

2023-06-19

Abstract:Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this note, we study the Frobenius problem of $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,...,b^ka+\frac{b^k-1}{b-1}d\right)$ and obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1$. Our formulas simplifies further for some special cases, such as repunit, Mersenne and Thabit numerical semigroups. The idea is similar to that in [\cite{LiuXin23},<a class="link-https" data-arxiv-id="2306.03459" href="https://arxiv.org/abs/2306.03459">arXiv:2306.03459</a>].

Number Theory,Combinatorics
On K-Self-Numbers and Universal Generated Numbers

TX Cai

DOI: https://doi.org/10.1080/00150517.1996.12429082

1996-01-01

Abstract:In 1963, D. R. Kaprekar [1] introduced the concept of self-numbers. Let k>\ be an arbitrary integer. A natural number m is said to be a £-self-number iff the equation m-nrdk(ri) has no solution in an integer n > 0, where dk(n) denotes the sum of digits of n while represented in the base k. Otherwise, we say that m is a ^-generated number. And m is said to be a universal generated number if it is generated in every base. For example, 2, 10, 14, 22, 38, etc. are universal generated numbers. The number 12 is 4-generated by 9, but it is a 6-self-number. In 1973, V. S. Joshi [2] proved that "if k is odd, then m is a &-self-number iff m is odd," i.e., every even number in an odd base is a generated number. In 1991, R. B. Patel ([3], M.R. 93b: 11011) tested for self-numbers in an even base k. What he proved is: 2ki, 4£ + 2, k +2k + \ are ^-self-numbers in every even base k > 4. In the present paper, we first prove some new results on self-numbers in an even base k.
$p$-numerical semigroup of generalized Fibonacci triples

Takao Komatsu,Shanta Laishram,Pooja Punyani

2023-04-02

Abstract:For a nonnegative integer $p$, we give explicit formulas for the $p$-Frobenius number and the $p$-genus of generalized Fibonacci numerical semigroups. Here, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_k$ are expressed more than $p$ ways. When $p=0$, $S_0$ with the $0$-Frobenius number and the $0$-genus is the original numerical semigroup with the Frobenius number and the genus. In this paper, we consider the $p$-numerical semigroup involving Jacobsthal polynomials, which include Fibonacci numbers as special cases. We can also treat with the Jacobsthal-Lucas polynomials, including Lucas numbers accordingly. One of the applications on the $p$-Hilbert series is mentioned.

Number Theory,Combinatorics,Group Theory
On a variant of the happy numbers and their generalizations

Luca Onnis

DOI: https://doi.org/10.48550/arXiv.2203.03381

2022-02-25

General Mathematics

Abstract:This paper investigates a variant of the famous "happy numbers" sequence, given by A351327 on the oeis. First of all we'll define this integer sequence, and then we'll show some important results about it; in particular we conjectured that if $k$ is a term of the sequence, then it converges to 1 in a number of steps less or equal to 3. Furthermore it will be possible to find some codes written in Wolfram language in order to compute large terms of the sequence and to support our hypothesis. At the end we'll explore some new conjectures and generalizations about this kind of integer sequence.
A new variant of the Hilbert-Waring problem.

Tianxin Cai,Deyi Chen

DOI: https://doi.org/10.1090/S0025-5718-2013-02685-3

IF: 2.118

2013-01-01

Mathematics of Computation

Abstract:In this paper, we propose a new variant of Waring's problem: to express a positive integer n as a sum of s positive integers whose product is a k-th power. We define, in a similar way to that done for g(k) and G(k) in Waring's problem, numbers g'(k) and G'(k). We obtain g'(k) = 2k - 1, G'(p) <= p + 1 for primes p, G'(2p) <= 2p + 2 for odd primes p. Moreover, we obtain several interesting results and make two conjectures about G'(3) and G'(4).
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

Feihu Liu,Guoce Xin

2023-03-13

Abstract:Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.

Combinatorics,Number Theory
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

DOI: https://doi.org/10.1016/j.jnt.2014.09.014

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
Sums of powers of integers via differentiation

José L. Cereceda

2023-03-24

Abstract:For integer $k \geq 0$, let $S_k$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. For any given $k$, the power sum $S_k$ can in principle be determined by differentiating $k$ times (with respect to $x$) the associated exponential generating function $\sum_{k=0}^{\infty}S_k x^k/k!$, and then taking the limit of the resulting differentiated function as $x$ approaches $0$. In this paper, we exploit this method to establish a couple of seemingly novel recurrence relations, one of them involving the even-indexed power sums $S_2, S_4,\ldots, S_{2k}$, and the other the odd-indexed power sums $S_{1}, S_3, \ldots, S_{2k-1}$, with both recurrence relations depending explicitly on the parameter $N = n + \frac{1}{2}$. From this, we obtain a determinantal formula of order $k$ which yields $S_{2k}$ [$S_{2k-1}$] in the Faulhaber form, that is, as an odd [even] polynomial in $N$. As a byproduct, we discover a new determinantal formula for the Bernoulli number $B_{2k}$. Furthermore, we show that $S_{2k}$ and $S_{2k-1}$ can be obtained by taking the corresponding higher order derivatives of the Chebyshev polynomials of the second kind.

Number Theory
Two New Kinds of Numbers and Their Arithmetic Properties

Zhi-Wei Sun

2014-01-01

Abstract:We mainly introduce two new kinds of numbers given by $$R_n=\sum_{k=0}^n\binom nk\binom{n+k}k\frac1{2k-1}\quad (n=0,1,2,...)$$ and $$S_n=\sum_{k=0}^n\binom nk^2\binom{2k}k(2k+1)\quad (n=0,1,2,...).$$ We find that such numbers have many interesting arithmetic properties. For example, if $p\equiv1\pmod 4$ is a prime with $p=x^2+y^2$ (where $x\equiv1\pmod 4$ and $y\equiv0\pmod 2$), then $$R_{(p-1)/2}\equiv p-(-1)^{(p-1)/4}2x\pmod{p^2}.$$ Also, $$\frac1{n^2}\sum_{k=0}^{n-1}S_k\in\mathbb Z \frac1n\sum_{k=0}^{n-1}S_k(x)\in\mathbb Z[x]\quad\text{for all} n=1,2,3,...,$$ where $S_k(x)=\sum_{j=0}^k\binom kj^2\binom{2j}j(2j+1)x^j$. For any positive integers $a$ and $n$, we show that, somewhat surprisingly, $$\frac1{n^2}\sum_{k=0}^{n-1}(2k+1)\binom{n-1}k^a\binom{-n-1}k^a\in\mathbb Z {and} \frac 1n\sum_{k=0}^{n-1}\frac{\binom{n-1}k^a\binom{-n-1}k^a}{4k^2-1}\in\mathbb Z.$$ We also solve a conjecture of V.J.W. Guo and J. Zeng, and pose several conjectures for further research.
A Generalization Of Euler'S Pentagonal Number Theorem With An Application

Hari M. Srivastava,Chao-Ping Chen

DOI: https://doi.org/10.23952/jnva.5.2021.5.11

2021-01-01

Journal of Nonlinear and Variational Analysis

Abstract:In this paper, we give a generalization of Euler's pentagonal number theorem. As an application, we derive a recursion formula for successively determining the coefficients a(k) of 1/n(k). We conclude this paper by presenting brief descriptions for some related results and other motivating developments.
On Frobenius Formulas of Power Sequences

Feihu Liu,Guoce Xin

2024-06-26

Abstract:Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method reduces the problem to a simpler optimization problem, denoted as $O_B(M)$. In this paper, we apply this method to solve the open problem of characterizing $g(A)$ for the square sequence $A=(a,a+1,a+2^2,\ldots, a+k^2)$. We demonstrate that the Frobenius number $g(a, a+1^2, a+2^2, \ldots)$ for the infinite square sequence admits a simpler solution. This is because the corresponding optimization problem, $O_B(M)$, can be solved by applying number-theoretic principles, specifically Lagrange's Four-Square Theorem and related results. Consequently, we are able to resolve the open problem by utilizing Lagrange's Four-Square Theorem in conjunction with generating functions.

Combinatorics
General position sets, colinear sets, and Sierpiński product graphs

Sandi Klavžar,Jing Tian

2024-04-08

Abstract:Let $G \otimes _f H$ denote the Sierpiński product of $G$ and $H$ with respect to the function $f$. The Sierpiński general position number ${\rm gp}{_{\rm S}}(G,H)$ is introduced as the cardinality of a largest general position set in $G \otimes _f H$ over all possible functions $f$. Similarly, the lower Sierpiński general position number $\underline{\rm gp}{_{\rm S}}(G,H)$ is the corresponding smallest cardinality. The concept of vertex-colinear sets is introduced. Bounds for the general position number in terms of extremal vertex-colinear sets, and bounds for the (lower) Sierpiński general position number are proved. The extremal graphs are investigated. Formulas for the (lower) Sierpiński general position number of the \SP{s} with $K_2$ as the first factor are deduced. It is proved that if $m,n\geq 2$, then ${\rm gp}{_{\rm S}}(K_m,K_n) = m(n-1)$ and that if $n\ge 2m-2$, then $\underline{\rm gp}{_{\rm S}}(K_m,K_n) = m(n-m+1)$.

Combinatorics
A Formula For the Number of $k$-almost Primes

Steven Creech

DOI: https://doi.org/10.48550/arXiv.2310.14989

2023-10-23

Abstract:In 2005, E. Noel and G. Panos constructed a formula to count the number of semiprimes less than a given value $x$. In 2006, this formula was rediscovered independently by R.G. Wilson V. However, each citation of this result was simply through personal communication, and a formal proof has not been written down anywhere in the literature. In this article, we generalize their formula to the case of $k$-almost primes and square-free $k$-almost primes.

Number Theory
On the set of Kronecker numbers

Sayan Goswami,Wen Huang,XiaoSheng Wu

2023-03-10

Abstract:An positive even number is said to be a Kronecker number if it can be written in infinitely many ways as the difference between two primes, and it is believed that all even numbers are Kronecker numbers. We will study the division and multiplication of Kronecker numbers to study the largeness of the set of Kronecker numbers. A numerical lower bound for the density Kronecker numbers among even numbers is given, and it is proved that there exists a computable constant $k$ and a set $D$ consisting of at most 720 computable Maillet numbers such that, for any integer $n$, $kn$ can be expressed as a product of a Kronecker number with a Maillet number in $D$. Meanwhile, it is proved that every positive rational number can be written as a ratio of two Kronecker numbers.

Number Theory

Generalized Sierpiński Numbers

Sums of powers of integers and the sequence A304330

Generalized Frobenius Number of Three Variables

Two New Kinds of Numbers and Related Divisibility Results

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

A Note on Generalized Repunit Numerical Semigroups

On K-Self-Numbers and Universal Generated Numbers

$p$-numerical semigroup of generalized Fibonacci triples

On a variant of the happy numbers and their generalizations

A new variant of the Hilbert-Waring problem.

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

A new generalization of Fermat's Last Theorem

Sums of powers of integers via differentiation

Two New Kinds of Numbers and Their Arithmetic Properties

A Generalization Of Euler'S Pentagonal Number Theorem With An Application

On Frobenius Formulas of Power Sequences

General position sets, colinear sets, and Sierpiński product graphs

A Formula For the Number of $k$-almost Primes

On the set of Kronecker numbers