Source author record

Steven Miller

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

hep-lat math.NT physics.optics quant-ph Software Engineering

Catalog footprint

Research overview

4works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Biases in Moments of Dirichlet Coefficients of Elliptic Curve Families

Elliptic curves arise in many important areas of modern number theory. One way to study them is take local data, the number of solutions modulo $p$ , and create an $L$ -function. The behavior of this global object is related to two of the seven Clay Millennial Problems: the Birch and Swinnerton-Dyer Conjecture and the Generalized Riemann Hypothesis. We study one-parameter families over $\mathbb{Q}(T)$ , which are of the form $y^2=x^3+A(T)x+B(T)$ , with non-constant $j$ -invariant. We define the r-th moment of an elliptic curve to be $A_{r,E}(p) := \frac1{p} \sum_{t \bmod p} a_t(p)^r$ , where $a_t(p)$ is $p$ minus the number of solutions to $y^2 = x^3 + A(t)x + B(t) \bmod p$ . Rosen and Silverman showed biases in the first moment equal the rank of the Mordell-Weil group of rational solutions. Michel proved that $pA_{2,E}(p)=p^2+O(p^{3/2})$ . Based on several special families where computations can be done in closed form, Miller in his thesis conjectured that the largest lower-order term in the second moment that does not average to $0$ is on average negative. He further showed that such a negative bias has implications in the distribution of zeros of the elliptic curve $L$ -function near the central point. To date, evidence for this conjecture is limited to special families. In addition to studying some additional families where the calculations can be done in closed form, we also systematically investigate families of various rank. These are the first general tests of the conjecture; while we cannot in general obtain closed form solutions, we discuss computations which support or contradict the conjecture. We then generalize to higher moments, and see evidence that the bias continues in the even moments.

preprint2015arXiv

Requirements Analysis of a Quad-Redundant Flight Control System

In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA's Transport Class Model (TCM). We use a compositional approach with assume-guarantee contracts that correspond to the requirements for software components embedded in an AADL system architecture model. This approach is designed to exploit the verification effort and artifacts that are already part of typical software verification processes in the avionics domain. Our approach is supported by an AADL annex that allows specification of contracts along with a tool, called AGREE, for performing compositional verification. The goal of this paper is to show the benefits of a compositional verification approach applied to a realistic avionics system and to demonstrate the effectiveness of the AGREE tool in performing this analysis.

preprint2015arXiv

Tunable Squeezing Using Coupled Ring Resonators on a Silicon Nitride Chip

We demonstrate continuous tuning of the squeezing level generated in a double-ring optical parametric oscillator by externally controlling the coupling condition using electrically controlled integrated microheaters. We accomplish this by utilizing the avoided crossing exhibited by a pair of coupled silicon nitride microring resonators. We directly detect a change in the squeezing level from 0.5 dB in the undercoupled regime to 2 dB in the overcoupled regime, which corresponds to a change in the generated on-chip squeezing factor from 0.9 dB to 3.9 dB. Such wide tunability in the squeezing level can be harnessed for on-chip quantum enhanced sensing protocols which require an optimal degree of squeezing.

preprint2005arXiv

Pseudoscalar singlet physics with staggered fermions

We report on progress in measuring disconnected correlators associated with pseudoscalar flavor-singlet mesons. This will eventually allow us to compute the masses of the eta and eta' mesons. Flavor-singlet physics also presents an interesting test of the staggered fermion formulation, as disconnected correlators are sensitive to whether the same action governs both sea quarks and valence quarks. It can also help test the validity of the ``fourth-root trick'' used in unquenched lattice calculations where the number of flavors $N_f<4$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.