Showing 1–50 of 66 results for author: Swan, A

Oracle modalities

Authors: Andrew W Swan

Abstract: We give a new formulation of Turing reducibility in terms of higher modalities, inspired by an embedding of the Turing degrees in the lattice of subtoposes of the effective topos discovered by Hyland. In this definition, higher modalities play a similar role to I/O monads or dialogue trees in allowing a function to receive input from an external oracle. However, in homotopy type theory they have b… ▽ More We give a new formulation of Turing reducibility in terms of higher modalities, inspired by an embedding of the Turing degrees in the lattice of subtoposes of the effective topos discovered by Hyland. In this definition, higher modalities play a similar role to I/O monads or dialogue trees in allowing a function to receive input from an external oracle. However, in homotopy type theory they have better logical properties than monads: they are compatible with higher types, and each modality corresponds to a reflective subuniverse that under suitable conditions is itself a model of homotopy type theory. We give synthetic proofs of some basic results about Turing reducibility in cubical type theory making use of two axioms of Markov induction and computable choice. Both axioms are variants of axioms already studied in the effective topos. We show they hold in certain reflective subuniverses of cubical assemblies, demonstrate their use in some simple proofs in synthetic computability theory using modalities, and show they are downwards absolute for oracle modalities. These results have been formalised using cubical mode of the Agda proof assistant. We explore some first connections between Turing reducibility and homotopy theory. This includes a synthetic proof that two Turing degrees are equal as soon as they induce isomorphic permutation groups on the natural numbers, making essential use of both Markov induction and the formulation of groups in HoTT as pointed, connected, 1-truncated types. We also give some simple non-topological examples of modalities in cubical assemblies based on these ideas, to illustrate what we expect higher dimensional analogues of the Turing degrees to look like. △ Less

Submitted 9 June, 2024; originally announced June 2024.

Long-term variability in debris transiting white dwarfs

Authors: Amornrat Aungwerojwit, Boris T. Gaensicke, Vikram S. Dhillon, Andrew Drake, Keith Inight, Thomas G. Kaye, T. R. Marsh, Ed Mullen, Ingrid Pelisoli, Andrew Swan

Abstract: Combining archival photometric observations from multiple large-area surveys spanning the past 17 years, we detect long-term variability in the light curves of ZTFJ032833.52-121945.27 (ZTFJ0328-1219), ZTFJ092311.41+423634.16 (ZTFJ0923+4236) and WD1145+017, all known to exhibit transits from planetary debris. ZTFJ0328-1219 showed an overall fading in brightness from 2011 through to 2015, with a max… ▽ More Combining archival photometric observations from multiple large-area surveys spanning the past 17 years, we detect long-term variability in the light curves of ZTFJ032833.52-121945.27 (ZTFJ0328-1219), ZTFJ092311.41+423634.16 (ZTFJ0923+4236) and WD1145+017, all known to exhibit transits from planetary debris. ZTFJ0328-1219 showed an overall fading in brightness from 2011 through to 2015, with a maximum dimming of ~0.3 mag, and still remains ~0.1 mag fainter compared to 2006. We complement the analysis of the long-term behaviour of these systems with high-speed photometry. In the case of ZTFJ0923+4236 and WD1145+017, the time-series photometry exhibits vast variations in the level of transit activity, both in terms of numbers of transits, as well as their shapes and depths, and these variations correlate with the overall brightness of the systems. Inspecting the current known sample of white dwarfs with transiting debris, we estimate that similar photometric signatures may be detectable in one in a few hundred of all white dwarfs. Accounting for the highly aligned geometry required to detect transits, our estimates imply that a substantial fraction of all white dwarfs exhibiting photospheric metal pollution from accreted debris host close-in planetesimals that are currently undergoing disintegration. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: MNRAS in press

A categorical formulation of Kraus' paradox

Authors: Andrew W. Swan

Abstract: We give a categorical formulation of Kraus' "magic trick" for recovering information from truncated types. Rather than type theory, we work in Van den Berg-Moerdijk path categories with a univalent universe, and rather than propositional truncation we work with arbitrary cofibrations, which includes truncation as a special case. We show, using Kraus' argument that any cofibration with homogeneous… ▽ More We give a categorical formulation of Kraus' "magic trick" for recovering information from truncated types. Rather than type theory, we work in Van den Berg-Moerdijk path categories with a univalent universe, and rather than propositional truncation we work with arbitrary cofibrations, which includes truncation as a special case. We show, using Kraus' argument that any cofibration with homogeneous domain is a monomorphism. We give some simple concrete examples in groupoids to illustrate the interaction between homogeneous types, cofibrations and univalent fibrations. △ Less

Submitted 13 March, 2024; originally announced March 2024.

The frequency of metal-enrichment of cool helium-atmosphere white dwarfs using the DESI Early Data Release

Authors: Christopher J. Manser, Boris T. Gänsicke, Paula Izquierdo, Andrew Swan, Joan Najita, C. Rockosi, Andreia Carrillo, Bokyoung Kim, Siyi Xu, Arjun Dey, J. Aguilar, S. Ahlen, R. Blum, D. Brooks, T. Claybaugh, K. Dawson, A. de la Macorra, P. Doel, E. Gaztañaga, S. Gontcho A Gontcho, K. Honscheid, R. Kehoe, A. Kremin, M. Landriau, L. Le Guillou , et al. (13 additional authors not shown)

Abstract: There is overwhelming evidence that white dwarfs host planetary systems; revealed by the presence, disruption, and accretion of planetary bodies. A lower limit on the frequency of white dwarfs that host planetary material has been estimated to be roughly 25-50 per cent; inferred from the ongoing or recent accretion of metals onto both hydrogen-atmosphere and warm helium-atmosphere white dwarfs. No… ▽ More There is overwhelming evidence that white dwarfs host planetary systems; revealed by the presence, disruption, and accretion of planetary bodies. A lower limit on the frequency of white dwarfs that host planetary material has been estimated to be roughly 25-50 per cent; inferred from the ongoing or recent accretion of metals onto both hydrogen-atmosphere and warm helium-atmosphere white dwarfs. Now with the unbiased sample of white dwarfs observed by the Dark Energy Spectroscopic Instrument (DESI) survey in their Early Data Release (EDR), we have determined the frequency of metal-enrichment around cool-helium atmosphere white dwarfs as 21 $\pm$ 3 per cent using a sample of 234 systems. This value is in good agreement with values determined from previous studies. With the current samples we cannot distinguish whether the frequency of planetary accretion varies with system age or host-star mass, but the DESI data release 1 will contain roughly an order of magnitude more white dwarfs than DESI EDR and will allow these parameters to be investigated. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 6 pages, 1 figure. Submitted to MNRAS. Comments and suggestions welcome

The DESI Early Data Release White Dwarf Catalogue

Authors: Christopher J. Manser, Paula Izquierdo, Boris T. Gänsicke, Andrew Swan, Detlev Koester, Akshay Robert, Siyi Xu, Keith Inight, Ben Amroota, N. P. Gentile Fusillo, Sergey E. Koposov, Bokyoung Kim, Arjun Dey, Carlos Allende Prieto, J. Aguilar, S. Ahlen, R. Blum, D. Brooks, T. Claybaugh, A. P. Cooper, K. Dawson, A. de la Macorra, P. Doel, J. E. Forero-Romero, E. Gaztañaga , et al. (29 additional authors not shown)

Abstract: The Early Data Release (EDR) of the Dark Energy Spectroscopic Instrument (DESI) comprises spectroscopy obtained from 2020 December 14 to 2021 June 10. White dwarfs were targeted by DESI both as calibration sources and as science targets and were selected based on Gaia photometry and astrometry. Here we present the DESI EDR white dwarf catalogue, which includes 2706 spectroscopically confirmed whit… ▽ More The Early Data Release (EDR) of the Dark Energy Spectroscopic Instrument (DESI) comprises spectroscopy obtained from 2020 December 14 to 2021 June 10. White dwarfs were targeted by DESI both as calibration sources and as science targets and were selected based on Gaia photometry and astrometry. Here we present the DESI EDR white dwarf catalogue, which includes 2706 spectroscopically confirmed white dwarfs of which approximately 1630 (roughly 60 per cent) have been spectroscopically observed for the first time, as well as 66 white dwarf binary systems. We provide spectral classifications for all white dwarfs, and discuss their distribution within the Gaia Hertzsprung-Russell diagram. We provide atmospheric parameters derived from spectroscopic and photometric fits for white dwarfs with pure hydrogen or helium photospheres, a mixture of those two, and white dwarfs displaying carbon features in their spectra. We also discuss the less abundant systems in the sample, such as those with magnetic fields, and cataclysmic variables. The DESI EDR white dwarf sample is significantly less biased than the sample observed by the Sloan Digital Sky Survey, which is skewed to bluer and therefore hotter white dwarfs, making DESI more complete and suitable for performing statistical studies of white dwarfs. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 19 pages, 17 figures, not including appendix. Submitting to MNRAS. Comments and suggestions welcome

The Morphology of Asteroidal Dust Around White Dwarf Stars: Optical and Near-infrared Pulsations in G29-38

Authors: T. von Hippel, J. Farihi, J. L. Provencal, S. J. Kleinman, J. E. Pringle, A. Swan, G. Fontaine, J. J. Hermes, J. Sargent, Z. Savery, W. Cooper, V. Kim, V. Kozyreva, M. Krugov, A. Kusakin, A. Moss, W. Ogloza, E. Pakstiene, A. Serebryanskiy, E. Sonbas, B. Walter, M. Zejmo, S. Zola

