Source author record

Ethan Smith

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

ResearcherUnclaimed source record

math.NT quant-ph Emerging Technologies physics.comp-ph

Catalog footprint

Research overview

13works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Variable Dynamic Mode Decomposition for Estimating Time Eigenvalues in Nuclear Systems

We present a new approach to calculating time eigenvalues of the neutron transport operator (also known as $α$ eigenvalues) by extending the dynamic mode decomposition (DMD) to allow for non-uniform time steps. The new method, called variable dynamic mode decomposition (VDMD), is shown to be accurate when computing eigenvalues for systems that were infeasible with DMD due to a large separation in time scales (such as those that occur in delayed supercritical systems). The $α$ eigenvalues of an infinite medium neutron transport problem with delayed neutrons and consequently having multiple, very different relevant time scales are computed. Furthermore, VDMD is shown to be of similar accuracy to the original DMD approach when computing eigenvalues in other systems where the previously studied DMD approach can be used.

preprint2021arXiv

Constant-Depth Circuits for Dynamic Simulations of Materials on Quantum Computers

Dynamic simulation of materials is a promising application for near-term quantum computers. Current algorithms for Hamiltonian simulation, however, produce circuits that grow in depth with increasing simulation time, limiting feasible simulations to short-time dynamics. Here, we present a method for generating circuits that are constant in depth with increasing simulation time for a subset of one-dimensional materials Hamiltonians, thereby enabling simulations out to arbitrarily long times. Furthermore, by removing the effective limit on the number of feasibly simulatable time-steps, the constant-depth circuits enable Trotter error to be made negligibly small by allowing simulations to be broken into arbitrarily many time-steps. Composed of two-qubit matchgates on nearest-neighbor qubits, these constant-depth circuits are constructed based on a set of multi-matchgate identity relationships. For an $N$ -spin system, the constant-depth circuit contains only $\mathcal{O}(N^2)$ CNOT gates. When compared to standard Hamiltonian simulation algorithms, our method generates circuits with order-of-magnitude fewer gates, which allows us to successfully simulate the long-time dynamics of systems with up to 5 spins on available quantum hardware. This paves the way for simulations of long-time dynamics for scientifically and technologically relevant quantum materials, enabling the observation of interesting and important atomic-level physics.

preprint2021arXiv

LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach

While showing great promise, circuit synthesis techniques that combine numerical optimization with search over circuit structures face scalability challenges due to a large number of parameters, exponential search spaces, and complex objective functions. The LEAP algorithm improves scaling across these dimensions using iterative circuit synthesis, incremental re-optimization, dimensionality reduction, and improved numerical optimization. LEAP draws on the design of the optimal synthesis algorithm QSearch by extending it with an incremental approach to determine constant prefix solutions for a circuit. By narrowing the search space, LEAP improves scalability from four to six qubit circuits. LEAP was evaluated with known quantum circuits such as QFT and physical simulation circuits like the VQE, TFIM, and QITE. LEAP can compile four qubit unitaries up to $59\times$ faster than QSearch and five and six qubit unitaries with up to $1.2\times$ fewer CNOTs compared to the QFAST package. LEAP can reduce the CNOT count by up to $36\times$ , or $7\times$ on average, compared to the CQC Tket compiler. Despite its heuristics, LEAP has generated optimal circuits for many test cases with a priori known solutions. The techniques introduced by LEAP are applicable to other numerical-optimization-based synthesis approaches.

preprint2014arXiv

A Cohen-Lenstra phenomenon for elliptic curves

Given an elliptic curve $E$ and a finite Abelian group $G$ , we consider the problem of counting the number of primes $p$ for which the group of points modulo $p$ is isomorphic to $G$ . Under a certain conjecture concerning the distribution of primes in short intervals, we obtain an asymptotic formula for this problem on average over a family of elliptic curves.

preprint2014arXiv

Averages of the number of points on elliptic curves

If $E$ is an elliptic curve defined over $\mathbb Q$ and $p$ is a prime of good reduction for $E$ , let $E(\mathbb F_p)$ denote the set of points on the reduced curve modulo $p$ . Define an arithmetic function $M_E(N)$ by setting $M_E(N):= \#\{p: \#E(\mathbb F_p)= N\}$ . Recently, David and the third author studied the average of $M_E(N)$ over certain "boxes" of elliptic curves $E$ . Assuming a plausible conjecture about primes in short intervals, they showed the following: for odd $N$ , the average of $M_E(N)$ over a box with sufficiently large sides is $\sim \frac{K^{\ast}(N)}{\log{N}}$ for an explicitly-given function $K^{\ast}(N)$ . The function $K^{\ast}(N)$ is somewhat peculiar: defined as a product over the primes dividing $N$ , it resembles a multiplicative function at first glance. But further inspection reveals that it is not, and so one cannot directly investigate its properties by the usual tools of multiplicative number theory. In this paper, we overcome these difficulties and prove a number of statistical results about $K^{\ast}(N)$ . For example, we determine the mean value of $K^{\ast}(N)$ over all $N$ , odd $N$ and prime $N$ , and we show that $K^{\ast}(N)$ has a distribution function. We also explain how our results relate to existing theorems and conjectures on the multiplicative properties of $\# E(\mathbb F_p)$ , such as Koblitz's conjecture.

preprint2013arXiv

