Showing 1–13 of 13 results for author: Ward, K

A narrow-stencil framework for convergent numerical approximations of fully nonlinear second order PDEs

Authors: Xiaobing Feng, Thomas Lewis, Kellie Ward

Abstract: This paper develops a unified general framework for designing convergent finite difference and discontinuous Galerkin methods for approximating viscosity and regular solutions of fully nonlinear second order PDEs. Unlike the well-known monotone (finite difference) framework, the proposed new framework allows for the use of narrow stencils and unstructured grids which makes it possible to construct… ▽ More This paper develops a unified general framework for designing convergent finite difference and discontinuous Galerkin methods for approximating viscosity and regular solutions of fully nonlinear second order PDEs. Unlike the well-known monotone (finite difference) framework, the proposed new framework allows for the use of narrow stencils and unstructured grids which makes it possible to construct high order methods. The general framework is based on the concepts of consistency and g-monotonicity which are both defined in terms of various numerical derivative operators. Specific methods that satisfy the framework are constructed using numerical moments. Admissibility, stability, and convergence properties are proved, and numerical experiments are provided along with some computer implementation details. △ Less

Submitted 25 February, 2022; originally announced February 2022.

MSC Class: 65N06; 65N12

Series and Product Relations Made from Primes

Authors: Ken Hicks, Kevin Ward

Abstract: It is known that the sum of the reciprocal of integers, $\sum_n (1/n)$, and the sum of the reciprocal of primes, $\sum_n (1/p_n)$, both diverge. Here, we study a series made from primes that sums exactly to 1. We also show this sum is simply related to an infinite product over primes. We then generalize the form of the series (and its related product), extending this idea to other number theoretic… ▽ More It is known that the sum of the reciprocal of integers, $\sum_n (1/n)$, and the sum of the reciprocal of primes, $\sum_n (1/p_n)$, both diverge. Here, we study a series made from primes that sums exactly to 1. We also show this sum is simply related to an infinite product over primes. We then generalize the form of the series (and its related product), extending this idea to other number theoretic sets such as twin primes. Evaluating a product made from twin primes gives a new mathematical constant. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Comments: 9 pages, no figures

Journal ref: Pi Mu Epsilon, Volume 15, No. 3, Fall 2020, pp. 161-169

Arithmetic actions on cyclotomic function fields

Authors: Aristides Kontogeorgis, Jacob Kenneth Ward

Abstract: We derive the group structure for cyclotomic function fields obtained by applying the Carlitz action for extensions of an initial constant field. The tame and wild structures are isolated to describe the Galois action on differentials. We show that the associated invariant rings are not polynomial. We derive the group structure for cyclotomic function fields obtained by applying the Carlitz action for extensions of an initial constant field. The tame and wild structures are isolated to describe the Galois action on differentials. We show that the associated invariant rings are not polynomial. △ Less

Submitted 5 May, 2020; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: 25 pages

The $q$-unit circle

Authors: Kenneth Ward

Abstract: We define the unit circle for global function fields. We demonstrate that this unit circle (endearingly termed the \emph{$q$-unit circle}, after the finite field $\mathbb{F}_q$ of $q$ elements) enjoys all of the properties akin to the classical unit circle: center, curvature, roots of unity in completions, integrality conditions, embedding into a finite-dimensional vector space over the real line,… ▽ More We define the unit circle for global function fields. We demonstrate that this unit circle (endearingly termed the \emph{$q$-unit circle}, after the finite field $\mathbb{F}_q$ of $q$ elements) enjoys all of the properties akin to the classical unit circle: center, curvature, roots of unity in completions, integrality conditions, embedding into a finite-dimensional vector space over the real line, a partition of the ambient space into concentric circles, Möbius transformations, a Dirichlet approximation theorem, a reciprocity law, and much more. We extend the exponential action of Carlitz by polynomials to an action by the real line. We show that mutually tangent horoballs solve a Descartes-type relation arising from reciprocity. We define the hyperbolic plane, which we prove is uniquely determined by the $q$-unit circle. We give the associated modular forms and Eisenstein series. △ Less

