Showing 1–21 of 21 results for author: Gallardo, L H

Combinatorial properties of Circulant Hadamard matrices

Authors: Luis H. Gallardo, Olivier Rahavandrainy, Reinhardt. Euler

Abstract: We describe combinatorial properties of the defining row of a circulant Hadamard matrix by exploiting its orthogonality to subsequent rows, and show how to exclude several particular forms of these matrices. We describe combinatorial properties of the defining row of a circulant Hadamard matrix by exploiting its orthogonality to subsequent rows, and show how to exclude several particular forms of these matrices. △ Less

Submitted 15 June, 2024; originally announced June 2024.

MSC Class: 15B34

Ryser's Conjecture and Stochastic matrices

Authors: Luis H. Gallardo

Abstract: Assume that $H$ is a circulant Hadamard matrix of order $n\geq 4$. We consider an appropriate stochastic matrix $S$ of order $n$ depending on $H$. This allows us to prove that $n = 4$. Thus, there are only $10$ circulant Hadamard matrices. Assume that $H$ is a circulant Hadamard matrix of order $n\geq 4$. We consider an appropriate stochastic matrix $S$ of order $n$ depending on $H$. This allows us to prove that $n = 4$. Thus, there are only $10$ circulant Hadamard matrices. △ Less

Submitted 16 May, 2024; originally announced May 2024.

MSC Class: 15B34 (Primary); 11A05 (Secondary)

A Note on a Result of Makowski

Authors: Luis H. Gallardo, Joshua Zelinsky

Abstract: In this note, we fix a gap in a proof of the first author that 28 is the only even perfect number which is the sum of two perfect cubes. We also discuss the situation for higher powers. In this note, we fix a gap in a proof of the first author that 28 is the only even perfect number which is the sum of two perfect cubes. We also discuss the situation for higher powers. △ Less

Submitted 17 March, 2025; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 5 pages. Accepted to Elemente der Mathematik

MSC Class: 11A25

On splitting bi-unitary perfect polynomials over $\mathbb{F}_{p^2}$

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We give all splitting bi-unitary perfect polynomials over the field $\mathbb{F}_4$ and some splitting ones over $\mathbb{F}_{p^2}$, if $p$ is an odd prime. We give all splitting bi-unitary perfect polynomials over the field $\mathbb{F}_4$ and some splitting ones over $\mathbb{F}_{p^2}$, if $p$ is an odd prime. △ Less

Submitted 13 November, 2023; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: 10 pages

MSC Class: 11T55; 11T06

On Collatz Conjecture for binary polynomials

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We build a variant of Collatz Conjecture for polynomials over $\mathbb{F}_2$ and we prove that it is solved. By the way, we give several examples. We build a variant of Collatz Conjecture for polynomials over $\mathbb{F}_2$ and we prove that it is solved. By the way, we give several examples. △ Less

Submitted 31 August, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: 16 pages

MSC Class: 11T55; 11T06

On odd perfect numbers of special forms

Authors: Luis H. Gallardo, Olivier. Rahavandrainy

Abstract: We give necessary conditions for perfection of some families of odd numbers with special multiplicative forms. Extending earlier work of Steuerwald, Kanold, McDaniel et al. We give necessary conditions for perfection of some families of odd numbers with special multiplicative forms. Extending earlier work of Steuerwald, Kanold, McDaniel et al. △ Less

Submitted 8 April, 2023; originally announced April 2023.

Comments: Paper published in Aportaciones Matematicas Investigacion 20 (2011) 109--115. No longer available over Internet

MSC Class: 11A25; 11A07

Journal ref: Aportaciones Matematicas Investigacion 20 (2011) 109--115

Fixed points of the sum of divisors function on $F_2[x]$

Authors: Luis H. Gallardo

