-
The Explicit Hypergeometric-Modularity Method II
Authors:
Michael Allen,
Brian Grove,
Ling Long,
Fang-Ting Tu
Abstract:
In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this method from a motivic viewpoint through some known hypergeometric well-poised formulae of Whipple and McCarthy. We first use the method to derive a class of special…
▽ More
In the first paper of this sequence, we provided an explicit hypergeometric modularity method by combining different techniques from the classical, $p$-adic, and finite field settings. In this article, we explore an application of this method from a motivic viewpoint through some known hypergeometric well-poised formulae of Whipple and McCarthy. We first use the method to derive a class of special weight three modular forms, labeled as $\mathbb{K}_2$-functions. Then using well-poised hypergeometric formulae we further construct a class of degree four Galois representations of the absolute Galois groups of the corresponding cyclotomic fields. These representations are then shown to be extendable to $G_{\mathbb{Q}}$ and the $L$-function of each extension coincides with the $L$-function of an automorphic form.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Supercongruences arising from Ramanujan-Sato Series
Authors:
Angelica Babei,
Manami Roy,
Holly Swisher,
Bella Tobin,
Fang-Ting Tu
Abstract:
Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/π$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle groups of non-compact type. Here, we use work of Chisholm, Deines, Long, Nebe and the third author to prove a general $p$-adic supercongruence theorem through an expl…
▽ More
Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/π$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle groups of non-compact type. Here, we use work of Chisholm, Deines, Long, Nebe and the third author to prove a general $p$-adic supercongruence theorem through an explicit connection to CM hypergeometric elliptic curves that provides $p$-adic analogues of these Ramanujan-Sato series. We further use this theorem to construct explicit examples related to each of our explicit Ramanujan-Sato series examples.
△ Less
Submitted 12 March, 2025; v1 submitted 16 August, 2024;
originally announced August 2024.
-
QM abelian varieties, hypergeometric character sums and modular forms
Authors:
Jerome William Hoffman,
Fang-Ting Tu
Abstract:
This is a report on recent work, with Wen-Ching Winnie Li and Ling Long. In that work explicit formulas are given, involving hypergeometric character sums, for the traces of Hecke operators $T_p$ acting spaces of cusp forms $S_k(Γ)$ of weight $k$ for certain arithmetically defined Fuchsian subgroups $Γ\subset \mathrm{SL}_2 (\mathbf{R})$. In particular we consider the groups attached to the quatern…
▽ More
This is a report on recent work, with Wen-Ching Winnie Li and Ling Long. In that work explicit formulas are given, involving hypergeometric character sums, for the traces of Hecke operators $T_p$ acting spaces of cusp forms $S_k(Γ)$ of weight $k$ for certain arithmetically defined Fuchsian subgroups $Γ\subset \mathrm{SL}_2 (\mathbf{R})$. In particular we consider the groups attached to the quaternion division algebra $B_6$ over $\mathbf{Q}$ of discriminant 6.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Traces of Hecke Operators via Hypergeometric Character Sums
Authors:
Jerome W. Hoffman,
Wen-Ching Winnie Li,
Ling Long,
Fang-Ting Tu
Abstract:
In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works,…
▽ More
In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works, is uniform and more geometric, and it works equally well for forms on elliptic modular curves and Shimura curves. The same method can be applied to obtain eigenvalues of Hecke operators as well.
△ Less
Submitted 3 March, 2025; v1 submitted 5 August, 2024;
originally announced August 2024.
-
The Explicit Hypergeometric-Modularity Method I
Authors:
Michael Allen,
Brian Grove,
Ling Long,
Fang-Ting Tu
Abstract:
The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hyper…
▽ More
The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hypergeometric datum. In particular, for certain length three and four hypergeometric data we give an explicit method for finding a modular form $f$ such that the corresponding hypergeometric Galois representation has a subrepresentation isomorphic to the Deligne representation of $f$. Our method utilizes Ramanujan's theory of elliptic functions to alternative bases, commutative formal group laws, and supercongruences. As a byproduct, we give a collection of eta quotients with multiplicative coefficients constructed from hypergeometric functions. In the second paper, we discuss a number of applications, including explicit connections between hypergeometric values and periods of these explicit eta quotients as well as evaluation formulae for certain special $L$-values.
△ Less
Submitted 19 June, 2025; v1 submitted 31 March, 2024;
originally announced April 2024.
-
A unified framework for covariate adjustment under stratified randomization
Authors:
Fuyi Tu,
Wei Ma,
Hanzhong Liu
Abstract:
Randomization, as a key technique in clinical trials, can eliminate sources of bias and produce comparable treatment groups. In randomized experiments, the treatment effect is a parameter of general interest. Researchers have explored the validity of using linear models to estimate the treatment effect and perform covariate adjustment and thus improve the estimation efficiency. However, the relati…
▽ More
Randomization, as a key technique in clinical trials, can eliminate sources of bias and produce comparable treatment groups. In randomized experiments, the treatment effect is a parameter of general interest. Researchers have explored the validity of using linear models to estimate the treatment effect and perform covariate adjustment and thus improve the estimation efficiency. However, the relationship between covariates and outcomes is not necessarily linear, and is often intricate. Advances in statistical theory and related computer technology allow us to use nonparametric and machine learning methods to better estimate the relationship between covariates and outcomes and thus obtain further efficiency gains. However, theoretical studies on how to draw valid inferences when using nonparametric and machine learning methods under stratified randomization are yet to be conducted. In this paper, we discuss a unified framework for covariate adjustment and corresponding statistical inference under stratified randomization and present a detailed proof of the validity of using local linear kernel-weighted least squares regression for covariate adjustment in treatment effect estimators as a special case. In the case of high-dimensional data, we additionally propose an algorithm for statistical inference using machine learning methods under stratified randomization, which makes use of sample splitting to alleviate the requirements on the asymptotic properties of machine learning methods. Finally, we compare the performances of treatment effect estimators using different machine learning methods by considering various data generation scenarios, to guide practical research.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
Generalized Ramanujan-Sato Series Arising from Modular Forms
Authors:
Angelica Babei,
Lea Beneish,
Manami Roy,
Holly Swisher,
Bella Tobin,
Fang-Ting Tu
Abstract:
Motivated by work of Chan, Chan, and Liu, we obtain a new general theorem which produces Ramanujan-Sato series for $1/π$. We then use it to construct explicit examples related to non-compact arithmetic triangle groups, as classified by Takeuchi. Some of our examples are new, and some reproduce existing examples.
Motivated by work of Chan, Chan, and Liu, we obtain a new general theorem which produces Ramanujan-Sato series for $1/π$. We then use it to construct explicit examples related to non-compact arithmetic triangle groups, as classified by Takeuchi. Some of our examples are new, and some reproduce existing examples.
△ Less
Submitted 12 October, 2022; v1 submitted 26 February, 2022;
originally announced February 2022.
-
A Whipple $_7F_6$ formula revisited
Authors:
Wen-Ching Winnie Li,
Ling Long,
Fang-Ting Tu
Abstract:
A well-known formula of Whipple relates certain hypergeometric values $_7F_6(1)$ and $_4F_3(1)$. In this paper we revisit this relation from the viewpoint of the underlying hypergeometric data $HD$, to which there are also associated hypergeometric character sums and Galois representations. We explain a special structure behind Whipple's formula when the hypergeometric data $HD$ are primitive and…
▽ More
A well-known formula of Whipple relates certain hypergeometric values $_7F_6(1)$ and $_4F_3(1)$. In this paper we revisit this relation from the viewpoint of the underlying hypergeometric data $HD$, to which there are also associated hypergeometric character sums and Galois representations. We explain a special structure behind Whipple's formula when the hypergeometric data $HD$ are primitive and self-dual. If the data are also defined over $\mathbb Q$, by the work of Katz, Beukers, Cohen, and Mellit, there are compatible families of $\ell$-adic representations of the absolute Galois group of $\mathbb Q$ attached to $HD$. For specialized choices of $HD$, these Galois representations are shown to be decomposable and automorphic. As a consequence, the values of the corresponding hypergeometric character sums can be explicitly expressed in terms of Fourier coefficients of certain modular forms. We further relate the hypergeometric values $_7F_6(1)$ in Whipple's formula to the periods of these modular forms.
△ Less
Submitted 15 November, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
A general theory of regression adjustment for covariate-adaptive randomization: OLS, Lasso, and beyond
Authors:
Hanzhong Liu,
Fuyi Tu,
Wei Ma
Abstract:
We consider the problem of estimating and inferring treatment effects in randomized experiments. In practice, stratified randomization, or more generally, covariate-adaptive randomization, is routinely used in the design stage to balance the treatment allocations with respect to a few variables that are most relevant to the outcomes. Then, regression is performed in the analysis stage to adjust th…
▽ More
We consider the problem of estimating and inferring treatment effects in randomized experiments. In practice, stratified randomization, or more generally, covariate-adaptive randomization, is routinely used in the design stage to balance the treatment allocations with respect to a few variables that are most relevant to the outcomes. Then, regression is performed in the analysis stage to adjust the remaining imbalances to yield more efficient treatment effect estimators. Building upon and unifying the recent results obtained for ordinary least squares adjusted estimators under covariate-adaptive randomization, this paper presents a general theory of regression adjustment that allows for arbitrary model misspecification and the presence of a large number of baseline covariates. We exemplify the theory on two Lasso-adjusted treatment effect estimators, both of which are optimal in their respective classes. In addition, nonparametric consistent variance estimators are proposed to facilitate valid inferences, which work irrespective of the specific randomization methods used. The robustness and improved efficiency of the proposed estimators are demonstrated through a simulation study and a clinical trial example. This study sheds light on improving treatment effect estimation efficiency by implementing machine learning methods in covariate-adaptive randomized experiments.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
Transformations of Hypergeometric Motives
Authors:
J. William Hoffman,
Fang-Ting Tu
Abstract:
We consider algebraic transformations of hypergeometric functions from a geometric point of view. Hypergeometric functions are shown to arise from the deRham realization of a hypergeometric motive. The $\ell$-adic realization of the motive gives rise to hypergeometric characters sums over finite fields. This helps to unify and explain some recent results about transformations of hypergeometric cha…
▽ More
We consider algebraic transformations of hypergeometric functions from a geometric point of view. Hypergeometric functions are shown to arise from the deRham realization of a hypergeometric motive. The $\ell$-adic realization of the motive gives rise to hypergeometric characters sums over finite fields. This helps to unify and explain some recent results about transformations of hypergeometric character sums.
△ Less
Submitted 2 June, 2020; v1 submitted 10 March, 2020;
originally announced March 2020.
-
Densities of bounded primes for hypergeometric series with rational parameters
Authors:
Cameron Franc,
Brandon Gill,
Jason Goertzen,
Jarrod Pas,
Frankie Tu
Abstract:
The set of primes where a hypergeomeric series with rational parameters is $p$-adically bounded is known by [10] to have a Dirichlet density. We establish a formula for this Dirichlet density and conjecture that it is rare for the density to be large. We prove this conjecture for hypergeometric series whose parameters have denominators equal to a prime of the form $p = 2q^r + 1$, where $q$ is an o…
▽ More
The set of primes where a hypergeomeric series with rational parameters is $p$-adically bounded is known by [10] to have a Dirichlet density. We establish a formula for this Dirichlet density and conjecture that it is rare for the density to be large. We prove this conjecture for hypergeometric series whose parameters have denominators equal to a prime of the form $p = 2q^r + 1$, where $q$ is an odd prime, by establishing an upper bound on the density of bounded primes in this case. The general case remains open. This paper is the output of an undergraduate research course taught by the first listed author in the winter semester of 2018.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Computing Special $L$-Values of Certain Modular Forms with Complex Multiplication
Authors:
Wen-Ching Winnie Li,
Ling Long,
Fang-Ting Tu
Abstract:
In this expository paper, we illustrate two explicit methods which lead to special $L$-values of certain modular forms admitting complex multiplication (CM), motivated in part by properties of $L$-functions obtained from Calabi-Yau manifolds defined over $\mathbb Q$.
In this expository paper, we illustrate two explicit methods which lead to special $L$-values of certain modular forms admitting complex multiplication (CM), motivated in part by properties of $L$-functions obtained from Calabi-Yau manifolds defined over $\mathbb Q$.
△ Less
Submitted 29 August, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Evaluation of Certain Hypergeometric Functions over Finite Fields
Authors:
Fang-Ting Tu,
Yifan Yang
Abstract:
For an odd prime $p$, let $φ$ denote the quadratic character of the multiplicative group ${\mathbb F}_p^\times$, where ${\mathbb F}_p$ is the finite field of $p$ elements. In this paper, we will obtain evaluations of the hypergeometric functions $ {}_2F_1\left(\begin{matrix} φψ& ψ\\ & φ\end{matrix};x\right)$, $x\in {\mathbb F}_p$, $x\neq 0, 1$, over ${\mathbb F}_p$ in terms of Hecke character atta…
▽ More
For an odd prime $p$, let $φ$ denote the quadratic character of the multiplicative group ${\mathbb F}_p^\times$, where ${\mathbb F}_p$ is the finite field of $p$ elements. In this paper, we will obtain evaluations of the hypergeometric functions $ {}_2F_1\left(\begin{matrix} φψ& ψ\\ & φ\end{matrix};x\right)$, $x\in {\mathbb F}_p$, $x\neq 0, 1$, over ${\mathbb F}_p$ in terms of Hecke character attached to CM elliptic curves for characters $ψ$ of ${\mathbb F}_p^\times$ of order $3$, $4$, $6$, $8$, and $12$.
△ Less
Submitted 19 May, 2018; v1 submitted 15 November, 2017;
originally announced November 2017.
-
Supercongruences for rigid hypergeometric Calabi--Yau threefolds
Authors:
Ling Long,
Fang-Ting Tu,
Noriko Yui,
Wadim Zudilin
Abstract:
We establish the supercongruences for the fourteen rigid hypergeometric Calabi--Yau threefolds over $\mathbb Q$ conjectured by Rodriguez-Villegas in 2003. Our first method is based on Dwork's theory of $p$-adic unit roots and it allows us to establish the supercongruences between the truncated hypergeometric series and the corresponding unit roots for ordinary primes. The other method makes use of…
▽ More
We establish the supercongruences for the fourteen rigid hypergeometric Calabi--Yau threefolds over $\mathbb Q$ conjectured by Rodriguez-Villegas in 2003. Our first method is based on Dwork's theory of $p$-adic unit roots and it allows us to establish the supercongruences between the truncated hypergeometric series and the corresponding unit roots for ordinary primes. The other method makes use of the theory of hypergeometric motives, in particular, adapts the techniques from the recent work of Beukers, Cohen and Mellit on finite hypergeometric sums over $\mathbb Q$. Essential ingredients in executing the both approaches are the modularity of the underlying Calabi--Yau threefolds and a $p$-adic perturbation method applied to hypergeometric functions.
△ Less
Submitted 3 October, 2021; v1 submitted 3 May, 2017;
originally announced May 2017.
-
A Cubic Transformation Formula for Appell-Lauricella Hypergeometric Functions over Finite Fields
Authors:
Sharon Frechette,
Holly Swisher,
Fang-Ting Tu
Abstract:
We define a finite-field version of Appell-Lauricella hypergeometric functions built from period functions in several variables, paralleling the development by Fuselier, et. al in the single variable case. We develop geometric connections between these functions and the family of generalized Picard curves. In our main result, we use finite-field Appell-Lauricella functions to establish a finite-fi…
▽ More
We define a finite-field version of Appell-Lauricella hypergeometric functions built from period functions in several variables, paralleling the development by Fuselier, et. al in the single variable case. We develop geometric connections between these functions and the family of generalized Picard curves. In our main result, we use finite-field Appell-Lauricella functions to establish a finite-field analogue of Koike and Shiga's cubic transformation for the Appell hypergeometric function $F_1$, proving a conjecture of Ling Long. We use our multivariable period functions to construct formulas for the number of $\mathbb{F}_p$-points on the generalized Picard curves. We also give some transformation and reduction formulas for the period functions, and consequently for the finite-field Appell-Lauricella functions.
△ Less
Submitted 18 January, 2017; v1 submitted 16 January, 2017;
originally announced January 2017.
-
Hypergeometric Functions over Finite Fields
Authors:
Jenny Fuselier,
Ling Long,
Ravi Ramakrishna,
Holly Swisher,
Fang-Ting Tu
Abstract:
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classic…
▽ More
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classical gamma function and its finite field analogue the Gauss sum, we give a systematic way to obtain certain types of hypergeometric transformation and evaluation formulas over finite fields and interpret them geometrically using a Galois representation perspective. As an application, we obtain a few finite field analogues of algebraic hypergeometric identities, quadratic and higher transformation formulas, and evaluation formulas. We further apply these finite field formulas to compute the number of rational points of certain hypergeometric varieties.
△ Less
Submitted 5 October, 2022; v1 submitted 9 October, 2015;
originally announced October 2015.
-
Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions
Authors:
Alyson Deines,
Jenny G. Fuselier,
Ling Long,
Holly Swisher,
Fang-Ting Tu
Abstract:
In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.
In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.
△ Less
Submitted 23 September, 2015; v1 submitted 14 January, 2015;
originally announced January 2015.
-
Generalized Legendre curves and Quaternionic Multiplication
Authors:
Alyson Deines,
Jenny G. Fuselier,
Ling Long,
Holly Swisher,
Fang-Ting Tu
Abstract:
This paper is devoted to abelian varieties arising from generalized Legendre curves. In particular, we consider their corresponding Galois representations, periods, and endomorphism algebras. For certain one parameter families of 2-dimensional abelian varieties of this kind, we determine when the endomorphism algebra of each fiber defined over the algebraic closure of $\Bbb Q$ contains a quaternio…
▽ More
This paper is devoted to abelian varieties arising from generalized Legendre curves. In particular, we consider their corresponding Galois representations, periods, and endomorphism algebras. For certain one parameter families of 2-dimensional abelian varieties of this kind, we determine when the endomorphism algebra of each fiber defined over the algebraic closure of $\Bbb Q$ contains a quaternion algebra.
△ Less
Submitted 19 November, 2015; v1 submitted 22 December, 2014;
originally announced December 2014.
-
Algebraic transformations of hypergeometric functions and automorphic forms on Shimura curves
Authors:
Fang-Ting Tu,
Yifan Yang
Abstract:
In this paper, we will obtain new algebraic transformations of the $_2F_1$-hypergeometric functions. The main novelty in our approach is the interpretation of identities among $_2F_1$-hypergeometric functions as identities among automorphic forms on different Shimura curves.
In this paper, we will obtain new algebraic transformations of the $_2F_1$-hypergeometric functions. The main novelty in our approach is the interpretation of identities among $_2F_1$-hypergeometric functions as identities among automorphic forms on different Shimura curves.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.
-
Defining equations of $X_0(2^{2n})$
Authors:
Fang-Ting Tu,
Yifan Yang
Abstract:
In this note we obtain defining equations of modular curves $X_0(2^{2n})$. The key ingredient is a recursive formula for certain generators of the function fields on $X_0(2^{2n})$.
In this note we obtain defining equations of modular curves $X_0(2^{2n})$. The key ingredient is a recursive formula for certain generators of the function fields on $X_0(2^{2n})$.
△ Less
Submitted 14 February, 2007;
originally announced February 2007.
