arXiv subjects

Huimin Zheng

Publications and source records attributed to Huimin Zheng.

11 recordsLinked to original sources

arXiv2026

A normalization issue in a transmitted form of Bloch's diamond formula: anti-invariant subgroup versus regulator quotient

Bloch's regulator formula for an elliptic curve is often quoted with a generator of the anti-invariant subgroup $H_1(E,\mathbb{Z})^-$ and coefficient $1$ in front of the elliptic dilogarithm of the diamond product. We compare this wording with Brunault's published intersection-product formula. The natural map from the anti-invariant subgroup to the regulator quotient $H_1(E,\mathbb{Z})/H_1(E,\mathbb{Z})^+$ has index $1$ when $E(\mathbb{R})$ has two components and index $2$ when it has one. Thus, up to orientation, the coefficient is $1$ for a quotient generator and $ι(E)\in\{1,2\}$ for a subgroup generator. This is an elementary consequence of the published formula, not a new regulator theorem. We illustrate the distinction on 11.a3 using an externally proved regulator anchor and the Brunault--Bertin special values, and on 20.a4 by high-precision numerical integration. We also correct our earlier quotation of Touafek: his printed identity is $πr=D_E((f)\diamond(g))$, with $r=(2π)^{-1}\int_{γ^-}η$. It is compatible with the subgroup normalization when $Δ<0$; when $Δ>0$ the corresponding coefficient is $1/2$, up to orientation. We do not reassess his isogeny theorem or his final exotic relation here. No new proof of Boyd's conductor-11 split-integral identity is included.

math.NT↗

arXiv2026

A two-step supercongruence for an Apéry-like sequence

Let $G_n=\sum_{k=0}^n4^k\binom{2n-2k}{n-k}^{2}\binom{2k}{k}$. Zhi-Hong Sun conjectured that, for primes $p\equiv3\pmod4$, positive odd integers $m$, and $r\ge2$, the two-step congruence $G_{(mp^r-1)/2}\equiv p^2G_{(mp^{r-2}-1)/2}\pmod {p^{2r-1}}$ holds. We prove the stronger valuation statement $G_{(p^2M-1)/2}-p^2G_{(M-1)/2}\in p^{2v_p(M)+3}\mathbb Z_p$ for every positive odd $M$. The proof converts the sum to a terminating ${}_3F_2$, constructs a cancelled digit-transfer operator, and identifies a two-dimensional analytic quotient of its cubic difference operator. The quotient operator has characteristic polynomial $X^2-p^2$; its second trace is evaluated through the Gross--Koblitz formula and Greene's finite-field Dixon identity. A logarithmic-loss Green inverse converts this spectral identity into an actual integral analytic primitive. The exceptional prime $3$ requires a finite exact PARI/GP certificate, while the infinite tail is bounded symbolically. Thus the computation is finite, reproducible, and separated from the uniform part of the proof.

math.NT↗

arXiv2026

Boyd's conductor-11 Mahler measure conjecture: proof of the split-integral identity (C3), with an exact structural analysis of the family S_k

Boyd's 1998 tables of conjectural identities $m(P)=r\,|L'(E,0)|$ between Mahler measures of two-variable polynomials and $L$-values of elliptic curves begin with the smallest possible conductor, $N=11$. The third conductor-$11$ identity, (C3), concerns the polynomial $S_0=y^2+(x^2+1)y+x^3$, which vanishes on the unit torus, and asserts that a signed split integral $I_{\mathrm{split}}$ of $\log|y|$ around the branch cut equals $b_{11}=L'(E_{11},0)$. We prove (C3). The proof identifies the split integral with a regulator integral along Samart's signed open chain $\tildeγ$, closed by a small-branch arc $β_0$ into a closed anti-invariant cycle $C'$, and proves its homology class is $2γ^-$ with $γ^-$ generating $H_1(E,\mathbb{Z})^-$: the period ratio is a-priori integral, and ball arithmetic (Arb) pins it to $2$. A direct regulator computation via Brunault's proved Siegel-unit formula---the symbol $\{x,y\}$ being a pair of modular units on $X_1(11)$, so Bloch's diamond theorem is not needed---then yields $I_{\mathrm{split}}=b_{11}$; the sign is certified in interval arithmetic, and the identity agrees with the numerical value to $366$ digits. For the family $S_k=y^2+(x^2+kx+1)y+x^3$ we determine exactly the torus intersections and the modular-unit/tempered cases; further Boyd-type evaluations are recorded as conjectures. At $k=-1$ (conductor $53$) the mechanism provably fails; an appendix treats Samart's conductor-$17$ analogue conditionally. All computations are reproducible from the accompanying code; every certification step is carried out within interval arithmetic.

math.NT↗

arXiv2026