Abelian surfaces over finite fields with prescribed groups

Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing which groups of this shape actually arise as the group of points on some abelian surface over some finite field. For a fixed prime power q, a characterization of the abelian groups that occur was recently found by Rybakov. One can use this characterization to obtain a set of congruences modulo the integers $n_1, n_2, n_3, n_4$ on certain combinations of coefficients of the corresponding Weil polynomials. We use Rybakov's criterion to show that groups \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z do not occur if n_1 is very large with respect to n_2, n_2, n_4 (Theorem \ref{splitbound}), and occur with density zero in a wider range of the variables (Theorem \ref{splitbound-average}).

preprint2013arXiv

Average Frobenius distribution for the degree two primes of a number field

Let $K$ be a number field and $r$ an integer. Given an elliptic curve $E$ , defined over $K$ , we consider the problem of counting the number of degree two prime ideals of $K$ with trace of Frobenius equal to $r$ . Under certain restrictions on $K$ , we show that "on average" the number of such prime ideals with norm less than or equal to $x$ satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang-Trotter conjecture and extends the work of several authors.

preprint2012arXiv

A Barban-Davenport-Halberstam asymptotic for number fields

Let $K$ be a fixed number field, and assume that $K$ is Galois over $\qq$. Previously, the author showed that when estimating the number of prime ideals with norm congruent to $a$ modulo $q$ via the Chebotarëv Density Theorem, the mean square error in the approximation is small when averaging over all $q\le Q$ and all appropriate $a$ . In this article, we replace the upper bound by an asymptotic formula. The result is related to the classical Barban-Davenport-Halberstam Theorem in the case $K=\qq$.

preprint2012arXiv

A generalization of the Barban-Davenport-Halberstam Theorem to number fields

For a fixed number field $K$ , we consider the mean square error in estimating the number of primes with norm congruent to $a$ modulo $q$ by the Chebotarëv Density Theorem when averaging over all $q\le Q$ and all appropriate $a$ . Using a large sieve inequality, we obtain an upper bound similar to the Barban-Davenport-Halberstam Theorem.

preprint2012arXiv

A variant of the Barban-Davenport-Halberstam Theorem

Let $L/K$ be a Galois extension of number fields. The problem of counting the number of prime ideals $\mathfrak p$ of $K$ with fixed Frobenius class in $\mathrm{Gal}(L/K)$ and norm satisfying a congruence condition is considered. We show that the square of the error term arising from the Chebotarëv Density Theorem for this problem is small "on average." The result may be viewed as a variation on the classical Barban-Davenport-Halberstam Theorem.

preprint2012arXiv

Average Frobenius distribution for elliptic curves defined over finite Galois extensions of the rationals

Let $K$ be a fixed number field, assumed to be Galois over $\mathbb Q$ . Let $r$ and $f$ be fixed integers with $f$ positive. Given an elliptic curve $E$ , defined over $K$ , we consider the problem of counting the number of degree $f$ prime ideals of $K$ with trace of Frobenius equal to $r$ . Except in the case $f=2$ , we show that "on average," the number of such prime ideals with norm less than or equal to $x$ satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang-Trotter conjecture and extends the work of several authors.

preprint2012arXiv

Elliptic curves, modular forms, and sums of Hurwitz class numbers

Let H(N) denote the Hurwitz class number. It is known that if $p$ is a prime, then {equation*} \sum_{|r|<2\sqrt p}H(4p-r^2) = 2p. {equation*} In this paper, we investigate the behavior of this sum with the additional condition $r\equiv c\pmod m$ . Three different methods will be explored for determining the values of such sums. First, we will count isomorphism classes of elliptic curves over finite fields. Second, we will express the sums as coefficients of modular forms. Third, we will manipulate the Eichler-Selberg trace for ula for Hecke operators to obtain Hurwitz class number relations. The cases $m=2,3$ and 4 are treated in full. Partial results, as well as several conjectures, are given for $m=5$ and 7.

preprint2012arXiv

Finite field elements of high order arising from modular curves

In this paper, we recursively construct explicit elements of provably high order in finite fields. We do this using the recursive formulas developed by Elkies to describe explicit modular towers. In particular, we give two explicit constructions based on two examples of his formulas and demonstrate that the resulting elements have high order. Between the two constructions, we are able to generate high order elements in every characteristic. Despite the use of the modular recursions of Elkies, our methods are quite elementary and require no knowledge of modular curves. We compare our results to a recent result of Voloch. In order to do this, we state and prove a slightly more refined version of a special case of his result.

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.

Ethan Smith

Research overview

Is this your work?

13 publications

Variable Dynamic Mode Decomposition for Estimating Time Eigenvalues in Nuclear Systems

Constant-Depth Circuits for Dynamic Simulations of Materials on Quantum Computers

LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach

A Cohen-Lenstra phenomenon for elliptic curves

Averages of the number of points on elliptic curves

Abelian surfaces over finite fields with prescribed groups

Average Frobenius distribution for the degree two primes of a number field

A Barban-Davenport-Halberstam asymptotic for number fields

A generalization of the Barban-Davenport-Halberstam Theorem to number fields

A variant of the Barban-Davenport-Halberstam Theorem

Average Frobenius distribution for elliptic curves defined over finite Galois extensions of the rationals

Elliptic curves, modular forms, and sums of Hurwitz class numbers

Finite field elements of high order arising from modular curves

See the researcher in context

Building this map preview