Search

The fixed angle inverse scattering problem for a velocity consists in determining a sound speed, or a Riemannian metric up to diffeomorphism, from measurements obtained by probing the medium with a single plane wave. This is a formally determined inverse problem that is open in general. In this article we consider the rigidity question of distinguishing a sound speed or a Riemannian metric from the Euclidean metric. We prove that a general smooth metric that is Euclidean outside a ball can be distinguished from the Euclidean metric. The methods involve distorted plane waves and a combination of geometric, topological and unique continuation arguments.

In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be defined for any finite subset $S$ of a group, and we refer to such a process as simply ``solitaire''. We develop a general theory of solitaire, and then concentrate on the simplest possible example, solitaire for the plane $\mathbb{Z}^2$, and $S$ the triangle shape (equivalently, any three-element set in general position). In this case, we give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a so-called fill matrix. We show that the diameter of the line orbit, as a graph with edges the solitaire moves, is cubic. We show that analogous results hold for the square shape, but indicate some shapes (still on the group $\mathbb{Z}^2$) where this is less immediate. We then explain in detail the connection of the solitaire to TEP and more generally permutive subshifts. Namely, the solitaire is a closure property of various sets of subsets of the group that can be associated to such a subshift, such as the independence, spanning and filling sets., Comment: 66 pages, 49 figures

We study the Lorentzian Calder\'on problem, where the objective is to determine a globally hyperbolic Lorentzian metric up to a boundary fixing diffeomorphism from boundary measurements given by the hyperbolic Dirichlet-to-Neumann map. This problem is a wave equation analogue of the Calder\'on problem on Riemannian manifolds. We prove that if a globally hyperbolic metric agrees with the Minkowski metric outside a compact set and has the same hyperbolic Dirichlet-to-Neumann map as the Minkowski metric, then it must be the Minkowski metric up to diffeomorphism. In fact we prove the same result with a much smaller amount of measurements, thus solving a formally determined inverse problem. To prove these results we introduce a new method for geometric hyperbolic inverse problems. The method is based on distorted plane wave solutions and on a combination of geometric, topological and unique continuation arguments., Comment: 39 pages, 2 figures

The ionization of diffuse gas located far above the energetic midplane OB stars poses a challenge to the commonly accepted notion that radiation from OB stars is the primary ionization source for gas in galaxies. We investigated the sources of ionizing radiation, specifically leaking midplane HII regions and/or in situ hot low-mass evolved stars (HOLMES), in extraplanar diffuse ionized gas (eDIG) in a sample of eight nearby (17-52 Mpc) edge-on disk galaxies observed with the Multi Unit Spectroscopic Explorer (MUSE). We constructed a model for the photoionization of eDIG clouds and the propagation of ionizing radiation through the eDIG using subsequent runs of Cloudy photoionization code. Our model includes radiation originating both from midplane OB stars and in situ evolved stars and its dilution and processing as it propagates in the eDIG. We fit the model to the data using the vertical line ratio profiles of our sample galaxies, and find that while the ionization by in situ evolved stars is insignificant for most of the galaxies in our sample, it may be able to explain the enhanced high-ionization lines in the eDIG of the green valley galaxy ESO 544-27. Our results show that while leaking radiation from midplane HII regions is the primary ionization source for eDIG, in situ evolved stars can play a significant part in ionizing extraplanar gas in galaxies with low star forming rates., Comment: 19 pages, 22 figures, accepted to Astronomy & Astrophysics

We construct a finitely generated group which is not virtually free, yet has decidable snake tiling problem. This shows that either a long-standing conjecture by Ballier and Stein (the characterization of groups with decidable domino problem as those virtually free ones) is false, or a question by Aubrun and Bitar has a positive answer (there exists a group for which the domino and snake problems are of different difficulty).

