Showing 1–50 of 550 results for author: Miller, S

On sums of $\mathscr{P}$-free forms under misère play

Authors: Alfie Davies, Sarah Miller, Rebecca Milley

Abstract: Milley and Renault proved an interesting characterisation of invertible elements in the dead-ending universe: they are the games with no subpositions of outcome $\mathscr{P}$ (the '$\mathscr{P}$-free' games). We generalise their approach to obtain a stronger result and show in particular that the set of $\mathscr{P}$-free blocking games is closed under addition, which yields that every… ▽ More Milley and Renault proved an interesting characterisation of invertible elements in the dead-ending universe: they are the games with no subpositions of outcome $\mathscr{P}$ (the '$\mathscr{P}$-free' games). We generalise their approach to obtain a stronger result and show in particular that the set of $\mathscr{P}$-free blocking games is closed under addition, which yields that every $\mathscr{P}$-free blocking game is invertible modulo the blocking universe. This has consequences for the invertible subgroups of various other misère monoids. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 35 pages, 2 figures

MSC Class: 91A46 (Primary) 06F05; 20M14; 20K27 (Secondary)

Measuring spin precession from massive black hole binaries with gravitational waves: insights from time-domain signal morphology

Authors: Simona J. Miller, Maximiliano Isi, Katerina Chatziioannou, Vijay Varma, Sophie Hourihane

Abstract: Robustly measuring binary black hole spins via gravitational waves is key to understanding these systems' astrophysical origins, but remains challenging -- especially for high-mass systems, whose signals are short and dominated by the merger. Nonetheless, events like GW190521 show that strong spin precession can indeed be gleaned from high-mass systems. In this work, we track how spin precession i… ▽ More Robustly measuring binary black hole spins via gravitational waves is key to understanding these systems' astrophysical origins, but remains challenging -- especially for high-mass systems, whose signals are short and dominated by the merger. Nonetheless, events like GW190521 show that strong spin precession can indeed be gleaned from high-mass systems. In this work, we track how spin precession imprints on simulated high-mass binary black hole signals cycle-by-cycle using time-domain inference. We investigate a suite of signals, all with the same spins and (near-unity) mass ratio but different signal-to-noise ratios, total masses, and extrinsic angles, which affect the observed waveform morphology. We truncate each signal at various times and infer source parameters using only the data before or after each cutoff. The resultant posterior allows us to identify which time segments of each signal inform its spin precession constraints. We find that at a sufficiently high post-peak signal-to-noise ratio (SNR, $ρ\sim 20$), spin precession can be constrained by the NRSur7dq4 waveform model when just the post-peak data (i.e., ringdown) is visible. Similarly, at a large enough pre-cutoff SNR ($ρ\sim 10$), spin precession can be constrained using only pre-peak data (i.e., inspiral); this occurs for signals with detector-frame total mass $\lesssim 100 M_{\odot}$ at GW190521's SNR. Finally, we vary the inclination, polarization, and phase angles, finding that their configuration need not be fine-tuned to measure spin precession, even for very high-mass and short signals with 2-3 observable cycles. We do not find that the same morphological features consistently drive precession constraints: in some signals, precession inference hinges on the relationship between a loud merger and quiet pre-merger cycle, as was the case for GW190521, but this is not generically true. △ Less

Submitted 21 May, 2025; v1 submitted 20 May, 2025; originally announced May 2025.

Comments: 19 pages main text, 5 pages appendix (excluding references), 13 figures

Report number: LIGO-P2500263

On functoriality and the tensor product property in noncommutative tensor-triangular geometry

Authors: Sam K. Miller

Abstract: Two pertinent questions for any support theory of a monoidal triangulated category are whether it is functorial and if the tensor product property holds. To this end, we consider the complete prime spectrum of an essentially small monoidal triangulated category, which we show is universal among support data satisfying the tensor product property, even if it is empty. We show the complete prime spe… ▽ More Two pertinent questions for any support theory of a monoidal triangulated category are whether it is functorial and if the tensor product property holds. To this end, we consider the complete prime spectrum of an essentially small monoidal triangulated category, which we show is universal among support data satisfying the tensor product property, even if it is empty. We show the complete prime spectrum is functorial and give a characterization of when a monoidal exact functor induces a well-defined map on noncommutative Balmer spectra. We give criteria for when induced maps on complete prime spectra are injective or surjective, and determine the complete prime spectrum for crossed product categories. Finally, we determine the universal functorial support theory for monoidal triangulated categories coinciding with the Balmer spectrum on braided monoidal triangulated categories. △ Less

Submitted 13 May, 2025; v1 submitted 3 May, 2025; originally announced May 2025.

Comments: v2: new section on partial functoriality of noncommutative Balmer spectrum added, minor edits. 36 pages

MSC Class: 18E30; 18M05; 16E40; 16T05; 18F99

Adaptive AI decision interface for autonomous electronic material discovery

Authors: Yahao Dai, Henry Chan, Aikaterini Vriza, Fredrick Kim, Yunfei Wang, Wei Liu, Naisong Shan, Jing Xu, Max Weires, Yukun Wu, Zhiqiang Cao, C. Suzanne Miller, Ralu Divan, Xiaodan Gu, Chenhui Zhu, Sihong Wang, Jie Xu

Abstract: AI-powered autonomous experimentation (AI/AE) can accelerate materials discovery but its effectiveness for electronic materials is hindered by data scarcity from lengthy and complex design-fabricate-test-analyze cycles. Unlike experienced human scientists, even advanced AI algorithms in AI/AE lack the adaptability to make informative real-time decisions with limited datasets. Here, we address this… ▽ More AI-powered autonomous experimentation (AI/AE) can accelerate materials discovery but its effectiveness for electronic materials is hindered by data scarcity from lengthy and complex design-fabricate-test-analyze cycles. Unlike experienced human scientists, even advanced AI algorithms in AI/AE lack the adaptability to make informative real-time decisions with limited datasets. Here, we address this challenge by developing and implementing an AI decision interface on our AI/AE system. The central element of the interface is an AI advisor that performs real-time progress monitoring, data analysis, and interactive human-AI collaboration for actively adapting to experiments in different stages and types. We applied this platform to an emerging type of electronic materials-mixed ion-electron conducting polymers (MIECPs) -- to engineer and study the relationships between multiscale morphology and properties. Using organic electrochemical transistors (OECT) as the testing-bed device for evaluating the mixed-conducting figure-of-merit -- the product of charge-carrier mobility and the volumetric capacitance (μC*), our adaptive AI/AE platform achieved a 150% increase in μC* compared to the commonly used spin-coating method, reaching 1,275 F cm-1 V-1 s-1 in just 64 autonomous experimental trials. A study of 10 statistically selected samples identifies two key structural factors for achieving higher volumetric capacitance: larger crystalline lamellar spacing and higher specific surface area, while also uncovering a new polymer polymorph in this material. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Optimizing Utility-Scale Solar Siting for Local Economic Benefits and Regional Decarbonization

Authors: Papa Yaw Owusu-Obeng, Steven R. Miller, Sarah Banas Mills, Michael T. Craig

Abstract: The Midwest, with its vast agricultural lands, is rapidly emerging as a key region for utility-scale solar expansion. However, traditional power planning has yet to integrate local economic impact directly into capacity expansion to guide optimal siting decisions. Moreover, existing economic assessments tend to emphasize local benefits while overlooking the opportunity costs of converting producti… ▽ More The Midwest, with its vast agricultural lands, is rapidly emerging as a key region for utility-scale solar expansion. However, traditional power planning has yet to integrate local economic impact directly into capacity expansion to guide optimal siting decisions. Moreover, existing economic assessments tend to emphasize local benefits while overlooking the opportunity costs of converting productive farmland for solar development. This study addresses these gaps by endogenously incorporating local economic metrics into a power system planning model to evaluate how economic impacts influence solar siting, accounting for the cost of lost agricultural output. We analyze all counties within the Great Lakes region, constructing localized supply and marginal benefit curves that are embedded within a multi-objective optimization framework aimed at minimizing system costs and maximizing community economic benefits. Our findings show that counties with larger economies and lower farmland productivity deliver the highest local economic benefit per megawatt (MW) of installed solar capacity. In Ohio, for example, large counties generate up to $34,500 per MW, driven in part by high property tax revenues, while smaller counties yield 31% less. Accounting for the opportunity cost of displaced agricultural output reduces local benefits by up to 16%, depending on farmland quality. A scenario prioritizing solar investment in counties with higher economic returns increases total economic benefits by $1 billion (or 11%) by 2040, with solar investment shifting away from Michigan and Wisconsin (down by 39%) toward Ohio and Indiana (up by 75%), with only a marginal increase of 0.5% in system-wide costs. These findings underscore the importance of integrating economic considerations into utility-scale solar planning to better align decarbonization goals with regional and local economic development. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Analysis of Preheat Propagation in MagLIF-like Plasmas

Authors: Fernando Garcia-Rubio, Scott Davidson, C. Leland Ellison, Nathan B. Meezan, Douglas S. Miller, Nantas Nardelli, Adam Reyes, Paul F. Schmit, Hardeep Sullan

Abstract: The preheating and pre-magnetization of fusion fuel are key features in Magnetized Liner Inertial Fusion (MagLIF) configurations. Typically, the energy of the preheat laser is deposited in a central region of the fuel and propagates outward, generating magneto-hydrodynamic structures that impact the fuel mass distribution and magnetic flux compression during the subsequent implosion. We present a… ▽ More The preheating and pre-magnetization of fusion fuel are key features in Magnetized Liner Inertial Fusion (MagLIF) configurations. Typically, the energy of the preheat laser is deposited in a central region of the fuel and propagates outward, generating magneto-hydrodynamic structures that impact the fuel mass distribution and magnetic flux compression during the subsequent implosion. We present a theoretical analysis of preheat propagation in a magnetized plasma under conditions typical for MagLIF. The analysis is based on the acoustic time scale for the propagation of pressure disturbances being much shorter than the conductive time scale for heat diffusion. In this regime, the preheat-driven expansion induces the stratification of the fuel and magnetic field, which accumulate in a dense outer shelf bounded by the leading shock. We derive self-similar solutions of the model that describe the hydrodynamic profiles of the expansion, and evaluate the evolution of the magnetic field in this configuration. These solutions are supported by FLASH simulations of preheat propagation. Our analysis shows that, asymptotically in time, the regions where the magnetization of the fuel is significant tend to become localized at the interface separating the outer shelf from the inner hot core. We assess the implications of this stratification on the magnetic flux conservation and performance of fully integrated MagLIF FLASH simulations. △ Less

Submitted 1 May, 2025; v1 submitted 15 April, 2025; originally announced April 2025.

Comments: 20 pages, 9 figures

Validation of FLASH for magnetically driven inertial confinement fusion target design