Abstract: We work an analogue of a classical arithmetic problem over polynomials. More precisely, we study the fixed points $F$ of the sum of divisors function $σ: F_2[x] \mapsto F_2[x]$ (defined \emph{mutatis mutandi} like the usual sum of divisors over the integers) of the form $F := A^2 \cdot S$, $S$ square-free, with $ω(S) \leq 3$, coprime with $A$, for $A$ even, of whatever degree, under some condition… ▽ More We work an analogue of a classical arithmetic problem over polynomials. More precisely, we study the fixed points $F$ of the sum of divisors function $σ: F_2[x] \mapsto F_2[x]$ (defined \emph{mutatis mutandi} like the usual sum of divisors over the integers) of the form $F := A^2 \cdot S$, $S$ square-free, with $ω(S) \leq 3$, coprime with $A$, for $A$ even, of whatever degree, under some conditions. This gives a characterization of $5$ of the $11$ known fixed points of $σ$ in $F_2[x]$ △ Less

Submitted 15 January, 2023; originally announced January 2023.

MSC Class: 11T55; 11T06

Some multiplicative functions over $\mathbb{F}_2$

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We adapt (over $\mathbb{F}_2$) the general notions of multiplicative function, Dirichlet convolution and Inverse. We get some interesting results, namely necessary conditions for an odd binary polynomial to be perfect. Note that we are inspired by the "analogous" works in \cite{Gall-Rahav-newcongr} and \cite{Touchard}, about odd perfect numbers. We adapt (over $\mathbb{F}_2$) the general notions of multiplicative function, Dirichlet convolution and Inverse. We get some interesting results, namely necessary conditions for an odd binary polynomial to be perfect. Note that we are inspired by the "analogous" works in \cite{Gall-Rahav-newcongr} and \cite{Touchard}, about odd perfect numbers. △ Less

Submitted 12 January, 2023; originally announced January 2023.

MSC Class: (2010): 11T55; 11T06

All bi-unitary perfect polynomials over $\F_2$ only divisible by $x$, $x+1$ and by Mersenne primes

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We give all non splitting bi-unitary perfect polynomials over the prime field of two elements, which have only Mersenne polynomials as odd irreducible divisors. We give all non splitting bi-unitary perfect polynomials over the prime field of two elements, which have only Mersenne polynomials as odd irreducible divisors. △ Less

Submitted 9 May, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1810.09697

MSC Class: 11T55; 11T06

Admissible family for binary perfect polynomials

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: The paper is about an arithmetic problem in $\F_2[x]$. We give \emph{admissible} (necessary) conditions satisfied by a set of odd prime divisors of perfect polynomials over $\F_2$. This allows us to prove a new characterization of \emph{all} known perfect polynomials, and to open a way of finding more of them (if they exist). The paper is about an arithmetic problem in $\F_2[x]$. We give \emph{admissible} (necessary) conditions satisfied by a set of odd prime divisors of perfect polynomials over $\F_2$. This allows us to prove a new characterization of \emph{all} known perfect polynomials, and to open a way of finding more of them (if they exist). △ Less

Submitted 16 February, 2022; originally announced February 2022.

Comments: 12 pages

MSC Class: 11T55; 11T06

All even (unitary) perfect polynomials over $\F_2$ with only Mersenne primes as odd divisors

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We address an arithmetic problem in the ring $\F_2[x]$ related to the fixed points of the sum of divisors function. We study some binary polynomials $A$ such that $σ(A)/A $ is still a binary polynomial. Technically, we prove that the only (unitary) perfect polynomials over $\F_2$ that are products of $x$, $x+1$ and of Mersenne primes are precisely the nine (resp. nine "classes") known ones. This f… ▽ More We address an arithmetic problem in the ring $\F_2[x]$ related to the fixed points of the sum of divisors function. We study some binary polynomials $A$ such that $σ(A)/A $ is still a binary polynomial. Technically, we prove that the only (unitary) perfect polynomials over $\F_2$ that are products of $x$, $x+1$ and of Mersenne primes are precisely the nine (resp. nine "classes") known ones. This follows from a new result about the factorization of $M^{2h+1} +1$, for a Mersenne prime $M$ and for a positive integer $h$. △ Less

Submitted 13 February, 2022; originally announced February 2022.

Comments: 16 pages. arXiv admin note: text overlap with arXiv:1908.00106

MSC Class: 11T55; 11T06

