Search arXiv⌕ Search

arXiv subjects

Detchat Samart

Publications and source records attributed to Detchat Samart.

16 recordsLinked to original sources
arXiv2026

Arithmetic exceptionality of Latt\`{e}s maps

Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on some computational results, Odaba\c{s} conjectured that for each $k\in \mathbb{N}$, the $k$-th Latt\`{e}s map attached to an elliptic curve $E/\mathbb{Q}$ is arithmetically exceptional if and only if $E$ has no $k$-torsion point whose $x$-coordinate is rational. In this paper, we prove that this conjecture is true for any elliptic curve $E/\mathbb{Q}$ having complex multiplication by an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-11}).$ On the other hand, we show that the conjecture becomes invalid if $E$ has CM by $\mathbb{Q}(\sqrt{-11})$ and $6\mid k$. Partial results for non-CM elliptic curves are also given.

math.NT↗
arXiv2026

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs

As Large Language Models (LLMs) saturate elementary benchmarks, the research frontier has shifted from generation to the reliability of automated evaluation. We demonstrate that standard "LLM-as-a-Judge" protocols suffer from a systematic Alignment Gap when applied to upper-undergraduate to early graduate level mathematics. To quantify this, we introduce QEDBench, the first large-scale dual-rubric alignment benchmark to systematically measure alignment with human experts on university-level math proofs by contrasting course-specific rubrics against expert common knowledge criteria. By deploying a dual-evaluation matrix (7 judges x 5 solvers) against 1,000+ hours of human evaluation, we reveal that certain frontier evaluators like Claude Opus 4.5, DeepSeek-V3, Qwen 2.5 Max, and Llama 4 Maverick exhibit significant positive bias (up to +0.18, +0.20, +0.30, +0.36 mean score inflation, respectively). Furthermore, we uncover a critical reasoning gap in the discrete domain: while Gemini 3.0 Pro achieves state-of-the-art performance (0.91 average human evaluation score), other reasoning models like GPT-5 Pro and Claude Sonnet 4.5 see their performance significantly degrade in discrete domains. Specifically, their average human evaluation scores drop to 0.72 and 0.63 in Discrete Math, and to 0.74 and 0.50 in Graph Theory. In addition to these research results, we also release QEDBench as a public benchmark for evaluating and improving AI judges. Our benchmark is publicly published at https://github.com/qqliu/Yale-QEDBench.

cs.LG↗
arXiv2024

Determinants of Mahler measures and special values of $L$-functions

We consider Mahler measures of two well-studied families of bivariate polynomials, namely $P_t=x+x^{-1}+y+y^{-1}+\sqrt{t}$ and $Q_t=x^3+y^3+1-\sqrt[3]{t}xy$, where $t$ is a complex parameter. In the cases when the zero loci of these polynomials define CM elliptic curves over number fields, we derive general formulas for their Mahler measures in terms of $L$-values of cusp forms. For each family, we also classify all possible values of $t$ in number fields of degree not exceeding $4$ for which the corresponding elliptic curves have complex multiplication. Finally, for all such values of $t$ in totally real number fields of degree $n=2$ and $n=4$, corresponding to elliptic curves $\mathcal{F}_t$ (resp. $\mathcal{C}_t$), we prove that determinants of $n\times n$ matrices whose entries are Mahler measures corresponding to their Galois conjugates are non-zero rational multiples of $L^{(n)}(\mathcal{F}_t,0)$ (resp. $L^{(n)}(\mathcal{C}_t,0)$).

math.NT↗
arXiv2023

A dynamical system proof of Niven's theorem and its extensions

Niven's theorem asserts that $\{\cos(r\pi) \mid r\in \mathbb{Q}\}\cap \mathbb{Q}=\{0,\pm 1,\pm 1/2\}.$ In this paper, we use elementary techniques and results from arithmetic dynamics to obtain an algorithm for classifying all values in the set $\{\cos(r\pi) \mid r\in \mathbb{Q}\}\cap K$, where $K$ is an arbitrary number field.

math.NT↗
arXiv2023

Mahler measure of a non-reciprocal family of elliptic curves

In this article, we study the logarithmic Mahler measure of the one-parameter family \[Q_\alpha=y^2+(x^2-\alpha x)y+x,\] denoted by $m(Q_\alpha)$. The zero loci of $Q_\alpha$ generically define elliptic curves $E_\alpha$ which are $3$-isogenous to the family of Hessian elliptic curves. We are particularly interested in the case $\alpha\in (-1,3)$, which has not been considered in the literature due to certain subtleties. For $\alpha$ in this interval, we establish a hypergeometric formula for the (modified) Mahler measure of $Q_\alpha$, denoted by $\tilde{n}(\alpha).$ This formula coincides, up to a constant factor, with the known formula for $m(Q_\alpha)$ with $|\alpha|$ sufficiently large. In addition, we verify numerically that if $\alpha^3$ is an integer, then $\tilde{n}(\alpha)$ is a rational multiple of $L'(E_\alpha,0)$. A proof of this identity for $\alpha=2$, which is corresponding to an elliptic curve of conductor $19$, is given.

math.NT↗
arXiv2020

A functional identity for Mahler measures of non-tempered polynomials

We establish a functional identity for Mahler measures of the two-parametric family $P_{a,c}(x,y)=a(x+1/x)+y+1/y+c$. Our result extends an identity proven in a paper of Lal\'{i}n, Zudilin and Samart. As a by-product, we obtain evaluations of $m(P_{a,c})$ for some algebraic values of $a$ and $c$ in terms of special values of $L$-functions and logarithms. We also give a sufficient condition for validity of a certain identity between the elliptic integrals of the first and the third kind, which implies several identities for $m(P_{a,c})$.

math.NT↗
arXiv2019

Mahler measures of a family of non-tempered polynomials and Boyd's conjectures

We prove an identity relating Mahler measures of a certain family of non-tempered polynomials to those of tempered polynomials. Evaluations of Mahler measures of some polynomials in the first family are also given in terms of special values of $L$-functions and logarithms. Finally, we prove Boyd's conjectures for conductor $30$ elliptic curves using our new identity, Brunault-Mellit-Zudilin's formula and additional functional identities for Mahler measures.

math.NT↗
arXiv2017

A polyharmonic Maass form of depth 3/2 for SL_2(Z)

Duke, Imamoglu, and Toth constructed a polyharmonic Maass form of level 4 whose Fourier coefficients encode real quadratic class numbers. A more general construction of such forms was subsequently given by Bruinier, Funke, and Imamoglu. Here we give a direct construction of such a form for the full modular group and study the properties of its coefficients. We give interpretations of the coefficients of the holomorphic parts of each of these polyharmonic Maass forms as inner products of certain weakly holomorphic modular forms and harmonic Maass forms. The coefficients of square index are particularly intractable; in order to address these, we develop various extensions of the usual normalized Peterson inner product using a strategy of Bringmann, Ehlen and Diamantis.

math.NT↗
arXiv2016

Feynman integrals and critical modular $L$-values

Broadhurst conjectured that the Feynman integral associated to the polynomial corresponding to $t=1$ in the one-parameter family $(1+x_1+x_2+x_3)(1+x_1^{-1}+x_2^{-1}+x_3^{-1})-t$ is expressible in terms of $L(f,2),$ where $f$ is a cusp form of weight $3$ and level $15$. Bloch, Kerr and Vanhove have recently proved that the conjecture holds up to a rational factor. In this paper, we prove that Broadhurst's conjecture is true. Similar identities involving Feynman integrals associated to other polynomials in the same family are also established.

math.NT↗
arXiv2016

A note on cusp forms as $p$-adic limits

Several authors have recently proved results which express cusp forms as $p$-adic limits of weakly holomorphic modular forms under repeated application of Atkin's $U$-operator. The proofs involve techniques from the theory of weak harmonic Maass forms, and in particular a result of Guerzhoy, Kent, and Ono on the $p$-adic coupling of mock modular forms and their shadows. Here we obtain strengthened versions of these results using techniques from the theory of holomorphic modular forms.

math.NT↗
arXiv2015

Further explorations of Boyd's conjectures and a conductor 21 elliptic curve

We prove that the (logarithmic) Mahler measure $m(P)$ of $P(x,y)=x+1/x+y+1/y+3$ is equal to the $L$-value $2L'(E,0)$ attached to the elliptic curve $E:P(x,y)=0$ of conductor 21. In order to do this we investigate the measure of a more general Laurent polynomial $P_{a,b,c}(x,y)=a(x+1/x)+b(y+1/y)+c$ and show that the wanted quantity $m(P)$ is related to a "half-Mahler" measure of $\tilde P(x,y)=P_{\sqrt{7},1,3}(x,y)$. In the finale we use the modular parametrization of the elliptic curve $\tilde P(x,y)=0$, again of conductor 21, due to Ramanujan and the Mellit--Brunault formula for the regulator of modular units.

math.NT↗
arXiv2014

The elliptic trilogarithm and Mahler measures of $K3$ surfaces

The aim of this paper is to derive explicitly a connection between the Zagier elliptic trilogarithm and Mahler measures of a certain family of three-variable polynomials defining K3 surfaces. In addition, we prove some linear relations satisfied by the elliptic trilogarithm evaluated at torsion points on elliptic curves. This result can be viewed as a higher dimensional analogue of exotic relations of the elliptic dilogarithm.

math.NT↗
arXiv2014

Mahler measures as linear combinations of $L$-values of multiple modular forms

We study the Mahler measures of certain families of Laurent polynomials in two and three variables. Each of the known Mahler measure formulas for these families involves $L$-values of at most one newform and/or at most one quadratic character. In this paper, we show, either rigorously or numerically, that the Mahler measures of some polynomials are related to $L$-values of multiple newforms and quadratic characters simultaneously. The results suggest that the number of modular $L$-values appearing in the formulas significantly depends on the shape of the algebraic value of the parameter chosen for each polynomial. As a consequence, we also obtain new formulas relating special values of hypergeometric series evaluated at algebraic numbers to special values of $L$-functions.

math.NT↗
arXiv2013

The Mahler measure of a Calabi-Yau threefold and special L-values

The aim of this paper is to prove a Mahler measure formula of a four-variable Laurent polynomial whose zero locus defines a Calabi-Yau threefold. We show that its Mahler measure is a rational linear combination of a special L-value of the normalized newform in S_4(Gamma_0(8)) and a Riemann zeta value. This is equivalent to a new formula for a 6F5-hypergeometric series evaluated at 1.

math.NT↗
arXiv2013

Three-variable Mahler measures and special values of modular and Dirichlet $L$-series

In this paper we prove that the Mahler measures of the Laurent polynomials $(x+x^{-1})(y+y^{-1})(z+z^{-1})+k$, $(x+x^{-1})^2(y+y^{-1})^2(1+z)^3z^{-2}-k$, and $x^4+y^4+z^4+1+k^{1/4}xyz$, for various values of $k$, are of the form $r_1 L'(f,0)+r_2 L'(χ,-1)$, where $r_1,r_2\in \mathbb{Q}$, $f$ is a CM newform of weight 3, and $χ$ is a quadratic character. Since it has been proved that these Maher measures can also be expressed in terms of logarithms and $_5F_4$-hypergeometric series, we obtain several new hypergeometric evaluations and transformations from these results.

math.NT↗