Showing 1–50 of 239 results for author: Barrett, J

The Source of Hydrogen in Earth's Building Blocks

Authors: Thomas J Barrett, James F. J. Bryson, Kalotina Geraki

Abstract: Despite being pivotal to the habitability of our planet, the process by which Earth gained its present-day hydrogen budget is unclear. Due to their isotopic similarity to terrestrial rocks across a range of elements, enstatite chondrites (ECs) are thought to be the meteorites that best represent Earth's building blocks. Because of ECs' nominally anhydrous mineralogy, these building blocks have lon… ▽ More Despite being pivotal to the habitability of our planet, the process by which Earth gained its present-day hydrogen budget is unclear. Due to their isotopic similarity to terrestrial rocks across a range of elements, enstatite chondrites (ECs) are thought to be the meteorites that best represent Earth's building blocks. Because of ECs' nominally anhydrous mineralogy, these building blocks have long been presumed to have supplied negligible hydrogen to the proto-Earth. Instead, hydrogen has been proposed to have been delivered to our planet after its main stage of formation by impacts from hydrated asteroids. In this case, our planet's habitability would have its origins in a stochastic process. However, ECs have recently been found to unexpectedly contain enough hydrogen to readily explain Earth's present-day water budget. Although this result would transform the processes we believe are required for rocky planets to be suitable to life, the mineralogical source of ~80% of hydrogen in these meteorites was previously unknown. As such, the reason ECs are seemingly rich in hydrogen was unclear. Here, we apply sulfur X-ray absorption near edge structure (S-XANES) spectroscopy to ECs, finding that most (~70%) of their hydrogen is bonded to sulfur. Moreover, the concentration of the S-H bond is intimately linked to the abundance of micrometre-scale pyrrhotite (Fe1-xS, 0<x<0.125), suggesting most hydrogen in these meteorites is carried in this phase. These findings elucidate the presence of hydrogen in Earth's building blocks, providing the key evidence that unlocks a systematic, rather than stochastic, origin of Earth's hydrogen. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 19 pages, 12 figures

A Bayesian joint model of multiple nonlinear longitudinal and competing risks outcomes for dynamic prediction in multiple myeloma: joint estimation and corrected two-stage approaches

Authors: Danilo Alvares, Jessica K. Barrett, François Mercier, Spyros Roumpanis, Sean Yiu, Felipe Castro, Jochen Schulze, Yajing Zhu

Abstract: Predicting cancer-associated clinical events is challenging in oncology. In Multiple Myeloma (MM), a cancer of plasma cells, disease progression is determined by changes in biomarkers, such as serum concentration of the paraprotein secreted by plasma cells (M-protein). Therefore, the time-dependent behaviour of M-protein and the transition across lines of therapy (LoT) that may be a consequence of… ▽ More Predicting cancer-associated clinical events is challenging in oncology. In Multiple Myeloma (MM), a cancer of plasma cells, disease progression is determined by changes in biomarkers, such as serum concentration of the paraprotein secreted by plasma cells (M-protein). Therefore, the time-dependent behaviour of M-protein and the transition across lines of therapy (LoT) that may be a consequence of disease progression should be accounted for in statistical models to predict relevant clinical outcomes. Furthermore, it is important to understand the contribution of the patterns of longitudinal biomarkers, upon each LoT initiation, to time-to-death or time-to-next-LoT. Motivated by these challenges, we propose a Bayesian joint model for trajectories of multiple longitudinal biomarkers, such as M-protein, and the competing risks of death and transition to next LoT. Additionally, we explore two estimation approaches for our joint model: simultaneous estimation of all parameters (joint estimation) and sequential estimation of parameters using a corrected two-stage strategy aiming to reduce computational time. Our proposed model and estimation methods are applied to a retrospective cohort study from a real-world database of patients diagnosed with MM in the US from January 2015 to February 2022. We split the data into training and test sets in order to validate the joint model using both estimation approaches and make dynamic predictions of times until clinical events of interest, informed by longitudinally measured biomarkers and baseline variables available up to the time of prediction. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 38 pages, 13 figures

Commuting Clifford actions

Authors: John W. Barrett

Abstract: It shown that if a vector space carries commuting actions of two Clifford algebras, then the quadratic monomials using generators from either Clifford algebra determine a spinor representation of an orthogonal Lie algebra. Examples of this construction have applications to high energy physics, particularly to the standard model and unification. It is shown how to use Clifford data to construct s… ▽ More It shown that if a vector space carries commuting actions of two Clifford algebras, then the quadratic monomials using generators from either Clifford algebra determine a spinor representation of an orthogonal Lie algebra. Examples of this construction have applications to high energy physics, particularly to the standard model and unification. It is shown how to use Clifford data to construct spectral triples for the Pati-Salam model that admit an action of Spin(10). △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: Approx 10 pages

MSC Class: 15A66; 58B34

Fermion integrals for finite spectral triples

Authors: John W. Barrett

Abstract: Fermion functional integrals are calculated for the Dirac operator of a finite real spectral triple. Complex, real and chiral functional integrals are considered for each KO-dimension where they are non-trivial, and phase ambiguities in the definition are noted. Fermion functional integrals are calculated for the Dirac operator of a finite real spectral triple. Complex, real and chiral functional integrals are considered for each KO-dimension where they are non-trivial, and phase ambiguities in the definition are noted. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: Approx 9 pages

MSC Class: 58B34; 81T75

A de Finetti theorem for quantum causal structures

Authors: Fabio Costa, Jonathan Barrett, Sally Shrapnel