Submitted 27 January, 2018; originally announced January 2018.

Comments: 32 pages

MSC Class: 11R18; 11R60; 11T22; 52C26; 11B57; 11E12; 11E76; 11F03; 11J61

An explicit triangular integral basis for any separable cubic extension of a function field

Authors: Sophie Marques, Kenneth Ward

Abstract: We determine an explicit triangular integral basis for any separable cubic extension of a rational function field over a finite field in any characteristic. We obtain a formula for the discriminant of every such extension in terms of a standard form in a tower for the Galois closure. We determine an explicit triangular integral basis for any separable cubic extension of a rational function field over a finite field in any characteristic. We obtain a formula for the discriminant of every such extension in terms of a standard form in a tower for the Galois closure. △ Less

Submitted 17 June, 2017; v1 submitted 15 June, 2017; originally announced June 2017.

Comments: 14 pages. Correction to Lemma 1.1(b)

MSC Class: 11T22

Cubic Fields: A Primer

Authors: Sophie Marques, Kenneth Ward

Abstract: We classify all cubic extensions of any field of arbitrary characteristic, up to isomorphism, via an explicit construction involving three fundamental types of cubic forms. We deduce a classification of any Galois cubic extension of a field. The splitting and ramification of places in a separable cubic extension of any global function field are completely determined, and precise Riemann-Hurwitz fo… ▽ More We classify all cubic extensions of any field of arbitrary characteristic, up to isomorphism, via an explicit construction involving three fundamental types of cubic forms. We deduce a classification of any Galois cubic extension of a field. The splitting and ramification of places in a separable cubic extension of any global function field are completely determined, and precise Riemann-Hurwitz formulae are given. In doing so, we determine the decomposition of any cubic polynomial over a finite field. △ Less

Submitted 17 June, 2017; v1 submitted 17 March, 2017; originally announced March 2017.

Comments: 47 pages. Correction to Lemma 3.23.3

MSC Class: 11T22 (primary); 11R32; 11R16; 11T55; 11R58 (secondary)

A complete classification of cubic function fields over any finite field

Authors: Sophie Marques, Kenneth Ward

Abstract: We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow one to easily read ramification and splitting data from the generating equation, in analogy to the known theory for Artin-Schreier and Kummer extensions. We also… ▽ More We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow one to easily read ramification and splitting data from the generating equation, in analogy to the known theory for Artin-Schreier and Kummer extensions. We also describe explicit irreducibility criteria, integral bases, and Galois actions in terms of canonical generating equations. △ Less

Submitted 30 April, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: 55 pages. Correction to Theorem 5.17(2)

MSC Class: 11G20; 11S20; 11T55; 14G15; 11T22; 11R32

Counting roots of truncated hypergeometric series over finite fields

Authors: Amit Ghosh, Kenneth Ward

Abstract: We consider natural polynomial truncations of hypergeometric power series defined over finite fields. For these truncations, we establish asymptotic upper bounds of order $O(p^{11/12})$ on the number of roots in the prime field $\mathbb{F}_p$. We discuss the correspondence to families of elliptic curves and K3 surfaces of certain such hypergeometric polynomials, for which sharp bounds are obtained… ▽ More We consider natural polynomial truncations of hypergeometric power series defined over finite fields. For these truncations, we establish asymptotic upper bounds of order $O(p^{11/12})$ on the number of roots in the prime field $\mathbb{F}_p$. We discuss the correspondence to families of elliptic curves and K3 surfaces of certain such hypergeometric polynomials, for which sharp bounds are obtained in some cases. We include some computations to illustrate and supplement our results. △ Less

Submitted 23 April, 2020; v1 submitted 25 January, 2016; originally announced January 2016.

Comments: Errors in paper uncorrected. Kenneth Ward passed away June 2019

Holomorphic differentials of certain solvable covers of the projective line over a perfect field

Authors: Sophie Marques, Kenneth Ward

