Related papers: A short proof of Mathar's 2013 recurrence conjectu…
We relate binary words with a given number of subsequences to continued fractions of rational numbers with a given denominator. We deduce that there are binary strings of length $O(\log n \log \log n)$ with exactly $n$ subsequences; this…
We establish a complete characterization of multiplicative recurrence for images of the positive integers under M\"obius transformations, answering a question of Donoso--Le--Moreira--Sun in the negative. As a consequence, we strengthen and…
In this paper we prove the supercongruence $$\sum_{n=0}^{(p-1)/2}\frac{6n+1}{256^n}\binom{2n}n^3\equiv p(-1)^{(p-1)/2}+(-1)^{(p-1)/2}\frac{7}{24}p^4B_{p-3}\pmod{p^5}$$ for any prime $p>3$, which was conjectured by Sun in 2019.
In [8] (Nakagawa, et.al., IEEE Trans. IT, 2021), we investigated the convergence speed of the Arimoto-Blahut algorithm. In [8], the convergence of the order $O(1/N)$ was analyzed by focusing on the second-order nonlinear recurrence formula…
Recursive decoding techniques are considered for Reed-Muller (RM) codes of growing length $n$ and fixed order $r.$ An algorithm is designed that has complexity of order $n\log n$ and corrects most error patterns of weight up to…
Haxell et. al. [%P. Haxell, T. Luczak, Y. Peng, V. R\"{o}dl, A. %Ruci\'{n}ski, M. Simonovits, J. Skokan, The Ramsey number for hypergraph cycles I, J. Combin. Theory, Ser. A, 113 (2006), 67-83] proved that the 2-color Ramsey number of…
Motivated by mass-spectrometry protein sequencing, we consider a simply-stated problem of reconstructing a string from the multiset of its substring compositions. We show that all strings of length 7, one less than a prime, or one less than…
We introduce an elementary congruence-based procedure to look for q-th power multiples in arbitrary binary recurrence sequences (q>2). The procedure allows to prove that no such multiples exist in many instances.
In the early 1980s, Mills, Robbins and Rumsey conjectured, and in 1996 Zeilberger proved a simple product formula for the number of $n \times n$ alternating sign matrices with a 1 at the top of the $i$-th column. We give an alternative…
The set of isotopy classes of nontrivial torus knots $T(p,q)$ in $S^3$ is in bijection with the set of coprime integer pairs $(p,q)$ satisfying $|p|>q\geq 2$. We verify the AJ conjecture for the connected sums $T(p,q)\# T(a,b)$ when $p$ and…
Deciding the positivity of a sequence defined by a linear recurrence and initial conditions is, in general, a hard problem. When the coefficients of the recurrences are constants, decidability has only been proven up to order 5. The…
A subset $R$ of integers is a set of Bohr recurrence if every rotation on $\mathbb{T}^d$ returns arbitrarily close to zero under some non-zero multiple of $R$. We show that the set $\{k!\, 2^m3^n\colon k,m,n\in \mathbb{N}\}$ is a set of…
In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby…
Given complex parameters $x$, $\nu$, $\alpha$, $\beta$ and $\gamma \notin -\mathbb{N}$, consider the infinite lower triangular matrix $\mathbf{A}(x,\nu;\alpha, \beta,\gamma)$ with elements $$ A_{n,k}(x,\nu;\alpha,\beta,\gamma) =…
Right-reversing is an algorithm used to compute least common multiples in monoids that admit a right-complemented presentation. The algorithm can either terminate and find a result, fail, or run indefinitely. The correctness of the…
This article is devoted to the study of Jack connection coefficients, a generalization of the connection coefficients of the classical commutative subalgebras of the group algebra of the symmetric group closely related to the theory of Jack…
We prove Conjecture~2 of Bondarenko, Ortega-Cerd\`a, Radchenko, and Seip for the three-term recurrence attached to the H\"ormander--Bernhardsson extremal function $\varphi$. More precisely, define \[ \widetilde u_{-1}=0,\qquad \widetilde…
Let $ (P_n)_{n\ge 0}$ be the sequence of Perrin numbers defined by ternary relation $ P_0=3 $, $ P_1=0 $, $ P_2=2 $, and $ P_{n+3}=P_{n+1}+P_n $ for all $ n\ge 0 $. In this paper, we use Baker's theory for nonzero linear forms in logarithms…
In our paper arXiv: math.RA/0110333 v1 Oct 2001 we showed that the number of algebras defined by a binary operation satisfying a formally irreducible identity between two n-iterates is O( e^{-n/16}S_{n}^{2} for n --> infinity, S_{n} being…
Initiated by Davis, Nelson, Petersen and Tenner (2018), the enumerative study of pinnacle sets of permutations has attracted a fair amount of attention recently. In this article, we provide a recurrence that can be used to compute…