scholarly journals A congruence involving harmonic sums modulo pαqβ

2017 ◽  
Vol 13 (05) ◽  
pp. 1083-1094 ◽  
Author(s):  
Tianxin Cai ◽  
Zhongyan Shen ◽  
Lirui Jia

In 2014, Wang and Cai established the following harmonic congruence for any odd prime [Formula: see text] and positive integer [Formula: see text], [Formula: see text] where [Formula: see text] and [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, we obtain an unexpected congruence for distinct odd primes [Formula: see text], [Formula: see text] and positive integers [Formula: see text], [Formula: see text] and the necessary and sufficient condition for [Formula: see text] Finally, we raise a conjecture that for [Formula: see text] and odd prime power [Formula: see text], [Formula: see text], [Formula: see text] However, we fail to prove it even for [Formula: see text] with three distinct prime factors.

2003 ◽  
Vol 34 (1) ◽  
pp. 77-86
Author(s):  
Ugur S. Kirmaci

Some modular functions arising from the theta constants $ \vartheta_2(\tau)$, $ \vartheta_3(\tau)$, $ \vartheta_4(\tau)$ are investigated. Let $n$ be an odd square-free positive integer as in [4,7]. It is obtained a necessary and sufficient condition that $ \varphi_{\delta,\rho,3}(\tau)=\prod_{\delta|n,\rho|n}\Big({\vartheta_3(\delta\tau) \over\vartheta_3(\rho\tau)}\Big)^{r_\delta}$  is invariant with respect to transformations in $ \theta(n)$. Also, It is deduced that $ \varphi_{\delta,\rho,i}(\tau)$ is a modular function on $ P^{-2}\theta(n)P^2$, $ \theta(n)$, $P^{-1}\theta(n)P$, for $ i=2,3,4$, respectively. Thus, the result of L. Wilson's paper [7] is generalized. Furthermore, let $ m$ and $ n$ denote positive integers. Let $ r$, $ r_1$, $ r_2$ be integers such that $ r(m-1)(n+1)\equiv 0({\rm mod}~8)$, $ r_1(m-1)(n-1)\equiv 0({\rm mod}~ 8)$, $ r_2^2(n-m)(nm-1)\equiv 0({\rm mod}~8)$, it is shown that $ T_{m,n,i}^r(\tau)=\Big({\disp{\vartheta_i(\tau)\vartheta_i(n\tau)\over\vartheta_i(m\tau) \vartheta_i (mn\tau)}}\Big)^r$, $ H_{m,n,i}^{r_1}(\tau)=\Big({\disp{\vartheta_i(m\tau)\vartheta_i(n\tau)\over \vartheta_i(\tau)\vartheta_i(mn\tau)}}\Big)^{r_1}$ and $ \Phi_{m,n,i}^{r_2}(\tau)=\Big({\disp{\vartheta_i(m\tau)\over\vartheta_i(n\tau)}\Big)^{ r_2 }} $ are modular functions on $ \theta(mn)$, when $ i=3$. Similar results are deduced for $ P^{-2}\theta(mn)P^2$ and $ P^{-1}\theta(mn)P$, the suffixes 3 being replaced by 2 and 4, respectively. Therefore, the modular functions used in B. C. Berndt's paper [1] is rewritten for theta constants.


2020 ◽  
Vol 18 (1) ◽  
pp. 873-885
Author(s):  
Gülnaz Boruzanlı Ekinci ◽  
Csilla Bujtás

Abstract Let k be a positive integer and let G be a graph with vertex set V(G) . A subset D\subseteq V(G) is a k -dominating set if every vertex outside D is adjacent to at least k vertices in D . The k -domination number {\gamma }_{k}(G) is the minimum cardinality of a k -dominating set in G . For any graph G , we know that {\gamma }_{k}(G)\ge \gamma (G)+k-2 where \text{Δ}(G)\ge k\ge 2 and this bound is sharp for every k\ge 2 . In this paper, we characterize bipartite graphs satisfying the equality for k\ge 3 and present a necessary and sufficient condition for a bipartite graph to satisfy the equality hereditarily when k=3 . We also prove that the problem of deciding whether a graph satisfies the given equality is NP-hard in general.


2020 ◽  
Vol 12 (03) ◽  
pp. 2050045
Author(s):  
A. Chellaram Malaravan ◽  
A. Wilson Baskar

The aim of this paper is to determine radius and diameter of graph complements. We provide a necessary and sufficient condition for the complement of a graph to be connected, and determine the components of graph complement. Finally, we completely characterize the class of graphs [Formula: see text] for which the subgraph induced by central (respectively peripheral) vertices of its complement in [Formula: see text] is isomorphic to a complete graph [Formula: see text], for some positive integer [Formula: see text].


2014 ◽  
Vol 21 (02) ◽  
pp. 317-330 ◽  
Author(s):  
Guixin Deng ◽  
Pingzhi Yuan

Let H be an abelian group written additively and k be a positive integer. Let G(H, k) denote the digraph whose set of vertices is just H, and there exists a directed edge from a vertex a to a vertex b if b = ka. In this paper we give a necessary and sufficient condition for G(H, k1) ≃ G(H, k2). We also discuss the problem when G(H1, k) is isomorphic to G(H2, k) for a given k. Moreover, we give an explicit formula of G(H, k) when H is a p-group and gcd (p, k)=1.


2018 ◽  
Vol 14 (05) ◽  
pp. 1487-1503
Author(s):  
Nicholas Schwab ◽  
Lola Thompson

A positive integer [Formula: see text] is practical if every [Formula: see text] can be written as a sum of distinct divisors of [Formula: see text]. One can generalize the concept of practical numbers by applying an arithmetic function [Formula: see text] to each of the divisors of [Formula: see text] and asking whether all integers in a certain interval can be expressed as sums of [Formula: see text]’s, where the [Formula: see text]’s are distinct divisors of [Formula: see text]. We will refer to such [Formula: see text] as “[Formula: see text]-practical”. In this paper, we introduce the [Formula: see text]-practical numbers for the first time. We give criteria for when all [Formula: see text]-practical numbers can be constructed via a simple necessary-and-sufficient condition, demonstrate that it is possible to construct [Formula: see text]-practical sets with any asymptotic density, and prove a series of results related to the distribution of [Formula: see text]-practical numbers for many well-known arithmetic functions [Formula: see text].


1997 ◽  
Vol 40 (4) ◽  
pp. 498-508
Author(s):  
Chikkanna Selvaraj ◽  
Suguna Selvaraj

AbstractThis paper is a study of summability methods that are based on Dirichlet convolution. If f(n) is a function on positive integers and x is a sequence such that then x is said to be Af-summable to L. The necessary and sufficient condition for the matrix Af to preserve bounded variation of sequences is established. Also, the matrix Af is investigated as ℓ − ℓ and G − G mappings. The strength of the Af-matrix is also discussed.


1964 ◽  
Vol 16 ◽  
pp. 310-314 ◽  
Author(s):  
J. H. Jordan

For a positive integer k and a prime p ≡ 1 (mod k), there is a proper subgroup, R, of the multiplicative group (mod p) consisting of the kth power residues (mod p). A necessary and sufficient condition that an integer t be an element of R is that the congruence xk ≡ t (mod p) be solvable. The cosets, not R, formed with respect to R are called classes of kth power nonresidues, and form with R a cyclic group of order k. Let ρ be a primitive kth root of unity and let S be a class of non-residues that is a generator of this cyclic group. There is a kth power character X (mod p) such that


2013 ◽  
Vol 12 (05) ◽  
pp. 1250205 ◽  
Author(s):  
MICHAŁ ZIEMBOWSKI

We consider the ring R[x]/(xn+1), where R is a ring, R[x] is the ring of polynomials in an indeterminant x, (xn+1) is the ideal of R[x] generated by xn+1 and n is a positive integer. The aim of this paper is to show that regularity or strong regularity of a ring R is necessary and sufficient condition under which the ring R[x]/(xn+1) is an example of a ring which belongs to some important classes of rings. In this context, we discuss distributive rings, Bézout rings, Gaussian rings, quasi-morphic rings, semihereditary rings, and rings which have weak dimension less than or equal to one.


1990 ◽  
Vol 41 (3) ◽  
pp. 509-512
Author(s):  
Jingcheng Tong

Let X = {xk}k≥1 be a sequence of positive integers. Let Qk = [O;xk,xk−1,…,x1] be the finite continued fraction with partial quotients xi(1 ≤ i ≤ k). Denote the set of the limit points of the sequence {Qk}k≥1 by Λ(X). In this note a necessary and sufficient condition is given for Λ(X) to contain no rational numbers other than zero.


1980 ◽  
Vol 21 (3) ◽  
pp. 321-328
Author(s):  
Mordechai Lewin

The rational fractiona, c, p, q positive integers, reduces to a polynomial under conditions specified in a result of Grosswald who also stated necessary and sufficient conditions for all the coefficients to tie nonnegative.This last result is given a different proof using lemmas interesting in themselves.The method of proof is used in order to give necessary and sufficient conditions for the positive coefficients to be equal to one. For a < 2pq, a = αp + βq, α, β nonnegative integers, c > 1, the exact positions of the nonzero coefficients are established. Also a necessary and sufficient condition for the number of vanishing coefficients to be minimal is given.


Sign in / Sign up

Export Citation Format

Share Document