Abstract: More than 36 years have passed since the discovery of the infrared excess from circumstellar dust orbiting the white dwarf G29-38, which at 17.5 pc it is the nearest and brightest of its class. The precise morphology of the orbiting dust remains only marginally constrained by existing data, subject to model-dependent inferences, and thus fundamental questions of its dynamical origin and evolution… ▽ More More than 36 years have passed since the discovery of the infrared excess from circumstellar dust orbiting the white dwarf G29-38, which at 17.5 pc it is the nearest and brightest of its class. The precise morphology of the orbiting dust remains only marginally constrained by existing data, subject to model-dependent inferences, and thus fundamental questions of its dynamical origin and evolution persist. This study presents a means to constrain the geometric distribution of the emitting dust using stellar pulsations measured at optical wavelengths as a variable illumination source of the dust, which re-radiates primarily in the infrared. By combining optical photometry from the Whole Earth Telescope with 0.7-2.5 micron spectroscopy obtained with SpeX at NASA's Infrared Telescope Facility, we detect luminosity variations at all observed wavelengths, with variations at most wavelengths corresponding to the behavior of the pulsating stellar photosphere, but towards the longest wavelengths the light curves probe the corresponding time-variability of the circumstellar dust. In addition to developing methodology, we find pulsation amplitudes decrease with increasing wavelength for principal pulsation modes, yet increase beyond approximately 2 microns for nonlinear combination frequencies. We interpret these results as combination modes deriving from principal modes of identical l values and discuss the implications for the morphology of the warm dust. We also draw attention to some discrepancies between our findings and theoretical expectations for the results of the non-linearity imposed by the surface convection zone on mode--mode interactions and on the behavior of the first harmonic of the highest-amplitude pulsation mode. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 12 pages, 6 figures, to be published in The Astrophysical Journal

The first white dwarf debris disk observed by JWST

Authors: Andrew Swan, Jay Farihi, Kate Y. L. Su, Steven J. Desch

Abstract: This letter reports the first JWST spectroscopy of a white dwarf debris disk, giving a preliminary assessment of the salient features, and recommendations for future observations. The polluted and dusty star WD 0145+234 experienced a major collisional event in its circumstellar disk in 2018, accompanied by an infrared outburst, and subsequently a gradual decrease in thermal emission. Time-series N… ▽ More This letter reports the first JWST spectroscopy of a white dwarf debris disk, giving a preliminary assessment of the salient features, and recommendations for future observations. The polluted and dusty star WD 0145+234 experienced a major collisional event in its circumstellar disk in 2018, accompanied by an infrared outburst, and subsequently a gradual decrease in thermal emission. Time-series NIRSPEC observations demonstrate that the circumstellar disk is returning to a quiescent state with a T~1000 K infrared excess similar to the bulk of known dusty white dwarfs. MIRI spectroscopy reveals a 9-12 micron solid-state emission feature consistent with silicate minerals as observed in debris disks observed with Spitzer IRS. The strength and morphology of the silicate feature appear unchanged relative to the continuum in spectra taken over a year apart, consistent with steady-state collisional evolution of the circumstellar debris. A tentative emission feature around 7 microns may be due to carbonates, and if confirmed would indicate aqueous alteration in the parent body. △ Less

Submitted 19 December, 2023; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: Accepted to MNRAS Letters

Planetesimals at DZ stars I: chondritic compositions and a massive accretion event

Authors: Andrew Swan, Jay Farihi, Carl Melis, Patrick Dufour, Steven J. Desch, Detlev Koester, Jincheng Guo

Abstract: There is a wealth of evidence to suggest that planetary systems can survive beyond the main sequence. Most commonly, white dwarfs are found to be accreting material from tidally disrupted asteroids, whose bulk compositions are reflected by the metals polluting the stellar photospheres. While many examples are known, most lack the deep, high-resolution data required to detect multiple elements, and… ▽ More There is a wealth of evidence to suggest that planetary systems can survive beyond the main sequence. Most commonly, white dwarfs are found to be accreting material from tidally disrupted asteroids, whose bulk compositions are reflected by the metals polluting the stellar photospheres. While many examples are known, most lack the deep, high-resolution data required to detect multiple elements, and thus characterise the planetesimals that orbit them. Here, spectra of seven DZ white dwarfs observed with Keck HIRES are analysed, where up to nine metals are measured per star. Their compositions are compared against those of solar system objects, working in a Bayesian framework to infer or marginalise over the accretion history. All of the stars have been accreting primitive material, similar to chondrites, with hints of a Mercury-like composition at one star. The most polluted star is observed several Myr after its last major accretion episode, in which a Moon-sized object met its demise. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: Accepted to MNRAS. 18 pages, 9 figures

An emerging and enigmatic spectral class of isolated DAe white dwarfs

Authors: Abbigail K. Elms, Pier-Emmanuel Tremblay, Boris T. Gänsicke, Andrew Swan, Carl Melis, Antoine Bédard, Christopher J. Manser, James Munday, J. J. Hermes, Erik Dennihy, Atsuko Nitta, Ben Zuckerman

Abstract: Two recently discovered white dwarfs, WDJ041246.84$+$754942.26 and WDJ165335.21$-$100116.33, exhibit H$α$ and H$β$ Balmer line emission similar to stars in the emerging DAHe class, yet intriguingly have not been found to have detectable magnetic fields. These white dwarfs are assigned the spectral type DAe. We present detailed follow-up of the two known DAe stars using new time-domain spectroscopi… ▽ More Two recently discovered white dwarfs, WDJ041246.84$+$754942.26 and WDJ165335.21$-$100116.33, exhibit H$α$ and H$β$ Balmer line emission similar to stars in the emerging DAHe class, yet intriguingly have not been found to have detectable magnetic fields. These white dwarfs are assigned the spectral type DAe. We present detailed follow-up of the two known DAe stars using new time-domain spectroscopic observations and analysis of the latest photometric time-series data from TESS and ZTF. We measure the upper magnetic field strength limit of both stars as $B < 0.05$ MG. The DAe white dwarfs exhibit photometric and spectroscopic variability, where in the case of WDJ041246.84$+$754942.26 the strength of the H$α$ and H$β$ emission cores varies in anti-phase with its photometric variability over the spin period, which is the same phase relationship seen in DAHe stars. The DAe white dwarfs closely cluster in one region of the Gaia Hertzsprung-Russell diagram together with the DAHe stars. We discuss current theories on non-magnetic and magnetic mechanisms which could explain the characteristics observed in DAe white dwarfs, but additional data are required to unambiguously determine the origin of these stars. △ Less

Submitted 30 July, 2023; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: 20 pages, 16 figures. Published by MNRAS

Journal ref: MNRAS, 524, 4996 (2023)

Imaging Strain-Localized Single-Photon Emitters in Layered GaSe below the Diffraction Limit

Authors: Weijun Luo, Benjamin Lawrie, Alexander Puretzky, Qishuo Tan, Gage Eichman, Edward Mcgee, Anna Swan, Liangbo Liang, Xi Ling

Abstract: Nanoscale strain control of exciton funneling is an increasingly critical tool for the scalable production of single photon emitters (SPEs) in two-dimensional materials. However, conventional far-field optical microscopies remain constrained in spatial resolution by the diffraction limit and thus can only provide a limited description of nanoscale strain localization of SPEs. Here, we quantify the… ▽ More Nanoscale strain control of exciton funneling is an increasingly critical tool for the scalable production of single photon emitters (SPEs) in two-dimensional materials. However, conventional far-field optical microscopies remain constrained in spatial resolution by the diffraction limit and thus can only provide a limited description of nanoscale strain localization of SPEs. Here, we quantify the effects of nanoscale heterogeneous strain on the energy and brightness of GaSe SPEs on nanopillars with correlative cathodoluminescence, photoluminescence, and atomic force microscopies supported by density functional theory simulations. We report the strain-localized SPEs have a broad range of emission wavelengths from 620 nm to 900 nm. We reveal substantial strain-controlled SPE wavelength tunability over a ~ 100 nm spectral range and two-orders of magnitude enhancement in the SPE brightness at the pillar center due to Type-I exciton funneling. In addition, we show that radiative biexciton cascade processes contribute to the observed CL photon superbunching. Also, the measured GaSe SPE photophysics after electron beam exposure shows the excellent stability of these SPEs. We anticipate this insight into nanoscale strain control of two-dimensional SPEs will guide the development of truly deterministic quantum photonics. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Deterministic Localization of Strain-induced Single-photon Emitters in Multilayer GaSe

Authors: Weijun Luo, Alexander Puretzky, Benjamin Lawrie, Qishuo Tan, Hongze Gao, Zhuofa Chen, Alexander Sergienko, Anna Swan, Liangbo Liang, Xi Ling

