Showing 1–24 of 24 results for author: Yoon, D S

Retrieval Augmented Generation for Domain-specific Question Answering

Authors: Sanat Sharma, David Seunghyun Yoon, Franck Dernoncourt, Dewang Sultania, Karishma Bagga, Mengjiao Zhang, Trung Bui, Varun Kotte

Abstract: Question answering (QA) has become an important application in the advanced development of large language models. General pre-trained large language models for question-answering are not trained to properly understand the knowledge or terminology for a specific domain, such as finance, healthcare, education, and customer service for a product. To better cater to domain-specific understanding, we b… ▽ More Question answering (QA) has become an important application in the advanced development of large language models. General pre-trained large language models for question-answering are not trained to properly understand the knowledge or terminology for a specific domain, such as finance, healthcare, education, and customer service for a product. To better cater to domain-specific understanding, we build an in-house question-answering system for Adobe products. We propose a novel framework to compile a large question-answer database and develop the approach for retrieval-aware finetuning of a Large Language model. We showcase that fine-tuning the retriever leads to major improvements in the final generation. Our overall approach reduces hallucinations during generation while kee** in context the latest retrieval information for contextual grounding. △ Less

Submitted 29 May, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: AAAI 2024 (Association for the Advancement of Artificial Intelligence) Scientific Document Understanding Workshop

Gauss's form class groups and Shimura's canonical models

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $N$ be a positive integer and $Γ$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $Γ_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some assumptions, we show that $Γ$ induces a form class group of discriminant $D_\mathcal{O}$ (or of order $\mathcal{O}$) and level $N$ if and only if there is a certain canonical… ▽ More Let $N$ be a positive integer and $Γ$ be a subgroup of $\mathrm{SL}_2(\mathbb{Z})$ containing $Γ_1(N)$. Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order of discriminant $D_\mathcal{O}$ in $K$. Under some assumptions, we show that $Γ$ induces a form class group of discriminant $D_\mathcal{O}$ (or of order $\mathcal{O}$) and level $N$ if and only if there is a certain canonical model of the modular curve for $Γ$ defined over a suitably small number field. In this way we can find an interesting link between two different subjects, which will be useful in the study of certain quadratic Diophantine equations in terms of primes $p$. △ Less

Submitted 7 March, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 18 pages, The title has been changed

MSC Class: Primary 11R37; Secondary 11E12; 11R65

PDFTriage: Question Answering over Long, Structured Documents

Authors: Jon Saad-Falcon, Joe Barrow, Alexa Siu, Ani Nenkova, David Seunghyun Yoon, Ryan A. Rossi, Franck Dernoncourt

Abstract: Large Language Models (LLMs) have issues with document question answering (QA) in situations where the document is unable to fit in the small context length of an LLM. To overcome this issue, most existing works focus on retrieving the relevant context from the document, representing them as plain text. However, documents such as PDFs, web pages, and presentations are naturally structured with dif… ▽ More Large Language Models (LLMs) have issues with document question answering (QA) in situations where the document is unable to fit in the small context length of an LLM. To overcome this issue, most existing works focus on retrieving the relevant context from the document, representing them as plain text. However, documents such as PDFs, web pages, and presentations are naturally structured with different pages, tables, sections, and so on. Representing such structured documents as plain text is incongruous with the user's mental model of these documents with rich structure. When a system has to query the document for context, this incongruity is brought to the fore, and seemingly trivial questions can trip up the QA system. To bridge this fundamental gap in handling structured documents, we propose an approach called PDFTriage that enables models to retrieve the context based on either structure or content. Our experiments demonstrate the effectiveness of the proposed PDFTriage-augmented models across several classes of questions where existing retrieval-augmented LLMs fail. To facilitate further research on this fundamental problem, we release our benchmark dataset consisting of 900+ human-generated questions over 80 structured documents from 10 different categories of question types for document QA. Our code and datasets will be released soon on Github. △ Less