An avoshift is a subshift where for each set $C$ from a suitable family of subsets of the shift group, the set of all possible valid extensions of a globally valid pattern on $C$ to the identity element is determined by a bounded subpattern. This property is shared (for various families of sets $C$) by for example cellwise quasigroup shifts, TEP subshifts, and subshifts of finite type with a safe symbol. In this paper we concentrate on avoshifts on polycyclic groups, when the sets $C$ are what we call ``inductive intervals''. We show that then avoshifts are a recursively enumerable subset of subshifts of finite type. Furthermore, we can effectively compute lower-dimensional projective subdynamics and certain factors (avofactors), and we can decide equality and inclusion for subshifts in this class. These results were previously known for group shifts, but our class also covers many non-algebraic examples as well as many SFTs without dense periodic points. The theory also yields new proofs of decidability of inclusion for SFTs on free groups, and SFTness of subshifts with the topological strong spatial mixing property., Comment: 34 pages, 1 figure

The question of existence of nonexpansive chaotic almost minimal (CAM) systems, and the existence of CAM systems on every residually finite group, were raised in a recent paper of Van Cyr, Bryna Kra and Scott Schmieding. We construct nonexpansive CAM systems on all finitely-generated residually finite groups., Comment: 7 pages, 1 figure

This thesis focuses on the application of numerical relativity methods to the solutions of problems in strong gravity. Our goal is the study of mergers of compact objects in the strong field regime where non-linear dynamics manifest and deviations from General Relativity could be found. We develop a new formulation of the Einstein equations in d+1 spacetime dimensions in the moving punctures approach, which leads to a well-posed set of equations for the Einstein-Gauss-Bonnet gravity (EGB), as well as for the most general parity-invariant scalar-tensor theory of gravity up to four derivatives (4$\partial$ST). Using this formulation, we have implemented the equations of the 4$\partial$ST theory in GRFolres, an open-source extension of our numerical relativity code GRChombo. This has enabled us to evolve equal and unequal-mass Binary Black Hole mergers in this effective field theory of gravity, as well as to study the loss of hyperbolicity and its relation to the weak coupling condition, among other topics of interest left for further study., Comment: Ph.D. thesis; Supervisor: Pau Figueras; 131 pages, 25 figures, 6 tables

Domain adaptation is often hampered by exceedingly small target datasets and inaccessible source data. These conditions are prevalent in speech verification, where privacy policies and/or languages with scarce speech resources limit the availability of sufficient data. This paper explored techniques of sourcefree domain adaptation unto a limited target speech dataset for speaker verificationin data-scarce languages. Both language and channel mis-match between source and target were investigated. Fine-tuning methods were evaluated and compared across different sizes of labeled target data. A novel iterative cluster-learn algorithm was studied for unlabeled target datasets.

In this work we study the increasing resolution of linear inverse scattering problems at a large fixed frequency. We consider the problem of recovering the density of a Herglotz wave function, and the linearized inverse scattering problem for a potential. It is shown that the number of features that can be stably recovered (stable region) becomes larger as the frequency increases, whereas one has strong instability for the rest of the features (unstable region). To show this rigorously, we prove that the singular values of the forward operator stay roughly constant in the stable region and decay exponentially in the unstable region. The arguments are based on structural properties of the problems and they involve the Courant min-max principle for singular values, quantitative Agmon-H\"ormander estimates, and a Schwartz kernel computation based on the coarea formula., Comment: 29 pages, 3 figures

Scalar-Gauss-Bonnet (sGB) gravity with an additional coupling between the scalar field and the Ricci scalar exhibits very interesting properties related to black hole stability, evasion of binary pulsar constraints, and general relativity as a late-time cosmology attractor. Furthermore, it was demonstrated that a spherically symmetric collapse is well-posed for a wide range of parameters. In the present paper we examine further the well-posedness through $3+1$ evolution of static and rotating black holes. We show that the evolution is indeed hyperbolic if the weak coupling condition is not severely violated. The loss of hyperbolicity is caused by the gravitational sector of the physical modes, thus it is not an artifact of the gauge choice. We further seek to compare the Ricci-coupled sGB theory against the standard sGB gravity with additional terms in the Gauss-Bonnet coupling. We find strong similarities in terms of well-posedness, but we also point out important differences in the stationary solutions. As a byproduct, we show strong indications that stationary near-extremal scalarized black holes exist within the Ricci-coupled sGB theory, where the scalar field is sourced by the spacetime curvature rather than the black hole spin., Comment: 20 pages, 6 figures