A certified continuation machine for Mahler measure identities at CM points, with twelve new proofs of conjectures of Samart

We axiomatize the differential-comparison continuation method of [Zf] into a general machine for proving Mahler measure identities at CM points: a modular parametrization with rigorous tail bounds, a single-valued holomorphic Mahler differential on the complement of the critical image, a propagation lemma replacing all monodromy and universal-cover arguments, interval-arithmetic path certification, and an exact three-track CM evaluation. Applied to Samart's family $n_4(s)=4\mathrm m(x^4+y^4+z^4+1+s^{1/4}xyz)$, the machine proves twelve further entries of his 2015 table [Sa15, Table 6], including the first identities in this family proved at non-degenerate CM points of class number two (attached to $\mathbb Q(\sqrt{-6})$ and $\mathbb Q(\sqrt{-15})$) and of class number four (attached to $\mathbb Q(\sqrt{-21})$, with four newforms and the genus group $(\mathbb Z/2)^2$). New ingredients include exact twist levels via grossencharacter conductors (Hecke's theorem), with the interval-locked Fricke ratio as an exact root-number sign lock; a twist-level trap ($g_{16}\otimesχ_8$ has level $64$, not $32$); a genus-character decomposition of the lattice sums in class number two; and the discovery that Samart's applicability boundary $\{\mathrm{Im}\,τ=1/\sqrt2\}$ is not the topological boundary of the continuation region. Every identity is certified by an exact algebraic track, rigorous final-identity interval locks (half-widths $4.6\times10^{-53}$ to $5.1\times10^{-52}$), and independent 50--60-digit cross-checks; all scripts are public. The evaluation track also yields six new identities at Heegner points ($D=11,19,27,43,67,163$), stated as conjectures with 60-digit evidence; we close with an umbrella conjecture organizing the proved and conjectured identities, and a precise analysis of the five remaining open entries.

math.NT↗

arXiv2026

Mahler measures at interior CM points: proofs of two conjectures of Samart

We prove two conjectures of Samart as identities of genuine Mahler measures. The first is the case $k=1$ of his evaluations for the family $(x+x^{-1})(y+y^{-1})(z+z^{-1})+k^{1/2}$: $m((x+x^{-1})(y+y^{-1})(z+z^{-1})+1)=4L'(g_7,0)$, where $g_7(τ)=η(τ)^3η(7τ)^3$ is the unique newform of $S_3(Γ_0(7),χ_{-7})$ (LMFDB label 7.3.b.a). The second is the conjugate pair of quadratic CM entries of his 2015 table: $n_2((47\pm 45\sqrt{-7})/2)=(4/7)(54L'(g_7,0)+L'(χ_{-7},-1))$, where $n_2(s):=2m((x+x^{-1})(y+y^{-1})(z+z^{-1})+\sqrt{s})$. In both cases the parameter lies inside (or on the boundary of) the critical locus, so the passage from the holomorphic (modified) Mahler measure---where Samart computed the $L$-value side conditionally, and Fei the real-part level---to the true Mahler measure was open. For the first theorem we close the gap by a differential-comparison continuation of the Mahler differential along an explicitly certified path, followed by a continuity argument at the interior point. For the second theorem no continuation is needed: the second preimage of the parameter under the modular parametrization is the Fricke partner of Samart's CM point and lies in his proved region, and the evaluation is an exact CM lattice-sum computation. The analytic and arithmetic inputs not proved here are stated explicitly with references; the finite numerical inequalities used in the continuation argument are certified by interval arithmetic, and all identities are confirmed numerically to 41--60 digits.

math.NT↗

arXiv2026

Samart's conjecture n_4(81)=40M_7: the exact CM evaluation and the two obstructions. A status report

This note archives the status of Samart's Table-6 conjecture $n_4(81)=40M_7$, $M_7:=L'(g_7,0)$, where $g_7(τ)=η(τ)^3η(7τ)^3$ is the newform of $S_3(Γ_0(7),χ_{-7})$ and $n_4(s):=4m(x^4+y^4+z^4+1+s^{1/4}xyz)$. The conjecture is the cleanest of Samart's open interior-point entries (discriminant $-7$, class number $1$, a single $L$-value), and it was dropped as a theorem target in the companion paper, where the two $n_2$-family conjectures were proved. We record what is proved and precisely where those methods fail. First, a complete proof of the $L$-value side (P1): at the CM point $τ_2=(7+\sqrt{-7})/4$ the Eisenstein--Kronecker expression underlying Samart's formula evaluates exactly to $\mathrm{EK}_4(τ_2)=40M_7$, via lattice sums over the ring of integers of $\mathbb{Q}(\sqrt{-7})$ and the principal ideal $(\bar\varpi)$, with an exact cancellation of the parasitic $ζ_K(2)$-terms. Second, two quantitative obstructions to the remaining half $n_4(81)=\mathrm{EK}_4(τ_2)$: the critical image of the $n_4$-family is a two-dimensional astroid disc containing the parameter $c=3$ in its interior (in contrast to the one-dimensional slit $[0,64]$ of the $n_2$-family), so no continuation path can approach the CM point; and Samart's $U$-series converges on all of the upper half-plane but leaves the geometric sheet of the holomorphic Mahler measure everywhere below $\mathrm{Im}\,τ=1/\sqrt{2}$, so the premise of the differential-comparison continuation fails. A 20-digit direct torus integration then decides the conjecture numerically: $n_4(81)-40M_7=+0.0586706795972872...$, five orders of magnitude above the integration error floor, so the identity as literally stated is refuted; a closed form for the true value $n_4(81)$ remains open and appears to require regulator/monodromy machinery.