Authors: C. Leland Ellison, Jonathan Carroll-Nellenback, Chiatai Chen, Scott Davidson, Bryan Ferguson, Fernando Garcia-Rubio, Edward C. Hansen, Yannick de Jong, Jacob R King, Patrick Knapp, Keith LeChien, Anthony Link, Nathan B. Meezan, Douglas S. Miller, Philip Mocz, Kassie Moczulski, Nantas Nardelli, Adam Reyes, Paul F. Schmit, Hardeep Sullan, Petros Tzeferacos, Daan van Vugt, Alex B. Zylstra

Abstract: FLASH is a widely available radiation magnetohydrodynamics code used for astrophysics, laboratory plasma science, high energy density physics, and inertial confinement fusion. Increasing interest in magnetically driven inertial confinement fusion (ICF), including Pacific Fusion's development of a 60 MA Demonstration System designed to achieve facility gain, motivates the improvement and validation… ▽ More FLASH is a widely available radiation magnetohydrodynamics code used for astrophysics, laboratory plasma science, high energy density physics, and inertial confinement fusion. Increasing interest in magnetically driven inertial confinement fusion (ICF), including Pacific Fusion's development of a 60 MA Demonstration System designed to achieve facility gain, motivates the improvement and validation of FLASH for modeling magnetically driven ICF concepts, such as MagLIF, at ignition scale. Here we present a collection of six validation benchmarks from experiments at the Z Pulsed Power Facility and theoretical and simulation studies of scaling MagLIF to high currents. The benchmarks range in complexity from focused experiments of linear hydrodynamic instabilities to fully integrated MagLIF fusion experiments. With the latest addition of physics capabilities, FLASH now obtains good agreement with the experimental data, theoretical results, and leading ICF target design simulation code results across all six benchmarks. These results establish confidence in FLASH as a useful tool for designing magnetically driven ICF targets on facilities like Z and Pacific Fusion's upcoming Demonstration System. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 30 pages, 19 figures

Affordable, manageable, practical, and scalable (AMPS) high-yield and high-gain inertial fusion

Authors: Andrew Alexander, Laura Robin Benedetti, Indrani Bhattacharyya, Jared Bowen, June Cabatu, Virgil Cacdac, Chhavi Chhavi, Chiatai Chen, Karen Chen, Dan Clark, Jerry Clark, Tyler Cope, Will Dannemann, Scott Davidson, David DeHaan, John Dugan, Mindy Eihusen, C. Leland Ellison, Carlos Esquivel, David Ethridge, Blake Ferguson, Bryan Ferguson, Jon Fry, Fernando Garcia-Rubio, Tarun Goyal , et al. (41 additional authors not shown)

Abstract: High-yield inertial fusion offers a transformative path to affordable clean firm power and advanced defense capabilities. Recent milestones at large facilities, particularly the National Ignition Facility (NIF), have demonstrated the feasibility of ignition but highlight the need for approaches that can deliver large amounts of energy to fusion targets at much higher efficiency and lower cost. We… ▽ More High-yield inertial fusion offers a transformative path to affordable clean firm power and advanced defense capabilities. Recent milestones at large facilities, particularly the National Ignition Facility (NIF), have demonstrated the feasibility of ignition but highlight the need for approaches that can deliver large amounts of energy to fusion targets at much higher efficiency and lower cost. We propose that pulser-driven inertial fusion energy (IFE), which uses high-current pulsed-power technology to compress targets to thermonuclear conditions, can achieve this goal. In this paper, we detail the physics basis for pulser IFE, focusing on magnetized liner inertial fusion (MagLIF), where cylindrical metal liners compress DT fuel under strong magnetic fields and pre-heat. We discuss how the low implosion velocities, direct-drive efficiency, and scalable pulser architecture can achieve ignition-level conditions at low capital cost. Our multi-dimensional simulations, benchmarked against experiments at the Z facility, show that scaling from 20 MA to 50-60 MA of current enables net facility gain. We then introduce our Demonstration System (DS), a pulsed-power driver designed to deliver more than 60 MA and store approximately 80 MJ of energy. The DS is designed to achieve a 1000x increase in effective performance compared to the NIF, delivering approximately 100x greater facility-level energy gain -- and importantly, achieving net facility gain, or Qf>1 -- at just 1/10 the capital cost. We also examine the engineering requirements for repetitive operation, target fabrication, and chamber maintenance, highlighting a practical roadmap to commercial power plants. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 41 pages, 21 figures

MURR: Model Updating with Regularized Replay for Searching a Document Stream

Authors: Eugene Yang, Nicola Tonellotto, Dawn Lawrie, Sean MacAvaney, James Mayfield, Douglas W. Oard, Scott Miller

Abstract: The Internet produces a continuous stream of new documents and user-generated queries. These naturally change over time based on events in the world and the evolution of language. Neural retrieval models that were trained once on a fixed set of query-document pairs will quickly start misrepresenting newly-created content and queries, leading to less effective retrieval. Traditional statistical spa… ▽ More The Internet produces a continuous stream of new documents and user-generated queries. These naturally change over time based on events in the world and the evolution of language. Neural retrieval models that were trained once on a fixed set of query-document pairs will quickly start misrepresenting newly-created content and queries, leading to less effective retrieval. Traditional statistical sparse retrieval can update collection statistics to reflect these changes in the use of language in documents and queries. In contrast, continued fine-tuning of the language model underlying neural retrieval approaches such as DPR and ColBERT creates incompatibility with previously-encoded documents. Re-encoding and re-indexing all previously-processed documents can be costly. In this work, we explore updating a neural dual encoder retrieval model without reprocessing past documents in the stream. We propose MURR, a model updating strategy with regularized replay, to ensure the model can still faithfully search existing documents without reprocessing, while continuing to update the model for the latest topics. In our simulated streaming environments, we show that fine-tuning models using MURR leads to more effective and more consistent retrieval results than other strategies as the stream of documents and queries progresses. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: Published at ECIR 2025. 16 pages, 4 figures

AI Judges in Design: Statistical Perspectives on Achieving Human Expert Equivalence With Vision-Language Models

Authors: Kristen M. Edwards, Farnaz Tehranchi, Scarlett R. Miller, Faez Ahmed

Abstract: The subjective evaluation of early stage engineering designs, such as conceptual sketches, traditionally relies on human experts. However, expert evaluations are time-consuming, expensive, and sometimes inconsistent. Recent advances in vision-language models (VLMs) offer the potential to automate design assessments, but it is crucial to ensure that these AI ``judges'' perform on par with human exp… ▽ More The subjective evaluation of early stage engineering designs, such as conceptual sketches, traditionally relies on human experts. However, expert evaluations are time-consuming, expensive, and sometimes inconsistent. Recent advances in vision-language models (VLMs) offer the potential to automate design assessments, but it is crucial to ensure that these AI ``judges'' perform on par with human experts. However, no existing framework assesses expert equivalence. This paper introduces a rigorous statistical framework to determine whether an AI judge's ratings match those of human experts. We apply this framework in a case study evaluating four VLM-based judges on key design metrics (uniqueness, creativity, usefulness, and drawing quality). These AI judges employ various in-context learning (ICL) techniques, including uni- vs. multimodal prompts and inference-time reasoning. The same statistical framework is used to assess three trained novices for expert-equivalence. Results show that the top-performing AI judge, using text- and image-based ICL with reasoning, achieves expert-level agreement for uniqueness and drawing quality and outperforms or matches trained novices across all metrics. In 6/6 runs for both uniqueness and creativity, and 5/6 runs for both drawing quality and usefulness, its agreement with experts meets or exceeds that of the majority of trained novices. These findings suggest that reasoning-supported VLM models can achieve human-expert equivalence in design evaluation. This has implications for scaling design evaluation in education and practice, and provides a general statistical framework for validating AI judges in other domains requiring subjective content evaluation. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: 21 pages, 8 tables, 6 figures, 8 tables in the appendix

Mechanistic Understanding of Language Models in Syntactic Code Completion

Authors: Samuel Miller, Daking Rai, Ziyu Yao

Abstract: Recently, language models (LMs) have shown impressive proficiency in code generation tasks, especially when fine-tuned on code-specific datasets, commonly known as Code LMs. However, our understanding of the internal decision-making processes of Code LMs, such as how they use their (syntactic or semantic) knowledge, remains limited, which could lead to unintended harm as they are increasingly used… ▽ More Recently, language models (LMs) have shown impressive proficiency in code generation tasks, especially when fine-tuned on code-specific datasets, commonly known as Code LMs. However, our understanding of the internal decision-making processes of Code LMs, such as how they use their (syntactic or semantic) knowledge, remains limited, which could lead to unintended harm as they are increasingly used in real life. This motivates us to conduct one of the first Mechanistic Interpretability works to understand how Code LMs perform a syntactic completion task, specifically the closing parenthesis task, on the CodeLlama-7b model (Roziere et al. 2023). Our findings reveal that the model requires middle-later layers until it can confidently predict the correct label for the closing parenthesis task. Additionally, we identify that while both multi-head attention (MHA) and feed-forward (FF) sub-layers play essential roles, MHA is particularly crucial. Furthermore, we also discover attention heads that keep track of the number of already closed parentheses precisely but may or may not promote a correct number of closing parentheses that are still missing, leading to a positive or negative impact on the model's performance. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: 10 pages, 4 figures, accepted to the AAAI 2025 Workshop on Towards Knowledgeable Foundation Models

ACM Class: I.2.7

Mapping Parameter Correlations in Spinning Binary Black Hole Mergers

Authors: Karen Kang, Simona J. Miller, Katerina Chatziioannou, Deborah Ferguson

Abstract: The spins of black holes in binaries measured with gravitational waves provide insights about the formation, evolution, and dynamics of these systems. The imprint of spin in the inspiral, where the black holes are well-separated, is understood through analytic equations for the binary dynamics. During the merger phase, the binary dynamics can only be studied with numerical relativity simulations.… ▽ More The spins of black holes in binaries measured with gravitational waves provide insights about the formation, evolution, and dynamics of these systems. The imprint of spin in the inspiral, where the black holes are well-separated, is understood through analytic equations for the binary dynamics. During the merger phase, the binary dynamics can only be studied with numerical relativity simulations. Though such simulations provide an exact solution (to within numerical error), the imprint of the full six spin degrees of freedom on the signal is not transparent. In the absence of analytic expressions for the merger, here we propose a waveform-based approach. Leveraging a neural network to efficiently calculate mismatches between waveforms, we identify regions in the parameter space of spins and mass ratio that result in low mismatches and thus similar waveforms. We map these regions with a Gaussian fit, thus identifying correlations between the mass ratio and spins and quantifying their strength. For low-mass, inspiral-dominated systems, we recover the known physical imprint: larger aligned spins are correlated with more equal masses as they have opposite effects on the inspiral length. For high-mass, merger-dominated signals, a qualitatively similar correlation is present, though its shape is altered and strength decreases with increasing total mass. Correlations between in-plane spins and mass ratio follow a similar trend, with their shape and strength altered as the mass increases. Waveform-based correlation mapping can motivate effective spin parameters and reveal the imprint of spins on signals for which no simple analytic descriptions exist. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Comments: 19 pages including appendices and bibliography; 18 figures. Submitted to PRD

