-
Estimation and Visualization of Isosurface Uncertainty from Linear and High-Order Interpolation Methods
Authors:
Timbwaoga A. J. Ouermi,
Jixian Li,
Tushar Athawale,
Chris R. Johnson
Abstract:
Isosurface visualization is fundamental for exploring and analyzing 3D volumetric data. Marching cubes (MC) algorithms with linear interpolation are commonly used for isosurface extraction and visualization. Although linear interpolation is easy to implement, it has limitations when the underlying data is complex and high-order, which is the case for most real-world data. Linear interpolation can…
▽ More
Isosurface visualization is fundamental for exploring and analyzing 3D volumetric data. Marching cubes (MC) algorithms with linear interpolation are commonly used for isosurface extraction and visualization. Although linear interpolation is easy to implement, it has limitations when the underlying data is complex and high-order, which is the case for most real-world data. Linear interpolation can output vertices at the wrong location. Its inability to deal with sharp features and features smaller than grid cells can lead to an incorrect isosurface with holes and broken pieces. Despite these limitations, isosurface visualizations typically do not include insight into the spatial location and the magnitude of these errors. We utilize high-order interpolation methods with MC algorithms and interactive visualization to highlight these uncertainties. Our visualization tool helps identify the regions of high interpolation errors. It also allows users to query local areas for details and compare the differences between isosurfaces from different interpolation methods. In addition, we employ high-order methods to identify and reconstruct possible features that linear methods cannot detect. We showcase how our visualization tool helps explore and understand the extracted isosurface errors through synthetic and real-world data.
△ Less
Submitted 18 August, 2024;
originally announced September 2024.
-
Glyph-Based Uncertainty Visualization and Analysis of Time-Varying Vector Fields
Authors:
Timbwaoga A. J. Ouermi,
Jixian Li,
Zachary Morrow,
Bart van Bloemen Waanders,
Chris R. Johnson
Abstract:
Uncertainty is inherent to most data, including vector field data, yet it is often omitted in visualizations and representations. Effective uncertainty visualization can enhance the understanding and interpretability of vector field data. For instance, in the context of severe weather events such as hurricanes and wildfires, effective uncertainty visualization can provide crucial insights about fi…
▽ More
Uncertainty is inherent to most data, including vector field data, yet it is often omitted in visualizations and representations. Effective uncertainty visualization can enhance the understanding and interpretability of vector field data. For instance, in the context of severe weather events such as hurricanes and wildfires, effective uncertainty visualization can provide crucial insights about fire spread or hurricane behavior and aid in resource management and risk mitigation. Glyphs are commonly used for representing vector uncertainty but are often limited to 2D. In this work, we present a glyph-based technique for accurately representing 3D vector uncertainty and a comprehensive framework for visualization, exploration, and analysis using our new glyphs. We employ hurricane and wildfire examples to demonstrate the efficacy of our glyph design and visualization tool in conveying vector field uncertainty.
△ Less
Submitted 18 August, 2024;
originally announced September 2024.
-
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
Authors:
Keith J. C. Johnson,
Rahul Krishnan,
Thomas Reps,
Loris D'Antoni
Abstract:
In top-down enumeration for program synthesis, abstraction-based pruning uses an abstract domain to approximate the set of possible values that a partial program, when completed, can output on a given input. If the set does not contain the desired output, the partial program and all its possible completions can be pruned. In its general form, abstraction-based pruning requires manually designed, d…
▽ More
In top-down enumeration for program synthesis, abstraction-based pruning uses an abstract domain to approximate the set of possible values that a partial program, when completed, can output on a given input. If the set does not contain the desired output, the partial program and all its possible completions can be pruned. In its general form, abstraction-based pruning requires manually designed, domain-specific abstract domains and semantics, and thus has only been used in domain-specific synthesizers.
This paper provides sufficient conditions under which a form of abstraction-based pruning can be automated for arbitrary synthesis problems in the general-purpose Semantics-Guided Synthesis (SemGuS) framework without requiring manually-defined abstract domains. We show that if the semantics of the language for which we are synthesizing programs exhibits some monotonicity properties, one can obtain an abstract interval-based semantics for free from the concrete semantics of the programming language, and use such semantics to effectively prune the search space. We also identify a condition that ensures such abstract semantics can be used to compute a precise abstraction of the set of values that a program derivable from a given hole in a partial program can produce. These precise abstractions make abstraction-based pruning more effective.
We implement our approach in a tool, Moito, which can tackle synthesis problems defined in the SemGuS framework. Moito can automate interval-based pruning without any a-priori knowledge of the problem domain, and solve synthesis problems that previously required domain-specific, abstraction-based synthesizers -- e.g., synthesis of regular expressions, CSV file schema, and imperative programs from examples.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Synthesizing Formal Semantics from Executable Interpreters
Authors:
Jiangyi Liu,
Charlie Murphy,
Anvay Grover,
Keith J. C. Johnson,
Thomas Reps,
Loris D'Antoni
Abstract:
Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a formally defined semantics for the language. Because writing a formal semantics can be a daunting and error-prone task, this requirement stands in the way of such frameworks being adopted by non-expert users. We present an algorithm that can auto…
▽ More
Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a formally defined semantics for the language. Because writing a formal semantics can be a daunting and error-prone task, this requirement stands in the way of such frameworks being adopted by non-expert users. We present an algorithm that can automatically synthesize inductively defined syntax-directed semantics when given (i) a grammar describing the syntax of a language and (ii) an executable (closed-box) interpreter for computing the semantics of programs in the language of the grammar. Our algorithm synthesizes the semantics in the form of Constrained-Horn Clauses (CHCs), a natural, extensible, and formal logical framework for specifying inductively defined relations that has recently received widespread adoption in program verification and synthesis. The key innovation of our synthesis algorithm is a Counterexample-Guided Synthesis (CEGIS) approach that breaks the hard problem of synthesizing a set of constrained Horn clauses into small, tractable expression-synthesis problems that can be dispatched to existing SyGuS synthesizers. Our tool Synantic synthesized inductively-defined formal semantics from 14 interpreters for languages used in program-synthesis applications. When synthesizing formal semantics for one of our benchmarks, Synantic unveiled an inconsistency in the semantics computed by the interpreter for a language of regular expressions; fixing the inconsistency resulted in a more efficient semantics and, for some cases, in a 1.2x speedup for a synthesizer solving synthesis problems over such a language.
△ Less
Submitted 29 August, 2024; v1 submitted 26 August, 2024;
originally announced August 2024.
-
Variable Stars in M31 Stellar Clusters from the Panchromatic Hubble Andromeda Treasury
Authors:
Richard Smith,
Avi Patel,
Monika D. Soraisam,
Puragra Guhathakurta,
Pranav Tadepalli,
Sally Zhu,
Joseph Liu,
Léo Girardi,
L. Clifton Johnson,
Sagnick Mukherjee,
Knut A. G. Olsen,
Benjamin F. Williams
Abstract:
Variable stars in stellar clusters can offer key constraints on stellar evolution and pulsation models, utilising estimates of host cluster properties to constrain stellar physical parameters. We present a catalogue of 86 luminous (F814W<19) variable stars in M31 clusters identified by mining the archival Panchromatic Hubble Andromeda Treasury (PHAT) survey using a combination of statistical analy…
▽ More
Variable stars in stellar clusters can offer key constraints on stellar evolution and pulsation models, utilising estimates of host cluster properties to constrain stellar physical parameters. We present a catalogue of 86 luminous (F814W<19) variable stars in M31 clusters identified by mining the archival Panchromatic Hubble Andromeda Treasury (PHAT) survey using a combination of statistical analysis of sparse PHAT light curves and difference imaging. We determine the evolutionary phases and initial masses of these variable stars by matching them with theoretical isochrones generated using host cluster properties from the literature. We calculate the probability of PHAT photometry being blended due to the highly crowded nature of cluster environments for each cluster-variable star, using these probabilities to inform our level of confidence in the derived properties of each star. Our 86 cluster-variable stars have initial masses between 0.8--67 $M_{\odot}$. Their evolutionary phases span the main sequence, more evolved hydrogen- and helium-burning phases, and the post-asymptotic giant branch. We identify numerous candidate variable star types: RV Tauri variables, red supergiants and slowly pulsating B-type supergiants, along with Wolf Rayet stars, $α$ Cygni and Mira variables, a classical Cepheid and a possible super-asymptotic giant. We characterise 12 cluster-variable stars at higher confidence based on their difference image quality and lower blending probability. Ours is the first systematic study of variable stars in extragalactic stellar clusters leveraging the superior resolution of the Hubble Space Telescope and demonstrating the unique power of stellar clusters in constraining the fundamental properties of variable stars.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Uncertainty-Informed Volume Visualization using Implicit Neural Representation
Authors:
Shanu Saklani,
Chitwan Goel,
Shrey Bansal,
Zhe Wang,
Soumya Dutta,
Tushar M. Athawale,
David Pugmire,
Christopher R. Johnson
Abstract:
The increasing adoption of Deep Neural Networks (DNNs) has led to their application in many challenging scientific visualization tasks. While advanced DNNs offer impressive generalization capabilities, understanding factors such as model prediction quality, robustness, and uncertainty is crucial. These insights can enable domain scientists to make informed decisions about their data. However, DNNs…
▽ More
The increasing adoption of Deep Neural Networks (DNNs) has led to their application in many challenging scientific visualization tasks. While advanced DNNs offer impressive generalization capabilities, understanding factors such as model prediction quality, robustness, and uncertainty is crucial. These insights can enable domain scientists to make informed decisions about their data. However, DNNs inherently lack ability to estimate prediction uncertainty, necessitating new research to construct robust uncertainty-aware visualization techniques tailored for various visualization tasks. In this work, we propose uncertainty-aware implicit neural representations to model scalar field data sets effectively and comprehensively study the efficacy and benefits of estimated uncertainty information for volume visualization tasks. We evaluate the effectiveness of two principled deep uncertainty estimation techniques: (1) Deep Ensemble and (2) Monte Carlo Dropout (MCDropout). These techniques enable uncertainty-informed volume visualization in scalar field data sets. Our extensive exploration across multiple data sets demonstrates that uncertainty-aware models produce informative volume visualization results. Moreover, integrating prediction uncertainty enhances the trustworthiness of our DNN model, making it suitable for robustly analyzing and visualizing real-world scientific volumetric data sets.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Mass determination of two Jupiter-sized planets orbiting slightly evolved stars: TOI-2420 b and TOI-2485 b
Authors:
Ilaria Carleo,
Oscar Barrágan,
Carina M. Persson,
Malcolm Fridlund,
Kristine W. F. Lam,
Sergio Messina,
Davide Gandolfi,
Alexis M. S. Smith,
Marshall C. Johnson,
William Cochran,
Hannah L. M. Osborn,
Rafael Brahm,
David R. Ciardi,
Karen A. Collins,
Mark E. Everett,
Steven Giacalone,
Eike W. Guenther,
Artie Hatzes,
Coel Hellier,
Jonathan Horner Petr Kabáth,
Judith Korth,
Phillip MacQueen,
Thomas Masseron,
Felipe Murgas,
Grzegorz Nowak
, et al. (45 additional authors not shown)
Abstract:
Hot and warm Jupiters might have undergone the same formation and evolution path, but the two populations exhibit different distributions of orbital parameters, challenging our understanding on their actual origin. The present work, which is the results of our warm Jupiters survey carried out with the CHIRON spectrograph within the KESPRINT collaboration, aims to address this challenge by studying…
▽ More
Hot and warm Jupiters might have undergone the same formation and evolution path, but the two populations exhibit different distributions of orbital parameters, challenging our understanding on their actual origin. The present work, which is the results of our warm Jupiters survey carried out with the CHIRON spectrograph within the KESPRINT collaboration, aims to address this challenge by studying two planets that could help bridge the gap between the two populations. We report the confirmation and mass determination of a hot Jupiter (orbital period shorter than 10 days), TOI-2420\,b, and a warm Jupiter, TOI-2485\,b. We performed a joint analysis using a wide variety of spectral and photometric data in order to characterize these planetary systems. We found that TOI-2420\,b has an orbital period of P$_{\rm b}$=5.8 days, a mass of M$_{\rm b}$=0.9 M$_{\rm J}$ and a radius of R$_{\rm b}$=1.3 R$_{\rm J}$, with a planetary density of 0.477 \gc; while TOI-2485\,b has an orbital period of P$_{\rm b}$=11.2 days, a mass of M$_{\rm b}$=2.4 M$_{\rm J}$ and a radius of R$_{\rm b}$=1.1 R$_{\rm J}$ with density 2.36 \gc. With current parameters, the migration history for TOI-2420\,b and TOI-2485\,b is unclear: the high-eccentricity migration scenarios cannot be ruled out, and TOI-2485\,b's characteristics may rather support this scenario.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Constraints on cosmology beyond $Λ$CDM with kinetic Sunyaev Zel'dovich velocity reconstruction
Authors:
Jordan Krywonos,
Selim C. Hotinli,
Matthew C. Johnson
Abstract:
Kinetic Sunyaev Zel'dovich velocity reconstruction uses the statistically anisotropic cross-correlation between cosmic microwave background (CMB) temperature anisotropies and a galaxy survey to reconstruct the remotely observed CMB dipole. Using a reconstruction based on data from $\textit{Planck}$ and unWISE, we rule out non-linear Gpc-scale voids, provide the tightest constraint on the intrinsic…
▽ More
Kinetic Sunyaev Zel'dovich velocity reconstruction uses the statistically anisotropic cross-correlation between cosmic microwave background (CMB) temperature anisotropies and a galaxy survey to reconstruct the remotely observed CMB dipole. Using a reconstruction based on data from $\textit{Planck}$ and unWISE, we rule out non-linear Gpc-scale voids, provide the tightest constraint on the intrinsic dipole ($<14 \ {\rm km/s}$ at $68\%$ confidence), rule out matter-radiation isocurvature as an explanation of discrepancies between the measured CMB and galaxy number count dipoles, and constrain the amplitude of local-type primordial non-Gaussianity ($-220\lesssim f_{\rm NL}\lesssim 136$ at $68\%$ confidence) and compensated isocurvature ($-147\lesssim A_{\rm CIP} \lesssim 281$ at $68\%$ confidence). This representative set of constraints on beyond-$Λ$CDM scenarios demonstrates the breadth of fundamental science possible with measurements of secondary CMB anisotropies such as the kinetic Sunyaev Zel'dovich effect.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Klein Tunneling of Gigahertz Elastic Waves in Nanoelectromechanical Metamaterials
Authors:
Daehun Lee,
Yue Jiang,
Xiaoru Zhang,
Shahin Jahanbani,
Chengyu Wen,
Qicheng Zhang,
A. T. Charlie Johnson,
Keji Lai
Abstract:
Klein tunneling, the perfect transmission of a normally incident relativistic particle through an energy barrier, has been tested in various electronic, photonic, and phononic systems. Its potential in guiding and filtering classical waves in the Ultra High Frequency regime, on the other hand, has not been explored. Here, we report the realization of acoustic Klein tunneling in a nanoelectromechan…
▽ More
Klein tunneling, the perfect transmission of a normally incident relativistic particle through an energy barrier, has been tested in various electronic, photonic, and phononic systems. Its potential in guiding and filtering classical waves in the Ultra High Frequency regime, on the other hand, has not been explored. Here, we report the realization of acoustic Klein tunneling in a nanoelectromechanical metamaterial system operating at gigahertz frequencies. The piezoelectric potential profiles are obtained by transmission-mode microwave impedance microscopy, from which reciprocal-space maps can be extracted. The transmission rate of normally incident elastic waves is near unity in the Klein tunneling regime and drops significantly outside this frequency range, consistent with microwave network analysis. Strong angular dependent transmission is also observed by controlling the launching angle of the emitter interdigital transducer. This work broadens the horizon in exploiting high-energy-physics phenomena for practical circuit applications in both classical and quantum regimes.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Design, Construction, and Test of Compact, Distributed-Charge, X-Band Accelerator Systems that Enable Image-Guided, VHEE FLASH Radiotherapy
Authors:
Christopher P. J. Barty,
J. Martin Algots,
Alexander J. Amador,
James C. R. Barty,
Shawn M. Betts,
Marcelo A. Casteñada,
Matthew M. Chu,
Michael E. Daley,
Ricardo A. De Luna Lopez,
Derek A. Diviak,
Haytham H. Effarah,
Roberto Feliciano,
Adan Garcia,
Keith J. Grabiel,
Alex S. Griffin,
Frederic V. Hartemann,
Leslie Heid,
Yoonwoo Hwang,
Gennady Imeshev,
Michael Jentschel,
Christopher A. Johnson,
Kenneth W. Kinosian,
Agnese Lagzda,
Russell J. Lochrie,
Michael W. May
, et al. (18 additional authors not shown)
Abstract:
The design and optimization of laser-Compton x-ray systems based on compact distributed charge accelerator structures can enable micron-scale imaging of disease and the concomitant production of beams of Very High Energy Electrons (VHEEs) capable of producing FLASH-relevant dose rates. The physics of laser-Compton x-ray scattering ensures that the scattered x-rays follow exactly the trajectory of…
▽ More
The design and optimization of laser-Compton x-ray systems based on compact distributed charge accelerator structures can enable micron-scale imaging of disease and the concomitant production of beams of Very High Energy Electrons (VHEEs) capable of producing FLASH-relevant dose rates. The physics of laser-Compton x-ray scattering ensures that the scattered x-rays follow exactly the trajectory of the incident electrons, thus providing a route to image-guided, VHEE FLASH radiotherapy. The keys to a compact architecture capable of producing both laser-Compton x-rays and VHEEs are the use of X-band RF accelerator structures which have been demonstrated to operate with over 100 MeV/m acceleration gradients. The operation of these structures in a distributed charge mode in which each radiofrequency (RF) cycle of the drive RF pulse is filled with a low-charge, high-brightness electron bunch is enabled by the illumination of a high-brightness photogun with a train of UV laser pulses synchronized to the frequency of the underlying accelerator system. The UV pulse trains are created by a patented pulse synthesis approach which utilizes the RF clock of the accelerator to phase and amplitude modulate a narrow band continuous wave (CW) seed laser. In this way it is possible to produce up to 10 μA of average beam current from the accelerator. Such high current from a compact accelerator enables production of sufficient x-rays via laser-Compton scattering for clinical imaging and does so from a machine of "clinical" footprint. At the same time, the production of 1000 or greater individual micro-bunches per RF pulse enables > 10 nC of charge to be produced in a macrobunch of < 100 ns. The design, construction, and test of the 100-MeV class prototype system in Irvine, CA is also presented.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Contrastive Learning with Dynamic Localized Repulsion for Brain Age Prediction on 3D Stiffness Maps
Authors:
Jakob Träuble,
Lucy Hiscox,
Curtis Johnson,
Carola-Bibiane Schönlieb,
Gabriele Kaminski Schierle,
Angelica Aviles-Rivero
Abstract:
In the field of neuroimaging, accurate brain age prediction is pivotal for uncovering the complexities of brain aging and pinpointing early indicators of neurodegenerative conditions. Recent advancements in self-supervised learning, particularly in contrastive learning, have demonstrated greater robustness when dealing with complex datasets. However, current approaches often fall short in generali…
▽ More
In the field of neuroimaging, accurate brain age prediction is pivotal for uncovering the complexities of brain aging and pinpointing early indicators of neurodegenerative conditions. Recent advancements in self-supervised learning, particularly in contrastive learning, have demonstrated greater robustness when dealing with complex datasets. However, current approaches often fall short in generalizing across non-uniformly distributed data, prevalent in medical imaging scenarios. To bridge this gap, we introduce a novel contrastive loss that adapts dynamically during the training process, focusing on the localized neighborhoods of samples. Moreover, we expand beyond traditional structural features by incorporating brain stiffness, a mechanical property previously underexplored yet promising due to its sensitivity to age-related changes. This work presents the first application of self-supervised learning to brain mechanical properties, using compiled stiffness maps from various clinical studies to predict brain age. Our approach, featuring dynamic localized loss, consistently outperforms existing state-of-the-art methods, demonstrating superior performance and laying the way for new directions in brain aging research.
△ Less
Submitted 1 August, 2024;
originally announced August 2024.
-
Analysis of natural cardinal ranking vectors for pairwise comparisons and the universal efficiency of the Perron geometric mean
Authors:
S. Furtado,
C. R. Johnson
Abstract:
In models using pair-wise (ratio) comparisons among alternatives, a cardinal ranking vector should be deduced from a reciprocal matrix. The right Perron eigenvector (RP) was traditionally used, though several other options have emerged. We consider some alternatives, mostly new, namely the entry-wise reciprocal of the left Perron vector (LP), the left singular vector (LS), the entry-wise reciproca…
▽ More
In models using pair-wise (ratio) comparisons among alternatives, a cardinal ranking vector should be deduced from a reciprocal matrix. The right Perron eigenvector (RP) was traditionally used, though several other options have emerged. We consider some alternatives, mostly new, namely the entry-wise reciprocal of the left Perron vector (LP), the left singular vector (LS), the entry-wise reciprocal of the right singular vector (RS), the arithmetic and geometric means of RP and LP (AP and GP), and of LS and RS (AS and GS). (The ranking vector AS was proposed by Gass and Rapcsák (2004)). All 8 of these vectors produce the natural vector in the consistent case. We compare them empirically, in terms of efficiency, for random matrices, as a function of the number of alternatives. It turns out that the vector GP is universily efficient, and this fact is proven. The vector GS performs better that the remaining 6 vectors. We show that, for reciprocal matrices obtained from consistent matrices by modifying one column and the corresponding row, all 8 vectors are efficient. Moreover, the cone generated by the columns is efficient.
△ Less
Submitted 2 September, 2024; v1 submitted 1 August, 2024;
originally announced August 2024.
-
Algorithmic Pot Generation: Algorithms for the Flexible-Tile Model of DNA Self-Assembly
Authors:
Jacob Ashworth,
Luca Grossmann,
Fausto Navarro,
Leyda Almodovar,
Amanda Harsy,
Cory Johnson,
Jessica Sorrells
Abstract:
Recent advancements in microbiology have motivated the study of the production of nanostructures with applications such as biomedical computing and molecular robotics. One way to construct these structures is to construct branched DNA molecules that bond to each other at complementary cohesive ends. One practical question is: given a target nanostructure, what is the optimal set of DNA molecules t…
▽ More
Recent advancements in microbiology have motivated the study of the production of nanostructures with applications such as biomedical computing and molecular robotics. One way to construct these structures is to construct branched DNA molecules that bond to each other at complementary cohesive ends. One practical question is: given a target nanostructure, what is the optimal set of DNA molecules that assemble such a structure? We use a flexible-tile graph theoretic model to develop several algorithmic approaches, including a integer programming approach. These approaches take a target undirected graph as an input and output an optimal collection of component building blocks to construct the desired structure.
△ Less
Submitted 31 July, 2024;
originally announced August 2024.
-
Uncertainty Visualization of Critical Points of 2D Scalar Fields for Parametric and Nonparametric Probabilistic Models
Authors:
Tushar M. Athawale,
Zhe Wang,
David Pugmire,
Kenneth Moreland,
Qian Gong,
Scott Klasky,
Chris R. Johnson,
Paul Rosen
Abstract:
This paper presents a novel end-to-end framework for closed-form computation and visualization of critical point uncertainty in 2D uncertain scalar fields. Critical points are fundamental topological descriptors used in the visualization and analysis of scalar fields. The uncertainty inherent in data (e.g., observational and experimental data, approximations in simulations, and compression), howev…
▽ More
This paper presents a novel end-to-end framework for closed-form computation and visualization of critical point uncertainty in 2D uncertain scalar fields. Critical points are fundamental topological descriptors used in the visualization and analysis of scalar fields. The uncertainty inherent in data (e.g., observational and experimental data, approximations in simulations, and compression), however, creates uncertainty regarding critical point positions. Uncertainty in critical point positions, therefore, cannot be ignored, given their impact on downstream data analysis tasks. In this work, we study uncertainty in critical points as a function of uncertainty in data modeled with probability distributions. Although Monte Carlo (MC) sampling techniques have been used in prior studies to quantify critical point uncertainty, they are often expensive and are infrequently used in production-quality visualization software. We, therefore, propose a new end-to-end framework to address these challenges that comprises a threefold contribution. First, we derive the critical point uncertainty in closed form, which is more accurate and efficient than the conventional MC sampling methods. Specifically, we provide the closed-form and semianalytical (a mix of closed-form and MC methods) solutions for parametric (e.g., uniform, Epanechnikov) and nonparametric models (e.g., histograms) with finite support. Second, we accelerate critical point probability computations using a parallel implementation with the VTK-m library, which is platform portable. Finally, we demonstrate the integration of our implementation with the ParaView software system to demonstrate near-real-time results for real datasets.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
God of the Gaps: Random matrix models and the black hole spectral gap
Authors:
Clifford V. Johnson,
Mykhaylo Usatyuk
Abstract:
We show that random matrix models are a natural tool for understanding the appearance of a large gap in the microstate spectrum of black holes when there is a high degeneracy of states, in a variety of settings. While the most natural context is extended supersymmetry, where the number of BPS states scales as ${\rm e}^{S_0}$, where $S_0$ is the $T{=}0$ entropy, it is a robust feature that a large…
▽ More
We show that random matrix models are a natural tool for understanding the appearance of a large gap in the microstate spectrum of black holes when there is a high degeneracy of states, in a variety of settings. While the most natural context is extended supersymmetry, where the number of BPS states scales as ${\rm e}^{S_0}$, where $S_0$ is the $T{=}0$ entropy, it is a robust feature that a large gap will appear whenever there is a mechanism producing a high degree of degeneracy. In random matrix model terms, the phenomenon is simply an extreme case of eigenvalue repulsion in the effective log gas description. We exhibit several examples for illustration, starting with the simple Wishart model, continuing with extensions of it that incorporate multicritical behaviour allowing for the emergence of gravity, and culminating in using such models to non-perturbatively construct ${N}{=}2$ and ${N}{=}4$ JT supergravity theories, the latter of which is new.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
First experimental test of the ratio method for nuclear-reaction analysis
Authors:
S. Ota,
P. Capel,
G. Christian,
V. Durant,
K. Hagel,
E. Harris,
R. C. Johnson,
Z. Luo,
F. M. Nunes,
M. Roosa,
A. Saastamoinen,
D. P. Scriven
Abstract:
Nuclear halos are very exotic quantal structures observed far from stability. Because of their short lifetime, they are mostly studied through reactions. The ratio method offers a new observable: the ratio of angular differential cross sections for breakup and scattering. It is predicted to be much more sensitive to the projectile structure than individual cross sections thanks to its independence…
▽ More
Nuclear halos are very exotic quantal structures observed far from stability. Because of their short lifetime, they are mostly studied through reactions. The ratio method offers a new observable: the ratio of angular differential cross sections for breakup and scattering. It is predicted to be much more sensitive to the projectile structure than individual cross sections thanks to its independence of the reaction process. We test this new observable experimentally for the first time considering the collision of 11Be on C at 22.8 MeV/nucleon. We extend this analysis to similar data recently measured on Pb at 19.1 MeV/nucleon. Both analyses confirm the theoretical predictions, which opens the door to a new era in the study of nuclear structure near the neutron dripline. This should prove invaluable in conjunction with the start of FRIB. The ratio method could also be extended to other fields of quantum physics beyond nuclear reactions.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Evaluation of Provenance Serialisations for Astronomical Provenance
Authors:
Michael A. C. Johnson,
Marcus Paradies,
Hans-Rainer Klöckner,
Albina Muzafarova,
Kristen Lackeos,
David J. Champion,
Marta Dembska,
Sirko Schindler
Abstract:
Provenance data from astronomical pipelines are instrumental in establishing trust and reproducibility in the data processing and products. In addition, astronomers can query their provenance to answer questions routed in areas such as anomaly detection, recommendation, and prediction. The next generation of astronomical survey telescopes such as the Vera Rubin Observatory or Square Kilometre Arra…
▽ More
Provenance data from astronomical pipelines are instrumental in establishing trust and reproducibility in the data processing and products. In addition, astronomers can query their provenance to answer questions routed in areas such as anomaly detection, recommendation, and prediction. The next generation of astronomical survey telescopes such as the Vera Rubin Observatory or Square Kilometre Array, are capable of producing peta to exabyte scale data, thereby amplifying the importance of even small improvements to the efficiency of provenance storage or querying. In order to determine how astronomers should store and query their provenance data, this paper reports on a comparison between the turtle and JSON provenance serialisations. The triple store Apache Jena Fuseki and the graph database system Neo4j were selected as representative database management systems (DBMS) for turtle and JSON, respectively. Simulated provenance data was uploaded to and queried over each DBMS and the metrics measured for comparison were the accuracy and timing of the queries as well as the data upload times. It was found that both serialisations are competent for this purpose, and both have similar query accuracy. The turtle provenance was found to be more efficient at storing and uploading the data. Regarding queries, for small datasets ($<$5MB) and simple information retrieval queries, the turtle serialisation was also found to be more efficient. However, queries for JSON serialised provenance were found to be more efficient for more complex queries which involved matching patterns across the DBMS, this effect scaled with the size of the queried provenance.
△ Less
Submitted 19 July, 2024;
originally announced July 2024.
-
Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
Authors:
Timothy C. Johnson
Abstract:
This paper attributes the sudden emergence of mathematical probability and statistics in the second half of the seventeenth century to Calvin's Reformed theology. Calvin accommodated Epicurean chance with Stoic determinism and synthesised \emph{phronesis/prudentia}, founded personal experience and employed to deal with \emph{tyche/fortuna}, and \emph{episteme/scientia}, universal knowledge. This m…
▽ More
This paper attributes the sudden emergence of mathematical probability and statistics in the second half of the seventeenth century to Calvin's Reformed theology. Calvin accommodated Epicurean chance with Stoic determinism and synthesised \emph{phronesis/prudentia}, founded personal experience and employed to deal with \emph{tyche/fortuna}, and \emph{episteme/scientia}, universal knowledge. This meant that matters of chance, which had previously been considered too particular for mathematical treatment, became part of \emph{episteme/scientia}. Clear evidence of the significance of Calvin in mathematics is in the facts that Huygens considered using the word 'hope' to describe mathematical expectation and French mathematics still uses \emph{espérance} for mathematical expectation. Calvin asserted that Hope represented a universal, objective and indubitable idea making it characteristic of mathematics. The argument is built on a review of how the ideas of Hope, Faith and Prudence have evolved in European thought that highlights Calvin's innovations. The conclusion identifies contemporary issues in the application of mathematics in society that are illuminated in light of Calvin's doctrine.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
PEPSI Investigation, Retrieval, and Atlas of Numerous Giant Atmospheres (PIRANGA). I. The Ubiquity of Fe I Emission and Inversions in Ultra Hot Jupiter Atmospheres
Authors:
Sydney Petz,
Marshall C. Johnson,
Anusha Pai Asnodkar,
Alison Duck,
Ji Wang,
Ilya Ilyin,
Klaus G. Strassmeier
Abstract:
We present high-resolution optical emission spectroscopy observations of the ultra hot Jupiters (UHJs) TOI-1431 b and TOI-1518 b using the PEPSI spectrograph on the LBT. We detect emission lines from Fe I with a significance of 5.40$σ$ and 7.85$σ$ for TOI 1431 b and TOI-1518 b, respectively. We also detect Cr I emission from TOI-1431 b at $4.23σ$. For TOI-1518 b, we tentatively detect Ni I, Fe I,…
▽ More
We present high-resolution optical emission spectroscopy observations of the ultra hot Jupiters (UHJs) TOI-1431 b and TOI-1518 b using the PEPSI spectrograph on the LBT. We detect emission lines from Fe I with a significance of 5.40$σ$ and 7.85$σ$ for TOI 1431 b and TOI-1518 b, respectively. We also detect Cr I emission from TOI-1431 b at $4.23σ$. For TOI-1518 b, we tentatively detect Ni I, Fe I, and Mg I, as well as possibly CaH, at significance levels ranging from $3-4σ$. Detection of emission lines indicates that both planets possess temperature inversions in their atmospheres, providing further evidence of the ubiquity of stratospheres among UHJs. By analyzing the population of hot Jupiters, we compare models that predict the distribution of planets in the temperature-gravity space, and find a recent global circulation model suite from Roth et al. (2024) provides a reasonable match, if TiO is not included in the models. The ubiquity of strong Fe I emission lines among UHJs, together with the paucity of detections of TiO, suggest that atomic iron is the dominant optical opacity source in their atmospheres and can be responsible for the inversions.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Efficiency of the convex hull of the columns of certain triple perturbed consistent matrices
Authors:
Susana Furtado,
Charles Johnson
Abstract:
In decision making a weight vector is often obtained from a reciprocal matrix A that gives pairwise comparisons among n alternatives. The weight vector should be chosen from among efficient vectors for A. Since the reciprocal matrix is usually not consistent, there is no unique way of obtaining such a vector. It is known that all weighted geometric means of the columns of A are efficient for A. In…
▽ More
In decision making a weight vector is often obtained from a reciprocal matrix A that gives pairwise comparisons among n alternatives. The weight vector should be chosen from among efficient vectors for A. Since the reciprocal matrix is usually not consistent, there is no unique way of obtaining such a vector. It is known that all weighted geometric means of the columns of A are efficient for A. In particular, any column and the standard geometric mean of the columns are efficient, the latter being an often used weight vector. Here we focus on the study of the efficiency of the vectors in the (algebraic) convex hull of the columns of A. This set contains the (right) Perron eigenvector of A, a classical proposal for the weight vector, and the Perron eigenvector of AA^{T} (the right singular vector of A), recently proposed as an alternative. We consider reciprocal matrices A obtained from a consistent matrix C by modifying at most three pairs of reciprocal entries contained in a 4-by-4 principal submatrix of C. For such matrices, we give necessary and sufficient conditions for all vectors in the convex hull of the columns to be efficient. In particular, this generalizes the known sufficient conditions for the efficiency of the Perron vector. Numerical examples comparing the performance of efficient convex combinations of the columns and weighted geometric means of the columns are provided.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Macroscopic uniform 2D moiré superlattices with controllable angles
Authors:
Gregory Zaborski Jr.,
Paulina E. Majchrzak,
Samuel Lai,
Amalya C. Johnson,
Ashley P. Saunders,
Ziyan Zhu,
Yujun Deng,
Donghui Lu,
Makoto Hashimoto,
Z-X Shen,
Fang Liu
Abstract:
Moiré superlattices, engineered through precise stacking of van der Waals (vdW) layers, hold immense promise for exploring strongly correlated and topological phenomena. However, these applications have been held back by the common preparation method: tear-and-stack of Scotch tape exfoliated monolayers. It has low efficiency and reproducibility, along with challenges of twist angle inhomogeneity,…
▽ More
Moiré superlattices, engineered through precise stacking of van der Waals (vdW) layers, hold immense promise for exploring strongly correlated and topological phenomena. However, these applications have been held back by the common preparation method: tear-and-stack of Scotch tape exfoliated monolayers. It has low efficiency and reproducibility, along with challenges of twist angle inhomogeneity, interfacial contamination, micrometer sizes, and a tendency to untwist at elevated temperatures. Here we report an effective strategy to construct highly consistent vdW moiré structures with high production throughput, near-unity yield, pristine interfaces, precisely controlled twist angles, and macroscopic scale (up to centimeters) with enhanced thermal stability. We further demonstrate the versatility across various vdW materials including transition metal dichalcogenides, graphene, and hBN. The expansive size and high quality of moiré structures enables high-resolution mapping of the reciprocal space back-folded lattices and moiré mini band structures with low energy electron diffraction (LEED) and angle-resolved photoemission spectroscopy (ARPES). This technique will have broad applications in both fundamental studies and mass production of twistronic devices.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Optimal Control of a Power Storage Facility with Variable Payoffs
Authors:
Fraser J W O'Brien,
Timothy C Johnson
Abstract:
We present a methodology for determining the relationship between the optimal control points of a power storage facility and a number of different factors including storage level and temperature. The interaction between different factors is considered to allow for the identification of a precise optimal control strategy to maximise the profits of a power storage facility under a variety of differe…
▽ More
We present a methodology for determining the relationship between the optimal control points of a power storage facility and a number of different factors including storage level and temperature. The interaction between different factors is considered to allow for the identification of a precise optimal control strategy to maximise the profits of a power storage facility under a variety of different conditions. The methodology is based upon traditional stochastic techniques, however by working directly with excess demand data is model independent and does not require identification of the underlying process.
△ Less
Submitted 3 July, 2024; v1 submitted 1 July, 2024;
originally announced July 2024.
-
Text-based Transfer Function Design for Semantic Volume Rendering
Authors:
Sangwon Jeong,
Jixian Li,
Christopher Johnson,
Shusen Liu,
Matthew Berger
Abstract:
Transfer function design is crucial in volume rendering, as it directly influences the visual representation and interpretation of volumetric data. However, creating effective transfer functions that align with users' visual objectives is often challenging due to the complex parameter space and the semantic gap between transfer function values and features of interest within the volume. In this wo…
▽ More
Transfer function design is crucial in volume rendering, as it directly influences the visual representation and interpretation of volumetric data. However, creating effective transfer functions that align with users' visual objectives is often challenging due to the complex parameter space and the semantic gap between transfer function values and features of interest within the volume. In this work, we propose a novel approach that leverages recent advancements in language-vision models to bridge this semantic gap. By employing a fully differentiable rendering pipeline and an image-based loss function guided by language descriptions, our method generates transfer functions that yield volume-rendered images closely matching the user's intent. We demonstrate the effectiveness of our approach in creating meaningful transfer functions from simple descriptions, empowering users to intuitively express their desired visual outcomes with minimal effort. This advancement streamlines the transfer function design process and makes volume rendering more accessible to a wider range of users.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Association of neighborhood disadvantage with cognitive function and cortical disorganization in an unimpaired cohort
Authors:
Apoorva Safai,
Erin Jonaitis,
Rebecca E Langhough,
William R Buckingham,
Sterling C. Johnson,
W. Ryan Powell,
Amy J. H. Kind,
Barbara B. Bendlin,
Pallavi Tiwari
Abstract:
Neighborhood disadvantage is associated with worse health and cognitive outcomes. Morphological similarity network (MSN) is a promising approach to elucidate cortical network patterns underlying complex cognitive functions. We hypothesized that MSNs could capture changes in cortical patterns related to neighborhood disadvantage and cognitive function. This cross-sectional study included cognitivel…
▽ More
Neighborhood disadvantage is associated with worse health and cognitive outcomes. Morphological similarity network (MSN) is a promising approach to elucidate cortical network patterns underlying complex cognitive functions. We hypothesized that MSNs could capture changes in cortical patterns related to neighborhood disadvantage and cognitive function. This cross-sectional study included cognitively unimpaired participants from two large Alzheimers studies at University of Wisconsin-Madison. Neighborhood disadvantage status was obtained using the Area Deprivation Index (ADI). Cognitive performance was assessed on memory, processing speed and executive function. Morphological Similarity Networks (MSN) were constructed for each participant based on the similarity in distribution of cortical thickness of brain regions, followed by computation of local and global network features. Association of ADI with cognitive scores and MSN features were examined using linear regression and mediation analysis. ADI showed negative association with category fluency,implicit learning speed, story recall and modified pre-clinical Alzheimers cognitive composite scores, indicating worse cognitive function among those living in more disadvantaged neighborhoods. Local network features of frontal and temporal regions differed based on ADI status. Centrality of left lateral orbitofrontal region showed a partial mediating effect between association of neighborhood disadvantage and story recall performance. Our preliminary findings suggest differences in local cortical organization by neighborhood disadvantage, which partially mediated the relationship between ADI and cognitive performance, providing a possible network-based mechanism to, in-part, explain the risk for poor cognitive functioning associated with disadvantaged neighborhoods.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
The Panchromatic Hubble Andromeda Treasury: Triangulum Extended Region (PHATTER). VI. The High-Mass Stellar Initial Mass Function of M33
Authors:
Tobin M. Wainer,
Benjamin F. Williams,
L. Clifton Johnson,
Daniel R. Weisz,
Julianne J. Dalcanton,
Anil C. Seth,
Andrew Dolphin,
Meredith J. Durbin,
Eric F. Bell,
Zhuo Chen,
Puragra Guhathakurta,
Eric W. Koch,
Christina W. Lindberg,
Erik Rosolowsky,
Karin M. Sandstrom,
Evan D. Skillman,
Adam Smercina,
Estephani E. TorresVillanueva
Abstract:
We measure the high-mass stellar initial mass function (IMF) from resolved stars in M33 young stellar clusters. Leveraging \textit{Hubble Space Telescope's} high resolving power, we fully model the IMF probabilistically. We first model the optical CMD of each cluster to constrain its power-law slope $Γ$, marginalized over other cluster parameters in the fit (e.g., cluster age, mass, and radius). W…
▽ More
We measure the high-mass stellar initial mass function (IMF) from resolved stars in M33 young stellar clusters. Leveraging \textit{Hubble Space Telescope's} high resolving power, we fully model the IMF probabilistically. We first model the optical CMD of each cluster to constrain its power-law slope $Γ$, marginalized over other cluster parameters in the fit (e.g., cluster age, mass, and radius). We then probabilistically model the distribution of MF slopes for a highly strict cluster sample of 9 clusters more massive than log(Mass/M$_{\odot}$)=3.6; above this mass, all clusters have well-populated main sequences of massive stars and should have accurate recovery of their MF slopes, based on extensive tests with artificial clusters. We find the ensemble IMF is best described by a mean high-mass slope of $\overlineΓ = 1.49\pm0.18$, with an intrinsic scatter of $σ^{2}_Γ = 0.02^{+0.16}_{0.00}$, consistent with a universal IMF. We find no dependence of the IMF on environmental impacts such as the local star formation rate or galactocentric radius within M33, which serves as a proxy for metallicity. This $\overlineΓ$ measurement is consistent with similar measurements in M31, despite M33 having a much higher star formation rate intensity. While this measurement is formally consistent with the canonical Kroupa ($Γ= 1.30$) IMF, as well as the Salpeter ($Γ= 1.35)$) value, it is the second Local Group cluster sample to show evidence for a somewhat steeper high-mass IMF slope. We explore the impacts a steeper IMF slope has on a number of astronomical sub-fields.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Weak entanglement approximation for nuclear structure
Authors:
Oliver C. Gorton,
Calvin W. Johnson
Abstract:
The interacting shell model, a configuration-interaction method, is a venerable approach for low-lying nuclear structure calculations; but it is hampered by the exponential growth of its basis dimension as one increases the single-particle space and/or the number of active particles. Recent, quantum-information-inspired work has demonstrated that the proton and neutron sectors of a nuclear wave fu…
▽ More
The interacting shell model, a configuration-interaction method, is a venerable approach for low-lying nuclear structure calculations; but it is hampered by the exponential growth of its basis dimension as one increases the single-particle space and/or the number of active particles. Recent, quantum-information-inspired work has demonstrated that the proton and neutron sectors of a nuclear wave function are weakly entangled. Furthermore, the entanglement is smaller for nuclides away from $N=Z$, such as heavy, neutron-rich nuclides. Here we implement a weak entanglement approximation to bipartite configuration-interaction wave functions, approximating low-lying levels by coupling a relatively small number of many-proton and many-neutron states. This truncation scheme, which we present in the context of past approaches, reduces the basis dimension by many orders of magnitude while preserving essential features of nuclear spectra.
△ Less
Submitted 4 September, 2024; v1 submitted 14 June, 2024;
originally announced June 2024.
-
Coupled-channel $J^{--}$ meson resonances from lattice QCD
Authors:
Jozef J. Dudek,
Christopher T. Johnson
Abstract:
We extend an earlier calculation within lattice QCD of excited light meson resonances with $J^{PC}=1^{--}, 2^{--}, 3^{--}$ at the SU(3) flavor point in the singlet representation, by considering the octet representation. In this case the resonances appear in coupled-channel amplitudes, which we determine, establishing the relative strength of pseudoscalar-pseudoscalar to pseudoscalar-vector decays…
▽ More
We extend an earlier calculation within lattice QCD of excited light meson resonances with $J^{PC}=1^{--}, 2^{--}, 3^{--}$ at the SU(3) flavor point in the singlet representation, by considering the octet representation. In this case the resonances appear in coupled-channel amplitudes, which we determine, establishing the relative strength of pseudoscalar-pseudoscalar to pseudoscalar-vector decays. Combining the new octet results with the prior results for the singlet, we perform a plausible extrapolation to the physical quark mass, and compare to experimental $ρ^\star_J, K^\star_J, ω^\star_J$ and $φ^\star_J$ resonances.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Electrically Tunable Magnetoconductance of Close-Packed CVD Bilayer Graphene Layer Stacking Walls
Authors:
Qicheng Zhang,
Sheng Wang,
Zhaoli Gao,
Sebastian Hurtado-Parra,
Joel Berry,
Zachariah Addison,
Paul Masih Das,
William M. Parkin,
Marija Drndic,
James M. Kikkawa,
Feng Wang,
Eugene J. Mele,
A. T. Charlie Johnson,
Zhengtang Luo
Abstract:
Quantum valley Hall (QVH) domain wall states are a new class of one-dimensional (1D) one-way conductors that are topologically protected in the absence of valley mixing. Development beyond a single QVH channel raises important new questions as to how QVH channels in close spatial proximity interact with each other, and how that interaction may be controlled. Scalable epitaxial bilayer graphene syn…
▽ More
Quantum valley Hall (QVH) domain wall states are a new class of one-dimensional (1D) one-way conductors that are topologically protected in the absence of valley mixing. Development beyond a single QVH channel raises important new questions as to how QVH channels in close spatial proximity interact with each other, and how that interaction may be controlled. Scalable epitaxial bilayer graphene synthesis produces layer stacking wall (LSW) bundles, where QVH channels are bound, providing an excellent platform to study QVH channel interactions. Here we show that distinct strain sources lead to the formation of both well-separated LSWs and close packed LSW bundles. Comparative studies of electronic transport in these two regimes reveal that close-packed LSW bundles support electrically tunable magnetoconductance. The coexistence of different strain sources offers a potential pathway to realize scalable quantum transport platform based on LSWs where electrically tunability enables programmable functionality.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Trials and Tribulations in the Reanalysis of KELT-24 b: a Case Study for the Importance of Stellar Modeling
Authors:
Mark R. Giovinazzi,
Bryson Cale,
Jason D. Eastman,
Joseph E. Rodriguez,
Cullen H. Blake,
Keivan G. Stassun,
Thomas G. Beatty,
Nate McCrady,
Andrew Vanderburg,
Michelle Kunimoto,
Adam L. Kraus,
Joseph Twicken,
Cayla M. Dedrick,
Jonathan Horner,
John A. Johnson,
Samson A. Johnson,
Peter Plavchan,
David H. Sliski,
Maurice L. Wilson,
Robert A. Wittenmyer,
Jason T. Wright,
Marshall C. Johnson,
Mark E. Rose,
Matthew Cornachione
Abstract:
We present a new analysis of the KELT-24 system, comprising a well-aligned hot Jupiter, KELT-24~b, and a bright ($V=8.3$), nearby ($d=96.9~\mathrm{pc}$) F-type host star. KELT-24~b was independently discovered by two groups in 2019, with each reporting best-fit stellar parameters that were notably inconsistent. Here, we present three independent analyses of the KELT-24 system, each incorporating a…
▽ More
We present a new analysis of the KELT-24 system, comprising a well-aligned hot Jupiter, KELT-24~b, and a bright ($V=8.3$), nearby ($d=96.9~\mathrm{pc}$) F-type host star. KELT-24~b was independently discovered by two groups in 2019, with each reporting best-fit stellar parameters that were notably inconsistent. Here, we present three independent analyses of the KELT-24 system, each incorporating a broad range of photometric and spectroscopic data, including eight sectors of TESS photometry and more than 200 new radial velocities (RVs) from MINERVA. Two of these analyses use KELT-24's observed spectral energy distribution (SED) through a direct comparison to stellar evolutionary models, while our third analysis assumes an unknown additional body contributing to the observed broadband photometry and excludes the SED. Ultimately, we find that the models that include the SED are a poor fit to the available data, so we adopt the system parameters derived without it. We also highlight a single transit-like event observed by TESS, deemed likely to be an eclipsing binary bound to KELT-24, that will require follow-up observations to confirm. We discuss the potential of these additional bodies in the KELT-24 system as a possible explanation for the discrepancies between the results of the different modeling approaches, and explore the system for longer-period planets that may be weakly evident in the RV observations. The comprehensive investigations that we present not only increase the fidelity of our understanding of the KELT-24 system, but also serve as a blueprint for future stellar modeling in global analyses of exoplanet systems.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Dark photon limits from patchy dark screening of the cosmic microwave background
Authors:
Fiona McCarthy,
Dalila Pirvu,
J. Colin Hill,
Junwu Huang,
Matthew C. Johnson,
Keir K. Rogers
Abstract:
Dark photons that kinetically mix with the Standard Model photon give rise to new spectral anisotropies (patchy dark screening) in the cosmic microwave background (CMB) due to conversion of photons to dark photons within large-scale structure. We utilize predictions for this patchy dark screening signal to provide the tightest constraints to date on the dark photon kinetic mixing parameter (…
▽ More
Dark photons that kinetically mix with the Standard Model photon give rise to new spectral anisotropies (patchy dark screening) in the cosmic microwave background (CMB) due to conversion of photons to dark photons within large-scale structure. We utilize predictions for this patchy dark screening signal to provide the tightest constraints to date on the dark photon kinetic mixing parameter ($\varepsilon \lesssim 4\times 10^{-8}$ (95% confidence level)) over the mass range $10^{-13} \,\, {\rm eV} \lesssim m_{A^\prime} \lesssim 10^{-11}$ eV, almost an order of magnitude stronger than previous limits, by applying state-of-the-art component separation techniques to the cross-correlation of $\textit{Planck}$ CMB and $\textit{unWISE}$ galaxy survey data.
△ Less
Submitted 5 June, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
The SemGuS Toolkit
Authors:
Keith J. C. Johnson,
Andrew Reynolds,
Thomas Reps,
Loris D'Antoni
Abstract:
Semantics-Guided Synthesis (SemGuS) is a programmable framework for defining synthesis problems in a domain- and solver-agnostic way. This paper presents the standardized SemGuS format, together with an open-source toolkit that provides a parser, a verifier, and enumerative SemGuS solvers. The paper also describes an initial set of SemGuS benchmarks, which form the basis for comparing SemGuS solve…
▽ More
Semantics-Guided Synthesis (SemGuS) is a programmable framework for defining synthesis problems in a domain- and solver-agnostic way. This paper presents the standardized SemGuS format, together with an open-source toolkit that provides a parser, a verifier, and enumerative SemGuS solvers. The paper also describes an initial set of SemGuS benchmarks, which form the basis for comparing SemGuS solvers, and presents an evaluation of the baseline enumerative solvers.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Axion-Induced Patchy Screening of the Cosmic Microwave Background
Authors:
Cristina Mondino,
Dalila Pîrvu,
Junwu Huang,
Matthew C. Johnson
Abstract:
Cosmic Microwave Background (CMB) photons can undergo resonant conversion into axions in the presence of magnetized plasma distributed inside non-linear large-scale structure (LSS). This process leads to axion-induced patchy screening: secondary temperature and polarization anisotropies with a characteristic non-blackbody frequency dependence that are strongly correlated with the distribution of L…
▽ More
Cosmic Microwave Background (CMB) photons can undergo resonant conversion into axions in the presence of magnetized plasma distributed inside non-linear large-scale structure (LSS). This process leads to axion-induced patchy screening: secondary temperature and polarization anisotropies with a characteristic non-blackbody frequency dependence that are strongly correlated with the distribution of LSS along our past light cone. We compute the axion-induced patchy screening contribution to two- and three- point correlation functions that include CMB anisotropies and tracers of LSS within the halo model. We use these results to forecast the sensitivity of existing and future surveys to photon-axion couplings for axion masses between $2\times 10^{-13}$ eV and $3\times 10^{-12}$ eV, using a combination of empirical estimates from Planck data of the contribution from instrumental noise and foregrounds as well as modeled contributions on angular scales only accessible with future datasets. We demonstrate that an analysis using Planck and the unWISE galaxy catalogue would be complementary to the most sensitive existing astrophysical axion searches, probing couplings as small as $3\times 10^{-12} \, {\rm GeV}^{-1}$, while observations from a future survey such as CMB-S4 could extend this reach by almost an additional order of magnitude.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
A Room-Temperature Solid-State Maser Amplifier
Authors:
Tom Day,
Maya Isarov,
William J. Pappas,
Brett C. Johnson,
Hiroshi Abe,
Takeshi Ohshima,
Dane R. McCamey,
Arne Laucht,
Jarryd J. Pla
Abstract:
Masers once represented the state-of-the-art in low noise microwave amplification technology, but eventually became obsolete due to their need for cryogenic cooling. Masers based on solid-state spin systems perform most effectively as amplifiers, since they provide a large density of spins and can therefore operate at relatively high powers. Whilst solid-state masers oscillators have been demonstr…
▽ More
Masers once represented the state-of-the-art in low noise microwave amplification technology, but eventually became obsolete due to their need for cryogenic cooling. Masers based on solid-state spin systems perform most effectively as amplifiers, since they provide a large density of spins and can therefore operate at relatively high powers. Whilst solid-state masers oscillators have been demonstrated at room temperature, continuous-wave amplification in these systems has only ever been realized at cryogenic temperatures. Here we report on a continuous-wave solid-state maser amplifier operating at room temperature. We achieve this feat using a practical setup that includes an ensemble of nitrogen-vacancy center spins in a diamond crystal, a strong permanent magnet and simple laser diode. We describe important amplifier characteristics including gain, bandwidth, compression power and noise temperature and discuss the prospects of realizing a room-temperature near-quantum-noise-limited amplifier with this system. Finally, we show that in a different mode of operation the spins can be used to cool the system noise in an external circuit to cryogenic levels, all without the requirement for physical cooling.
△ Less
Submitted 5 June, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
Sufficient conditions for total positivity, compounds, and Dodgson condensation
Authors:
Shaun Fallat,
Himanshu Gupta,
Charles R. Johnson
Abstract:
A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the de…
▽ More
A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the determinant of a generic matrix, and we analyze whether the associated condensed matrices are possibly totally positive or $TP_k$. We also show that all condensed matrices associated with a $TP$ Hankel matrix are $TP$.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Granite Code Models: A Family of Open Foundation Models for Code Intelligence
Authors:
Mayank Mishra,
Matt Stallone,
Gaoyuan Zhang,
Yikang Shen,
Aditya Prasad,
Adriana Meza Soria,
Michele Merler,
Parameswaran Selvam,
Saptha Surendran,
Shivdeep Singh,
Manish Sethi,
Xuan-Hong Dang,
Pengyuan Li,
Kun-Lung Wu,
Syed Zawad,
Andrew Coleman,
Matthew White,
Mark Lewis,
Raju Pavuluri,
Yan Koyfman,
Boris Lublinsky,
Maximilien de Bayser,
Ibrahim Abdelaziz,
Kinjal Basu,
Mayank Agarwal
, et al. (21 additional authors not shown)
Abstract:
Large Language Models (LLMs) trained on code are revolutionizing the software development process. Increasingly, code LLMs are being integrated into software development environments to improve the productivity of human programmers, and LLM-based agents are beginning to show promise for handling complex tasks autonomously. Realizing the full potential of code LLMs requires a wide range of capabili…
▽ More
Large Language Models (LLMs) trained on code are revolutionizing the software development process. Increasingly, code LLMs are being integrated into software development environments to improve the productivity of human programmers, and LLM-based agents are beginning to show promise for handling complex tasks autonomously. Realizing the full potential of code LLMs requires a wide range of capabilities, including code generation, fixing bugs, explaining and documenting code, maintaining repositories, and more. In this work, we introduce the Granite series of decoder-only code models for code generative tasks, trained with code written in 116 programming languages. The Granite Code models family consists of models ranging in size from 3 to 34 billion parameters, suitable for applications ranging from complex application modernization tasks to on-device memory-constrained use cases. Evaluation on a comprehensive set of tasks demonstrates that Granite Code models consistently reaches state-of-the-art performance among available open-source code LLMs. The Granite Code model family was optimized for enterprise software development workflows and performs well across a range of coding tasks (e.g. code generation, fixing and explanation), making it a versatile all around code model. We release all our Granite Code models under an Apache 2.0 license for both research and commercial use.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Kinetic Sunyaev Zel'dovich velocity reconstruction from Planck and unWISE
Authors:
Richard Bloch,
Matthew C. Johnson
Abstract:
The kinetic Sunyaev Zel'dovich (kSZ) effect is a blackbody cosmic microwave background (CMB) temperature anisotropy induced by Thomson scattering off free electrons in bulk motion with respect to the CMB rest frame. The statistically anisotropic cross-correlation between the CMB and galaxy surveys encodes the radial bulk velocity (more generally, the remote dipole field), which can be efficiently…
▽ More
The kinetic Sunyaev Zel'dovich (kSZ) effect is a blackbody cosmic microwave background (CMB) temperature anisotropy induced by Thomson scattering off free electrons in bulk motion with respect to the CMB rest frame. The statistically anisotropic cross-correlation between the CMB and galaxy surveys encodes the radial bulk velocity (more generally, the remote dipole field), which can be efficiently reconstructed using a quadratic estimator. Here, we develop and implement a quadratic estimator for the remote dipole field to data from the Planck satellite and the unWISE galaxy redshift catalog. With this data combination, we forecast a $\sim 1$-$σ$ detection within $Λ$CDM assuming a simple model for the distribution of free electrons. Using reconstructions based on individual frequency temperature maps, we characterize the impact of foregrounds, concluding that they can be effectively mitigated by masking and removing the estimator monopole. We demonstrate that reconstructions based on component-separated CMB maps have no detectable biases from foregrounds or systematics at the level of the expected statistical error. We use these reconstructions to constrain the multiplicative optical depth bias to $b_v < 1.40$ at $68 \%$ confidence. Our fiducial signal model with $b_v =1$ is consistent with this measurement. Our results support an optimistic future for kSZ velocity reconstruction with near-term datasets.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Conductivity Freeze-Out in Isotopically Pure Si-28 at milli-Kelvin Temperatures
Authors:
Ben T. McAllister,
Zijun C. Zhao,
Jeremy F. Bourhill,
Maxim Goryachev,
Daniel Creedon,
Brett C. Johnson,
Michael E. Tobar
Abstract:
Silicon is a key semiconducting material for electrical devices and hybrid quantum systems where low temperatures and zero-spin isotopic purity can enhance quantum coherence. Electrical conductivity in Si is characterised by carrier freeze out at around 40 K allowing microwave transmission which is a key component for addressing spins efficiently in silicon quantum technologies. In this work, we r…
▽ More
Silicon is a key semiconducting material for electrical devices and hybrid quantum systems where low temperatures and zero-spin isotopic purity can enhance quantum coherence. Electrical conductivity in Si is characterised by carrier freeze out at around 40 K allowing microwave transmission which is a key component for addressing spins efficiently in silicon quantum technologies. In this work, we report an additional sharp transition of the electrical conductivity in a Si-28 cylindrical cavity at around 1 Kelvin. This is observed by measuring microwave resonator Whispering Gallery Mode frequencies and Q factors with changing temperature and comparing these results with finite element models. We attribute this change to a transition from a relaxation mechanism-dominated to a resonant phonon-less absorption-dominated hopping conduction regime. Characterising this regime change represents a deeper understanding of a physical phenomenon in a material of high interest to the quantum technology and semiconductor device community and the impact of these results is discussed.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Pipeline Provenance for Analysis, Evaluation, Trust or Reproducibility
Authors:
Michael A. C. Johnson,
Hans-Rainer Klöckner,
Albina Muzafarova,
Kristen Lackeos,
David J. Champion,
Marta Dembska,
Sirko Schindler,
Marcus Paradies
Abstract:
Data volumes and rates of research infrastructures will continue to increase in the upcoming years and impact how we interact with their final data products. Little of the processed data can be directly investigated and most of it will be automatically processed with as little user interaction as possible. Capturing all necessary information of such processing ensures reproducibility of the final…
▽ More
Data volumes and rates of research infrastructures will continue to increase in the upcoming years and impact how we interact with their final data products. Little of the processed data can be directly investigated and most of it will be automatically processed with as little user interaction as possible. Capturing all necessary information of such processing ensures reproducibility of the final results and generates trust in the entire process. We present PRAETOR, a software suite that enables automated generation, modelling, and analysis of provenance information of Python pipelines. Furthermore, the evaluation of the pipeline performance, based upon a user defined quality matrix in the provenance, enables the first step of machine learning processes, where such information can be fed into dedicated optimisation procedures.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Efficiency analysis for the Perron vector of a reciprocal matrix
Authors:
Susana Furtado,
Charles Johnson
Abstract:
In prioritization schemes, based on pairwise comparisons, such as the Analytical Hierarchy Process, it is necessary to extract a cardinal ranking vector from a reciprocal matrix that is unlikely to be consistent. It is natural to choose such a vector only from efficient ones. One of the most used ranking methods employs the (right) Perron eigenvector of the reciprocal matrix as the vector of weigh…
▽ More
In prioritization schemes, based on pairwise comparisons, such as the Analytical Hierarchy Process, it is necessary to extract a cardinal ranking vector from a reciprocal matrix that is unlikely to be consistent. It is natural to choose such a vector only from efficient ones. One of the most used ranking methods employs the (right) Perron eigenvector of the reciprocal matrix as the vector of weights. It is known that the Perron vector may not be efficient. Here, we focus on extending arbitrary reciprocal matrices and show, constructively, that two different extensions of any fixed size always exist for which the Perron vector is inefficient and for which it is efficient, with the following exception. If B is consistent, any reciprocal matrix obtained from B by adding one row and one column has efficient Perron vector. As a consequence of our results, we obtain families of reciprocal matrices for which the Perron vector is inefficient. These include known classes of such matrices and many more. We also characterize the 4-by-4 reciprocal matrices with inefficient Perron vector. Some prior results are generalized or completed.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
The PEPSI Exoplanet Transit Survey (PETS). V: New Na D transmission spectra indicate a quieter atmosphere on HD 189733b
Authors:
E. Keles,
S. Czesla,
K. Poppenhaeger,
P. Hauschildt,
T. A. Carroll,
I. Ilyin,
M. Baratella,
M. Steffen,
K. G. Strassmeier,
A. S. Bonomo,
B. S. Gaudi,
T. Henning,
M. C. Johnson,
K. Molaverdikhani,
V. Nascimbeni,
J. Patience,
A. Reiners,
G. Scandariato,
E. Schlawin,
E. Shkolnik,
D. Sicilia,
A. Sozzetti,
M. Mallonn,
C. Veillet,
J. Wang
, et al. (1 additional authors not shown)
Abstract:
Absorption lines from exoplanet atmospheres observed in transmission allow us to study atmospheric characteristics such as winds. We present a new high-resolution transit time-series of HD 189733b, acquired with the PEPSI instrument at the LBT and analyze the transmission spectrum around the Na D lines. We model the spectral signature of the RM-CLV-effect using synthetic PHOENIX spectra based on s…
▽ More
Absorption lines from exoplanet atmospheres observed in transmission allow us to study atmospheric characteristics such as winds. We present a new high-resolution transit time-series of HD 189733b, acquired with the PEPSI instrument at the LBT and analyze the transmission spectrum around the Na D lines. We model the spectral signature of the RM-CLV-effect using synthetic PHOENIX spectra based on spherical LTE atmospheric models. We find a Na D absorption signature between the second and third contact but not during the ingress and egress phases, which casts doubt on the planetary origin of the signal. Presupposing a planetary origin of the signal, the results suggest a weak day-to-nightside streaming wind in the order of 0.7 km/s and a moderate super-rotational streaming wind in the order of 3 - 4 km/s, challenging claims of prevailing strong winds on HD 189733b.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Improving Photometric Galaxy Clustering Constraints With Cross-Bin Correlations
Authors:
Jordan Krywonos,
Jessica Muir,
Matthew C. Johnson
Abstract:
Clustering studies in current photometric galaxy surveys focus solely on auto-correlations, neglecting cross-correlations between redshift bins. We evaluate the potential advantages and drawbacks of incorporating cross-bin correlations in Fisher forecasts for the Dark Energy Survey (DES) and the forthcoming Rubin Observatory Legacy Survey of Space and Time (LSST). Our analysis considers the impact…
▽ More
Clustering studies in current photometric galaxy surveys focus solely on auto-correlations, neglecting cross-correlations between redshift bins. We evaluate the potential advantages and drawbacks of incorporating cross-bin correlations in Fisher forecasts for the Dark Energy Survey (DES) and the forthcoming Rubin Observatory Legacy Survey of Space and Time (LSST). Our analysis considers the impact of including redshift space distortions (RSD) and magnification in model predictions, as well as systematic uncertainties in photometric redshift distributions (photo-$z$). While auto-correlations alone suffer from a degeneracy between the amplitude of matter fluctuations ($σ_8$) and galaxy bias parameters, accounting for RSD and magnification in cross-correlations helps break this degeneracy - although more weakly than the degeneracy breaking expected from a combined analysis with other observables. Incorporating cross-bin correlations does not significantly increase sensitivity to photo-$z$ systematics, addressing previous concerns, and self-calibrates photo-$z$ systematics, reducing errors on photo-$z$ nuisance parameters. We suggest that the benefits of including cross-correlations in future photometric galaxy clustering analyses outweigh the risks, but caution that careful evaluation is necessary as more realistic pictures of surveys' precision and systematic error budgets develop.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Using evolutionary computation to optimize task performance of unclocked, recurrent Boolean circuits in FPGAs
Authors:
Raphael Norman-Tenazas,
David Kleinberg,
Erik C. Johnson,
Daniel P. Lathrop,
Matthew J. Roos
Abstract:
It has been shown that unclocked, recurrent networks of Boolean gates in FPGAs can be used for low-SWaP reservoir computing. In such systems, topology and node functionality of the network are randomly initialized. To create a network that solves a task, weights are applied to output nodes and learning is achieved by adjusting those weights with conventional machine learning methods. However, perf…
▽ More
It has been shown that unclocked, recurrent networks of Boolean gates in FPGAs can be used for low-SWaP reservoir computing. In such systems, topology and node functionality of the network are randomly initialized. To create a network that solves a task, weights are applied to output nodes and learning is achieved by adjusting those weights with conventional machine learning methods. However, performance is often limited compared to networks where all parameters are learned. Herein, we explore an alternative learning approach for unclocked, recurrent networks in FPGAs. We use evolutionary computation to evolve the Boolean functions of network nodes. In one type of implementation the output nodes are used directly to perform a task and all learning is via evolution of the network's node functions. In a second type of implementation a back-end classifier is used as in traditional reservoir computing. In that case, both evolution of node functions and adjustment of output node weights contribute to learning. We demonstrate the practicality of node function evolution, obtaining an accuracy improvement of ~30% on an image classification task while processing at a rate of over three million samples per second. We additionally demonstrate evolvability of network memory and dynamic output signals.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
A new launch pad failure mode: Analysis of fine particles from the launch of the first Starship orbital test flight
Authors:
B. Dotson,
P. Metzger,
J. Hafner,
A. Shackelford,
K. Birkenfeld,
D. Britt,
A. Ford,
R. Truscott,
S. Truscott,
J. Zavaleta,
J. Zemke,
K. Purvis,
M. Scudder,
C. Johnson,
J. Galloway,
J. DeShetler
Abstract:
This study examines the characteristics, composition, and origin of fine particle debris samples collected following the launch of the first Starship orbital test flight, which suggests a new launch pad failure mode previously unknown. Particle shapes, sizes, bulk densities, and VIS/NIR/MIR spectra, of collected fine particle material from Port Isabel, TX, were analyzed and compared to pulverized…
▽ More
This study examines the characteristics, composition, and origin of fine particle debris samples collected following the launch of the first Starship orbital test flight, which suggests a new launch pad failure mode previously unknown. Particle shapes, sizes, bulk densities, and VIS/NIR/MIR spectra, of collected fine particle material from Port Isabel, TX, were analyzed and compared to pulverized concrete, Fondag (high temperature concrete), limestone, and sand recovered from the area near the Starship launch pad after this test flight. Raman spectroscopy was also used to determine mineral compositions of each sample. Results suggest that the fine particle material lofted by the Starship launch is consistent with sand derived from the launch site. These results imply that the destruction of the launch pad eroded and lofted material into the air from the underlying sandy, base-layer. From calculations, this lofted material likely remained suspended in the air for minutes following the launch from recirculation, allowing for transport over an extended range. Most of the recovered material was too coarse to be a respiration hazard, as a small mass fraction of the particles (<1%) had diameters of 10 um or less. Video analysis and ballistic models also provide insight into the failure mechanism associated with the launch pad, which was consistent with a high-pressure eruption from the region below the failed launch pad.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Search for CP-violating Neutrino Non-Standard Interactions with the NOvA Experiment
Authors:
NOvA Collaboration,
M. A. Acero,
B. Acharya,
P. Adamson,
L. Aliaga,
N. Anfimov,
A. Antoshkin,
E. Arrieta-Diaz,
L. Asquith,
A. Aurisano,
A. Back,
N. Balashov,
P. Baldi,
B. A. Bambah,
A. Bat,
K. Bays,
R. Bernstein,
T. J. C. Bezerra,
V. Bhatnagar,
D. Bhattarai,
B. Bhuyan,
J. Bian,
A. C. Booth,
R. Bowles,
B. Brahma
, et al. (182 additional authors not shown)
Abstract:
This Letter reports a search for charge-parity (CP) symmetry violating non-standard interactions (NSI) of neutrinos with matter using the NOvA Experiment, and examines their effects on the determination of the standard oscillation parameters. Data from $ν_μ(\barν_μ)\rightarrowν_μ(\barν_μ)$ and $ν_μ(\barν_μ)\rightarrowν_{e}(\barν_{e})$ oscillation channels are used to measure the effect of the NSI…
▽ More
This Letter reports a search for charge-parity (CP) symmetry violating non-standard interactions (NSI) of neutrinos with matter using the NOvA Experiment, and examines their effects on the determination of the standard oscillation parameters. Data from $ν_μ(\barν_μ)\rightarrowν_μ(\barν_μ)$ and $ν_μ(\barν_μ)\rightarrowν_{e}(\barν_{e})$ oscillation channels are used to measure the effect of the NSI parameters $\varepsilon_{eμ}$ and $\varepsilon_{eτ}$. With 90% C.L. the magnitudes of the NSI couplings are constrained to be $|\varepsilon_{eμ}| \, \lesssim 0.3$ and $|\varepsilon_{eτ}| \, \lesssim 0.4$. A degeneracy at $|\varepsilon_{eτ}| \, \approx 1.8$ is reported, and we observe that the presence of NSI limits sensitivity to the standard CP phase $δ_{\tiny\text{CP}}$.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
A mixed finite-element, finite-volume, semi-implicit discretisation for atmospheric dynamics: Spherical geometry
Authors:
Thomas Melvin,
Ben Shipway,
Nigel Wood,
Tommaso Benacchio,
Thomas Bendall,
Ian Boutle,
Alex Brown,
Christine Johnson,
James Kent,
Stephen Pring,
Chris Smith,
Mohamed Zerroukat,
Colin Cotter,
John Thuburn
Abstract:
The reformulation of the Met Office's dynamical core for weather and climate prediction previously described by the authors is extended to spherical domains using a cubed-sphere mesh. This paper updates the semi-implicit mixed finite-element formulation to be suitable for spherical domains. In particular the finite-volume transport scheme is extended to take account of non-uniform, non-orthogonal…
▽ More
The reformulation of the Met Office's dynamical core for weather and climate prediction previously described by the authors is extended to spherical domains using a cubed-sphere mesh. This paper updates the semi-implicit mixed finite-element formulation to be suitable for spherical domains. In particular the finite-volume transport scheme is extended to take account of non-uniform, non-orthogonal meshes and uses an advective-then-flux formulation so that increment from the transport scheme is linear in the divergence. The resulting model is then applied to a standard set of dry dynamical core tests and compared to the existing semi-implicit semi-Lagrangian dynamical core currently used in the Met Office's operational model.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Direct Exfoliation of Nanoribbons from Bulk van der Waals Crystals
Authors:
Ashley P. Saunders,
Victoria Chen,
Jierong Wang,
Amalya C. Johnson,
Amy S. McKeown-Green,
Helen J. Zeng,
T. Kien Mac,
Tuan Trinh,
Tony F. Heinz,
Eric Pop,
Fang Liu
Abstract:
Confinement of monolayers into quasi-one-dimensional atomically-thin nanoribbons could lead to novel quantum phenomena beyond those achieved in their bulk and monolayer counterparts. However, current experimental availability of nanoribbon species beyond graphene has been limited to bottom-up synthesis or top-down patterning. In this study, we introduce a versatile and direct lithography-free appr…
▽ More
Confinement of monolayers into quasi-one-dimensional atomically-thin nanoribbons could lead to novel quantum phenomena beyond those achieved in their bulk and monolayer counterparts. However, current experimental availability of nanoribbon species beyond graphene has been limited to bottom-up synthesis or top-down patterning. In this study, we introduce a versatile and direct lithography-free approach to exfoliate a variety of bulk van der Waals (vdW) crystals into nanoribbons. Akin to the Scotch tape exfoliation in producing monolayers, this technique provides convenient access to a wide range of nanoribbons derived from their corresponding bulk crystals, including MoS2, WS2, MoSe2, WSe2, MoTe2, WTe2, ReS2, and hBN. The nanoribbons are single-crystalline, parallel-aligned, flat, and have high aspect ratio. We demonstrated the electrical, magnetic, and optical properties from the confinement, strain, and edge configurations of these nanoribbons. This versatile preparation technique will pave the way for future experimental investigation and broad applications in optoelectronic, sensing, electronic and quantum devices.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Multiplet of minima across nuclear landscape
Authors:
Y. Lei,
Y. Lu,
H. Jiang,
Z. Z. Qin,
N. A. Alam,
D. Liu,
Calvin W. Johnson
Abstract:
By varying a general pair condensate (VPC), we explore the multiplet of minima in even-even nuclei from $sd$ shell to media-heavy $sdg7h11$ shell, which may provide the foundation of universal coexistence. The VPC calculation is limited within a single major shell, and thus the conventional interpretation for the coexistence near magic number, i.e., multiple-particle-hole excitation across a major…
▽ More
By varying a general pair condensate (VPC), we explore the multiplet of minima in even-even nuclei from $sd$ shell to media-heavy $sdg7h11$ shell, which may provide the foundation of universal coexistence. The VPC calculation is limited within a single major shell, and thus the conventional interpretation for the coexistence near magic number, i.e., multiple-particle-hole excitation across a major shell gap, does not account for coexistence observed in this work. The inclusion of all possible pairing channel is crucial to this ``new'' type of shape coexistence, or increase the energy minima of such coexistence. The angular-momentum projected VPC (PVPC) is adopted to further calculate the low-lying level scheme of some light nuclei, and to identify the band structures emerging from the coexistence. Well agreement between the PVPC results and the experimental data is achieved, and thus the picture of universal coexistence is experimentally supported, at least, in light nuclei.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
The weak relationship between ankle proprioception and gait speed after stroke a robotic assessment study
Authors:
Christopher A. Johnson,
Piyashi Biswas,
Rubi Tapia,
Jill See,
Lucy Dodakian,
Vicky Chan,
Po T. Wang,
Zoran Nenadic,
An H. Do,
David J. Reinkensmeyer
Abstract:
Ankle proprioceptive deficits are common after stroke and occur independently of ankle motor impairments. Despite this independence, some studies have found that ankle proprioceptive deficits predict gait function, consistent with the concept that somatosensory input plays a key role in gait control. Other studies, however, have not found a relationship, possibly because of variability in proprioc…
▽ More
Ankle proprioceptive deficits are common after stroke and occur independently of ankle motor impairments. Despite this independence, some studies have found that ankle proprioceptive deficits predict gait function, consistent with the concept that somatosensory input plays a key role in gait control. Other studies, however, have not found a relationship, possibly because of variability in proprioception assessments. Robotic assessments of proprioception offer improved consistency and sensitivity. Here we relationships between ankle proprioception, ankle motor impairment, and gait function after stroke using robotic assessments of ankle proprioception. We quantified ankle proprioception using two different robotic tests (Joint Position Reproduction and Crisscross) in 39 persons in the chronic phase of stroke. We analyzed the extent to which these robotic proprioception measures predicted gait speed, measured over a long distance (6-minute walk test) and a short distance (10-meter walk test). We also studied the relationship between robotic proprioception measures and lower extremity motor impairment, quantified with measures of ankle strength, active range of motion, and the lower extremity Fugl-Meyer exam. Impairment in ankle proprioception was present in 87% of the participants. Ankle proprioceptive acuity measured with JPR was weakly correlated with 6MWT gait speed (\r{ho} = -0.34, p = 0.039) but not 10mWT (\r{ho} = -0.29, p = 0.08). Ankle proprioceptive acuity was not correlated with lower extremity motor impairment (p > 0.2). These results confirm the presence of a weak relationship between ankle proprioception and gait after stroke that is independent of motor impairment.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Strong coupling in molecular systems: a simple predictor employing routine optical measurements
Authors:
Marie S. Rider,
Edwin C. Johnson,
Demetris Bates,
William P. Wardley,
Robert H. Gordon,
Robert D. J. Oliver,
Steven P. Armes,
Graham J. Leggett,
William L. Barnes
Abstract:
We provide a simple method that enables readily acquired experimental data to be used to predict whether or not a candidate molecular material may exhibit strong coupling. Specifically, we explore the relationship between the hybrid molecular/photonic (polaritonic) states and the bulk optical response of the molecular material. For a given material this approach enables a prediction of the maximum…
▽ More
We provide a simple method that enables readily acquired experimental data to be used to predict whether or not a candidate molecular material may exhibit strong coupling. Specifically, we explore the relationship between the hybrid molecular/photonic (polaritonic) states and the bulk optical response of the molecular material. For a given material this approach enables a prediction of the maximum extent of strong coupling (vacuum Rabi splitting), irrespective of the nature of the confined light field. We provide formulae for the upper limit of the splitting in terms of the molar absorption coefficient, the attenuation coefficient, the extinction coefficient (imaginary part of the refractive index) and the absorbance. To illustrate this approach we provide a number of examples, we also discuss some of the limitations of our approach.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
3D-mapping and manipulation of photocurrent in an optoelectronic diamond device
Authors:
A. A. Wood,
D. J. McCloskey,
N. Dontschuk,
A. Lozovoi,
R. M. Goldblatt,
T. Delord,
D. A. Broadway,
J. -P. Tetienne,
B. C. Johnson,
K. T. Mitchell,
C. T. -K. Lew,
C. A. Meriles,
A. M. Martin
Abstract:
Characterising charge transport in a material is central to the understanding of its electrical properties, and can usually only be inferred from bulk measurements of derived quantities such as current flow. Establishing connections between host material impurities and transport properties in emerging electronics materials, such as wide bandgap semiconductors, demands new diagnostic methods tailor…
▽ More
Characterising charge transport in a material is central to the understanding of its electrical properties, and can usually only be inferred from bulk measurements of derived quantities such as current flow. Establishing connections between host material impurities and transport properties in emerging electronics materials, such as wide bandgap semiconductors, demands new diagnostic methods tailored to these unique systems, and the presence of optically-active defect centers in these materials offers a non-perturbative, in-situ characterisation system. Here, we combine charge-state sensitive optical microscopy and photoelectric detection of nitrogen-vacancy (NV) centres to directly image the flow of charge carriers inside a diamond optoelectronic device, in 3D and with temporal resolution. We optically control the charge state of background impurities inside the diamond on-demand, resulting in drastically different current flow such as filamentary channels nucleating from specific, defective regions of the device. We then optically engineered conducting channels that control carrier flow, key steps towards optically reconfigurable, wide bandgap designer optoelectronics. We anticipate our approach might be extended to probe other wide-bandgap semiconductors (SiC, GaN) relevant to present and emerging electronic technologies.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.