We give examples on the use of the Stone-Weierstrass theorem in inverse problems. We show uniqueness in the linearized Calder\'on problem on holomorphically separable K\"ahler manifolds, and in the Calder\'on problem for nonlinear equations on conformally transversally anisotropic manifolds. We also study the holomorphic separability condition in terms of plurisubharmonic functions. The Stone-Weierstrass theorem allows us to generalize and simplify earlier results. It also makes it possible to circumvent the use of complex geometrical optics solutions and inversion of explicit transforms in certain cases., Comment: 17 pages

We study symbolic dynamical representations of actions of the first Grigorchuk group $G$, namely its action on the boundary of the infinite rooted binary tree, its representation in the topological full group of a minimal substitutive $\mathbb{Z}$-shift, and its representation as a minimal system of Schreier graphs. We show that the first system admits an SFT cover, and the latter two systems are conjugate to sofic subshifts on $G$, but are not of finite type., Comment: 34 pages

A teaching experiment was carried out in a university-level thermodynamics course using adaptive and interactive e-learning material, created in the new Moodle question type Stateful extending the original e-learning platform STACK. The system collects data about the students that is used to algorithmically classify them according to their behaviour in solving problems. It is observed that the classification of this data predicts students' success in the other parts of the course for a majority of students. Also, the classification is statistically consistent with Thermodynamic Concept Survey and Maryland Physics Expectation Survey.

We prove that the lamplighter group admits strongly aperiodic SFTs, has undecidable tiling problem, and the entropies of its SFTs are exactly the upper semicomputable nonnegative real numbers, and some other results. These results follow from two relatively general simulation theorems, which show that for a large class of effective subshifts on the sea-level subgroup, their induction to the lamplighter group is sofic; and the pullback of every effective Cantor system on the integers admits an SFT cover. We exhibit a concrete strongly aperiodic set with $1488$ tetrahedra. We show that metabelian Baumslag-Solitar groups are intersimulable with lamplighter groups, and thus we obtain the same characterization for their entropies.

We study inverse boundary problems for semilinear Schr\"odinger equations on smooth compact Riemannian manifolds of dimensions $\ge 2$ with smooth boundary, at a large fixed frequency. We show that certain classes of cubic nonlinearities are determined uniquely from the knowledge of the nonlinear Dirichlet--to--Neumann map at a large fixed frequency on quite general Riemannian manifolds. In particular, in contrast to the previous results available, here the manifolds need not satisfy any product structure, may have trapped geodesics, and the geodesic ray transform need not be injective. Only a mild assumption about the geometry of intersecting geodesics is required. We also establish a polynomial resolvent estimate for the Laplacian on an arbitrary smooth compact Riemannian manifold without boundary, valid for most frequencies. This estimate, along with the invariant construction of Gaussian beam quasimodes with uniform bounds for underlying constants and a stationary phase lemma with explicit control over all involved constants, constitutes the key elements in proving the uniqueness results for the considered inverse problems.

We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point. For virtually polycyclic groups, contractibility implies dense periodic points. We introduce a ``homotopy theory'' framework for working with this notion, and ``contractibility'' is in fact simply an analog of the usual contractibility in algebraic topology. We also explore the symbolic dynamical analogs of homotopy equivalence and equiconnectedness of subshifts. Contractibility is implied by the map extension property of Meyerovitch, and among SFTs, it implies the finite extension property of Brice\~no, McGoff and Pavlov. We include thorough comparisons with these classes. We also encounter some new group-geometric notions, in particular a periodic variant of Gromov's asymptotic dimension of a group., Comment: 51 pages, 1 figure

We investigate the linear axisymmetric viscous overstability in dense planetary rings with typical values of the dynamical optical depth $\tau\gtrsim 0.5$. We develop a granular flow model which accounts for the particulate nature of a planetary ring subjected to dissipative particle collisions. The model captures the dynamical evolution of the disc's vertical thickness, temperature, and effects related to a finite volume filling factor of the ring fluid. We compute equilibrium states of self-gravitating and non-self-gravitating rings, which compare well with existing results from kinetic models and N-Body simulations. Subsequently, we conduct a linear stability analysis of our model. We briefly discuss the different linear eigenmodes of the system and compare with existing literature by applying corresponding limiting approximations. We then focus on the viscous overstability, analysing the effect of temperature variations, radial and vertical self-gravity, and for the first time the effects of vertical motions on the instability. In addition, we perform local N-body simulations incorporating radial and vertical self-gravity. Critical values for the optical depth and the filling factor for the onset of instability resulting from our N-body simulations compare well with our model predictions under the neglect of radial self-gravity. When radial self-gravity is included, agreement with N-body simulations can be achieved by adopting enhanced values of the bulk viscous stress., Comment: 24 pages, 11 figures