Factorization of cyclotomic polynomial values at Mersenne primes

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We get some results about the factorization of $φ_p(M) \in {\mathbb{F}}_2[x]$, where $p$ is a prime number, $φ_p$ is the corresponding cyclotomic polynomial and $M$ is a Mersenne prime (polynomial). By the way, we better understand the factorization of the sum of the divisors of $M^{2h}$, for a positive integer $h$. We get some results about the factorization of $φ_p(M) \in {\mathbb{F}}_2[x]$, where $p$ is a prime number, $φ_p$ is the corresponding cyclotomic polynomial and $M$ is a Mersenne prime (polynomial). By the way, we better understand the factorization of the sum of the divisors of $M^{2h}$, for a positive integer $h$. △ Less

Submitted 18 June, 2021; originally announced June 2021.

On odd prime divisors of binary perfect polynomials

Authors: L. H. Gallardo, O. Rahavandrainy

Abstract: We give necessary conditions satisfied by the set of odd prime divisors of binary perfect polynomials. This allows us to get a new characterization of all the known perfect binary polynomials. We give necessary conditions satisfied by the set of odd prime divisors of binary perfect polynomials. This allows us to get a new characterization of all the known perfect binary polynomials. △ Less

Submitted 15 August, 2020; v1 submitted 31 July, 2020; originally announced July 2020.

On (unitary) perfect polynomials over $\mathbb{F}_2$ with only Mersenne primes as odd divisors

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: The only (unitary) perfect polynomials over $\mathbb{F}_2$ that are products of $x$, $x+1$ and Mersenne primes are precisely the nine (resp. nine "classes") known ones. This follows from a new result about the factorization of $M^{2h+1} +1$, for a Mersenne prime $M$ and for a positive integer $h$. Other consequences of such a factorization are new results about odd perfect polynomials. The only (unitary) perfect polynomials over $\mathbb{F}_2$ that are products of $x$, $x+1$ and Mersenne primes are precisely the nine (resp. nine "classes") known ones. This follows from a new result about the factorization of $M^{2h+1} +1$, for a Mersenne prime $M$ and for a positive integer $h$. Other consequences of such a factorization are new results about odd perfect polynomials. △ Less

Submitted 31 July, 2019; originally announced August 2019.

MSC Class: 11T55 (Primary); 11T06 (Secondary)

A Real eigenvector of Circulant matrices and a conjecture of Ryser

Authors: Luis H. Gallardo

Abstract: We prove that there is no circulant Hadamard matrix $H$ with first row $[h_{1},\ldots,h_{n}]$ of order $n>4$, under a condition about a sum of scalar products of rows of two other circulant matrices of size $n/2$ associated to $H.$ We prove that there is no circulant Hadamard matrix $H$ with first row $[h_{1},\ldots,h_{n}]$ of order $n>4$, under a condition about a sum of scalar products of rows of two other circulant matrices of size $n/2$ associated to $H.$ △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: Submitted to AMEN

MSC Class: 11B30; 15B34; (Primary) 11C20 (Secondary)

If $p^a \vert \vert n$ where $n >4$ is the order of a Circulant Hadamard matrix, then the order of $p$ modulo $n/p^a$ is odd

Authors: Luis H. Gallardo

Abstract: We proved recently (see \cite{lhgarasu}) the result on the title for odd prime divisors of such an $n.$ The result implies for many $n's$, more precisely, for an infinity of $n$'s with an arbitrary fixed number of prime divisors, the inexistence of circulant Hadamard matrices, and the inexistence of Barker sequences of length $n >13$. The proof used a result of Arasu. It turns out that there is an… ▽ More We proved recently (see \cite{lhgarasu}) the result on the title for odd prime divisors of such an $n.$ The result implies for many $n's$, more precisely, for an infinity of $n$'s with an arbitrary fixed number of prime divisors, the inexistence of circulant Hadamard matrices, and the inexistence of Barker sequences of length $n >13$. The proof used a result of Arasu. It turns out that there is another, shorter proof, of the more general result that includes the prime $p=2.$ This new proof is based on a result of Brock (see \cite[Theorem 3.1]{brock}), and besides that, requires just the definition of the Fourier transform. I noticed Brock's result in a preprint (see \cite{winterhofetal}) of Winterhof et al. where it is used to study the inexistence of related Butson-Hadamard matrices. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: Submitted

