Vladimir Shevelev

A fast computation of density of exponentially $S$ -numbers

The author \cite{4} proved that, for every set $S$ of positive integers containing 1 (finite or infinite) there exists the density $h=h(E(S))$ of the set $E(S)$ of numbers whose prime factorizations contain exponents only from $S,$ and gave an explicit formula for $h(E(S)).$ In this paper we give an equivalent polynomial formula for $\log h(E(S))$ which allows to get a fast calculation of $h(E(S)).$

Constellations of primes generated by twin primes

We study a special set of constellations of primes generated by twin primes.

Exponentially $S$ -numbers

Let $\mathbf{S}$ be the set of all finite or infinite increasing sequences of positive integers. For a sequence $S=\{s(n)\}, n\geq1,$ from $\mathbf{S},$ let us call a positive number $N$ an exponentially $S$ -number $(N\in E(S)),$ if all exponents in its prime power factorization are in $S.$ Let us accept that $1\in E(S).$ We prove that, for every sequence $S\in \mathbf{S}$ with $s(1)=1,$ the exponentially $S$ -numbers have a density $h=h(E(S))$ such that $ $\sum_{i\leq x,\enskip i\in E(S)} 1 = h(E(S))x+R(x), where R(x) does not depend on$ S $and$ h(E(S))=\prod_{p}(1+\sum_{i\geq2}\frac{u(i)-u(i-1)}{p^i}), $where$ u(n) $is the characteristic function of$ S.$

On Erdős constant

In 1944, P. Erdős \cite{1} proved that if $n$ is a large highly composite number (HCN) and $n_1$ is the next HCN, then $n<n_1<n+n(\log n)^{-c},$ where $c>0$ is a constant. In this paper, using numerical results by D. A. Corneth, we show that most likely $c<1.$

Representation of positive integers by the form $x^3+y^3+z^3-3xyz$

We study the number $ν(n)$ of representations of a positive integer $n$ by the form $x^3+y^3+z^3-3xyz$ in the conditions $0\leq x\leq y\leq z; z\geq x+1.$ We proved the following results: (i) for every positive $n,$ except for $n\equiv\pm3 \pmod9,$ $ν(n)>=1;$ (ii) for the exceptional $n,$ $ν(n)=0;$ (iii) for every prime $p\neq3,$ $ν(p)=ν(2p)=1;$ (iv) $\limsup (ν(n))=\infty;$ (v) for every positive $n,$ there exists $k$ such that $ν(k)=n.$

Set of all densities of exponentially S-numbers