Abstract: We provide a Boseck-type basis of the space of holomorphic differentials for a large class of solvable covers of the projective line with perfect field of constants of characteristic $p > 0$. Within this class, we also describe the Galois module structure of holomorphic differentials for abelian covers. We provide a Boseck-type basis of the space of holomorphic differentials for a large class of solvable covers of the projective line with perfect field of constants of characteristic $p > 0$. Within this class, we also describe the Galois module structure of holomorphic differentials for abelian covers. △ Less

Submitted 21 December, 2017; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: 36 pages. New theorem added (Theorem 2)

MSC Class: 11G20; 11R58; 14H05

Explicit Galois representations of automorphisms on holomorphic differentials in characteristic $p$

Authors: Kenneth Ward

Abstract: We determine the representation of the group of automorphisms for cyclotomic function fields in characteristic $p > 0$ induced by the natural action on the space of holomorphic differentials via construction of an explicit basis of differentials. This includes those cases which present wild ramification and automorphism groups with non-cyclic $p$-part, which have remained elusive. We also obtain i… ▽ More We determine the representation of the group of automorphisms for cyclotomic function fields in characteristic $p > 0$ induced by the natural action on the space of holomorphic differentials via construction of an explicit basis of differentials. This includes those cases which present wild ramification and automorphism groups with non-cyclic $p$-part, which have remained elusive. We also obtain information on the gap sequences of ramified primes. Finally, we extend these results to rank one Drinfel'd modules. △ Less

Submitted 25 November, 2014; v1 submitted 27 August, 2014; originally announced August 2014.

Comments: 18 pages

MSC Class: 13N05; 11G09; 14H37 (primary); 11R58; 11R60; 14H55 (secondary)

Values of twisted Artin $L$-functions

Authors: Kenneth Ward

Abstract: This note gives a simple proof that certain values of Artin's $L$-function, for a representation $ρ$ with character $χ_ρ$, are stable under twisting by an even Dirichlet character $χ$, up to an element generated over $\mathbb Q$ by the values of $χ$ and $χ_ρ$, and a product with a power of the Gauss sum $τ(χ)$ equal to the dimension of $ρ$. This extends a result due to J. Coates and S. Lichtenbaum… ▽ More This note gives a simple proof that certain values of Artin's $L$-function, for a representation $ρ$ with character $χ_ρ$, are stable under twisting by an even Dirichlet character $χ$, up to an element generated over $\mathbb Q$ by the values of $χ$ and $χ_ρ$, and a product with a power of the Gauss sum $τ(χ)$ equal to the dimension of $ρ$. This extends a result due to J. Coates and S. Lichtenbaum. △ Less

Submitted 25 November, 2014; v1 submitted 17 January, 2014; originally announced January 2014.

Comments: 6 pages

MSC Class: Primary: 11L05; 11F67

Journal ref: Archiv der Mathematik, 103, pp. 285-290 (2014)

The number of roots of polynomials of large degree in a prime field

Authors: Amit Ghosh, Kenneth Ward

Abstract: We establish asymptotic upper bounds on the number of zeros modulo $p$ of certain polynomials with integer coefficients, with $p$ prime numbers arbitrarily large. The polynomials we consider have degree of size $p$ and are obtained by truncating certain power series with rational coefficients that satisfy simple differential equations. We establish asymptotic upper bounds on the number of zeros modulo $p$ of certain polynomials with integer coefficients, with $p$ prime numbers arbitrarily large. The polynomials we consider have degree of size $p$ and are obtained by truncating certain power series with rational coefficients that satisfy simple differential equations. △ Less

Submitted 5 October, 2012; originally announced October 2012.

Comments: 16 pages

MSC Class: Primary: 11J81; Secondary: 11G20; 11T23; 11T55

Journal ref: IMRN , Issue 4, 2015, Pages 898-926,

Asymptotics of class number and genus for abelian extensions of an algebraic function field

Authors: Kenneth Ward

Abstract: Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory. Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory. △ Less

Submitted 25 November, 2014; v1 submitted 24 February, 2011; originally announced February 2011.

Comments: 11 pages

MSC Class: 11R58 (Primary); 11G20 (Secondary)

Journal ref: Journal of Number Theory, 132 (11), pp. 2491-2498 (2012)