Submitted 8 November, 2023; v1 submitted 16 September, 2023; originally announced September 2023.

Class fields and form class groups for solving certain quadratic Diophantine equations

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order in $K$. We construct class fields associated with form class groups which are isomorphic to certain $\mathcal{O}$-ideal class groups in terms of the theory of canonical models due to Shimura. As its applications, by using such class fields, for a positive integer $n$ we first find primes of the form $x^2+ny^2$ with additional co… ▽ More Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order in $K$. We construct class fields associated with form class groups which are isomorphic to certain $\mathcal{O}$-ideal class groups in terms of the theory of canonical models due to Shimura. As its applications, by using such class fields, for a positive integer $n$ we first find primes of the form $x^2+ny^2$ with additional conditions on $x$ and $y$. Second, by utilizing these form class groups, we derive a congruence relation on special values of a modular function of higher level as an analogue of Kronecker's congruence relation. △ Less

Submitted 24 February, 2024; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 30 pages, The title has been changed

MSC Class: Primary 11R37; Secondary 11E12; 11R65

Arithmetic properties of orders in imaginary quadratic fields

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field. For an order $\mathcal{O}$ in $K$ and a positive integer $N$, let $K_{\mathcal{O},\,N}$ be the ray class field of $\mathcal{O}$ modulo $N\mathcal{O}$. We deal with various subjects related to $K_{\mathcal{O},\,N}$, mainly about Galois representations attached to elliptic curves with complex multiplication, form class groups and $L$-functions for orders. Let $K$ be an imaginary quadratic field. For an order $\mathcal{O}$ in $K$ and a positive integer $N$, let $K_{\mathcal{O},\,N}$ be the ray class field of $\mathcal{O}$ modulo $N\mathcal{O}$. We deal with various subjects related to $K_{\mathcal{O},\,N}$, mainly about Galois representations attached to elliptic curves with complex multiplication, form class groups and $L$-functions for orders. △ Less

Submitted 25 August, 2023; v1 submitted 22 May, 2022; originally announced May 2022.

MSC Class: Primary 11R37; Secondary 11E12; 11F80; 11G05; 11R42; 11R29

On some $p$-adic Galois representations and form class groups

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve $E_K$ with $j(E_K)=j(\mathcal{O}_K)$ which is defined over $\mathbb{Q}(j(E_K))$. In this paper, for each positive integer $N$ we compare the extension field of… ▽ More Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve $E_K$ with $j(E_K)=j(\mathcal{O}_K)$ which is defined over $\mathbb{Q}(j(E_K))$. In this paper, for each positive integer $N$ we compare the extension field of $\mathbb{Q}$ generated by the coordinates of $N$-torsion points on $E_K$ with the ray class field $K_{(N)}$ of $K$ modulo $N\mathcal{O}_K$. By using this result we investigate the image of a $p$-adic Galois representation attached to $E_K$ for a prime $p$, in terms of class field theory. Second, we construct the definite form class group of discriminant $d_K$ and level $N$ which is isomorphic to $\mathrm{Gal}(K_{(N)}/\mathbb{Q})$. △ Less

Submitted 17 April, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

MSC Class: 11R37; 11E08; 11F80; 14K22; 11R29

Form class groups and class fields of CM-fields

Authors: Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $F$ be a totally real number field of class number one, and let $K$ be a CM-field with $F$ as its maximal real subfield. For each positive integer $N$, we construct a class group of certain binary quadratic forms over $F$ which is isomorphic to the ray class group of $K$ modulo $N$. Assuming further that the narrow class number of $F$ is one, we construct a class field of the reflex field of… ▽ More Let $F$ be a totally real number field of class number one, and let $K$ be a CM-field with $F$ as its maximal real subfield. For each positive integer $N$, we construct a class group of certain binary quadratic forms over $F$ which is isomorphic to the ray class group of $K$ modulo $N$. Assuming further that the narrow class number of $F$ is one, we construct a class field of the reflex field of $K$ in terms of the singular values of Hilbert modular functions. △ Less

