Showing 101–150 of 550 results for author: Miller, S

Sums of Powers by L'Hopital's Rule

Authors: Eduardo Dueñez, Asimina S. Hamakiotes, Steven J. Miller

Abstract: For a positive integer $d$, let $p_d(n) := 0^d + 1^d + 2^d + \cdots + n^d$; i.e., $p_d(n)$ is the sum of the first $d^{\mathrm{th}}$-powers up to $n$. It's well known that $p_d(n)$ is a polynomial of degree $d+1$ in $n$. While this is usually proved by induction, once $d$ is not small it's a challenge as one needs to know the polynomial for the inductive step. We show how this difficulty can be by… ▽ More For a positive integer $d$, let $p_d(n) := 0^d + 1^d + 2^d + \cdots + n^d$; i.e., $p_d(n)$ is the sum of the first $d^{\mathrm{th}}$-powers up to $n$. It's well known that $p_d(n)$ is a polynomial of degree $d+1$ in $n$. While this is usually proved by induction, once $d$ is not small it's a challenge as one needs to know the polynomial for the inductive step. We show how this difficulty can be bypassed by giving a simple proof that $p_d(n)$ is a polynomial of degree $d+1$ in $n$ by using L'Hopital's rule, and show how we can then determine the coefficients by Cramer's rule. This illustrates a general principle and the point of our paper: there's more than one path to a goal, different approaches have their advantages and disadvantages, and the more techniques one knows, the more likely one can successfully attack a problem. △ Less

Submitted 5 August, 2024; v1 submitted 7 February, 2023; originally announced February 2023.

A Cluster Expansion Proof That The Stochastic Exponential Of A Brownian Motion Is A Martingale

Authors: Steven D Miller

Abstract: Let $ψ:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}$ be a smooth and continuous real function and $ψ\in\mathrm{L}^{2}(\mathbb{R}^{+})$. Let ${B}(t)$ be a standard Brownian motion defined with respect to a probability space $(Ω,\mathscr{F},{\mathsf{P}})$ and where $d{B}(t)=ξ(t)dt$ and $t\in\mathbb{R}^{+}$. The process $ξ(t)$ is a Gaussian white noise with expectation $\mathbf{\mathsf{E}}~ξ(t)=0$ and wit… ▽ More Let $ψ:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}$ be a smooth and continuous real function and $ψ\in\mathrm{L}^{2}(\mathbb{R}^{+})$. Let ${B}(t)$ be a standard Brownian motion defined with respect to a probability space $(Ω,\mathscr{F},{\mathsf{P}})$ and where $d{B}(t)=ξ(t)dt$ and $t\in\mathbb{R}^{+}$. The process $ξ(t)$ is a Gaussian white noise with expectation $\mathbf{\mathsf{E}}~ξ(t)=0$ and with covariance ${\mathsf{E}}~ξ(t)ξ(s)=δ(t-s)$. The Dolean-Dades stochastic exponential ${Z}(t)$ is the solution to the linear stochastic differential equation describing a geometric Brownian motion such that $d{Z}(t)=ψ(t){Z}(t)d{B}(t)=ψ(t){Z}(t)ξ(t)dt$. Using a cluster expansion method, and the moment and cumulant generating functions for $ξ(t)$, it is shown that ${Z}(t)$ is a martingale. The original Novikov criteria for ${Z}(t)$ being a true martingale are reproduced and exactly satisfied, namely that \begin{align} {\mathsf{E}}\mathrm{Z}(t)={\mathsf{E}}\exp\left(\int_{o}^{t}ψ(u)d{B}(u) -\frac{1}{2}\int_{0}^{t}|ψ(u)|^{2}du\right)=1\nonumber \end{align} provided that $\exp\big(\int_{0}^{t}|ψ(u)|^{2}du\big)<\infty$ for all $t>0$. However, ${\mathsf{E}}\big[|{Z}(t)|^{p}\big] =\exp(\tfrac{1}{2}p(p-1)φ(t))$, if $φ(t)=\int_{0}^{t}|ψ(u)|^{2}du$ is monotone increasing and is a submartingale for all $p>1$. △ Less

Submitted 7 February, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 8 Pages

A Stochastic Differential Equation For Laser Propagation In Medias With Random Gaussian Absorption Coefficients: A Modified Beer's Law Solution Via A Van Kampen Cluster Expansion

Authors: Steven D Miller

Abstract: Let $\mathbb{I\!D}=[0,\mathrm{L}]\subset\mathbb{R}^{+}$ be a slab geometry with boundaries $z=0$ and $z=\mathrm{L}$. A laser beam with a flat incident intensity $ψ_{o}$ enters the slab along the z-axis or unit vector $\widehat{\mathbf{e}}_{3}$ at $z=0$. The slab contains matter with an absorption coefficient of $\mathsf{A}$ with respect to the wavelength. If $\mathsf{A}$ is constant and homogenous… ▽ More Let $\mathbb{I\!D}=[0,\mathrm{L}]\subset\mathbb{R}^{+}$ be a slab geometry with boundaries $z=0$ and $z=\mathrm{L}$. A laser beam with a flat incident intensity $ψ_{o}$ enters the slab along the z-axis or unit vector $\widehat{\mathbf{e}}_{3}$ at $z=0$. The slab contains matter with an absorption coefficient of $\mathsf{A}$ with respect to the wavelength. If $\mathsf{A}$ is constant and homogenous then the beam decays as Beer's law $ψ(z,\widehat{\mathbf{e}}_{3})=ψ_{o}\exp(-\mathsf{A} z)$. If the absorption coefficient is randomly fluctuating in space as $\mathbf{A}(z)=\mathsf{A}(1+α\mathbf{G}(z))$--where $α>0$ determines the magnitude of the fluctuations, and the Gaussian random function has expectation $\mathbb{E}\lbrace \mathbf{G}(z)\rbrace =0$ and a binary correlation $\mathbb{E}\lbrace\mathbf{G}(z_{1})\otimes\mathbf{G}(z_{2})\rbrace=φ(z_{1},z_{2};ξ)={\mathsf{C}}\exp(-|z_{1}-z_{2}|^{2}ξ^{-2})$ for all $(z_{1},z_{2})\in\mathbb{I\!D}$ with correlation length $ξ$--then the beam propagation and attentuation within the medium is described by the stochastic differential equation \begin{equation} d\widehat{ψ(z,\widehat{\mathbf{e}}_{3})}=-\mathsf{A}\widehat{ψ(z,\mathbf{e}_{3})}dz-α\mathsf{A}\widehat{ψ(z,\mathbf{e}_{3})}\mathbf{G}(z)dz \end{equation} The stochastically averaged solution is derived via a Van Kampen-type cluster expansion, truncated at 2nd order for Gaussianality, giving a modified Beer's law \begin{equation} \mathbb{I}(z,\widehat{\mathbf{e}}_{3})=\mathbb{E}\big\lbrace\widehat{ψ(z,\widehat{\mathbf{e}}_{3})}\big\rbrace=ψ_{o}\exp(-\mathsf{A}z)\exp\bigg(\frac{1}{4}α^{2}\mathsf{A}^{2}{\mathsf{C}}ξ\bigg[\exp(-z^{2}/ξ^{2})\bigg(\sqrtπz Erf(\tfrac{z}ξ)\exp\bigg(\frac{z^{2}}{ξ^{2}}\bigg)+ξ\bigg)-ξ\bigg]\bigg) \end{equation} The deterministic Beer's law is recovered as $α\rightarrow 0 $. △ Less

Submitted 5 February, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 21 pages, 3 figures. arXiv admin note: text overlap with arXiv:2211.14925

Virus Dynamics on $k$-Level Starlike Graphs

Authors: Akihiro Takigawa, Steven J. Miller

Abstract: Becker, Greaves-Tunnell, Kontorovich, Miller, Ravikumar, and Shen determined the long term evolution of virus propagation behavior on a hub-and-spoke graph of one central node and $n$ neighbors, with edges only from the neighbors to the hub (a $2$-level starlike graph), under a variant of the discrete-time SIS (Suspectible Infected Suspectible) model. The behavior of this model is governed by the… ▽ More Becker, Greaves-Tunnell, Kontorovich, Miller, Ravikumar, and Shen determined the long term evolution of virus propagation behavior on a hub-and-spoke graph of one central node and $n$ neighbors, with edges only from the neighbors to the hub (a $2$-level starlike graph), under a variant of the discrete-time SIS (Suspectible Infected Suspectible) model. The behavior of this model is governed by the interactions between the infection and cure probabilities, along with the number $n$ of $2$-level nodes. They proved that for any $n$, there is a critical threshold relating these rates, below which the virus dies out, and above which the probabilistic dynamical system converges to a non-trivial steady state (the probability of infection for each category of node stabilizes). For $a$, the probability at any time step that an infected node is not cured, and $b$, the probability at any time step that an infected node infects its neighbors, the threshold for the virus to die out is $b \leq (1-a)/\sqrt{n}$. We extend this analysis to $k$-level starlike graphs for $k \geq 3$ (each $(k-1)$-level node has exactly $n_k$ neighbors, and the only edges added are from the $k$-level nodes) for infection rates above and below the critical threshold of $(1-a)/\sqrt{n_1+n_2+\dots+n_{k-1}}$. We do this by first analyzing the dynamics of nodes on each level of a $3$-level starlike graph, then show that the dynamics of the nodes of a $k$-level starlike graph are similar, enabling us to reduce our analysis to just $3$ levels, using the same methodology as the $3$-level case. △ Less

Submitted 15 December, 2022; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: Version 1.2: Adjusted title

Sums of Reciprocals of Recurrence Relations

Authors: Hao Cui, Xiaoyu Cui, Sophia C. Davis, Irfan Durmić, Qingcheng Hu, Lisa Liu, Steven J. Miller, Fengping Ren, Alicia Smith Reina, Eliel Sosis