Abstract: Nanoscale strain has emerged as a powerful tool for controlling single-photon emitters (SPEs) in atomically thin transition metal dichalcogenides (TMDCs)(1, 2). However, quantum emitters in monolayer TMDCs are typically unstable in ambient conditions. Multilayer two-dimensional (2D) TMDCs could be a solution, but they suffer from low quantum efficiency, resulting in low brightness of the SPEs. Her… ▽ More Nanoscale strain has emerged as a powerful tool for controlling single-photon emitters (SPEs) in atomically thin transition metal dichalcogenides (TMDCs)(1, 2). However, quantum emitters in monolayer TMDCs are typically unstable in ambient conditions. Multilayer two-dimensional (2D) TMDCs could be a solution, but they suffer from low quantum efficiency, resulting in low brightness of the SPEs. Here, we report the deterministic spatial localization of strain-induced single-photon emitters in multilayer GaSe by nanopillar arrays. The strain-controlled quantum confinement effect introduces well-isolated sub-bandgap photoluminescence and corresponding suppression of the broad band edge photoluminescence. Clear photon-antibunching behavior is observed from the quantum dot-like GaSe sub-bandgap exciton emission at 3.5 Kelvin. The strain-dependent confinement potential and the brightness are found to be strongly correlated, suggesting a promising route for tuning and controlling SPEs. The comprehensive investigations of strain-engineered GaSe SPEs provide a solid foundation for the development of 2D devices for quantum photonic technologies. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 18 pages, 4 figures in the maintext; 21 figures in the supporting information

Double negation stable h-propositions in cubical sets

Authors: Andrew W. Swan

Abstract: We give a construction of classifiers for double negation stable h-propositions in a variety of cubical set models of homotopy type theory and cubical type theory. This is used to give some relative consistency results: classifiers for double negation stable propositions exist in cubical sets whenever they exist in the metatheory; the Dedekind real numbers can be added to homotopy type theory with… ▽ More We give a construction of classifiers for double negation stable h-propositions in a variety of cubical set models of homotopy type theory and cubical type theory. This is used to give some relative consistency results: classifiers for double negation stable propositions exist in cubical sets whenever they exist in the metatheory; the Dedekind real numbers can be added to homotopy type theory without changing the consistency strength; we construct a model of homotopy type theory with extended Church's thesis, which states that all partial functions with double negation stable domain are computable. △ Less

Submitted 29 September, 2022; originally announced September 2022.

MSC Class: 03F50

Definable and Non-definable Notions of Structure

Authors: Andrew W. Swan

Abstract: Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a generalisation of definability from properties of objects to structures on objects, introduced by Shulman under the name local representability. We first develop some ge… ▽ More Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a generalisation of definability from properties of objects to structures on objects, introduced by Shulman under the name local representability. We first develop some general theory and show how to recover existing notions due to Bénabou and Johnstone as special cases. We give several examples of definable and non definable notions o structure, focusing on algebraic weak factorisation systems, which can be naturally viewed as notions of structure on codomain fibrations. Regarding definability, we give a sufficient criterion for cofibrantly generated awfs's to be definable, generalising a construction of the universe for cubical sets, but also including some very different looking examples that do not satisfy tininess in the internal sense, that exponential functors have a right adjoint. Our examples of non definability include the identification of logical principles holding for the interval objects in simplicial sets and Bezem-Coquand-Huber cubical sets that suffice to show a certain definition of Kan fibration is not definable. △ Less

Submitted 27 June, 2022; originally announced June 2022.

MSC Class: 03G30; 18N40

Identifying charge density and dielectric environment of graphene using Raman spectroscopy and deep learning

Authors: Zhuofa Chen, Yousif Khaireddin, Anna K. Swan

Abstract: The impact of the environment on graphene's properties such as strain, charge density, and dielectric environment can be evaluated by Raman spectroscopy. These environmental interactions are not trivial to determine, since they affect the spectra in overlapping ways. Data preprocessing such as background subtraction and peak fitting is typically used. Moreover, collected spectroscopic data vary du… ▽ More The impact of the environment on graphene's properties such as strain, charge density, and dielectric environment can be evaluated by Raman spectroscopy. These environmental interactions are not trivial to determine, since they affect the spectra in overlapping ways. Data preprocessing such as background subtraction and peak fitting is typically used. Moreover, collected spectroscopic data vary due to different experimental setups and environments. Such variations, artifacts, and environmental differences pose a challenge in accurate spectral analysis. In this work, we developed a deep learning model to overcome the effects of such variations and classify graphene Raman spectra according to different charge densities and dielectric environments. We consider two approaches: deep learning models and machine learning algorithms to classify spectra with slightly different charge density or dielectric environment. These two approaches show similar success rates for high Signal-to-Noise data. However, deep learning models are less sensitive to noise. To improve the accuracy and generalization of all models, we use data augmentation through additive noise and peak shifting. We demonstrated the spectra classification with 99% accuracy using a convolutional neural net (CNN) model. The CNN model is able to classify Raman spectra of graphene with different charge doping levels and even subtle variation in the spectra between graphene on SiO$_2$ and graphene on silanized SiO$_2$. Our approach has the potential for fast and reliable estimation of graphene doping levels and dielectric environments. The proposed model paves the way for achieving efficient analytical tools to evaluate the properties of graphene. △ Less

Submitted 24 February, 2022; originally announced March 2022.

Comments: 5 figures, 22 pages

The SNIa Runaway LP 398-9: Detection of Circumstellar Material and Surface Rotation

Authors: Vedant Chandra, Hsiang-Chih Hwang, Nadia L. Zakamska, Simon Blouin, Andrew Swan, Thomas R. Marsh, Ken J. Shen, Boris T. Gänsicke, J. J. Hermes, Odelia Putterman, Evan B. Bauer, Evan Petrosky, Vikram S. Dhillon, Stuart P. Littlefair, Richard P. Ashley

Abstract: A promising progenitor scenario for Type Ia supernovae (SNeIa) is the thermonuclear detonation of a white dwarf in a close binary system with another white dwarf. After the primary star explodes, the surviving donor can be spontaneously released as a hypervelocity runaway. One such runaway donor candidate is LP 398-9, whose orbital trajectory traces back $\approx 10^5$ years to a known supernova r… ▽ More A promising progenitor scenario for Type Ia supernovae (SNeIa) is the thermonuclear detonation of a white dwarf in a close binary system with another white dwarf. After the primary star explodes, the surviving donor can be spontaneously released as a hypervelocity runaway. One such runaway donor candidate is LP 398-9, whose orbital trajectory traces back $\approx 10^5$ years to a known supernova remnant. Here we report the discovery of carbon-rich circumstellar material around LP 398-9, revealed by a strong infrared excess and analyzed with follow-up spectroscopy. The circumstellar material is most plausibly composed of inflated layers from the star itself, mechanically and radioactively heated by the past companion's supernova. We also detect a 15.4 hr periodic signal in the UV and optical light curves of LP 398-9, which we interpret as surface rotation. The rotation rate is consistent with theoretical predictions from this supernova mechanism, and the brightness variations could originate from surface inhomogeneity deposited by the supernova itself. Our observations strengthen the case for this double-degenerate SNIa progenitor channel, and motivate the search for more runaway SNIa donors. △ Less

Submitted 13 April, 2022; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: Accepted to MNRAS

Relentless and Complex Transits from a Planetesimal Debris Disk

Authors: J. Farihi, J. J. Hermes, T. R. Marsh, A. J. Mustill, M. C. Wyatt, J. A. Guidry, T. G. Wilson, S. Redfield, P. Izquierdo, O. Toloza, B. T. Gänsicke, A. Aungwerojwit, V. S. Dhillon, A. Swan

Abstract: This article reports quasi-continuous transiting events towards WD 1054-226 at d=36.2 pc and V=16.0 mag, based on simultaneous, high-cadence, multi-wavelength imaging photometry using ULTRACAM over 18 nights from 2019 to 2020 March. The predominant period is 25.02 h, and corresponds to a circular orbit with blackbody Teq = 323 K, where a planetary surface can nominally support liquid water. The li… ▽ More This article reports quasi-continuous transiting events towards WD 1054-226 at d=36.2 pc and V=16.0 mag, based on simultaneous, high-cadence, multi-wavelength imaging photometry using ULTRACAM over 18 nights from 2019 to 2020 March. The predominant period is 25.02 h, and corresponds to a circular orbit with blackbody Teq = 323 K, where a planetary surface can nominally support liquid water. The light curves reveal remarkable night-to-night similarity, with changes on longer timescales, and lack any transit-free segments of unocculted starlight. The most pronounced dimming components occur every 23.1 min -- exactly the 65th harmonic of the fundamental period -- with depths of up to several per cent, and no evident color dependence. Myriad additional harmonics are present, as well as at least two transiting features with independent periods. High-resolution optical spectra are consistent with stable, photospheric absorption by multiple, refractory metal species, with no indication of circumstellar gas. Spitzer observations demonstrate a lack of detectable dust emission, suggesting that the otherwise hidden circumstellar disk orbiting WD 1054-226 may be typical of polluted white dwarfs, and only detected via favorable geometry. Future observations are required to constrain the orbital eccentricity, but even if periastron is near the Roche limit, sublimation cannot drive mass loss in refractory parent bodies, and collisional disintegration is necessary for dust production. △ Less

Submitted 5 January, 2022; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: 22 pages, 2 tables, and 15 figures including the appendix, accepted to MNRAS

Collisions in a gas-rich white dwarf planetary debris disc

Authors: Andrew Swan, Scott J. Kenyon, Jay Farihi, Erik Dennihy, Boris T. Gänsicke, J. J. Hermes, Carl Melis, Ted von Hippel