This article studies the inverse problem of recovering a nonlinearity in an elliptic equation $\Delta u + a(x,u) = 0$ from boundary measurements of solutions. Previous results based on first order linearization achieve this under a sign condition on $\partial_u a(x,u)$, and results based on higher order linearization recover the Taylor series of $a(x,u)$ with respect to $u$. We improve these results and show that a general nonlinearity, and not just its Taylor series, is uniquely determined up to gauge near a fixed solution. Our method is based on constructing a good solution map that locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation., Comment: 26 pages

This work gives an expository account of certain applications of microlocal analysis in three geometric inverse problems. We will discuss the geodesic X-ray transform inverse problem, the Gelfand problem for the wave equation on a Riemannian manifold, and the Calder\'on problem for the Laplace equation on a Riemannian manifold., Comment: 60 pages. This material is based on lecture notes for two online minicourses, one organized at DTU, Copenhagen, in January 2021 and another at CRM, Montreal, in August 2021. This work follows earlier lecture notes (arXiv:1908.03041, published in https://doi.org/10.3390/math8071184) and extends the results from Euclidean to Riemannian background geometry. arXiv admin note: text overlap with arXiv:1908.03041

The redshift evolution of bars is an important signpost of the dynamic maturity of disk galaxies. To characterize the intrinsic evolution safe from band-shifting effects, it is necessary to gauge how bar properties vary locally as a function of wavelength. We investigate bar properties in 16 nearby galaxies from the Spitzer Survey of Stellar Structure in Galaxies (S4G) at ultraviolet, optical and mid-infrared wavebands. Based on the ellipticity and position angle profiles from fitting elliptical isophotes to the two-dimensional light distribution, we find that both bar length and ellipticity - the latter often used as a proxy for bar strength - increase at bluer wavebands. Bars are 9% longer in the B-band than at 3.6 um. Their ellipticity increases typically by 8% in the B-band, with a significant fraction (>40%) displaying an increase up to 35%. We attribute the increase in bar length to the presence of star forming knots at the end of bars: these regions are brighter in bluer bands, stretching the bar signature further out. The increase in bar ellipticity could be driven by the apparent bulge size: the bulge is less prominent at bluer bands, allowing for thinner ellipses within the bar region. Alternatively, it could be due to younger stellar populations associated to the bar. The resulting effect is that bars appear longer and thinner at bluer wavebands. This indicates that band-shifting effects are significant and need to be corrected for high-redshift studies to reliably gauge any intrinsic evolution of the bar properties with redshift., Comment: Accepted to MNRAS

The universality or non-universality of the initial mass function (IMF) has significant implications for determining star formation rates and star formation histories from photometric properties of stellar populations. We reexamine whether the IMF is deficient in high-mass stars (top-light) in the low-density environment of the outer disk of M83 and constrain the shape of the IMF therein. Using archival Galaxy Evolution Explorer (GALEX) far ultraviolet (FUV) and near ultraviolet (NUV) data and new deep OmegaCAM narrowband H$\alpha$ imaging, we constructed a catalog of FUV-selected objects in the outer disk of M83. We counted H$\alpha$-bright clusters and clusters that are blue in FUV$-$NUV in the catalog, measured the maximum flux ratio $F_{\mathrm{H}\alpha}/f_{\lambda \mathrm{FUV}}$ among the clusters, and measured the total flux ratio $\Sigma F_{\mathrm{H}\alpha}/\Sigma f_{\lambda \mathrm{FUV}}$ over the catalog. We then compared these measurements to predictions from stellar population synthesis models made with a standard Salpeter IMF, truncated IMFs, and steep IMFs. We also investigated the effect of varying the assumed internal extinction on our results. We are not able to reproduce our observations with models using the standard Salpeter IMF or the truncated IMFs. It is only when assuming an average internal extinction of $0.10 < A_{\mathrm{V}} < 0.15$ in the outer disk stellar clusters that models with steep IMFs ($\alpha > 3.1$) simultaneously reproduce the observed cluster counts, the maximum observed $F_{\mathrm{H}\alpha}/f_{\lambda \mathrm{FUV}}$, and the observed $\Sigma F_{\mathrm{H}\alpha}/\Sigma f_{\lambda \mathrm{FUV}}$. Our results support a non-universal IMF that is deficient in high-mass stars in low-density environments., Comment: 18 pages, 15 figures, accepted to Astronomy & Astrophysics

We examine in detail the provisioning process used by many common, consumer-grade Internet of Things (IoT) devices. We find that this provisioning process involves the IoT device, the vendor's cloud-based server, and a vendor-provided mobile app. In order to better understand this process, we develop two toolkits. IoT-Dissect I enables us to decrypt and examine the messages exchanged between the IoT device and the vendor's server, and between the vendor's server and a vendor-provided mobile app. IoT-Dissect II permits us to reverse engineer the vendor's mobile app and observe its operation in detail. We find several potential security issues with the provisioning process and recommend ways to mitigate these potential problems. Further, based on these observations, we conclude that it is likely feasible to construct a vendor-agnostic IoT home gateway that will automate this largely manual provisioning process, isolate IoT devices on their own network, and perhaps open the tight association between an IoT device and the vendor's server., Comment: 7 pages, 11 figures

Biophysical modeling of diffusion MRI (dMRI) offers the exciting potential of bridging the gap between the macroscopic MRI resolution and microscopic cellular features, effectively turning the MRI scanner into a noninvasive in vivo microscope. In brain white matter, the Standard Model (SM) interprets the dMRI signal in terms of axon dispersion, intra- and extra-axonal water fractions and diffusivities. However, for SM to be fully applicable and correctly interpreted, it needs to be carefully evaluated using histology. Here, we perform a comprehensive histological validation of the SM parameters, by characterizing WM microstructure in sham and injured rat brains using volume (3d) electron microscopy (EM) and ex vivo dMRI. Sensitivity is evaluated by how close each SM metric is to its histological counterpart, and specificity by how independent it is from other, non-corresponding histological features. This comparison reveals that SM is sensitive and specific to microscopic properties, clearing the way for the clinical adoption of in vivo dMRI derived SM parameters as biomarkers for neurological disorders., Comment: 19 pages, 5 figures, 1 table, 5 supplementary figures

This paper investigates the possible scattering and non-scattering behavior of an anisotropic and inhomogeneous Lipschitz medium at a fixed wave number and with a single incident field. We connect the anisotropic non-scattering problem to a Bernoulli type free boundary problem. By invoking methods from the theory of free boundaries, we show that an anisotropic medium with Lipschitz but not $C^{1,\alpha}$ boundary scatters every incident wave that satisfies a non-degeneracy condition., Comment: 20 pages

GRFolres is an open-source code for performing simulations in modified theories of gravity, based on the publicly available 3+1D numerical relativity code GRChombo. Note: Submitted for review in the Journal of Open Source Software; Comments welcome; The code can be found at https://github.com/GRChombo/GRFolres

The Brain Imaging Data Structure (BIDS) is a community-driven standard for the organization of data and metadata from a growing range of neuroscience modalities. This paper is meant as a history of how the standard has developed and grown over time. We outline the principles behind the project, the mechanisms by which it has been extended, and some of the challenges being addressed as it evolves. We also discuss the lessons learned through the project, with the aim of enabling researchers in other domains to learn from the success of BIDS.

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from $X$. We study the case of $G = H \times K$ for infinite and finitely generated groups $H$ and $K$: on the one hand we show that if $K$ is nonamenable and $H$ has decidable word problem, then the free extension to $G$ of any $H$-subshift which is effectively closed is a sofic $G$-subshift. On the other hand we prove that if both $H$ and $K$ are amenable, there are always $H$-subshifts which are effectively closed by patterns whose free extension to $G$ is non-sofic. We also present a few applications in the form of a new simulation theorem and a new class of groups which admit strongly aperiodic SFTs., Comment: 6 pretty pictures