Abstract: There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$;… ▽ More There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$; If $n$ is included in the summation, we have the cobalancing numbers, and $r$ is called the cobalancer of $n$). We generalize previous work to reciprocal sums of depth two recurrence sequences with arbitrary coefficients and the Tribonacci numbers, and show our method provides an alternative proof of some existing results. We define $(a,b)$ balancing and cobalancing numbers, where $a$ and $b$ are constants that multiply the left-hand side and right-hand side respectively, and derive recurrence relations describing these sequences. We show that for balancing numbers, the coefficients $(3,1)$ is unique such that every integer is a $(3,1)$ balancing number, and proved there does not exist an analogous set of coefficients for cobalancing numbers. We also found patterns for certain coefficients that have no balancing or cobalancing numbers. △ Less

Submitted 1 February, 2023; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: 31 pages, 2 figures, 3 tables

MSC Class: 11B39 (primary); 33C05 (secondary)

Winning Strategies for Generalized Zeckendorf Game

Authors: Steven J. Miller, Eliel Sosis, Jingkai Ye

Abstract: Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result holds for other positive linear recurrence sequences. These legal decompositions can be used to construct a game that starts with a fixed integer $n$, and players take turns using moves relating to a given recurrence relation. The game eventually terminates in a… ▽ More Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result holds for other positive linear recurrence sequences. These legal decompositions can be used to construct a game that starts with a fixed integer $n$, and players take turns using moves relating to a given recurrence relation. The game eventually terminates in a unique legal decomposition, and the player who makes the final move wins. For the Fibonacci game, Player $2$ has the winning strategy for all $n>2$. We give a non-constructive proof that for the two-player $(c, k)$-nacci game, for all $k$ and sufficiently large $n$, Player $1$ has a winning strategy when $c$ is even and Player $2$ has a winning strategy when $c$ is odd. Interestingly, the player with the winning strategy can make a mistake as early as the $c + 1$ turn, in which case the other player gains the winning strategy. Furthermore, we proved that for the $(c, k)$-nacci game with players $p \ge c + 2$, no player has a winning strategy for any $n \ge 3c^2 + 6c + 3$. We find a stricter lower boundary, $n \ge 7$, in the case of the three-player $(1, 2)$-nacci game. Then we extend the result from the multiplayer game to multialliance games, showing which alliance has a winning strategy or when no winning strategy exists for some special cases of multialliance games. △ Less

Submitted 27 November, 2022; originally announced November 2022.

Comments: 24 pages, 8 figures

MSC Class: 91A05; 91A06

A Turbulent Fluid Mechanics via Nonlinear 'Mixing' of Smooth Velocity Flows With Weighted Random Fields: Stochastically Averaged Navier-Stokes Equations and Velocity Correlations

Authors: Steven D Miller