Abstract: WD 0145+234 is a white dwarf that is accreting metals from a circumstellar disc of planetary material. It has exhibited a substantial and sustained increase in 3-5 micron flux since 2018. Follow-up Spitzer photometry reveals that emission from the disc had begun to decrease by late 2019. Stochastic brightening events superimposed on the decline in brightness suggest the liberation of dust during c… ▽ More WD 0145+234 is a white dwarf that is accreting metals from a circumstellar disc of planetary material. It has exhibited a substantial and sustained increase in 3-5 micron flux since 2018. Follow-up Spitzer photometry reveals that emission from the disc had begun to decrease by late 2019. Stochastic brightening events superimposed on the decline in brightness suggest the liberation of dust during collisional evolution of the circumstellar solids. A simple model is used to show that the observations are indeed consistent with ongoing collisions. Rare emission lines from circumstellar gas have been detected at this system, supporting the emerging picture of white dwarf debris discs as sites of collisional gas and dust production. △ Less

Submitted 16 June, 2021; originally announced June 2021.

Comments: 9 pages, 5 figures; accepted to MNRAS

A CHEOPS White Dwarf Transit Search

Authors: Brett M. Morris, Kevin Heng, Alexis Brandeker, Andrew Swan, Monika Lendl

Abstract: White dwarf spectroscopy shows that nearly half of white dwarf atmospheres contain metals that must have been accreted from planetary material that survived the red giant phases of stellar evolution. We can use metal pollution in white dwarf atmospheres as flags, signalling recent accretion, in order to prioritize an efficient sample of white dwarfs to search for transiting material. We present a… ▽ More White dwarf spectroscopy shows that nearly half of white dwarf atmospheres contain metals that must have been accreted from planetary material that survived the red giant phases of stellar evolution. We can use metal pollution in white dwarf atmospheres as flags, signalling recent accretion, in order to prioritize an efficient sample of white dwarfs to search for transiting material. We present a search for planetesimals orbiting six nearby white dwarfs with the CHEOPS spacecraft. The targets are relatively faint for CHEOPS, $11$ mag $< G < 12.8$ mag. We use aperture photometry data products from the CHEOPS mission as well as custom PSF photometry to search for periodic variations in flux due to transiting planetesimals. We detect no significant variations in flux that cannot be attributed to spacecraft systematics, despite reaching a photometric precision of $<2$ ppt in 60 s exposures on each target. We simulate observations to show that the small survey is sensitive primarily to Moon-sized transiting objects with periods $3$ hr $< P < 10$ hr, with radii $R \gtrsim 1000$ km. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: 10 pages, accepted as a Letter to the Editor in A&A

Journal ref: A&A 651, L12 (2021)

8.9-hr Rotation in the Partly Burnt Runaway Stellar Remnant LP 40-365 (GD 492)

Authors: J. J. Hermes, Odelia Putterman, Mark A. Hollands, David J. Wilson, Andrew Swan, Roberto Raddi, Ken J. Shen, Boris T. Gaensicke

Abstract: We report the detection of 8.914-hr variability in both optical and ultraviolet light curves of LP 40-365 (also known as GD 492), the prototype for a class of partly burnt runaway stars that have been ejected from a binary due to a thermonuclear supernova event. We first detected this 1.0% amplitude variation in optical photometry collected by the Transiting Exoplanet Survey Satellite. Re-analysis… ▽ More We report the detection of 8.914-hr variability in both optical and ultraviolet light curves of LP 40-365 (also known as GD 492), the prototype for a class of partly burnt runaway stars that have been ejected from a binary due to a thermonuclear supernova event. We first detected this 1.0% amplitude variation in optical photometry collected by the Transiting Exoplanet Survey Satellite. Re-analysis of observations from the Hubble Space Telescope at the TESS period and ephemeris reveal a 5.8% variation in the ultraviolet of this 9800 K stellar remnant. We propose that this 8.914-hr photometric variation reveals the current surface rotation rate of LP 40-365, and is caused by some kind of surface inhomogeneity rotating in and out of view, though a lack of observed Zeeman splitting puts an upper limit on the magnetic field of <20 kG. We explore ways in which the present rotation period can constrain progenitor scenarios if angular momentum was mostly conserved, which suggests that the survivor LP 40-365 was not the donor star but was most likely the bound remnant of a mostly disrupted white dwarf that underwent advanced burning from an underluminous (Type Iax) supernova. △ Less

Submitted 13 May, 2021; originally announced May 2021.

Comments: 6 pages, 2 figures, accepted for publication in ApJ Letters

Carbon-enhanced stars with short orbital and spin periods

Authors: L. J. Whitehouse, J. Farihi, I. D. Howarth, S. Mancino, N. Walters, A. Swan, T. G. Wilson, J. Guo

Abstract: Many characteristics of dwarf carbon stars are broadly consistent with a binary origin, including mass transfer from an evolved companion. While the population overall appears to have old-disc or halo kinematics, roughly 2$\,$per cent of these stars exhibit H$α$ emission, which in low-mass main-sequence stars is generally associated with rotation and relative youth. Its presence in an older popula… ▽ More Many characteristics of dwarf carbon stars are broadly consistent with a binary origin, including mass transfer from an evolved companion. While the population overall appears to have old-disc or halo kinematics, roughly 2$\,$per cent of these stars exhibit H$α$ emission, which in low-mass main-sequence stars is generally associated with rotation and relative youth. Its presence in an older population therefore suggests either irradiation or spin-up. This study presents time-series analyses of photometric and radial-velocity data for seven dwarf carbon stars with H$α$ emission. All are shown to have photometric periods in the range 0.2--5.2$\,$d, and orbital periods of similar length, consistent with tidal synchronisation. It is hypothesised that dwarf carbon stars with emission lines are the result of close-binary evolution, indicating that low-mass, metal-weak or metal-poor stars can accrete substantial material prior to entering a common-envelope phase. △ Less

Submitted 3 August, 2021; v1 submitted 30 April, 2021; originally announced May 2021.

Comments: 16 pages, 7 figures, Accepted to MNRAS

On the Nielsen-Schreier Theorem in Homotopy Type Theory

Authors: Andrew W Swan

Abstract: We give a formulation of the Nielsen-Schreier theorem (subgroups of free groups are free) in homotopy type theory using the presentation of groups as pointed connected 1-truncated types. We show the special case of finite index subgroups holds constructively and the full theorem follows from the axiom of choice. We give an example of a boolean infinity topos where our formulation of the theorem do… ▽ More We give a formulation of the Nielsen-Schreier theorem (subgroups of free groups are free) in homotopy type theory using the presentation of groups as pointed connected 1-truncated types. We show the special case of finite index subgroups holds constructively and the full theorem follows from the axiom of choice. We give an example of a boolean infinity topos where our formulation of the theorem does not hold and show a stronger "untruncated" version of the theorem is provably false in homotopy type theory. △ Less

Submitted 18 January, 2022; v1 submitted 2 October, 2020; originally announced October 2020.

MSC Class: 03F65; 03B38; 20E05

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 20, 2022) lmcs:7676

White dwarf pollution by hydrated planetary remnants: Hydrogen and Metals in WD J204713.76-125908.9

Authors: Matthew J. Hoskin, Odette Toloza, Boris T. Gänsicke, Roberto Raddi, Detlev Koester, Anna Pala, Christopher J. Manser, Jay Farihi, Maria Teresa Belmonte, Mark Hollands, Nicola Gentile Fusillo, Andrew Swan

Abstract: WD J204713.76-125908.9 is a new addition to the small class of white dwarfs with helium-dominated photospheres that exhibit strong Balmer absorption lines and atmospheric metal pollution. The exceptional abundances of hydrogen observed in these stars may be the result of accretion of water-rich rocky bodies. We obtained far-ultraviolet and optical spectroscopy of WD J204713.76-125908.9 using the C… ▽ More WD J204713.76-125908.9 is a new addition to the small class of white dwarfs with helium-dominated photospheres that exhibit strong Balmer absorption lines and atmospheric metal pollution. The exceptional abundances of hydrogen observed in these stars may be the result of accretion of water-rich rocky bodies. We obtained far-ultraviolet and optical spectroscopy of WD J204713.76-125908.9 using the Cosmic Origin Spectrograph on-board the Hubble Space Telescope and X-shooter on the Very Large Telescope, and identify photospheric absorption lines of nine metals: C, O, Mg, Si, P, S, Ca, Fe and Ni. The abundance ratios are consistent with the steady state accretion of exo-planetesimal debris rich in the volatile elements carbon and oxygen, and the transitional element sulphur, by factors of seventeen, two, and four respectively compared to bulk Earth. The parent body has a composition akin to Solar System carbonaceous chondrites, and the inferred minimum mass, $1.6 \times 10^{20}$ g, is comparable to an asteroid 23 km in radius. We model the composition of the disrupted parent body, finding from our simulations a median water mass fraction of eight per cent. △ Less

Submitted 10 September, 2020; originally announced September 2020.

Comments: 14 pages, 5 figures Accepted for publication in Monthly Notices of the Royal Astronomical Society

Emission from elliptical streams of dusty debris around white dwarfs

Authors: C. J. Nixon, J. E. Pringle, E. R. Coughlin, A. Swan, J. Farihi

