Showing 1–24 of 24 results for author: Miska, P

On practical sets and $A$-practical numbers

Authors: Andrzej Kukla, Piotr Miska

Abstract: Let $A$ be a set of positive integers. We define a positive integer $n$ as an $A$-practical number if every positive integer from the set $\left\{1,\ldots ,\sum_{d\in A, d\mid n}d\right\}$ can be written as a sum of distinct divisors of $n$ that belong to $A$. Denote the set of $A$-practical numbers as $\text{Pr}(A)$. The aim of the paper is to explore the properties of the sets $\text{Pr}(A)$ (th… ▽ More Let $A$ be a set of positive integers. We define a positive integer $n$ as an $A$-practical number if every positive integer from the set $\left\{1,\ldots ,\sum_{d\in A, d\mid n}d\right\}$ can be written as a sum of distinct divisors of $n$ that belong to $A$. Denote the set of $A$-practical numbers as $\text{Pr}(A)$. The aim of the paper is to explore the properties of the sets $\text{Pr}(A)$ (the form of the elements, cardinality) as $A$ varies over the power set of $\mathbb{N}$. We are also interested in the set-theoretic and dynamic properties of the map** $\mathcal{PR}:\mathcal{P}(\mathbb{N})\ni A\mapsto\text{Pr}(A)\in\mathcal{P}(\mathbb{N})$. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: This is a preliminary version of the paper

On general approach to Bessenrodt-Ono type inequalities and log-concavity property

Authors: Krystian Gajdzica, Piotr Miska, Maciej Ulas

Abstract: In recent literature concerning integer partitions one can find many results related to both the Bessenrodt-Ono type inequalities and log-concavity property. In this note we offer some general approach to this type of problems. More precisely, we prove that under some mild conditions on an increasing function $F$ of at most exponential growth satisfying the condition… ▽ More In recent literature concerning integer partitions one can find many results related to both the Bessenrodt-Ono type inequalities and log-concavity property. In this note we offer some general approach to this type of problems. More precisely, we prove that under some mild conditions on an increasing function $F$ of at most exponential growth satisfying the condition $F(\mathbb{N})\subset \mathbb{R}_{+}$, we have $F(a)F(b)>F(a+b)$ for sufficiently large positive integers $a, b$. Moreover, we show that if the sequence $(F(n))_{n\geq n_{0}}$ is log-concave and $\limsup_{n\rightarrow +\infty}F(n+n_{0})/F(n)<F(n_{0})$, then $F$ satisfies the Bessenrodt-Ono type inequality. △ Less

Submitted 22 December, 2023; originally announced December 2023.

Comments: 10 pages

MSC Class: Primary 11P82; 11P84; Secondary 05A17

On alternative definition of Lucas atoms and their $p$-adic valuations

Authors: Gessica Alecci, Piotr Miska, Nadir Murru, Giuliano Romeo

Abstract: Lucas atoms are irreducible factors of Lucas polynomials and they were introduced in \cite{ST}. The main aim of the authors was to investigate, from an innovatory point of view, when some combinatorial rational functions are actually polynomials. In this paper, we see that the Lucas atoms can be introduced in a more natural and powerful way than the original definition, providing straightforward p… ▽ More Lucas atoms are irreducible factors of Lucas polynomials and they were introduced in \cite{ST}. The main aim of the authors was to investigate, from an innovatory point of view, when some combinatorial rational functions are actually polynomials. In this paper, we see that the Lucas atoms can be introduced in a more natural and powerful way than the original definition, providing straightforward proofs for their main properties. Moreover, we fully characterize the $p$-adic valuations of Lucas atoms for any prime $p$, answering to a problem left open in \cite{ST}, where the authors treated only some specific cases for $p \in \{2, 3\}$. Finally, we prove that the sequence of Lucas atoms is not holonomic, contrarily to the Lucas sequence that is a linear recurrent sequence of order two. △ Less

Submitted 20 August, 2023; originally announced August 2023.

MSC Class: 11B39; 11B37; 11R09

On continued fraction partial quotients of square roots of primes

Authors: Vítězslav Kala, Piotr Miska

Abstract: We show that for each positive integer $a$ there exist only finitely many prime numbers $p$ such that $a$ appears an odd number of times in the period of continued fraction of $\sqrt{p}$ or $\sqrt{2p}$. We also prove that if $p$ is a prime number and $D=p$ or $2p$ is such that the length of the period of continued fraction expansion of $\sqrt{D}$ is divisible by $4$, then $1$ appears as a partial… ▽ More We show that for each positive integer $a$ there exist only finitely many prime numbers $p$ such that $a$ appears an odd number of times in the period of continued fraction of $\sqrt{p}$ or $\sqrt{2p}$. We also prove that if $p$ is a prime number and $D=p$ or $2p$ is such that the length of the period of continued fraction expansion of $\sqrt{D}$ is divisible by $4$, then $1$ appears as a partial quotient in the continued fraction of $\sqrt{D}$. Furthermore, we give an upper bound for the period length of continued fraction expansion of $\sqrt{D}$, where $D$ is a positive non-square, and factorize some family of polynomials with integral coefficients connected with continued fractions of square roots of positive integers. These results answer several questions recently posed by Miska and Ulas. △ Less

Submitted 12 July, 2023; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: 14 pages, to appear in JNT

Journal ref: J. Number Theory 253 (2023), 215-234

Characteristics of distributions of sets and their $(R)$- and $(N)$-denseness

Authors: Piotr Miska, János T. Tóth

Abstract: Let $0\leq q\leq1$ and $\mathbb{N}$ denotes the set of all positive integers. In this paper we will deal with it too the family $\mathcal{U}(x^q)$ of all regularly distributed set $X \subset \mathbb{N}$ whose ratio block sequence is asymptotically distributed with distribution function $g(x) = x^q;\ x \in(0,1]$, and we will show that the regular distributed set, regular sequences, regular variatio… ▽ More Let $0\leq q\leq1$ and $\mathbb{N}$ denotes the set of all positive integers. In this paper we will deal with it too the family $\mathcal{U}(x^q)$ of all regularly distributed set $X \subset \mathbb{N}$ whose ratio block sequence is asymptotically distributed with distribution function $g(x) = x^q;\ x \in(0,1]$, and we will show that the regular distributed set, regular sequences, regular variation at infinity are equivalent notations. In this paper also we discuss the relation ship between notations as (N)-denseness, directions sets, generalized ratio sets, dispersion of sequence and exponent of convergence. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Comments: 24 pages

On Frobenius problem with restrictions on common divisors of coefficients

Authors: Piotr Miska, Maciej Zakarczemny

Abstract: Let $m,s,t$ are positive integers with $t\leq s-2$ and $a_1,a_2,\ldots,a_s$ are positive integers such that $(a_1,a_2,\ldots,a_{s-1})=1$. In the paper we prove that every sufficiently large positive integer can be written in the form $a_1μ_1+a_2μ_2+\ldots+a_sμ_m$, where positive integers $μ_1,μ_2,\ldots,μ_s$ have no common divisor being $m$-th power of a positive integer greater than $1$ but each… ▽ More Let $m,s,t$ are positive integers with $t\leq s-2$ and $a_1,a_2,\ldots,a_s$ are positive integers such that $(a_1,a_2,\ldots,a_{s-1})=1$. In the paper we prove that every sufficiently large positive integer can be written in the form $a_1μ_1+a_2μ_2+\ldots+a_sμ_m$, where positive integers $μ_1,μ_2,\ldots,μ_s$ have no common divisor being $m$-th power of a positive integer greater than $1$ but each $t$ of the values of $μ_1,μ_2,\ldots,μ_n$ have a common divisor being $m$-th power of a positive integer greater than $1$. Moreover, we show that every sufficiently large positive integer can be written as a sum of positive integers $μ_1,μ_2,\ldots,μ_n$ with no common divisor being $m$-th power of a positive integer greater than $1$ but each $s-1$ of the values of $μ_1,μ_2,\ldots,μ_s$ have a common divisor being $m$-th power of a positive integer greater than $1$. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: 14 pages

MSC Class: 11D07; 11A05; 11P99

On Waring numbers of henselian rings

Authors: Tomasz Kowalczyk, Piotr Miska

Abstract: Let $n>1$ be a positive integer. Let $R$ be a henselian local ring with residue field $k$ of $n$th level $s_n(k)$. We give some upper and lower bounds for the $n$th Waring number $w_n(R)$ in terms of $w_n(k)$ and $s_n(k)$. In large number of cases we are able to compute $w_n(R)$. Similar results for the $n$th Waring number of the total ring of fractions of $R$ are obtained. We then provide applica… ▽ More Let $n>1$ be a positive integer. Let $R$ be a henselian local ring with residue field $k$ of $n$th level $s_n(k)$. We give some upper and lower bounds for the $n$th Waring number $w_n(R)$ in terms of $w_n(k)$ and $s_n(k)$. In large number of cases we are able to compute $w_n(R)$. Similar results for the $n$th Waring number of the total ring of fractions of $R$ are obtained. We then provide applications. In particular we compute $w_n(\mathbb{Z}_p)$ and $w_n(\mathbb{Q}_p)$ for $n\in\{3,4,5\}$ and any prime $p$. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 32 pages

MSC Class: 12D15

On the Diophantine equation $σ_{2}(\overline{X}_{n})=σ_{n}(\overline{X}_{n})$

Authors: Piotr Miska, Maciej Ulas

Abstract: In this note we investigate the set $S(n)$ of positive integer solutions of the title Diophantine equation. In particular, for a given $n$ we prove boundedness of the number of solutions, give precise upper bound on the common value of $σ_{2}(\overline{X}_{n})$ and $σ_{n}(\overline{X}_{n})$ together with the biggest value of the variable $x_{n}$ appearing in the solution. Moreover, we enumerate al… ▽ More In this note we investigate the set $S(n)$ of positive integer solutions of the title Diophantine equation. In particular, for a given $n$ we prove boundedness of the number of solutions, give precise upper bound on the common value of $σ_{2}(\overline{X}_{n})$ and $σ_{n}(\overline{X}_{n})$ together with the biggest value of the variable $x_{n}$ appearing in the solution. Moreover, we enumerate all solutions for $n\leq 16$ and discuss the set of values of $x_{n}/x_{n-1}$ over elements of $S(n)$. △ Less

Submitted 8 March, 2022; originally announced March 2022.

Comments: 17 pages

Binomial coefficients, roots of unity and powers of prime numbers

Authors: Piotr Miska

Abstract: Let $t\in\mathbb{N}_+$ be given. In this article we are interested in characterizing those $d\in\mathbb{N}_+$ such that the congruence $$\frac{1}{t}\sum_{s=0}^{t-1}{n+dζ_t^s\choose d-1}\equiv {n\choose d-1}\pmod{d}$$ is true for each $n\in\mathbb{Z}$. In particular, assuming that $d$ has a prime divisor greater than $t$, we show that the above congruence holds for each $n\in\mathbb{Z}$ if and only… ▽ More Let $t\in\mathbb{N}_+$ be given. In this article we are interested in characterizing those $d\in\mathbb{N}_+$ such that the congruence $$\frac{1}{t}\sum_{s=0}^{t-1}{n+dζ_t^s\choose d-1}\equiv {n\choose d-1}\pmod{d}$$ is true for each $n\in\mathbb{Z}$. In particular, assuming that $d$ has a prime divisor greater than $t$, we show that the above congruence holds for each $n\in\mathbb{Z}$ if and only if $d=p^r$, where $p$ is a prime number greater than $t$ and $r\in\{1,\ldots ,t\}$. △ Less

Submitted 7 March, 2022; originally announced March 2022.

Comments: Accepted to Bulletin of the Malaysian Mathematical Sciences Society

$p$-Adic quotient sets: diagonal forms

Authors: Deepa Antony, Rupam Barman, Piotr Miska

Abstract: For a set of integers $A$, we consider $R(A)=\{a/b: a, b\in A, b\neq 0\}$. It is an open problem to study the denseness of $R(A)$ in the $p$-adic numbers when $A$ is the set of nonzero values attained by an integral form. This problem has been answered for quadratic forms. Very recently, Antony and Barman have studied this problem for the diagonal binary cubic forms $ax^3+by^3$, where $a$ and $b$… ▽ More For a set of integers $A$, we consider $R(A)=\{a/b: a, b\in A, b\neq 0\}$. It is an open problem to study the denseness of $R(A)$ in the $p$-adic numbers when $A$ is the set of nonzero values attained by an integral form. This problem has been answered for quadratic forms. Very recently, Antony and Barman have studied this problem for the diagonal binary cubic forms $ax^3+by^3$, where $a$ and $b$ are integers. In this article, we study this problem for diagonal forms. We extend the results of Antony and Barman to the diagonal binary forms $ax^n+by^n$ for all $n\geq 3$. We also study $p$-adic denseness of quotients of nonzero values attained by diagonal forms of degree $n\geq 3$, where $\gcd(n,p(p-1))=1$. △ Less

Submitted 12 January, 2022; originally announced January 2022.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:2110.05420

Stirling number and periodic points

Authors: Piotr Miska, Tom Ward

Abstract: We introduce the notion of almost realizability, an arithmetic generalization of realizability for integer sequences, which is the property of counting periodic points for some map. We characterize the intersection between the set of Stirling sequences (of both the first and the second kind) and the set of almost realizable sequences. We introduce the notion of almost realizability, an arithmetic generalization of realizability for integer sequences, which is the property of counting periodic points for some map. We characterize the intersection between the set of Stirling sequences (of both the first and the second kind) and the set of almost realizable sequences. △ Less

Submitted 27 February, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 13 pages

MSC Class: 11B73 (Primary) 37P35 (Secondary)

A note on $p$-adic denseness of quotients of values of quadratic forms

Authors: Piotr Miska

Abstract: Donnay, Garcia and Rouse classified nonsingular quadratic forms $Q$ with integral coefficients and prime numbers $p$ such that the set of quotients of values of $Q$ attained for integer arguments is dense in the field of $p$-adic numbers. The aim of this note is to give another proof of this classification. Donnay, Garcia and Rouse classified nonsingular quadratic forms $Q$ with integral coefficients and prime numbers $p$ such that the set of quotients of values of $Q$ attained for integer arguments is dense in the field of $p$-adic numbers. The aim of this note is to give another proof of this classification. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Comments: 6 pages

Structural, chemical and optical characterizations of nanocrystallized AlN:Er thin films prepared by r.f. magnetron sputtering

Authors: Valerie Brien, P. Miska, H. Rinnert, D. Genève, P. Pigeat

Abstract: Nanocrystalline n-AlN:Er thin films were deposited on (001) Silicon substrates by r. f. magnetron sputtering at room temperature to study the correlation between 1.54 $μ$m IR photoluminescence (PL) intensity, AlN crystalline structure and Er concentration rate. This study first presents how Energy-Dispersive Spectroscopy of X-rays (EDSX) Er Cliff Lorimer sensitivity factor alpha = 5 is obtained by… ▽ More Nanocrystalline n-AlN:Er thin films were deposited on (001) Silicon substrates by r. f. magnetron sputtering at room temperature to study the correlation between 1.54 $μ$m IR photoluminescence (PL) intensity, AlN crystalline structure and Er concentration rate. This study first presents how Energy-Dispersive Spectroscopy of X-rays (EDSX) Er Cliff Lorimer sensitivity factor alpha = 5 is obtained by combining EDSX and electron probe micro analysis (EPMA) results on reference samples. It secondly presents the relative PL intensities of nanocrystallized samples prepared with identical sputtering parameters as a function of the Er concentration. The structure of crystallites in AlN films is observed by transmission electron microscopy. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Journal ref: Materials Science and Engineering: B, Elsevier, 2008, 146 (1-3), pp.200-203

On two conjectures regarding generalized sequence of derangements

Authors: Eryk Lipka, Piotr Miska

Abstract: The second author studied arithmetic properties of a class of sequences that generalize the sequence of derangements. The aim of the following paper is to disprove two conjectures stated in \cite{miska}. The first conjecture regards the set of prime divisors of their terms. The latter one is devoted to the order of magnitude of considered sequences. The second author studied arithmetic properties of a class of sequences that generalize the sequence of derangements. The aim of the following paper is to disprove two conjectures stated in \cite{miska}. The first conjecture regards the set of prime divisors of their terms. The latter one is devoted to the order of magnitude of considered sequences. △ Less

Submitted 22 April, 2020; originally announced April 2020.

MSC Class: 11B83; 11B99

On distribution of subsequences of primes having prime indices with respect to the $(R)$-denseness and convergence exponent

Authors: Piotr Miska, János T. Tóth, Błażej Żmija

Abstract: Denote by $\mathbb{N}$ and $\mathbb{P}$ the set of all positive integers and prime numbers, respectively. Let $\mathbb{P}=\{p_1<p_2<\dots <p_n<\dots\}$, where $p_n$ is the $n$-th prime number. For $k\in\mathbb{N}$ we recursively define subsequences $(p^{(k)}_n)_{n=1}^{+\infty}$ of the sequence $(p_n)_{n=1}^{+\infty}$ in the following way: let $p_n^{(1)}=p_n$ and $p_n^{(k+1)}=p_{p_n^{(k)}}$. In thi… ▽ More Denote by $\mathbb{N}$ and $\mathbb{P}$ the set of all positive integers and prime numbers, respectively. Let $\mathbb{P}=\{p_1<p_2<\dots <p_n<\dots\}$, where $p_n$ is the $n$-th prime number. For $k\in\mathbb{N}$ we recursively define subsequences $(p^{(k)}_n)_{n=1}^{+\infty}$ of the sequence $(p_n)_{n=1}^{+\infty}$ in the following way: let $p_n^{(1)}=p_n$ and $p_n^{(k+1)}=p_{p_n^{(k)}}$. In this paper we study and describe some interesting properties of the sets $\mathbb{P}_k=\{p_1^{(k)}<p_2^{(k)}<\dots<p_n^{(k)}<\dots\}$, $\mathbb{P}_n^{\mathrm{T}}=\{p_n^{(1)}<p_n^{(2)}<\dots<p_n^{(k)}<\dots\}$ and $\text{Diag}\mathbb{P}=\{p^{(1)}_1<p^{(2)}_2<\dots <p^{(k)}_k<\dots\}$ and their elements, for $k,n\in\mathbb{N}$. Especially, we check whether these sets have dense sets of ratios in $\mathbb{R}_+$. Moreover, we compute their exponents of convergence and asymptotics of their counting functions. △ Less

Submitted 4 January, 2022; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: This paper is merged from the papers arXiv:1908.10421v1 and arXiv:1909.12139

MSC Class: 11A41; 11B05

On consecutive 1's in continued fractions expansions of square roots of prime numbers

Authors: Piotr Miska, Maciej Ulas

Abstract: In this note, we study the problem of existence of sequences of consecutive 1's in the periodic part of the continued fractions expansions of square roots of primes. We prove unconditionally that, for a given $N\gg 1$, there are at least $N\log^{-3/2}N$ prime numbers $p\leq N$ such that the continued fraction expansion of $\sqrt{p}$ contains three consecutive 1's on the beginning of the periodic p… ▽ More In this note, we study the problem of existence of sequences of consecutive 1's in the periodic part of the continued fractions expansions of square roots of primes. We prove unconditionally that, for a given $N\gg 1$, there are at least $N\log^{-3/2}N$ prime numbers $p\leq N$ such that the continued fraction expansion of $\sqrt{p}$ contains three consecutive 1's on the beginning of the periodic part. We also present results of our computations related to the considered problem and some related problems, formulate several open questions and conjectures and get some results under the assumption of Hypothesis H of Schinzel. △ Less

Submitted 6 April, 2019; originally announced April 2019.

Comments: 21 pages

On some properties of the number of permutations being products of pairwise disjoint $d$-cycles

Authors: Piotr Miska, Maciej Ulas

Abstract: Let $d\geq 2$ be an integer. In this paper we study arithmetic properties of the sequence $(H_d(n))_{n\in\N}$, where $H_{d}(n)$ is the number of permutations in $S_{n}$ being products of pairwise disjoint cycles of a fixed length $d$. In particular we deal with periodicity modulo a given positive integer, behaviour of the $p$-adic valuations and various divisibility properties. Moreover, we introd… ▽ More Let $d\geq 2$ be an integer. In this paper we study arithmetic properties of the sequence $(H_d(n))_{n\in\N}$, where $H_{d}(n)$ is the number of permutations in $S_{n}$ being products of pairwise disjoint cycles of a fixed length $d$. In particular we deal with periodicity modulo a given positive integer, behaviour of the $p$-adic valuations and various divisibility properties. Moreover, we introduce some related families of polynomials and study they properties. Among many results we obtain qualitative description of the $p$-adic valuation of the number $H_{d}(n)$ extending in this way earlier results of Ochiai and Ishihara, Ochiai, Takegehara and Yoshida. △ Less

Submitted 6 April, 2019; originally announced April 2019.

Comments: 35 pages

$p$-adic denseness of members of partitions of $\mathbb{N}$ and their ratio sets

Authors: Piotr Miska, Carlo Sanna

Abstract: The ratio set of a set of positive integers $A$ is defined as $R(A) := \{a / b : a, b \in A\}$. The study of the denseness of $R(A)$ in the set of positive real numbers is a classical topic and, more recently, the denseness in the set of $p$-adic numbers $\mathbb{Q}_p$ has also been investigated. Let $A_1, \ldots, A_k$ be a partition of $\mathbb{N}$ into $k$ sets. We prove that for all prime numbe… ▽ More The ratio set of a set of positive integers $A$ is defined as $R(A) := \{a / b : a, b \in A\}$. The study of the denseness of $R(A)$ in the set of positive real numbers is a classical topic and, more recently, the denseness in the set of $p$-adic numbers $\mathbb{Q}_p$ has also been investigated. Let $A_1, \ldots, A_k$ be a partition of $\mathbb{N}$ into $k$ sets. We prove that for all prime numbers $p$ but at most $\lfloor \log_2 k \rfloor$ exceptions at least one of $R(A_1), \ldots, R(A_k)$ is dense in $\mathbb{Q}_p$. Moreover, we show that for all prime numbers $p$ but at most $k - 1$ exceptions at least one of $A_1, \ldots, A_k$ is dense in $\mathbb{Z}_p$. Both these results are optimal in the sense that there exist partitions $A_1, \ldots, A_k$ having exactly $\lfloor \log_2 k \rfloor$, respectively $k - 1$, exceptional prime numbers; and we give explicit constructions for them. Furthermore, as a corollary, we answer negatively a question raised by Garcia et al. △ Less

Submitted 1 August, 2018; originally announced August 2018.

MSC Class: 11A07; 11B05

Journal ref: Bulletin of the Malaysian Mathematical Sciences Society 43 (2020), 1127-1133

On the p-adic denseness of the quotient set of a polynomial image

Authors: Piotr Miska, Nadir Murru, Carlo Sanna

Abstract: The quotient set, or ratio set, of a set of integers $A$ is defined as $R(A) := \left\{a/b : a,b \in A,\; b \neq 0\right\}$. We consider the case in which $A$ is the image of $\mathbb{Z}^+$ under a polynomial $f \in \mathbb{Z}[X]$, and we give some conditions under which $R(A)$ is dense in $\mathbb{Q}_p$. Then, we apply these results to determine when $R(S_m^n)$ is dense in $\mathbb{Q}_p$, where… ▽ More The quotient set, or ratio set, of a set of integers $A$ is defined as $R(A) := \left\{a/b : a,b \in A,\; b \neq 0\right\}$. We consider the case in which $A$ is the image of $\mathbb{Z}^+$ under a polynomial $f \in \mathbb{Z}[X]$, and we give some conditions under which $R(A)$ is dense in $\mathbb{Q}_p$. Then, we apply these results to determine when $R(S_m^n)$ is dense in $\mathbb{Q}_p$, where $S_m^n$ is the set of numbers of the form $x_1^n + \cdots + x_m^n$, with $x_1, \dots, x_m \geq 0$ integers. This allows us to answer a question posed in [Garcia et al., $p$-adic quotient sets, Acta Arith. 179, 163-184]. We end leaving an open question. △ Less

Submitted 31 July, 2018; v1 submitted 24 July, 2018; originally announced July 2018.

MSC Class: 11B05 (Primary) 11B83 (Secondary)

Journal ref: Journal of Number Theory 197 (2019), 218-227

A note on $p$-adic locally analytic functions with application to behavior of the $p$-adic valuations of Stirling numbers

Authors: Piotr Miska

Abstract: The aim of this paper is to prove conjectures concerning $p$-adic valuations of Stirling numbers of the second kind $S(n,k)$, $n,k\in\mathbb{N}_+$, stated by Amdeberhan, Manna and Moll and Berrizbeitia et al., where $p$ is a prime number. The proof is based on elementary facts from $p$-adic analysis. The aim of this paper is to prove conjectures concerning $p$-adic valuations of Stirling numbers of the second kind $S(n,k)$, $n,k\in\mathbb{N}_+$, stated by Amdeberhan, Manna and Moll and Berrizbeitia et al., where $p$ is a prime number. The proof is based on elementary facts from $p$-adic analysis. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: To appear in Acta Arithmetica

MSC Class: 11B73

The $r$-derangement numbers

Authors: Chenying Wang, Piotr Miska, István Mező

Abstract: The classical derangement numbers count fixed point-free permutations. In this paper we study the enumeration problem of generalized derangements, when some of the elements are restricted to be in distinct cycles in the cycle decomposition. We find exact formula, combinatorial relations for these numbers as well as analytic and asymptotic description. Moreover, we study deeper number theoretical p… ▽ More The classical derangement numbers count fixed point-free permutations. In this paper we study the enumeration problem of generalized derangements, when some of the elements are restricted to be in distinct cycles in the cycle decomposition. We find exact formula, combinatorial relations for these numbers as well as analytic and asymptotic description. Moreover, we study deeper number theoretical properties, like modularity, $p$-adic valuations, and diophantine problems. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: Published in Discrete Mathematics

Arithmetic properties of coefficients of power series expansion of $\prod_{n=0}^{\infty}\left(1-x^{2^{n}}\right)^{t}$ (with an Appendix by Andrzej Schinzel)

Authors: Maciej Gawron, Piotr Miska, Maciej Ulas

Abstract: Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function $$ F_{t}(x)=F(x)^{t}=\sum_{n=0}^{\infty}f_{n}(t)x^{n}. $$ For $t\in\N_{+}$ the sequence $(f_{n}(t))_{n\in\N}$ is the Cauchy convolutio… ▽ More Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function $$ F_{t}(x)=F(x)^{t}=\sum_{n=0}^{\infty}f_{n}(t)x^{n}. $$ For $t\in\N_{+}$ the sequence $(f_{n}(t))_{n\in\N}$ is the Cauchy convolution of $t$ copies of the Prouhet-Thue-Morse sequence. For $t\in\Z_{<0}$ the $n$-th term of the sequence $(f_{n}(t))_{n\in\N}$ counts the number of representations of the number $n$ as a sum of powers of 2 where each summand can have one among $-t$ colors. Among other things, we present a characterization of the solutions of the equations $f_{n}(2^k)=0$, where $k\in\N$, and $f_{n}(3)=0$. Next, we present the exact value of the 2-adic valuation of the number $f_{n}(1-2^{m})$ - a result which generalizes the well known expression concerning the 2-adic valuation of the values of the binary partition function introduced by Euler and studied by Churchhouse and others. △ Less

Submitted 6 March, 2017; originally announced March 2017.

Comments: 34 pages, submitted

MSC Class: 11P81; 11P83; 11B50

Arithmetic Properties of the Sequence of Derangements and its Generalizations

Authors: Piotr Miska

Abstract: The sequence of derangements is given by the formula $D_0 = 1, D_n = nD_{n-1} + (-1)^n, n>0$. It is a classical object appearing in combinatorics and number theory. In this paper we consider two classes of sequences: first class is given by the formulae $a_0 = h_1(0), a_n = f(n)a_{n-1} + h_1(n)h_2(n)^n, n>0$, where $f,h_1,h_2 \in\mathbb{Z}[X]$, and the second one is defined by… ▽ More The sequence of derangements is given by the formula $D_0 = 1, D_n = nD_{n-1} + (-1)^n, n>0$. It is a classical object appearing in combinatorics and number theory. In this paper we consider two classes of sequences: first class is given by the formulae $a_0 = h_1(0), a_n = f(n)a_{n-1} + h_1(n)h_2(n)^n, n>0$, where $f,h_1,h_2 \in\mathbb{Z}[X]$, and the second one is defined by $a_n = \sum_{j=0}^n \frac{n!}{j!} h(n)^j, n\in\mathbb{N}$, where $h\in\mathbb{Z}[X]$. Both classes are a generalization of the sequence of derangements. We study such arithmetic properties of these sequences as: periodicity modulo $d$, where $d\in\mathbb{N}_+$, $p$-adic valuations, asymptotics, boundedness, periodicity, recurrence relations and prime divisors. Particularly we focus on the properties of the sequence of derangements and use them to establish arithmetic properties of the sequences of even and odd derangements. △ Less

Submitted 9 August, 2015; originally announced August 2015.

Comments: Master Thesis prepared at the Institute of Mathematics of Jagiellonian University under advisory of PhD Maciej Ulas

MSC Class: 11B50; 11B83

A note on $p$-adic valuations of the Schenker sums

Authors: Piotr Miska

Abstract: A prime number $p$ is called a Schenker prime if there exists such $n\in\mathbb{N}_+$ that $p\nmid n$ and $p\mid a_n$, where $a_n = \sum_{j=0}^{n}\frac{n!}{j!}n^j$ is so-called Schenker sum. T. Amdeberhan, D. Callan and V. Moll formulated two conjectures concerning $p$-adic valuations of $a_n$ in case when $p$ is a Schenker prime. In particular, they asked whether for each $k\in\mathbb{N}_+$ there… ▽ More A prime number $p$ is called a Schenker prime if there exists such $n\in\mathbb{N}_+$ that $p\nmid n$ and $p\mid a_n$, where $a_n = \sum_{j=0}^{n}\frac{n!}{j!}n^j$ is so-called Schenker sum. T. Amdeberhan, D. Callan and V. Moll formulated two conjectures concerning $p$-adic valuations of $a_n$ in case when $p$ is a Schenker prime. In particular, they asked whether for each $k\in\mathbb{N}_+$ there exists the unique positive integer $n_k<p^k$ such that $v_p(a_{m\cdot 5^k + n_k})\geq k$ for each nonnegative integer $m$. We prove that for every $k\in\mathbb{N}_+$ the inequality $v_5(a_n)\geq k$ has exactly one solution modulo $5^k$. This confirms the first conjecture stated by the mentioned authors. Moreover, we show that if $37\nmid n$ then $v_{37}(a_n)\leq 1$, what means that the second conjecture stated by the mentioned authors is not true. △ Less

Submitted 8 January, 2014; originally announced January 2014.

MSC Class: 11B50; 11B83