Search

To study the formation of star clusters and their properties in a dwarf-dwarf merging galaxy, we have performed a numerical simulation of a dwarf-dwarf galaxy merger by using the Tree+GRAPE $N$-body/SPH code ASURA. In our simulation, 13 young star clusters are formed during the merger process. We show that our simulated star clusters can be divided into two types: with and without [Fe/H] abundance variations. The former is created by a seed star cluster (the first-generation stars) formed in compressed gas. These stars contaminate the surrounding gas by Type II supernovae (SNe). At that time, the energy injection is insufficient to induce an outflow of the surrounding gas. After that, the contaminated gas falls into the seed, thereby forming a new generation of stars from the contaminated gas. We also show that most star clusters are formed in the galactic central region after the second encounter and fall into the galactic center due to dynamical friction within several hundred Myr. As a result, close encounters and mergers between the clusters take place. Although the clusters with shallower gravitational potential are tidally disrupted by these close encounters, others survive and finally merge at the center of the merged dwarf galaxies to create a nuclear star cluster. Therefore, the nuclear star cluster is comprised of various stellar components in [Fe/H] abundance and age. We discuss our work in the context of observations and demonstrate the diagnostic power of high-resolution simulations in the context of star cluster formation., Comment: 13 pages, 13 figures, accepted for publication in PASJ

We propose an adaptive zeroth-order method for minimizing differentiable functions with $L$-Lipschitz continuous gradients. The method is designed to take advantage of the eventual compressibility of the gradient of the objective function, but it does not require knowledge of the approximate sparsity level $s$ or the Lipschitz constant $L$ of the gradient. We show that the new method performs no more than $O\left(n^{2}\epsilon^{-2}\right)$ function evaluations to find an $\epsilon$-approximate stationary point of an objective function with $n$ variables. Assuming additionally that the gradients of the objective function are compressible, we obtain an improved complexity bound of $O\left(s\log\left(n\right)\epsilon^{-2}\right)$ function evaluations, which holds with high probability. Preliminary numerical results illustrate the efficiency of the proposed method and demonstrate that it can significantly outperform its non-adaptive counterpart., Comment: V2: Added a link to the accompanying code

We consider the normalized adjacency matrix of a random $d$-regular graph on $N$ vertices with any fixed degree $d\geq 3$ and denote its eigenvalues as $\lambda_1=d/\sqrt{d-1}\geq \lambda_2\geq\lambda_3\cdots\geq \lambda_N$. We establish the following two results as $N\rightarrow \infty$. (i) With high probability, all eigenvalues are optimally rigid, up to an additional $N^{{\rm o}(1)}$ factor. Specifically, the fluctuations of bulk eigenvalues are bounded by $N^{-1+{\rm o}(1)}$, and the fluctuations of edge eigenvalues are bounded by $N^{-2/3+{\rm o}(1)}$. (ii) Edge universality holds for random $d$-regular graphs. That is, the distributions of $\lambda_2$ and $-\lambda_N$ converge to the Tracy-Widom$_1$ distribution associated with the Gaussian Orthogonal Ensemble. As a consequence, for sufficiently large $N$, approximately $69\%$ of $d$-regular graphs on $N$ vertices are Ramanujan, meaning $\max\{\lambda_2,|\lambda_N|\}\leq 2$., Comment: 153 pages, 3 figures

We prove that for each $d\geq 3$ and $k\geq 2$, the set of limit points of the first $k$ eigenvalues of sequences of $d$-regular graphs is \[ \{(\mu_1,\dots,\mu_k): d=\mu_1\geq \dots\geq \mu_{k}\geq2\sqrt{d-1}\}. \] The result for $k=2$ was obtained by Alon and Wei, and our result confirms a conjecture of theirs. Our proof uses an infinite random graph sampled from a distribution that generalizes the random regular graph distribution. To control the spectral behavior of this infinite object, we show that Huang and Yau's proof of Friedman's theorem bounding the second eigenvalue of a random regular graph generalizes to this model. We also bound the trace of the non-backtracking operator, as was done in Bordenave's separate proof of Friedman's theorem., Comment: 44 pages, 2 figures