Let $\mathbf{G}$ be the set of all finite or infinite increasing sequences of positive integers beginning with 1. For a sequence $S=\{s(n)\}, n\geq1,$ from $\mathbf{G},$ a positive number $N$ is called an exponentially $S$ -number $(N\in E(S)),$ if all exponents in its prime power factorization are in $S.$ The author \cite{2} proved that, for every sequence $S\in \mathbf{G},$ the sequence of exponentially $S$ -numbers has a density $h=h(E(S))\in [\frac{6}{π^2}, 1].$ In this paper we study the set $\{h(E(S)\}$ of all such densities.

preprint2015arXiv

Representation of positive integers by the form $x_1...x_k + x_1 + ... + x_k$

For an arbitrary given $k\geq3,$ we consider a possibility of representation of a positive number $n$ by the form $x_1...x_k+x_1+...+x_k, 1\leq x_1\leq ... \leq x_k.$ We also study a question on the smallest value of $k\geq3$ in such a representation.

preprint2015arXiv

The ménage problem with a known mathematician

We give a solution of the following combinatorial problem: "Let one from $n$ married couples in the ménage problem (see Problem 1) be a couple of a known mathematician $M$ and his wife. After the ladies are seated at every other chair, $M$ (in token of respect) is the first man allowed to choose one of the remaining chairs. To find the number of ways of seating the other men, with no man seated next to his wife, if $M$ chooses the chair that is $d$ seats clockwise from his wife's chair."

preprint2015arXiv

The Yellowstone Permutation

Define a sequence of positive integers by the rule that a(n) = n for 1 <= n <= 3, and for n >= 4, a(n) is the smallest number not already in the sequence which has a common factor with a(n-2) and is relatively prime to a(n-1). We show that this is a permutation of the positive integers. The remarkable graph of this sequence consists of runs of alternating even and odd numbers, interrupted by small downward spikes followed by large upward spikes, suggesting the eruption of geysers in Yellowstone National Park. On a larger scale the points appear to lie on infinitely many distinct curves. There are several unanswered questions concerning the locations of these spikes and the equations for these curves.

Beyond odious and evil

In a recent post on the Seqfan list the third author proposed a conjecture concerning the summatory function of odious numbers (i.e., of numbers whose sum of binary digits is odd), and its analog for evil numbers (i.e., of numbers whose sum of binary digits is even). We prove these conjectures here. We will also study the sequences of "generalized" odious and evil numbers, and their iterations, giving in particular a characterization of the sequences of usual odious and evil numbers in terms of functional equations satisfied by their compositions.

Combinatorial minors for matrix functions and their applications

As well known, permanent of a square (0,1)-matrix $A$ of order $n$ enumerates the permutations $β$ of $1,2,...,n$ with the incidence matrices $B\leq A.$ To obtain enumerative information on even and odd permutations with condition $B\leq A,$ we should calculate two-fold vector $(a_1,a_2)$ with $a_1+a_2 =per A.$ More general, the introduced $ω$ -permanent, where $ω=e^{2πi/m},$ we calculate as $m$ -fold vector. For these and other matrix functions we generalize the Laplace theorem of their expansion over elements of the first row, using the defined so-called "combinatorial minors". In particular, in this way, we calculate the cycle index of permutations with condition $B\leq A.$

Tangent power sums and their applications

For integer $m, p,$ we study tangent power sum $\sum^m_{k=1}\tan^{2p}\frac{πk}{2m+1}.$ We prove that, for every $m, p,$ it is integer, and, for a fixed p, it is a polynomial in $m$ of degree $2p.$ We give recurrent, asymptotical and explicit formulas for these polynomials and indicate their connections with Newman's digit sums in base $2m.$

Theorems on twin primes-dual case

We prove dual theorems to theorems proved by author in \cite {5}. Beginning with Section 10, we introduce and study so-called "twin numbers of the second kind" and a postulate for them. We give two proofs of the infinity of these numbers and a sufficient condition for truth of the postulate; also we pose several other conjectures. Finally, we consider a conception of axiom of type "AiB".

preprint2013arXiv

Binary Additive Problems: Recursions for Numbers of Representations

We prove some general recursions for the numbers of representations of positive integers as a sum x+y, x in X, y in Y, where X,Y are increasing sequences. In particular, we obtain recursions for the number of the Goldbach, Lemoine-Levy, Chen and other binary partitions.

A family of digit functions with large periods

For odd n>=3, we consider a general hypothetical identity for the differences S_{n,0}(x) of multiples of n with even and odd digit sums in the base n-1 in interval [0,x), which we prove in the cases n=3 and n=5 and empirically confirm for some other n. We give a verification algorithm for this identity for any odd n. The hypothetical identity allows to give a general recursion for S_{n,0}(x) for every integer x depending on the residue of x modulo p(n)=2n(n-1)^{n-1}, such that p(3)=24, p(5)=2560, p(7)=653184, etc.

Binary Additive Problems: Theorems of Landau and Hardy-Littlwood Type

With the uniform positions we prove theorems of Landau and Hardy-Littlwood type for Goldbach, Chen, Lemoine-Levy and other binary partitions of positive integers. We also pose some new conjectures.

Equations of the form $t(x+a)=t(x)$ and $t(x+a)=1-t(x)$ for Thue-Morse sequence

For every $a\geq1$ we give a recursion algorithm of building of set of solutions of equations of the form $t(x+a)=t(x)$ and $t(x+a)=1-t(x),$ where $\{t(n)\}$ is Thue-Morse sequence. We pose an open problem and two conjectures.

On identities generated by compositions of positive integers

We prove astonishing identities generated by compositions of positive integers. In passing, we obtain two new identities for Stirling numbers of the first kind. In the two last sections we clarify an algebraic sense of these identities and obtain several other structural close identities.

On intervals (kn,(k+1)n) containing a prime for all n>1

We study values of k for which the interval (kn,(k+1)n) contains a prime for every n>1. We prove that the list of such integers k includes k=1,2,3,5,9,14, and no others, at least for k<=50,000,000. For every known k of this list, we give a good upper estimate of the smallest N_k(m), such that, if n>=N_k(m), then the interval (kn,(k+1)n) contains at least m primes.

On perfect and near-perfect numbers

We call positive integer n a near-perfect number, if it is sum of all its proper divisors, except of one of them ("redundant divisor"). We prove an Euclid-like theorem for near-perfect numbers and obtain some other results for them.

On Stephan's conjectures concerning Pascal triangle modulo 2

We prove a series of Stephan's conjectures concerning Pascal triangle modulo 2 and give a polynomial generalization.

Overpseudoprimes, and Mersenne and Fermat numbers as primover numbers

We introduce a new class of pseudoprimes-so called "overpseudoprimes to base $b$ ", which is a subclass of strong pseudoprimes to base $b$ . Denoting via $|b|_n$ the multiplicative order of $b$ modulo $n$ , we show that a composite $n$ is overpseudoprime if and only if $|b|_d$ is invariant for all divisors $d>1$ of $n$ . In particular, we prove that all composite Mersenne numbers $2^{p}-1$ , where $p$ is prime, are overpseudoprime to base 2 and squares of Wieferich primes are overpseudoprimes to base 2. Finally, we show that some kinds of well known numbers are overpseudoprime to a base $b$ .

Overpseudoprimes, Mersenne Numbers and Wieferich primes

We introduce a new class of pseudoprimes-so called "overpseudoprimes" which is a special subclass of super-Poulet pseudoprimes. Denoting via h(n) the multiplicative order of 2 modulo n, we show that odd number n is overpseudoprime iff value of h(n) is invariant of all divisors d>1 of n. In particular, we prove that all composite Mersenne numbers 2^p-1,where p is prime, and squares of Wieferich primes are overpseudoprimes. We give also a generalization of the results on arbitrary base a>1 and prove that every overpseudoprime is strong pseudoprime of the same base.

Two algorithms for evaluation of the Newman digit sum, and a new proof of Coquet's theorem

We give two simple algorithms for the evaluation of difference between the numbers of multiples of 3 with even and odd binary digit sums in interval [0,x), and give an elementary proof of Coquet's sharp estimates for it.

A problem of enumeration of two-color bracelets with several variations

We consider the problem of enumeration of incongruent two-color bracelets of $n$ beads, $k$ of which are black, and study several natural variations of this problem. We also give recursion formulas for enumeration of $t$ -color bracelets, $t\geq3.

Banach matchboxes problem and a congruence for primes

Using an identity arising in the known Banach probability problem on matchboxes, we prove an unexpected congruence for odd prime $p:$ for $1\leq k\leq \frac{p-1}{2},\enskip \sum_{i=1}^{p-2k-1}2^{i-1}\binom{k-1+i}{k}\equiv 0\pmod p.$

On a sequence of polynomials with hypothetically integer coefficients

The first author introduced a sequence of polynomials (\cite{8}, sequence A174531) defined recursively. One of the main results of this study is proof of the integrality of its coefficients.

Ramanujan and Labos primes, their generalizations and classifications of primes

Considering Ramanujan primes and the symmetric to them so-called Labos primes, we study their parallel properties, we study all primes with these properties (generalized Ramanujan and Labos primes) and construct two kinds of sieves for them. Finally, we give a further natural generalization of these constructions and pose some conjectures and open problems.

Spectrum of permanent's values and its extremal magnitudes in $Λ_n^3$ and $Λ_n(α,β,γ)$

Let $Λ_n^k$ denote the class of $(0,1)$ square matrices containing in each row and in each column exactly $k$ 1's. The minimal value of $k,$ for which the behavior of the permanent in $Λ_n^k$ is not quite studied, is $k=3.$ We give a simple algorithm for calculation upper magnitudes of permanent in $Λ_n^3$ and consider some extremal problems in a generalized class $Λ_n(α,β,γ),$ the matrices of which contain in each row and in each column nonzero elements $α,β,γ$ and $n-3$ zeros.

Generalizations of the Rowland theorem

We prove the theorems which are equivalent to the Roland's results such that a new form of them allows to consider some generalizations. In particular, we give generators of primes more than a fixed prime.

On Connection between the Numbers of Permutations and Full Cycles with Some Restrictions on Positions and Up-Down Structure

We discuss both simple and more subtle connections between the numbers of permutations and full cycles with some restrictions,in particular, between the numbers of permutations and full cycles with prescribed up-down structure.

On the Basis Polynomials in the Theory of Permutations with Prescribed Up-Down Structure

Let $π=(π_1,π_2,\hdots,π_n)$ be permutation of the elements $1,2,\hdots,n. $ Positive integer $k\leq2^{n-1}$ we call index of $π,$ if in its binary notation as $n$ -digital binary number, the 1's correspond to the ascent points. We study behavior and properties of numbers of permutations of $n$ elements having index $k.$