Submitted 27 March, 2020; v1 submitted 17 December, 2019; originally announced December 2019.

MSC Class: 11E12; 11F41; 11R29; 11R37

On the Schertz conjecture

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel-Ramachandra invariants. We shall present a conditional proof of his conjecture by means of the characters on class groups and the second Kronecker limit formula. Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel-Ramachandra invariants. We shall present a conditional proof of his conjecture by means of the characters on class groups and the second Kronecker limit formula. △ Less

Submitted 26 September, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 9 pages

MSC Class: 11R37 (primary); 11G16 (secondary)

Journal ref: Proceedings of the Edinburgh Mathematical Society 62 (2019) 837-845

Normal bases for modular function fields

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$. We construct a completely free element in the extension $\mathbb{C}(X(N))/\mathbb{C}(X(1))$ by means of Siegel functions. We provide a concrete example of a normal basis for a finite Galois extension which is not abelian. More precisely, let $\mathbb{C}(X(N))$ be the field of meromorphic functions on the modular curve $X(N)$ of level $N$. We construct a completely free element in the extension $\mathbb{C}(X(N))/\mathbb{C}(X(1))$ by means of Siegel functions. △ Less

Submitted 24 August, 2016; originally announced August 2016.

Comments: 8 pages

MSC Class: Primary 11F03; Secondary 11G16

Journal ref: Bull. Aust. Math. Soc. 95 (2017), no. 3, 384-392

On a problem of Hasse and Ramachandra

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field, and let $\mathfrak{f}$ be a nontrivial integral ideal of $K$. Hasse and Ramachandra asked whether the ray class field of $K$ modulo $\mathfrak{f}$ can be generated by a single value of the Weber function. We completely resolve this question when $\mathfrak{f}=(N)$ for an integer $N>1$. Let $K$ be an imaginary quadratic field, and let $\mathfrak{f}$ be a nontrivial integral ideal of $K$. Hasse and Ramachandra asked whether the ray class field of $K$ modulo $\mathfrak{f}$ can be generated by a single value of the Weber function. We completely resolve this question when $\mathfrak{f}=(N)$ for an integer $N>1$. △ Less

Submitted 4 August, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: 13 pages

MSC Class: 11R37 (Primary); 11G15; 11G16 (Secondary)

Generators of Siegel modular function field of higher genus and level

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: For positive integers $g$ and $N$, let $\mathcal{F}_N$ be the field of meromorphic Siegel modular functions of genus $g$ and level $N$ whose Fourier coefficients belong to the $N$th cyclotomic field. We present explicit generators of $\mathcal{F}_N$ over $\mathcal{F}_1$ in terms of quotient of theta constants, when $g\geq2$ and $N\geq 3$. For positive integers $g$ and $N$, let $\mathcal{F}_N$ be the field of meromorphic Siegel modular functions of genus $g$ and level $N$ whose Fourier coefficients belong to the $N$th cyclotomic field. We present explicit generators of $\mathcal{F}_N$ over $\mathcal{F}_1$ in terms of quotient of theta constants, when $g\geq2$ and $N\geq 3$. △ Less

Submitted 1 August, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 20 pages

MSC Class: 11F46 (Primary); 14K25 (Secondary)

Siegel families with application to class fields

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families. We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families. △ Less

Submitted 8 April, 2016; v1 submitted 4 January, 2016; originally announced January 2016.

Comments: 18 pages

MSC Class: Primary 11F46; Secondary 11G15

On Siegel invariants of certain CM-fields

Authors: Ja Kyung Koo, Gilles Robert, Dong Hwa Shin, Dong Sung Yoon