TbV$_6$Sn$_6$ is a topological metal where ferromagnetic Tb ions with strong uniaxial magnetic anisotropy interact with V kagome layers. Inelastic neutron scattering measurements show that the Tb ions adopt an Ising doublet ground state. Here, we consider whether a transverse magnetic field can drive TbV$_6$Sn$_6$ towards a quantum critical point, providing a rare example of transverse-field Ising criticality in a metallic compound. High-field magnetization measurements suggest that this quantum criticality is avoided and reveal a first-order-like spin-reorientation transition at 25.6 T due to an excited-state level crossing. Theoretical analysis shows that small changes in the local Hamiltonian can restore the quantum criticality for some in-plane field directions, suggesting that TbV$_6$Sn$_6$ is close to a novel quantum tricritical point induced by in-plane magnetic anisotropy.

An optoelectronic oscillator (OEO) producing a signal at 45.86 GHz is demonstrated that may potentially be utilized in the local oscillator (LO) generation of Earth observation applications such as the microwave sounding (MWS), microwave imaging (MWI) and ice cloud imaging (ICI) missions of METOP 2 of ESA. Preliminary results show that the performance of this lower SWaP OEO system is comparable or in some respects better than the electrical system already used in the MWS, MWS and MWI missions of ESA. Specifically, a sidemode suppression of about 46 dB, a phase noise of -102 dBc/Hz at 100 kHz offset, and frequency stability of 30 kHz in a ten-minute interval is achieved for the 45.86 GHz signal. The OEO is a promising candidate to replace or supplement the electronic systems of phase locked dielectric resonator oscillator and frequency multipliers used currently in Earth observation., Comment: International Conference on Space Optics 2024 (ICSO 2024), preprint

In this Technical Design Report (TDR) we describe the SABRE South detector to be built at the Stawell Underground Physics Laboratory (SUPL). The SABRE South detector is designed to test the long-standing DAMA/LIBRA signal of an annually modulating rate consistent with dark matter by using the same target material. SABRE South uses seven ultra-high purity NaI(Tl) crystals (with a total target mass of either 35 kg or 50 kg), hermetically sealed in copper enclosures that are suspended within a liquid scintillator active veto. High quantum efficiency and low background Hamamatsu R11065 photomultiplier tubes are directly coupled to both ends of the crystal, and enclosed with the crystal in an oxygen free high thermal conductivity copper enclosure. The active veto system consists of 11.6 kL of linear alkylbenzene (LAB) doped with a mixture of fluorophores and contained in a steel vessel, which is instrumented with at least 18 Hamamatsu R5912 photomultipliers. The active veto tags key radiogenic backgrounds intrinsic to the crystals, such as ${^{40}}$K, and is expected to suppress the total background by 27% in the 1-6 keV region of interest. In addition to the liquid scintillator veto, a muon veto is positioned above the detector shielding. This muon veto consists of eight EJ-200 scintillator modules, with Hamamatsu R13089 photomultipliers coupled to both ends. With an expected total background of 0.72 cpd/kg/keV, SABRE South can test the DAMA/LIBRA signal with 5$\sigma$ discovery or 3$\sigma$ exclusion after two years of data taking.

As globular clusters (GCs) orbit the Milky Way, their stars are tidally stripped forming tidal tails that follow the orbit of the clusters around the Galaxy. The morphology of these tails is complex and shows correlations with the phase of the orbit and the orbital angular velocity, especially for GCs on eccentric orbits. Here, we focus on two GCs, NGC 1261 and NGC 1904, that have potentially been accreted alongside Gaia-Enceladus and that have shown signatures of having, in addition of tidal tails, structures formed by distributions of extra-tidal stars that are misaligned with the general direction of the clusters' respective orbits. To provide an explanation for the formation of these structures, we make use of spectroscopic measurements from the Southern Stellar Stream Spectroscopic Survey ($S^5$) as well as proper motion measurements from Gaia's third data release (DR3), and apply a Bayesian mixture modeling approach to isolate high-probability member stars. We recover extra-tidal features similar to those found in Shipp et al. (2018) surrounding each cluster. We conduct N-body simulations and compare the expected distribution and variation in the dynamical parameters along the orbit with those of our potential member sample. Furthermore, we use Dark Energy Camera (DECam) photometry to inspect the distribution of the member stars in the color-magnitude diagram (CMD). We find that the potential members agree reasonably with the N-body simulations and that the majority of them follow a simple stellar population-like distribution in the CMD which is characteristic of GCs. In the case of NGC 1904, we clearly detect the tidal debris escaping the inner and outer Lagrange points which are expected to be prominent when at or close to the apocenter of its orbit. Our analysis allows for further exploration of other GCs in the Milky Way that exhibit similar extra-tidal features.

Hindsight experience replay (HER) is well-known to accelerate goal-based reinforcement learning (RL). While HER is generally applied to off-policy RL algorithms, we previously showed that HER can also accelerate on-policy algorithms, such as proximal policy optimization (PPO), for goal-based Predator-Prey environments. Here, we show that we can improve the previous PPO-HER algorithm by selectively applying HER in a principled manner., Comment: 11 pages, 11 Figures

Hindsight experience replay (HER) accelerates off-policy reinforcement learning algorithms for environments that emit sparse rewards by modifying the goal of the episode post-hoc to be some state achieved during the episode. Because post-hoc modification of the observed goal violates the assumptions of on-policy algorithms, HER is not typically applied to on-policy algorithms. Here, we show that HER can dramatically accelerate proximal policy optimization (PPO), an on-policy reinforcement learning algorithm, when tested on a custom predator-prey environment., Comment: 12 pages. 10 Figures

This letter presents a dual quadrature phasemeter, an implementation of a phase-locked loop designed to track the phase of homodyne and heterodyne inter-satellite laser links. The dual quadrature phasemeters use dual quadrature optical detection to enable an alternate phase readout scheme that operates with wider bandwidths and on signals with carrier frequency differences down to DC. Analytical modeling demonstrates that dual quadrature phasemeters overcome the bandwidth limitations of conventional phasemeters. Numerical simulations of noise linearity tests found that the phase tracking error of the dual quadrature phasemeter is less than 10 microcycle/$\sqrt{\text{Hz}}$ in the presence of non-linear cyclic errors. The dual quadrature phasemeter enables exploration of a new optical configuration for retroreflector-based space geodesy missions with architecture similar to that implemented in GRACE-FO. One such alternate configuration is proposed that is capable of tracking satellite separation without requiring a frequency offset between local and incoming light, eliminating the need for optical frequency shifters.

Chemical abundances of stellar streams can be used to determine the nature of a stream's progenitor. Here we study the progenitor of the recently discovered Leiptr stellar stream, which was previously suggested to be a tidally disrupted halo globular cluster. We obtain high-resolution spectra of five red giant branch stars selected from the Gaia DR2 STREAMFINDER catalog with Magellan/MIKE. One star is a clear non-member. The remaining four stars display chemical abundances consistent with those of a low-mass dwarf galaxy: they have a low mean metallicity, $\langle{\rm[Fe/H]}\rangle = -2.2$; they do not all have identical metallicities; and they display low [$\alpha$/Fe] $\sim 0$ and [Sr/Fe] and [Ba/Fe] $\sim -1$. This pattern of low $\alpha$ and neutron-capture element abundances is only found in intact dwarf galaxies with stellar mass $\lesssim 10^5 M_\odot$. Although more data are needed to be certain, Leiptr's chemistry is consistent with being the lowest-mass dwarf galaxy stream without a known intact progenitor, possibly in the mass range of ultra-faint dwarf galaxies. Leiptr thus preserves a record of one of the lowest-mass early accretion events into the Milky Way., Comment: 18 pages, 12 figures, 8 tables, to be submitted to The Open Journal of Astrophysics

Numerous research studies have been conducted to enhance the resilience of cyber-physical systems (CPSs) by detecting potential cyber or physical disturbances. However, the development of scalable and optimal response measures under power system contingency based on fusing cyber-physical data is still in an early stage. To address this research gap, this paper introduces a power system response engine based on reinforcement learning (RL) and role and interaction discovery (RID) techniques. RL-RID-GridResponder is designed to automatically detect the contingency and assist with the decision-making process to ensure optimal power system operation. The RL-RID-GridResponder learns via an RL-based structure and achieves enhanced scalability by integrating an RID module with reduced action and state spaces. The applicability of RL-RID-GridResponder in providing scalable and optimal responses for CPSs is demonstrated on power systems in the context of Denial of Service (DoS) attacks. Moreover, simulations are conducted on a Volt-Var regulation problem using the augmented WSCC 9-bus and augmented IEEE 24-bus systems based on fused cyber and physical data sets. The results show that the proposed RL-RID-GridResponder can provide fast and accurate responses to ensure optimal power system operation under DoS and can extend to other system contingencies such as line outages and loss of loads.

Recent work has suggested that certain neural network architectures-particularly recurrent neural networks (RNNs) and implicit neural networks (INNs) are capable of logical extrapolation. That is, one may train such a network on easy instances of a specific task and then apply it successfully to more difficult instances of the same task. In this paper, we revisit this idea and show that (i) The capacity for extrapolation is less robust than previously suggested. Specifically, in the context of a maze-solving task, we show that while INNs (and some RNNs) are capable of generalizing to larger maze instances, they fail to generalize along axes of difficulty other than maze size. (ii) Models that are explicitly trained to converge to a fixed point (e.g. the INN we test) are likely to do so when extrapolating, while models that are not (e.g. the RNN we test) may exhibit more exotic limiting behaviour such as limit cycles, even when they correctly solve the problem. Our results suggest that (i) further study into why such networks extrapolate easily along certain axes of difficulty yet struggle with others is necessary, and (ii) analyzing the dynamics of extrapolation may yield insights into designing more efficient and interpretable logical extrapolators.

The stars of the Milky Way carry the chemical history of our Galaxy in their atmospheres as they journey through its vast expanse. Like barcodes, we can extract the chemical fingerprints of stars from high-resolution spectroscopy. The fourth data release (DR4) of the Galactic Archaeology with HERMES (GALAH) Survey, based on a decade of observations, provides the chemical abundances of up to 32 elements for 917 588 stars that also have exquisite astrometric data from the $Gaia$ satellite. For the first time, these elements include life-essential nitrogen to complement carbon, and oxygen as well as more measurements of rare-earth elements critical to modern-life electronics, offering unparalleled insights into the chemical composition of the Milky Way. For this release, we use neural networks to simultaneously fit stellar parameters and abundances across the full spectrum, leveraging synthetic grids computed with Spectroscopy Made Easy. These grids account for atomic line formation in non-local thermodynamic equilibrium for 14 elements. In a two-iteration process, we first fit stellar labels for all 1 085 520 spectra, then co-add repeated observations and refine these labels using astrometric data from $Gaia$ and 2MASS photometry, improving the accuracy and precision of stellar parameters and abundances. Our validation thoroughly assesses the reliability of spectroscopic measurements and highlights key caveats for catalogue users. GALAH DR4 represents yet another milestone in Galactic archaeology, combining detailed chemical compositions from multiple nucleosynthetic channels with kinematic information and age estimates. The resulting dataset, covering nearly a million stars, opens new avenues for understanding not only the chemical and dynamical history of the Milky Way, but also the broader questions of the origin of elements and the evolution of planets, stars, and galaxies., Comment: 43 pages, 38 figures to be submitted to PASA. Accompanying the GALAH Data Release 4, see https://www.galah-survey.org and https://cloud.datacentral.org.au/teamdata/GALAH/public/GALAH_DR4/. All code available on http://github.com/svenbuder/GALAH_DR4/ and https://github.com/svenbuder/galah_dr4_paper. Comments welcome

Modern-day power systems have become increasingly cyber-physical due to the ongoing developments to the grid that include the rise of distributed energy generation and the increase of the deployment of many cyber devices for monitoring and control, such as the Supervisory Control and Data Acquisition (SCADA) system. Such capabilities have made the power system more vulnerable to cyber-attacks that can harm the physical components of the system. As such, it is of utmost importance to study both the physical and cyber components together, focusing on characterizing and quantifying the interdependency between these components. This paper focuses on developing an algorithm, named CyberDep, for Bayesian network generation through conditional probability calculations of cyber traffic flows between system nodes. Additionally, CyberDep is implemented on the temporal data of the cyber-physical emulation of the WSCC 9-bus power system. The results of this work provide a visual representation of the probabilistic relationships within the cyber and physical components of the system, aiding in cyber-physical interdependency quantification., Comment: Accepted and Presented at the 2024 Kansas Power and Energy Conference (KPEC 2024)

Altermagnets (AMs) are a new class of magnetic materials that combine the beneficial spintronics properties of ferromagnets and antiferromagnets, garnering significant attention recently. Here, we have identified altermagnetism in a layered intercalated transition metal diselenide, CoNb$_4$Se$_8$, which crystallizes with an ordered sublattice of intercalated Co atoms between NbSe$_2$ layers. Single crystals are synthesized, and the structural characterizations are performed using single crystal diffraction and scanning tunneling microscopy. Magnetic measurements reveal easy-axis antiferromagnetism below 168 K. Density functional theory (DFT) calculations indicate that A-type antiferromagnetic ordering with easy-axis spin direction is the ground state, which is verified through single crystal neutron diffraction experiments. Electronic band structure calculations in this magnetic state display spin-split bands, confirming altermagnetism in this compound. The layered structure of CoNb$_4$Se$_8$ presents a promising platform for testing various predicted properties associated with altermagnetism.

The persistence of the DAMA/LIBRA (DAMA) modulation over the past two decades has been a source of great contention within the dark matter community. The DAMA collaboration reports a persistent, modulating event rate within their setup of NaI(Tl) scintillating crystals at the INFN Laboratori Nazionali del Gran Sasso (LNGS) underground laboratory. A recent work alluded that this signal could have arisen due to an analysis artefact, caused by DAMA not accounting for time variation of decaying background radioisotopes in their analysis procedure. In this work, we examine in detail this 'induced modulation' effect, arguing that a number of aspects of the DAMA signal are incompatible with an induced modulation arising from decays of background isotopes over the lifetime of the experiment. Using a toy model of the DAMA/LIBRA experiment, we explore the induced modulation effect under different variations of the activities of the relevant isotopes - namely, $^3$H and $^{210}$Pb - highlighting the various inconsistencies between the resultant toy datasets and the DAMA signal. We stress the importance of the SABRE experiment, whose goal is to unambiguously test for the presence of such a modulating signal in an experiment using the same target material and comparable levels of background.

We apply the HanleRT Tenerife Inversion Code to the spectro-polarimetric observations obtained by the Chromospheric LAyer SpectroPolarimeter. This suborbital space experiment measured the variation with wavelength of the four Stokes parameters in the near-ultraviolet spectral region of the Mg II h & k lines over a solar disk area containing part of an active region plage and the edge of a sunspot penumbra. We infer the stratification of the temperature, the electron density, the line of-sight velocity, the micro-turbulent velocity, and the longitudinal component of the magnetic field from the observed intensity and circular polarization profiles. The inferred model atmosphere shows larger temperature and electron density in the plage and the superpenumbra regions than in the quiet regions. The shape of the plage region in terms of its brightness is similar to the pattern of the inferred longitudinal component of the magnetic field in the chromosphere, as well as to that of the overlying moss observed by AIA in the 171 A band, which suggests a similar magnetic origin for the heating in both the plage and the moss region. Moreover, this heating is particularly significant in the regions with larger inferred magnetic flux. In contrast, in the superpenumbra, the regions with larger electron density and temperature are usually found in between these regions with larger magnetic flux, suggesting that the details of the heating mechanism in the chromosphere of the superpenumbra may be different to those in the plage, but with the magnetic field still playing a key role., Comment: Accepted for publication in the Astrophysical Journal

We examine the low-energy excitations in the vicinity of the quantum critical point in LiHoF$_4$, a physical realization of the Transverse Field Ising Model, focusing on the long-range fluctuations which soften to zero energy at the ferromagnetic quantum phase transition. Microwave spectroscopy in tunable loop-gap resonator structures identifies and characterizes the soft mode and higher-energy electronuclear states. We study these modes as a function of frequency and magnetic fields applied transverse and parallel to the Ising axis. These are understood in the context of a theoretical model of a soft electronuclear mode that interacts with soft photons as well as soft phonons. We identify competing infrared divergences at the quantum critical point, coming from the photons and the electronuclear soft mode. It is an incomplete cancellation of these divergences that leads to the muted but distinct signatures observed in the experiments. The application of a longitudinal magnetic field gaps the soft mode. Measurements well away from the quantum critical point reveal a set of ``Walker'' modes associated with ferromagnetic domain dynamics., Comment: 20 pages, 14 figures

Language models exhibit scaling laws, whereby increasing model and dataset size yields predictable decreases in negative log likelihood, unlocking a dazzling array of capabilities. This phenomenon spurs many companies to train ever larger models in pursuit of ever improved performance. Yet, these models are vulnerable to adversarial inputs such as ``jailbreaks'' and prompt injections that induce models to perform undesired behaviors, posing a growing risk as models become more capable. Prior work indicates that computer vision models become more robust with model and data scaling, raising the question: does language model robustness also improve with scale? We study this question empirically in the classification setting, finding that without explicit defense training, larger models tend to be modestly more robust on most tasks, though the effect is not reliable. Even with the advantage conferred by scale, undefended models remain easy to attack in absolute terms, and we thus turn our attention to explicitly training models for adversarial robustness, which we show to be a much more compute-efficient defense than scaling model size alone. In this setting, we also observe that adversarially trained larger models generalize faster and better to modified attacks not seen during training when compared with smaller models. Finally, we analyze the offense/defense balance of increasing compute, finding parity in some settings and an advantage for offense in others, suggesting that adversarial training alone is not sufficient to solve robustness, even at greater model scales., Comment: 36 pages; updated to include new results and analysis

Human-Centric Software Engineering (HCSE) refers to the software engineering (SE) processes that put human needs and requirements as core practice throughout the software development life cycle. A large majority of software projects fail to cater to human needs and consequently run into budget, delivery, and usability issues. To support human-centric software engineering practices, it is important for universities to train their students on how to consider human needs. But what topics from HCSE should be provided in the undergraduate curriculum? Curriculum guidelines for software engineering are available, however do not represent update to date considerations for human-factors. To address this issue, this paper presents a scoping review to identify the topics and curriculum approaches suitable for teaching HCSE to undergraduate software engineering students. The scoping review was conducted according to the protocol by PRISMA-ScR (Preferred Reporting Items for Systematic reviews and Meta-Analyses extension for Scoping Reviews). Through PRISMA-ScR, a total of 36 conference or journal papers were identified as viable for analysis,with 5 common themes found that describe topics and curriculum approaches relevant for teaching software engineering. Using the outcomes of the scoping review, this paper also analyses the Australian Software Engineering curriculum to understand the extent at which human centred software engineering topics are scaffolded into course structures. This paper concludes by suggesting topic scaffolding for the undergraduate curriculum that aligns with the software engineering process. Overall, by providing a focus on HCSE topics and curriculum approaches, the education of HCSE among current and future software engineers can increase, leading to long-term impact on the success of software projects for all stakeholders., Comment: The dataset associated with this paper is not going to be available and the work is incomplete without the dataset

