Showing 1–18 of 18 results for author: Washington, L

On the Field Isomorphism Problem for the Family of Simplest Quartic Fields

Authors: David L. Pincus, Lawrence C. Washington

Abstract: Deciding whether or not two polynomials have isomoprhic splitting fields over the rationals is the Field Isomorphism Problem. We consider polynomials of the form $f_n(x) = x^4-nx^3-6x^2+nx+1$ with $n \neq 3$ a positive integer and we let $K_n$ denote the splitting field of $f_n(x)$; a `simplest quartic field'. Our main theorem states that under certain hypotheses there can be at most one positive… ▽ More Deciding whether or not two polynomials have isomoprhic splitting fields over the rationals is the Field Isomorphism Problem. We consider polynomials of the form $f_n(x) = x^4-nx^3-6x^2+nx+1$ with $n \neq 3$ a positive integer and we let $K_n$ denote the splitting field of $f_n(x)$; a `simplest quartic field'. Our main theorem states that under certain hypotheses there can be at most one positive integer $m \neq n$ such that $K_m=K_n$. The proof relies on the existence of squares in recurrent sequences and a result of J.H.E. Cohn [3]. These sequences allow us to establish uniqueness of the splitting field under additional hypotheses in Section (5) and to establish a connection with elliptic curves in Section (6). △ Less

Submitted 14 June, 2024; originally announced June 2024.

Comments: 10 pages

MSC Class: 11R16; 11B37

Continuous Human Activity Recognition using a MIMO Radar for Transitional Motion Analysis

Authors: John Kobak, Bennett J. Richman, LaJuan Washington Jr., Syed A. Hamza

Abstract: The prompt and accurate recognition of Continuous Human Activity (CHAR) is critical in identifying and responding to health events, particularly fall risk assessment. In this paper, we examine a multi-antenna radar system that can process radar data returns for multiple individuals in an indoor setting, enabling CHAR for multiple subjects. This requires combining spatial and temporal signal proces… ▽ More The prompt and accurate recognition of Continuous Human Activity (CHAR) is critical in identifying and responding to health events, particularly fall risk assessment. In this paper, we examine a multi-antenna radar system that can process radar data returns for multiple individuals in an indoor setting, enabling CHAR for multiple subjects. This requires combining spatial and temporal signal processing techniques through micro-Doppler (MD) analysis and high-resolution receive beamforming. We employ delay and sum beamforming to capture MD signatures at three different directions of observation. As MD images may contain multiple activities, we segment the three MD signatures using an STA/LTA algorithm. MD segmentation ensures that each MD segment represents a single human motion activity. Finally, the segmented MD image is resized and processed through a convolutional neural network (CNN) to classify motion against each MD segment. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Sums of Powers of Primes II

Authors: Lawrence C. Washington

Abstract: For a real number $k$, define $π_k(x) = \sum_{p\le x} p^k$. When $k>0$, we prove that $$ π_k(x) - π(x^{k+1}) = Ω_{\pm}\left(\frac{x^{\frac12+k}}{\log x} \log\log\log x\right) $$ as $x\to\infty$, and we prove a similar result when $-1<k<0$. This strengthens a result in a paper by J. Gerard and the author and it corrects a flaw in a proof in that paper. We also quantify the observation from that pap… ▽ More For a real number $k$, define $π_k(x) = \sum_{p\le x} p^k$. When $k>0$, we prove that $$ π_k(x) - π(x^{k+1}) = Ω_{\pm}\left(\frac{x^{\frac12+k}}{\log x} \log\log\log x\right) $$ as $x\to\infty$, and we prove a similar result when $-1<k<0$. This strengthens a result in a paper by J. Gerard and the author and it corrects a flaw in a proof in that paper. We also quantify the observation from that paper that $π_k(x) - π(x^{k+1})$ is usually negative when $k>0$ and usually positive when $-1<k<0$. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: 12 pages

MSC Class: 11N05 (Primary) 11M26 (Secondary)

Heuristics for anti-cyclotomic $\mathbb{Z}_p$-extensions

Authors: Debanjana Kundu, Lawrence C. Washington

