Source author record

Yohei Tachiya

Yohei Tachiya appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT

Catalog footprint

What is connected

4works

1topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Linear independence of certain numbers in the base-$b$ number system

Let $(i,j)\in \mathbb{N}\times \mathbb{N}_{\geq2}$ and $S_{i,j}$ be an infinite subset of positive integers including all prime numbers in some arithmetic progression. In this paper, we prove the linear independence over $\mathbb{Q}$ of the numbers \[ 1, \quad \sum_{n\in S_{i,j}}^{}\frac{a_{i,j}(n)}{b^{in^j}},\quad (i,j)\in \mathbb{N}\times \mathbb{N}_{\geq2}, \] where $b\geq2$ is an integer and $a_{i,j}(n)$ are bounded nonzero integer-valued functions on $S_{i,j}$. Moreover, we also establish a necessary and sufficient condition on the subset $\mathcal{A}$ of $\mathbb{N}\times \mathbb{N}_{\geq2}$ for the numbers \[ 1, \quad \sum_{n\in T_{i,j}}^{}\frac{a_{i,j}(n)}{b^{in^j}},\quad (i,j)\in \mathcal{A} \] to be linearly independent over $\mathbb{Q}$ for any given infinite subsets $T_{i,j}$ of positive integers. Our theorems generalize a result of V. Kumar.

preprint2020arXiv

Algebraic independence of certain infinite products involving the Fibonacci numbers

Let $\{F_{n}\}_{n\geq0}$ be the sequence of the Fibonacci numbers. The aim of this paper is to give explicit formulae for the infinite products \[ \prod_{n=1}^{\infty}\left( 1+\frac{1}{F_{n}}\right) ,\qquad\prod_{n=3}^{\infty}\left( 1-\frac{1}{F_{n}}\right) \] in terms of the values of the Jacobi theta functions. From this we deduce the algebraic independence over $\mathbb{Q}$ of the above numbers by applying Bertrand's theorem on the algebraic independence of the values of the Jacobi theta functions.

preprint2016arXiv

Algebraic independence results for values of Jacobi theta-constants

Let $θ_3(τ)=1+2\sum_{ν=1}^{\infty} q^{ν^2}$ with $q=e^{iπτ}$ and $\Im (τ)>0$ denote the Thetanullwert of the Jacobi theta function \[θ(z|τ) \,=\,\sum_{ν=-\infty}^{\infty} e^{πiν^2τ+ 2πiνz} \,.\] Moreover, let $θ_2(τ)=2\sum_{ν=0}^{\infty} q^{{(ν+1/2)}^2}$ and $θ_4(τ)=1+2\sum_{ν=1}^{\infty} {(-1)}^νq^{ν^2}$. For every even integer $n\geq 6$, which is not a power of two, we prove constructively the existence of a nontrivial integer polynomial $Q_n(X,Y)$ such that \[Q_n\Big( \,\frac{θ_3^4(nτ)}{θ_3^4(τ)},\frac{θ_2^4(τ)}{θ_3^4(τ)}\, \Big) \,=\, 0 \] holds for all complex numbers $τ$ from the upper half plane of $\mathbb{C}$. These polynomials are used to prove the algebraic independence of $θ_3(nτ)$ and $θ_3(τ)$ for all algebraic numbers $q=e^{iπτ}$ with $0<|q|<1$. Combining this with former results of the authors, it is shown that for such algebraic $q$ the numbers $θ_3(nτ)$ and $θ_3(τ)$ are algebraically independent over $\mathbb{Q}$ for every integer $n\geq 2$. A result on the algebraic dependence over $\mathbb{Q}$ of the three numbers $θ_3(\ellτ)$, $θ_3(mτ)$, and $θ_3(nτ)$ for integers $\ell,m,n\geq 1$ is also presented.

preprint2016arXiv

Algebraic independence results for values of Theta-constants, II

Let $θ_3(τ)=1+2\sum_{ν=1}^{\infty} q^{ν^2}$ with $q=e^{iπτ}$ denote the Thetanullwert of the Jacobi theta function \[θ(z|τ) \,=\,\sum_{ν=-\infty}^{\infty} e^{πiν^2τ+ 2πiνz} \,.\] Moreover, let $θ_2(τ)=2\sum_{ν=0}^{\infty} q^{{(ν+1/2)}^2}$ and $θ_4(τ)=1+2\sum_{ν=1}^{\infty} {(-1)}^νq^{ν^2}$. For algebraic numbers $q$ with $0<|q|<1$ and for any $j\in \{ 2,3,4\}$ we prove the algebraic independence over $\mathbb{Q}$ of the numbers $θ_j(nτ)$ and $θ_j(τ)$ for all odd integers $n\geq 3$. Assuming the same conditions on $q$ and $τ$ as above, we obtain sufficient conditions by use of a criterion involving resultants in order to decide on the algebraic independence over $\mathbb{Q}$ of $θ_j(2mτ)$ and $θ_j(τ)$ $(j=2,3,4)$ and of $θ_3(4mτ)$ and $θ_3(τ)$ with odd positive integers $m$. In particular, we prove the algebraic independence of $θ_3(nτ)$ and $θ_3(τ)$ for even integers $n$ with $2\leq n\leq 22$. The paper continues the work of the first-mentioned author, who already proved the algebraic independence of $θ_3(2^mτ)$ and $θ_3(τ)$ for $m=1,2,\dots$.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint