-
arXiv:2212.07726 [pdf, ps, other]
Some further applications of a lattice theoretic method in the study of singular LCM matrices
Abstract: In 1876 H. J. S. Smith defined an LCM matrix as follows: let S = {x_1, x_2, ..., x_n} be a set of positive integers. The LCM matrix [S] is the n $\times$ n matrix with lcm(x_i , x_j) as its ij entry. During the last 30 years singularity of LCM matrices has interested many authors. In 1992 Bourque and Ligh ended up conjecturing that if the GCD closedness of the set S (which means that gcd(x_i, x_j)… ▽ More
Submitted 15 December, 2022; originally announced December 2022.
-
arXiv:1911.05411 [pdf, ps, other]
Menon-type identities again: A note on a paper by Li, Kim and Qiao
Abstract: We give common generalizations of the Menon-type identities by Sivaramakrishnan (1969) and Li, Kim, Qiao (2019). Our general identities involve arithmetic functions of several variables, and also contain, as special cases, identities for gcd-sum type functions. We point out a new Menon-type identity concerning the lcm function. We present a simple character free approach for the proof.
Submitted 6 May, 2020; v1 submitted 13 November, 2019; originally announced November 2019.
Comments: 14 pages
MSC Class: 11A07; 11A25
Journal ref: Publ. Math. Debrecen 96 (2020), 487-502
-
arXiv:1901.02216 [pdf, ps, other]
Arithmetic Subderivatives and Leibniz-Additive Functions
Abstract: We first introduce the arithmetic subderivative of a positive integer with respect to a non-empty set of primes. This notion generalizes the concepts of the arithmetic derivative and arithmetic partial derivative. More generally, we then define that an arithmetic function $f$ is Leibniz-additive if there is a nonzero-valued and completely multiplicative function $h_f$ satisfying… ▽ More
Submitted 8 January, 2019; originally announced January 2019.
MSC Class: 11A25 (Primary) 11A05 (Secondary)
-
arXiv:1809.02423 [pdf, ps, other]
Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture
Abstract: Let $S=\{x_1,x_2,\ldots,x_n\}$ be a finite set of distinct positive integers. Throughout this article we assume that the set $S$ is GCD closed. The LCM matrix $[S]$ of the set $S$ is defined to be the $n\times n$ matrix with $\mathrm{lcm}(x_i,x_j)$ as its $ij$ element. The famous Bourque-Ligh conjecture used to state that the LCM matrix of a GCD closed set $S$ is always invertible, but currently i… ▽ More
Submitted 15 October, 2019; v1 submitted 7 September, 2018; originally announced September 2018.
Journal ref: Journal of Combinatorial Theory, Series A 171 (2020)
-
Positive definite functions on semilattices
Abstract: We introduce a notion of positive definiteness for functions $f\!:P\to\mathbb{R}$ defined on meet semilattices $(P,\preceq,\wedge)$ and prove several properties for these functions. In addition, we utilize the $LDL^{\rm T}$ decomposition of meet matrices in order to explore the properties of multivariate positive definite arithmetic functions $f\!:\mathbb{Z}_+^d\to\mathbb{R}$. Finally, we give a s… ▽ More
Submitted 27 April, 2020; v1 submitted 9 April, 2018; originally announced April 2018.
Comments: 12 pages, 1 figure
MSC Class: 06A12; 11A25; 11C20; 15A69; 15B36
-
arXiv:1803.06849 [pdf, ps, other]
The arithmetic derivative and Leibniz-additive functions
Abstract: An arithmetic function $f$ is Leibniz-additive if there is a completely multiplicative function $h_f$, i.e., $h_f(1)=1$ and $h_f(mn)=h_f(m)h_f(n)$ for all positive integers $m$ and $n$, satisfying $$ f(mn)=f(m)h_f(n)+f(n)h_f(m) $$ for all positive integers $m$ and $n$. A motivation for the present study is the fact that Leibniz-additive functions are generalizations of the arithmetic derivative… ▽ More
Submitted 19 March, 2018; originally announced March 2018.
MSC Class: 11A25
-
arXiv:1707.09473 [pdf, ps, other]
Inertia, positive definiteness and $\ell_p$ norm of GCD and LCM matrices and their unitary analogs
Abstract: Let $S=\{x_1,x_2,\dots,x_n\}$ be a set of distinct positive integers, and let $f$ be an arithmetical function. The GCD matrix $(S)_f$ on $S$ associated with $f$ is defined as the $n\times n$ matrix having $f$ evaluated at the greatest common divisor of $x_i$ and $x_j$ as its $ij$ entry. The LCM matrix $[S]_f$ is defined similarly. We consider inertia, positive definiteness and $\ell_p$ norm of GCD… ▽ More
Submitted 29 July, 2017; originally announced July 2017.
MSC Class: Primary 11C20; secondary 11A25; 11N37; 15B36
-
arXiv:1705.03494 [pdf, ps, other]
The spectral norm of a Horadam circulant matrix
Abstract: Let $a$, $b$, $p$, $q$ be integers and~$(h_n)$ defined by $h_0=a$, $h_1=b$, $h_n=ph_{n-1}+qh_{n-2}$, $n=2,3,\dots$. Complementing to certain previously known results, we study the spectral norm of the circulant matrix corresponding to $h_0,\dots,h_{n-1}$.
Submitted 9 May, 2017; originally announced May 2017.
MSC Class: 15A60 11B39 11C20 15B05
-
arXiv:1403.5428 [pdf, ps, other]
A lattice-theoretic approach to the Bourque-Ligh conjecture
Abstract: The Bourque-Ligh conjecture states that if $S=\{x_1,x_2,\ldots,x_n\}$ is a gcd-closed set of positive integers with distinct elements, then the LCM matrix $[S]=[\hbox{lcm}(x_i,x_j)]$ is invertible. It is well known that this conjecture holds for $n\leq7$ but does not generally hold for $n\geq8$. In this paper we provide a lattice-theoretic explanation for this solution of the Bourque-Ligh conjectu… ▽ More
Submitted 21 March, 2014; originally announced March 2014.
-
arXiv:1403.5389 [pdf, ps, other]
Studying the singularity of LCM-type matrices via semilattice structures and their Möbius functions
Abstract: The invertibility of LCM matrices and their Hadamard powers have been studied a lot over the years by many authors. Bourque and Ligh conjectured in 1992 that the LCM matrix $[S]=[[x_i, x_j]]$ on any GCD closed set $S=\{x_1, x_2, \ldots, x_n\}$ is invertible, but in 1997 this was proven false. However, currently there are many open conjectures concerning LCM matrices and their Hadamard powers prese… ▽ More
Submitted 21 March, 2014; originally announced March 2014.
-
arXiv:1309.0320 [pdf, ps, other]
On the eigenvalues of certain number-theoretic matrices
Abstract: In this paper we study the structure and give bounds for the eigenvalues of the $n\times n$ matrix, which $ij$ entry is $(i,j)^α[i,j]^β$, where $α,β\in\Rset$, $(i,j)$ is the greatest common divisor of $i$ and $j$ and $[i,j]$ is the least common multiple of $i$ and $j$. Currently only $O$-estimates for the greatest eigenvalue of this matrix can be found in the literature, and the asymptotic behavio… ▽ More
Submitted 2 September, 2013; originally announced September 2013.
MSC Class: 15A23; 15A42; 15A60; 15B36; 11A25; 11C20
-
arXiv:1308.6670 [pdf, ps, other]
Extensions of the class of multiplicative functions
Abstract: We consider the classes of quasimultiplicative, semimultiplicative and Selberg multiplicative functions as extensions of the class of multiplicative functions. We apply these concepts to Ramanujan's sum and its analogue with respect to regular integers (mod r).
Submitted 30 August, 2013; originally announced August 2013.
Comments: arXiv admin note: text overlap with arXiv:1008.5239
MSC Class: 11A25
Journal ref: East-West Journal of Mathematics 14 (2), 2012, 101-113
-
arXiv:1210.0295 [pdf, ps, other]
Discrete Ramanujan-Fourier Transform of Even Functions (mod $r$)
Abstract: An arithmetical function $f$ is said to be even (mod r) if f(n)=f((n,r)) for all n\in\Z^+, where (n, r) is the greatest common divisor of n and r. We adopt a linear algebraic approach to show that the Discrete Fourier Transform of an even function (mod r) can be written in terms of Ramanujan's sum and may thus be referred to as the Discrete Ramanujan-Fourier Transform.
Submitted 1 October, 2012; originally announced October 2012.
MSC Class: 11A25; 11L03; 94A11
Journal ref: Indian J. Math. Math. Sci. 3 (2007), no. 1, 75--80
-
arXiv:1209.4287 [pdf, ps, other]
On the positive definiteness and eigenvalues of meet and join matrices
Abstract: In this paper we study the positive definiteness of meet and join matrices using a novel approach. When the set $S_n$ is meet closed, we give a sufficient and necessary condition for the positive definiteness of the matrix $(S_n)_f$. From this condition we obtain some sufficient conditions for positive definiteness as corollaries. We also use graph theory and show that by making some graph theoret… ▽ More
Submitted 19 September, 2012; originally announced September 2012.
MSC Class: 11C20; 15B36; 06B99
-
arXiv:1110.6864 [pdf, ps, other]
Asymptotics for numbers of line segments and lines in a square grid
Abstract: We present an asymptotic formula for the number of line segments connecting q+1 points of an nxn square grid, and a sharper formula, assuming the Riemann hypothesis. We also present asymptotic formulas for the number of lines through at least q points and, respectively, through exactly q points of the grid. The well-known case q=2 is so generalized.
Submitted 31 October, 2011; originally announced October 2011.
MSC Class: 05A99; 11N37; 11P21
Journal ref: International Journal of Number Theory 2012
-
arXiv:1110.4954 [pdf, ps, other]
Some properties of row-adjusted meet and join matrices
Abstract: Let $(P,\preceq)$ be a lattice, $S$ a finite subset of $P$ and $f_1,f_2,...,f_n$ complex-valued functions on $P$. We define row-adjusted meet and join matrices on $S$ by $(S)_{f_1,...,f_n}=(f_i(x_i\wedge x_j))$ and $[S]_{f_1,...,f_n}=(f_i(x_i\vee x_j))$. In this paper we determine the structure of the matrix $(S)_{f_1,...,f_n}$ in general case and in the case when the set $S$ is meet closed we giv… ▽ More
Submitted 22 October, 2011; originally announced October 2011.
MSC Class: 11C20; 15B36; 06B99
-
arXiv:1110.4953 [pdf, ps, other]
Determinant and inverse of join matrices on two sets
Abstract: Let $(P,\preceq)$ be a lattice and $f$ a complex-valued function on $P$. We define meet and join matrices on two arbitrary subsets $X$ and $Y$ of $P$ by $(X,Y)_f=(f(x_i\wedge y_j))$ and $[X,Y]_f=(f(x_i\vee x_j))$ respectively. Here we present expressions for the determinant and the inverse of $[X,Y]_f$. Our main goal is to cover the case when $f$ is not semimultiplicative since the formulas presen… ▽ More
Submitted 22 October, 2011; originally announced October 2011.
MSC Class: 11C20; 15B36; 06B99
-
arXiv:1110.3566 [pdf, ps, other]
Asymptotics of the number of threshold functions on a two-dimensional rectangular grid
Abstract: Let $m,n\ge 2$, $m\le n$. It is well-known that the number of (two-dimensional) threshold functions on an $m\times n$ rectangular grid is {eqnarray*} t(m,n)=\frac{6}{π^2}(mn)^2+O(m^2n\log{n})+O(mn^2\log{\log{n}})= \frac{6}{π^2}(mn)^2+O(mn^2\log{m}). {eqnarray*} We improve the error term by showing that $$ t(m,n)=\frac{6}{π^2}(mn)^2+O(mn^2). $$
Submitted 20 September, 2012; v1 submitted 16 October, 2011; originally announced October 2011.
MSC Class: 03B50; 05A99; 11N37; 11P21
-
arXiv:1108.1041 [pdf, ps, other]
Some formulas for numbers of line segments and lines in a rectangular grid
Abstract: We present a formula for the number of line segments connecting q+1 points of an n_1 x...x n_k rectangular grid. As corollaries, we obtain formulas for the number of lines through at least q points and, respectively, through exactly q points of the grid. The well-known case k=2 is so generalized. We also present recursive formulas for these numbers assuming k=2, n_1=n_2. The well-known case q=2 is… ▽ More
Submitted 4 August, 2011; originally announced August 2011.
MSC Class: 05A99; 11B37; 11P21
-
arXiv:1009.5281 [pdf, ps, other]
The discrete Fourier transform of $r$-even functions
Abstract: We give a detailed study of the discrete Fourier transform (DFT) of $r$-even arithmetic functions, which form a subspace of the space of $r$-periodic arithmetic functions. We consider the DFT of sequences of $r$-even functions, their mean values and Dirichlet series. Our results generalize properties of the Ramanujan sum. We show that some known properties of $r$-even functions and of the Ramanuja… ▽ More
Submitted 27 September, 2010; originally announced September 2010.
Comments: 15 pages
MSC Class: 11A25; 11L03; 11N37
Journal ref: Acta Univ. Sapientiae, Math. 3 (2011), 5--25
-
arXiv:1008.5239 [pdf, ps, other]
An analogue of Ramanujan's sum with respect to regular integers (mod $r$)
Abstract: An integer $a$ is said to be regular (mod $r$) if there exists an integer $x$ such that $a^2x\equiv a\pmod{r}$. In this paper we introduce an analogue of Ramanujan's sum with respect to regular integers (mod $r$) and show that this analogue possesses properties similar to those of the usual Ramanujan's sum.
Submitted 31 August, 2010; originally announced August 2010.
MSC Class: 11A25; 11L03
-
arXiv:0806.0508 [pdf, ps, other]
On the binomial convolution of arithmetical functions
Abstract: Let $n=\prod_p p^{ν_p(n)}$ denote the canonical factorization of $n\in \N$. The binomial convolution of arithmetical functions $f$ and $g$ is defined as $(f\circ g)(n)=\sum_{d\mid n} (\prod_p \binom{ν_p(n)}{ν_p(d)}) f(d)g(n/d),$ where $\binom{a}{b}$ is the binomial coefficient. We provide properties of the binomial convolution. We study the $\C$-algebra $({\cal A},+,\circ,\C)$, characterizations… ▽ More
Submitted 22 April, 2010; v1 submitted 3 June, 2008; originally announced June 2008.
Comments: 15 pages, revised
MSC Class: 11A25; 05Axx
Journal ref: Journal of Combinatorics and Number Theory, Volume 1, Issue 1, 2009, pp. 31--48