Abstract: This paper studies Iwasawa invariants in anti-cyclotomic towers. We do this by proposing two heuristics supported by computations. First we propose the Intersection Heuristics: these model `how often' the $p$-Hilbert class field of an imaginary quadratic field intersects the anti-cyclotomic tower and to what extent. Second we propose the Invariants Heuristics: these predict that the Iwasawa invari… ▽ More This paper studies Iwasawa invariants in anti-cyclotomic towers. We do this by proposing two heuristics supported by computations. First we propose the Intersection Heuristics: these model `how often' the $p$-Hilbert class field of an imaginary quadratic field intersects the anti-cyclotomic tower and to what extent. Second we propose the Invariants Heuristics: these predict that the Iwasawa invariants $λ$ and $μ$ usually vanish for imaginary quadratic fields where $p$ is non-split. △ Less

Submitted 7 June, 2023; v1 submitted 26 July, 2022; originally announced July 2022.

Comments: v2: Incorporated changes as per the referee reports; accepted for publication (Experimental Math)

MSC Class: 11R23

Relative Ideal Classes of Arbitrary Order

Authors: David L. Pincus, Lawrence C. Washington

Abstract: We adapt a known technique for searching for ideal classes of arbitrary order and then apply it to three families of number fields. We show that a family of cyclic sextic number fields has infinitely many fields in it that contain a relative ideal class of order $r,$ where $r$ is a positive integer relatively prime to the degree of the extension. We then show that the same holds true for a family… ▽ More We adapt a known technique for searching for ideal classes of arbitrary order and then apply it to three families of number fields. We show that a family of cyclic sextic number fields has infinitely many fields in it that contain a relative ideal class of order $r,$ where $r$ is a positive integer relatively prime to the degree of the extension. We then show that the same holds true for a family of cyclic quartic number fields. Though the technique is traditionally applied to Galois extensions, we show how it may be adapted to handle a family of non-Galois cubic number fields and prove that this family contains infinitely many fields with an ideal class of arbitrary order relatively prime to three. △ Less

Submitted 24 June, 2022; originally announced June 2022.

Comments: 23 pages

MSC Class: 11R29

An Elliptic Curve Analogue of Pillai's Lower Bound on Primitive Roots

Authors: Steven **, Lawrence C. Washington

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve. For a prime $p$ of good reduction, let $r(E,p)$ be the smallest non-negative integer that gives the $x$-coordinate of a point of maximal order in the group $E(\mathbb{F}_p)$. We prove unconditionally that $r(E,p)> 0.72\log\log p$ for infinitely many $p$, and $r(E,p) > 0.36 \log p$ under the assumption of the Generalized Riemann Hypothesis. This can be viewe… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve. For a prime $p$ of good reduction, let $r(E,p)$ be the smallest non-negative integer that gives the $x$-coordinate of a point of maximal order in the group $E(\mathbb{F}_p)$. We prove unconditionally that $r(E,p)> 0.72\log\log p$ for infinitely many $p$, and $r(E,p) > 0.36 \log p$ under the assumption of the Generalized Riemann Hypothesis. This can be viewed as elliptic curve analogues of classical lower bounds on the least primitive root of a prime. △ Less

Submitted 17 June, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 14 pages, 7 tables

Dirichlet Series Expansions of p-adic L-Functions

Authors: Heiko Knospe, Lawrence C. Washington

Abstract: We study $p$-adic $L$-functions $L_p(s,χ)$ for Dirichlet characters $χ$. We show that $L_p(s,χ)$ has a Dirichlet series expansion for each regularization parameter $c$ that is prime to $p$ and the conductor of $χ$. The expansion is proved by transforming a known formula for $p$-adic $L$-functions and by controlling the limiting behavior. A finite number of Euler factors can be factored off in a na… ▽ More We study $p$-adic $L$-functions $L_p(s,χ)$ for Dirichlet characters $χ$. We show that $L_p(s,χ)$ has a Dirichlet series expansion for each regularization parameter $c$ that is prime to $p$ and the conductor of $χ$. The expansion is proved by transforming a known formula for $p$-adic $L$-functions and by controlling the limiting behavior. A finite number of Euler factors can be factored off in a natural manner from the $p$-adic Dirichlet series. We also provide an alternative proof of the expansion using $p$-adic measures and give an explicit formula for the values of the regularized Bernoulli distribution. The result is particularly simple for $c=2$, where we obtain a Dirichlet series expansion that is similar to the complex case. △ Less

Submitted 9 September, 2021; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: 9 pages; updated Remark 2.7 and some minor changes. Abh. Math. Semin. Univ. Hambg. (2021)