math.NT↗

arXiv2024

SleepCoT: A Lightweight Personalized Sleep Health Model via Chain-of-Thought Distillation

We present a novel approach to personalized sleep health management using few-shot Chain-of-Thought (CoT) distillation, enabling small-scale language models (> 2B parameters) to rival the performance of large language models (LLMs) in specialized health domains. Our method simultaneously distills problem-solving strategies, long-tail expert knowledge, and personalized recommendation capabilities from larger models into more efficient, compact models. Unlike existing systems, our approach offers three key functionalities: generating personalized sleep health recommendations, supporting user-specific follow-up inquiries, and providing responses to domain-specific knowledge questions. We focus on sleep health due to its measurability via wearable devices and its impact on overall well-being. Our experimental setup, involving GPT-4o for data synthesis, Qwen-max for instruction set creation, and Qwen2.5 1.5B for model distillation, demonstrates significant improvements over baseline small-scale models in penalization, reasoning, and knowledge application. Experiments using 100 simulated sleep reports and 1,000 domain-specific questions shows our model achieves comparable performance to larger models while maintaining efficiency for real-world deployment. This research not only advances AI-driven health management but also provides a novel approach to leveraging LLM capabilities in resource-constrained environments, potentially enhancing the accessibility of personalized healthcare solutions.

cs.AI↗

arXiv2024

NTIRE 2024 Challenge on Short-form UGC Video Quality Assessment: Methods and Results

This paper reviews the NTIRE 2024 Challenge on Shortform UGC Video Quality Assessment (S-UGC VQA), where various excellent solutions are submitted and evaluated on the collected dataset KVQ from popular short-form video platform, i.e., Kuaishou/Kwai Platform. The KVQ database is divided into three parts, including 2926 videos for training, 420 videos for validation, and 854 videos for testing. The purpose is to build new benchmarks and advance the development of S-UGC VQA. The competition had 200 participants and 13 teams submitted valid solutions for the final testing phase. The proposed solutions achieved state-of-the-art performances for S-UGC VQA. The project can be found at https://github.com/lixinustc/KVQChallenge-CVPR-NTIRE2024.

eess.IV↗

arXiv2023

SoulChat: Improving LLMs' Empathy, Listening, and Comfort Abilities through Fine-tuning with Multi-turn Empathy Conversations

Large language models (LLMs) have been widely applied in various fields due to their excellent capability for memorizing knowledge and chain of thought (CoT). When these language models are applied in the field of psychological counseling, they often rush to provide universal advice. However, when users seek psychological support, they need to gain empathy, trust, understanding and comfort, rather than just reasonable advice. To this end, we constructed a multi-turn empathetic conversation dataset of more than 2 million samples, in which the input is the multi-turn conversation context, and the target is empathetic responses that cover expressions such as questioning, comfort, recognition, listening, trust, emotional support, etc. Experiments have shown that the empathy ability of LLMs can be significantly enhanced when finetuning by using multi-turn dialogue history and responses that are closer to the expression of a psychological consultant.

cs.CL↗

arXiv2023

Pseudorandomness of Sato-Tate Distributions for Elliptic Curves

In this paper we propose conjectures that assert that, the sequence of Frobenius angles of a given elliptic curve over $\mathbf{Q}$ without complex multiplication is pseudorandom, in other words that the Frobenius angles are statistically independently distributed with respect to the Sato-Tate measure. Numerical evidences are presented to support the conjectures.

math.NT↗

arXiv2011

On Measurement and Computation

Inspired by the work of Feynman, Deutsch, We formally propose the theory of physical computability and accordingly, the physical complexity theory. To achieve this, a framework that can evaluate almost all forms of computation using various physical mechanisms is discussed. Here, we focus on using it to review the theory of Quantum Computation. As a preliminary study on more general problems, some examples of other physical mechanism are also given in this paper.

physics.comp-ph↗