The Kelly Criterion And Utility Function Optimisation For Stochastic Binary Games: Submartingale And Supermartingale Regimes

Authors: Steven D Miller

Abstract: A reformulation of the Kelly Criterion is presented. Let $\mathfrak{G}$ be a generic stochastic Bernoulli binary game with outcomes $\mathscr{Z}(I)\in\lbrace -1,1\rbrace$ of N trials for $I=1...N$. The binomial probabilities are $\mathsf{P}(\mathscr{Z}(I)=1)=p$ and ${\mathsf{P}}(\mathscr{Z}(I)=-1)=q$ with $p+q=1$. For a fair game $p=q=\tfrac{1}{2}$ and for a biased game $p>q$. If $\mathscr{W}(0)$… ▽ More A reformulation of the Kelly Criterion is presented. Let $\mathfrak{G}$ be a generic stochastic Bernoulli binary game with outcomes $\mathscr{Z}(I)\in\lbrace -1,1\rbrace$ of N trials for $I=1...N$. The binomial probabilities are $\mathsf{P}(\mathscr{Z}(I)=1)=p$ and ${\mathsf{P}}(\mathscr{Z}(I)=-1)=q$ with $p+q=1$. For a fair game $p=q=\tfrac{1}{2}$ and for a biased game $p>q$. If $\mathscr{W}(0)$ is the initial wealth then at the $I^{th}$ trial one bets a fraction $\mathcal{F}$ so that the bet is $B(I)=\mathcal{F}\mathscr{W}(I-1)$. If one wagers $B(I)$ and wins one recovers the original wager plus $B(I)$ if $\mathscr{Z}(I)=+1$, or a loss of $B(I)$ if $\mathscr{Z}(I)=-1$. The wealth at the $N^{th}$ trial/bet for large $N$ is the random walk $\mathscr{W}(N)=\mathscr{W} (0)+\sum_{I=1}^{N}B(I)\mathscr{Z}(I)=\mathscr{W}(0)\prod_{I=1}^{N}(1+\mathcal{F}\mathscr{Z}(I))$ with expectation $\mathsf{E}[\mathscr{W}(N)]$. Defining a 'utility function' $\mathsf{U}(\mathcal{F},p)=\mathsf{E}[\log(\mathscr{W}(N)/\mathscr{W}(0))^{1/N}]$ then $\mathsf{U}(\mathcal{F},p)$ is optimised by the Kelly fraction $\mathcal{F}=\mathcal{F}_{K}=p-q=2p-1$, which is essentially a critical point of $\mathsf{U}(\mathcal{F},p)$. Also $\mathsf{U}(\mathcal{F}_{K},p)$ can be related to the Shannon entropy. If $[0,1]=[0,\mathcal{F}_{*})\bigcup [\mathcal{F}_{*}]\bigcup (\mathcal{F}_{*},1]$ with $\mathsf{U}(\mathcal{F}_{*},p)=0$ then $\mathsf{U}(\mathcal{F},p)>0, \forall\mathcal{F}\in[0,\mathcal{F}_{*})$ and $\mathscr{W}(N)$ is a submartingale for $p>1/2$; also $\mathsf{U}(\mathcal{F},p)<0,\forall \mathcal{F}\in(\mathcal{F}_{*},1]$, and $\mathscr{W}(\mathcal{F},p)$ is a supermartingale. Estimates are derived for variance and volatility $\mathsf{VAR}(\mathscr{W}(N))$ and $σ(\mathscr{W}(N))=\sqrt{\mathsf{VAR}(\mathscr{W}(N)})$. For large $N$ and $\mathcal{F}=\mathcal{F}_{K}$, $\mathsf{E}[\mathscr{W}(N)]$ grows exponentially. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Comments: 26 Pages

Generalizations of the M&M Game

Authors: Snehesh Das, Evan Li, Steven J. Miller, Andrew Mou, Geremias Polanco, Wang Xiaochen, April Yang, Chris Yao

Abstract: The M&M Game was created to help young kids explore probability by modeling a response to the question: \emph{If two people are born on the same day, will they die on the same day?} Each player starts with a fixed number of M&M's and a fair coin; a turn consists of players simultaneously tossing their coin and eating an M&M only if the toss is a head, with a person ``dying'' when they have eaten t… ▽ More The M&M Game was created to help young kids explore probability by modeling a response to the question: \emph{If two people are born on the same day, will they die on the same day?} Each player starts with a fixed number of M&M's and a fair coin; a turn consists of players simultaneously tossing their coin and eating an M&M only if the toss is a head, with a person ``dying'' when they have eaten their stash. The probability of a tie can naturally be written as an infinite sum of binomial products, and can be reformulated into a finite calculation using memoryless processes, recursion theory, or graph-theoretic techniques, highlighting its value as an educational game. We analyze several extensions, such as tossing multiple coins with varying probabilities and evolving probability distributions for coin flips. We derive formulas for the expected length of the game and the probability of a tie by modeling the number of rounds as a sum of geometric waiting times. △ Less

Submitted 11 February, 2025; originally announced February 2025.

MSC Class: 60G51

The Limiting Spectral Distribution of Various Matrix Ensembles Under the Anticommutator Operation

Authors: Glenn Bruda, Bruce Fang, Raul Marquez, Steven J. Miller, Beni Prapashtica, Vismay Sharan, Daeyoung Son, Saad Waheed, Janine Wang

Abstract: Inspired by the quantization of classical quantities and Rankin Selberg convolution, we study the anticommutator operation $\{\cdot, \cdot\}$, where $\{A,B\} = AB + BA$, applied to real symmetric random matrix ensembles including Gaussian orthogonal ensemble (GOE), the palindromic Toeplitz ensemble (PTE), the $k$-checkerboard ensemble, and the block $k$-circulant ensemble ($k$-BCE). Using combinat… ▽ More Inspired by the quantization of classical quantities and Rankin Selberg convolution, we study the anticommutator operation $\{\cdot, \cdot\}$, where $\{A,B\} = AB + BA$, applied to real symmetric random matrix ensembles including Gaussian orthogonal ensemble (GOE), the palindromic Toeplitz ensemble (PTE), the $k$-checkerboard ensemble, and the block $k$-circulant ensemble ($k$-BCE). Using combinatorial and topological techniques related to non-crossing and free matching properties of GOE and PTE, we obtain closed-form formulae for the moments of the limiting spectral distributions of $\{$GOE, GOE$\}$, $\{$PTE, PTE$\}$, $\{$GOE, PTE$\}$ and establish the corresponding limiting spectral distributions with generating functions and convolution. On the other hand, $\{$GOE, $k$-checkerboard$\}$ and $\{$$k$-checkerboard, $j$-checkerboard$\}$ exhibit entirely different spectral behavior than the other anticommutator ensembles: while the spectrum of $\{$GOE, $k$-checkerboard$\}$ consists of 1 bulk regime of size $Θ(N)$ and 1 blip regime of size $Θ(N^{3/2})$, the spectrum of $\{$$k$-checkerboard, $j$-checkerboard$\}$ consists of 1 bulk regime of size $Θ(N)$, 2 intermediary blip regimes of size $Θ(N^{3/2})$, and 1 largest blip regime of size $Θ(N^2)$. In both cases, with the appropriate weight function, we are able to isolate the largest regime for other regime(s) and analyze its moments and convergence results via combinatorics. We end with numerical computation of lower even moments of $\{$GOE, $k$-BCE$\}$ and $\{$$k$-BCE, $k$-BCE$\}$ based on genus expansion and discussion on the challenge with analyzing the intermediary blip regimes of $\{$$k$-checkerboard, $j$-checkerboard$\}$. △ Less

Submitted 4 February, 2025; v1 submitted 1 February, 2025; originally announced February 2025.

Comments: 48 pages, 12 figures

MSC Class: 15B52 (Primary) 15B57; 60F99 (Secondary)

When less is more: evolving large neural networks from small ones

Authors: Anil Radhakrishnan, John F. Lindner, Scott T. Miller, Sudeshna Sinha, William L. Ditto

Abstract: In contrast to conventional artificial neural networks, which are large and structurally static, we study feed-forward neural networks that are small and dynamic, whose nodes can be added (or subtracted) during training. A single neuronal weight in the network controls the network's size, while the weight itself is optimized by the same gradient-descent algorithm that optimizes the network's other… ▽ More In contrast to conventional artificial neural networks, which are large and structurally static, we study feed-forward neural networks that are small and dynamic, whose nodes can be added (or subtracted) during training. A single neuronal weight in the network controls the network's size, while the weight itself is optimized by the same gradient-descent algorithm that optimizes the network's other weights and biases, but with a size-dependent objective or loss function. We train and evaluate such Nimble Neural Networks on nonlinear regression and classification tasks where they outperform the corresponding static networks. Growing networks to minimal, appropriate, or optimal sizes while training elucidates network dynamics and contrasts with pruning large networks after training but before deployment. △ Less

Submitted 29 January, 2025; originally announced January 2025.

Comments: 8 pages, 7 figures

Search for continuous gravitational waves from known pulsars in the first part of the fourth LIGO-Virgo-KAGRA observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, I. Abouelfettouh, F. Acernese, K. Ackley, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, D. Agarwal, M. Agathos, M. Aghaei Abchouyeh, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi, A. Al-Jodah, C. Alléné , et al. (1794 additional authors not shown)

Abstract: Continuous gravitational waves (CWs) emission from neutron stars carries information about their internal structure and equation of state, and it can provide tests of General Relativity. We present a search for CWs from a set of 45 known pulsars in the first part of the fourth LIGO--Virgo--KAGRA observing run, known as O4a. We conducted a targeted search for each pulsar using three independent ana… ▽ More Continuous gravitational waves (CWs) emission from neutron stars carries information about their internal structure and equation of state, and it can provide tests of General Relativity. We present a search for CWs from a set of 45 known pulsars in the first part of the fourth LIGO--Virgo--KAGRA observing run, known as O4a. We conducted a targeted search for each pulsar using three independent analysis methods considering the single-harmonic and the dual-harmonic emission models. We find no evidence of a CW signal in O4a data for both models and set upper limits on the signal amplitude and on the ellipticity, which quantifies the asymmetry in the neutron star mass distribution. For the single-harmonic emission model, 29 targets have the upper limit on the amplitude below the theoretical spin-down limit. The lowest upper limit on the amplitude is $6.4\!\times\!10^{-27}$ for the young energetic pulsar J0537-6910, while the lowest constraint on the ellipticity is $8.8\!\times\!10^{-9}$ for the bright nearby millisecond pulsar J0437-4715. Additionally, for a subset of 16 targets we performed a narrowband search that is more robust regarding the emission model, with no evidence of a signal. We also found no evidence of non-standard polarizations as predicted by the Brans-Dicke theory. △ Less