MSC Class: 11R23 (Primary) 11R42; 11S80; 11M41 (Secondary)

Class groups of real cyclotomic fields

Authors: Mohit Mishra, Rene Schoof, Lawrence C. Washington

Abstract: We prove that every finite abelian group G occurs as a subgroup of the class group of infinitely many real cyclotomic fields. We prove that every finite abelian group G occurs as a subgroup of the class group of infinitely many real cyclotomic fields. △ Less

Submitted 28 July, 2022; v1 submitted 14 November, 2020; originally announced November 2020.

Comments: This version corrects some small inaccuracies in the proof of Proposition 3

MSC Class: 11R18 (Primary); 11R29; 11R37 (Secondary)

Journal ref: Monatshefte für Mathematik 195, no. 3 (2021), 489-496

Analogues of the Robin-Lagarias Criteria for the Riemann Hypothesis

Authors: Lawrence C. Washington, Ambrose Yang

Abstract: Robin's criterion states that the Riemann hypothesis is equivalent to $σ(n) < e^γn \log\log n$ for all integers $n \geq 5041$, where $σ(n)$ is the sum of divisors of $n$ and $γ$ is the Euler-Mascheroni constant. We prove that the Riemann hypothesis is equivalent to the statement that $σ(n) < \frac{e^γ}{2} n \log\log n$ for all odd numbers $n \geq 3^4 \cdot 5^3 \cdot 7^2 \cdot 11 \cdots 67$. Lagari… ▽ More Robin's criterion states that the Riemann hypothesis is equivalent to $σ(n) < e^γn \log\log n$ for all integers $n \geq 5041$, where $σ(n)$ is the sum of divisors of $n$ and $γ$ is the Euler-Mascheroni constant. We prove that the Riemann hypothesis is equivalent to the statement that $σ(n) < \frac{e^γ}{2} n \log\log n$ for all odd numbers $n \geq 3^4 \cdot 5^3 \cdot 7^2 \cdot 11 \cdots 67$. Lagarias's criterion for the Riemann hypothesis states that the Riemann hypothesis is equivalent to $σ(n) < H_n + \exp{H_n}\log{H_n}$ for all integers $n \geq 1$, where $H_n$ is the $n$th harmonic number. We establish an analogue to Lagarias's criterion for the Riemann hypothesis by creating a new harmonic series $H^\prime_n = 2H_n - H_{2n}$ and demonstrating that the Riemann hypothesis is equivalent to $σ(n) \leq \frac{3n}{\log{n}} + \exp{H^\prime_n}\log{H^\prime_n}$ for all odd $n \geq 3$. We prove stronger analogues to Robin's inequality for odd squarefree numbers. Furthermore, we find a general formula that studies the effect of the prime factorization of $n$ and its behavior in Robin's inequality. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Comments: 24 pages, 1 figure; To appear in IJNT

MSC Class: 11M26 (Primary) 11A25 (Secondary)

Whose Side are Ethics Codes On? Power, Responsibility and the Social Good

Authors: Anne L. Washington, Rachel S. Kuo

