BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Yohei Tachiya

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.NT

Catalog footprint

Research overview

4works
1topics
3close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

4 publications

preprint2022arXiv

Linear independence of certain numbers in the base-bb number system

Let (i,j)∈N×N≥2(i,j)\in \mathbb{N}\times \mathbb{N}_{\geq2} and Si,jS_{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 Q\mathbb{Q} of the numbers 1,∑n∈Si,jai,j(n)binj,(i,j)∈N×N≥2, 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≥2b\geq2 is an integer and ai,j(n)a_{i,j}(n) are bounded nonzero integer-valued functions on Si,jS_{i,j}. Moreover, we also establish a necessary and sufficient condition on the subset A\mathcal{A} of N×N≥2\mathbb{N}\times \mathbb{N}_{\geq2} for the numbers 1,∑n∈Ti,jai,j(n)binj,(i,j)∈A 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 Q\mathbb{Q} for any given infinite subsets Ti,jT_{i,j} of positive integers. Our theorems generalize a result of V. Kumar.

Open access
preprint2020arXiv

Algebraic independence of certain infinite products involving the Fibonacci numbers

Let {Fn}n≥0\{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 ∏n=1∞(1+1Fn),∏n=3∞(1−1Fn) \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 Q\mathbb{Q} of the above numbers by applying Bertrand's theorem on the algebraic independence of the values of the Jacobi theta functions.

Open access
preprint2016arXiv

Algebraic independence results for values of Jacobi theta-constants

Let θ3(τ)=1+2∑ν=1∞qν2θ_3(τ)=1+2\sum_{ν=1}^{\infty} q^{ν^2} with q=eiπτq=e^{iπτ} and ℑ(τ)>0\Im (τ)>0 denote the Thetanullwert of the Jacobi theta function θ(z∣τ) = ∑ν=−∞∞eπiν2τ+2πiνz .θ(z|τ) \,=\,\sum_{ν=-\infty}^{\infty} e^{πiν^2τ+ 2πiνz} \,. Moreover, let θ2(τ)=2∑ν=0∞q(ν+1/2)2θ_2(τ)=2\sum_{ν=0}^{\infty} q^{{(ν+1/2)}^2} and θ4(τ)=1+2∑ν=1∞(−1)νqν2θ_4(τ)=1+2\sum_{ν=1}^{\infty} {(-1)}^νq^{ν^2}. For every even integer n≥6n\geq 6, which is not a power of two, we prove constructively the existence of a nontrivial integer polynomial Qn(X,Y)Q_n(X,Y) such that Qn( θ34(nτ)θ34(τ),θ24(τ)θ34(τ) ) = 0Q_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 C\mathbb{C}. These polynomials are used to prove the algebraic independence of θ3(nτ)θ_3(nτ) and θ3(τ)θ_3(τ) for all algebraic numbers q=eiπτq=e^{iπτ} with 0<∣q∣<10<|q|<1. Combining this with former results of the authors, it is shown that for such algebraic qq the numbers θ3(nτ)θ_3(nτ) and θ3(τ)θ_3(τ) are algebraically independent over Q\mathbb{Q} for every integer n≥2n\geq 2. A result on the algebraic dependence over Q\mathbb{Q} of the three numbers θ3(ℓτ)θ_3(\ellτ), θ3(mτ)θ_3(mτ), and θ3(nτ)θ_3(nτ) for integers ℓ,m,n≥1\ell,m,n\geq 1 is also presented.

Open access
preprint2016arXiv

Algebraic independence results for values of Theta-constants, II

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

Open access

Research graph

See the researcher in context

Open full explorer

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.