Searcharxiv⌕ Search

arXiv subjects

Roberto Tauraso

Publications and source records attributed to Roberto Tauraso.

At least 37 records · Page 2Linked to original sources
arXiv2016

Restricted linear congruences

In this paper, using properties of Ramanujan sums and of the discrete Fourier transform of arithmetic functions, we give an explicit formula for the number of solutions of the linear congruence $a_1x_1+\cdots +a_kx_k\equiv b \pmod{n}$, with $\gcd(x_i,n)=t_i$ ($1\leq i\leq k$), where $a_1,t_1,\ldots,a_k,t_k, b,n$ ($n\geq 1$) are arbitrary integers. As a consequence, we derive necessary and sufficient conditions under which the above restricted linear congruence has no solutions. The number of solutions of this kind of congruence was first considered by Rademacher in 1925 and Brauer in 1926, in the special case of $a_i=t_i=1$ $(1\leq i \leq k)$. Since then, this problem has been studied, in several other special cases, in many papers; in particular, Jacobson and Williams [{\it Duke Math. J.} {\bf 39} (1972), 521--527] gave a nice explicit formula for the number of such solutions when $(a_1,\ldots,a_k)=t_i=1$ $(1\leq i \leq k)$. The problem is very well-motivated and has found intriguing applications in several areas of mathematics, computer science, and physics, and there is promise for more applications/implications in these or other directions.

math.NT↗
arXiv2016

Two Triple binomial sum supercongruences

In a recent article, Apagodu and Zeilberger (http://arxiv.org/abs/1606.03351)discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end, they propose some supercongruences as conjectures. Here we prove one of them, including a new companion enumerating abelian squares, and we leave some remarks for the others.

math.NT↗
arXiv2016

A (human) proof of a triple binomial sum supercongruence

In the recent article arXiv:1606.03351, Apagodu and Zeilberger discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end they propose some supercongruences as conjectures. Here we prove one of them and we leave some remarks for the others.

math.CO↗
arXiv2016

Multiple harmonic sums and multiple harmonic star sums are (nearly) never integers

It is well known that the harmonic sum $H_n(1)=\sum_{k=1}^n\frac{1}{k}$ is never an integer for $n>1$. In 1946, Erdős and Niven proved that the nested multiple harmonic sum $H_n(\{1\}^r)=\sum_{1\le k_1<\dots<k_r\le n}\frac{1}{k_1\cdots k_r}$ can take integer values only for a finite number of positive integers $n$. In 2012, Chen and Tang refined this result by showing that $H_n(\{1\}^r)$ is an integer only for $(n,r)=(1,1)$ and $(n,r)=(3,2)$. In this paper, we consider the integrality problem for arbitrary multiple harmonic and multiple harmonic star sums and show that none of these sums is an integer with some natural exceptions like those mentioned above.

math.NT↗
arXiv2016

Large Peg-Army Maneuvers

Despite its long history, the classical game of peg solitaire continues to attract the attention of the scientific community. In this paper, we consider two problems with an algorithmic flavour which are related with this game, namely Solitaire-Reachability and Solitaire-Army. In the first one, we show that deciding whether there is a sequence of jumps which allows a given initial configuration of pegs to reach a target position is NP-complete. Regarding Solitaire-Army, the aim is to successfully deploy an army of pegs in a given region of the board in order to reach a target position. By solving an auxiliary problem with relaxed constraints, we are able to answer some open questions raised by Csákány and Juhász (Mathematics Magazine, 2000). To appreciate the combinatorial beauty of our solutions, we recommend to visit the gallery of animations provided at http://solitairearmy.isnphard.com.

cs.DM↗
arXiv2015

Supercongruences for the Almkvist-Zudilin numbers

Given a prime number $p$, the study of divisibility properties of a sequence $c(n)$ has two contending approaches: $p$-adic valuations and superconcongruences. The former searches for the highest power of $p$ dividing $c(n)$, for each $n$; while the latter (essentially) focuses on the maximal powers $r$ and $t$ such that $c(p^rn)$ is congruent to $c(p^{r-1}n)$ modulo $p^t$. This is called supercongruence. In this paper, we prove a conjecture on supercongruences for sequences that have come to be known as the Almkvist-Zudilin numbers. Some other (naturally) related family of sequences will be considered in a similar vain.

math.NT↗
arXiv2015

Some $q$-congruences for homogeneous and quasi-homogeneous multiple $q$-harmonic sums

We show some new Wolstenholme type $q$-congruences for some classes of multiple $q$-harmonic sums of arbitrary depth with strings of indices composed of ones, twos and threes. Most of these results are $q$-extensions of the corresponding congruences for ordinary multiple harmonic sums obtained by the authors in a previous paper. Finally, we pose a conjecture concerning two kinds of cyclic sums of multiple $q$-harmonic sums.

math.CO↗
arXiv2013

New Multiple Harmonic Sum Identities

We consider a special class of binomial sums involving harmonic numbers and we prove three identities by using the elementary method of the partial fraction decomposition. Some applications to infinite series and congruences are given.

math.CO↗
arXiv2013

New properties of multiple harmonic sums modulo $p$ and $p$-analogues of Leshchiner's series

In this paper we present some new identities of hypergeometric type for multiple harmonic sums whose indices are the sequences $(\{1\}^a,c,\{1\}^b),$ $(\{2\}^a,c,\{2\}^b)$ and prove a number of congruences for these sums modulo a prime $p.$ The congruences obtained allow us to find nice $p$-analogues of Leshchiner's series for zeta values and to refine a result due to M. Hoffman and J. Zhao about the set of generators of the multiple harmonic sums of weight 7 and 9 modulo $p$. Moreover, we are also able to provide a new proof of Zagier's formula for $ζ^{*}(\{2\}^a,3,\{2\}^b)$ based on a finite identity for partial sums of the zeta-star series.

math.NT↗
arXiv2012

Determinants of grids, tori, cylinders and Möbius ladders

Recently, Bieñ [A. Bieñ, The problem of singularity for planar grids, Discrete Math. 311 (2011), 921--931] obtained a recursive formula for the determinant of a grid. Also, recently, Pragel [D. Pragel, Determinants of box products of paths, Discrete Math. 312 (2012), 1844--1847], independently, obtained an explicit formula for this determinant. In this paper, we give a short proof for this problem. Furthermore, applying the same technique, we get explicit formulas for the determinant of a torus, a cylinder, and a Möbius ladder.

math.CO↗
arXiv2012

Congruences concerning Jacobi polynomials and Apéry-like formulae

Let $p>5$ be a prime. We prove congruences modulo $p^{3-d}$ for sums of the general form $\sum_{k=0}^{(p-3)/2}\binom{2k}{k}t^k/(2k+1)^{d+1}$ and $\sum_{k=1}^{(p-1)/2}\binom{2k}{k}t^k/k^d$ with $d=0,1$. We also consider the special case $t=(-1)^{d}/16$ of the former sum, where the congruences hold modulo $p^{5-d}$.

math.NT↗
arXiv2011

Constraining spacetime torsion with LAGEOS

We compute the corrections to the orbital Lense-Thirring effect (or frame-dragging) in the presence of spacetime torsion. We derive the equations of motion of a test body in the gravitational field of a rotating axisymmetric massive body, using the parametrized framework of Mao, Tegmark, Guth and Cabi. We calculate the secular variations of the longitudes of the node and of the pericenter. We also show how the LAser GEOdynamics Satellites (LAGEOS) can be used to constrain torsion parameters. We report the experimental constraints obtained using both the nodes and perigee measurements of the orbital Lense-Thirring effect. This makes LAGEOS and Gravity Probe B (GPB) complementary frame-dragging and torsion experiments, since they constrain three different combinations of torsion parameters.

gr-qc↗
arXiv2011

On some new congruences for binomial coefficients

In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let $p$ be a prime and let $a$ be any positive integer. We determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for $d=0,...,p^a$ and $\sum_{k=0}^{p^a-1}\binom{2k}{k+δ}$ mod $p^3$ for $δ=0,1$. We also show that $$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$ for every n=0,1,2,..., where $C_m$ is the Catalan number $\binom{2m}{m}/(m+1)$, and (-) is the Legendre symbol.

math.NT↗
arXiv2011

Supercongruences for a truncated hypergeometric series

The purpose of this note is to obtain some congruences modulo a power of a prime $p$ involving the truncated hypergeometric series $$\sum_{k=1}^{p-1} {(x)_k(1-x)_k\over (1)_k^2}\cdot{1\over k^a}$$ for $a=1$ and $a=2$. In the last section, the special case $x=1/2$ is considered.

math.NT↗
arXiv2011

Constraining spacetime torsion with the Moon and Mercury

We report a search for new gravitational physics phenomena based on Einstein-Cartan theory of General Relativity including spacetime torsion. Starting from the parametrized torsion framework of Mao, Tegmark, Guth and Cabi, we analyze the motion of test bodies in the presence of torsion, and in particular we compute the corrections to the perihelion advance and to the orbital geodetic precession of a satellite. We describe the torsion field by means of three parameters, and we make use of the autoparallel trajectories, which in general may differ from geodesics when torsion is present. We derive the equations of motion of a test body in a spherically symmetric field, and the equations of motion of a satellite in the gravitational field of the Sun and the Earth. We calculate the secular variations of the longitudes of the node and of the pericenter of the satellite. The computed secular variations show how the corrections to the perihelion advance and to the orbital de Sitter effect depend on the torsion parameters. All computations are performed under the assumptions of weak field and slow motion. To test our predictions, we use the measurements of the Moon geodetic precession from lunar laser ranging data, and the measurements of Mercury's perihelion advance from planetary radar ranging data. These measurements are then used to constrain suitable linear combinations of the torsion parameters.

gr-qc↗