Abstract: We first construct Siegel invariants of some CM-fields in terms of special values of theta constants, which would be a generalization of Siegel-Ramachandra invariants of imaginary quadratic fields. And, we further describe Galois actions on these invariants and provide some numerical examples to show that this invariant really generates the ray class field of a CM-field. We first construct Siegel invariants of some CM-fields in terms of special values of theta constants, which would be a generalization of Siegel-Ramachandra invariants of imaginary quadratic fields. And, we further describe Galois actions on these invariants and provide some numerical examples to show that this invariant really generates the ray class field of a CM-field. △ Less

Submitted 19 April, 2018; v1 submitted 23 August, 2015; originally announced August 2015.

Comments: 21 pages

MSC Class: 11R37 (Primary); 11F46; 11G15; 14K25 (Secondary)

Generators of the ring of weakly holomorphic modular functions for $Γ_1(N)$

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: For a positive integer $N$ divisible by $4,5,6,7$ or $9$, let $\mathcal{O}_{1,N}(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $Γ_1(N)$ with rational Fourier coefficients. We present explicit generators of the ring $\mathcal{O}_{1,N}(\mathbb{Q})$ over $\mathbb{Q}$ by making use of modular units which have infinite product expansions. For a positive integer $N$ divisible by $4,5,6,7$ or $9$, let $\mathcal{O}_{1,N}(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $Γ_1(N)$ with rational Fourier coefficients. We present explicit generators of the ring $\mathcal{O}_{1,N}(\mathbb{Q})$ over $\mathbb{Q}$ by making use of modular units which have infinite product expansions. △ Less

Submitted 28 April, 2015; originally announced April 2015.

Comments: 16 pages

MSC Class: 11F03; 11F11; 11G16

Journal ref: Ramanujan J. 42 (2017), no. 3, 583-599

Generation of class fields by using the Weber function

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $K$ be an imaginary quadratic field and $\mathcal{O}_K$ be its ring of integers. Let $h_E$ be the Weber function on certain elliptic curve $E$ with complex multiplication by $\mathcal{O}_K$. We show that if $N$ ($>1$) is an integer prime to $6$, then the function $h_E$ alone generates the ray class field modulo $N\mathcal{O}_K$ over $K$ when evaluated at some $N$-torsion point of $E$. Let $K$ be an imaginary quadratic field and $\mathcal{O}_K$ be its ring of integers. Let $h_E$ be the Weber function on certain elliptic curve $E$ with complex multiplication by $\mathcal{O}_K$. We show that if $N$ ($>1$) is an integer prime to $6$, then the function $h_E$ alone generates the ray class field modulo $N\mathcal{O}_K$ over $K$ when evaluated at some $N$-torsion point of $E$. △ Less

Submitted 12 October, 2014; v1 submitted 24 August, 2014; originally announced August 2014.

MSC Class: 11R37; 11G15; 11G16

Construction of ray class fields by smaller generators and applications

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: We first generate ray class fields over imaginary quadratic fields in terms of Siegel-Ramachandra invariants, which would be an extension of Schertz's result. And, by making use of quotients of Siegel-Ramachandra invariants we also construct ray class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain qua… ▽ More We first generate ray class fields over imaginary quadratic fields in terms of Siegel-Ramachandra invariants, which would be an extension of Schertz's result. And, by making use of quotients of Siegel-Ramachandra invariants we also construct ray class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain quadratic Diophantine equations. △ Less

Submitted 25 August, 2014; v1 submitted 21 July, 2014; originally announced July 2014.

Comments: 34 pages

MSC Class: 11R37; 11G15; 11G16

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A 147 (2017), no. 4, 781-812

Generation of ring class fields by eta-quotients

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We generate ring class fields of imaginary quadratic fields in terms of the special values of certain eta-quotients, which are related to the relative norms of Siegel-Ramachandra invariants. These give us minimal polynomials with relatively small coefficients from which we are able to solve certain quadratic Diophantine equations concerning non-convenient numbers. We generate ring class fields of imaginary quadratic fields in terms of the special values of certain eta-quotients, which are related to the relative norms of Siegel-Ramachandra invariants. These give us minimal polynomials with relatively small coefficients from which we are able to solve certain quadratic Diophantine equations concerning non-convenient numbers. △ Less

Submitted 24 January, 2017; v1 submitted 12 April, 2014; originally announced April 2014.

MSC Class: 11G16; 11F03; 11G15; 11R37

Construction of class fields over imaginary biquadratic fields

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: Let $K$ be an imaginary biquadratic field and $K_1$, $K_2$ be its imaginary quadratic subfields. For integers $N>0$, $μ\geq 0$ and an odd prime $p$ with $\gcd(N,p)=1$, let $K_{(Np^μ)}$ and $(K_i)_{(Np^μ)}$ for $i=1,2$ be the ray class fields of $K$ and $K_i$, respectively, modulo $Np^μ$. We first present certain class fields $\widetilde{K_{N,p,μ}^{1,2}}$ of $K$, in the sense of Hilbert, which are… ▽ More Let $K$ be an imaginary biquadratic field and $K_1$, $K_2$ be its imaginary quadratic subfields. For integers $N>0$, $μ\geq 0$ and an odd prime $p$ with $\gcd(N,p)=1$, let $K_{(Np^μ)}$ and $(K_i)_{(Np^μ)}$ for $i=1,2$ be the ray class fields of $K$ and $K_i$, respectively, modulo $Np^μ$. We first present certain class fields $\widetilde{K_{N,p,μ}^{1,2}}$ of $K$, in the sense of Hilbert, which are generated by Siegel-Ramachandra invariants of $(K_i)_{(Np^{μ+1})}$ for $i=1,2$ over $K_{(Np^μ)}$ and show that $K_{(Np^{μ+1})}=\widetilde{K_{N,p,μ}^{1,2}}$ for almost all $μ$. △ Less

Submitted 5 October, 2016; v1 submitted 26 June, 2013; originally announced June 2013.

Comments: 21 pages, Due to its gigantic length we had some difficulties, so it has been broken into two papers

MSC Class: 11G16; 11R37 (primary); 11F46; 11G15 (secondary)

Construction of class fields over cyclotomic fields

Authors: Ja Kyung Koo, Dong Sung Yoon

Abstract: Let $\ell$ and $p$ be odd primes. For a positive integer $μ$ let $k_μ$ be the ray class field of $k=\mathbb{Q}(e^{2πi/\ell})$ modulo $2p^μ$. We present certain class fields $K_μ$ of $k$ such that $k_μ\leq K_μ\leq k_{μ+1}$, and find the degree of $K_μ/k_μ$ explicitly. And we also construct, in the sense of Hilbert, primitive generators of the field $K_μ$ over $k_μ$ by using Shimura's reciprocity la… ▽ More Let $\ell$ and $p$ be odd primes. For a positive integer $μ$ let $k_μ$ be the ray class field of $k=\mathbb{Q}(e^{2πi/\ell})$ modulo $2p^μ$. We present certain class fields $K_μ$ of $k$ such that $k_μ\leq K_μ\leq k_{μ+1}$, and find the degree of $K_μ/k_μ$ explicitly. And we also construct, in the sense of Hilbert, primitive generators of the field $K_μ$ over $k_μ$ by using Shimura's reciprocity law and special values of theta constants. △ Less

Submitted 17 July, 2015; v1 submitted 21 March, 2012; originally announced March 2012.

MSC Class: 11R37; 11F46 (primary); 11G15; 14H42 (secondary)

Journal ref: Kyoto J. Math. 56, no. 4 (2016), 803-829

Nanomechanical Resonators and Their Applications in Biological/Chemical Detection: Nanomechanics Principles

Authors: Kilho Eom, Harold S. Park, Dae Sung Yoon, Taeyun Kwon

Abstract: Recent advances in nanotechnology have led to the development of nano-electro-mechanical systems (NEMS) such as nanomechanical resonators, which have recently received significant attention from the scientific community. This has not only been for their capability for the label-free detection of bio/chemical-molecules at single-molecule (or atomic) resolution for future applications such as the ea… ▽ More Recent advances in nanotechnology have led to the development of nano-electro-mechanical systems (NEMS) such as nanomechanical resonators, which have recently received significant attention from the scientific community. This has not only been for their capability for the label-free detection of bio/chemical-molecules at single-molecule (or atomic) resolution for future applications such as the early diagnostics of diseases such as cancer, but also for their unprecedented ability to detect physical quantities such as molecular weight, elastic stiffness, surface stress, and surface elastic stiffness for adsorbed molecules on the surface. Most experimental works on resonator-based molecular detection have been based on the principle that molecular adsorption onto a resonator surface increases the effective mass, and consequently decreases the resonant frequencies of the nanomechanical resonator. However, this principle is insufficient to provide fundamental insights into resonator-based molecular detection at the nanoscale; this is due to recently proposed novel nanoscale detection principles including various effects such as surface effects, nonlinear oscillations, coupled resonance, and stiffness effects. Therefore, our objective in this review is to overview the current attempts to understand the underlying mechanisms in nanoresonator-based detection using physical models coupled to computational simulations and/or experiments. Specifically, we will focus on issues of special relevance to the dynamic behavior of nanoresonators and their applications in biological/chemical detection. We additionally provide extensive discussion regarding potentially fruitful future research directions coupling experiments and simulations in order to develop a fundamental understanding of the basic physical principles that govern NEMS and NEMS-based sensing applications. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Journal ref: Physics Reports 2011

Representations by $x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$

Authors: Ick Sun Eum, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $r_Q(n)$ be the representation number of a nonnegative integer $n$ by the quaternary quadratic form $Q=x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$. We first prove the identity $r_Q(p^2n)=r_Q(p^2)r_Q(n)/r_Q(1)$ for any prime $p$ different from 13 and any positive integer $n$ prime to $p$, which was conjectured in [Eum et al, A modularity criterion for Klein forms, with an application to modu… ▽ More Let $r_Q(n)$ be the representation number of a nonnegative integer $n$ by the quaternary quadratic form $Q=x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$. We first prove the identity $r_Q(p^2n)=r_Q(p^2)r_Q(n)/r_Q(1)$ for any prime $p$ different from 13 and any positive integer $n$ prime to $p$, which was conjectured in [Eum et al, A modularity criterion for Klein forms, with an application to modular forms of level 13, J. Math. Anal. Appl. 375 (2011), 28--41]. And, we explicitly determine a concise formula for the number $r_Q(n^2)$ as well for any integer $n$. △ Less

Submitted 6 March, 2011; v1 submitted 28 February, 2011; originally announced February 2011.

Algebraic integers as special values of modular units

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: Let $\varphi(τ)=η((τ+1)/2)^2/\sqrt{2π}e^\frac{πi}{4}η(τ+1)$ where $η(τ)$ is the Dedekind eta-function. We show that if $τ_0$ is an imaginary quadratic number with $\mathrm{Im}(τ_0)>0$ and $m$ is an odd integer, then $\sqrt{m}\varphi(mτ_0)/\varphi(τ_0)$ is an algebraic integer dividing $\sqrt{m}$. This is a generalization of Theorem 4.4 given in [B. C. Berndt, H. H. Chan and L. C. Zhang, Ramanujan'… ▽ More Let $\varphi(τ)=η((τ+1)/2)^2/\sqrt{2π}e^\frac{πi}{4}η(τ+1)$ where $η(τ)$ is the Dedekind eta-function. We show that if $τ_0$ is an imaginary quadratic number with $\mathrm{Im}(τ_0)>0$ and $m$ is an odd integer, then $\sqrt{m}\varphi(mτ_0)/\varphi(τ_0)$ is an algebraic integer dividing $\sqrt{m}$. This is a generalization of Theorem 4.4 given in [B. C. Berndt, H. H. Chan and L. C. Zhang, Ramanujan's remarkable product of theta-functions, Proc. Edinburgh Math. Soc. (2) 40 (1997), no. 3, 583-612]. On the other hand, let $K$ be an imaginary quadratic field and $θ_K$ be an element of $K$ with $\mathrm{Im}(θ_K)>0$ which generators the ring of integers of $K$ over $\mathbb{Z}$. We develop a sufficient condition of $m$ for $\sqrt{m}\varphi(mθ_K)/\varphi(θ_K)$ to become a unit. △ Less

Submitted 8 August, 2010; v1 submitted 3 August, 2010; originally announced August 2010.

MSC Class: 11F03; 11F20

Ray class fields generated by torsion points of certain elliptic curves

Authors: Ja Kyung Koo, Dong Hwa Shin, Dong Sung Yoon

Abstract: We first normalize the derivative Weierstrass $\wp'$-function appearing in Weierstrass equations which give rise to analytic parametrizations of elliptic curves by the Dedekind $η$-function. And, by making use of this normalization of $\wp'$ we associate certain elliptic curve to a given imaginary quadratic field $K$ and then generate an infinite family of ray class fields over $K$ by adjoining to… ▽ More We first normalize the derivative Weierstrass $\wp'$-function appearing in Weierstrass equations which give rise to analytic parametrizations of elliptic curves by the Dedekind $η$-function. And, by making use of this normalization of $\wp'$ we associate certain elliptic curve to a given imaginary quadratic field $K$ and then generate an infinite family of ray class fields over $K$ by adjoining to $K$ torsion points of such elliptic curve. We further construct some ray class invariants of imaginary quadratic fields by utilizing singular values of the normalization of $\wp'$, as the $y$-coordinate in the Weierstrass equation of this elliptic curve, which would be a partial result for the Lang-Schertz conjecture of constructing ray class fields over $K$ by means of the Siegel-Ramachandra invariant. △ Less

Submitted 14 July, 2010; originally announced July 2010.

MSC Class: 11F11; 11G15; 11R37

Dynamical Response of Nanomechanical Resonators to Biomolecular Interactions

Authors: Kilho Eom, Tae Yun Kwon, Dae Sung Yoon, Hong Lim Lee, Tae Song Kim

Abstract: We studied the dynamical response of a nanomechanical resonator to biomolecular (e.g. DNA) adsorptions on a resonator's surface by using a theoretical model, which considers the Hamiltonian H such that the potential energy consists of elastic bending energy of a resonator and the potential energy for biomolecular interactions. It was shown that the resonant frequency shift of a resonator due to… ▽ More We studied the dynamical response of a nanomechanical resonator to biomolecular (e.g. DNA) adsorptions on a resonator's surface by using a theoretical model, which considers the Hamiltonian H such that the potential energy consists of elastic bending energy of a resonator and the potential energy for biomolecular interactions. It was shown that the resonant frequency shift of a resonator due to biomolecular adsorption depends on not only the mass of adsorbed biomolecules but also the biomolecular interactions. Specifically, for dsDNA adsorption on a resonator's surface, the resonant frequency shift is also dependent on the ionic strength of a solvent, implying the role of molecular interactions on the dynamic behavior of a resonator. This indicates that nanomechanical resonators may enable one to quantify the biomolecular mass, implying the enumeration of biomolecules, as well as gain insight into intermolecular interactions between adsorbed biomolecules on the surface. △ Less

Submitted 17 August, 2007; v1 submitted 25 June, 2007; originally announced June 2007.

Comments: 17 page, 4 figures, accepted for publication at PRB. Physical Review B, accepted