MixedMath - explorations in math and programinghttps://davidlowryduda.comDavid's personal blog.en-usCopyright David Lowry-Duda (2022) - All Rights Reserved.admin@davidlowryduda.comadmin@davidlowryduda.comFri, 13 May 2022 14:20:20 +0000Fri, 13 May 2022 14:20:20 +0000mixedmathapp/generate_rss.py v0.1https://cyber.harvard.edu/rss/rss.htmlhttps://davidlowryduda.com/static/images/favicon-32x32.pngMixedMathhttps://davidlowryduda.comNow pagehttps://davidlowryduda.com/nowDavid Lowry-Duda<h1>What I'm doing Now</h1>
<p>Last updated <strong>10 May 2022</strong>.</p>
<p>This is a <a href="https://nownownow.com/about">now page</a>. It is a written version of
what I might say if we met in person and you asked me what I'm up to. The date
at the top is important: it helps the reader determine if this is a <em>now</em> page
or a <em>then</em> page.</p>
<h2>Research Travel</h2>
<ul>
<li><a href="https://www.ias.edu/pcmi/pcmi-2022-research-program">PCMI 2022 Program: Number Theory Informed by Computation</a> from July 17th to August 3rd.</li>
<li><a href="https://www.maa.org/meetings/mathfest">MathFest</a> from August 3rd to August
6th.</li>
<li><a href="https://people.maths.bris.ac.uk/ jb12407/ANTS-XV/index.html">ANTS-XV</a> from
August 8th to August 12th.</li>
<li>For the following two weeks, I'll be in various places around the UK.</li>
</ul>
<p>Other than that, I'm typically in either Boston or Providence before September.</p>
<h2>Research</h2>
<p>I'm currently actively working on several projects.</p>
<ul>
<li>I'm working to develop methods to explicitly and rigorously compute Maass
forms. I'm currently implementing a rigorous form of Hejhal's algorithm for
weight $0$ Maass forms in <a href="https://arblib.org/">arb</a>.</li>
<li>At the same time, I'm currently writing down interrelated things about Maass
forms, including implementation notes for my computational work, the theory
behind rigorous evaluation, and work towards an explicit and computable trace
formula for forms of nontrivial character on non-squarefree level.</li>
<li>I'm working on a paper related to half-integral weight modular forms and
their computation. This is joint with Mehmet Kiral, Li-Mei Lim, and Thomas
Hulse.</li>
<li>With my frequent collaborators Chan Ieong Kuan and Alex Walker, I'm
investigating discrete reduction problems for the divisor function.</li>
</ul>
<h2>Teaching</h2>
<p>I'm not currently teaching.</p>https://davidlowryduda.com/nowTue, 10 May 2022 03:14:15 +0000Slides from a talk on Improved Bounds for Number Fieldshttps://davidlowryduda.com/talk-improved-bounds-number-fieldsDavid Lowry-Duda<p>At a meeting of the Algebraic Geometry, Number Theory, and Computation Simons
Collaboration, I gave a short talk surveying the results and ideas of
<a href="https://arxiv.org/abs/2204.01651"><em>Improved bounds on number fields of small
degree</em></a>, joint work with Anderson, Gafni,
Hughes, Lemke Oliver, Thorne, Wang, and Zhang.</p>
<p>In many ways this is a follow-up to an <a href="/slides-from-a-talk-on-quantitative-hilbert-irreducibility/">earlier talk I gave to the Simons
Collaboration</a>
about work towards a quantitative form of Hilbert's irreducibility theorem.
Both of these results grew out of an AIM workshop.</p>
<p>The slides for this talk <a href="/wp-content/uploads/2022/05/SimonsMay2022_Schmidt.pdf">are available here</a>.</p>https://davidlowryduda.com/talk-improved-bounds-number-fieldsMon, 09 May 2022 03:14:15 +0000Simplified proofs and reasoning in "Improved Bounds on Number Fields of Small Degree"https://davidlowryduda.com/simplified-improved-boundsDavid Lowry-DudaThis post is larger than 10000 bytes, which is above the limit for this RSS feed. Perhaps it is long or has embedded images or code. Please view it directly at the url.https://davidlowryduda.com/simplified-improved-boundsSat, 30 Apr 2022 03:14:15 +0000Paper: Counting number fields of small degreehttps://davidlowryduda.com/paper-counting-number-fieldsDavid Lowry-Duda<h1>Counting number fields of small degree</h1>
<p>Recently, my collaborators Theresa C. Anderson, Ayla Gafni, Kevin Hughes,
Robert J. Lemke Oliver, Frank Thorne, Jiuya Wang, Ruixiang Zhang, and I
uploaded a <a href="https://arxiv.org/abs/2204.01651">preprint to the arxiv</a> called
"Improved bounds on number fields of small degree". This collaboration is a
continuation<sup>1</sup>
<span class="aside"><sup>1</sup>though with a few different cast members</span>
of our
<a href="https://arxiv.org/abs/2107.02914">previous work on quantitative Hilbert
irreducibility</a>, which will appear in IMRN.</p>
<p>In this paper, we improve the upper bound due to Schmidt for estimates on the
number of number fields of degree $6 \leq n \leq 94$. Actually, we improve on
Schmidt for all $n \geq 6$, but for $n \geq 95$ Lemke Oliver and Thorne have
different, better bounds.</p>
<p>Schmidt proved the following.</p>
<div class="theorem" data-text="Schmidt 95">
<p>For $n \geq 6$, there are $\ll X^{(n+2)/4}$ number fields of degree $n$ and
having discriminant bounded by $X$.</p>
</div>
<p>We prove a polynomial improvement that decays with the degree.</p>
<div class="theorem" data-text="AGHLDLOTWZ">
<p>For $n \geq 6$, there are
\begin{equation*}
\ll_\epsilon X^{\frac{n + 2}{4} - \frac{1}{4n - 4} + \epsilon}
\end{equation*}
number fields of degree $n$ and having discriminant bounded by $X$.</p>
</div>
<p>Towards the end of this project, we learned that Bhargava, Shankar, and Wang
were also producing improvements over Schmidt in this range. On the same day
that we posted our paper to the arxiv, they posted <a href="https://arxiv.org/abs/2204.01331">their
paper</a>, in which they prove the following.</p>
<div class="theorem" data-text="BSW">
<p>For $n \geq 6$, there are
\begin{equation*}
\ll_\epsilon X^{\frac{n + 2}{4} - \frac{1}{2n - 2} + \frac{1}{2^{2g}(2n-2)} + \epsilon}
\end{equation*}
number fields of degree $n$ and having discriminant bounded by $X$, where $g
= \lfloor \frac{n-1}{2} \rfloor$.</p>
</div>
<p>In both our work and in BSW, the broad strategy is based on Schmidt's approach.
For a monic polynomial
\begin{equation*}
f(x) = x^n + c_1 x^{n-1} + \cdots + c_n,
\end{equation*}
we define the height $H(f)$ to be
\begin{equation*}
H(f) := \max( \lvert c_i \rvert^{1/i} ).
\end{equation*}
Then Schmidt showed that to count number fields of discriminant up to $X$, it
suffices to count polynomials of height roughly up to $X^{1/(2n - 2)}$.</p>
<p>The challenge is that <em>most</em> of these polynomials cut out number fields of
discriminant <em>much larger</em> than $X$. The challenge is then to count relevant
polynomials and to identify irrelevant polynomials.</p>
<p>Remarkably, the broad strategy in out work and in BSW for identifying
irrelevant polynomials is similar. For a prototypical polynomial $f$ of degree
$n$ and of height $X^{1/(2n-2)}$, we should expect the discriminant
of $f$ to be approximately $X^{n/2}$. We should also expect the field cut
out by $f$ to have discriminant roughly this size. Recalling that we are
counting number fields of discriminant only up to $X$, this means that a
<strong>relevant</strong> polynomial of this height must be exceptional in one of two ways:</p>
<ol>
<li>either the discriminant of $f$ is unusually small, or</li>
<li>the discriminant of the number field cut out by $f$ is much smaller than the
discriminant of $f$.</li>
</ol>
<p>In both out work and in BSW, those $f$ with unusually small discriminant
are bounded straightforwardly and lossily.</p>
<p>The heart of the argument is in the latter case. Here, the ratio of the two
discriminants is the square of the index
$[\mathcal{O}_K : \mathbb{Z}[\alpha]]$, where $\alpha$ is a root of $f$. Thus
we bound the number of polynomials whose discriminants have large square
divisors.</p>
<p>In establishing bounds for polynomials with particularly squarefull
discriminants that our ideas and those in BSW significantly diverge.</p>
<p>In our work, we study the problem locally. That is, we study the behavior of
$\psi_{p^{2k}}$, the characteristic function for monic polynomials of degree
$n$ over $\mathbb{Z}/p^{2k}\mathbb{Z}$ having discriminant congruent to $0
\bmod p^{2k}$. As in our work on quantitative Hilbert irreducibility, we
translate this problem into a sieve problem with local weights coming from
Fourier transforms $\widehat{\psi_{p^{2k}}}$ after passing through Poisson
summation, and we study the Fourier transforms using a variety of somewhat
ad-hoc techniques.</p>
<p>In BSW, they reason differently. They use recent explicit quantitative Hilbert
irreducibility work from Castillo and Dietmann to replace the fundamental
underlying sieve. To do this, they translate the task of counting relevant
polynomials into the task of counting <strong>distinguished</strong> points in spaces of
$n \times n$ symmetric matrices — and then show that Castillo and
Dietmann's work bounds these points.</p>
<p>Even though the number field count in BSW is stronger than our number field
count, we think that our methods and ideas will have other applications.
Further, we've noticed remarkable interactions between local Fourier analysis
and discriminants of polynomials.</p>
<h2>See also</h2>
<ul>
<li>See also my note on <a href="/simplified-improved-bounds/">a description and simplified proofs of many of the ideas in this paper</a>.</li>
</ul>https://davidlowryduda.com/paper-counting-number-fieldsThu, 28 Apr 2022 03:14:15 +0000Comments on this sitehttps://davidlowryduda.com/comments-v4David Lowry-Duda<p>I am on the fourth iteration of a comment system for this site.</p>
<h3>Comment Graveyard</h3>
<p>Initially I used Wordpress default, which is okay-ish. But there are problems
with formatting and writing mathjax-able math in comments.<sup>1</sup>
<span class="aside"><sup>1</sup>More generally,
post-rendering Wordpress content with javascript is a security nightmare and is
often hard. This is one reason why this site is no longer using Wordpress.</span></p>
<p>Then I used Disqus. Disqus works by running externally hosted
javascript.<sup>2</sup>
<span class="aside"><sup>2</sup>Also a security nightmare.</span>
As one might worry, they
began to inject ads into comment sections. I <strong>do not run ads</strong> and that was
unacceptable. I've learned a lesson about external dependencies.</p>
<p>Then I used a comment system built on top of Wordpress. This was slightly
better, but written in PHP.</p>
<h3>Simple Comments</h3>
<p>The new comment system is email-based. <strong>Plain email.</strong> I drew inspiration from
<a href="https://tdarb.org/blog/poormans-comment-system.html">tdarb</a> and
<a href="https://solar.lowtechmagazine.com/">lowtechmagazine</a> (who have precisely the
same comment "system").</p>
<p>I know that requiring an email adds a small amount of <em>friction</em> in the comment
process. I don't know how this will affect comment spam,<sup>3</sup>
<span class="aside"><sup>3</sup>which was wildly
common in previous iterations.</span>
but I think it might balance out.</p>
<p>Currently, I enable a significant amount of markup in comments. The comments
are processed with markdown and allow mathjax (assuming that mathjax is enabled
on the page). This is because I use the same preprocessing on comments as I do
on pages for this site.</p>https://davidlowryduda.com/comments-v4Sat, 02 Apr 2022 03:14:15 +0000Plaintext Emailhttps://davidlowryduda.com/plaintext-emailDavid Lowry-Duda<p>Some email clients and email marketing groups have popularized email usage
patters which are considered poor form for developer emails, technical emails,
or on mailing lists.</p>
<h3>Plaintext Email</h3>
<p>Many email clients compose emails with HTML, enabling rich text formatting.
Rich text formatting hinders development-oriented email conversations as it can
break simple tasks like copy-pasting code snippets.</p>
<p>HTML emails are mainly used for marketing (or to include tracking pixels, i.e.
special images hosted on a server that tracks information about the receiver
upon loading them). HTML emails are one of the most common vectors for
phishing, they're less accessible, and they're viewed inconsistently among
receivers.</p>
<p>If you're sending an email, consider preferring plaintext. If you're
sending a technical email or an email concerning programming, you should very
strongly prefer plaintext.</p>
<p>For more on plaintext email, see <a href="https://useplaintext.email/">useplaintext.email</a>.</p>https://davidlowryduda.com/plaintext-emailMon, 28 Mar 2022 03:14:15 +0000Slides from a talk: Computing and verifying Maass formshttps://davidlowryduda.com/talk-computing-and-verifying-maass-formsDavid Lowry-Duda<p>Today, I'm giving a talk on ongoing efforts to compute and verify Maass
forms. We describe Maass forms, Hejhal's algorithm, and the idea of how to
rigorously improve weak initial estimates to high precision estimates.</p>
<p><a
href="http://davidlowryduda.com/wp-content/uploads/2022/03/BYUMaass-compressed.pdf">The
slides for my talk are available here</a>.</p>https://davidlowryduda.com/talk-computing-and-verifying-maass-formsThu, 24 Mar 2022 03:14:15 +0000Slides from a talk: How computation and experimentation inform researchhttps://davidlowryduda.com/talk-how-computation-and-experimentation-inform-researchDavid Lowry-Duda<figure class="center">
<img src="https://davidlowryduda.com/wp-content/uploads/2022/03/byu_focus_on_math.png" width="600" />
</figure>
<p>Today I'm giving a talk at BYU on computation, experimentation, and
research. The first half of the talk examines the historic role of computation
and experimentation. Several examples are given. In the second half, I take a
more personal angle and begin to describe how I've incorporated computational
and experimental ideas into my own work.</p>
<p><a href="http://davidlowryduda.com/wp-content/uploads/2022/03/BYU_FOCUS_compressed.pdf">The
slides from my talk are available here</a>.</p>https://davidlowryduda.com/talk-how-computation-and-experimentation-inform-researchWed, 23 Mar 2022 03:14:15 +0000colormapplot - like phasematplot, but with colormapshttps://davidlowryduda.com/colormapplotDavid Lowry-Duda<p>I am happy to announce that an enhanced version of <a href="https://github.com/davidlowryduda/phase_mag_plot/">phasemagplot</a> is now available, which I refer to as <code>colormapplot</code>. (See also the <a href="/phase_mag_plot-a-sage-package-for-plotting-complex-functions/">announcement post for phasemagplot</a>).</p>
<p>This is available at <a href="https://github.com/davidlowryduda/phase_mag_plot/">davidlowryduda/phase<em>mag</em>plot </a>on github as a sage library. See the github page and README for examples and description. The docstring from within sage should also be of use.</p>
<p>As a general rule, the interface is designed to mimic the complex plotting interface from sage as closely as possible. The primary difference here is that there is an optional <code>cmap</code> keyword argument. This can be given any matplotlib-compatible colormap, and the resulting image will be given with that colormap.</p>
<p>This is capable of producing colormapped, contoured images such as the following.</p>
<figure class="center shadowed">
<img src="https://davidlowryduda.com/wp-content/uploads/2022/02/poly_cividis.png" width="500" />
</figure>https://davidlowryduda.com/colormapplotFri, 11 Feb 2022 03:14:15 +0000Zeros of Dirichlet Series IIhttps://davidlowryduda.com/zeros-of-dirichlet-series-iiDavid Lowry-DudaThis post is larger than 10000 bytes, which is above the limit for this RSS feed. Perhaps it is long or has embedded images or code. Please view it directly at the url.https://davidlowryduda.com/zeros-of-dirichlet-series-iiMon, 24 Jan 2022 03:14:15 +0000