Submitted 2 January, 2025; originally announced January 2025.

Comments: main paper: 12 pages, 6 figures, 4 tables

Report number: LIGO-P2400315

Journal ref: Astrophys.J. 983 (2025) 2, 99

Leslie Population Models in Predator-prey and Competitive populations: theory and applications by machine learning

Authors: Pico Gilman, Steven J. Miller, Daeyoung Son, Saad Waheed, Janine Wang

Abstract: We introduce a new predator-prey model by replacing the growth and predation constant by a square matrix, and the population density as a population vector. The classical Lotka-Volterra model describes a population that either modulates or converges. Stability analysis of such models have been extensively studied by the works of Merdan (https://doi.org/10.1016/j.chaos.2007.06.062). The new model a… ▽ More We introduce a new predator-prey model by replacing the growth and predation constant by a square matrix, and the population density as a population vector. The classical Lotka-Volterra model describes a population that either modulates or converges. Stability analysis of such models have been extensively studied by the works of Merdan (https://doi.org/10.1016/j.chaos.2007.06.062). The new model adds complexity by introducing an age group structure where the population of each age group evolves as prescribed by the Leslie matrix. The added complexity changes the behavior of the model such that the population either displays roughly an exponential growth or decay. We first provide an exact equation that describes a time evolution and use analytic techniques to obtain an approximate growth factor. We also discuss the variants of the Leslie model, i.e., the complex value predator-prey model and the competitive model. We then prove the Last Species Standing theorem that determines the dominant population in the large time limit. The recursive structure of the model denies the application of simple regression. We discuss a machine learning scheme that allows an admissible fit for the population evolution of Paramecium Aurelia and Paramecium Caudatum. Another potential avenue to simplify the computation is to use the machinery of quantum operators. We demonstrate the potential of this approach by computing the Hamiltonian of a simple Leslie system. △ Less

Submitted 20 December, 2024; originally announced December 2024.

AgreeMate: Teaching LLMs to Haggle

Authors: Ainesh Chatterjee, Samuel Miller, Nithin Parepally

Abstract: We introduce AgreeMate, a framework for training Large Language Models (LLMs) to perform strategic price negotiations through natural language. We apply recent advances to a negotiation setting where two agents (i.e. buyer or seller) use natural language to bargain on goods using coarse actions. Specifically, we present the performance of Large Language Models when used as agents within a decouple… ▽ More We introduce AgreeMate, a framework for training Large Language Models (LLMs) to perform strategic price negotiations through natural language. We apply recent advances to a negotiation setting where two agents (i.e. buyer or seller) use natural language to bargain on goods using coarse actions. Specifically, we present the performance of Large Language Models when used as agents within a decoupled (modular) bargaining architecture. We demonstrate that using prompt engineering, fine-tuning, and chain-of-thought prompting enhances model performance, as defined by novel metrics. We use attention probing to show model attention to semantic relationships between tokens during negotiations. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Comments: 15 pages, 22 figures, 6 tables

Geographic distribution of the global agricultural workforce every decade for the years 2000-2100

Authors: Naia Ormaza-Zulueta, Steve Miller, Zia Mehrabi

Abstract: Agricultural workers play a vital role in the global economy and food security by cultivating, transporting, and processing food for populations worldwide. Despite their importance, detailed spatial data on the global agricultural workforce have remained scarce. Here, we present a new gridded dataset that maps the global distribution of agricultural workers for every decade over the years 2000-210… ▽ More Agricultural workers play a vital role in the global economy and food security by cultivating, transporting, and processing food for populations worldwide. Despite their importance, detailed spatial data on the global agricultural workforce have remained scarce. Here, we present a new gridded dataset that maps the global distribution of agricultural workers for every decade over the years 2000-2100, distributed at 0.083$\times$0.083 degrees resolution, roughly $\sim$10km$\times$10km at the Equator. The dataset is developed using an empirical modeling framework relying on generalized additive mixed models (GAMMs) that integrate socioeconomic variables, including gross domestic product per capita, total population, rural population size, and agricultural land use. The predictions are consistent with Shared Socio-economic Pathways and we distribute full time series data for all SSPs 1 to 5. This dataset opens new avenues for future research on labour force health, productivity and risk, and could be very useful for developing informed, forward-looking strategies that address the challenges of climate resilience in agriculture. The dataset and code for reproducing it are available for the user community [publicly available on publication at DOI: 10.5281/zenodo.14443333]. △ Less

Submitted 23 December, 2024; v1 submitted 20 December, 2024; originally announced December 2024.

ThinCurr: An open-source 3D thin-wall eddy current modeling code for the analysis of large-scale systems of conducting structures

Authors: Christopher Hansen, Alexander Battey, Anson Braun, Sander Miller, Michael Lagieski, Ian Stewart, Ryan Sweeney, Carlos Paz-Soldan

Abstract: In this paper we present a new thin-wall eddy current modeling code, ThinCurr, for studying inductively-coupled currents in 3D conducting structures -- with primary application focused on the interaction between currents flowing in coils, plasma, and conducting structures of magnetically-confined plasma devices. The code utilizes a boundary finite element method on an unstructured, triangular grid… ▽ More In this paper we present a new thin-wall eddy current modeling code, ThinCurr, for studying inductively-coupled currents in 3D conducting structures -- with primary application focused on the interaction between currents flowing in coils, plasma, and conducting structures of magnetically-confined plasma devices. The code utilizes a boundary finite element method on an unstructured, triangular grid to accurately capture device structures. The new code, part of the broader Open FUSION Toolkit, is open-source and designed for ease of use without sacrificing capability and speed through a combination of Python, Fortran, and C/C++ components. Scalability to large models is enabled through use of hierarchical off-diagonal low-rank compression of the inductance matrix, which is otherwise dense. Ease of handling large models of complicated geometry is further supported by automatic determination of supplemental elements through a greedy homology approach. A detailed description of the numerical methods of the code and verification of the implementation of those methods using cross-code comparisons against the VALEN code and Ansys commercial analysis software is shown. △ Less

Submitted 19 December, 2024; originally announced December 2024.

An invitation to Fibonacci digits

Authors: Justin Cheigh, Guilherme Zeus Dantas e Moura, Jacob Lehmann Duke, Annika Mauro, Zoe McDonald, Anna Mello, Kayla Miller, Steven J. Miller, Santiago Velazquez Iannuzzelli

Abstract: The purpose of this short note is to show the interplay between math outreach and conducting original research, in particular how each can build off the other. The purpose of this short note is to show the interplay between math outreach and conducting original research, in particular how each can build off the other. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 9 pages, 5 figures

Efficient hyperparameter estimation in Bayesian inverse problems using sample average approximation

Authors: Julianne Chung, Scot M. Miller, Malena Sabate Landman, Arvind K. Saibaba

Abstract: In Bayesian inverse problems, it is common to consider several hyperparameters that define the prior and the noise model that must be estimated from the data. In particular, we are interested in linear inverse problems with additive Gaussian noise and Gaussian priors defined using Matérn covariance models. In this case, we estimate the hyperparameters using the maximum a posteriori (MAP) estimate… ▽ More In Bayesian inverse problems, it is common to consider several hyperparameters that define the prior and the noise model that must be estimated from the data. In particular, we are interested in linear inverse problems with additive Gaussian noise and Gaussian priors defined using Matérn covariance models. In this case, we estimate the hyperparameters using the maximum a posteriori (MAP) estimate of the marginalized posterior distribution. However, this is a computationally intensive task since it involves computing log determinants. To address this challenge, we consider a stochastic average approximation (SAA) of the objective function and use the preconditioned Lanczos method to compute efficient approximations of the function and gradient evaluations. We propose a new preconditioner that can be updated cheaply for new values of the hyperparameters and an approach to compute approximations of the gradient evaluations, by reutilizing information from the function evaluations. We demonstrate the performance of our approach on static and dynamic seismic tomography problems. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Composite Numbers in an Arithmetic Progression

Authors: Hung Viet Chu, Steven J. Miller, Joshua M. Siktar

Abstract: One challenge (or opportunity!) that many instructors face is how varied the backgrounds, abilities, and interests of students are. In order to simultaneously instill confidence in those with weaker preparations and still challenge those able to go faster, an instructor must be prepared to give problems of different difficulty levels. Using Dirichlet's Theorem as a case study, we create and discus… ▽ More One challenge (or opportunity!) that many instructors face is how varied the backgrounds, abilities, and interests of students are. In order to simultaneously instill confidence in those with weaker preparations and still challenge those able to go faster, an instructor must be prepared to give problems of different difficulty levels. Using Dirichlet's Theorem as a case study, we create and discuss a family of problems in number theory that highlight the relative strengths and weaknesses of different ways to approach a question and show how to invite students to extend the problems and explore research-level mathematics. △ Less

Submitted 22 October, 2024; originally announced November 2024.

MSC Class: 97D50 (primary); 97D60; 11-02

Optimal Doubling Thresholds in Backgammon-like Stochastic Games

Authors: Haoru Ju, Daniel Leifer, Steven J. Miller, Sooraj A. Padmanabhan, Chenyang Sun, Luke Tichi, Benjamin Tocher, Kiley Wallace

Abstract: We study variants of a stochastic game inspired by backgammon where players may propose to double the stake, with the game state dictated by a one-dimensional random walk. Our variants allow for different numbers of proposals and different multipliers to the stake. We determine the optimal game state for proposing and accepting, giving analytic solutions in many variants. We also introduce a 3-pla… ▽ More We study variants of a stochastic game inspired by backgammon where players may propose to double the stake, with the game state dictated by a one-dimensional random walk. Our variants allow for different numbers of proposals and different multipliers to the stake. We determine the optimal game state for proposing and accepting, giving analytic solutions in many variants. We also introduce a 3-player generalization of the game and prove basic results about its behavior, in addition to providing a simulation. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Search for gravitational waves emitted from SN 2023ixf

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, I. Abouelfettouh, F. Acernese, K. Ackley, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, D. Agarwal, M. Agathos, M. Aghaei Abchouyeh, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, T. Akutsu, S. Albanesi, R. A. Alfaidi, A. Al-Jodah, C. Alléné, A. Allocca , et al. (1758 additional authors not shown)

Abstract: We present the results of a search for gravitational-wave transients associated with core-collapse supernova SN 2023ixf, which was observed in the galaxy Messier 101 via optical emission on 2023 May 19th, during the LIGO-Virgo-KAGRA 15th Engineering Run. We define a five-day on-source window during which an accompanying gravitational-wave signal may have occurred. No gravitational waves have been… ▽ More We present the results of a search for gravitational-wave transients associated with core-collapse supernova SN 2023ixf, which was observed in the galaxy Messier 101 via optical emission on 2023 May 19th, during the LIGO-Virgo-KAGRA 15th Engineering Run. We define a five-day on-source window during which an accompanying gravitational-wave signal may have occurred. No gravitational waves have been identified in data when at least two gravitational-wave observatories were operating, which covered $\sim 14\%$ of this five-day window. We report the search detection efficiency for various possible gravitational-wave emission models. Considering the distance to M101 (6.7 Mpc), we derive constraints on the gravitational-wave emission mechanism of core-collapse supernovae across a broad frequency spectrum, ranging from 50 Hz to 2 kHz where we assume the gravitational-wave emission occurred when coincident data are available in the on-source window. Considering an ellipsoid model for a rotating proto-neutron star, our search is sensitive to gravitational-wave energy $1 \times 10^{-4} M_{\odot} c^2$ and luminosity $2.6 \times 10^{-4} M_{\odot} c^2/s$ for a source emitting at 82 Hz. These constraints are around an order of magnitude more stringent than those obtained so far with gravitational-wave data. The constraint on the ellipticity of the proto-neutron star that is formed is as low as 1.08, at frequencies above 1200 Hz, surpassing past results. △ Less

Submitted 11 March, 2025; v1 submitted 21 October, 2024; originally announced October 2024.

Comments: Main paper: 6 pages, 4 figures and 1 table. Total with appendices: 20 pages, 4 figures, and 1 table

Report number: LIGO-P2400125

Journal ref: ApJ 985 183 (2025)

Geometric Proof of the Irrationality of Square-Roots for Select Integers

Authors: Zongyun Chen, Steven J. Miller, Chenghan Wu

Abstract: This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar techniques can be applied to other non-square integers. They begin by reviewing well-known results, such as Euclid's proof for the irrationality of sqrt(2), an… ▽ More This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar techniques can be applied to other non-square integers. They begin by reviewing well-known results, such as Euclid's proof for the irrationality of sqrt(2), and discuss subsequent geometric extensions for sqrt(3), sqrt(5), and sqrt(6). The authors then introduce new geometric constructions, particularly using hexagons, to prove the irrationality of sqrt(6). Furthermore, the paper investigates the limitations and challenges of extending these geometric methods to triangular numbers. Through detailed geometric reasoning, the authors successfully generalize the approach to several square-free numbers and identify cases where the method breaks down. The paper concludes by inviting further exploration of geometric irrationality proofs for other integers, proposing potential avenues for future work. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Comments: 11 pages, 8 figures

A search using GEO600 for gravitational waves coincident with fast radio bursts from SGR 1935+2154

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, I. Abouelfettouh, F. Acernese, K. Ackley, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, D. Agarwal, M. Agathos, M. Aghaei Abchouyeh, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi, A. Al-Jodah, C. Alléné , et al. (1758 additional authors not shown)

Abstract: The magnetar SGR 1935+2154 is the only known Galactic source of fast radio bursts (FRBs). FRBs from SGR 1935+2154 were first detected by CHIME/FRB and STARE2 in 2020 April, after the conclusion of the LIGO, Virgo, and KAGRA Collaborations' O3 observing run. Here we analyze four periods of gravitational wave (GW) data from the GEO600 detector coincident with four periods of FRB activity detected by… ▽ More The magnetar SGR 1935+2154 is the only known Galactic source of fast radio bursts (FRBs). FRBs from SGR 1935+2154 were first detected by CHIME/FRB and STARE2 in 2020 April, after the conclusion of the LIGO, Virgo, and KAGRA Collaborations' O3 observing run. Here we analyze four periods of gravitational wave (GW) data from the GEO600 detector coincident with four periods of FRB activity detected by CHIME/FRB, as well as X-ray glitches and X-ray bursts detected by NICER and NuSTAR close to the time of one of the FRBs. We do not detect any significant GW emission from any of the events. Instead, using a short-duration GW search (for bursts $\leq$ 1 s) we derive 50\% (90\%) upper limits of $10^{48}$ ($10^{49}$) erg for GWs at 300 Hz and $10^{49}$ ($10^{50}$) erg at 2 kHz, and constrain the GW-to-radio energy ratio to $\leq 10^{14} - 10^{16}$. We also derive upper limits from a long-duration search for bursts with durations between 1 and 10 s. These represent the strictest upper limits on concurrent GW emission from FRBs. △ Less

Submitted 21 May, 2025; v1 submitted 11 October, 2024; originally announced October 2024.

Comments: 15 pages of text including references, 4 figures, 5 tables

Report number: LIGO-P2400192

Journal ref: ApJ 977 255 (2024)

A multi-channel silicon package for large-scale skipper-CCD experiments

Authors: A. M. Botti, C. Chavez, M. Sofo-Haro, C. S. Miller, F. Chierchie, M. Jonas, M. Lisovenko, H. Gutti, D. Czaplewski, A. Lathrop, J. Tiffenberg, G. Fernandez-Moroni, J. Estrada

Abstract: The next generation of experiments for rare-event searches based on skipper Charge Coupled Devices (skipper-CCDs) presents new challenges for the sensor packaging and readout. Scaling the active mass and simultaneously reducing the experimental backgrounds in orders of magnitude requires a novel high-density silicon-based package that must be massively produced and tested. In this work, we present… ▽ More The next generation of experiments for rare-event searches based on skipper Charge Coupled Devices (skipper-CCDs) presents new challenges for the sensor packaging and readout. Scaling the active mass and simultaneously reducing the experimental backgrounds in orders of magnitude requires a novel high-density silicon-based package that must be massively produced and tested. In this work, we present the design, fabrication, testing, and empirical signal model of a multi-channel silicon package. In addition, we outline the chosen specifications for the ongoing production of 1500 wafers that will add up to a 10 kg skipper-CCD array with 24000 readout channels. △ Less

Submitted 12 January, 2025; v1 submitted 8 October, 2024; originally announced October 2024.

Comments: 11 pages, 14 figures, 2 tables

Report number: FERMILAB-PUB-24-0716-PPD

Lower Order Biases in Moment Expansions of One Parameter Families of Elliptic Curves

Authors: Timothy Cheek, Pico Gilman, Kareem Jaber, Steven J. Miller, Vismay Sharan, Marie-Hélène Tomé

Abstract: For a fixed elliptic curve $E$ without complex multiplication, $a_p := p+1 - \#E(\mathbb{F}_p)$ is $O(\sqrt{p})$ and $a_p/2\sqrt{p}$ converges to a semicircular distribution. Michel proved that for a one-parameter family of elliptic curves $y^2 = x^3 + A(T)x + B(T)$ with $A(T), B(T) \in \mathbb{Z}[T]$ and non-constant $j$-invariant, the second moment of $a_p(t)$ is $p^2 + O(p^{{3}/{2}})$. The size… ▽ More For a fixed elliptic curve $E$ without complex multiplication, $a_p := p+1 - \#E(\mathbb{F}_p)$ is $O(\sqrt{p})$ and $a_p/2\sqrt{p}$ converges to a semicircular distribution. Michel proved that for a one-parameter family of elliptic curves $y^2 = x^3 + A(T)x + B(T)$ with $A(T), B(T) \in \mathbb{Z}[T]$ and non-constant $j$-invariant, the second moment of $a_p(t)$ is $p^2 + O(p^{{3}/{2}})$. The size and sign of the lower order terms has applications to the distribution of zeros near the central point of Hasse-Weil $L$-functions and the Birch and Swinnerton-Dyer conjecture. S. J. Miller conjectured that the highest order term of the lower order terms of the second moment that does not average to zero is on average negative. Previous work on the conjecture has been restricted to a small set of highly nongeneric families. We create a database and a framework to quickly and systematically investigate biases in the second moment of any one-parameter family. When looking at families which have so far been beyond current theory, we find several potential violations of the conjecture for $p \leq 250,000$ and discuss new conjectures motivated by the data. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 16 pages, 18 figures

MSC Class: 11G05; 11G40

Black Hole Zeckendorf Games

Authors: Caroline Cashman, Steven J. Miller, Jenna Shuffleton, Daeyoung Son

Abstract: Zeckendorf proved a remarkable fact that every positive integer can be written as a decomposition of non-adjacent Fibonacci numbers. Baird-Smith, Epstein, Flint, and Miller converted the process of decomposing a positive integer into its Zeckendorf decomposition into a game, using the moves of $F_i + F_{i-1} = F_{i+1}$ and $2F_i = F_{i+1} + F_{i-2}$, where $F_i$ is the $i$thFibonacci number. Playe… ▽ More Zeckendorf proved a remarkable fact that every positive integer can be written as a decomposition of non-adjacent Fibonacci numbers. Baird-Smith, Epstein, Flint, and Miller converted the process of decomposing a positive integer into its Zeckendorf decomposition into a game, using the moves of $F_i + F_{i-1} = F_{i+1}$ and $2F_i = F_{i+1} + F_{i-2}$, where $F_i$ is the $i$thFibonacci number. Players take turns applying these moves, beginning with $n$ pieces in the $F_1$ column. They showed that for $n \neq 2$, Player 2 has a winning strategy, though the proof is non-constructive, and a constructive solution is unknown. We expand on this by investigating "black hole'' variants of this game. The Black Hole Zeckendorf game on $F_m$ is played with any $n$ but solely in columns $F_i$ for $i < m$. Gameplay is similar to the original Zeckendorf game, except any piece that would be placed on $F_i$ for $i \geq m$ is locked out in a ``black hole'' and removed from play. With these constraints, we analyze the games with black holes on $F_3$ and $F_4$ and construct a solution for specific configurations, using a parity-stealing based non-constructive proof to lead to a constructive one. We also examine a pre-game in which players take turns placing down $n$ pieces in the outermost columns before the decomposition phase, and find constructive solutions for any $n$. △ Less

Submitted 31 October, 2024; v1 submitted 17 September, 2024; originally announced September 2024.

Comments: 40 pages, 51 figures

A Spectral Representation of a Weighted Random Vectorial Field: Potential Applications to Turbulence and the Problem of Anomalous Dissipation in the Inviscid Limit

Authors: Steven D Miller

Abstract: Let ${\mathfrak{G}}\subset\mathbb{R}^{3}$ with $vol(\mathfrak{G})\sim L^{3}$. Let ${\mathscr{T}}(x)$ be a Gaussian random field $\forall~x\in\mathfrak{G}$ with expectation $\mathbf{E}[{\mathscr{T}}(x)]=0$ and correlation $\mathbf{E}[{\mathscr{T}}(x)\otimes{\mathscr{T}}(y)]=K(x,y;λ)$, an isotropic and regulated kernel with correlation length $λ$. The field has a Karhunen-Loeve spectral representati… ▽ More Let ${\mathfrak{G}}\subset\mathbb{R}^{3}$ with $vol(\mathfrak{G})\sim L^{3}$. Let ${\mathscr{T}}(x)$ be a Gaussian random field $\forall~x\in\mathfrak{G}$ with expectation $\mathbf{E}[{\mathscr{T}}(x)]=0$ and correlation $\mathbf{E}[{\mathscr{T}}(x)\otimes{\mathscr{T}}(y)]=K(x,y;λ)$, an isotropic and regulated kernel with correlation length $λ$. The field has a Karhunen-Loeve spectral representation ${\mathscr{T}}(x)=\sum_{I=1}^{\infty}\mathrm{Z}^{1/2}_{I}f_{I}(x)\otimes\mathscr{Z}_{I}$, with eigenvalues $\lbrace\mathrm{Z}_{I}\rbrace$, eigenfunctions $\lbrace f_{I}(x)\rbrace $ and Gaussian random variables $\mathscr{Z}_{I}$ with $\mathbf{E}[\mathscr{Z}_{I}]=0$ and $\mathbf{E}[\mathscr{Z}_{I}\otimes\mathscr{Z}_{J}]=δ_{IJ}$. If $\mathfrak{G}$ contains incompressible fluid of viscosity $ν$ with velocity $u_{a}(x,t)$ that evolves via the Navier-Stokes equations with a high 'Reynolds function' $\mathsf{RE}(x,t)=\tfrac{\|u_{a}(x,t)\|L}ν $ then aspects of a turbulent flow with $\mathsf{RE}(x,t)\gg \mathsf{RE}_{*}$, a critical Reynolds number, might be represented by the 'weighted' random field $\mathscr{U}_{a}(x,t)= u_{a}(x,t)+\mathrm{A}u_{a}(x,t)\big(\mathsf{RE}(x,t)-\mathsf{RE}_{*}\big)^β\sum_{I=1}^{\infty} \mathrm{Z}^{1/2}_{I}f_{I}(x)\otimes\mathscr{Z}_{I}$ where random fluctuations and amplitude scale nonlinearly with $\mathsf{RE}(x,t)$, with mean $\mathbf{E}[{\mathscr{U}}_{a}(x,t)] =u_{a}(x,t)$. In the inviscid limit one can prove an anomalous dissipation-type law \begin{align} \lim_{ν\rightarrow 0}\bigg(\lim_{u_{a}(x,t)\rightarrow {u}_{a}}\sup~ν\int_{\mathfrak{G}}\int_{0}^{T}{\mathbf{E}}\bigg[\bigg|{\nabla}_{a}{\mathscr{U}}_{a}(x,s)\bigg|^{2}\bigg]d\mathcal{V}(x) ds\bigg)>0 \end{align} iff $β=\tfrac{1}{2}$ and $\sum_{I=1}^{\infty}\mathrm{Z}_{I}\int_{\mathfrak{G}}{\nabla}_{a}f_{I}(x){\nabla}^{a}f_{I}(x)d\mathcal{V}(x)>0$. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 58 pages

Hyper-bishops, Hyper-rooks, and Hyper-queens: Percentage of Safe Squares on Higher Dimensional Chess Boards

Authors: Caroline Cashman, Joseph Cooper, Raul Marquez, Steven J. Miller, Jenna Shuffelton

Abstract: The $n$ queens problem considers the maximum number of safe squares on an $n \times n$ chess board when placing $n$ queens; the answer is only known for small $n$. Miller, Sheng and Turek considered instead $n$ randomly placed rooks, proving the proportion of safe squares converges to $1/e^2$. We generalize and solve when randomly placing $n$ hyper-rooks and $n^{k-1}$ line-rooks on a $k$-dimension… ▽ More The $n$ queens problem considers the maximum number of safe squares on an $n \times n$ chess board when placing $n$ queens; the answer is only known for small $n$. Miller, Sheng and Turek considered instead $n$ randomly placed rooks, proving the proportion of safe squares converges to $1/e^2$. We generalize and solve when randomly placing $n$ hyper-rooks and $n^{k-1}$ line-rooks on a $k$-dimensional board, using combinatorial and probabilistic methods, with the proportion of safe squares converging to $1/e^k$. We prove that the proportion of safe squares on an $n \times n$ board with bishops in 2 dimensions converges to $2/e^2$. This problem is significantly more interesting and difficult; while a rook attacks the same number of squares wherever it's placed, this is not so for bishops. We expand to the $k$-dimensional chessboard, defining line-bishops to attack along $2$-dimensional diagonals and hyper-bishops to attack in the $k-1$ dimensional subspace defined by its diagonals in the $k-2$ dimensional subspace. We then combine the movement of rooks and bishops to consider the movement of queens in 2 dimensions, as well as line-queens and hyper-queens in $k$ dimensions. △ Less

Submitted 28 December, 2024; v1 submitted 6 September, 2024; originally announced September 2024.

Comments: 19 pages, 6 figures. 12/28/2024 replacement is to fix a minor combinatorics error counting sub-planes, as well as superficial edits

MSC Class: 60C05; 05A16 (primary)

The anti-aligned spin of GW191109: glitch mitigation and its implications

Authors: Rhiannon Udall, Sophie Hourihane, Simona Miller, Derek Davis, Katerina Chatziioannou, Max Isi, Howard Deshong

Abstract: With a high total mass and an inferred effective spin anti-aligned with the orbital axis at the 99.9% level, GW191109 is one of the most promising candidates for a dynamical formation origin among gravitational wave events observed so far. However, the data containing GW191109 are afflicted with terrestrial noise transients, i.e., detector glitches, generated by the scattering of laser light in bo… ▽ More With a high total mass and an inferred effective spin anti-aligned with the orbital axis at the 99.9% level, GW191109 is one of the most promising candidates for a dynamical formation origin among gravitational wave events observed so far. However, the data containing GW191109 are afflicted with terrestrial noise transients, i.e., detector glitches, generated by the scattering of laser light in both LIGO detectors. We study the implications of the glitch(es) on the inferred properties and astrophysical interpretation of GW191109. Using time- and frequency-domain analysis methods, we isolate the critical data for spin inference to 35 - 40 Hz and 0.1 - 0.04 s before the merger in LIGO Livingston, directly coincident with the glitch. Using two models of glitch behavior, one tailored to slow scattered light and one more generic, we perform joint inference of the glitch and binary parameters. When the glitch is modeled as slow scattered light, the binary parameters favor anti-aligned spins, in agreement with existing interpretations. When more flexible glitch modeling based on sine-Gaussian wavelets is used instead, a bimodal aligned/anti-aligned solution emerges. The anti-aligned spin mode is correlated with a weaker inferred glitch and preferred by ~ 70 : 30 compared to the aligned spin mode and a stronger inferred glitch. We conclude that if we assume that the data are only impacted by slow scattering noise, then the anti-aligned spin inference is robust. However, the data alone cannot validate this assumption and resolve the anti-aligned spin and potentially dynamical formation history of GW191109. △ Less

Submitted 16 January, 2025; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: 19 pages, 9 figures

Journal ref: Phys. Rev. D 111, 024046 (2025)

A Pair of Diophantine Equations Involving the Fibonacci Numbers

Authors: Xuyuan Chen, Hung Viet Chu, Fadhlannafis K. Kesumajana, Dongho Kim, Liran Li, Steven J. Miller, Junchi Yang, Chris Yao

Abstract: Let $a, b\in \mathbb{N}$ be relatively prime. Previous work showed that exactly one of the two equations $ax + by = (a-1)(b-1)/2$ and $ax + by + 1 = (a-1)(b-1)/2$ has a nonnegative, integral solution; furthermore, the solution is unique. Let $F_n$ be the $n$th Fibonacci number. When $(a,b) = (F_n, F_{n+1})$, it is known that there is an explicit formula for the unique solution $(x,y)$. We establis… ▽ More Let $a, b\in \mathbb{N}$ be relatively prime. Previous work showed that exactly one of the two equations $ax + by = (a-1)(b-1)/2$ and $ax + by + 1 = (a-1)(b-1)/2$ has a nonnegative, integral solution; furthermore, the solution is unique. Let $F_n$ be the $n$th Fibonacci number. When $(a,b) = (F_n, F_{n+1})$, it is known that there is an explicit formula for the unique solution $(x,y)$. We establish formulas to compute the solution when $(a,b) = (F_n^2, F_{n+1}^2)$ and $(F_n^3, F_{n+1}^3)$, giving rise to some intriguing identities involving Fibonacci numbers. Additionally, we construct a different pair of equations that admits a unique positive (instead of nonnegative), integral solution. △ Less

Submitted 21 August, 2024; originally announced September 2024.

Comments: 12 pages

MSC Class: 11B39; 11D04

Stability of Matrix Recurrence Relations

Authors: Glenn Bruda, Bruce Fang, Pico Gilman, Raul Marquez, Steven J. Miller, Beni Prapashtica, Daeyoung Son, Saad Waheed, Janine Wang

Abstract: Motivated by the rich properties and various applications of recurrence relations, we consider the extension of traditional recurrence relations to matrices, where we use matrix multiplication and the Kronecker product to construct matrix sequences. We provide a sharp condition, which when satisfied, guarantees that any fixed-depth matrix recurrence relation defined over a product (with respect to… ▽ More Motivated by the rich properties and various applications of recurrence relations, we consider the extension of traditional recurrence relations to matrices, where we use matrix multiplication and the Kronecker product to construct matrix sequences. We provide a sharp condition, which when satisfied, guarantees that any fixed-depth matrix recurrence relation defined over a product (with respect to matrix multiplication) will converge to the zero matrix. We also show that the same statement applies to matrix recurrence relations defined over a Kronecker product. Lastly, we show that the dual of this condition, which remains sharp, guarantees the divergence of matrix recurrence relations defined over a consecutive Kronecker product. These results completely determine the stability of nontrivial fixed-depth complex-valued recurrence relations defined over a consecutive product. △ Less

Submitted 22 August, 2024; originally announced August 2024.

MSC Class: 11B37; 11B39; 15A24

On the Density of Low Lying Zeros of a Large Family of Automorphic $L$-functions

Authors: Timothy Cheek, Pico Gilman, Kareem Jaber, Steven J. Miller, Marie-Hélène Tomé

Abstract: Under the generalized Riemann Hypothesis (GRH), Baluyot, Chandee, and Li nearly doubled the range in which the density of low lying zeros predicted by Katz and Sarnak is known to hold for a large family of automorphic $L$-functions with orthogonal symmetry. We generalize their main techniques to the study of higher centered moments of the one-level density of this family, leading to better results… ▽ More Under the generalized Riemann Hypothesis (GRH), Baluyot, Chandee, and Li nearly doubled the range in which the density of low lying zeros predicted by Katz and Sarnak is known to hold for a large family of automorphic $L$-functions with orthogonal symmetry. We generalize their main techniques to the study of higher centered moments of the one-level density of this family, leading to better results on the behavior near the central point. Numerous technical obstructions emerge that are not present in the one-level density. Averaging over the level of the forms and assuming GRH, we prove the density predicted by Katz and Sarnak holds for the $n$-th centered moments for test functions whose Fourier transform is compactly supported in $(-σ, σ)$ for $σ~=~\min\left\{3/2(n-1), 4/(2n-\mathbf{1}_{2\nmid n})\right\}$. For $n=3$, our results improve the previously best known $σ=2/3$ to $σ=3/4$. We also prove the two-level density agrees with the Katz-Sarnak density conjecture for test functions whose Fourier transform is compactly supported in $σ_1 = 3/2$ and $σ_2 = 5/6$, respectively, extending the previous best known sum of supports $σ_1 + σ_2 = 2$. This work is the first evidence of an interesting new phenomenon: by taking different test functions, we are able to extend the range in which the Katz-Sarnak density predictions hold. The techniques we develop can be applied to understanding quantities related to this family containing sums over multiple primes. △ Less

Submitted 16 August, 2024; originally announced August 2024.

Comments: 36 pages

MSC Class: 11M41 (Primary); 60B20 (Secondary)

Variants of Conway Checkers and k-nacci Jumping

Authors: Glenn Bruda, Joseph Cooper, Kareem Jaber, Raul Marquez, Steven J. Miller

Abstract: Conway Checkers is a game played with a checker placed in each square of the lower half of an infinite checkerboard. Pieces move by jumping over an adjacent checker, removing the checker jumped over. Conway showed that it is not possible to reach row 5 in finitely many moves by weighting each cell in the board by powers of the golden ratio such that no move increases the total weight. Other author… ▽ More Conway Checkers is a game played with a checker placed in each square of the lower half of an infinite checkerboard. Pieces move by jumping over an adjacent checker, removing the checker jumped over. Conway showed that it is not possible to reach row 5 in finitely many moves by weighting each cell in the board by powers of the golden ratio such that no move increases the total weight. Other authors have considered the game played on many different boards, including generalising the standard game to higher dimensions. We work on a board of arbitrary dimension, where we allow a cell to hold multiple checkers and begin with m checkers on each cell. We derive an upper bound and a constructive lower bound on the height that can be reached, such that the upper bound almost never fails to be equal to the lower bound. We also consider the more general case where instead of jumping over 1 checker, each checker moves by jumping over k checkers, and again show the maximum height reachable lies within bounds that are almost always equal. △ Less

Submitted 13 May, 2025; v1 submitted 16 August, 2024; originally announced August 2024.

Comments: 18 pages, 7 figures

Stochastic diffusion using mean-field limits to approximate master equations

Authors: Laurent Hébert-Dufresne, Matthew M. Kling, Samuel F. Rosenblatt, Stephanie N. Miller, P. Alexander Burnham, Nicholas W. Landry, Nicholas J. Gotelli, Brian J. McGill

Abstract: Stochastic diffusion is the noisy and uncertain process through which dynamics like epidemics, or agents like animal species, disperse over a larger area. Understanding these processes is becoming increasingly important as we attempt to better prepare for potential pandemics and as species ranges shift in response to climate change. Unfortunately, modeling of stochastic diffusion is mostly done th… ▽ More Stochastic diffusion is the noisy and uncertain process through which dynamics like epidemics, or agents like animal species, disperse over a larger area. Understanding these processes is becoming increasingly important as we attempt to better prepare for potential pandemics and as species ranges shift in response to climate change. Unfortunately, modeling of stochastic diffusion is mostly done through inaccurate deterministic tools that fail to capture the random nature of dispersal or else through expensive computational simulations. In particular, standard tools fail to fully capture the heterogeneity of the area over which this diffusion occurs. Rural areas with low population density require different epidemic models than urban areas; likewise, the edges of a species range require us to explicitly track low integer numbers of individuals rather than vague averages. In this work, we introduce a series of new tools called "mean-FLAME" models that track stochastic dispersion using approximate master equations that explicitly follow the probability distribution of an area of interest over all of its possible states, up to states that are active enough to be approximated using a mean-field model. In one limit, this approach is locally exact if we explicitly track enough states, and in the other limit collapses back to traditional deterministic models if we track no state explicitly. Applying this approach, we show how deterministic tools fail to capture the uncertainty around the speed of nonlinear dynamical processes. This is especially true for marginal areas that are close to unsuitable for diffusion, like the edge of a species range or epidemics in small populations. Capturing the uncertainty in such areas is key to producing accurate forecasts and guiding potential interventions. △ Less

Submitted 14 August, 2024; originally announced August 2024.

Comments: For supplemental appendix, see "Ancillary files" under "Access paper" on the right

On endosplit $p$-permutation resolutions and Broué's conjecture for $p$-solvable groups

Authors: Sam K. Miller

Abstract: Endosplit $p$-permutation resolutions play an instrumental role in verifying Broué's abelian defect group conjecture in numerous cases. In this article, we give a complete classification of endosplit $p$-permutation resolutions and reduce the question of Galois descent of an endosplit $p$-permutation resolution to the Galois descent of the module it resolves. This is shown using techniques from th… ▽ More Endosplit $p$-permutation resolutions play an instrumental role in verifying Broué's abelian defect group conjecture in numerous cases. In this article, we give a complete classification of endosplit $p$-permutation resolutions and reduce the question of Galois descent of an endosplit $p$-permutation resolution to the Galois descent of the module it resolves. This is shown using techniques from the study of endotrivial complexes, the invertible objects of the bounded homotopy category of $p$-permutation modules. As an application, we show that a refinement of Broué's conjecture proposed by Kessar and Linckelmann holds for blocks of $p$-solvable groups $G$ satisfying $G = O_{p',p,p'}(G)$. △ Less

Submitted 3 June, 2025; v1 submitted 7 August, 2024; originally announced August 2024.

Comments: 24 pages. v2: The scope of Section 5 has been reduced; Lemma 5.14 of v1 is incorrect. Added a remark describing the obstruction and an explicit counterexample

MSC Class: 20C20; 20J05

A User Study Method on Healthy Participants for Assessing an Assistive Wearable Robot Utilising EMG Sensing

Authors: Cem Suulker, Alexander Greenway, Sophie Skach, Ildar Farkhatdinov, Stuart Charles Miller, Kaspar Althoefer

Abstract: Hand-wearable robots, specifically exoskeletons, are designed to aid hands in daily activities, playing a crucial role in post-stroke rehabilitation and assisting the elderly. Our contribution to this field is a textile robotic glove with integrated actuators. These actuators, powered by pneumatic pressure, guide the user's hand to a desired position. Crafted from textile materials, our soft robot… ▽ More Hand-wearable robots, specifically exoskeletons, are designed to aid hands in daily activities, playing a crucial role in post-stroke rehabilitation and assisting the elderly. Our contribution to this field is a textile robotic glove with integrated actuators. These actuators, powered by pneumatic pressure, guide the user's hand to a desired position. Crafted from textile materials, our soft robotic glove prioritizes safety, lightweight construction, and user comfort. Utilizing the ruffles technique, integrated actuators guarantee high performance in blocking force and bending effectiveness. Here, we present a participant study confirming the effectiveness of our robotic device on a healthy participant group, exploiting EMG sensing. △ Less

Submitted 31 July, 2024; originally announced August 2024.

Comments: 3 pages, 4 figures, conference. arXiv admin note: text overlap with arXiv:2305.17720

Journal ref: Assistive Systems: Lab to Patient Care, ICRA2024 Workshop

A Random Matrix Model for a Family of Cusp Forms

Authors: Owen Barrett, Zoë X. Batterman, Aditya Jambhale, Steven J. Miller, Akash L. Narayanan, Kishan Sharma, Chris Yao

Abstract: The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central po… ▽ More The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve $L$-function families. This led to the creation of the excised model of Dueñez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are well fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We extended this model for a family of twists of an $L$-function associated to a given holomorphic cuspidal newform of odd prime level and arbitrary weight. We derive the corresponding "effective" matrix size for a given form by computing the one-level density and pair-correlation statistics for a chosen family of twists, and we show there is no repulsion for forms with weight greater than 2 and principal nebentype. We experimentally verify the accuracy of the model, and as expected, our model recovers the elliptic curve model. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 55 pages, 13 figures. arXiv admin note: substantial text overlap with arXiv:2402.06641

MSC Class: 11M26; 11M50; 15B52; 15B10

Sum of Consecutive Terms of Pell and Related Sequences

Authors: Navvye Anand, Amit Kumar Basistha, Kenny B. Davenport, Alexander Gong, Florian Luca, Steven J. Miller, Alexander Zhu

Abstract: We study new identities related to the sums of adjacent terms in the Pell sequence, defined by $P_{n} := 2P_{n-1}+P_{n-2}$ for $ n\geq 2$ and $P_{0}=0, P_{1}=1$, and generalize these identities for many similar sequences. We prove that the sum of $N>1$ consecutive Pell numbers is a fixed integer multiple of another Pell number if and only if $4\mid N$. We consider the generalized Pell $(k,i)$-numb… ▽ More We study new identities related to the sums of adjacent terms in the Pell sequence, defined by $P_{n} := 2P_{n-1}+P_{n-2}$ for $ n\geq 2$ and $P_{0}=0, P_{1}=1$, and generalize these identities for many similar sequences. We prove that the sum of $N>1$ consecutive Pell numbers is a fixed integer multiple of another Pell number if and only if $4\mid N$. We consider the generalized Pell $(k,i)$-numbers defined by $p(n) :=\ 2p(n-1)+p(n-k-1) $ for $n\geq k+1$, with $p(0)=p(1)=\cdots =p(i)=0$ and $p(i+1)=\cdots = p(k)=1$ for $0\leq i\leq k-1$, and prove that the sum of $N=2k+2$ consecutive terms is a fixed integer multiple of another term in the sequence. We also prove that for the generalized Pell $(k,k-1)$-numbers such a relation does not exist when $N$ and $k$ are odd. We give analogous results for the Fibonacci and other related second-order recursive sequences. △ Less

Submitted 14 January, 2025; v1 submitted 13 July, 2024; originally announced July 2024.

Comments: 37 Pages. Comments welcome!

MSC Class: 11Bxx; 11B37; 11B39; 11B50

Swift-BAT GUANO follow-up of gravitational-wave triggers in the third LIGO-Virgo-KAGRA observing run

Authors: Gayathri Raman, Samuele Ronchini, James Delaunay, Aaron Tohuvavohu, Jamie A. Kennea, Tyler Parsotan, Elena Ambrosi, Maria Grazia Bernardini, Sergio Campana, Giancarlo Cusumano, Antonino D'Ai, Paolo D'Avanzo, Valerio D'Elia, Massimiliano De Pasquale, Simone Dichiara, Phil Evans, Dieter Hartmann, Paul Kuin, Andrea Melandri, Paul O'Brien, Julian P. Osborne, Kim Page, David M. Palmer, Boris Sbarufatti, Gianpiero Tagliaferri , et al. (1797 additional authors not shown)

Abstract: We present results from a search for X-ray/gamma-ray counterparts of gravitational-wave (GW) candidates from the third observing run (O3) of the LIGO-Virgo-KAGRA (LVK) network using the Swift Burst Alert Telescope (Swift-BAT). The search includes 636 GW candidates received in low latency, 86 of which have been confirmed by the offline analysis and included in the third cumulative Gravitational-Wav… ▽ More We present results from a search for X-ray/gamma-ray counterparts of gravitational-wave (GW) candidates from the third observing run (O3) of the LIGO-Virgo-KAGRA (LVK) network using the Swift Burst Alert Telescope (Swift-BAT). The search includes 636 GW candidates received in low latency, 86 of which have been confirmed by the offline analysis and included in the third cumulative Gravitational-Wave Transient Catalogs (GWTC-3). Targeted searches were carried out on the entire GW sample using the maximum--likelihood NITRATES pipeline on the BAT data made available via the GUANO infrastructure. We do not detect any significant electromagnetic emission that is temporally and spatially coincident with any of the GW candidates. We report flux upper limits in the 15-350 keV band as a function of sky position for all the catalog candidates. For GW candidates where the Swift-BAT false alarm rate is less than 10$^{-3}$ Hz, we compute the GW--BAT joint false alarm rate. Finally, the derived Swift-BAT upper limits are used to infer constraints on the putative electromagnetic emission associated with binary black hole mergers. △ Less

Submitted 27 March, 2025; v1 submitted 13 July, 2024; originally announced July 2024.

Comments: Update to version accepted for publication in ApJ. 50 pages, 10 figures, 4 tables

Journal ref: ApJ, Volume 980, 2025, 207

On the Within-perfect Numbers

Authors: Chung-Hang Kwan, Steven J. Miller

Abstract: Motivated by the works of Erdös, Pomerance, Wolke and Harman on the sum-of-divisor function $σ(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function. Motivated by the works of Erdös, Pomerance, Wolke and Harman on the sum-of-divisor function $σ(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function. △ Less

Submitted 9 September, 2024; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: Minor changes, Accepted for publication. This article together with arXiv:1610.04253v4 (published in Acta Arithmetica 194 (2020), 341-366) supersede arXiv:1610.04253v2

MSC Class: 11A25 (primary); 11N25; 11B83 (secondary)

Galois descent of splendid Rickard equivalences for blocks of $p$-nilpotent groups

Authors: Sam K. Miller

Abstract: We strengthen the results of Boltje and Yilmaz regarding the Galois descent of equivalences of blocks of $p$-nilpotent groups and a result of Kessar and Linckelmann regarding Galois descent of splendid Rickard equivalences for blocks with compatible Galois stabilizers. A more general descent criteria for chain complexes is proven along the way, which requires the adaptation of a theorem of Reiner… ▽ More We strengthen the results of Boltje and Yilmaz regarding the Galois descent of equivalences of blocks of $p$-nilpotent groups and a result of Kessar and Linckelmann regarding Galois descent of splendid Rickard equivalences for blocks with compatible Galois stabilizers. A more general descent criteria for chain complexes is proven along the way, which requires the adaptation of a theorem of Reiner for chain complexes. This verifies Kessar and Linckelmann's refinement of Broué's abelian defect group conjecture for blocks of $p$-nilpotent groups with abelian Sylow $p$-subgroup. △ Less

Submitted 9 October, 2024; v1 submitted 25 May, 2024; originally announced May 2024.

Comments: Fixed an assumption error in Theorem 6 and added a necessary lemma to prove Corollary 8. 7 pages

MSC Class: 20C20; 20J05; 20C05; 20F19; 18G35

Upper Bounds for the Lowest First Zero in Families of Cuspidal Newforms

Authors: Xueyiming Tang, Steven J. Miller

Abstract: Assuming the Generalized Riemann Hypothesis, the non-trivial zeros of $L$-functions lie on the critical line with the real part $1/2$. We find an upper bound of the lowest first zero in families of even cuspidal newforms of prime level tending to infinity. We obtain explicit bounds using the $n$-level densities and results towards the Katz-Sarnak density conjecture. We prove that as the level tend… ▽ More Assuming the Generalized Riemann Hypothesis, the non-trivial zeros of $L$-functions lie on the critical line with the real part $1/2$. We find an upper bound of the lowest first zero in families of even cuspidal newforms of prime level tending to infinity. We obtain explicit bounds using the $n$-level densities and results towards the Katz-Sarnak density conjecture. We prove that as the level tends to infinity, there is at least one form with a normalized zero within $1/4$ of the average spacing. We also obtain the first-ever bounds on the percentage of forms in these families with a fixed number of zeros within a small distance near the central point. △ Less

Submitted 18 May, 2024; originally announced May 2024.

Comments: Version 1.0, 18 pages, 2 figures

MSC Class: 11M41 (primary); 60B20 (secondary)

$v$-Palindromes: An Analogy to the Palindromes

Authors: Chris Bispels, Muhammet Boran, Steven J. Miller, Eliel Sosis, Daniel Tsai

Abstract: Around the year 2007, one of the authors, Tsai, accidentally discovered a property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, which have prime factorizations $198 = 2\cdot 3^2\cdot 11$ and $891 = 3^4\cdot 11$ respectively, and sum the numbers appearing in each factorization getting $2+3+2+11 = 18$ and $3+4+11 = 18$, both sums are… ▽ More Around the year 2007, one of the authors, Tsai, accidentally discovered a property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, which have prime factorizations $198 = 2\cdot 3^2\cdot 11$ and $891 = 3^4\cdot 11$ respectively, and sum the numbers appearing in each factorization getting $2+3+2+11 = 18$ and $3+4+11 = 18$, both sums are $18$. Such numbers were later named $v$-palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a $v$-palindrome in base $b$ and prove their existence for infinitely many bases. We also exhibit infinite families of $v$-palindromes in bases $p+1$ and $p^2+1$, for each odd prime $p$. Finally, we collect some conjectures and problems involving $v$-palindromes. △ Less

Submitted 24 April, 2024; originally announced May 2024.

Comments: 22 pages, 2 figures, 1 table. arXiv admin note: substantial text overlap with arXiv:2111.10211

MSC Class: (Primary) 11A63; (Secondary) 11A25; 11A51

The influence of dark excitons on the electroabsorption spectrum of polyacetylene

Authors: Jaspal Singh Bola, Ryan M. Stolley, Prashanna Poudel, Joel S. Miller, Christoph Boheme, Z. Valy Vardeny

Abstract: This study revisits the electroabsorption (EA) spectrum of polyacetylene, as functions of the electric field strength, isomerization degree, and light polarization states. The EA spectrum of $cis$-$(CH)_x$ reveals an oscillatory feature that follows the Stark shift-related first derivative of the materials absorption spectrum that contains v(0-1) and v(0-2) sidebands of the excited $C=C$ stretchin… ▽ More This study revisits the electroabsorption (EA) spectrum of polyacetylene, as functions of the electric field strength, isomerization degree, and light polarization states. The EA spectrum of $cis$-$(CH)_x$ reveals an oscillatory feature that follows the Stark shift-related first derivative of the materials absorption spectrum that contains v(0-1) and v(0-2) sidebands of the excited $C=C$ stretching vibration that agrees well with the Raman spectrum. EA spectrum of $trans $-$(CH)_x$ does not match the first derivative of the materials absorption spectrum, and the phonon sideband frequency does not agree with the RS spectrum. EA spectrum of $trans $-$(CH)_x$ reveals a band below the first allowed $1B_u$ exciton. We interpret this feature as due to the electric field activated even-parity dark (forbidden) exciton, namely $mA_g$ ($m >1$), showing that the nonluminescent $trans $-$(CH)_x$ is due to the reverse order of the excited states, where a dark $mA_g$ exciton lies below the allowed $1B_u$ exciton. This agrees with the unusual phonon sideband in $trans $-$(CH)_x$ absorption, since the excited state attenuation caused by the fast internal conversion from $1B_u$ to $mA_g$ influences the apparent frequency that determines the phonon sideband. Consequently, from the EA and RS spectra we estimate the $1B_u$ lifetime in $trans $-$(CH)_x$ to be $\sim 30$ fs. Integrated EA spectrum of $trans $-$(CH)_x$ shows a traditional Huang-Rhys type series with a relaxation parameter, $S \sim 0.5$. This indicates that the EA spectrum of the $trans $ isomer is also determined by a Stark shift related to the first derivative of the absorption spectrum, but preferentially for the longest chains in the films chain lengths distribution. This is due to the $N^3$ response of the non-linear susceptibility, $χ^{(3)}$ ($\sim$EA), dependence on the chain length having $N$ monomers. △ Less

Submitted 5 May, 2024; originally announced May 2024.

WorkBench: a Benchmark Dataset for Agents in a Realistic Workplace Setting

Authors: Olly Styles, Sam Miller, Patricio Cerda-Mardini, Tanaya Guha, Victor Sanchez, Bertie Vidgen

Abstract: We introduce WorkBench: a benchmark dataset for evaluating agents' ability to execute tasks in a workplace setting. WorkBench contains a sandbox environment with five databases, 26 tools, and 690 tasks. These tasks represent common business activities, such as sending emails and scheduling meetings. The tasks in WorkBench are challenging as they require planning, tool selection, and often multiple… ▽ More We introduce WorkBench: a benchmark dataset for evaluating agents' ability to execute tasks in a workplace setting. WorkBench contains a sandbox environment with five databases, 26 tools, and 690 tasks. These tasks represent common business activities, such as sending emails and scheduling meetings. The tasks in WorkBench are challenging as they require planning, tool selection, and often multiple actions. If a task has been successfully executed, one (or more) of the database values may change. The correct outcome for each task is unique and unambiguous, which allows for robust, automated evaluation. We call this key contribution outcome-centric evaluation. We evaluate five existing ReAct agents on WorkBench, finding they successfully complete as few as 3% of tasks (Llama2-70B), and just 43% for the best-performing (GPT-4). We further find that agents' errors can result in the wrong action being taken, such as an email being sent to the wrong person. WorkBench reveals weaknesses in agents' ability to undertake common business activities, raising questions about their use in high-stakes workplace settings. WorkBench is publicly available as a free resource at https://github.com/olly-styles/WorkBench. △ Less

Submitted 3 August, 2024; v1 submitted 1 May, 2024; originally announced May 2024.