Abstract: White dwarfs are routinely observed to have polluted atmospheres, and sometimes significant infrared excesses, that indicate ongoing accretion of circumstellar dust and rocky debris. Typically this debris is assumed to be in the form of a (circular) disc, and to originate from asteroids that passed close enough to the white dwarf to be pulled apart by tides. However, theoretical considerations sug… ▽ More White dwarfs are routinely observed to have polluted atmospheres, and sometimes significant infrared excesses, that indicate ongoing accretion of circumstellar dust and rocky debris. Typically this debris is assumed to be in the form of a (circular) disc, and to originate from asteroids that passed close enough to the white dwarf to be pulled apart by tides. However, theoretical considerations suggest that the circularisation of the debris, which initially occupies highly eccentric orbits, is very slow. We therefore hypothesise that the observations may be readily explained by the debris remaining on highly eccentric orbits, and we explore the properties of such debris. For the generic case of an asteroid originating at several au from the white dwarf, we find that all of the tidal debris is always bound to the white dwarf and that the orbital energy distribution of the debris is narrow enough that it executes similar elliptical orbits with only a narrow spread. Assuming that the tidal field of the white dwarf is sufficient to minimise the effects of self-gravity and collisions within the debris, we estimate the time over which the debris spreads into a single elliptical ring, and we generate toy spectra and lightcurves from the initial disruption to late times when the debris distribution is essentially time steady. Finally we speculate on the connection between these simple considerations and the observed properties of these systems, and on additional physical processes that may change this simple picture. △ Less

Submitted 13 June, 2020; originally announced June 2020.

Comments: 31 pages, 5 figures, submitted to New Astronomy

The dust never settles: collisional production of gas and dust in evolved planetary systems

Authors: Andrew Swan, Jay Farihi, Thomas G. Wilson, Steven G. Parsons

Abstract: Multi-epoch infrared photometry from Spitzer is used to monitor circumstellar discs at white dwarfs, which are consistent with disrupted minor planets whose debris is accreted and chemically reflected by their host stars. Widespread infrared variability is found across the population of 37 stars with two or more epochs. Larger flux changes occur on longer time-scales, reaching several tens of per… ▽ More Multi-epoch infrared photometry from Spitzer is used to monitor circumstellar discs at white dwarfs, which are consistent with disrupted minor planets whose debris is accreted and chemically reflected by their host stars. Widespread infrared variability is found across the population of 37 stars with two or more epochs. Larger flux changes occur on longer time-scales, reaching several tens of per cent over baselines of a few years. The canonical model of a geometrically thin, optically thick disc is thus insufficient, as it cannot give rise to the observed behaviour. Optically thin dust best accounts for the variability, where collisions drive dust production and destruction. Notably, the highest infrared variations are seen in systems that show Ca II emission, supporting planetesimal collisions for all known debris discs, with the most energetic occurring in those with detected gaseous debris. The sample includes the only polluted white dwarf with a circumbinary disc, where the signal of the day-night cycle of its irradiated substellar companion appears diluted by dust emission. △ Less

Submitted 20 June, 2020; v1 submitted 10 June, 2020; originally announced June 2020.

Comments: 10 pages, 5 figures; accepted to MNRAS. Updated with additional citations

A class of higher inductive types in Zermelo-Fraenkel set theory

Authors: Andrew Swan

Abstract: We define a class of higher inductive types that can be constructed in the category of sets under the assumptions of Zermelo-Fraenkel set theory without the axiom of choice or the existence of uncountable regular cardinals. This class includes the example of unordered trees of any arity. We define a class of higher inductive types that can be constructed in the category of sets under the assumptions of Zermelo-Fraenkel set theory without the axiom of choice or the existence of uncountable regular cardinals. This class includes the example of unordered trees of any arity. △ Less

Submitted 21 July, 2021; v1 submitted 28 May, 2020; originally announced May 2020.

MSC Class: 03B38; 03E10

Ultra-low doping and local charge variation in graphene measured by Raman: experiment and simulation

Authors: Zhuofa Chen, Nathan Ullberg, Mounika Vutukuru, David Barton, Anna K Swan

Abstract: Avoiding charge density variations and impurities in graphene is vital for high-quality graphene-based devices. Here, we demonstrate an optical method using Raman 2D peak-split to monitor charge density variations in the range 1-25e10 cm-2. We compare Raman signatures with electrostatically gated Raman and transport measurements to correlate the 2D peak-split with the charge density on graphene wi… ▽ More Avoiding charge density variations and impurities in graphene is vital for high-quality graphene-based devices. Here, we demonstrate an optical method using Raman 2D peak-split to monitor charge density variations in the range 1-25e10 cm-2. We compare Raman signatures with electrostatically gated Raman and transport measurements to correlate the 2D peak-split with the charge density on graphene with high precision. We found that the Raman 2D peak-split and peak areas linearly varies with the charge density, where a lower charge density results in a larger 2D peak-split. We simulate Raman 2D spectra under various doping conditions to study the correlation between Raman 2D peak and charge puddles. These simulations give qualitative agreement with experimental results. Our work provides a simple and non-invasive optical method for estimating the doping level, local charge density variation and transport properties of graphene before fabricating graphene devices, with up to two orders of magnitude higher precision than previously reported optical methods. △ Less

Submitted 8 May, 2020; originally announced May 2020.

Comments: 18 pages, 7 figures. arXiv admin note: text overlap with arXiv:1908.10961

MSC Class: No ACM Class: F.2.2

Random spanning forests and hyperbolic symmetry

Authors: Roland Bauerschmidt, Nicholas Crawford, Tyler Helmuth, Andrew Swan

Abstract: We study (unrooted) random forests on a graph where the probability of a forest is multiplicatively weighted by a parameter $β>0$ per edge. This is called the arboreal gas model, and the special case when $β=1$ is the uniform forest model. The arboreal gas can equivalently be defined to be Bernoulli bond percolation with parameter $p=β/(1+β)$ conditioned to be acyclic, or as the limit $q\to 0$ wit… ▽ More We study (unrooted) random forests on a graph where the probability of a forest is multiplicatively weighted by a parameter $β>0$ per edge. This is called the arboreal gas model, and the special case when $β=1$ is the uniform forest model. The arboreal gas can equivalently be defined to be Bernoulli bond percolation with parameter $p=β/(1+β)$ conditioned to be acyclic, or as the limit $q\to 0$ with $p=βq$ of the random cluster model. It is known that on the complete graph $K_{N}$ with $β=α/N$ there is a phase transition similar to that of the Erdős--Rényi random graph: a giant tree percolates for $α> 1$ and all trees have bounded size for $α<1$. In contrast to this, by exploiting an exact relationship between the arboreal gas and a supersymmetric sigma model with hyperbolic target space, we show that the forest constraint is significant in two dimensions: trees do not percolate on $\mathbb{Z}^2$ for any finite $β>0$. This result is a consequence of a Mermin--Wagner theorem associated to the hyperbolic symmetry of the sigma model. Our proof makes use of two main ingredients: techniques previously developed for hyperbolic sigma models related to linearly reinforced random walks and a version of the principle of dimensional reduction. △ Less

Submitted 23 September, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: Accepted version

MSC Class: 60K35

Journal ref: Commun. Math. Phys., 381, 1223-1261, (2021)

The Magnetorotational Instability Prefers Three Dimensions

Authors: Jeffrey S. Oishi, Geoffrey M. Vasil, Morgan Baxter, Andrew Swan, Keaton J. Burns, Daniel Lecoanet, Benjamin P. Brown

Abstract: The magnetorotational instability (MRI) occurs when a weak magnetic field destabilises a rotating, electrically conducting fluid with inwardly increasing angular velocity. The MRI is essential to astrophysical disk theory where the shear is typically Keplerian. Internal shear layers in stars may also be MRI unstable, and they take a wide range of profiles, including near-critical. We show that the… ▽ More The magnetorotational instability (MRI) occurs when a weak magnetic field destabilises a rotating, electrically conducting fluid with inwardly increasing angular velocity. The MRI is essential to astrophysical disk theory where the shear is typically Keplerian. Internal shear layers in stars may also be MRI unstable, and they take a wide range of profiles, including near-critical. We show that the fastest growing modes of an ideal magnetofluid are three-dimensional provided the shear rate, $S$, is near the two-dimensional onset value, $S_c$. For a Keplerian shear, three-dimensional modes are unstable above $S\approx0.10S_c$, and dominate the two-dimensional modes until $S\approx2.05S_{c}$. These three-dimensional modes dominate for shear profiles relevant to stars and at magnetic Prandtl numbers relevant to liquid-metal laboratory experiments. Significant numbers of rapidly growing three-dimensional modes remain well past $2.05S_{c}$. These finding are significant in three ways. First, weakly nonlinear theory suggests that the MRI saturates by pushing the shear rate to its critical value. This can happen for systems, like stars and laboratory experiments, that can rearrange their angular velocity profiles. Second, the non-normal character and large transient growth of MRI modes should be important whenever three-dimensionality exists. Finally, three-dimensional growth suggests direct dynamo action driven from the linear instability. △ Less

Submitted 2 December, 2019; originally announced December 2019.

Comments: 15 pages, 5 figures. Proceedings of the Royal Society A, accepted

Analyticity for rapidly determined properties of Poisson Galton--Watson trees

Authors: Yuval Peres, Andrew Swan

Abstract: Let $T_λ$ be a Galton--Watson tree with Poisson($λ$) offspring, and let $A$ be a tree property. In this paper, are concerned with the regularity of the function $\mathbb{P}_λ(A):= \mathbb{P}(T_λ\vdash A)$. We show that if a property $A$ can be uniformly approximated by a sequence of properties $A_k$, depending only on the first $k$ vertices in the breadth first exploration of the tree, with a boun… ▽ More Let $T_λ$ be a Galton--Watson tree with Poisson($λ$) offspring, and let $A$ be a tree property. In this paper, are concerned with the regularity of the function $\mathbb{P}_λ(A):= \mathbb{P}(T_λ\vdash A)$. We show that if a property $A$ can be uniformly approximated by a sequence of properties $A_k$, depending only on the first $k$ vertices in the breadth first exploration of the tree, with a bound in probability of $\mathbb{P}_λ(A\triangle A_k) \le Ce^{-ck}$ over an interval $I = (λ_0, λ_1)$, then $\mathbb{P}_λ(A)$ is real analytic in $λ$ for $λ\in I$. We also present some applications of our results, particularly to properties that are not expressible in the first order language of trees. △ Less