Abstract: What does it mean for a causal structure to be `unknown'? Can we even talk about `repetitions' of an experiment without prior knowledge of causal relations? And under what conditions can we say that a set of processes with arbitrary, possibly indefinite, causal structure are independent and identically distributed? Similar questions for classical probabilities, quantum states, and quantum channels… ▽ More What does it mean for a causal structure to be `unknown'? Can we even talk about `repetitions' of an experiment without prior knowledge of causal relations? And under what conditions can we say that a set of processes with arbitrary, possibly indefinite, causal structure are independent and identically distributed? Similar questions for classical probabilities, quantum states, and quantum channels are beautifully answered by so-called "de Finetti theorems", which connect a simple and easy-to-justify condition -- symmetry under exchange -- with a very particular multipartite structure: a mixture of identical states/channels. Here we extend the result to processes with arbitrary causal structure, including indefinite causal order and multi-time, non-Markovian processes applicable to noisy quantum devices. The result also implies a new class of de Finetti theorems for quantum states subject to a large class of linear constraints, which can be of independent interest. △ Less

Submitted 24 April, 2024; v1 submitted 15 March, 2024; originally announced March 2024.

Comments: Reference added and minor revision. 11 main + 4 references + 5 appendix = 20 pages, 3 figures

Ordered magnetic fields around the 3C 84 central black hole

Authors: G. F. Paraschos, J. -Y. Kim, M. Wielgus, J. Röder, T. P. Krichbaum, E. Ros, I. Agudo, I. Myserlis, M. Moscibrodzka, E. Traianou, J. A. Zensus, L. Blackburn, C. -K. Chan, S. Issaoun, M. Janssen, M. D. Johnson, V. L. Fish, K. Akiyama, A. Alberdi, W. Alef, J. C. Algaba, R. Anantua, K. Asada, R. Azulay, U. Bach , et al. (258 additional authors not shown)

Abstract: 3C84 is a nearby radio source with a complex total intensity structure, showing linear polarisation and spectral patterns. A detailed investigation of the central engine region necessitates the use of VLBI above the hitherto available maximum frequency of 86GHz. Using ultrahigh resolution VLBI observations at the highest available frequency of 228GHz, we aim to directly detect compact structures a… ▽ More 3C84 is a nearby radio source with a complex total intensity structure, showing linear polarisation and spectral patterns. A detailed investigation of the central engine region necessitates the use of VLBI above the hitherto available maximum frequency of 86GHz. Using ultrahigh resolution VLBI observations at the highest available frequency of 228GHz, we aim to directly detect compact structures and understand the physical conditions in the compact region of 3C84. We used EHT 228GHz observations and, given the limited (u,v)-coverage, applied geometric model fitting to the data. We also employed quasi-simultaneously observed, multi-frequency VLBI data for the source in order to carry out a comprehensive analysis of the core structure. We report the detection of a highly ordered, strong magnetic field around the central, SMBH of 3C84. The brightness temperature analysis suggests that the system is in equipartition. We determined a turnover frequency of $ν_m=(113\pm4)$GHz, a corresponding synchrotron self-absorbed magnetic field of $B_{SSA}=(2.9\pm1.6)$G, and an equipartition magnetic field of $B_{eq}=(5.2\pm0.6)$G. Three components are resolved with the highest fractional polarisation detected for this object ($m_\textrm{net}=(17.0\pm3.9)$%). The positions of the components are compatible with those seen in low-frequency VLBI observations since 2017-2018. We report a steeply negative slope of the spectrum at 228GHz. We used these findings to test models of jet formation, propagation, and Faraday rotation in 3C84. The findings of our investigation into different flow geometries and black hole spins support an advection-dominated accretion flow in a magnetically arrested state around a rapidly rotating supermassive black hole as a model of the jet-launching system in the core of 3C84. However, systematic uncertainties due to the limited (u,v)-coverage, however, cannot be ignored. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 15 pages, 6 figures, published in A&A

Journal ref: Issue: A&A Volume 682, February 2024; Article number: L3; Number of pages: 15

Quantum influences and event relativity

Authors: Nick Ormrod, Jonathan Barrett

Abstract: We develop a new interpretation of quantum theory by combining insights from extended Wigner's friend scenarios and quantum causal modelling. In this interpretation, which synthesizes ideas from relational quantum mechanics and consistent histories, events obtain relative to a set of systems, and correspond to projectors that are picked out by causal structure. We articulate these ideas using a pr… ▽ More We develop a new interpretation of quantum theory by combining insights from extended Wigner's friend scenarios and quantum causal modelling. In this interpretation, which synthesizes ideas from relational quantum mechanics and consistent histories, events obtain relative to a set of systems, and correspond to projectors that are picked out by causal structure. We articulate these ideas using a precise mathematical formalism. Using this formalism, we show through specific examples and general constructions how quantum phenomena can be modelled and paradoxes avoided; how different scenarios may be classified and the framework of quantum causal models extended; and how one can approach decoherence and emergent classicality without relying on quantum states. △ Less

Submitted 31 January, 2024; originally announced January 2024.

Comments: Discussed at a seminar at Perimeter Institute, accessible at https://pirsa.org/23090026

Self-similarity of Communities of the ABCD Model

Authors: Jordan Barrett, Bogumil Kaminski, Pawel Pralat, Francois Theberge

Abstract: The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs similar to the well-known LFR model but it is faster and can be investigated analytically. In this paper, we show that the ABCD model exhibits some interesting self-similar behaviour, namely, the… ▽ More The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs similar to the well-known LFR model but it is faster and can be investigated analytically. In this paper, we show that the ABCD model exhibits some interesting self-similar behaviour, namely, the degree distribution of ground-truth communities is asymptotically the same as the degree distribution of the whole graph (appropriately normalized based on their sizes). As a result, we can not only estimate the number of edges induced by each community but also the number of self-loops and multi-edges generated during the process. Understanding these quantities is important as (a) rewiring self-loops and multi-edges to keep the graph simple is an expensive part of the algorithm, and (b) every rewiring causes the underlying configuration models to deviate slightly from uniform simple graphs on their corresponding degree sequences. △ Less

Submitted 30 November, 2023; originally announced December 2023.

Evaluating the feasibility of short-integration scans based on the 2022 VGOS-R&D program

Authors: Matthias Schartner, Bill Petrachenko, Mike Titus, Hana Krasna, John Barrett, Dan Hoak, Dhiman Mondal, Minghui Xu, Benedikt Soja

Abstract: In this work, we report on activities focusing on improving the observation strategy of the Very Long Baseline Interferometry (VLBI) Global Observing System (VGOS). During six dedicated 24-hour Research and Development (R&D) sessions conducted in 2022, the effectiveness of a signal-to-noise ratio (SNR)-based scheduling approach with observation times as short as 5-20 seconds was explored. The sess… ▽ More In this work, we report on activities focusing on improving the observation strategy of the Very Long Baseline Interferometry (VLBI) Global Observing System (VGOS). During six dedicated 24-hour Research and Development (R&D) sessions conducted in 2022, the effectiveness of a signal-to-noise ratio (SNR)-based scheduling approach with observation times as short as 5-20 seconds was explored. The sessions utilized a full 8 Gbps observing mode and incorporated elements such as dedicated calibration scans, a VGOS frequency source-flux catalog, improved sky-coverage parameterization, and more. The number of scans scheduled per station increased by 2.34 times compared to operational VGOS-OPS sessions, resulting in a 2.58 times increase in the number of observations per station. Remarkably, the percentage of successful observations per baseline matched the fixed 30-second observation approach employed in VGOS-OPS, demonstrating the effectiveness of the SNR-based scheduling approach. The impact on the geodetic results was examined based on statistical analysis, revealing a significant improvement when comparing the VGOS-R\&D program with VGOS-OPS. The formal errors in estimated station coordinates decreased by 50 %. The repeatability of baseline lengths improved by 30 %, demonstrating the enhanced precision of geodetic measurements. Furthermore, Earth orientation parameters exhibited substantial improvements, with a 60 % reduction in formal errors, 27 % better agreement w.r.t. IVS-R1/R4, and 13 % better agreement w.r.t. IERS EOP 20C04. Overall, these findings strongly indicate the superiority of the VGOS-R&D program, positioning it as a role model for future operational VGOS observations. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Next-generation MRD assays: do we have the tools to evaluate them properly?

Authors: Dan Stetson, Paul Labrousse, Hugh Russell, David Shera, Chris Abbosh, Brian Dougherty, J. Carl Barrett, Darren Hodgson, James Hadfield

Abstract: Circulating tumour DNA (ctDNA) detection of molecular residual disease (MRD) in solid tumours correlates strongly with patient outcomes and is being adopted as a new clinical standard. ctDNA levels are known to correlate with tumor volume, and although the absolute levels vary across indication and histology, its analysis is driving the adoption of MRD. MRD assays must detect tumor when imaging ca… ▽ More Circulating tumour DNA (ctDNA) detection of molecular residual disease (MRD) in solid tumours correlates strongly with patient outcomes and is being adopted as a new clinical standard. ctDNA levels are known to correlate with tumor volume, and although the absolute levels vary across indication and histology, its analysis is driving the adoption of MRD. MRD assays must detect tumor when imaging cannot and, as such, require very high sensitivity to detect the low levels of ctDNA found after curative intent therapy. The minimum threshold is 0.01% Tumour Fraction but current methods like Archer and Signatera are limited by detection sensitivity resulting in some patients receiving a false negative call thereby missing out on earlier therapeutic intervention. Multiple vendors are increasing the number of somatic variants tracked in tumour-informed and personalized NGS assays, from tens to thousands of variants. Most recently, assays using other biological features of ctDNA, e.g methylation or fragmentome, have been developed at the LOD required for clinical utility. These uniformed, or tumour-naive and non-personalised assays may be more easily, and therefore more rapidly, adopted in the clinic. However, this rapid development in MRD assay technology results in significant challenges in benchmarking these new technologies for use in clinical trials. This is further complicated by the fact that previous reference materials have focused on somatic variants, and do not retain all of the epigenomic features assessed by newer technologies. In this Comments and Controversy paper, we detail what is known and what remains to be determined for optimal reference materials of MRD methods and provide opinions generated during three-years of MRD technology benchmarking in AstraZeneca Translational Medicine to help guide the community conversation. △ Less

Submitted 31 October, 2023; originally announced November 2023.

A search for pulsars around Sgr A* in the first Event Horizon Telescope dataset

Authors: Pablo Torne, Kuo Liu, Ralph P. Eatough, Jompoj Wongphechauxsorn, James M. Cordes, Gregory Desvignes, Mariafelicia De Laurentis, Michael Kramer, Scott M. Ransom, Shami Chatterjee, Robert Wharton, Ramesh Karuppusamy, Lindy Blackburn, Michael Janssen, Chi-kwan Chan, Geoffrey B. Crew, Lynn D. Matthews, Ciriaco Goddi, Helge Rottmann, Jan Wagner, Salvador Sanchez, Ignacio Ruiz, Federico Abbate, Geoffrey C. Bower, Juan J. Salamanca , et al. (261 additional authors not shown)

Abstract: The Event Horizon Telescope (EHT) observed in 2017 the supermassive black hole at the center of the Milky Way, Sagittarius A* (Sgr A*), at a frequency of 228.1 GHz ($λ$=1.3 mm). The fundamental physics tests that even a single pulsar orbiting Sgr A* would enable motivate searching for pulsars in EHT datasets. The high observing frequency means that pulsars - which typically exhibit steep emission… ▽ More The Event Horizon Telescope (EHT) observed in 2017 the supermassive black hole at the center of the Milky Way, Sagittarius A* (Sgr A*), at a frequency of 228.1 GHz ($λ$=1.3 mm). The fundamental physics tests that even a single pulsar orbiting Sgr A* would enable motivate searching for pulsars in EHT datasets. The high observing frequency means that pulsars - which typically exhibit steep emission spectra - are expected to be very faint. However, it also negates pulse scattering, an effect that could hinder pulsar detections in the Galactic Center. Additionally, magnetars or a secondary inverse Compton emission could be stronger at millimeter wavelengths than at lower frequencies. We present a search for pulsars close to Sgr A* using the data from the three most-sensitive stations in the EHT 2017 campaign: the Atacama Large Millimeter/submillimeter Array, the Large Millimeter Telescope and the IRAM 30 m Telescope. We apply three detection methods based on Fourier-domain analysis, the Fast-Folding-Algorithm and single pulse search targeting both pulsars and burst-like transient emission; using the simultaneity of the observations to confirm potential candidates. No new pulsars or significant bursts were found. Being the first pulsar search ever carried out at such high radio frequencies, we detail our analysis methods and give a detailed estimation of the sensitivity of the search. We conclude that the EHT 2017 observations are only sensitive to a small fraction ($\lesssim$2.2%) of the pulsars that may exist close to Sgr A*, motivating further searches for fainter pulsars in the region. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: 33 pages, 7 figures, 6 Tables. Accepted for publication in ApJ

Bayesian blockwise inference for joint models of longitudinal and multistate processes

Authors: Sida Chen, Danilo Alvares, Christopher Jackson, Jessica Barrett

Abstract: Joint models (JM) for longitudinal and survival data have gained increasing interest and found applications in a wide range of clinical and biomedical settings. These models facilitate the understanding of the relationship between outcomes and enable individualized predictions. In many applications, more complex event processes arise, necessitating joint longitudinal and multistate models. However… ▽ More Joint models (JM) for longitudinal and survival data have gained increasing interest and found applications in a wide range of clinical and biomedical settings. These models facilitate the understanding of the relationship between outcomes and enable individualized predictions. In many applications, more complex event processes arise, necessitating joint longitudinal and multistate models. However, their practical application can be hindered by computational challenges due to increased model complexity and large sample sizes. Motivated by a longitudinal multimorbidity analysis of large UK health records, we have developed a scalable Bayesian methodology for such joint multistate models that is capable of handling complex event processes and large datasets, with straightforward implementation. We propose two blockwise inference approaches for different inferential purposes based on different levels of decomposition of the multistate processes. These approaches leverage parallel computing, ease the specification of different models for different transitions, and model/variable selection can be performed within a Bayesian framework using Bayesian leave-one-out cross-validation. Using a simulation study, we show that the proposed approaches achieve satisfactory performance regarding posterior point and interval estimation, with notable gains in sampling efficiency compared to the standard estimation strategy. We illustrate our approaches using a large UK electronic health record dataset where we analysed the coevolution of routinely measured systolic blood pressure (SBP) and the progression of multimorbidity, defined as the combinations of three chronic conditions. Our analysis identified distinct association structures between SBP and different disease transitions. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Reference Array and Design Consideration for the next-generation Event Horizon Telescope

Authors: Sheperd S. Doeleman, John Barrett, Lindy Blackburn, Katherine Bouman, Avery E. Broderick, Ryan Chaves, Vincent L. Fish, Garret Fitzpatrick, Antonio Fuentes, Mark Freeman, José L. Gómez, Kari Haworth, Janice Houston, Sara Issaoun, Michael D. Johnson, Mark Kettenis, Laurent Loinard, Neil Nagar, Gopal Narayanan, Aaron Oppenheimer, Daniel C. M. Palumbo, Nimesh Patel, Dominic W. Pesce, Alexander W. Raymond, Freek Roelofs , et al. (4 additional authors not shown)

Abstract: We describe the process to design, architect, and implement a transformative enhancement of the Event Horizon Telescope (ngEHT). This program - the next-generation Event Horizon Telescope (ngEHT) - will form a networked global array of radio dishes capable of making high-fidelity real-time movies of supermassive black holes (SMBH) and their emanating jets. This builds upon the EHT principally by d… ▽ More We describe the process to design, architect, and implement a transformative enhancement of the Event Horizon Telescope (ngEHT). This program - the next-generation Event Horizon Telescope (ngEHT) - will form a networked global array of radio dishes capable of making high-fidelity real-time movies of supermassive black holes (SMBH) and their emanating jets. This builds upon the EHT principally by deploying additional modest-diameter dishes to optimized geographic locations to enhance the current global mm/submm wavelength Very Long Baseline Interferometric (VLBI) array, which has, to date, utilized mostly pre-existing radio telescopes. The ngEHT program further focuses on observing at three frequencies simultaneously for increased sensitivity and Fourier spatial frequency coverage. Here, the concept, science goals, design considerations, station siting and instrument prototyping are discussed, and a preliminary reference array to be implemented in phases is described. △ Less

Submitted 17 August, 2023; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: Submitted to the journal Galaxies

Neural Fine-Gray: Monotonic neural networks for competing risks

Authors: Vincent Jeanselme, Chang Ho Yoon, Brian Tom, Jessica Barrett

Abstract: Time-to-event modelling, known as survival analysis, differs from standard regression as it addresses censoring in patients who do not experience the event of interest. Despite competitive performances in tackling this problem, machine learning methods often ignore other competing risks that preclude the event of interest. This practice biases the survival estimation. Extensions to address this ch… ▽ More Time-to-event modelling, known as survival analysis, differs from standard regression as it addresses censoring in patients who do not experience the event of interest. Despite competitive performances in tackling this problem, machine learning methods often ignore other competing risks that preclude the event of interest. This practice biases the survival estimation. Extensions to address this challenge often rely on parametric assumptions or numerical estimations leading to sub-optimal survival approximations. This paper leverages constrained monotonic neural networks to model each competing survival distribution. This modelling choice ensures the exact likelihood maximisation at a reduced computational cost by using automatic differentiation. The effectiveness of the solution is demonstrated on one synthetic and three medical datasets. Finally, we discuss the implications of considering competing risks when developing risk scores for medical practice. △ Less

Submitted 11 May, 2023; originally announced May 2023.

Comments: Presented at the Conference on Health, Inference, and Learning (CHIL) 2023

A Framework for Understanding Selection Bias in Real-World Healthcare Data

Authors: Ritoban Kundu, Xu Shi, Jean Morrison, Jessica Barrett, Bhramar Mukherjee

Abstract: Using administrative patient-care data such as Electronic Health Records (EHR) and medical/ pharmaceutical claims for population-based scientific research has become increasingly common. With vast sample sizes leading to very small standard errors, researchers need to pay more attention to potential biases in the estimates of association parameters of interest, specifically to biases that do not d… ▽ More Using administrative patient-care data such as Electronic Health Records (EHR) and medical/ pharmaceutical claims for population-based scientific research has become increasingly common. With vast sample sizes leading to very small standard errors, researchers need to pay more attention to potential biases in the estimates of association parameters of interest, specifically to biases that do not diminish with increasing sample size. Of these multiple sources of biases, in this paper, we focus on understanding selection bias. We present an analytic framework using directed acyclic graphs for guiding applied researchers to dissect how different sources of selection bias may affect estimates of the association between a binary outcome and an exposure (continuous or categorical) of interest. We consider four easy-to-implement weighting approaches to reduce selection bias with accompanying variance formulae. We demonstrate through a simulation study when they can rescue us in practice with analysis of real world data. We compare these methods using a data example where our goal is to estimate the well-known association of cancer and biological sex, using EHR from a longitudinal biorepository at the University of Michigan Healthcare system. We provide annotated R codes to implement these weighted methods with associated inference. △ Less

Submitted 17 August, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Quantum gas-enabled direct mapping of active current density in percolating networks of nanowires

Authors: J. Fekete, P. Joshi, T. J. Barrett, T. M. James, R. Shah, A. Gadge, S. Bhumbra, F. Oručević, P. Krüger

Abstract: Electrically percolating nanowire networks are amongst the most promising candidates for next-generation transparent electrodes. Scientific interest in these materials stems from their intrinsic current distribution heterogeneity, leading to phenomena like percolating pathway re-routing and localized self-heating, which can cause irreversible damage. Without an experimental technique to resolve th… ▽ More Electrically percolating nanowire networks are amongst the most promising candidates for next-generation transparent electrodes. Scientific interest in these materials stems from their intrinsic current distribution heterogeneity, leading to phenomena like percolating pathway re-routing and localized self-heating, which can cause irreversible damage. Without an experimental technique to resolve the current distribution, and an underpinning nonlinear percolation model, one relies on empirical rules and safety factors to engineer these materials. We introduce Bose-Einstein microscopy to address the long-standing problem of imaging active current flow in 2D materials. We report on improvement of the performance of this technique, whereby observation of dynamic redistribution of current pathways becomes feasible. We show how this, combined with existing thermal imaging methods, eliminates the need for assumptions between electrical and thermal properties. This will enable testing and modelling individual junction behaviour and hotspot formation. Investigating both reversible and irreversible mechanisms will contribute to the advancement of devices with improved performance and reliability. △ Less

Submitted 9 November, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Journal ref: Nano Lett. 24, 1309 (2024)

Comparison of Polarized Radiative Transfer Codes used by the EHT Collaboration

Authors: Ben S. Prather, Jason Dexter, Monika Moscibrodzka, Hung-Yi Pu, Thomas Bronzwaer, Jordy Davelaar, Ziri Younsi, Charles F. Gammie, Roman Gold, George N. Wong, Kazunori Akiyama, Antxon Alberdi, Walter Alef, Juan Carlos Algaba, Richard Anantua, Keiichi Asada, Rebecca Azulay, Uwe Bach, Anne-Kathrin Baczko, David Ball, Mislav Baloković, John Barrett, Michi Bauböck, Bradford A. Benson, Dan Bintley , et al. (248 additional authors not shown)

Abstract: Interpretation of resolved polarized images of black holes by the Event Horizon Telescope (EHT) requires predictions of the polarized emission observable by an Earth-based instrument for a particular model of the black hole accretion system. Such predictions are generated by general relativistic radiative transfer (GRRT) codes, which integrate the equations of polarized radiative transfer in curve… ▽ More Interpretation of resolved polarized images of black holes by the Event Horizon Telescope (EHT) requires predictions of the polarized emission observable by an Earth-based instrument for a particular model of the black hole accretion system. Such predictions are generated by general relativistic radiative transfer (GRRT) codes, which integrate the equations of polarized radiative transfer in curved spacetime. A selection of ray-tracing GRRT codes used within the EHT collaboration is evaluated for accuracy and consistency in producing a selection of test images, demonstrating that the various methods and implementations of radiative transfer calculations are highly consistent. When imaging an analytic accretion model, we find that all codes produce images similar within a pixel-wise normalized mean squared error (NMSE) of 0.012 in the worst case. When imaging a snapshot from a cell-based magnetohydrodynamic simulation, we find all test images to be similar within NMSEs of 0.02, 0.04, 0.04, and 0.12 in Stokes I, Q, U , and V respectively. We additionally find the values of several image metrics relevant to published EHT results to be in agreement to much better precision than measurement uncertainties. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: Accepted for publication in ApJ

A Nonstandard Formulation of Bohmian Mechanics

Authors: Jeffrey Barrett, Isaac Goldbring

Abstract: Using the tools of nonstandard analysis, we develop and present an alternative formulation of Bohmian mechanics. This approach allows one to describe a broader assortment of physical systems than the standard formulation of the theory. It also allows one to make predictions in more situations. We motivate the nonstandard formulation with a Bohmian example system that exhibits behavior akin to Earm… ▽ More Using the tools of nonstandard analysis, we develop and present an alternative formulation of Bohmian mechanics. This approach allows one to describe a broader assortment of physical systems than the standard formulation of the theory. It also allows one to make predictions in more situations. We motivate the nonstandard formulation with a Bohmian example system that exhibits behavior akin to Earman's (1986) classical space invaders and reverse space invaders. We then use the example to illustrate how the alternative formulation of Bohmian mechanics works. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: 16 pages; first draft; comments welcome!

Which theories have a measurement problem?

Authors: Nick Ormrod, V. Vilasini, Jonathan Barrett

Abstract: It is shown that any theory that has certain properties has a measurement problem, in the sense that it makes predictions that are incompatible with measurement outcomes being absolute (that is, unique and non-relational). These properties are Bell Nonlocality, Information Preservation, and Local Dynamics. The result is extended by deriving Local Dynamics from No Superluminal Influences, Separable… ▽ More It is shown that any theory that has certain properties has a measurement problem, in the sense that it makes predictions that are incompatible with measurement outcomes being absolute (that is, unique and non-relational). These properties are Bell Nonlocality, Information Preservation, and Local Dynamics. The result is extended by deriving Local Dynamics from No Superluminal Influences, Separable Dynamics, and Consistent Embeddings. As well as explaining why the existing Wigner's-friend-inspired no-go theorems hold for quantum theory, these results also shed light on whether a future theory of physics might overcome the measurement problem. In particular, they suggest the possibility of a theory in which absoluteness is maintained, but without rejecting relativity theory (as in Bohm theory) or embracing objective collapses (as in GRW theory). △ Less

Submitted 6 March, 2023; originally announced March 2023.

Algorithmic Randomness and Probabilistic Laws

Authors: Jeffrey A. Barrett, Eddy Keming Chen

Abstract: We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latt… ▽ More We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: 14 pages

Optimal risk-assessment scheduling for primary prevention of cardiovascular disease

Authors: Francesca Gasperoni, Christopher H. Jackson, Angela M. Wood, Michael J. Sweeting, Paul J. Newcombe, David Stevens, Jessica K. Barrett

Abstract: In this work, we introduce a personalised and age-specific Net Benefit function, composed of benefits and costs, to recommend optimal timing of risk assessments for cardiovascular disease prevention. We extend the 2-stage landmarking model to estimate patient-specific CVD risk profiles, adjusting for time-varying covariates. We apply our model to data from the Clinical Practice Research Datalink,… ▽ More In this work, we introduce a personalised and age-specific Net Benefit function, composed of benefits and costs, to recommend optimal timing of risk assessments for cardiovascular disease prevention. We extend the 2-stage landmarking model to estimate patient-specific CVD risk profiles, adjusting for time-varying covariates. We apply our model to data from the Clinical Practice Research Datalink, comprising primary care electronic health records from the UK. We find that people at lower risk could be recommended an optimal risk-assessment interval of 5 years or more. Time-varying risk-factors are required to discriminate between more frequent schedules for higher-risk people. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Predicting Rubisco:Linker Condensation from Titration in the Dilute Phase

Authors: Alex Payne-Dwyer, Gaurav Kumar, James Barrett, Laura K. Gherman, Michael Hodgkinson, Michael Plevin, Luke Mackinder, Mark C. Leake, Charley Schaefer

Abstract: The condensation of Rubisco holoenzymes and linker proteins into 'pyrenoids', a crucial super-charger of photosynthesis in algae, is qualitatively understood in terms of 'sticker-and-spacer' theory. We derive semi-analytical partition sums for small Rubisco:linker aggregates, which enable the calculation of both dilute-phase titration curves and dimerisation diagrams. By fitting the titration curv… ▽ More The condensation of Rubisco holoenzymes and linker proteins into 'pyrenoids', a crucial super-charger of photosynthesis in algae, is qualitatively understood in terms of 'sticker-and-spacer' theory. We derive semi-analytical partition sums for small Rubisco:linker aggregates, which enable the calculation of both dilute-phase titration curves and dimerisation diagrams. By fitting the titration curves to Surface Plasmon Resonance and Single-Molecule Fluorescence Microscopy data, we extract the molecular properties needed to predict dimerisation diagrams. We use these to estimate typical concentrations for condensation, and successfully compare these to microscopy observations. △ Less

Submitted 6 February, 2024; v1 submitted 13 January, 2023; originally announced January 2023.

Comments: v2: correction in the single-Rubisco calculations; v3: added single-Rubisco experimental work; v4: model and experiments extended to describe Rubisco condensation

Analytic approximations of scattering effects on beam chromaticity in 21-cm global experiments

Authors: Alan E. E. Rogers, John P. Barrett, Judd D. Bowman, Rigel Cappallo, Colin J. Lonsdale, Nivedita Mahesh, Raul A. Monsalve, Steven G. Murray, Peter H. Sims

Abstract: Scattering from objects near an antenna produce correlated signals from strong compact radio sources in a manner similar to those used by the Sea Interferometer to measure the radio source positions using the fine frequency structure in the total power spectrum of a single antenna. These fringes or ripples due to correlated signal interference are present at a low level in the spectrum of any sing… ▽ More Scattering from objects near an antenna produce correlated signals from strong compact radio sources in a manner similar to those used by the Sea Interferometer to measure the radio source positions using the fine frequency structure in the total power spectrum of a single antenna. These fringes or ripples due to correlated signal interference are present at a low level in the spectrum of any single antenna and are a major source of systematics in systems used to measure the global redshifted 21-cm signal from the early universe. In the Sea Interferometer a single antenna on a cliff above the sea is used to add the signal from the direct path to the signal from the path reflected from the sea thereby forming an interferometer. This was used for mapping radio sources with a single antenna by Bolton and Slee in the 1950s. In this paper we derive analytic expressions to determine the level of these ripples and compare these results in a few simple cases with electromagnetic modeling software to verify that the analytic calculations are sufficient to obtain the magnitude of the scattering effects on the measurements of the global 21-cm signal. These analytic calculations are needed to evaluate the magnitude of the effects in cases that are either too complex or take too much time to be modeled using software. △ Less

Submitted 8 December, 2022; originally announced December 2022.

A Bayesian approach to modelling spectrometer data chromaticity corrected using beam factors -- I. Mathematical formalism

Authors: Peter H. Sims, Judd D. Bowman, Nivedita Mahesh, Steven G. Murray, John P. Barrett, Rigel Cappallo, Raul A. Monsalve, Alan E. E. Rogers, Titu Samson, Akshatha K. Vydula

Abstract: Accurately accounting for spectral structure in spectrometer data induced by instrumental chromaticity on scales relevant for detection of the 21-cm signal is among the most significant challenges in global 21-cm signal analysis. In the publicly available EDGES low-band data set, this complicating structure is suppressed using beam-factor based chromaticity correction (BFCC), which works by dividi… ▽ More Accurately accounting for spectral structure in spectrometer data induced by instrumental chromaticity on scales relevant for detection of the 21-cm signal is among the most significant challenges in global 21-cm signal analysis. In the publicly available EDGES low-band data set, this complicating structure is suppressed using beam-factor based chromaticity correction (BFCC), which works by dividing the data by a sky-map-weighted model of the spectral structure of the instrument beam. Several analyses of this data have employed models that start with the assumption that this correction is complete. However, while BFCC mitigates the impact of instrumental chromaticity on the data, given realistic assumptions regarding the spectral structure of the foregrounds, the correction is only partial. This complicates the interpretation of fits to the data with intrinsic sky models (models that assume no instrumental contribution to the spectral structure of the data). In this paper, we derive a BFCC data model from an analytic treatment of BFCC and demonstrate using simulated observations that, in contrast to using an intrinsic sky model for the data, the BFCC data model enables unbiased recovery of a simulated global 21-cm signal from beam-factor chromaticity corrected data in the limit that the data is corrected with an error-free beam-factor model. △ Less

Submitted 28 March, 2023; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: 26 pages, 8 figures; accepted for publication in MNRAS

A no-go theorem for absolute observed events without inequalities or modal logic

Authors: Nick Ormrod, Jonathan Barrett

Abstract: This paper builds on no-go theorems to the effect that quantum theory is inconsistent with observations being absolute; that is, unique and non-relative. Unlike the existing no-go results, the one introduced here is based on a theory-independent absoluteness assumption, and there is no need to assume the validity of standard probability theory or of modal logic. The contradiction is derived by ass… ▽ More This paper builds on no-go theorems to the effect that quantum theory is inconsistent with observations being absolute; that is, unique and non-relative. Unlike the existing no-go results, the one introduced here is based on a theory-independent absoluteness assumption, and there is no need to assume the validity of standard probability theory or of modal logic. The contradiction is derived by assuming that quantum theory applies in any inertial reference frame; accordingly, the result also illuminates a tension between special relativity and absoluteness. △ Less

Submitted 8 September, 2022; originally announced September 2022.

Imputation Strategies Under Clinical Presence: Impact on Algorithmic Fairness

Authors: Vincent Jeanselme, Maria De-Arteaga, Zhe Zhang, Jessica Barrett, Brian Tom

Abstract: Machine learning risks reinforcing biases present in data, and, as we argue in this work, in what is absent from data. In healthcare, biases have marked medical history, leading to unequal care affecting marginalised groups. Patterns in missing data often reflect these group discrepancies, but the algorithmic fairness implications of group-specific missingness are not well understood. Despite its… ▽ More Machine learning risks reinforcing biases present in data, and, as we argue in this work, in what is absent from data. In healthcare, biases have marked medical history, leading to unequal care affecting marginalised groups. Patterns in missing data often reflect these group discrepancies, but the algorithmic fairness implications of group-specific missingness are not well understood. Despite its potential impact, imputation is often an overlooked preprocessing step, with attention placed on the reduction of reconstruction error and overall performance, ignoring how imputation can affect groups differently. Our work studies how imputation choices affect reconstruction errors across groups and algorithmic fairness properties of downstream predictions. △ Less

Submitted 30 June, 2023; v1 submitted 13 August, 2022; originally announced August 2022.

Comments: Full Journal Version under review; Presented at the conference Machine Learning for Health (ML4H) 2022 Published in the Proceedings of Machine Learning Research (193)

Multi-source invasion percolation on the complete graph

Authors: Louigi Addario-Berry, Jordan Barrett

Abstract: We consider invasion percolation on the randomly-weighted complete graph $K_n$, started from some number $k(n)$ of distinct source vertices. The outcome of the process is a forest consisting of $k(n)$ trees, each containing exactly one source. Let $M_n$ be the size of the largest tree in this forest. Logan, Molloy and Pralat (arXiv:1806.10975) proved that if $k(n)/n^{1/3} \to 0$ then… ▽ More We consider invasion percolation on the randomly-weighted complete graph $K_n$, started from some number $k(n)$ of distinct source vertices. The outcome of the process is a forest consisting of $k(n)$ trees, each containing exactly one source. Let $M_n$ be the size of the largest tree in this forest. Logan, Molloy and Pralat (arXiv:1806.10975) proved that if $k(n)/n^{1/3} \to 0$ then $M_n/n \to 1$ in probability. In this paper we prove a complementary result: if $k(n)/n^{1/3} \to \infty$ then $M_n/n \to 0$ in probability. This establishes the existence of a phase transition in the structure of the invasion percolation forest around $k(n) \asymp n^{1/3}$. Our arguments rely on the connection between invasion percolation and critical percolation, and on a coupling between multi-source invasion percolation with differently-sized source sets. A substantial part of the proof is devoted to showing that, with high probability, a certain fragmentation process on large random binary trees leaves no components of macroscopic size. △ Less

Submitted 12 August, 2022; originally announced August 2022.

Comments: 35 pages

MSC Class: Primary: 60K35; Secondary: 60C05; 05C80; 82B43; 82C43

Device-independent certification of indefinite causal order in the quantum switch

Authors: Tein van der Lugt, Jonathan Barrett, Giulio Chiribella

Abstract: Quantum theory is compatible with scenarios in which the order of operations is indefinite. Experimental investigations of such scenarios, all of which have been based on a process known as the quantum switch, have provided demonstrations of indefinite causal order conditioned on assumptions on the devices used in the laboratory. But is a device-independent certification possible, similar to the c… ▽ More Quantum theory is compatible with scenarios in which the order of operations is indefinite. Experimental investigations of such scenarios, all of which have been based on a process known as the quantum switch, have provided demonstrations of indefinite causal order conditioned on assumptions on the devices used in the laboratory. But is a device-independent certification possible, similar to the certification of Bell nonlocality through the violation of Bell inequalities? Previous results have shown that the answer is negative if the switch is considered in isolation. Here, however, we present an inequality that can be used to device-independently certify indefinite causal order in the quantum switch in the presence of an additional spacelike-separated observer under an assumption asserting the impossibility of superluminal and retrocausal influences. △ Less

Submitted 9 June, 2023; v1 submitted 1 August, 2022; originally announced August 2022.

Comments: 6+9 pages. v2: Improved presentation of the three assumptions in the first section of Results, and a new section in Methods that formalises them. The name of two of the assumptions has been changed accordingly. Figure 1 has been replaced. Some discussion of inequalities in Table 1 has been moved to Methods. Comments most welcome!

Consistent circuits for indefinite causal order

Authors: Augustin Vanrietvelde, Nick Ormrod, Hlér Kristjánsson, Jonathan Barrett

Abstract: Over the past decade, a number of quantum processes have been proposed which are logically consistent, yet feature a cyclic causal structure. However, there is no general formal method to construct a process with an exotic causal structure in a way that ensures, and makes clear why, it is consistent. Here we provide such a method, given by an extended circuit formalism. This only requires directed… ▽ More Over the past decade, a number of quantum processes have been proposed which are logically consistent, yet feature a cyclic causal structure. However, there is no general formal method to construct a process with an exotic causal structure in a way that ensures, and makes clear why, it is consistent. Here we provide such a method, given by an extended circuit formalism. This only requires directed graphs endowed with Boolean matrices, which encode basic constraints on operations. Our framework (a) defines a set of elementary rules for checking the validity of any such graph, (b) provides a way of constructing consistent processes as a circuit from valid graphs, and (c) yields an intuitive interpretation of the causal relations within a process and an explanation of why they do not lead to inconsistencies. We display how several standard examples of exotic processes, including ones that violate causal inequalities, are among the class of processes that can be generated in this way; we conjecture that this class in fact includes all unitarily extendible processes. △ Less

Submitted 6 February, 2023; v1 submitted 20 June, 2022; originally announced June 2022.

Comments: 43 pages + appendices, 29 figures

DeepJoint: Robust Survival Modelling Under Clinical Presence Shift

Authors: Vincent Jeanselme, Glen Martin, Niels Peek, Matthew Sperrin, Brian Tom, Jessica Barrett

Abstract: Observational data in medicine arise as a result of the complex interaction between patients and the healthcare system. The sampling process is often highly irregular and itself constitutes an informative process. When using such data to develop prediction models, this phenomenon is often ignored, leading to sub-optimal performance and generalisability of models when practices evolve. We propose a… ▽ More Observational data in medicine arise as a result of the complex interaction between patients and the healthcare system. The sampling process is often highly irregular and itself constitutes an informative process. When using such data to develop prediction models, this phenomenon is often ignored, leading to sub-optimal performance and generalisability of models when practices evolve. We propose a multi-task recurrent neural network which models three clinical presence dimensions -- namely the longitudinal, the inter-observation and the missingness processes -- in parallel to the survival outcome. On a prediction task using MIMIC III laboratory tests, explicit modelling of these three processes showed improved performance in comparison to state-of-the-art predictive models (C-index at 1 day horizon: 0.878). More importantly, the proposed approach was more robust to change in the clinical presence setting, demonstrated by performance comparison between patients admitted on weekdays and weekends. This analysis demonstrates the importance of studying and leveraging clinical presence to improve performance and create more transportable clinical models. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Finding minimum spanning trees via local improvements

Authors: Louigi Addario-Berry, Jordan Barrett, Benoît Corsini

Abstract: We consider a family of local search algorithms for the minimum-weight spanning tree, indexed by a parameter $ρ$. One step of the local search corresponds to replacing a connected induced subgraph of the current candidate graph whose total weight is at most $ρ$ by the minimum spanning tree (MST) on the same vertex set. Fix a non-negative random variable $X$, and consider this local search problem… ▽ More We consider a family of local search algorithms for the minimum-weight spanning tree, indexed by a parameter $ρ$. One step of the local search corresponds to replacing a connected induced subgraph of the current candidate graph whose total weight is at most $ρ$ by the minimum spanning tree (MST) on the same vertex set. Fix a non-negative random variable $X$, and consider this local search problem on the complete graph $K_n$ with independent $X$-distributed edge weights. Under rather weak conditions on the distribution of $X$, we determine a threshold value $ρ^*$ such that the following holds. If the starting graph (the "initial candidate MST") is independent of the edge weights, then if $ρ> ρ^*$ local search can construct the MST with high probability (tending to $1$ as $n \to \infty$), whereas if $ρ< ρ^*$ it cannot with high probability. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 24 pages

MSC Class: 05C80; 60C05; 05C85

Causal structure in the presence of sectorial constraints, with application to the quantum switch

Authors: Nick Ormrod, Augustin Vanrietvelde, Jonathan Barrett

Abstract: Existing work on quantum causal structure assumes that one can perform arbitrary operations on the systems of interest. But this condition is often not met. Here, we extend the framework for quantum causal modelling to situations where a system can suffer sectorial constraints, that is, restrictions on the orthogonal subspaces of its Hilbert space that may be mapped to one another. Our framework (… ▽ More Existing work on quantum causal structure assumes that one can perform arbitrary operations on the systems of interest. But this condition is often not met. Here, we extend the framework for quantum causal modelling to situations where a system can suffer sectorial constraints, that is, restrictions on the orthogonal subspaces of its Hilbert space that may be mapped to one another. Our framework (a) proves that a number of different intuitions about causal relations turn out to be equivalent; (b) shows that quantum causal structures in the presence of sectorial constraints can be represented with a directed graph; and (c) defines a fine-graining of the causal structure in which the individual sectors of a system bear causal relations. As an example, we apply our framework to purported photonic implementations of the quantum switch to show that while their coarse-grained causal structure is cyclic, their fine-grained causal structure is acyclic. We therefore conclude that these experiments realize indefinite causal order only in a weak sense. Notably, this is the first argument to this effect that is not rooted in the assumption that the causal relata must be localized in spacetime. △ Less

Submitted 26 May, 2023; v1 submitted 21 April, 2022; originally announced April 2022.

Journal ref: Quantum 7, 1028 (2023)

Event Horizon Telescope observations of the jet launching and collimation in Centaurus A

Authors: Michael Janssen, Heino Falcke, Matthias Kadler, Eduardo Ros, Maciek Wielgus, Kazunori Akiyama, Mislav Baloković, Lindy Blackburn, Katherine L. Bouman, Andrew Chael, Chi-kwan Chan, Koushik Chatterjee, Jordy Davelaar, Philip G. Edwards, Christian M. Fromm, José L. Gómez, Ciriaco Goddi, Sara Issaoun, Michael D. Johnson, Junhan Kim, Jun Yi Koay, Thomas P. Krichbaum, Jun Liu, Elisabetta Liuzzo, Sera Markoff , et al. (215 additional authors not shown)

Abstract: Very-long-baseline interferometry (VLBI) observations of active galactic nuclei at millimeter wavelengths have the power to reveal the launching and initial collimation region of extragalactic radio jets, down to $10-100$ gravitational radii ($r_g=GM/c^2$) scales in nearby sources. Centaurus A is the closest radio-loud source to Earth. It bridges the gap in mass and accretion rate between the supe… ▽ More Very-long-baseline interferometry (VLBI) observations of active galactic nuclei at millimeter wavelengths have the power to reveal the launching and initial collimation region of extragalactic radio jets, down to $10-100$ gravitational radii ($r_g=GM/c^2$) scales in nearby sources. Centaurus A is the closest radio-loud source to Earth. It bridges the gap in mass and accretion rate between the supermassive black holes (SMBHs) in Messier 87 and our galactic center. A large southern declination of $-43^{\circ}$ has however prevented VLBI imaging of Centaurus A below $λ1$cm thus far. Here, we show the millimeter VLBI image of the source, which we obtained with the Event Horizon Telescope at $228$GHz. Compared to previous observations, we image Centaurus A's jet at a tenfold higher frequency and sixteen times sharper resolution and thereby probe sub-lightday structures. We reveal a highly-collimated, asymmetrically edge-brightened jet as well as the fainter counterjet. We find that Centaurus A's source structure resembles the jet in Messier 87 on ${\sim}500r_g$ scales remarkably well. Furthermore, we identify the location of Centaurus A's SMBH with respect to its resolved jet core at $λ1.3$mm and conclude that the source's event horizon shadow should be visible at THz frequencies. This location further supports the universal scale invariance of black holes over a wide range of masses. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: 27 pages, 9 figures. This is a post-peer-review, pre-copyedit version of an article published in Nature Astronomy. The final authenticated version is available online at: https://doi.org/10.1038/s41550-021-01417-w

Journal ref: Nature Astronomy, July 2021, Volume 5, p. 1017-1028

The Variability of the Black-Hole Image in M87 at the Dynamical Time Scale

Authors: Kaushik Satapathy, Dimitrios Psaltis, Feryal Ozel, Lia Medeiros, Sean T. Dougall, Chi-kwan Chan, Maciek Wielgus, Ben S. Prather, George N. Wong, Charles F. Gammie, Kazunori Akiyama, Antxon Alberdi, Walter Alef, Juan Carlos Algaba, Richard Anantua, Keiichi Asada, Rebecca Azulay, Anne-Kathrin Baczko, David R. Ball, Mislav Baloković, John Barrett, Bradford A. Benson, Dan Bintley, Lindy Blackburn, Raymond Blundell , et al. (213 additional authors not shown)

Abstract: The black-hole images obtained with the Event Horizon Telescope (EHT) are expected to be variable at the dynamical timescale near their horizons. For the black hole at the center of the M87 galaxy, this timescale (5-61 days) is comparable to the 6-day extent of the 2017 EHT observations. Closure phases along baseline triangles are robust interferometric observables that are sensitive to the expect… ▽ More The black-hole images obtained with the Event Horizon Telescope (EHT) are expected to be variable at the dynamical timescale near their horizons. For the black hole at the center of the M87 galaxy, this timescale (5-61 days) is comparable to the 6-day extent of the 2017 EHT observations. Closure phases along baseline triangles are robust interferometric observables that are sensitive to the expected structural changes of the images but are free of station-based atmospheric and instrumental errors. We explored the day-to-day variability in closure phase measurements on all six linearly independent non-trivial baseline triangles that can be formed from the 2017 observations. We showed that three triangles exhibit very low day-to-day variability, with a dispersion of $\sim3-5^\circ$. The only triangles that exhibit substantially higher variability ($\sim90-180^\circ$) are the ones with baselines that cross visibility amplitude minima on the $u-v$ plane, as expected from theoretical modeling. We used two sets of General Relativistic magnetohydrodynamic simulations to explore the dependence of the predicted variability on various black-hole and accretion-flow parameters. We found that changing the magnetic field configuration, electron temperature model, or black-hole spin has a marginal effect on the model consistency with the observed level of variability. On the other hand, the most discriminating image characteristic of models is the fractional width of the bright ring of emission. Models that best reproduce the observed small level of variability are characterized by thin ring-like images with structures dominated by gravitational lensing effects and thus least affected by turbulence in the accreting plasmas. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: Accepted for Publication in ApJ

Rapid stellar and binary population synthesis with COMPAS

Authors: Team COMPAS, :, Jeff Riley, Poojan Agrawal, Jim W. Barrett, Kristan N. K. Boyett, Floor S. Broekgaarden, Debatri Chattopadhyay, Sebastian M. Gaebel, Fabian Gittins, Ryosuke Hirai, George Howitt, Stephen Justham, Lokesh Khandelwal, Floris Kummer, Mike Y. M. Lau, Ilya Mandel, Selma E. de Mink, Coenraad Neijssel, Tim Riley, Lieke van Son, Simon Stevenson, Alejandro Vigna-Gomez, Serena Vinciguerra, Tom Wagg , et al. (1 additional authors not shown)

Abstract: Compact Object Mergers: Population Astrophysics and Statistics (COMPAS; https://compas.science) is a public rapid binary population synthesis code. COMPAS generates populations of isolated stellar binaries under a set of parametrized assumptions in order to allow comparisons against observational data sets, such as those coming from gravitational-wave observations of merging compact remnants. It i… ▽ More Compact Object Mergers: Population Astrophysics and Statistics (COMPAS; https://compas.science) is a public rapid binary population synthesis code. COMPAS generates populations of isolated stellar binaries under a set of parametrized assumptions in order to allow comparisons against observational data sets, such as those coming from gravitational-wave observations of merging compact remnants. It includes a number of tools for population processing in addition to the core binary evolution components. COMPAS is publicly available via the github repository https://github.com/TeamCOMPAS/COMPAS/, and is designed to allow for flexible modifications as evolutionary models improve. This paper describes the methodology and implementation of COMPAS. It is a living document which will be updated as new features are added to COMPAS; the current document describes COMPAS v02.21.00. △ Less

Submitted 28 December, 2021; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: Code publicly available via https://compas.science . Minor updates to match version accepted to ApJS

Reverse mathematics of rings

Authors: Jordan Mitchell Barrett

Abstract: Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field are as follows. We look at fundamental results concerning primary ideals and the radical of an ideal, concepts previously unstudied in reverse mathematics. Then w… ▽ More Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field are as follows. We look at fundamental results concerning primary ideals and the radical of an ideal, concepts previously unstudied in reverse mathematics. Then we turn to a fine-grained analysis of four different definitions of Noetherian in the weak base system $\mathsf{RCA}_0 + \mathsf{I}Σ_2$. Finally, we begin a systematic study of various types of integral domains: PIDs, UFDs and Bézout and GCD domains. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Comments: Masters thesis submitted to Victoria University of Wellington, 2021. Supervised by Dan Turetsky. 5+96 pages, 5 figures

MSC Class: 03B30; 03F35; 13E05; 13G05

Everettian mechanics with hyperfinitely many worlds

Authors: Jeffrey Barrett, Isaac Goldbring

Abstract: The present paper shows how one might model Everettian quantum mechanics using hyperfinitely many worlds. A hyperfinite model allows one to consider idealized measurements of observables with continuous-valued spectra where different outcomes are associated with possibly infinitesimal probabilities. One can also prove hyperfinite formulations of Everett's limiting relative-frequency and randomness… ▽ More The present paper shows how one might model Everettian quantum mechanics using hyperfinitely many worlds. A hyperfinite model allows one to consider idealized measurements of observables with continuous-valued spectra where different outcomes are associated with possibly infinitesimal probabilities. One can also prove hyperfinite formulations of Everett's limiting relative-frequency and randomness properties, theorems he considered central to his formulation of quantum mechanics. This approach also provides a more general framework in which to consider no-collapse formulations of quantum mechanics more generally. △ Less

Submitted 8 June, 2021; originally announced June 2021.

Comments: 22 pages. First version; comments very welcome!

How a Losing Team like the Canadiens can Steal a Stanley Cup: A Quantitative Intransitive Hockey Analysis

Authors: C. J. Barrett, S. Koumarianos, O. Mermut

Abstract: We present here a simple mathematical model that provides a successful strategy, quantitatively, to ending the continued championship futility experienced by Canadian Hockey Teams. Competitive Intransitivity is used here as a simple predictive framework to capture how investing strategically, under a uniform salary cap, in just 3 independently variable aspects of the sport (such as Offence, Defenc… ▽ More We present here a simple mathematical model that provides a successful strategy, quantitatively, to ending the continued championship futility experienced by Canadian Hockey Teams. Competitive Intransitivity is used here as a simple predictive framework to capture how investing strategically, under a uniform salary cap, in just 3 independently variable aspects of the sport (such as Offence, Defence, and a Goaltender), by just 3 Hockey Teams applying differing salary priorities (such as Montreal, Boston, and New York), can lead to rich and perhaps surprisingly unexpected outcomes in play, similar to rolling intransitive dice together in a series of head-to-head games. A possibly fortunate conclusion of this analysis is the prediction that for any Team's chosen strategy (such as New York's), a counter strategy within the same salary cap can be adopted by a playoff opponent (such as Montreal) which will prove victorious over a long playoff series, enabling a pathway to end prolonged championship futility. △ Less

Submitted 17 June, 2021; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: Minor typographical errors corrected, no changes to mathematics. Minor wording improvements offered to update example teams for more current relevance, including title

Constraints on black-hole charges with the 2017 EHT observations of M87*

Authors: Prashant Kocherlakota, Luciano Rezzolla, Heino Falcke, Christian M. Fromm, Michael Kramer, Yosuke Mizuno, Antonios Nathanail, Hector Olivares, Ziri Younsi, Kazunori Akiyama, Antxon Alberdi, Walter Alef, Juan Carlos Algaba, Richard Anantua, Keiichi Asada, Rebecca Azulay, Anne-Kathrin Baczko, David Ball, Mislav Balokovic, John Barrett, Bradford A. Benson, Dan Bintley, Lindy Blackburn, Raymond Blundell, Wilfred Boland , et al. (212 additional authors not shown)

Abstract: Our understanding of strong gravity near supermassive compact objects has recently improved thanks to the measurements made by the Event Horizon Telescope (EHT). We use here the M87* shadow size to infer constraints on the physical charges of a large variety of nonrotating or rotating black holes. For example, we show that the quality of the measurements is already sufficient to rule out that M87*… ▽ More Our understanding of strong gravity near supermassive compact objects has recently improved thanks to the measurements made by the Event Horizon Telescope (EHT). We use here the M87* shadow size to infer constraints on the physical charges of a large variety of nonrotating or rotating black holes. For example, we show that the quality of the measurements is already sufficient to rule out that M87* is a highly charged dilaton black hole. Similarly, when considering black holes with two physical and independent charges, we are able to exclude considerable regions of the space of parameters for the doubly-charged dilaton and the Sen black holes. △ Less

Submitted 19 May, 2021; originally announced May 2021.

Comments: 15 pages, 4 figures, published in PRD on May 19

Cousin's lemma in second-order arithmetic

Authors: Jordan Mitchell Barrett, Rodney G. Downey, Noam Greenberg

Abstract: Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent… ▽ More Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire class 1 functions is equivalent to $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire class 2 functions, or for Borel functions, are both equivalent to $\mathsf{ATR}_0$ (modulo some induction). △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 13 pages, no figures

MSC Class: 03B30; 03F35 (Primary); 03D78; 26A39 (Secondary)

The Polarized Image of a Synchrotron Emitting Ring of Gas Orbiting a Black Hole

Authors: Ramesh Narayan, Daniel C. M. Palumbo, Michael D. Johnson, Zachary Gelles, Elizabeth Himwich, Dominic O. Chang, Angelo Ricarte, Jason Dexter, Charles F. Gammie, Andrew A. Chael, The Event Horizon Telescope Collaboration, :, Kazunori Akiyama, Antxon Alberdi, Walter Alef, Juan Carlos Algaba, Richard Anantua, Keiichi Asada, Rebecca Azulay, Anne-Kathrin Baczko, David Ball, Mislav Balokovic, John Barrett, Bradford A. Benson, Dan Bintley , et al. (215 additional authors not shown)

Abstract: Synchrotron radiation from hot gas near a black hole results in a polarized image. The image polarization is determined by effects including the orientation of the magnetic field in the emitting region, relativistic motion of the gas, strong gravitational lensing by the black hole, and parallel transport in the curved spacetime. We explore these effects using a simple model of an axisymmetric, equ… ▽ More Synchrotron radiation from hot gas near a black hole results in a polarized image. The image polarization is determined by effects including the orientation of the magnetic field in the emitting region, relativistic motion of the gas, strong gravitational lensing by the black hole, and parallel transport in the curved spacetime. We explore these effects using a simple model of an axisymmetric, equatorial accretion disk around a Schwarzschild black hole. By using an approximate expression for the null geodesics derived by Beloborodov (2002) and conservation of the Walker-Penrose constant, we provide analytic estimates for the image polarization. We test this model using currently favored general relativistic magnetohydrodynamic simulations of M87*, using ring parameters given by the simulations. For a subset of these with modest Faraday effects, we show that the ring model broadly reproduces the polarimetric image morphology. Our model also predicts the polarization evolution for compact flaring regions, such as those observed from Sgr A* with GRAVITY. With suitably chosen parameters, our simple model can reproduce the EVPA pattern and relative polarized intensity in Event Horizon Telescope images of M87*. Under the physically motivated assumption that the magnetic field trails the fluid velocity, this comparison is consistent with the clockwise rotation inferred from total intensity images. △ Less

Submitted 13 May, 2021; v1 submitted 4 May, 2021; originally announced May 2021.

Comments: 29 pages, 11 figures, published in ApJ on May 3

Journal ref: ApJ 912 35 (2021)

VLBI measurement of the vector baseline between geodetic antennas at Kokee Park Geophysical Observatory, Hawaii

Authors: A. E. Niell, J. P. Barrett, R. J. Cappallo, B. E. Corey, P. Elosegui, D. Mondal, G. Rajagopalan, C. A. Ruszczyk, M. A. Titus

Abstract: We measured the components of the 31-m-long vector between the two Very-Long-Baseline Interferometry (VLBI) antennas at the Kokee Park Geophysical Observatory (KPGO), Hawaii, with approximately 1 mm precision using phase-delay observables from dedicated VLBI observations in 2016 and 2018. The two KPGO antennas are the 20 m legacy VLBI antenna and the 12 m VLBI Global Observing System (VGOS) antenn… ▽ More We measured the components of the 31-m-long vector between the two Very-Long-Baseline Interferometry (VLBI) antennas at the Kokee Park Geophysical Observatory (KPGO), Hawaii, with approximately 1 mm precision using phase-delay observables from dedicated VLBI observations in 2016 and 2018. The two KPGO antennas are the 20 m legacy VLBI antenna and the 12 m VLBI Global Observing System (VGOS) antenna. Independent estimates of the vector between the two antennas were obtained by the National Geodetic Survey (NGS) using standard optical surveys in 2015 and 2018. The uncertainties of the latter survey were 0.3 and 0.7 mm in the horizontal and vertical components of the baseline, respectively. We applied corrections to the measured positions for the varying thermal deformation of the antennas on the different days of the VLBI and survey measurements, which can amount to 1 mm, bringing all results to a common reference temperature. The difference between the VLBI and survey results are 0.2 +/- 0.4 mm, -1.3 +/- 0.4 mm, and 0.8 +/- 0.8 mm in the East, North, and Up topocentric components, respectively. We also estimate that the Up component of the baseline may suffer from systematic errors due to gravitational deformation and uncalibrated instrumental delay variations at the 20 m antenna that may reach +/-10 mm and -2 mm, respectively, resulting in an accuracy uncertainty on the order of 10 mm for the relative heights of the antennas. Furthermore, possible tilting of the 12 m antenna increases the uncertainties in the differences in the horizontal components to 1.0 mm. These results bring into focus the importance of (1) correcting to a common reference temperature the measurements of the reference points of all geodetic instruments within a site, (2) obtaining measurements of the gravitational deformation of all antennas, and (3) monitoring local motions of the geodetic instruments. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 34 pages, 4 figures, to be published in Journal of Geodesy

An Environmental Monitoring Network for Quantum Gas Experiments and Devices

Authors: T. J. Barrett, W. Evans, A. Gadge, S. Bhumbra, S. Sleegers, R. Shah, J. Fekete, F. Orucevic, P. Kruger

Abstract: Quantum technology is approaching a level of maturity, recently demonstrated in space-borne experiments and in-field measurements, which would allow for adoption by non-specialist users. Parallel advancements made in microprocessor-based electronics and database software can be combined to create robust, versatile and modular experimental monitoring systems. Here, we describe a monitoring network… ▽ More Quantum technology is approaching a level of maturity, recently demonstrated in space-borne experiments and in-field measurements, which would allow for adoption by non-specialist users. Parallel advancements made in microprocessor-based electronics and database software can be combined to create robust, versatile and modular experimental monitoring systems. Here, we describe a monitoring network used across a number of cold atom laboratories with a shared laser system. The ability to diagnose malfunction, unexpected or unintended behaviour and passively collect data for key experimental parameters, such as vacuum chamber pressure, laser beam power, or resistances of important conductors, significantly reduces debugging time. This allows for efficient control over a number of experiments and remote control when access is limited. △ Less

Submitted 14 September, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: 15 pages, 5 figures

Absolute Calibration of Diffuse Radio Surveys at 45 and 150 MHz

Authors: Raul A. Monsalve, Alan E. E. Rogers, Judd D. Bowman, Nivedita Mahesh, Steven G. Murray, Thomas J. Mozdzen, Leroy Johnson, John Barrett, Titu Samson, David Lewis

Abstract: We use EDGES measurements to determine scale and zero-level corrections to the diffuse radio surveys by Guzmán et al. at $45$ MHz and Landecker & Wielebinski at $150$ MHz. We find that the Guzmán et al. map requires a scale correction of $1.076 \pm 0.034$ ($2σ$) and a zero-level correction of $-160 \pm 78$ K ($2σ$) to best-fit the EDGES data. For the Landecker & Wielebinski map, the scale correcti… ▽ More We use EDGES measurements to determine scale and zero-level corrections to the diffuse radio surveys by Guzmán et al. at $45$ MHz and Landecker & Wielebinski at $150$ MHz. We find that the Guzmán et al. map requires a scale correction of $1.076 \pm 0.034$ ($2σ$) and a zero-level correction of $-160 \pm 78$ K ($2σ$) to best-fit the EDGES data. For the Landecker & Wielebinski map, the scale correction is $1.112 \pm 0.023$ ($2σ$) and the zero-level correction is $0.7 \pm 6.0$ K ($2σ$). The correction uncertainties are dominated by systematic effects, of which the most significant are uncertainty in the calibration of the EDGES receivers, antenna pointing, and tropospheric and ionospheric effects. We propagate the correction uncertainties to estimate the uncertainties in the corrected maps themselves and find that the $2σ$ uncertainty in the map brightness temperature is in the range $3.2-7.5\%$ for the Guzmán et al. map and $2.1-9.0\%$ for the Landecker & Wielebinski map, with the largest percent uncertainties occurring at high Galactic latitudes. The corrected maps could be used to improve existing diffuse low-frequency radio sky models, which are essential tools in analyses of cosmological $21$ cm observations, as well as to investigate the existence of a radio monopole excess above the cosmic microwave background and known Galactic and extragalactic contributions. △ Less

Submitted 20 December, 2020; originally announced December 2020.

Comments: Accepted for publication in ApJ

Lunar Volatiles and Solar System Science

Authors: Parvathy Prem, Ákos Kereszturi, Ariel N. Deutsch, Charles A. Hibbitts, Carl A. Schmidt, Cesare Grava, Casey I. Honniball, Craig J. Hardgrove, Carlé M. Pieters, David B. Goldstein, Donald C. Barker, Debra H. Needham, Dana M. Hurley, Erwan Mazarico, Gerardo Dominguez, G. Wesley Patterson, Georgiana Y. Kramer, Julie Brisset, Jeffrey J. Gillis-Davis, Julie L. Mitchell, Jamey R. Szalay, Jasper S. Halekas, James T. Keane, James W. Head, Kathleen E. Mandt , et al. (16 additional authors not shown)

Abstract: Understanding the origin and evolution of the lunar volatile system is not only compelling lunar science, but also fundamental Solar System science. This white paper (submitted to the US National Academies' Decadal Survey in Planetary Science and Astrobiology 2023-2032) summarizes recent advances in our understanding of lunar volatiles, identifies outstanding questions for the next decade, and dis… ▽ More Understanding the origin and evolution of the lunar volatile system is not only compelling lunar science, but also fundamental Solar System science. This white paper (submitted to the US National Academies' Decadal Survey in Planetary Science and Astrobiology 2023-2032) summarizes recent advances in our understanding of lunar volatiles, identifies outstanding questions for the next decade, and discusses key steps required to address these questions. △ Less

Submitted 9 December, 2020; originally announced December 2020.

On Ramsey-minimal infinite graphs

Authors: Jordan Mitchell Barrett, Valentino Vito

Abstract: For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable grap… ▽ More For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \ge 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs. △ Less

Submitted 11 March, 2021; v1 submitted 28 November, 2020; originally announced November 2020.

Comments: 14 pages, 4 figures. The published version on EJC contains a minor error: in the proof of Lemma 20 on p10, in the last sentence of the last paragraph, it says "The induced subgraph $F := Γ[x_1,\ldots,x_n]$". This should read "The subgraph of $Γ$ induced by all edges that are incident to at least one of $x_1, \ldots, x_n$", and has been corrected in this arXiv version

MSC Class: 05C55; 05D10; 05C63; 05C60

Journal ref: The Electronic Journal of Combinatorics 28(1) (2021), #P1.46

Elementary topoi

Authors: Jordan Mitchell Barrett

Abstract: As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise logic. However, we could ask what it might mean to formalise logic in another category $\mathbf{C}$. The notion of an (elementary) topos distills the essential f… ▽ More As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise logic. However, we could ask what it might mean to formalise logic in another category $\mathbf{C}$. The notion of an (elementary) topos distills the essential features of $\mathbf{Set}$ which allow us to do this. This expository report defines topoi, and describes the development of first-order logic and set theory within a topos. △ Less

Submitted 25 November, 2020; originally announced November 2020.

Comments: 11 pages, no figures

MSC Class: 18B25; 03G30 (primary); 18C40; 18C10; 03E70 (secondary)

The reverse mathematics of Cousin's lemma

Authors: Jordan Mitchell Barrett

Abstract: Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent… ▽ More Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to the system $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire 1 functions is at least as strong as $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire 2 functions is at least as strong as $\mathsf{ATR}_0$. △ Less

Submitted 25 November, 2020; originally announced November 2020.

Comments: Honours thesis, Victoria University of Wellington, 30 Oct 2020. Supervised by Rod Downey and Noam Greenberg. 6+51 pages, 10 figures

MSC Class: 03B30; 03F35 (primary); 26A39; 03D78; 26A21

Routed quantum circuits

Authors: Augustin Vanrietvelde, Hlér Kristjánsson, Jonathan Barrett

Abstract: We argue that the quantum-theoretical structures studied in several recent lines of research cannot be adequately described within the standard framework of quantum circuits. This is in particular the case whenever the combination of subsystems is described by a nontrivial blend of direct sums and tensor products of Hilbert spaces. We therefore propose an extension to the framework of quantum circ… ▽ More We argue that the quantum-theoretical structures studied in several recent lines of research cannot be adequately described within the standard framework of quantum circuits. This is in particular the case whenever the combination of subsystems is described by a nontrivial blend of direct sums and tensor products of Hilbert spaces. We therefore propose an extension to the framework of quantum circuits, given by \textit{routed linear maps} and \textit{routed quantum circuits}. We prove that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use in several situations, including the superposition of quantum channels and the causal decompositions of unitaries. We show that our framework encompasses the `extended circuit diagrams' of Lorenz and Barrett [arXiv:2001.07774 (2020)], which we derive as a special case, endowing them with a sound semantics. △ Less

