Showing 1–15 of 15 results for author: Goins, E H

Critical Points of Toroidal Belyĭ Maps

Authors: Tesfa Asmara, Edray Herber Goins, Erik Imathiu-Jones, Maria Maalouf, Isaac Robinson, Sharon Sneha Spaulding

Abstract: A Belyi map $β: \mathbb{P}^1(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$ is a rational function with at most three critical values; we may assume these values are $\{ 0, \, 1, \, \infty \}$. Replacing $\mathbb{P}^1$ with an elliptic curve $E: \ y^2 = x^3 + A \, x + B$, there is a similar definition of a Belyi map $β: E(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$. Since… ▽ More A Belyi map $β: \mathbb{P}^1(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$ is a rational function with at most three critical values; we may assume these values are $\{ 0, \, 1, \, \infty \}$. Replacing $\mathbb{P}^1$ with an elliptic curve $E: \ y^2 = x^3 + A \, x + B$, there is a similar definition of a Belyi map $β: E(\mathbb{C}) \to \mathbb{P}^1(\mathbb{C})$. Since $E(\mathbb{C}) \simeq \mathbb T^2(\mathbb {R})$ is a torus, we call $(E, β)$ a Toroidal Belyi pair. There are many examples of Belyi maps $β: E(\mathbb{C}) \to \mathbb P^1(\mathbb{C})$ associated to elliptic curves; several can be found online at LMFDB. Given such a Toroidal Belyi map of degree $N$, the inverse image $G = β^{-1} \bigl( \{ 0, \, 1, \, \infty \} \bigr)$ is a set of $N$ elements which contains the critical points of the Belyi map. In this project, we investigate when $G$ is contained in $E(\mathbb{C})_{\text{tors}}$. This is work done as part of the Pomona Research in Mathematics Experience (NSA H98230-21-1-0015). △ Less

Submitted 21 December, 2022; originally announced December 2022.

MSC Class: 11G32; 14H52

Arithmetic of quaternion origami

Authors: Rachel Davis, Edray Herber Goins

Abstract: We study origami $f: C \rightarrow E$ with $G$-Galois cover $Q_8$. For a point $P \in E(\mathbb{Q}) \backslash \left\{ \mathcal{O} \right\}$, we study the field obtained by adjoining to $\mathbb{Q}$ the coordinates of all of the preimages of $P$ under $f$. We find a defining polynomial, $f_{E, Q_8,P}$, for this field and study its Galois group. We give an isomorphism depending on $P$ between a cer… ▽ More We study origami $f: C \rightarrow E$ with $G$-Galois cover $Q_8$. For a point $P \in E(\mathbb{Q}) \backslash \left\{ \mathcal{O} \right\}$, we study the field obtained by adjoining to $\mathbb{Q}$ the coordinates of all of the preimages of $P$ under $f$. We find a defining polynomial, $f_{E, Q_8,P}$, for this field and study its Galois group. We give an isomorphism depending on $P$ between a certain subfield of this field and a certain subfield of the 4-division field of the elliptic curve. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Lattice point visibility on generalized lines of sight

Authors: Edray Herber Goins, Pamela E. Harris, Bethany Kubik, Aba Mbirika

Abstract: For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattic… ▽ More For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattice points is given by $1/ζ(b+1)$, where $ζ(s)$ denotes the Riemann zeta function. We also show that even though the proportion of $b$-visible lattice points approaches $1$ as $b$ approaches infinity, there exist arbitrarily large rectangular arrays of $b$-invisible lattice points for any fixed $b$. This work specialized to $b=1$ recovers original results from the classical lattice point visibility setting where the lines of sight are given by linear functions with rational slope through the origin. △ Less

Submitted 12 October, 2017; originally announced October 2017.

Comments: 9 pages, 5 figures. To appear in the American Mathematical Monthly

MSC Class: 11P21 (Primary); 11M99 (Secondary)

Journal ref: American Mathematical Monthly, Vol. 125 (2018), No. 7, 593--601

Arithmetic Progressions on Conic Sections

Authors: Alejandra Alvarado, Edray Herber Goins

Abstract: The set ${1, 25, 49}$ is a 3-term collection of integers which forms an arithmetic progression of perfect squares. We view the set ${(1,1), (5,25), (7,49)}$ as a 3-term collection of rational points on the parabola $y=x^2$ whose $y$-coordinates form an arithmetic progression. In this exposition, we provide a generalization to 3-term arithmetic progressions on arbitrary conic sections $\mathcal C$… ▽ More The set ${1, 25, 49}$ is a 3-term collection of integers which forms an arithmetic progression of perfect squares. We view the set ${(1,1), (5,25), (7,49)}$ as a 3-term collection of rational points on the parabola $y=x^2$ whose $y$-coordinates form an arithmetic progression. In this exposition, we provide a generalization to 3-term arithmetic progressions on arbitrary conic sections $\mathcal C$ with respect to a linear rational map $\ell: \mathcal C \to \mathbb P^1$. We explain how this construction is related to rational points on the universal elliptic curve $Y^2 + 4XY + 4kY = X^3 + kX^2$ classifying those curves possessing a rational 4-torsion point. △ Less

Submitted 24 October, 2012; originally announced October 2012.

Comments: 17 pages, submitted for publication

MSC Class: 11B25; 11E16; 14H52

Riordan Matrix Representations of Euler's Constant $γ$ and Euler's Number $e$

Authors: Edray Herber Goins, Asamoah Nkwanta

Abstract: We show that the Euler-Mascheroni constant $γ$ and Euler's number $e$ can both be represented as a product of a Riordan matrix and certain row and column vectors. We show that the Euler-Mascheroni constant $γ$ and Euler's number $e$ can both be represented as a product of a Riordan matrix and certain row and column vectors. △ Less

Submitted 18 August, 2011; originally announced August 2011.

Comments: 16 pages

MSC Class: 05A15; 11B83; 20Cxx; 30E99; 15A23; 13F25; 13J05; 41A58

The Area of the Surface Generated by Revolving a Graph About Any Line

Authors: Edray Herber Goins, Talitha M. Washington

Abstract: We discuss a general formula for the area of the surface that is generated by a graph $[t_0, t_1] \to \mathbb R^2$ sending $t \mapsto \bigl(x(t), y(t) \bigr)$ revolved around a general line $L: A x + B y = C$. As a corollary, we obtain a formula for the area of the surface formed by revolving $y = f(x)$ around the line $y = m x + k$. We discuss a general formula for the area of the surface that is generated by a graph $[t_0, t_1] \to \mathbb R^2$ sending $t \mapsto \bigl(x(t), y(t) \bigr)$ revolved around a general line $L: A x + B y = C$. As a corollary, we obtain a formula for the area of the surface formed by revolving $y = f(x)$ around the line $y = m x + k$. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 8 pages, 11 figures

MSC Class: 26B15; 28A75

Points on Hyperbolas at Rational Distance

Authors: Edray Herber Goins, Kevin Mugo

Abstract: Richard Guy asked for the largest set of points which can be placed in the plane so that their pairwise distances are rational numbers. In this article, we consider such a set of rational points restricted to a given hyperbola. To be precise, for rational numbers $a$, $b$, $c$, and $d$ such that the quantity $D = \bigl(a \, d - b \, c \bigr) / \bigl(2 \, a^2 \bigr)$ is defined and nonzero, we co… ▽ More Richard Guy asked for the largest set of points which can be placed in the plane so that their pairwise distances are rational numbers. In this article, we consider such a set of rational points restricted to a given hyperbola. To be precise, for rational numbers $a$, $b$, $c$, and $d$ such that the quantity $D = \bigl(a \, d - b \, c \bigr) / \bigl(2 \, a^2 \bigr)$ is defined and nonzero, we consider rational distance sets on the conic section $a \, x \, y + b \, x + c \, y + d = 0$. We show that, if the elliptic curve $Y^2 = X^3 - D^2 \, X$ has infinitely many rational points, then there are infinitely many sets consisting of four rational points on the hyperbola such that their pairwise distances are rational numbers. We also show that any rational distance set of three such points can always be extended to a rational distance set of four such points. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 13 pages, 2 figures. Submitted for publication

MSC Class: 11D09; 11D25

A Ternary Algebra with Applications to Binary Quadratic Forms

Authors: Edray Herber Goins

Abstract: We discuss multiplicative properties of the binary quadratic form $a x^2 + b x y + c y^2$ by considering a ring of matrices which is closed under a triple product. We prove that the ring forms a ternary algebra in the sense of Hestenes, and then derive both multiplicative formulas for a large class of binary quadratic forms and a type of multiplication for points on a conic section which general… ▽ More We discuss multiplicative properties of the binary quadratic form $a x^2 + b x y + c y^2$ by considering a ring of matrices which is closed under a triple product. We prove that the ring forms a ternary algebra in the sense of Hestenes, and then derive both multiplicative formulas for a large class of binary quadratic forms and a type of multiplication for points on a conic section which generalizes the algebra of rational points on the unit circle. △ Less

Submitted 30 November, 2009; originally announced December 2009.

Comments: Published as part of the proceedings for the Council for African American Researchers in the Mathematical Sciences (CAARMS)

MSC Class: 11E25; 20N10

Journal ref: Contemp. Math. 284 (2001), pgs. 7 - 12

Artin's Conjecture and Elliptic Curves

Authors: Edray Herber Goins

Abstract: Artin conjectured that certain Galois representations should give rise to entire L-series. We give some history on the conjecture and motivation of why it should be true by discussing the one-dimensional case. The first known example to verify the conjecture in the icosahedral case did not surface until Buhler's work in 1977. We explain how this icosahedral representation is attached to a modula… ▽ More Artin conjectured that certain Galois representations should give rise to entire L-series. We give some history on the conjecture and motivation of why it should be true by discussing the one-dimensional case. The first known example to verify the conjecture in the icosahedral case did not surface until Buhler's work in 1977. We explain how this icosahedral representation is attached to a modular elliptic curve isogenous to its Galois conjugates, and then explain how it is associated to a cusp form of weight 5 with level prime to 5. △ Less

Submitted 30 November, 2009; originally announced December 2009.

Comments: Published as part of the proceedings for the Council for African American Researchers in the Mathematical Sciences (CAARMS)

MSC Class: 11F80; 11F03; 11F66

Journal ref: Contemp. Math. 275 (2001), pgs. 39 - 51

Semi-Magic Squares and Elliptic Curves

Authors: Edray Herber Goins

Abstract: We show that, for all odd natural numbers $N$, the $N$-torsion points on an elliptic curve may be placed in an $N \times N$ grid such that the sum of each column and each row is the point at infinity. We show that, for all odd natural numbers $N$, the $N$-torsion points on an elliptic curve may be placed in an $N \times N$ grid such that the sum of each column and each row is the point at infinity. △ Less

Submitted 30 September, 2009; originally announced October 2009.

MSC Class: 14H52; 11Axx; 05Bxx

A Tasty Combination: Multivariable Calculus and Differential Forms

Authors: Edray Herber Goins, Talitha M. Washington

Abstract: Differential Calculus is a staple of the college mathematics major's diet. Eventually one becomes tired of the same routine, and wishes for a more diverse meal. The college math major may seek to generalize applications of the derivative that involve functions of more than one variable, and thus enjoy a course on Multivariate Calculus. We serve this article as a culinary guide to differentiating… ▽ More Differential Calculus is a staple of the college mathematics major's diet. Eventually one becomes tired of the same routine, and wishes for a more diverse meal. The college math major may seek to generalize applications of the derivative that involve functions of more than one variable, and thus enjoy a course on Multivariate Calculus. We serve this article as a culinary guide to differentiating and integrating functions of more than one variable -- using differential forms which are the basis for de Rham Cohomology. △ Less

Submitted 30 September, 2009; originally announced October 2009.

Comments: 15 pages, 4 figures

On the Generalized Climbing Stairs Problem

Authors: Edray Herber Goins, Talitha M. Washington

Abstract: Let $\mathcal S$ be a subset of the positive integers, and $M$ be a positive integer. Mohammad K. Azarian, inspired by work of Tony Colledge, considered the number of ways to climb a staircase containing $n$ stairs using "step-sizes" $s \in \mathcal S$ and multiplicities at most $M$. In this exposition, we find a solution via generating functions, i.e., an expression which counts the number of… ▽ More Let $\mathcal S$ be a subset of the positive integers, and $M$ be a positive integer. Mohammad K. Azarian, inspired by work of Tony Colledge, considered the number of ways to climb a staircase containing $n$ stairs using "step-sizes" $s \in \mathcal S$ and multiplicities at most $M$. In this exposition, we find a solution via generating functions, i.e., an expression which counts the number of partitions $n = \sum_{s \in \mathcal S} m_s s$ satisfying $0 \leq m_s \leq M$. We then use this result to answer a series of questions posed by Azarian, thereby showing a link with ten sequences listed in the On-Line Encyclopedia of Integer Sequences. We conclude by posing open questions which seek to count the number of compositions of $n$. △ Less

Submitted 29 September, 2009; originally announced September 2009.

MSC Class: 05A15; 05A17

Palindromes in Different Bases: A Conjecture of J. Ernest Wilkins

Authors: Edray Herber Goins

Abstract: We show that there exist exactly 203 positive integers $N$ such that for some integer $d \geq 2$ this number is a $d$-digit palindrome base 10 as well as a $d$-digit palindrome for some base $b$ different from 10. To be more precise, such $N$ range from 22 to 9986831781362631871386899. We show that there exist exactly 203 positive integers $N$ such that for some integer $d \geq 2$ this number is a $d$-digit palindrome base 10 as well as a $d$-digit palindrome for some base $b$ different from 10. To be more precise, such $N$ range from 22 to 9986831781362631871386899. △ Less

Submitted 29 September, 2009; originally announced September 2009.

MSC Class: 11Y55; 11B99

Explicit Descent via 4-Isogeny on an Elliptic Curve

Authors: Edray Herber Goins

Abstract: We work out the complete descent via 4-isogeny for a family of rational elliptic curves with a rational point of order 4; such a family is of the form $y^2 + x y + a y = x^3 + a x^2$ where $\sqrt{-a} \in \mathbb Q^\times$. In the process we exhibit the 4-isogeny and the isogenous curve, explicitly present the principal homogeneous spaces, and discuss examples by computing the rank. We work out the complete descent via 4-isogeny for a family of rational elliptic curves with a rational point of order 4; such a family is of the form $y^2 + x y + a y = x^3 + a x^2$ where $\sqrt{-a} \in \mathbb Q^\times$. In the process we exhibit the 4-isogeny and the isogenous curve, explicitly present the principal homogeneous spaces, and discuss examples by computing the rank. △ Less

Submitted 9 November, 2004; originally announced November 2004.

Comments: 20 pages

MSC Class: 14G05; 11G05; 11D25

On the Modularity of Wildly Ramified Galois Representations

Authors: Edray Herber Goins

Abstract: We show that an infinite family of odd complex 2-dimensional Galois representations ramified at 5 having nonsolvable projective image are modular, thereby verifying Artin's conjecture for a new case of examples. Such a family contains the original example studied by Buhler. In the process, we prove that an infinite family of residually modular Galois representations are modular by studying $Λ$-a… ▽ More We show that an infinite family of odd complex 2-dimensional Galois representations ramified at 5 having nonsolvable projective image are modular, thereby verifying Artin's conjecture for a new case of examples. Such a family contains the original example studied by Buhler. In the process, we prove that an infinite family of residually modular Galois representations are modular by studying $Λ$-adic Hecke algebras. △ Less

Submitted 9 November, 2004; originally announced November 2004.

Comments: 31 pages

MSC Class: 11F80