Showing 1–9 of 9 results for author: Thangadurai, R

Sufficient conditions for a problem of Polya

Authors: Abhishek Bharadwaj, Veekesh Kumar, Aprameyo Pal, R. Thangadurai

Abstract: Let $α$ be a non-zero algebraic number. Let $K$ be the Galois closure of $\mathbb{Q}(α)$ with Galois group $G$ and $\bar{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$. In this article, among the other results, we prove the following. If $f\in \bar{\mathbb{Q}}[G]$ is a non-zero element of the group ring $\bar{\mathbb{Q}}[G]$ and $α$ is a given algebraic number such that $f(α^n)$ is a non-ze… ▽ More Let $α$ be a non-zero algebraic number. Let $K$ be the Galois closure of $\mathbb{Q}(α)$ with Galois group $G$ and $\bar{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$. In this article, among the other results, we prove the following. If $f\in \bar{\mathbb{Q}}[G]$ is a non-zero element of the group ring $\bar{\mathbb{Q}}[G]$ and $α$ is a given algebraic number such that $f(α^n)$ is a non-zero algebraic integer for infinitely many natural numbers $n$, then $α$ is an algebraic integer. This result generalizes the result of Polya [11], Corvaja and Zannier [2] and Philippon and Rath [9]. We also prove the analogue of this result for rational functions with algebraic coefficients. Inspired by a result of B. de Smit [4], we prove a finite version of the Polya type result for a binary recurrence sequences of non-zero algebraic numbers. In order to prove these results, we apply the techniques of Corvaja and Zannier along with the results of Kulkarni et al., [6] which are applications of the Schmidt subspace theorem. △ Less

Submitted 24 February, 2024; v1 submitted 9 February, 2022; originally announced February 2022.

Comments: To appear: Proceedings of the American Mathematical Society

MSC Class: Primary 11J87; Secondary 11S99

On simultaneous approximation of algebraic numbers

Authors: Veekesh Kumar, R. Thangadurai

Abstract: Let $Γ\subset \bar{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $α_1,\ldots,α_r\in\bar{\mathbb Q}^\times$ be algebraic numbers which are $\mathbb{Q}$-linearly independent and let $ε>0$ be a given real number. One of the main results that we prove in this article is as follows; There exist only finitely many tuples… ▽ More Let $Γ\subset \bar{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $α_1,\ldots,α_r\in\bar{\mathbb Q}^\times$ be algebraic numbers which are $\mathbb{Q}$-linearly independent and let $ε>0$ be a given real number. One of the main results that we prove in this article is as follows; There exist only finitely many tuples $(u, q, p_1,\ldots,p_r)\inΓ\times\mathbb{Z}^{r+1}$ with $d = [\mathbb{Q}(u):\mathbb{Q}]$ for some integer $d\geq 1$ satisfying $|α_i q u|>1$, $α_i q u$ is not a pseudo-Pisot number for some integer $i\in\{1, \ldots, r\}$ and $$ 0<|α_j qu-p_j|<\frac{1}{H^ε(u)|q|^{\frac{d}{r}+\varepsilon}} $$ for all integers $j = 1, 2,\ldots, r$, where $H(u)$ is the absolute Weil height. In particular, when $r =1$, this result was proved by Corvaja and Zannier in [3]. As an application of our result, we also prove a transcendence criterion which generalizes a result of Hančl, Kolouch, Pulcerová and Štěpnička in [4]. The proofs rely on the clever use of the subspace theorem and the underlying ideas from the work of Corvaja and Zannier. △ Less

Submitted 30 July, 2022; v1 submitted 2 January, 2020; originally announced January 2020.

Comments: Accepted for publication in 'Mathematika'

Journal ref: Mathematika , 68(2022), no. 4, 1153-1175

Distribution of residues modulo $p$ using the Dirichlet's class number formula

Authors: Jaitra Chattopadhyay, Bidisha Roy, Subha Sarkar, R. Thangadurai

Abstract: Let $p$ be an odd prime number. In this article, we study the number of quadratic residues and non-residues modulo $p$ which are multiples of $2$ or $3$ or $4$ and lying in the interval $[1, p-1]$, by applying the Dirichlet's class number formula for the imaginary quadratic field $\mathbb{Q}(\sqrt{-p})$. Let $p$ be an odd prime number. In this article, we study the number of quadratic residues and non-residues modulo $p$ which are multiples of $2$ or $3$ or $4$ and lying in the interval $[1, p-1]$, by applying the Dirichlet's class number formula for the imaginary quadratic field $\mathbb{Q}(\sqrt{-p})$. △ Less

Submitted 29 January, 2019; v1 submitted 29 September, 2018; originally announced October 2018.

Comments: To appear in the conference proceedings of ICCGNFRT-2017

Quadratic non-residues and non-primitive roots satisfying a coprimality condition

Authors: Jaitra Chattopadhyay, Bidisha Roy, Subha Sarkar, R. Thangadurai

Abstract: Let $q\geq 1$ be any integer and let $ ε\in [\frac{1}{11}, \frac{1}{2})$ be a given real number. In this short note, we prove that for all primes $p$ satisfying $$ p\equiv 1\pmod{q}, \quad \log\log p > \frac{\log 6.83}{\frac{1}{2}-ε} \mbox{ and } \frac{φ(p-1)}{p-1} \leq \frac{1}{2} - ε, $$ there exists a quadratic non-residue $g$ which is not a primitive root modulo $p$ such that… ▽ More Let $q\geq 1$ be any integer and let $ ε\in [\frac{1}{11}, \frac{1}{2})$ be a given real number. In this short note, we prove that for all primes $p$ satisfying $$ p\equiv 1\pmod{q}, \quad \log\log p > \frac{\log 6.83}{\frac{1}{2}-ε} \mbox{ and } \frac{φ(p-1)}{p-1} \leq \frac{1}{2} - ε, $$ there exists a quadratic non-residue $g$ which is not a primitive root modulo $p$ such that $gcd\left(g, \frac{p-1}{q}\right) = 1$. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Comments: to appear in Bulletin of the Australian Mathematical Society

Restricted-sum-dominant sets

Authors: Raj Kumar Mistri, R. Thangadurai

Abstract: Let $A$ be a nonempty finite subset of an additive abelian group $G$. Define $A + A := \{a + b : a, b \in A\}$ and $A \dotplus A := \{a + b : a, b \in A~\text{and}~ a \neq b\}$. The set $A$ is called a {\em sum-dominant (SD) set} if $|A + A| > |A - A|$, and it is called a {\em restricted sum-domonant (RSD) set} if $|A \dotplus A| > |A - A|$. In this paper, we prove that for infinitely many positiv… ▽ More Let $A$ be a nonempty finite subset of an additive abelian group $G$. Define $A + A := \{a + b : a, b \in A\}$ and $A \dotplus A := \{a + b : a, b \in A~\text{and}~ a \neq b\}$. The set $A$ is called a {\em sum-dominant (SD) set} if $|A + A| > |A - A|$, and it is called a {\em restricted sum-domonant (RSD) set} if $|A \dotplus A| > |A - A|$. In this paper, we prove that for infinitely many positive integers $k$, there are infinitely many RSD sets of integers of cardinality $k$. We also provide an explicit construction of infinite sequence of RSD sets. △ Less

Submitted 26 December, 2017; originally announced December 2017.

Comments: 7 pages

MSC Class: 11B13; 11B75

Liouville Numbers and Schanuel's Conjecture

Authors: K. Senthil Kumar, R. Thangadurai, M. Waldschmidt

Abstract: In this paper, using an argument of P. Erdos, K. Alniacik and E. Saias, we extend earlier results on Liouville numbers, due to P. Erdos, G.J. Rieger, W. Schwarz, K. Alniacik, E. Saias, E.B. Burger. We also produce new results of algebraic independence related with Liouville numbers and Schanuel's Conjecture, in the framework of G delta-subsets. In this paper, using an argument of P. Erdos, K. Alniacik and E. Saias, we extend earlier results on Liouville numbers, due to P. Erdos, G.J. Rieger, W. Schwarz, K. Alniacik, E. Saias, E.B. Burger. We also produce new results of algebraic independence related with Liouville numbers and Schanuel's Conjecture, in the framework of G delta-subsets. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Comments: Archiv der Math., to appear

MSC Class: 11J81

Liouville numbers, Liouville sets and Liouville fields

Authors: K. Senthil Kumar, R. Thangadurai, M. Waldschmidt

Abstract: Following earlier work by E.Maillet 100 years ago, we introduce the definition of a Liouville set, which extends the definition of a Liouville number. We also define a Liouville field, which is a field generated by a Liouville set. Any Liouville number belongs to a Liouville set S having the power of continuum and such that the union of S with the rational number field is a Liouville field. Following earlier work by E.Maillet 100 years ago, we introduce the definition of a Liouville set, which extends the definition of a Liouville number. We also define a Liouville field, which is a field generated by a Liouville set. Any Liouville number belongs to a Liouville set S having the power of continuum and such that the union of S with the rational number field is a Liouville field. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Comments: Proceedings of the American Mathematical Society, to appear

MSC Class: 11J81

A variant of Davenport's constant

Authors: R Thangadurai

Abstract: Let p be a prime number. Let G be a finite abelian p-group of exponent n (written additively) and A be a non-empty subset of $]n[:= \{1,2,..., n\}$ such that elements of A are incongruent modulo p and non-zero modulo p. Let $k \geq D(G)/|A|$ be any integer where D(G) denotes the well-known Davenport's constant. In this article, we prove that for any sequence g_1, g_2, ..., g_k (not necessarily d… ▽ More Let p be a prime number. Let G be a finite abelian p-group of exponent n (written additively) and A be a non-empty subset of $]n[:= \{1,2,..., n\}$ such that elements of A are incongruent modulo p and non-zero modulo p. Let $k \geq D(G)/|A|$ be any integer where D(G) denotes the well-known Davenport's constant. In this article, we prove that for any sequence g_1, g_2, ..., g_k (not necessarily distinct) in G, one can always extract a subsequence g_{i_1}, g_{i_2}, ..., g_{i_\ell} with $1\leq \ell \leq k$ such that \begin{equation*} \sum_{j=1}^\ell a_{j}g_{i_j} = 0 {in} G, \end{equation*} where a_j \in A for all j. We provide examples where this bound cannot be improved. Furthermore, for the cyclic groups, we prove some sharp results in this direction. In the last section, we explore the relation between this problem and a similar problem with prescribed length. The proof of Theorem~1 uses group-algebra techniques, while for the other theorems, we use elementary number theory techniques. △ Less

Submitted 13 July, 2007; originally announced July 2007.

Comments: 13 pages

On the structure of $p$-zero-sum free sequences and its application to a variant of Erdos--Ginzburg--Ziv theorem

Authors: W D Gao, A Panigrahi, R Thangadurai

Abstract: Let $p$ be any odd prime number. Let $k$ be any positive integer such that $2\leq k\leq [\frac{p+1}3]+1$. Let $S = (a_1,a_2,...,a_{2p-k})$ be any sequence in ${\Bbb Z}_p$ such that there is no subsequence of length $p$ of $S$ whose sum is zero in $\zp$. Then we prove that we can arrange the sequence $S$ as follows:… ▽ More Let $p$ be any odd prime number. Let $k$ be any positive integer such that $2\leq k\leq [\frac{p+1}3]+1$. Let $S = (a_1,a_2,...,a_{2p-k})$ be any sequence in ${\Bbb Z}_p$ such that there is no subsequence of length $p$ of $S$ whose sum is zero in $\zp$. Then we prove that we can arrange the sequence $S$ as follows: $ S = (\underbrace{a, a, ..., a}_{u {\rm times}}, \underbrace{b, b, >..., b}_{v {\rm times}}, a_1', a_2', >..., a_{2p-k-u-v}') $ where $u\geq v$, $u+v\geq 2p-2k+2$ and $a-b$ generates $\zp$. This extends a result in \cite{gao10} to all primes $p$ and $k$ satisfying $(p+1)/4+3\leq k\leq (p+1)/3+1$. Also, we prove that if $g$ denotes the number of distinct residue classes modulo $p$ appearing in the sequence $S$ in $\zp$ of length $2p-k$ $(2\leq k\leq [(p+1)/4]+1)$, and $g\geq 2\sqrt{2}\sqrt{k-2}$, then there exists a subsequence of $S$ of length $p$ whose sum is zero in $\zp$. △ Less

Submitted 5 March, 2005; originally announced March 2005.

Comments: 11 pages

MSC Class: 20D60; 11B75

Journal ref: Proc. Indian Acad. Sci. (Math. Sci.), Vol. 115, No. 1, February 2005, pp. 67-77