Submitted 19 September, 2019; originally announced September 2019.

Monitoring the low doping regime in graphene using Raman 2D peak-splits: Comparison of gated Raman and transport measurements

Authors: Zhuofa Chen, Nathan Ullberg, Mounika Vutukuru, David Barton, Anna K Swan

Abstract: Avoiding charge density fluctuations and impurities in graphene is vital for high-quality graphene-based devices. Traditional characterization methods require device fabrication and electrical transport measurements, which are labor-intensive and time-consuming. Existing optical methods using Raman spectroscopy only work for doping levels higher than ~10^12 cm^-2. Here, we propose an optical metho… ▽ More Avoiding charge density fluctuations and impurities in graphene is vital for high-quality graphene-based devices. Traditional characterization methods require device fabrication and electrical transport measurements, which are labor-intensive and time-consuming. Existing optical methods using Raman spectroscopy only work for doping levels higher than ~10^12 cm^-2. Here, we propose an optical method using Raman 2D peak-splitting (split between the Raman 2D1 and 2D2 peaks at low doping levels). Electrostatically gated Raman measurements combined with transport measurements were used to correlate the 2D peak-split with the charge density on graphene with high precision (2x10^10 cm^-2 per 2D peak-split wavenumber). We found that the Raman 2D peak-split has a strong correlation with the charge density at low doping levels, and that a lower charge density results in a larger 2D peak-split. Our work provides a simple and non-invasive optical method to quantify the doping level of graphene from 10^10 cm^-2 to 10^12 cm^-2, two orders of magnitude higher precision than previously reported optical methods. This method provides a platform for estimating the doping level and quality of graphene before fabricating graphene devices △ Less

Submitted 28 August, 2019; originally announced August 2019.

Comments: 42pages, 5 figures

Interpretation and diversity of exoplanetary material orbiting white dwarfs

Authors: Andrew Swan, Jay Farihi, Detlev Koester, Mark Hollands, Steven Parsons, P. Wilson Cauley, Seth Redfield, Boris T. Gaensicke

Abstract: Nine metal-polluted white dwarfs are observed with medium-resolution optical spectroscopy,where photospheric abundances are determined and interpreted through comparison against solar system objects. An improved method of making such comparisons is presented that overcomes potential weaknesses of prior analyses, with the numerous sources of error considered to highlight the limitations on interpre… ▽ More Nine metal-polluted white dwarfs are observed with medium-resolution optical spectroscopy,where photospheric abundances are determined and interpreted through comparison against solar system objects. An improved method of making such comparisons is presented that overcomes potential weaknesses of prior analyses, with the numerous sources of error considered to highlight the limitations on interpretation. The stars are inferred to be accreting rocky, volatile-poor asteroidal materials with origins in differentiated bodies, in line with the consensus model. The most heavily polluted star in the sample has 14 metals detected, and appears to be accreting material from a rocky planetesimal, whose composition is mantle-like with a small Fe-Ni core component. Some unusual abundances are present: one star is strongly depleted in Ca, while two others show Na abundances elevated above bulk Earth, speculated either to reflect diversity in the formation conditions of the source material, or to be traces of past accretion events. Another star shows clear signs that accretion ceased around 5 Myr ago,causing Mg to dominate the photospheric abundances, as it has the longest diffusion time of the observed elements. Observing such post-accretion systems allows constraints to be placed on models of the accretion process. △ Less

Submitted 21 August, 2019; originally announced August 2019.

Comments: 16 pages, 9 figures; accepted to MNRAS

On Church's Thesis in Cubical Assemblies

Authors: Andrew Swan, Taichi Uemura

Abstract: We show that Church's thesis, the axiom stating that all functions on the naturals are computable, does not hold in the cubical assemblies model of cubical type theory. We show that nevertheless Church's thesis is consistent with univalent type theory by constructing a reflective subuniverse of cubical assemblies where it holds. We show that Church's thesis, the axiom stating that all functions on the naturals are computable, does not hold in the cubical assemblies model of cubical type theory. We show that nevertheless Church's thesis is consistent with univalent type theory by constructing a reflective subuniverse of cubical assemblies where it holds. △ Less

Submitted 8 May, 2019; originally announced May 2019.

MSC Class: 03F50; 03B15

The unbiased frequency of planetary signatures around single and binary white dwarfs using ${\it Spitzer}$ and ${\it Hubble}$

Authors: Thomas G. Wilson, Jay Farihi, Boris T. Gänsicke, Andrew Swan

Abstract: This paper presents combined ${\it Spitzer}$ IRAC and ${\it Hubble}$ COS results for a double-blind survey of 195 single and 22 wide binary white dwarfs for infrared excesses and atmospheric metals. The selection criteria include cooling ages in the range 9 to 300 Myr, and hydrogen-rich atmospheres so that the presence of atmospheric metals can be confidently linked to ongoing accretion from a cir… ▽ More This paper presents combined ${\it Spitzer}$ IRAC and ${\it Hubble}$ COS results for a double-blind survey of 195 single and 22 wide binary white dwarfs for infrared excesses and atmospheric metals. The selection criteria include cooling ages in the range 9 to 300 Myr, and hydrogen-rich atmospheres so that the presence of atmospheric metals can be confidently linked to ongoing accretion from a circumstellar disc. The entire sample has infrared photometry, whereas 168 targets have corresponding ultraviolet spectra. Three stars with infrared excesses due to debris discs are recovered, yielding a nominal frequency of $1.5_{-0.5}^{+1.5}$ per cent, while in stark contrast, the fraction of stars with atmospheric metals is $45\pm4$ per cent. Thus, only one out of 30 polluted white dwarfs exhibits an infrared excess at 3-4 $μ$m in IRAC photometry, which reinforces the fact that atmospheric metal pollution is the most sensitive tracer of white dwarf planetary systems. The corresponding fraction of infrared excesses around white dwarfs with wide binary companions is consistent with zero, using both the infrared survey data and an independent assessment of potential binarity for well-established dusty and polluted stars. In contrast, the frequency of atmospheric pollution among the targets in wide binaries is indistinct from apparently single stars, and moreover the multiplicity of polluted white dwarfs in a complete and volume-limited sample is the same as for field stars. Therefore, it appears that the delivery of planetesimal material onto white dwarfs is ultimately not driven by stellar companions, but by the dynamics of planetary bodies. △ Less

Submitted 11 April, 2019; originally announced April 2019.

Comments: 15 pages, 6 figures, 3 tables; accepted for publication in MNRAS

Astro 2020 Science White Paper: Evolved Planetary Systems around White Dwarfs

Authors: Boris Gaensicke, Martin Barstow, Amy Bonsor, John Debes, Patrick Dufour, Tim Cunningham, Erik Dennihy, Nicola Gentile Fusillo, Jay Farihi, Mark Hollands, Matthew Hoskin, Paula Izquierdo, Jennifer Johnson, Beth Klein, Detlev Koester, Juna Kollmeier, Wladimir Lyra, Christopher Manser, Carl Melis, Pablo Rodriguez-Gil, Matthias Schreiber, Andrew Swan, Odette Toloza, Pier-Emmanuel Tremblay, Dimitri Veras , et al. (3 additional authors not shown)

Abstract: Practically all known planet hosts will evolve into white dwarfs, and large parts of their planetary systems will survive this transition - the same is true for the solar system beyond the orbit of Mars. Spectroscopy of white dwarfs accreting planetary debris provides the most accurate insight into the bulk composition of exo-planets. Ground-based spectroscopic surveys of ~260, 000 white dwarfs de… ▽ More Practically all known planet hosts will evolve into white dwarfs, and large parts of their planetary systems will survive this transition - the same is true for the solar system beyond the orbit of Mars. Spectroscopy of white dwarfs accreting planetary debris provides the most accurate insight into the bulk composition of exo-planets. Ground-based spectroscopic surveys of ~260, 000 white dwarfs detected with Gaia will identify >1000 evolved planetary systems, and high-throughput high-resolution space-based ultraviolet spectroscopy is essential to measure in detail their abundances. So far, evidence for two planetesimals orbiting closely around white dwarfs has been obtained, and their study provides important constraints on the composition and internal structure of these bodies. Major photometric and spectroscopic efforts will be necessary to assemble a sample of such close-in planetesimals that is sufficiently large to establish their properties as a population, and to deduce the architectures of the outer planetary systems from where they originated. Mid-infrared spectroscopy of the dusty disks will provide detailed mineralogical information of the debris, which, in combination with the elemental abundances measured from the white dwarf spectroscopy, will enable detailed physical modelling of the chemical, thermodynamic, and physical history of the accreted material. Flexible multi-epoch infrared observations are essential to determine the physical nature, and origin of the variability observed in many of the dusty disks. Finally, the direct detection of the outer reservoirs feeding material to the white dwarfs will require sensitive mid- and far-infrared capabilities. △ Less

Submitted 12 April, 2019; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 5 pages, 3 figures Science White Paper submitted to the Astro2020 Decadal Survey

The geometry of random walk isomorphism theorems