Abstract: Let $\mathfrak{D}\subset\mathbb{R}^{3}$, with ${Vol}(\mathfrak{D})\sim L^{3}$, contain an incompressible fluid of viscosity $ν$ and velocity $\mathrm{U}_{i}(x,t)$ with $(x,t)\in\mathfrak{D}\times[0,\infty)$, satisfying the Navier-Stokes equations with some boundary conditions on $\partial\mathfrak{D}$ and evolving from initial Cauchy data. Now let $\mathscr{B}(x)$ be a Gaussian random field define… ▽ More Let $\mathfrak{D}\subset\mathbb{R}^{3}$, with ${Vol}(\mathfrak{D})\sim L^{3}$, contain an incompressible fluid of viscosity $ν$ and velocity $\mathrm{U}_{i}(x,t)$ with $(x,t)\in\mathfrak{D}\times[0,\infty)$, satisfying the Navier-Stokes equations with some boundary conditions on $\partial\mathfrak{D}$ and evolving from initial Cauchy data. Now let $\mathscr{B}(x)$ be a Gaussian random field defined for all $x\in\mathfrak{D}$ with expectation $\mathbb{I\!E}\langle\mathscr{B}(x)\rangle=0$, and a Bargmann-Fock binary correlation $\mathbb{I\!E}\big\langle\mathscr{B}(x)\otimes \mathscr{B}({y})\big\rangle=\mathsf{C}\exp(-\|{x}-{y}\|^{2}λ^{-2})$ with $λ\le {L}$. Define a volume-averaged Reynolds number $\mathbf{Re}(\mathfrak{D},t) =(|Vol(\mathfrak{D})|^{-1}\int_{\mathfrak{D}}\|\mathrm{U}_{i}(x,t)\|dμ({x}){L}/ν$. The critical Reynolds number is $\mathbf{Re}_{c}(\mathfrak{D})$ so that turbulence fully evolves within $\mathfrak{D}$ for $t$ such that $\mathbf{Re}(\mathfrak{D},t)>\mathbf{Re}_{c}(\mathfrak{D})$. Let $ψ(|\mathbf{Re}(\mathfrak{D},t)-\mathbf{Re}_{c}(\mathfrak{D})|)$ be an arbitrary monotone-increasing weighting functional. The turbulent flow evolving within $\mathfrak{D}$ is described by the random field $\mathscr{U}_{i}(x,t)$ via a 'mixing' ansatz $\mathscr{U}_{i}(x,t)=\mathrm{U}_{i}(x,t)+β\mathrm{U}_{i}(x,t) \big\lbraceψ(|\mathbf{Re}(\mathfrak{D},t)-\mathbf{Re}_{c}(\mathfrak{D})|)\big\rbrace \mathbb{I}_{\mathcal{S}}[\mathbf{Re}(\mathfrak{D},t)\big]\mathscr{B}(x)$ where $β\ge 1$ is a constant and $\mathbb{I}_{\mathcal{S}}[\mathbf{Re}(\mathfrak{D},t)]$ an indicator function. The flow grows increasingly random if $\mathbf{Re}(\mathfrak{D},t)$ increases with $t$ so that this is a 'control parameter'. The turbulent flow $\mathscr{U}_{i}(x,t)$ is a solution of stochastically averaged N-S equations. Reynolds-type velocity correlations are estimated. △ Less

Submitted 1 April, 2024; v1 submitted 27 November, 2022; originally announced November 2022.

Comments: 64 pages, 5 figures

Bounding the Order of Vanishing of Cuspidal Newforms via the nth Centered Moments

Authors: Sohom Dutta, Steven J. Miller

Abstract: Building on the work of Iwaniec, Luo and Sarnak, we use the $n$-level density to bound the probability of vanishing to order at least $r$ at the central point for families of cuspidal newforms of prime level $N \to \infty$, split by sign. There are three methods to improve bounds on the order of vanishing: optimizing the test functions, increasing the support, and increasing the $n$-level density… ▽ More Building on the work of Iwaniec, Luo and Sarnak, we use the $n$-level density to bound the probability of vanishing to order at least $r$ at the central point for families of cuspidal newforms of prime level $N \to \infty$, split by sign. There are three methods to improve bounds on the order of vanishing: optimizing the test functions, increasing the support, and increasing the $n$-level density studied. Previous work determined the optimal test functions for the $1$ and $2$-level densities in certain support ranges, leading to marginal improvements in bounds and making it not a productive avenue for further research. Similarly the support has been increased as far as possible, and further progress is shown to be related to delicate and difficult conjectures in number theory. Thus we concentrate on the third method, and study the higher centered moments (which are similar to the $n$-level densities but combinatorially easier). We find the level at each rank for which the bounds on the order of vanishing is the best, thus producing world-record bounds on the order of vanishing to rank at least $r$ for every $r > 2$ (for example, our bounds for vanishing to order at least 5 or at least 6 are less than half the previous bounds, a significant improvement). Additionally, we explicitly calculate the optimal test function for the $1$-level density from previous work and compare it to the naive test functions for higher levels. In doing so, we find that the optimal test function for certain levels are not the optimal for other levels, and some test functions may outperform others for some levels but not in others. Finally, we explicitly calculate the integrals needed to determine the bounds, doing so by transforming an $n$-dimensional integral to a $1$-dimensional integral and greatly reducing the computation cost in the process. △ Less

Submitted 10 December, 2022; v1 submitted 3 November, 2022; originally announced November 2022.

Review of foundational concepts and emerging directions in metamaterial research: Design, phenomena, and applications

Authors: Jade E. Holliman Jr, H. Todd Schaef, B. Peter McGrail, Quin R. S. Miller

Abstract: In the past two decades, artificial structures known as metamaterials have been found to exhibit extraordinary material properties that enable the unprecedented manipulation of electromagnetic waves, elastic waves, molecules, and particles. Phenomena such as negative refraction, bandgaps, near perfect wave absorption, wave focusing, negative Poissons ratio, negative thermal conductivity, etc., all… ▽ More In the past two decades, artificial structures known as metamaterials have been found to exhibit extraordinary material properties that enable the unprecedented manipulation of electromagnetic waves, elastic waves, molecules, and particles. Phenomena such as negative refraction, bandgaps, near perfect wave absorption, wave focusing, negative Poissons ratio, negative thermal conductivity, etc., all are possible with these materials. Metamaterials were originally theorized and fabricated in electrodynamics, but research into their applications has expanded into acoustics, thermodynamics, seismology, classical mechanics, and mass transport. In this Research Update we summarize the history, current state of progress, and emerging directions of metamaterials by field, focusing the unifying principles at the foundation of each discipline. We discuss the different designs and mechanisms behind metamaterials as well as the governing equations and effective material parameters for each field. Also, current and potential applications for metamaterials are discussed. Finally, we provide an outlook on future progress in the emerging field of metamaterials. △ Less

Submitted 6 November, 2022; originally announced November 2022.

Comments: 22 pages, 3 figures, 1 table

Generalizing the German Tank Problem

Authors: Anthony Lee, Steven J. Miller

Abstract: The German Tank Problem dates back to World War II when the Allies used a statistical approach to estimate the number of enemy tanks produced or on the field from observed serial numbers after battles. Assuming that the tanks are labeled consecutively starting from 1, if we observe $k$ tanks from a total of $N$ tanks with the maximum observed tank being $m$, then the best estimate for $N$ is… ▽ More The German Tank Problem dates back to World War II when the Allies used a statistical approach to estimate the number of enemy tanks produced or on the field from observed serial numbers after battles. Assuming that the tanks are labeled consecutively starting from 1, if we observe $k$ tanks from a total of $N$ tanks with the maximum observed tank being $m$, then the best estimate for $N$ is $m(1 + 1/k) - 1$. We explore many generalizations. We looked at the discrete and continuous one dimensional case. We explored different estimators such as the $L$\textsuperscript{th} largest tank, and applied motivation from portfolio theory and studied a weighted average; however, the original formula was the best. We generalized the problem in two dimensions, with pairs instead of points, studying the discrete and continuous square and circle variants. There were complications from curvature issues and that not every number is representable as a sum of two squares. We often concentrated on the large $N$ limit. For the discrete and continuous square, we tested various statistics, finding the largest observed component did best; the scaling factor for both cases is $(2k+1)/2k$. The discrete case was especially involved because we had to use approximation formulas that gave us the number of lattice points inside the circle. Interestingly, the scaling factors were different for the cases. Lastly, we generalized the problem into $L$ dimensional squares and circles. The discrete and continuous square proved similar to the two dimensional square problem. However, for the $L$\textsuperscript{th} dimensional circle, we had to use formulas for the volume of the $L$-ball, and had to approximate the number of lattice points inside it. The formulas for the discrete circle were particularly interesting, as there was no $L$ dependence in the formula. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: Version 1.0, 47 pages

MSC Class: 62J05; 60C05 (primary); 05A10 (secondary)

Towards the Gaussianity of Random Zeckendorf Games

Authors: Justin Cheigh, Guilherme Zeus Dantas e Moura, Ryan Jeong, Jacob Lehmann Duke, Wyatt Milgrim, Steven J. Miller, Prakod Ngamlamai

Abstract: Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no po… ▽ More Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no possible moves remain, and the final player to perform a move wins. Notably, studied the setting of random games: the game proceeds by choosing an available move uniformly at random, and they conjecture that as the input $N \to \infty$, the distribution of random game lengths converges to a Gaussian. We prove that certain sums of move counts is constant, and find a lower bound on the number of shortest games on input $N$ involving the Catalan numbers. The works Baird et al. and Cuzensa et al. determined how to achieve a shortest and longest possible Zeckendorf game on a given input $N$, respectively: we establish that for any input $N$, the range of possible game lengths constitutes an interval of natural numbers: every game length between the shortest and longest game lengths can be achieved. We further the study of probabilistic aspects of random Zeckendorf games. We study two probability measures on the space of all Zeckendorf games on input $N$: the uniform measure, and the measure induced by choosing moves uniformly at random at any given position. Under both measures that in the limit $N \to \infty$, both players win with probability $1/2$. We also find natural partitions of the collection of all Zeckendorf games of a fixed input $N$, on which we observe weak convergence to a Gaussian in the limit $N \to \infty$. We conclude the work with many open problems. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 29 pages

Recurrence Relations for $S$-Legal Index Difference Sequences

Authors: Guilherme Zeus Dantas e Moura, Andrew Keisling, Astrid Lilly, Annika Mauro, Steven J. Miller, Matthew Phang, Santiago Velazquez Iannuzzelli

Abstract: Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the… ▽ More Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the smallest positive integer that cannot be expressed as the sum of non-adjacent previous terms. This adjacency is essentially captured in the differences of the indices of each square: the $i$-th and $j$-th squares are adjacent if and only if $|i - j| \in \{1, 3, 4\}$ or $\{i, j\} = \{1, 3\}$. We consider a generalization of this construction: given a set of positive integers $S$, the $S$-legal index difference ($S$-LID) sequence $(a_n)_{n=1}^\infty$ is defined by letting $a_n$ to be the smallest positive integer that cannot be written as $\sum_{\ell \in L} a_\ell$ for some set $L \subset [n-1]$ with $|i - j| \notin S$ for all $i, j \in L$. We discuss our results governing the growth of $S$-LID sequences, as well as results proving that many families of sets $S$ yield $S$-LID sequences which follow simple recurrence relations. △ Less

Submitted 27 August, 2023; v1 submitted 19 October, 2022; originally announced October 2022.

Comments: 18 pages, 4 figures

MSC Class: 11B39; 65Q30

Journal ref: Fibonacci Quarterly 61.3 (2023)

VC-Dimension and Distance Chains in $\mathbb{F}_q^d$

Authors: Ruben Ascoli, Livia Betti, Justin Cheigh, Alex Iosevich, Ryan Jeong, Xuyan Liu, Brian McDonald, Wyatt Milgrim, Steven J. Miller, Francisco Romero Acosta, Santiago Velazquez Iannuzzelli

Abstract: Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied… ▽ More Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions $\mathcal{H}_t^{'2}(E): \mathbb{F}_q^2\to \{0,1\}$, corresponding to indicator functions of circles centered at points in a subset $E\subseteq \mathbb{F}_q^2$. They showed that when $|E|$ is large enough, the VC-dimension of $\mathcal{H}_t^{'2}(E)$ is the same as in the case that $E = \mathbb F_q^2$. We study a related hypothesis class, $\mathcal{H}_t^d(E)$, corresponding to intersections of spheres in $\mathbb{F}_q^d$, and ask how large $E\subseteq \mathbb{F}_q^d$ needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever $|E|\geq C_dq^{d-1/(d-1)}$ for $d\geq 3$, the VC-dimension of $\mathcal{H}_t^d(E)$ is as large as possible. We get a slightly stronger result if $d=3$: this result holds as long as $|E|\geq C_3 q^{7/3}$. Furthermore, when $d=2$ the result holds when $|E|\geq C_2 q^{7/4}$. △ Less

Submitted 19 July, 2023; v1 submitted 6 October, 2022; originally announced October 2022.

Comments: 12 pages, 1 figure

Sum and Difference Sets in Generalized Dihedral Groups

Authors: Ruben Ascoli, Justin Cheigh, Guilherme Zeus Dantas e Moura, Ryan Jeong, Andrew Keisling, Astrid Lilly, Steven J. Miller, Prakod Ngamlamai, Matthew Phang

Abstract: Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets. The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ an… ▽ More Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets. The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ and proved that almost all subsets $A\subseteq G$ are sum-difference balanced as $|G|\to\infty$. For the dihedral group $D_{2n}$, they conjectured that of the remaining sets, most are MSTD, i.e., there are more MSTD sets than MDTS sets. Some progress on this conjecture was made by Haviland et al. in 2020, when they introduced the idea of partitioning the subsets by size: if, for each $m$, there are more MSTD subsets of $D_{2n}$ of size $m$ than MDTS subsets of size $m$, then the conjecture follows. We extend the conjecture to generalized dihedral groups $D=\mathbb{Z}_2\ltimes G$, where $G$ is an abelian group of size $n$ and the nonidentity element of $\mathbb{Z}_2$ acts by inversion. We make further progress on the conjecture by considering subsets with a fixed number of rotations and reflections. By bounding the expected number of overlapping sums, we show that the collection $\mathcal S_{D,m}$ of subsets of the generalized dihedral group $D$ of size $m$ has more MSTD sets than MDTS sets when $6\le m\le c_j\sqrt{n}$ for $c_j=1.3229/\sqrt{111+5j}$, where $j$ is the number of elements in $G$ with order at most $2$. We also analyze the expectation for $|A+A|$ and $|A-A|$ for $A\subseteq D_{2n}$, proving an explicit formula for $|A-A|$ when $n$ is prime. △ Less

Submitted 2 October, 2022; originally announced October 2022.

Comments: 22 pages, 1 figure

MSC Class: 11P99; 05B10

Linear recurrences of order at most two in nontrivial small divisors and large divisors

Authors: Hung Viet Chu, Kevin Huu Le, Steven J. Miller, Yuan Qiu, Liyang Shen

Abstract: For each positive integer $N$, define $$S'_N \ =\ \{1 < d < \sqrt{N}: d|N\}\mbox{ and }L'_N \ =\ \{\sqrt{N} < d < N : d|N\}.$$ Recently, Chentouf characterized all positive integers $N$ such that the set of small divisors $\{d\le \sqrt{N}: d|N\}$ satisfies a linear recurrence of order at most two. We nontrivially extend the result by excluding the trivial divisor $1$ from consideration, which dram… ▽ More For each positive integer $N$, define $$S'_N \ =\ \{1 < d < \sqrt{N}: d|N\}\mbox{ and }L'_N \ =\ \{\sqrt{N} < d < N : d|N\}.$$ Recently, Chentouf characterized all positive integers $N$ such that the set of small divisors $\{d\le \sqrt{N}: d|N\}$ satisfies a linear recurrence of order at most two. We nontrivially extend the result by excluding the trivial divisor $1$ from consideration, which dramatically increases the analysis complexity. Our first result characterizes all positive integers $N$ such that $S'_N$ satisfies a linear recurrence of order at most two. Moreover, our second result characterizes all positive $N$ such that $L'_N$ satisfies a linear recurrence of order at most two, thus extending considerably a recent result that characterizes $N$ with $L'_N$ being in an arithmetic progression. △ Less

Submitted 1 October, 2022; originally announced October 2022.

The $D^6 R^4$ interaction as a Poincaré series, and a related shifted convolution sum

Authors: Kim Klinger-Logan, Stephen D. Miller, Danylo Radchenko

Abstract: We complete the program, initiated in a 2015 paper of Green, Miller, and Vanhove, of directly constructing the automorphic solution to the string theory $D^6 R^4$ differential equation $(Δ-12)f=-E_{3/2}^2$ for $SL(2,\Z)$. The construction is via a type of Poincaré series, and requires explicitly evaluating a particular double integral. We also show how to use double Dirichlet series to formally de… ▽ More We complete the program, initiated in a 2015 paper of Green, Miller, and Vanhove, of directly constructing the automorphic solution to the string theory $D^6 R^4$ differential equation $(Δ-12)f=-E_{3/2}^2$ for $SL(2,\Z)$. The construction is via a type of Poincaré series, and requires explicitly evaluating a particular double integral. We also show how to use double Dirichlet series to formally derive the predicted vanishing of one type of term appearing in $f$'s Fourier expansion, confirming a conjecture made by Chester, Green, Pufu, Wang, and Wen motivated by Yang-Mills theory (and later proved rigorously by Fedosova, Klinger-Logan, and Radchenko using the Gross-Zagier Holomorphic Projection Lemma.). △ Less

Submitted 24 March, 2025; v1 submitted 30 September, 2022; originally announced October 2022.

Partial annotations for the segmentation of large structures with low annotation cost

Authors: Bella Specktor Fadida, Daphna Link Sourani, Liat Ben Sira Elka Miller, Dafna Ben Bashat, Leo Joskowicz

Abstract: Deep learning methods have been shown to be effective for the automatic segmentation of structures and pathologies in medical imaging. However, they require large annotated datasets, whose manual segmentation is a tedious and time-consuming task, especially for large structures. We present a new method of partial annotations that uses a small set of consecutive annotated slices from each scan with… ▽ More Deep learning methods have been shown to be effective for the automatic segmentation of structures and pathologies in medical imaging. However, they require large annotated datasets, whose manual segmentation is a tedious and time-consuming task, especially for large structures. We present a new method of partial annotations that uses a small set of consecutive annotated slices from each scan with an annotation effort that is equal to that of only few annotated cases. The training with partial annotations is performed by using only annotated blocks, incorporating information about slices outside the structure of interest and modifying a batch loss function to consider only the annotated slices. To facilitate training in a low data regime, we use a two-step optimization process. We tested the method with the popular soft Dice loss for the fetal body segmentation task in two MRI sequences, TRUFI and FIESTA, and compared full annotation regime to partial annotations with a similar annotation effort. For TRUFI data, the use of partial annotations yielded slightly better performance on average compared to full annotations with an increase in Dice score from 0.936 to 0.942, and a substantial decrease in Standard Deviations (STD) of Dice score by 22% and Average Symmetric Surface Distance (ASSD) by 15%. For the FIESTA sequence, partial annotations also yielded a decrease in STD of the Dice score and ASSD metrics by 27.5% and 33% respectively for in-distribution data, and a substantial improvement also in average performance on out-of-distribution data, increasing Dice score from 0.84 to 0.9 and decreasing ASSD from 7.46 to 4.01 mm. The two-step optimization process was helpful for partial annotations for both in-distribution and out-of-distribution data. The partial annotations method with the two-step optimizer is therefore recommended to improve segmentation performance under low data regime. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: 10 pages, 4 figures

Journal ref: Medical Image Learning with Limited and Noisy Data. MILLanD 2022. Lecture Notes in Computer Science, vol 13559. Springer, Cham

Posterior predictive distributions of neutron-deuteron cross sections

Authors: Sean B. S. Miller, Andreas Ekström, Christian Forssén

Abstract: We quantify the posterior predictive distributions (PPDs) of elastic neutron-deuteron ($nd$) scattering cross sections using nucleon-nucleon ($NN$) interactions from chiral effective field theory ($χ$EFT) up to and including next-to-next-to-next-to-leading order (N$^3$LO). These PPDs quantify the spread in $nd$ predictions due to the variability of the low-energy constants (LECs) inferred from… ▽ More We quantify the posterior predictive distributions (PPDs) of elastic neutron-deuteron ($nd$) scattering cross sections using nucleon-nucleon ($NN$) interactions from chiral effective field theory ($χ$EFT) up to and including next-to-next-to-next-to-leading order (N$^3$LO). These PPDs quantify the spread in $nd$ predictions due to the variability of the low-energy constants (LECs) inferred from $NN$ scattering data. We use the wave-packet continuum discretization method to solve the Alt-Grassberger-Sandhas form of the Faddeev equations for elastic scattering. We draw 100 samples from the PPDs of $nd$ cross sections up to 67 MeV in scattering energy, i.e., in the energy region where the effects of three-nucleon forces are expected to be small. We find that the uncertainty about $NN$ LECs inferred from $NN$ scattering data, when assuming uncorrelated errors, does not translate to significant uncertainty in the low-energy $nd$ continuum. Based on our estimates, the uncertainty of $nd$ predictions are dominated by the $χ$EFT truncation error, at least below N$^3$LO. At this order, the 90% credible interval of the PPD and the truncation error are comparable, although both are very small on an absolute scale. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Comments: 10 pages, 6 figures

Distinct Angles and Angle Chains in Three Dimensions

Authors: Ruben Ascoli, Livia Betti, Jacob Lehmann Duke, Xuyan Liu, Wyatt Milgrim, Steven J. Miller, Eyvindur A. Palsson, Francisco Romero Acosta, Santiago Velazquez Iannuzzelli

Abstract: In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to fi… ▽ More In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to find point configurations in the plane that minimize the number of distinct angles. In their recent paper "Distinct Angles in General Position," Fleischmann, Konyagin, Miller, Palsson, Pesikoff, and Wolf use a logarithmic spiral to establish an upper bound of $O(n^2)$ on the minimum number of distinct angles in the plane in general position, which prohibits three points on any line or four on any circle. We consider the question of distinct angles in three dimensions and provide bounds on the minimum number of distinct angles in general position in this setting. We focus on pinned variants of the question, and we examine explicit constructions of point configurations in $\mathbb{R}^3$ which use self-similarity to minimize the number of distinct angles. Furthermore, we study a variant of the distinct angles question regarding distinct angle chains and provide bounds on the minimum number of distinct chains in $\mathbb{R}^2$ and $\mathbb{R}^3$. △ Less

Submitted 19 February, 2023; v1 submitted 28 August, 2022; originally announced August 2022.

Comments: 16 pages, 7 figures

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (February 27, 2023) dmtcs:10037

On the moments of one-level densities in families of holomorphic cusp forms in the level aspect

Authors: Peter Cohen, Justine Dell, Oscar E. González, Simran Khunger, Chung-Hang Kwan, Steven J. Miller, Alexander Shashkov, Alicia Smith Reina, Carsten Sprunger, Nicholas Triantafillou, Nhi Truong, Roger Van Peski, Stephen Willis

Abstract: We study the $n^{\rm th}$ centered moments of the $1$-level density for the low-lying zeros of $L$-functions attached to holomorphic cuspidal newforms of large prime level and fixed weight. Assuming the Generalized Riemann Hypotheses, we compute this statistic for any $n\ge 1$ and for all test functions whose Fourier transforms are supported in $\left(-2/n, \, 2/n\right)$. This is believed to be t… ▽ More We study the $n^{\rm th}$ centered moments of the $1$-level density for the low-lying zeros of $L$-functions attached to holomorphic cuspidal newforms of large prime level and fixed weight. Assuming the Generalized Riemann Hypotheses, we compute this statistic for any $n\ge 1$ and for all test functions whose Fourier transforms are supported in $\left(-2/n, \, 2/n\right)$. This is believed to be the natural limit of the current technology. Our work significantly extends beyond the trivial range $(-1/n, \, 1/n)$ and surpasses the previous record of $(-1/(n-1),\, 1/(n-1))$ whenever $n>2$. The Katz-Sarnak philosophy predicts that the aforementioned statistic can be modeled by the corresponding statistic for the eigenvalues of random orthogonal matrices. We prove that this is the case for test functions with Fourier support contained in $(-2/n,\, 2/n)$. The main technical innovation is a tractable vantage to evaluate the combinatorial zoo of terms, similar to the work of Conrey-Snaith and Mason-Snaith. As an application, our work provides better bounds on the order of vanishing at the central point for the $L$-functions in our family. △ Less

Submitted 28 March, 2025; v1 submitted 27 July, 2022; originally announced August 2022.

Comments: 58 pages. Revised version, to appear in Algebra & Number Theory

Deep Learning Reveals Patterns of Diverse and Changing Sentiments Towards COVID-19 Vaccines Based on 11 Million Tweets

Authors: Hanyin Wang, Meghan R. Hutch, Yikuan Li, Adrienne S. Kline, Sebastian Otero, Leena B. Mithal, Emily S. Miller, Andrew Naidech, Yuan Luo

Abstract: Over 12 billion doses of COVID-19 vaccines have been administered at the time of writing. However, public perceptions of vaccines have been complex. We analyzed COVID-19 vaccine-related tweets to understand the evolving perceptions of COVID-19 vaccines. We finetuned a deep learning classifier using a state-of-the-art model, XLNet, to detect each tweet's sentiment automatically. We employed validat… ▽ More Over 12 billion doses of COVID-19 vaccines have been administered at the time of writing. However, public perceptions of vaccines have been complex. We analyzed COVID-19 vaccine-related tweets to understand the evolving perceptions of COVID-19 vaccines. We finetuned a deep learning classifier using a state-of-the-art model, XLNet, to detect each tweet's sentiment automatically. We employed validated methods to extract the users' race or ethnicity, gender, age, and geographical locations from user profiles. Incorporating multiple data sources, we assessed the sentiment patterns among subpopulations and juxtaposed them against vaccine uptake data to unravel their interactive patterns. 11,211,672 COVID-19 vaccine-related tweets corresponding to 2,203,681 users over two years were analyzed. The finetuned model for sentiment classification yielded an accuracy of 0.92 on testing set. Users from various demographic groups demonstrated distinct patterns in sentiments towards COVID-19 vaccines. User sentiments became more positive over time, upon which we observed subsequent upswing in the population-level vaccine uptake. Surrounding dates where positive sentiments crest, we detected encouraging news or events regarding vaccine development and distribution. Positive sentiments in pregnancy-related tweets demonstrated a delayed pattern compared with trends in general population, with postponed vaccine uptake trends. Distinctive patterns across subpopulations suggest the need of tailored strategies. Global news and events profoundly involved in shaping users' thoughts on social media. Populations with additional concerns, such as pregnancy, demonstrated more substantial hesitancy since lack of timely recommendations. Feature analysis revealed hesitancies of various subpopulations stemmed from clinical trial logics, risks and complications, and urgency of scientific evidence. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Nanomechanical vibrational response from electrical mixing measurements

Authors: C. Samanta, D. A. Czaplewski, S. L. De Bonis, C. B. Moller, R. Tormo Queralt, C. S. Miller, Y. Jin, F. Pistolesi, A. Bachtold

Abstract: Driven nanomechanical resonators based on low-dimensional materials are routinely and efficiently detected with electrical mixing measurements. However, the measured signal is a non-trivial combination of the mechanical eigenmode displacement and an electrical contribution, which makes the extraction of the driven mechanical response challenging. Here, we report a simple yet reliable method to ext… ▽ More Driven nanomechanical resonators based on low-dimensional materials are routinely and efficiently detected with electrical mixing measurements. However, the measured signal is a non-trivial combination of the mechanical eigenmode displacement and an electrical contribution, which makes the extraction of the driven mechanical response challenging. Here, we report a simple yet reliable method to extract solely the driven mechanical vibrations by eliminating the contribution of pure electrical origin. This enables us to measure the spectral mechanical response as well as the driven quadratures of motion. We further show how to calibrate the measured signal into units of displacement. Additionally, we utilize the pure electrical contribution to directly determine the effective mass of the measured mechanical mode. Our method marks a key step forward in the study of nanoelectromechanical resonators based on low-dimensional materials in both the linear and the nonlinear regime. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Journal ref: Appl. Phys. Lett. 123, 203502 (2023)

Hybrid Projection Methods for Solution Decomposition in Large-scale Bayesian Inverse Problems

Authors: Julianne Chung, Jiahua Jiang, Scot M. Miller, Arvind K. Saibaba

Abstract: We develop hybrid projection methods for computing solutions to large-scale inverse problems, where the solution represents a sum of different stochastic components. Such scenarios arise in many imaging applications (e.g., anomaly detection in atmospheric emissions tomography) where the reconstructed solution can be represented as a combination of two or more components and each component contains… ▽ More We develop hybrid projection methods for computing solutions to large-scale inverse problems, where the solution represents a sum of different stochastic components. Such scenarios arise in many imaging applications (e.g., anomaly detection in atmospheric emissions tomography) where the reconstructed solution can be represented as a combination of two or more components and each component contains different smoothness or stochastic properties. In a deterministic inversion or inverse modeling framework, these assumptions correspond to different regularization terms for each solution in the sum. Although various prior assumptions can be included in our framework, we focus on the scenario where the solution is a sum of a sparse solution and a smooth solution. For computing solution estimates, we develop hybrid projection methods for solution decomposition that are based on a combined flexible and generalized Golub-Kahan processes. This approach integrates techniques from the generalized Golub-Kahan bidiagonalization and the flexible Krylov methods. The benefits of the proposed methods are that the decomposition of the solution can be done iteratively, and the regularization terms and regularization parameters are adaptively chosen at each iteration. Numerical results from photoacoustic tomography and atmospheric inverse modeling demonstrate the potential for these methods to be used for anomaly detection. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Distinct Angles in General Position

Authors: Henry L. Fleischmann, Sergei V. Konyagin, Steven J. Miller, Eyvindur A. Palsson, Ethan Pesikoff, Charles Wolf

Abstract: The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Somewhat less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. Recent work has introduced bounds on a wide array of variants of this problem, inspired by similar variants in the distance setting. In this short no… ▽ More The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Somewhat less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. Recent work has introduced bounds on a wide array of variants of this problem, inspired by similar variants in the distance setting. In this short note, we improve the best known upper bound for the minimum number of distinct angles formed by $n$ points in general position from $O(n^{\log_2(7)})$ to $O(n^2)$. Before this work, similar bounds relied on projections onto a generic plane from higher dimensional space. In this paper, we employ the geometric properties of a logarithmic spiral, sidestepping the need for a projection. We also apply this configuration to reduce the upper bound on the largest integer such that any set of $n$ points in general position has a subset of that size with all distinct angles. This bound is decreased from $O(n^{\log_2(7)/3})$ to $O(n^{1/2})$. △ Less

Submitted 13 June, 2022; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: Former Corollary 4.1 upgraded to Theorem 1.2 with improved bounds

MSC Class: 52C10

On Benford's Law and the Coefficients of the Riemann Mapping Function for the Exterior of the Mandelbrot Set

Authors: Filippo Beretta, Jesse Dimino, Weike Fang, Thomas C. Martinez, Steven J. Miller, Daniel Stoll

Abstract: We investigate Benford's law in relation to fractal geometry. Basic fractals, such as the Cantor set and Sierpinski triangle are obtained as the limit of iterative sets, and the unique measures of their components follow a geometric distribution, which is Benford in most bases. Building on this intuition, we aim to study this distribution in more complicated fractals. We examine the Laurent coeffi… ▽ More We investigate Benford's law in relation to fractal geometry. Basic fractals, such as the Cantor set and Sierpinski triangle are obtained as the limit of iterative sets, and the unique measures of their components follow a geometric distribution, which is Benford in most bases. Building on this intuition, we aim to study this distribution in more complicated fractals. We examine the Laurent coefficients of a Riemann mapping and the Taylor coefficients of its reciprocal function from the exterior of the Mandelbrot set to the complement of the unit disk. These coefficients are 2-adic rational numbers, and through statistical testing, we demonstrate that the numerators and denominators are a good fit for Benford's law. We offer additional conjectures and observations about these coefficients. In particular, we highlight certain arithmetic subsequences related to the coefficients' denominators, provide an estimate for their slope, and describe efficient methods to compute them. △ Less

Submitted 11 February, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: Updated to fix typographical errors and improve readability. Updated graphs and explanations to make them more concise and readable, and reworded interpretations of testing to make them more appropriate. Results remain unchanged from the version submitted to Fractal and Fractional for publication

MSC Class: 30B10; 30C20; 62P99 (primary); 62-08; 68Q25 (secondary)

Journal ref: Fractal and Fractional, 2022, Volume 6, Issue 10, Page 534

No evidence that the majority of black holes in binaries have zero spin

Authors: Thomas A. Callister, Simona J. Miller, Katerina Chatziioannou, Will M. Farr

Abstract: The spin properties of merging black holes observed with gravitational waves can offer novel information about the origin of these systems. The magnitude and orientations of black hole spins offer a record of binaries' evolutionary history, encoding information about massive stellar evolution and the astrophysical environments in which binary black holes are assembled. Recent analyses of the binar… ▽ More The spin properties of merging black holes observed with gravitational waves can offer novel information about the origin of these systems. The magnitude and orientations of black hole spins offer a record of binaries' evolutionary history, encoding information about massive stellar evolution and the astrophysical environments in which binary black holes are assembled. Recent analyses of the binary black hole population have yielded conflicting portraits of the black hole spin distribution. Some work suggests that black hole spins are small but non-zero and exhibit a wide range of misalignment angles relative to binaries' orbital angular momenta. Other work concludes that the majority of black holes are non-spinning while the remainder are rapidly rotating and primarily aligned with their orbits. We revisit these conflicting conclusions, employing a variety of complementary methods to measure the distribution of spin magnitudes and orientations among binary black hole mergers. We find that the existence of a sub-population of black hole with vanishing spins is not required by current data. Should such a sub-population exist, we conclude that it must contain $\lesssim 60\%$ of binaries. Additionally, we find evidence for significant spin-orbit misalignment among the binary black hole population, with some systems exhibiting misalignment angles greater than $90^{\circ}$, and see no evidence for an approximately spin-aligned sub-population. △ Less

Submitted 3 October, 2022; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: Matches published version. v2 contains new appendix presenting predictive checks of population models

Journal ref: Astrophys. J. Lett. 937, L13 (2022)

A Robust, Performance-Portable Discontinuous Galerkin Method for Relativistic Hydrodynamics

Authors: Forrest W. Glines, Kristian R. C. Beckwith, Joshua R. Braun, Eric C. Cyr, Curtis C. Ober, Matthew Bettencourt, Keith L. Cartwright, Sidafa Conde, Sean T. Miller, Nicholas Roberds, Nathan V. Roberts, Matthew S. Swan, Roger Pawlowski

Abstract: In this work, we present a discontinuous-Galerkin method for evolving relativistic hydrodynamics. We include an exploration of analytical and iterative methods to recover the primitive variables from the conserved variables for the ideal equation of state and the Taub-Matthews approximation to the Synge equation of state. We also present a new operator for enforcing a physically permissible conser… ▽ More In this work, we present a discontinuous-Galerkin method for evolving relativistic hydrodynamics. We include an exploration of analytical and iterative methods to recover the primitive variables from the conserved variables for the ideal equation of state and the Taub-Matthews approximation to the Synge equation of state. We also present a new operator for enforcing a physically permissible conserved state at all basis points within an element while preserving the volume average of the conserved state. We implement this method using the Kokkos performance-portability library to enable running at performance on both CPUs and GPUs. We use this method to explore the relativistic Kelvin- Helmholtz instability compared to a finite volume method. Last, we explore the performance of our implementation on CPUs and GPUs. △ Less

Submitted 29 April, 2022; originally announced May 2022.

Walking to Infinity on the Fibonacci Sequence

Authors: Steven J. Miller, Fei Peng, Tudor Popescu, Nawapan Wattanawanichkul

Abstract: An interesting open problem in number theory asks whether it is possible to walk to infinity on primes, where each term in the sequence has one more digit than the previous. In this paper, we study its variation where we walk on the Fibonacci sequence. We prove that all walks starting with a Fibonacci number and the following terms are Fibonacci numbers obtained by appending exactly one digit at a… ▽ More An interesting open problem in number theory asks whether it is possible to walk to infinity on primes, where each term in the sequence has one more digit than the previous. In this paper, we study its variation where we walk on the Fibonacci sequence. We prove that all walks starting with a Fibonacci number and the following terms are Fibonacci numbers obtained by appending exactly one digit at a time to the right have a length of at most two. In the more general case where we append at most a bounded number of digits each time, we give a formula for the length of the longest walk. △ Less

Submitted 29 August, 2022; v1 submitted 17 April, 2022; originally announced April 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2010.14932

MSC Class: 11B39

Class Numbers and Pell's Equation $x^2 + 105y^2 = z^2$

Authors: Thomas Jaklitsch, Thomas C. Martinez, Steven J. Miller, Sagnik Mukherjee

Abstract: Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves, for the first we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently, Yekutieli discussed a connection between these two problems, and described the group structure of Pythagorean triples and the num… ▽ More Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves, for the first we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently, Yekutieli discussed a connection between these two problems, and described the group structure of Pythagorean triples and the number of triples for a given hypotenuse. In arXiv:2112.03663 we generalized these methods and results to Pell's equation. We find a similar group structure and count on the number of solutions for a given $z$ to $x^2 + Dy^2 = z^2$ when $D$ is 1 or 2 modulo 4 and the class group of $\mathbb{Q}[\sqrt{-D}]$ is a free $\mathbb{Z}_2$ module, which always happens if the class number is at most 2. In this paper, we discuss the main results of arXiv:2112.03663 using some concrete examples in the case of $D=105$. △ Less

Submitted 30 March, 2022; originally announced March 2022.

Comments: 15 pages, 5 tables

MSC Class: 11D09; 11R29

Bounding Vanishing at the Central Point of Cuspidal Newforms

Authors: Jiahui Li, Steven J. Miller

Abstract: The Katz-Sarnak Density Conjecture states that zeros of families of $L$-functions are well-modeled by eigenvalues of random matrix ensembles. For suitably restricted test functions, this correspondence yields upper bounds for the families' order of vanishing at the central point. We generalize previous results on the $n$\textsuperscript{th} centered moment of the distribution of zeros to allow arb… ▽ More The Katz-Sarnak Density Conjecture states that zeros of families of $L$-functions are well-modeled by eigenvalues of random matrix ensembles. For suitably restricted test functions, this correspondence yields upper bounds for the families' order of vanishing at the central point. We generalize previous results on the $n$\textsuperscript{th} centered moment of the distribution of zeros to allow arbitrary test functions. On the computational side, we use our improved formulas to obtain significantly better bounds on the order of vanishing for cuspidal newforms, setting world records for the quality of the bounds. We also discover better test functions that further optimize our bounds. We see improvement as early as the $5$\textsuperscript{th} order, and our bounds improve rapidly as the rank grows (more than one order of magnitude better for rank 10 and more than four orders of magnitude for rank 50). △ Less

Submitted 1 August, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: 23 pages, version 2.0

MSC Class: 11Mxx (primary); 45Bxx (secondary)

Benfordness of the Generalized Gamma Distribution

Authors: Zelong Bi, Irfan Durmić, Steven J. Miller

Abstract: The generalized gamma distribution shows up in many problems related to engineering, hydrology as well as survival analysis. Earlier work has been done that estimated the deviation of the exponential and the Weibull distribution from Benford's Law. We give a mathematical explanation for the Benfordness of the generalized gamma distribution and present a measure for the deviation of the generalized… ▽ More The generalized gamma distribution shows up in many problems related to engineering, hydrology as well as survival analysis. Earlier work has been done that estimated the deviation of the exponential and the Weibull distribution from Benford's Law. We give a mathematical explanation for the Benfordness of the generalized gamma distribution and present a measure for the deviation of the generalized gamma distribution from the Benford distribution. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Journal ref: The PUMP Journal of Undergraduate Research (2022), Volume 5, 89-104

Neutron-deuteron scattering cross-sections with chiral $NN$ interactions using wave-packet continuum discretization

Authors: Sean B. S. Miller, Andreas Ekström, Kai Hebeler

Abstract: In this work we present a framework that allows to solve the Faddeev equations for three-nucleon scattering using the wave-packet continuum-discretization method. We perform systematic benchmarks using results in the literature and study in detail the convergence of this method with respect to the number of wave packets. We compute several different elastic neutron-deuteron scattering cross-sectio… ▽ More In this work we present a framework that allows to solve the Faddeev equations for three-nucleon scattering using the wave-packet continuum-discretization method. We perform systematic benchmarks using results in the literature and study in detail the convergence of this method with respect to the number of wave packets. We compute several different elastic neutron-deuteron scattering cross-section observables for a variety of energies using chiral nucleon-nucleon interactions. For the interaction $\text{N2LO}_{\text{opt}}$ we find good agreement with data for nucleon scattering-energies $E_\text{Lab} \leq 70$ MeV and a slightly larger maximum of the neutron analyzing power $A_y(n)$ at $E_\text{Lab} = 10$ MeV and 21 MeV compared with other interactions. This work represents a first step towards a systematic inclusion of three-nucleon scattering observables in the construction of next-generation nuclear interactions. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Comments: 17 pages, 7 figures

$k$-Diophantine $m$-tuples in Finite Fields

Authors: Trajan Hammonds, Seoyoung Kim, Steven J. Miller, Arjun Nigam, Kyle Onghai, Dishant Saikia, Lalit M. Sharma

Abstract: In this paper, we define a $k$-Diophantine $m$-tuple to be a set of $m$ positive integers such that the product of any $k$ distinct positive integers is one less than a perfect square. We study these sets in finite fields $\mathbb{F}_p$ for odd prime $p$ and guarantee the existence of a $k$-Diophantine m-tuple provided $p$ is larger than some explicit lower bound. We also give a formula for the nu… ▽ More In this paper, we define a $k$-Diophantine $m$-tuple to be a set of $m$ positive integers such that the product of any $k$ distinct positive integers is one less than a perfect square. We study these sets in finite fields $\mathbb{F}_p$ for odd prime $p$ and guarantee the existence of a $k$-Diophantine m-tuple provided $p$ is larger than some explicit lower bound. We also give a formula for the number of 3-Diophantine triples in $\mathbb{F}_p$ as well as an asymptotic formula for the number of $k$-Diophantine $k$-tuples. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Comments: 18 pages with 2 figure and 2 tables; comments welcome

MSC Class: 11D45; 11D72

Connections of Class Numbers to the Group Structure of Generalized Pythagorean Triples

Authors: Thomas Jaklitsch, Thomas C. Martinez, Steven J. Miller, Sagnik Mukherjee

Abstract: Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently Yekutieli discussed a connection between these two problems and described the group structure of Pythagorean triples and the numb… ▽ More Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently Yekutieli discussed a connection between these two problems and described the group structure of Pythagorean triples and the number of triples for a given hypotenuse. We generalize these methods and results to Pell's equation. We find a similar group structure and count on the number of solutions for a given $z$ to $x^2 + Dy^2 = z^2$ when $D$ is 1 or 2 modulo 4 and the class group of $\mathbb{Q}[\sqrt{-D}]$ is a free $\mathbb{Z}_2$ module, which always happens if the class number is at most 2. We give examples of when the results hold for a class number greater than 2, as well as an example with different behavior when the class group does not have this structure. △ Less

Submitted 7 December, 2021; originally announced December 2021.

Comments: 13 pages, 1 figure

MSC Class: 11D09; 11E41

The Real Schwarz Lemma: The Sequel

Authors: Benjamin Baily, Jonathan Geller, Steven J. Miller

Abstract: A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. This led to the note [MT], indicating that it is possible to have a real analytic automorphism $f$ of $(-1,1)$ with $f'(0)$ arbitrarily large. In this note we provide other families with this property, and moreover show tha… ▽ More A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. This led to the note [MT], indicating that it is possible to have a real analytic automorphism $f$ of $(-1,1)$ with $f'(0)$ arbitrarily large. In this note we provide other families with this property, and moreover show that we can always find such a function so that $f'(0)$ equals any desired real number. We end with some questions on related problems. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 6 pages, 5 figures

MSC Class: 26-01

Irreducibility over the Max-Min Semiring

Authors: Benjamin Baily, Justine Dell, Henry L. Fleischmann, Faye Jackson, Steven J. Miller, Ethan Pesikoff, Luke Reifenberg

Abstract: For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, w… ▽ More For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, which has been discussed in previous work by K. H. Kim and F. W. Roush (2005) and Y. Shitov (2014). We prove results about the irreducibility of polynomials and power series over the max-min semiring, a natural generalization of the boolean polynomials. We use combinatorial and probabilistic methods to prove that almost all polynomials are irreducible over the max-min semiring, generalizing work of Y. Shitov (2014) and proving a 2011 conjecture by D. L. Applegate, M. Le Brun, and N. J. A. Sloane. Furthermore, we use measure-theoretic methods and apply Borel's result on normal numbers to prove that almost all power series are asymptotically irreducible over the max-min semiring. This result generalizes work of E. Wirsing (1953). △ Less

Submitted 3 December, 2021; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 11 pages, 0 figures; fixed references

MSC Class: 11B30; 11R09; 15A80

The population of merging compact binaries inferred using gravitational waves through GWTC-3

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R. Abbott, T. D. Abbott, F. Acernese, K. Ackley, C. Adams, N. Adhikari, R. X. Adhikari, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, A. Allocca, P. A. Altin, A. Amato , et al. (1612 additional authors not shown)

Abstract: We report on the population properties of compact binary mergers inferred from gravitational-wave observations of these systems during the first three LIGO-Virgo observing runs. The Gravitational-Wave Transient Catalog 3 contains signals consistent with three classes of binary mergers: binary black hole, binary neutron star, and neutron star-black hole mergers. We infer the binary neutron star mer… ▽ More We report on the population properties of compact binary mergers inferred from gravitational-wave observations of these systems during the first three LIGO-Virgo observing runs. The Gravitational-Wave Transient Catalog 3 contains signals consistent with three classes of binary mergers: binary black hole, binary neutron star, and neutron star-black hole mergers. We infer the binary neutron star merger rate to be between 10 and 1700 Gpc$^{-3} yr$^{-1}$ and the neutron star-black hole merger rate to be between 7.8 and 140 Gpc$^{-3} yr$^{-1}$, assuming a constant rate density in the comoving frame and taking the union of 90% credible intervals for methods used in this work. We infer the binary black hole merger rate, allowing for evolution with redshift, to be between 17.9 and 44 Gpc$^{-3}$ yr$^{-1}$ at a fiducial redshift (z=0.2). The rate of binary black hole mergers is observed to increase with redshift at a rate proportional to $(1+z)^κ$ with $κ=2.9^{+1.7}_{-1.8}$ for $z\lesssim1$. Using both binary neutron star and neutron star-black hole binaries, we obtain a broad, relatively flat neutron star mass distribution extending from $1.2^{+0.1}_{-0.2}$ to $2.0^{+0.3}_{-0.3}\,M_\odot$. We confidently determine that the merger rate as a function of mass sharply declines after the expected maximum neutron star mass, but cannot yet confirm or rule out the existence of a lower mass gap between neutron stars and black holes. We also find the binary black hole mass distribution has localized over- and underdensities relative to a power-law distribution, with peaks emerging at chirp masses of $8.3^{+0.3}_{-0.5}$ and $27.9^{+1.9}_{-1.8}\,M_\odot$. While we continue to find that the mass distribution of a binary's more massive component strongly decreases as a function of primary mass, we observe no evidence of a strongly suppressed merger rate above approximately $60\,M_\odot$ [abridged] △ Less

Submitted 30 January, 2025; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: v2: minor edits, most to Table 1 and caption; v3: rerun with public data; Data release: https://zenodo.org/record/5655785; v4: update Fig 14; v5: updated to match published version

Report number: LIGO-P2100239

Journal ref: Physical Review X 13, 011048 (2023)

A Proof of the Optimal Leapfrogging Conjecture

Authors: Sam K. Miller, Arthur T. Benjamin

Abstract: Suppose we place checkers in the lower left corner of a Go board and wish to move them to the upper right corner in as few moves as possible, where the pieces move as in the game of Chinese checkers. Auslander, Benjamin, and Wilkerson in 1993 generalized this game for integer lattices and defined a measure of speed for a starting configuration of pieces. They proved that the maximum speed of any c… ▽ More Suppose we place checkers in the lower left corner of a Go board and wish to move them to the upper right corner in as few moves as possible, where the pieces move as in the game of Chinese checkers. Auslander, Benjamin, and Wilkerson in 1993 generalized this game for integer lattices and defined a measure of speed for a starting configuration of pieces. They proved that the maximum speed of any configuration is 1, and only three configurations, called "speed-of-light" configurations, attain this speed. We prove their conjecture that the maximum speed of a non-speed-of-light configuration is 2/3 in the 2-dimensional case, and present a framework that should extend to higher dimensions. △ Less

Submitted 2 September, 2023; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: 17 pages, final version

Language Model Priming for Cross-Lingual Event Extraction

Authors: Steven Fincke, Shantanu Agarwal, Scott Miller, Elizabeth Boschee

Abstract: We present a novel, language-agnostic approach to "priming" language models for the task of event extraction, providing particularly effective performance in low-resource and zero-shot cross-lingual settings. With priming, we augment the input to the transformer stack's language model differently depending on the question(s) being asked of the model at runtime. For instance, if the model is being… ▽ More We present a novel, language-agnostic approach to "priming" language models for the task of event extraction, providing particularly effective performance in low-resource and zero-shot cross-lingual settings. With priming, we augment the input to the transformer stack's language model differently depending on the question(s) being asked of the model at runtime. For instance, if the model is being asked to identify arguments for the trigger "protested", we will provide that trigger as part of the input to the language model, allowing it to produce different representations for candidate arguments than when it is asked about arguments for the trigger "arrest" elsewhere in the same sentence. We show that by enabling the language model to better compensate for the deficits of sparse and noisy training data, our approach improves both trigger and argument detection and classification significantly over the state of the art in a zero-shot cross-lingual setting. △ Less

Submitted 25 September, 2021; originally announced September 2021.

Source-sink cooperation dynamics constrain institutional evolution in a group-structured society

Authors: Laurent Hébert-Dufresne, Timothy M. Waring, Guillaume St-Onge, Meredith T. Niles, Laura Kati Corlew, Matthew P. Dube, Stephanie J. Miller, Nicholas Gotelli, Brian J. McGill

Abstract: Societies change through time, entailing changes in behaviors and institutions. We ask how social change occurs when behaviors and institutions are interdependent. We model a group-structured society in which the transmission of individual behavior occurs in parallel with the selection of group-level institutions. We consider a cooperative behavior that generates collective benefits for groups but… ▽ More Societies change through time, entailing changes in behaviors and institutions. We ask how social change occurs when behaviors and institutions are interdependent. We model a group-structured society in which the transmission of individual behavior occurs in parallel with the selection of group-level institutions. We consider a cooperative behavior that generates collective benefits for groups but does not spread between individuals on its own. Groups exhibit institutions that increase the diffusion of the behavior within the group, but also incur a group cost. Groups adopt institutions in proportion to their fitness. Finally, cooperative behavior may also spread globally. As expected, we find that cooperation and institutions are mutually reinforcing. But the model also generates behavioral source-sink dynamics when cooperation generated in institutional groups spreads to non-institutional groups, boosting their fitness. Consequently, the global diffusion of cooperation creates a pattern of institutional free-riding that limits the evolution of group-beneficial institutions. Our model suggests that, in a group-structured society, large-scale change in behavior and institutions (i.e. social change) can be best achieved when the two remain correlated, such as through the spread successful pilot programs. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Journal ref: R. Soc. Open Sci. 9: 211743 (2022)

The Fundamental Equilibrium Equation For Gaseous Stars And The Tolman-Oppenheimer-Volkoff Equation -- Derivations And Applications With Emphasis On Optimisational-Variational Methods

Authors: Steven D Miller

Abstract: Stars are essentially gravitationally stabilised thermonuclear reactors in hydrostatic equilibrium. The fundamental differential equation for all Newtonian gaseous stars in equilibrium is \begin{align} \frac{dp(r)}{dr}=-\frac{\mathscr{G}\mathcal{M}(r)ρ(r)}{r^{2}}\nonumber \end{align} where $p(r),ρ(r)$ are the pressure, density at radius $r$ and $\mathcal{M}(r)$ is the mass contained within a shell… ▽ More Stars are essentially gravitationally stabilised thermonuclear reactors in hydrostatic equilibrium. The fundamental differential equation for all Newtonian gaseous stars in equilibrium is \begin{align} \frac{dp(r)}{dr}=-\frac{\mathscr{G}\mathcal{M}(r)ρ(r)}{r^{2}}\nonumber \end{align} where $p(r),ρ(r)$ are the pressure, density at radius $r$ and $\mathcal{M}(r)$ is the mass contained within a shell of radius $r$ given by $\mathcal{M}(r)=\int_{0}^{r}4π\overline{r}^{2} ρ(\overline{r})d\overline{r}$, and $\mathscr{G}$ is Newton's constant. This simple but crucial differential equation for the pressure gradient within any star, underpins much of astrophysical theory and it can derived by various methods:via a simple heuristic argument; via the Euler-Poisson equations for a self-gravitating fluid/gas; via a variational method by taking the 1st variation of the sum of the thermal and gravitational energies of the star; via the 2nd variation of the Massiue thermodynamic functional for a self-gravitating isothermal perfect-gas sphere; from conservation of the virial tensor; as the non-relativistic limit of the Tolman-Oppenheimer-Volkoff equation (TOVE). The TOVE for equilibrium of relativistic stars in general relativity can in turn be derived by various methods: from the energy-momentum conservation constraint on the Einstein equations applied to a spherically symmetric perfect fluid/gas; via a constrained optimization method on the mass and nucleon number; via a maximum entropy variational method for a sphere of self-gravitating perfect fluid/gas or radiation. An overview is given of all derivations with emphasis on variational methods. Many important applications and astrophysical consequences of the Newtonian equilibrium equation are also reviewed. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Comments: 75 pages. arXiv admin note: text overlap with arXiv:1201.5560 by other authors

Limiting Spectral Distributions of Families of Block Matrix Ensembles

Authors: Teresa Dunn, Henry L. Fleischmann, Faye Jackson, Simran Khunger, Steven J. Miller, Luke Reifenberg, Alexander Shashkov, Stephen Willis

Abstract: We introduce a new matrix operation on a pair of matrices, $\text{swirl}(A,X),$ and discuss its implications on the limiting spectral distribution. In a special case, the resultant ensemble converges almost surely to the Rayleigh distribution. In proving this, we provide a novel combinatorial proof that the random matrix ensemble of circulant Hankel matrices converges almost surely to the Rayleigh… ▽ More We introduce a new matrix operation on a pair of matrices, $\text{swirl}(A,X),$ and discuss its implications on the limiting spectral distribution. In a special case, the resultant ensemble converges almost surely to the Rayleigh distribution. In proving this, we provide a novel combinatorial proof that the random matrix ensemble of circulant Hankel matrices converges almost surely to the Rayleigh distribution, using the method of moments. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Comments: 19 pages, 1 figure

MSC Class: 60B20 (primary); 60B10 (secondary)

Journal ref: PUMP J. Undergrad. Res. 5 (2022) 122-147

The Generalized Bergman Game

Authors: Benjamin Baily, Justine Dell, Irfan Durmić, Henry Fleischmann, Faye Jackson, Isaac Mijares, Steven J. Miller, Ethan Pesikoff, Luke Reifenberg, Alicia Smith Reina, Yingzi Yang

Abstract: Every positive integer may be written uniquely as a base-$β$ decomposition--that is a legal sum of powers of $β$--where $β$ is the dominating root of a non-increasing positive linear recurrence sequence. Guided by earlier work on a two-player game which produces the Zeckendorf Decomposition of an integer (see [Bai+19]), we define a broad class of two-player games played on an infinite tuple of non… ▽ More Every positive integer may be written uniquely as a base-$β$ decomposition--that is a legal sum of powers of $β$--where $β$ is the dominating root of a non-increasing positive linear recurrence sequence. Guided by earlier work on a two-player game which produces the Zeckendorf Decomposition of an integer (see [Bai+19]), we define a broad class of two-player games played on an infinite tuple of non-negative integers which decompose a positive integer into its base-$β$ expansion. We call this game the Generalized Bergman Game. We prove that the longest possible Generalized Bergman game on an initial state $S$ with $n$ summands terminates in $Θ(n^2)$ time, and we also prove that the shortest possible Generalized Bergman game on an initial state terminates between $Ω(n)$ and $O(n^2)$ time. We also show a linear bound on the maximum length of the tuple used throughout the game. △ Less

Submitted 19 September, 2021; v1 submitted 31 August, 2021; originally announced September 2021.

Comments: 34 pages, 6 figures, to be submitted in Fibonacci Quartlerly

MSC Class: 11P99 (Primary); 11K99 (Secondary)

DEGREE: A Data-Efficient Generation-Based Event Extraction Model

Authors: I-Hung Hsu, Kuan-Hao Huang, Elizabeth Boschee, Scott Miller, Prem Natarajan, Kai-Wei Chang, Nanyun Peng

Abstract: Event extraction requires high-quality expert human annotations, which are usually expensive. Therefore, learning a data-efficient event extraction model that can be trained with only a few labeled examples has become a crucial challenge. In this paper, we focus on low-resource end-to-end event extraction and propose DEGREE, a data-efficient model that formulates event extraction as a conditional… ▽ More Event extraction requires high-quality expert human annotations, which are usually expensive. Therefore, learning a data-efficient event extraction model that can be trained with only a few labeled examples has become a crucial challenge. In this paper, we focus on low-resource end-to-end event extraction and propose DEGREE, a data-efficient model that formulates event extraction as a conditional generation problem. Given a passage and a manually designed prompt, DEGREE learns to summarize the events mentioned in the passage into a natural sentence that follows a predefined pattern. The final event predictions are then extracted from the generated sentence with a deterministic algorithm. DEGREE has three advantages to learn well with less training data. First, our designed prompts provide semantic guidance for DEGREE to leverage DEGREE and thus better capture the event arguments. Moreover, DEGREE is capable of using additional weakly-supervised information, such as the description of events encoded in the prompts. Finally, DEGREE learns triggers and arguments jointly in an end-to-end manner, which encourages the model to better utilize the shared knowledge and dependencies among them. Our experimental results demonstrate the strong performance of DEGREE for low-resource event extraction. △ Less

Submitted 3 May, 2022; v1 submitted 28 August, 2021; originally announced August 2021.

Comments: Paper accepted by NAACL 2022. The first two authors contribute equally. Our code and models can be found at https://github.com/PlusLabNLP/DEGREE

Optimal Point Sets Determining Few Distinct Angles

Authors: Henry L. Fleischmann, Steven J. Miller, Eyvindur A. Palsson, Ethan Pesikoff, Charles Wolf

Abstract: We characterize the largest point sets in the plane which define at most 1, 2, and 3 angles. For $P(k)$ the largest size of a point set admitting at most $k$ angles, we prove $P(2)=5$ and $P(3)=5$. We also provide the general bounds of $k+2 \leq P(k) \leq 6k$, although the upper bound may be improved pending progress toward the Weak Dirac Conjecture. Notably, it is surprising that $P(k)=Θ(k)$ sinc… ▽ More We characterize the largest point sets in the plane which define at most 1, 2, and 3 angles. For $P(k)$ the largest size of a point set admitting at most $k$ angles, we prove $P(2)=5$ and $P(3)=5$. We also provide the general bounds of $k+2 \leq P(k) \leq 6k$, although the upper bound may be improved pending progress toward the Weak Dirac Conjecture. Notably, it is surprising that $P(k)=Θ(k)$ since, in the distance setting, the best known upper bound on the analogous quantity is quadratic and no lower bound is well-understood. △ Less

Submitted 15 October, 2022; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: 10 pages, 6 figures. Revised version. Followup paper to arXiv:2206.04367 and arXiv:2108.12015

MSC Class: 05

Distinct Angle Problems and Variants

Authors: Henry L. Fleischmann, Hongyi B. Hu, Faye Jackson, Steven J. Miller, Eyvindur A. Palsson, Ethan Pesikoff, Charles Wolf

Abstract: The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. The standard problem is already well understood. However, it admits many of the same variants as the distinct distance problem, many of which are unstudied. W… ▽ More The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. The standard problem is already well understood. However, it admits many of the same variants as the distinct distance problem, many of which are unstudied. We provide upper and lower bounds on a broad class of distinct angle problems. We show that the number of distinct angles formed by $n$ points in general position is $O(n^{\log_2(7)})$, providing the first non-trivial bound for this quantity. We introduce a new class of asymptotically optimal point configurations with no four cocircular points. Then, we analyze the sensitivity of asymptotically optimal point sets to perturbation, yielding a much broader class of asymptotically optimal configurations. In higher dimensions we show that a variant of Lenz's construction admits fewer distinct angles than the optimal configurations in two dimensions. We also show that the minimum size of a maximal subset of $n$ points in general position admitting only unique angles is $Ω(n^{1/5})$ and $O(n^{\log_2(7)/3})$. We also provide bounds on the partite variants of the standard distinct angle problem. △ Less

Submitted 26 August, 2021; originally announced August 2021.

MSC Class: 05

Searching for the shadows of giants II: the effect of local ionisation on the Lyman-$α$ absorption signatures of protoclusters at redshift $z\sim2.4$

Authors: Joel S. A. Miller, James S. Bolton, Nina Hatch

Abstract: Local variations in the intergalactic medium (IGM) neutral hydrogen fraction will affect the Ly-$α$ absorption signature of protoclusters identified in tomographic surveys. Using the IllustrisTNG simulations, we investigate how the AGN proximity effect and hot, collisionally ionised gas arising from gravitational infall and black hole feedback changes the Ly-$α$ absorption associated with… ▽ More Local variations in the intergalactic medium (IGM) neutral hydrogen fraction will affect the Ly-$α$ absorption signature of protoclusters identified in tomographic surveys. Using the IllustrisTNG simulations, we investigate how the AGN proximity effect and hot, collisionally ionised gas arising from gravitational infall and black hole feedback changes the Ly-$α$ absorption associated with $M_{z=0}\simeq10^{14}\,M_\odot$ protoclusters at $z\simeq2.4$. We find that protocluster galaxy overdensities exhibit a weak anti-correlation with Ly-$α$ transmission in IGM transmission maps, but local HI ionisation enhancements due to hot $T>10^{6}\rm\,K$ gas or nearby AGN can disrupt this relationship within individual protoclusters. On average, however, we find that strong reductions in the IGM neutral fraction are limited to within $\lesssim 5h^{-1}\,\textrm{cMpc}$ of the dark matter haloes. Local ionisation enhancements will therefore have a minimal impact on the completeness of protocluster identification in tomographic surveys if smoothing Ly-$α$ transmission maps over scales of $\sim4 h^{-1}\,\textrm{cMpc}$, as is typically done in observations. However, if calibrating the relationship between the matter density and Ly-$α$ transmission in tomographic maps using simple analytical models for the Ly-$α$ forest opacity, the presence of hot gas around haloes can still result in systematically lower estimates of $M_{z=0}$ for the most massive protoclusters. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 14 pages (including 1 appendix), 5 figures (plus 2 in the appendix), 1 table. Accepted for publication in MNRAS

Wave-packet continuum discretisation for nucleon-nucleon scattering predictions

Authors: Sean B. S. Miller, Andreas Ekström, Christian Forssén

Abstract: In this paper we analyse the efficiency, precision, and accuracy of computing elastic nucleon-nucleon (NN) scattering amplitudes with the wave-packet continuum discretisation method (WPCD). This method provides approximate scattering solutions at multiple scattering energies simultaneously. We therefore utilise a graphics processing unit (GPU) to explore the benefits of this inherent parallelism.… ▽ More In this paper we analyse the efficiency, precision, and accuracy of computing elastic nucleon-nucleon (NN) scattering amplitudes with the wave-packet continuum discretisation method (WPCD). This method provides approximate scattering solutions at multiple scattering energies simultaneously. We therefore utilise a graphics processing unit (GPU) to explore the benefits of this inherent parallelism. From a theoretical perspective, the WPCD method promises a speedup compared to a standard matrix-inversion method. We use the chiral NNLO$_{\rm opt}$ interaction to demonstrate that WPCD enables efficient computation of NN scattering amplitudes provided one can tolerate an averaged method error of $~1-5$ mb in the total cross section at scattering energies $0-350$ MeV in the laboratory frame of reference. Considering only scattering energies $\sim40-350$ MeV, we find a smaller method error of $\lesssim 1-2$ mb. By increasing the number of wave-packets we can further reduce the overall method error. However, the parallel leverage of the WPCD method will be offset by the increased size of the resulting discretisation mesh. In practice, a GPU-implementation is mainly advantageous for matrices that fit in the fast on-chip shared memory. We find that WPCD is a promising method for computationally efficient, statistical analyses of nuclear interactions from effective field theory, where we can utilise Bayesian inference methods to incorporate relevant uncertainties. △ Less

Submitted 17 June, 2022; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: 33 pages, 9 figures, v2 corresponds to published version

Journal ref: J.Phys.G 49 (2022) 2, 024001

Maximal towers and ultrafilter bases in computability

Authors: Steffen Lempp, Joseph S. Miller, Andre Nies, Mariya Soskova

Abstract: The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$ω$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory. We show that the mass problem of ultrafilter bases is equiv… ▽ More The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$ω$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory. We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin's characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e.\ set computes a maximal tower but no 1-generic $Δ^0_2$-set does so. We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively. △ Less

Submitted 3 October, 2024; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: Submitted

Journal ref: The Journal of Symbolic Logic. 2023;88(3):1170-1190

When Rooks Miss: Probability through Chess

Authors: Steven J. Miller, Haoyu Sheng, Daniel Turek

Abstract: A famous (and hard) chess problem asks what is the maximum number of safe squares possible in placing $n$ queens on an $n\times n$ board. We examine related problems from placing $n$ rooks. We prove that as $n\to\infty$, the probability rapidly tends to 1 that the fraction of safe squares from a random placement converges to $1/e^2$. Our interest in the problem is showing how to view the involved… ▽ More A famous (and hard) chess problem asks what is the maximum number of safe squares possible in placing $n$ queens on an $n\times n$ board. We examine related problems from placing $n$ rooks. We prove that as $n\to\infty$, the probability rapidly tends to 1 that the fraction of safe squares from a random placement converges to $1/e^2$. Our interest in the problem is showing how to view the involved algebra to obtain the simple, closed form limiting fraction. In particular, we see the power of many of the key concepts in probability: binary indicator variables, linearity of expectation, variances and covariances, Chebyshev's inequality, and Stirling's formula. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: Version 1.0, 11 pages, 2 figures

MSC Class: 60-01 (primary); 05-01 (secondary)

Journal ref: College Math. J. 52 (2021), no. 2, 82--93