Submitted 12 July, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 21 pages + appendix. Comments welcome

Journal ref: Quantum 5, 503 (2021)

Gravitational Test Beyond the First Post-Newtonian Order with the Shadow of the M87 Black Hole

Authors: Dimitrios Psaltis, Lia Medeiros, Pierre Christian, Feryal Ozel, Kazunori Akiyama, Antxon Alberdi, Walter Alef, Keiichi Asada, Rebecca Azulay, David Ball, Mislav Balokovic, John Barrett, Dan Bintley, Lindy Blackburn, Wilfred Boland, Geoffrey C. Bower, Michael Bremer, Christiaan D. Brinkerink, Roger Brissenden, Silke Britzen, Dominique Broguiere, Thomas Bronzwaer, Do-Young Byun, John E. Carlstrom, Andrew Chael , et al. (163 additional authors not shown)

Abstract: The 2017 Event Horizon Telescope (EHT) observations of the central source in M87 have led to the first measurement of the size of a black-hole shadow. This observation offers a new and clean gravitational test of the black-hole metric in the strong-field regime. We show analytically that spacetimes that deviate from the Kerr metric but satisfy weak-field tests can lead to large deviations in the p… ▽ More The 2017 Event Horizon Telescope (EHT) observations of the central source in M87 have led to the first measurement of the size of a black-hole shadow. This observation offers a new and clean gravitational test of the black-hole metric in the strong-field regime. We show analytically that spacetimes that deviate from the Kerr metric but satisfy weak-field tests can lead to large deviations in the predicted black-hole shadows that are inconsistent with even the current EHT measurements. We use numerical calculations of regular, parametric, non-Kerr metrics to identify the common characteristic among these different parametrizations that control the predicted shadow size. We show that the shadow-size measurements place significant constraints on deviation parameters that control the second post-Newtonian and higher orders of each metric and are, therefore, inaccessible to weak-field tests. The new constraints are complementary to those imposed by observations of gravitational waves from stellar-mass sources. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: Physical Review Letters