Authors: Roland Bauerschmidt, Tyler Helmuth, Andrew Swan

Abstract: The classical random walk isomorphism theorems relate the local times of a continuous-time random walk to the square of a Gaussian free field. A Gaussian free field is a spin system that takes values in Euclidean space, and this article generalises the classical isomorphism theorems to spin systems taking values in hyperbolic and spherical geometries. The corresponding random walks are no longer M… ▽ More The classical random walk isomorphism theorems relate the local times of a continuous-time random walk to the square of a Gaussian free field. A Gaussian free field is a spin system that takes values in Euclidean space, and this article generalises the classical isomorphism theorems to spin systems taking values in hyperbolic and spherical geometries. The corresponding random walks are no longer Markovian: they are the vertex-reinforced and vertex-diminished jump processes. We also investigate supersymmetric versions of these formulas. Our proofs are based on exploiting the continuous symmetries of the corresponding spin systems. The classical isomorphism theorems use the translation symmetry of Euclidean space, while in hyperbolic and spherical geometries the relevant symmetries are Lorentz boosts and rotations, respectively. These very short proofs are new even in the Euclidean case. Isomorphism theorems are useful tools, and to illustrate this we present several applications. These include simple proofs of exponential decay for spin system correlations, exact formulas for the resolvents of the joint processes of random walks together with their local times, and a new derivation of the Sabot--Tarrès formula for the limiting local time of the vertex-reinforced jump process. △ Less

Submitted 2 July, 2020; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: Accepted version

Journal ref: Ann. Inst. Henri Poincare Probab. Stat. 57 (2021), no. 1, 408-454

Most white dwarfs with detectable dust discs show infrared variability

Authors: Andrew Swan, Jay Farihi, Thomas G. Wilson

Abstract: Archival data from the WISE satellite reveals infrared flux variations of tens of per cent around numerous dusty white dwarfs. Data spanning more than seven years reveal more than half of known systems are varying in the 3.4 micron band, while the 4.6 micron data are challenging to interpret due to lower signal-to-noise. The sparsely-sampled data limit interpretation, but the heterogeneous light c… ▽ More Archival data from the WISE satellite reveals infrared flux variations of tens of per cent around numerous dusty white dwarfs. Data spanning more than seven years reveal more than half of known systems are varying in the 3.4 micron band, while the 4.6 micron data are challenging to interpret due to lower signal-to-noise. The sparsely-sampled data limit interpretation, but the heterogeneous light curves suggest each source may be idiosyncratic, where there maybe competing processes operating on different time-scales. Collisions are likely driving the observed decays in flux, and this finding suggests that dust production is operating more often than indicated by previous observations. The observed variation is at odds with the canonical flat disc model in isolation, and underscores the need for infrared monitoring of these evolved planetary systems to inform the next generation of theoretical models. △ Less

Submitted 27 January, 2019; originally announced January 2019.

Comments: 5 pages; accepted to MNRAS Letters

Modeling and Thermal Metrology of Thermally Isolated MEMS Electrothermal Actuators for Strain Engineering of 2D Materials

Authors: Mounika Vutukuru, Jason W. Christopher, Corey Pollock, David J. Bishop, Anna K. Swan

Abstract: We present electrothermal microelectromechanical (MEMS) actuators as a practical platform for straining 2D materials. The advantages of the electrothermal actuator is its high output force and displacement for low input voltage, but its drawback is that it is actuated by generating high amounts of heat. It is crucial to mitigate the high temperatures generated during actuation for reliable 2D mate… ▽ More We present electrothermal microelectromechanical (MEMS) actuators as a practical platform for straining 2D materials. The advantages of the electrothermal actuator is its high output force and displacement for low input voltage, but its drawback is that it is actuated by generating high amounts of heat. It is crucial to mitigate the high temperatures generated during actuation for reliable 2D material strain device implementation. Here, we implement a chevron actuator design that incorporates a thermal isolation stage in order to avoid heating the 2D material from the high temperatures generated during the actuation. By comparing experiment and simulation, we ensure our design does not compromise output displacement, while keeping the 2D material strain device stage cool. We also provide a simple analytical model useful for quickly evaluating different thermal isolation stage designs. △ Less

Submitted 13 November, 2018; originally announced November 2018.

Dust Production and Depletion in Evolved Planetary Systems

Authors: J. Farihi, R. van Lieshout, P. W. Cauley, E. Dennihy, K. Y. L. Su, S. J. Kenyon, T. G. Wilson, O. Toloza, B. T. Gänsicke, T. von Hippel, S. Redfield, J. H. Debes, S. Xu, L. Rogers, A. Bonsor, A. Swan, A. F. Pala, W. T. Reach

Abstract: The infrared dust emission from the white dwarf GD 56 is found to rise and fall by 20% peak-to-peak over 11.2 yr, and is consistent with ongoing dust production and depletion. It is hypothesized that the dust is produced via collisions associated with an evolving dust disk, temporarily increasing the emitting surface of warm debris, and is subsequently destroyed or assimilated within a few years.… ▽ More The infrared dust emission from the white dwarf GD 56 is found to rise and fall by 20% peak-to-peak over 11.2 yr, and is consistent with ongoing dust production and depletion. It is hypothesized that the dust is produced via collisions associated with an evolving dust disk, temporarily increasing the emitting surface of warm debris, and is subsequently destroyed or assimilated within a few years. The variations are consistent with debris that does not change temperature, indicating that dust is produced and depleted within a fixed range of orbital radii. Gas produced in collisions may rapidly re-condense onto grains, or may accrete onto the white dwarf surface on viscous timescales that are considerably longer than Poynting-Robertson drag for micron-sized dust. This potential delay in mass accretion rate change is consistent with multi-epoch spectra of the unchanging Ca II and Mg II absorption features in GD 56 over 15 yr, although the sampling is sparse. Overall these results indicate that collisions are likely to be the source of dust and gas, either inferred or observed, orbiting most or all polluted white dwarfs. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: 11 pages, 6 figures, and 2 tables. Accepted to MNRAS

Separating Path and Identity Types in Presheaf Models of Univalent Type Theory

Authors: Andrew Swan

Abstract: We give a collection of results regarding path types, identity types and univalent universes in certain models of type theory based on presheaves. The main result is that path types cannot be used directly as identity types in any Orton-Pitts style model of univalent type theory with propositional truncation in presheaf assemblies over the first and second Kleene algebras. We also give a Brouw… ▽ More We give a collection of results regarding path types, identity types and univalent universes in certain models of type theory based on presheaves. The main result is that path types cannot be used directly as identity types in any Orton-Pitts style model of univalent type theory with propositional truncation in presheaf assemblies over the first and second Kleene algebras. We also give a Brouwerian counterexample showing that there is no constructive proof that there is an Orton-Pitts model of type theory in presheaves when the universe is based on a standard construction due to Hofmann and Streicher, and path types are identity types. A similar proof shows that path types are not identity types in internal presheaves in realizability toposes as long as a certain universe can be extended to a univalent one. We show that one of our key lemmas has a purely syntactic variant in intensional type theory and use it to make some minor but curious observations on the behaviour of cofibrations in syntactic categories. △ Less

Submitted 17 October, 2018; v1 submitted 2 August, 2018; originally announced August 2018.

Comments: Version 3 is another fairly major revision, this time to the second key lemma

MSC Class: 03F50; 55U35

Identity Types in Algebraic Model Structures and Cubical Sets

Authors: Andrew Swan

Abstract: We give a general technique for constructing a functorial choice of very good paths objects, which can be used to implement identity types in models of type theories in direct manner with little reliance on general coherence results. We give a simple proof that applies in algebraic model structures that possess a notion of structured weak equivalence, in a sense that we define here. We then give a… ▽ More We give a general technique for constructing a functorial choice of very good paths objects, which can be used to implement identity types in models of type theories in direct manner with little reliance on general coherence results. We give a simple proof that applies in algebraic model structures that possess a notion of structured weak equivalence, in a sense that we define here. We then give a more direct proof that applies both to the original BCH cubical set model and more recent variants. We give an explanation how this construction relates to the one used in the CCHM cubical set model of type theory. △ Less

Submitted 2 August, 2018; originally announced August 2018.

MSC Class: 03F55; 55U35

Lifschitz Realizability as a Topological Construction

Authors: Michael Rathjen, Andrew Swan

Abstract: We develop a number of variants of Lifschitz realizability for CZF by building topological models internally in certain realizability models. We use this to show some interesting metamathematical results about constructive set theory with variants of LLPO including consistency with unique Church's thesis, consistency with some Brouwerian principles and variants of the numerical existence property. We develop a number of variants of Lifschitz realizability for CZF by building topological models internally in certain realizability models. We use this to show some interesting metamathematical results about constructive set theory with variants of LLPO including consistency with unique Church's thesis, consistency with some Brouwerian principles and variants of the numerical existence property. △ Less

Submitted 26 June, 2018; originally announced June 2018.

MSC Class: 03F50

Journal ref: J. symb. log. 85 (2020) 1342-1375

On Dividing by Two in Constructive Mathematics

Authors: Andrew Swan

Abstract: A classic result due to Bernstein states that in set theory with classical logic, but without the axiom of choice, for all sets $X$ and $Y$, if $X \times 2 \cong Y \times 2$ then also $X \cong Y$. We show that this cannot be done in constructive mathematics by giving some examples of toposes where it fails. A classic result due to Bernstein states that in set theory with classical logic, but without the axiom of choice, for all sets $X$ and $Y$, if $X \times 2 \cong Y \times 2$ then also $X \cong Y$. We show that this cannot be done in constructive mathematics by giving some examples of toposes where it fails. △ Less