This paper presents a scoping review of literature to examine who is reviewing educational immersive or extended reality - eduXR experiences and why. EduXR experiences in augmented, virtual or mixed reality take many forms, from supporting manual training, engaging learners in conservation, to provide opportunities for social connection. For users of eduXR, reviews of an experience can provide information that helps them determine whether it will meet their learning needs or not. The source of the review, that is, who they are and why they have conducted the review, is critical in helping the user judge the reviews quality and relevance. At present, there is no settled review system in place for eduXR, though relevant frameworks exist for serious games review with relevance and overlap for some, but not all, eduXR experiences. While some authors have engaged in preparing a detailed review structure for eduXR, there remains a need for a clear and simple way for users of eduXR to know details about reviewers, e.g., who and why, to help make it easier for users to identify relevant reviews and gain useful insight about eduXR experiences. To help address this issue, we conducted a scoping review asking the question; Who is creating eduXR reviews, and why? We identified 16 papers that present an academic evaluation on the review process of eduXR reviews. The 16 papers were analysed, coding for who themes and why themes over two separate cycles, using thematic analysis. An analysis looked to examine what we know regarding who is providing the reviews, and why, to help us to understand what enables, inhibits and what is yet unknown about how the eduXR community goes about making informed choices regarding the eduXR experiences they engage with., Comment: 14 pages

Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that every set is contained in a transitive set ($\mathsf{TCo}$). A result due to Kaufmann shows that every countable model, $\mathcal{M}$, of $\mathsf{KP}+\Pi_n\textsf{-Collection}$ has a proper $\Sigma_{n+1}$-elementary end extension. Here we show that there are limits to the amount of the theory of $\mathcal{M}$ that can be transferred to the end extensions that are guaranteed by Kaufmann's Theorem. Using admissible covers and the Barwise Compactness Theorem, we show that if $\mathcal{M}$ is a countable model $\mathsf{KP}+\Pi_n\textsf{-Collection}+\Sigma_{n+1}\textsf{-Foundation}$ and $T$ is a recursive theory that holds in $\mathcal{M}$, then there exists a proper $\Sigma_n$-elementary end extension of $\mathcal{M}$ that satisfies $T$. We use this result to show that the theory $\mathsf{M}+\Pi_n\textsf{-Collection}+\Pi_{n+1}\textsf{-Foundation}$ proves $\Sigma_{n+1}\textsf{-Separation}$., Comment: 23 pages. This is a later draft of arXiv:2201.04817

Laser frequency noise suppression is a critical requirement for the Laser Interferometer Space Antenna (LISA) mission to detect gravitational waves. The baseline laser stabilization is achieved using cavity pre-stabilization and a post-processing technique called Time-Delay-Interferometry (TDI). To enhance the margins for TDI, alternate laser locking schemes should be investigated. A novel stabilisation blending the excellent stability of the arm with the existing cavity reference has been shown theoretically to meet the first-generation TDI margins. This locking system was designed to be implemented as a firmware change and have minimal or no changes to the LISA hardware. This paper experimentally verifies the hybrid laser locking technique by utilizing two references - an optical cavity, and an interferometer with delay imparted using 10 km of optical fiber. The results indicate the viability of the combination of arm-cavity locking system for LISA. They show the key benefits envisioned by this technique; suppression of the cavity fluctuations by the arm sensor (by 21 dB in this demonstration) and reduction of Doppler pulling of the laser frequency, a key technical challenge for arm locking., Comment: 11 pages, 13 figures

Consciousness is notoriously hard to define with objective terms. An objective definition of consciousness is critically needed so that we might accurately understand how consciousness and resultant choice behaviour may arise in biological or artificial systems. Many theories have integrated neurobiological and psychological research to explain how consciousness might arise, but few, if any, outline what is fundamentally required to generate consciousness. To identify such requirements, I examine current theories of consciousness and corresponding scientific research to generate a new definition of consciousness from first principles. Critically, consciousness is the apparatus that provides the ability to make decisions, but it is not defined by the decision itself. As such, a definition of consciousness does not require choice behaviour or an explicit awareness of temporality despite both being well-characterised outcomes of conscious thought. Rather, requirements for consciousness include: at least some capability for perception, a memory for the storage of such perceptual information which in turn provides a framework for an imagination with which a sense of self can be capable of making decisions based on possible and desired futures. Thought experiments and observable neurological phenomena demonstrate that these components are fundamentally required of consciousness, whereby the loss of any one component removes the capability for conscious thought. Identifying these requirements provides a new definition for consciousness by which we can objectively determine consciousness in any conceivable agent, such as non-human animals and artificially intelligent systems., Comment: 16 pages, 1 figure, 2 tables, 74 references