Quadratic residues and a new infinity of orders for which a conjecture of Ryser about Circulant Hadamard matrices holds

Authors: Luis H. Gallardo

Abstract: For every positive integer $k$ such that $k>1,$ there are an infinity of odd integers $h$ with $ω(h) =k$ distinct prime divisors such that there do not exist a Circulant Hadamard matrix $H$ of order $n=4h^2.$ Moreover, our main result implies that for all of the odd numbers $h$, with $1< h < 10^{13}$ there is no Circulant Hadamard matrix of order $n=4h^2.$ For every positive integer $k$ such that $k>1,$ there are an infinity of odd integers $h$ with $ω(h) =k$ distinct prime divisors such that there do not exist a Circulant Hadamard matrix $H$ of order $n=4h^2.$ Moreover, our main result implies that for all of the odd numbers $h$, with $1< h < 10^{13}$ there is no Circulant Hadamard matrix of order $n=4h^2.$ △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: Submitted

All unitary perfect polynomials over $F_2$ with less than five distinct prime factors

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We find all unitary perfect polynomials over the prime field $\F_2$ with less than five distinct prime factors. We find all unitary perfect polynomials over the prime field $\F_2$ with less than five distinct prime factors. △ Less

Submitted 27 March, 2010; originally announced March 2010.

Comments: revised version, report on preliminary version included

MSC Class: 11T55; 11T06. 11T55 (Primary); 11T06 (Secondary)

On special Wieferich's primes

Authors: Luis H. Gallardo

Abstract: We prove that there are no Wieferich's primes $q=2p+1$ where $p \equiv 3 \pmod{4}$ is a prime number We prove that there are no Wieferich's primes $q=2p+1$ where $p \equiv 3 \pmod{4}$ is a prime number △ Less

Submitted 19 February, 2010; originally announced February 2010.

Comments: short paper

MSC Class: 11A25; 11A07

On splitting perfect polynomials over $\mathbb{F}_{p^2}$

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: We study some properties of the exponents of the terms appearing in the splitting perfect polynomials over $\mathbb{F}_{p^2}$, where $p$ is a prime number. This generalizes the work of Beard et al. over $\mathbb{F}_p$. Corrected paper. Older Lemmas 2.17 to 2.20 in published version required a fixing done herein. We study some properties of the exponents of the terms appearing in the splitting perfect polynomials over $\mathbb{F}_{p^2}$, where $p$ is a prime number. This generalizes the work of Beard et al. over $\mathbb{F}_p$. Corrected paper. Older Lemmas 2.17 to 2.20 in published version required a fixing done herein. △ Less

Submitted 7 November, 2009; originally announced November 2009.

Comments: Current corrected version

MSC Class: 11T55; 11T06

Journal ref: Port. Math. 66 (2009), no. 3, 261--273

Even perfect polynomials over $F_2$ with four prime factors

Authors: Luis H. Gallardo, Olivier Rahavandrainy

Abstract: A perfect polynomial over the binary field $\F_2$ is a polynomial $A \in \F_2[x]$ that equals the sum of all its divisors. If $\gcd(A,x^2-x) \neq 1$ then we call $A$ even. The list of all even perfect polynomials over $\F_2$ with at most 3 prime factors in known. The object of this paper is to give the list of all even perfect polynomials over $\F_2$ with four prime factors. These are all the kn… ▽ More A perfect polynomial over the binary field $\F_2$ is a polynomial $A \in \F_2[x]$ that equals the sum of all its divisors. If $\gcd(A,x^2-x) \neq 1$ then we call $A$ even. The list of all even perfect polynomials over $\F_2$ with at most 3 prime factors in known. The object of this paper is to give the list of all even perfect polynomials over $\F_2$ with four prime factors. These are all the known perfect polynomials with four prime factors over $\F_2$. △ Less

Submitted 16 December, 2007; originally announced December 2007.

Comments: 19 pages (in 12 pt)

MSC Class: 11T55; 11T06