Modified gravity theories such as Einstein scalar Gauss Bonnet (EsGB) contain higher derivative terms in the spacetime curvature in their action, which results in modifications to the Hamiltonian and momentum constraints of the theory. In principle, such modifications may affect the principal part of the operator in the resulting elliptic equations, and so further complicate the already highly non-linear, coupled constraints that apply to the initial data in numerical relativity simulations of curved spacetimes. However, since these are effective field theories, we expect the additional curvature terms to be small, which motivates treating them simply as an additional source in the constraints, and iterating to find a solution to the full problem. In this work we implement and test a modification to the CTT/CTTK methods of solving the constraints for the case of the most general four derivative, parity invariant scalar-tensor theory, and show that solutions can be found in both asymptotically flat/black hole and periodic/cosmological spacetimes, even up to couplings of order unity in the theory. Such methods will allow for numerical investigations of a much broader class of initial data than has previously been possible in these theories, and should be straightforward to extend to similar models in the Horndeski class., Comment: 9 pages, 4 figures, comments welcome!

Conway's Game of Life is a two-dimensional cellular automaton. As a dynamical system, it is well-known to be computationally universal, i.e.\ capable of simulating an arbitrary Turing machine. We show that in a sense taking a single backwards step of Game of Life is a computationally universal process, by constructing patterns whose preimage computation encodes an arbitrary circuit-satisfaction problem, or (equivalently) any tiling problem. As a corollary, we obtain for example that the set of orphans is coNP-complete, exhibit a $6210 \times 37800$-periodic configuration that admits a preimage but no periodic one, and prove that the existence of a preimage for a periodic point is undecidable. Our constructions were obtained by a combination of computer searches and manual design., Comment: 28 pages, 10 figures in main text. 11 pages, 20 figures in appendix. Accompanied by two GitHub repositories containing programs and auxiliary data

Quadratic theories of gravity with second order equations of motion provide an interesting model for testing deviations from general relativity in the strong gravity regime. However, they can suffer from a loss of hyperbolicity, even for initial data that is in the weak coupling regime and free from any obvious pathology. This effect has been studied in a variety of cases including isolated black holes and binaries. Here we explore the loss of hyperbolicity in spin-induced scalarization of isolated Kerr black holes in a scalar-Gauss-Bonnet theory of gravity, employing the modified CCZ4 formulation that has recently been developed. We find that, as in previous studies, hyperbolicity is lost when the scalar field and its gradients become large, and identify the breakdown in our evolutions with the physical modes of the purely gravitational sector. We vary the gauge parameters and find the results to be independent of their value. This, along with our use of a different gauge formulation to previous works, supports the premise that the loss of hyperbolicity is dominated by the physical modes. Since scalar-Gauss-Bonnet theories can be viewed as effective field theories (EFTs), we also examine the strength of the coupling during the evolution. We find that at the moment when hyperbolicity is lost the system is already well within the regime where the EFT is no longer valid. This reinforces the idea that the theories should only be applied within their regime of validity, and not treated as complete theories in their own right., Comment: 23 pages, 10 figure, 1 table

We present observations and timing analyses of 68 millisecond pulsars (MSPs) comprising the 15-year data set of the North American Nanohertz Observatory for Gravitational Waves (NANOGrav). NANOGrav is a pulsar timing array (PTA) experiment that is sensitive to low-frequency gravitational waves. This is NANOGrav's fifth public data release, including both "narrowband" and "wideband" time-of-arrival (TOA) measurements and corresponding pulsar timing models. We have added 21 MSPs and extended our timing baselines by three years, now spanning nearly 16 years for some of our sources. The data were collected using the Arecibo Observatory, the Green Bank Telescope, and the Very Large Array between frequencies of 327 MHz and 3 GHz, with most sources observed approximately monthly. A number of notable methodological and procedural changes were made compared to our previous data sets. These improve the overall quality of the TOA data set and are part of the transition to new pulsar timing and PTA analysis software packages. For the first time, our data products are accompanied by a full suite of software to reproduce data reduction, analysis, and results. Our timing models include a variety of newly detected astrometric and binary pulsar parameters, including several significant improvements to pulsar mass constraints. We find that the time series of 23 pulsars contain detectable levels of red noise, 10 of which are new measurements. In this data set, we find evidence for a stochastic gravitational-wave background., Comment: 90 pages, 74 figures, 6 tables; published in Astrophysical Journal Letters as part of Focus on NANOGrav's 15-year Data Set and the Gravitational Wave Background. For questions or comments, please email comments@nanograv.org