Submitted 12 April, 2018; originally announced April 2018.

MSC Class: 03F50; 03E10; 03G30

Every metric space is separable in function realizability

Authors: Andrej Bauer, Andrew Swan

Abstract: We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every discrete space is countable. It follows that intuitionistic logic does not show the existence of a non-separable metric space, or an uncountable set with decidable equ… ▽ More We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every discrete space is countable. It follows that intuitionistic logic does not show the existence of a non-separable metric space, or an uncountable set with decidable equality, even if we assume principles that are validated by function realizability, such as Dependent and Function choice, Markov's principle, and Brouwer's continuity and fan principles. △ Less

Submitted 22 May, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

MSC Class: 54E35; 03F60; 03F55

Journal ref: Logical Methods in Computer Science, Volume 15, Issue 2 (May 23, 2019) lmcs:4651

Monolayer MoS$_2$ Strained to 1.3\% with a Microelectromechanical System

Authors: Jason W. Christopher, Mounika Vutukuru, David Lloyd, J. Scott Bunch, Bennett B. Goldberg, David J. Bishop, Anna K. Swan

Abstract: We report on a modified transfer technique for atomically thin materials integrated onto microelectromechanical systems (MEMS) for studying strain physics and creating strain-based devices. Our method tolerates the non-planar structures and fragility of MEMS, while still providing precise positioning and crack free transfer of flakes. Further, our method used the transfer polymer to anchor the 2D… ▽ More We report on a modified transfer technique for atomically thin materials integrated onto microelectromechanical systems (MEMS) for studying strain physics and creating strain-based devices. Our method tolerates the non-planar structures and fragility of MEMS, while still providing precise positioning and crack free transfer of flakes. Further, our method used the transfer polymer to anchor the 2D crystal to the MEMS, which reduces the fabrication time, increases the yield, and allowed us to exploit the strong mechanical coupling between 2D crystal and polymer to strain the atomically thin system. We successfully strained single atomic layers of molybdenum disulfide (MoS$_2$) with MEMS devices for the first time and achieved greater than 1.3\% strain, marking a major milestone for incorporating 2D materials with MEMS We used the established strain response of MoS$_2$ Raman and Photoluminescence spectra to deduce the strain in our crystals and provide a consistency check. We found good comparison between our experiment and literature. △ Less

Submitted 22 June, 2018; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: 23 pages (includes supplementary), 7 figures, 6 tables

W-Types with Reductions and the Small Object Argument

Authors: Andrew Swan

Abstract: We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as polynomial endofunctors), we will define our generalisation as initial algebras of certain pointed endofunctors, which we will refer to as pointed polynomial en… ▽ More We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as polynomial endofunctors), we will define our generalisation as initial algebras of certain pointed endofunctors, which we will refer to as pointed polynomial endofunctors. We will show that $W$-types with reductions exist in all $ΠW$-pretoposes that satisfy a weak choice axiom, known as weakly initial set of covers (WISC). This includes all Grothendieck toposes and realizability toposes as long as WISC holds in the background universe. We will show that a large class of $W$-types with reductions in internal presheaf categories can be constructed without using WISC. We will show that $W$-types with reductions suffice to construct some interesting examples of algebraic weak factorisation systems (awfs's). Specifically, we will see how to construct awfs's that are cofibrantly generated with respect to a codomain fibration, as defined in a previous paper by the author. △ Less

Submitted 21 February, 2018; originally announced February 2018.

MSC Class: 03G30; 03B15; 55U35

Lifting Problems in Grothendieck Fibrations

Authors: Andrew Swan

Abstract: Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more sophisticated notion due to Garner (referred to as algebraically cofibrantly generated) the set of maps is replaced with a diagram over a small category. We give a yet… ▽ More Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more sophisticated notion due to Garner (referred to as algebraically cofibrantly generated) the set of maps is replaced with a diagram over a small category. We give a yet more general definition where the set or diagram of maps is replaced with a vertical map in a Grothendieck fibration. In addition to an interesting new view of the existing examples above, we get new notions, such as computable lifting problems in presheaf assemblies, and internal lifting problems in a topos. We show that under reasonable conditions one can define a notion of universal lifting problem and carry out step-one of Garner's small object argument. We give explicit descriptions of what the general construction looks like in some examples. △ Less

Submitted 7 February, 2018; originally announced February 2018.

MSC Class: 55U35; 03F50; 03G30

Dynkin isomorphism and Mermin--Wagner theorems for hyperbolic sigma models and recurrence of the two-dimensional vertex-reinforced jump process

Authors: Roland Bauerschmidt, Tyler Helmuth, Andrew Swan

Abstract: We prove the vertex-reinforced jump process (VRJP) is recurrent in two dimensions for any translation invariant finite range initial rates. Our proof has two main ingredients. The first is a direct connection between the VRJP and sigma models whose target space is a hyperbolic space $\mathbb{H}^n$ or its supersymmetric counterpart $\mathbb{H}^{2|2}$. These results are analogues of well-known relat… ▽ More We prove the vertex-reinforced jump process (VRJP) is recurrent in two dimensions for any translation invariant finite range initial rates. Our proof has two main ingredients. The first is a direct connection between the VRJP and sigma models whose target space is a hyperbolic space $\mathbb{H}^n$ or its supersymmetric counterpart $\mathbb{H}^{2|2}$. These results are analogues of well-known relations between the Gaussian free field and the local times of simple random walk. The second ingredient is a Mermin--Wagner theorem for these sigma models. This result is of intrinsic interest for the sigma models and also implies our main theorem on the VRJP. Surprisingly, our Mermin--Wagner theorem applies even though the symmetry groups of $\mathbb{H}^n$ and $\mathbb{H}^{2|2}$ are non-amenable. △ Less

Submitted 25 October, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: Accepted version

MSC Class: 60G60 82B20

Journal ref: Ann. Probab., Volume 47, Number 5 (2019), 3375-3396

Evidence of the Poisson/Gaudin-Mehta phase transition for banded matrices on global scales

Authors: Sheehan Olver, Andrew Swan

Abstract: We prove that the Poisson/Gaudin--Mehta phase transition conjectured to occur when the bandwidth of an $N \times N$ symmetric banded matrix grows like $\sqrt N$ is observable as a critical point in the fourth moment of the level density for a wide class of symmetric banded matrices. A second critical point when the bandwidth grows like ${2 \over 5} N$ leads to a new conjectured phase transition in… ▽ More We prove that the Poisson/Gaudin--Mehta phase transition conjectured to occur when the bandwidth of an $N \times N$ symmetric banded matrix grows like $\sqrt N$ is observable as a critical point in the fourth moment of the level density for a wide class of symmetric banded matrices. A second critical point when the bandwidth grows like ${2 \over 5} N$ leads to a new conjectured phase transition in the eigenvalue localization, whose existence we demonstrate in numerical experiments. △ Less

Submitted 20 March, 2017; originally announced March 2017.

MSC Class: 60B20

Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory

Authors: Andrew Swan

Abstract: The existence of least finite support is used throughout the subject of nominal sets. In this paper we give some Brouwerian counterexamples showing that constructively, least finite support does not always exist and in fact can be quite badly behaved. On this basis we reinforce the point that when working constructively with nominal sets the use of least finite support should be avoided. Moreover… ▽ More The existence of least finite support is used throughout the subject of nominal sets. In this paper we give some Brouwerian counterexamples showing that constructively, least finite support does not always exist and in fact can be quite badly behaved. On this basis we reinforce the point that when working constructively with nominal sets the use of least finite support should be avoided. Moreover our examples suggest that this problem can't be fixed by requiring nominal sets to have least finite support by definition or by using the notion of subfinite instead of finite. △ Less

Submitted 6 February, 2017; originally announced February 2017.

MSC Class: 03F55

Band Gap Engineering with Ultralarge Biaxial Strains in Suspended Monolayer MoS2

Authors: David Lloyd, Xinghui Liu, Jason W. Christopher, Lauren Cantley, Anubhav Wadehra, Brian L. Kim, Bennett B. Goldberg, Anna K. Swan, J. Scott Bunch

Abstract: We demonstrate the continuous and reversible tuning of the optical band gap of suspended monolayer MoS2 membranes by as much as 500 meV by applying very large biaxial strains. By using chemical vapor deposition (CVD) to grow crystals that are highly impermeable to gas, we are able to apply a pressure difference across suspended membranes to induce biaxial strains. We observe the effect of strain o… ▽ More We demonstrate the continuous and reversible tuning of the optical band gap of suspended monolayer MoS2 membranes by as much as 500 meV by applying very large biaxial strains. By using chemical vapor deposition (CVD) to grow crystals that are highly impermeable to gas, we are able to apply a pressure difference across suspended membranes to induce biaxial strains. We observe the effect of strain on the energy and intensity of the peaks in the photoluminescence (PL) spectrum, and find a linear tuning rate of the optical band gap of 99 meV/%. This method is then used to study the PL spectra of bilayer and trilayer devices under strain, and to find the shift rates and Grüneisen parameters of two Raman modes in monolayer MoS2. Finally, we use this result to show that we can apply biaxial strains as large as 5.6% across micron sized areas, and report evidence for the strain tuning of higher level optical transitions. △ Less

Submitted 15 August, 2016; originally announced August 2016.

Comments: Nano Lett., Article ASAP