Abstract: The moral authority of ethics codes stems from an assumption that they serve a unified society, yet this ignores the political aspects of any shared resource. The sociologist Howard S. Becker challenged researchers to clarify their power and responsibility in the classic essay: Whose Side Are We On. Building on Becker's hierarchy of credibility, we report on a critical discourse analysis of data e… ▽ More The moral authority of ethics codes stems from an assumption that they serve a unified society, yet this ignores the political aspects of any shared resource. The sociologist Howard S. Becker challenged researchers to clarify their power and responsibility in the classic essay: Whose Side Are We On. Building on Becker's hierarchy of credibility, we report on a critical discourse analysis of data ethics codes and emerging conceptualizations of beneficence, or the "social good", of data technology. The analysis revealed that ethics codes from corporations and professional associations conflated consumers with society and were largely silent on agency. Interviews with community organizers about social change in the digital era supplement the analysis, surfacing the limits of technical solutions to concerns of marginalized communities. Given evidence that highlights the gulf between the documents and lived experiences, we argue that ethics codes that elevate consumers may simultaneously subordinate the needs of vulnerable populations. Understanding contested digital resources is central to the emerging field of public interest technology. We introduce the concept of digital differential vulnerability to explain disproportionate exposures to harm within data technology and suggest recommendations for future ethics codes. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: Conference on Fairness, Accountability, and Transparency (FAT* '20), January 27-30, 2020, Barcelona, Spain. Corrected

Time of Flight Modulation of Intensity by Zero Effort on Larmor

Authors: N. Geerits, S. R. Parnell, M. A. Thijs, A. A. van Well, C. Franz, A. L. Washington, D. Raspino, R. M. Dalgliesh, J. Plomp

Abstract: A time of flight Modulation of IntEnsity by Zero Effort (MIEZE) spectrometer mode has been developed for the Larmor instrument at the ISIS pulsed neutron source. The instrument utilizes resonant neutron spin flippers which employ electromagnets with pole shoes, allowing the flippers to operate at frequencies of up to 3 MHz. Tests were conducted at modulation frequencies of 103 kHz, 413 kHz, 826 kH… ▽ More A time of flight Modulation of IntEnsity by Zero Effort (MIEZE) spectrometer mode has been developed for the Larmor instrument at the ISIS pulsed neutron source. The instrument utilizes resonant neutron spin flippers which employ electromagnets with pole shoes, allowing the flippers to operate at frequencies of up to 3 MHz. Tests were conducted at modulation frequencies of 103 kHz, 413 kHz, 826 kHz and 1.03 MHz, resulting in a Fourier time range of ~0.1 ns to 30 ns using wavelength band of 4 Å-11 Å. △ Less

Submitted 4 December, 2019; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: Submitted to journal published

Explicit computations in Iwasawa theory

Authors: Reinier Broker, David Hubbard, Lawrence C. Washington

Abstract: We give two algorithms to compute layers of the anticyclotomic ${\bf Z}_3$-extension of an imaginary quadratic field. The first is based on complex multiplication techniques for nonmaximal orders; the second is based on Kummer theory. As an illustration of our results, we use the mirroring principle to derive results on the structure of class groups of nonmaximal orders. We give two algorithms to compute layers of the anticyclotomic ${\bf Z}_3$-extension of an imaginary quadratic field. The first is based on complex multiplication techniques for nonmaximal orders; the second is based on Kummer theory. As an illustration of our results, we use the mirroring principle to derive results on the structure of class groups of nonmaximal orders. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Comments: to appear in proceedings of ANTS 13

MSC Class: 11R23 (primary); 14K25 (secondary)

Journal ref: Open Book Series 2 (2019) 137-153

A family of cyclic quartic fields with explicit fundamental units

Authors: Steve Balady, Lawrence C. Washington

Abstract: We construct a family of quartic polynomials with cyclic Galois group and show that the roots of the polynomials are fundamental units or generate a subgroup of index 5. We construct a family of quartic polynomials with cyclic Galois group and show that the roots of the polynomials are fundamental units or generate a subgroup of index 5. △ Less

Submitted 21 September, 2017; v1 submitted 23 August, 2017; originally announced August 2017.

Comments: 12 pages; incorporates some suggestions of S. Louboutin

MSC Class: 11R16

The Coefficient-Choosing Game

Authors: William Gasarch, Lawrence C. Washington, Sam Zbarsky

Abstract: Let $D$ be an integral domain. Two players, Nora and Wanda, alternately choose coefficients from $D$ for a polynomial of degree $d$. When they are done, if the polynomial has a root in the field of fractions of $D$, then Wanda wins. If not, then Nora wins. We determine, for many $D$, who wins this game. Let $D$ be an integral domain. Two players, Nora and Wanda, alternately choose coefficients from $D$ for a polynomial of degree $d$. When they are done, if the polynomial has a root in the field of fractions of $D$, then Wanda wins. If not, then Nora wins. We determine, for many $D$, who wins this game. △ Less

Submitted 11 October, 2017; v1 submitted 15 July, 2017; originally announced July 2017.

MSC Class: 11C08

Iwasawa Invariants of Some Non-Cyclotomic $\mathbb Z_p$-extensions

Authors: David Hubbard, Lawrence C. Washington

Abstract: Iwasawa showed that there are non-cyclotomic $\mathbb Z_p$-extensions with positive $μ$-invariant. We show that these $μ$-invariants can be evaluated explicitly in many situations when $p=2$ and $p=3$. Iwasawa showed that there are non-cyclotomic $\mathbb Z_p$-extensions with positive $μ$-invariant. We show that these $μ$-invariants can be evaluated explicitly in many situations when $p=2$ and $p=3$. △ Less

Submitted 19 March, 2017; originally announced March 2017.

Comments: 24 pages

MSC Class: 11R23; 11R29

$\sum_{p\le n} 1/p = \ln(\ln n) + O(1)$: An Exposition

Authors: William Gasarch, Larry Washington

Abstract: It is well known that $\sum_{p\le n} 1/p =\ln(\ln(n)) + O(1)$ where $p$ goes over the primes. We give several known proofs of this. We first present a a proof that $\ge \ln(\ln(n)) + O(1)$. This is based on Euler's proof that $\sum_p 1/p$ diverges. We then present three proofs that $\sum_{p\le n} 1/p \le \ln(\ln(n)) + O(1)$ The first one, due to Mertens, does not use the prime number theorem. Th… ▽ More It is well known that $\sum_{p\le n} 1/p =\ln(\ln(n)) + O(1)$ where $p$ goes over the primes. We give several known proofs of this. We first present a a proof that $\ge \ln(\ln(n)) + O(1)$. This is based on Euler's proof that $\sum_p 1/p$ diverges. We then present three proofs that $\sum_{p\le n} 1/p \le \ln(\ln(n)) + O(1)$ The first one, due to Mertens, does not use the prime number theorem. The second and third one do use the prime number theorem and hence are shorter. △ Less

Submitted 16 November, 2015; v1 submitted 5 November, 2015; originally announced November 2015.

MSC Class: 01-02

Kummer generators and lambda invariants

Authors: David Hubbard, Lawrence C. Washington

Abstract: Let $F_0=\mathbf Q(\sqrt{-d})$ be an imaginary quadratic field with $3\nmid d$ and let $K_0=\mathbf Q(\sqrt{3d})$. Let $\varepsilon_0$ be the fundamental unit of $K_0$ and let $λ$ be the Iwasawa $λ$-invariant for the cyclotomic $\mathbf Z_3$-extension of $F_0$. The theory of 3-adic $L$-functions gives conditions for $λ\ge 2$ in terms of $ε_0$ and the class numbers of $F_0$ and $K_0$. We construc… ▽ More Let $F_0=\mathbf Q(\sqrt{-d})$ be an imaginary quadratic field with $3\nmid d$ and let $K_0=\mathbf Q(\sqrt{3d})$. Let $\varepsilon_0$ be the fundamental unit of $K_0$ and let $λ$ be the Iwasawa $λ$-invariant for the cyclotomic $\mathbf Z_3$-extension of $F_0$. The theory of 3-adic $L$-functions gives conditions for $λ\ge 2$ in terms of $ε_0$ and the class numbers of $F_0$ and $K_0$. We construct units of $K_1$, the first level of the $\mathbf Z_3$-extension of $K_0$, that potentially occur as Kummer generators of unramified extensions of $F_1(ζ_3)$ and which give an algebraic interpretation of the condition that $λ\ge 2$. We also discuss similar results on $λ\ge 2$ that arise from work of Gross-Koblitz. △ Less

Submitted 9 October, 2008; originally announced October 2008.

Comments: 24 pages

MSC Class: 11R23; 11R29; 11R27

Visibility of ideal classes

Authors: Rene Schoof, Lawrence C. Washington

Abstract: Cremona, Mazur, and others have studied what they call visibility of elements of Shafarevich-Tate groups of elliptic curves. The analogue for an abelian number field $K$ is capitulation of ideal classes of $K$ in the minimal cyclotomic field containing $K$. We develop a new method to study capitulation and use it and classical methods to compute data with the hope of gaining insight into the ell… ▽ More Cremona, Mazur, and others have studied what they call visibility of elements of Shafarevich-Tate groups of elliptic curves. The analogue for an abelian number field $K$ is capitulation of ideal classes of $K$ in the minimal cyclotomic field containing $K$. We develop a new method to study capitulation and use it and classical methods to compute data with the hope of gaining insight into the elliptic curve case. For example, the numerical data for number fields suggests that visibility of nontrivial Shafarevich-Tate elements might be much more common for elliptic curves of positive rank than for curves of rank 0. △ Less

Submitted 30 September, 2008; originally announced September 2008.

Comments: 21 pages

MSC Class: 11R18; 11R29