We develop a modified CCZ4 formulation of the Einstein equations in $d+1$ spacetime dimensions for general relativity plus a Gauss-Bonnet term, as well as for the most general parity-invariant scalar-tensor theory of gravity up to four derivatives. We demonstrate well-posedness for both theories and provide full expressions for their implementation in numerical relativity codes. As a proof of concept, we study the so-called ``stealth-scalarisation'' induced by the spin of the remnant black hole after merger. As in previous studies using alternative gauges we find that the scalarisation occurs too late after merger to impact on the tensor waveform, unless the parameters are finely tuned. Naively increasing the coupling to accelerate the growth of the scalar field risks a breakdown of the effective field theory, and therefore well-posedness, as the evolution is pushed into the strongly coupled regime. Observation of such an effect would therefore rely on the detection of the scalar radiation that is produced during scalarisation. This work provides a basis on which further studies can be undertaken using codes that employ a moving-punctures approach to managing singularities in the numerical domain. It is therefore an important step forward in our ability to analyse modifications of general relativity in gravitational wave observations., Comment: Version accepted for publication in PRD

As society becomes increasingly reliant on electricity, the reliability requirements for electricity supply continue to rise. In response, transmission/distribution system operators (T/DSOs) must improve their networks and operational practices to reduce the number of interruptions and enhance their fault localization, isolation, and supply restoration processes to minimize fault duration. This paper proposes a machine learning based fault prediction method that aims to predict incipient faults, allowing T/DSOs to take action before the fault occurs and prevent customer outages.

We present the optical spectroscopic evolution of SN~2023ixf seen in sub-night cadence spectra from 1.18 to 14 days after explosion. We identify high-ionization emission features, signatures of interaction with material surrounding the progenitor star, that fade over the first 7 days, with rapid evolution between spectra observed within the same night. We compare the emission lines present and their relative strength to those of other supernovae with early interaction, finding a close match to SN~2020pni and SN~2017ahn in the first spectrum and SN~2014G at later epochs. To physically interpret our observations we compare them to CMFGEN models with confined, dense circumstellar material around a red supergiant progenitor from the literature. We find that very few models reproduce the blended \NC{} emission lines observed in the first few spectra and their rapid disappearance thereafter, making this a unique diagnostic. From the best models, we find a mass-loss rate of $10^{-3}-10^{-2}$ \mlunit{}, which far exceeds the mass-loss rate for any steady wind, especially for a red supergiant in the initial mass range of the detected progenitor. These mass-loss rates are, however, similar to rates inferred for other supernovae with early circumstellar interaction. Using the phase when the narrow emission features disappear, we calculate an outer dense radius of circumstellar material $R_\mathrm{CSM, out}\sim5\times10^{14}~\mathrm{cm}$ and a mean circumstellar material density of $\rho=5.6\times10^{-14}~\mathrm{g\,cm^{-3}}$. This is consistent with the lower limit on the outer radius of the circumstellar material we calculate from the peak \Halpha{} emission flux, $R_\text{CSM, out}\gtrsim9\times10^{13}~\mathrm{cm}$., Comment: Published in ApJL

We develop a systematic approach for resolving the analytic wave front set for a class of integral geometry transforms appearing in various tomography problems. Combined with microlocal analytic continuation, this leads to uniqueness and support theorems for analytic integral transforms which are in the microlocal double fibration framework introduced by Guillemin. For the case of ray transforms, we show that the double fibration setup has a concrete interpretation in terms of curve families obtained by projecting integral curves of a fixed vector field on some fiber bundle down to the base. This setup includes geodesic X-ray type transforms, null bicharacteristic ray transforms and transforms related to real principal type systems. We also study transforms integrating over submanifolds of any codimension, and give geometric characterizations for the Bolker condition required for recovering singularities. Our approach is based on a general result related to recovering the analytic wave front set of a function from its transform given by a suitable analytic elliptic Fourier integral operator. This approach extends and unifies a number of previous works. We use wave packet transforms to extrapolate the geometric features of wave front set propagation for such operators when their canonical relation satisfies the Bolker condition., Comment: 46 pages