BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Pentti Haukkanen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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 series of examples and counterexamples of positive definite functions.
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 conjecture. In fact, let $(P,\leq)=(P,\land,\lor)$ be a lattice, let $S=\{x_1,x_2,\ldots,x_n\}$ be a subset of $P$ and let $f:P\to{\mathbb C}$ be a function. We study under which conditions the join matrix $[S]_f=[f(x_i\lor x_j)]$ on $S$ with respect to $f$ is invertible on a meet closed set $S$ (i.e., $x_i,x_j\in S\Rightarrow x_i\land x_j\in S)$.
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 presented by Hong. In this paper we utilize lattice-theoretic structures and the Möbius function to explain the singularity of classical LCM matrices and their Hadamard powers. At the same time we end up disproving some of Hong's conjectures. Elementary mathematical analysis is applied to prove that for most semilattice structures there exist a set $S=\{x_1, x_2, \ldots, x_n\}$ of positive integers and a real number $α>0$ such that $S$ possesses this structure and the power LCM matrix $[[x_i, x_j]^α]$ is singular.
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).
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 behaviour of the greatest and smallest eigenvalue is known in case when $α=β$.
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). $$
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.
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 theoretic assumptions on the set $S_n$ we are able to reduce the assumptions on the function $f$ while still preserving the positive definiteness of the matrix $(S_n)_f$. Dual theorems of these results for join matrices are also presented. As examples we consider the so-called power GCD and power LCM matrices as well as MIN and MAX matrices. Finally we give bounds for the eigenvalues of meet and join matrices in cases when the function $f$ possesses certain monotonic behaviour.
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.
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 presented earlier for $[X,Y]_f$ cannot be applied in this situation. In cases when $f$ is semimultiplicative we obtain several new and known formulas for the determinant and inverse of $(X,Y)_f$ and the usual meet and join matrices $(S)_f$ and $[S]_f$. We also apply these formulas to LCM, MAX, GCD and MIN matrices, which are special cases of join and meet matrices.
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 so generalized.
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 give bounds for $\text{rank} (S)_{f_1,...,f_n}$ and present expressions for $\det (S)_{f_1,...,f_n}$ and $(S)_{f_1,...,f_n}^{-1}$. The same is carried out dually for row-adjusted join matrix of a join closed set $S$.
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.
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 of completely multiplicative functions, Selberg multiplicative functions, exponential Dirichlet series, exponential generating functions and a generalized binomial convolution leading to various Möbius-type inversion formulas. Throughout the paper we compare our results with those of the Dirichlet convolution *. Our main result is that $({\cal A},+,\circ,\C)$ is isomorphic to $({\cal A},+,*,\C)$. We also obtain a "multiplicative" version of the multinomial theorem.
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 Ramanujan sum can be obtained in a simple manner via the DFT.