-
Computable Gelfand Duality
Authors:
Peter Burton,
Christopher J. Eagle,
Alec Fox,
Isaac Goldbring,
Matthew Harrison-Trainor,
Timothy H. McNicholl,
Alexander Melnikov,
Teerawat Thewmorakot
Abstract:
We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.
We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.
△ Less
Submitted 20 March, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
2FHLJ1745.1-3035: A Newly Discovered, Powerful Pulsar Wind Nebula Candidate
Authors:
Stefano Marchesi,
Jordan Eagle,
Marco Ajello,
Daniel Castro,
Alberto Dominguez,
Kaya Mori,
Luigi Tibaldo,
John Tomsick,
Alberto Traina,
Cristian Vignali,
Roberta Zanin
Abstract:
We present a multi-epoch, multi-observatory X-ray analysis for 2FHL J1745.1-3035, a newly discovered very high energy Galactic source detected by the Fermi Large Area Telescope (LAT) located in close proximity to the Galactic Center (l=358.5319°; b=-0.7760°). The source shows a very hard gamma-ray photon index above 50 GeV, Gamma_gamma=1.2+-0.4, and is found to be a TeV-emitter by the LAT. We cond…
▽ More
We present a multi-epoch, multi-observatory X-ray analysis for 2FHL J1745.1-3035, a newly discovered very high energy Galactic source detected by the Fermi Large Area Telescope (LAT) located in close proximity to the Galactic Center (l=358.5319°; b=-0.7760°). The source shows a very hard gamma-ray photon index above 50 GeV, Gamma_gamma=1.2+-0.4, and is found to be a TeV-emitter by the LAT. We conduct a joint XMM-Newton, Chandra and NuSTAR observing campaign, combining archival XMM-Newton observations, to study the X-ray spectral properties of 2FHL J1745.1-3035 over a time-span of over 20 years. The joint X-ray spectrum is best-fitted as a broken power law model with break energy E_b~7 keV: the source is very hard at energies below 10 keV, with photon index Gamma_1~0.6, and significantly softer in the higher energy range measured by NuSTAR with photon index Gamma_2~1.9. We also perform a spatially resolved X-ray analysis with Chandra, finding evidence for marginal extension (up to an angular size r~5 arcsec), a result that supports a compact pulsar wind nebula scenario. Based on the X-ray and gamma-ray properties, 2FHL J1745.1-3035 is a powerful pulsar wind nebula candidate. Given its nature as an extreme TeV emitter, further supported by the detection of a coincident TeV extended source HESS J1745-303, 2FHL J1745.1-3035 is an ideal candidate for a follow-up with the upcoming Cherenkov Telescope Array.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Relative topological principality and the ideal intersection property for groupoid C*-algebras
Authors:
Chris J. Eagle,
Gavin Goerke,
Marcelo Laca
Abstract:
We introduce the notion of relative topological principality for a family $\{H_α\}$ of open subgroupoids of a Hausdorff étale groupoid $G$. The C*-algebras $C^*_r(H_α)$ of the groupoids $H_α$ embed in $ C^*_r(G)$ and we show that if $G$ is topologically principal relative to $\{H_α\}$ then a representation of $C^*_r(G)$ is faithful if and only if its restriction to each of the subalgebras…
▽ More
We introduce the notion of relative topological principality for a family $\{H_α\}$ of open subgroupoids of a Hausdorff étale groupoid $G$. The C*-algebras $C^*_r(H_α)$ of the groupoids $H_α$ embed in $ C^*_r(G)$ and we show that if $G$ is topologically principal relative to $\{H_α\}$ then a representation of $C^*_r(G)$ is faithful if and only if its restriction to each of the subalgebras $C^*_r(H_α)$ is faithful. This variant of the ideal intersection property potentially involves several subalgebras, and gives a new method of verifying injectivity of representations of reduced groupoid C*-algebras. As applications we prove a uniqueness theorem for Toeplitz C*-algebras of left cancellative small categories that generalizes a recent result of Laca and Sehnem for Toeplitz algebras of group-embeddable monoids, and we also discuss and compare concrete examples arising from integer arithmetic.
△ Less
Submitted 16 January, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
Chandra X-ray Observations of PSR J1849-0001, its Pulsar Wind Nebula, and the TeV Source HESS J1849-000
Authors:
Seth Gagnon,
Oleg Kargaltsev,
Noel Klingler,
Jeremy Hare,
Hui Yang,
Alexander Lange,
Jordan Eagle
Abstract:
We obtained a 108 ks Chandra X-ray Observatory (CXO) observation of PSR J1849-0001 and its pulsar wind nebula (PWN), coincident with the TeV source HESS J1849-000. By analyzing the new and archival CXO data, we resolved the pulsar from the PWN, explored the PWN morphology on arcsecond and arcminute scales, and measured the spectra of different regions of the PWN. Both the pulsar and the compact in…
▽ More
We obtained a 108 ks Chandra X-ray Observatory (CXO) observation of PSR J1849-0001 and its pulsar wind nebula (PWN), coincident with the TeV source HESS J1849-000. By analyzing the new and archival CXO data, we resolved the pulsar from the PWN, explored the PWN morphology on arcsecond and arcminute scales, and measured the spectra of different regions of the PWN. Both the pulsar and the compact inner PWN spectra are hard with power-law photon indices of $1.20 \pm 0.07$ and $1.49 \pm 0.20$, respectively. The jet-dominiated PWN has a relatively low luminosity, lack of gamma-ray pulsations, relatively hard and nonthermal spectrum of the pulsar, and sine-like pulse profile, which indicates a relatively small angle between the pulsar's spin and magnetic dipole axis. In this respect, it shares similar properties with a few other so-called MeV pulsars. Although the joint X-ray and TeV spectral energy distribution can be roughly described by a single-zone model, the obtained magnetic field value is unrealistically low. A more realistic scenario is the presence of a relic PWN, no longer emitting synchrotron X-rays but still radiating in TeV via inverse-Compton upscattering. We calso serendipitously detected surprisingly bright X-ray emission from a very wide binary whose components should not be interacting.
△ Less
Submitted 28 June, 2024; v1 submitted 22 November, 2023;
originally announced November 2023.
-
The High Energy X-ray Probe (HEX-P): Supernova remnants, pulsar wind nebulae, and nuclear astrophysics
Authors:
Stephen Reynolds,
Hongjun An,
Moaz Abdelmaguid,
Jason Alford,
Chris L. Fryer,
Kaya Mori,
Melania Nynka,
Jaegeun Park,
Yukikatsu Terada,
Jooyun Woo,
Aya Bamba,
Priyadarshini Bangale,
Rebecca Diesing,
Jordan Eagle,
Stefano Gabici,
Joseph Gelfand,
Brian Grefenstette,
Javier Garcia,
Chanho Kim,
Sajan Kumar,
Brydyn Mac Intyre,
Kristin Madsen,
Silvia Manconi,
Yugo Motogami,
Hayato Ohsumi
, et al. (7 additional authors not shown)
Abstract:
HEX-P is a probe-class mission concept that will combine high spatial resolution X-ray imaging ($<10"$ full width at half maximum) and broad spectral coverage (0.2--80 keV) with an effective area far superior to current facilities (including XMM-Newton and NuSTAR) to enable revolutionary new insights into a variety of important astrophysical problems. HEX-P is ideally suited to address important p…
▽ More
HEX-P is a probe-class mission concept that will combine high spatial resolution X-ray imaging ($<10"$ full width at half maximum) and broad spectral coverage (0.2--80 keV) with an effective area far superior to current facilities (including XMM-Newton and NuSTAR) to enable revolutionary new insights into a variety of important astrophysical problems. HEX-P is ideally suited to address important problems in the physics and astrophysics of supernova remnants (SNRs) and pulsar-wind nebulae (PWNe). For shell SNRs, HEX-P can greatly improve our understanding via more accurate spectral characterization and localization of non-thermal X-ray emission from both non-thermal-dominated SNRs and those containing both thermal and non-thermal components, and can discover previously unknown non-thermal components in SNRs. Multi-epoch HEX-P observations of several young SNRs (e.g., Cas A and Tycho) are expected to detect year-scale variabilities of X-ray filaments and knots, thus enabling us to determine fundamental parameters related to diffusive shock acceleration, such as local magnetic field strengths and maximum electron energies. For PWNe, HEX-P will provide spatially-resolved, broadband X-ray spectral data separately from their pulsar emission, allowing us to study how particle acceleration, cooling, and propagation operate in different evolution stages of PWNe. HEX-P is also poised to make unique and significant contributions to nuclear astrophysics of Galactic radioactive sources by improving detections of, or limits on, $^{44}$Ti in the youngest SNRs and by potentially discovering rare nuclear lines as evidence of double neutron star mergers. Throughout the paper, we present simulations of each class of objects, demonstrating the power of both the imaging and spectral capabilities of HEX-P to advance our knowledge of SNRs, PWNe, and nuclear astrophysics.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
The High Energy X-ray Probe (HEX-P): Galactic PeVatrons, star clusters, superbubbles, microquasar jets, and gamma-ray binaries
Authors:
Kaya Mori,
Stephen Reynolds,
Hongjun An,
Aya Bamba,
Roman Krivonos,
Naomi Tsuji,
Moaz Abdelmaguid,
Jason Alford,
Priyadarshini Bangale,
Silvia Celli,
Rebecca Diesing,
Jordan Eagle,
Chris L. Fryer,
Stefano Gabici,
Joseph Gelfand,
Brian Grefenstette,
Javier Garcia,
Chanho Kim,
Sajan Kumar,
Ekaterina Kuznetsova,
Brydyn Mac Intyre,
Kristin Madsen,
Silvia Manconi,
Yugo Motogami,
Hayato Ohsumi
, et al. (10 additional authors not shown)
Abstract:
HEX-P is a probe-class mission concept that will combine high spatial resolution X-ray imaging (<10" FWHM) and broad spectral coverage (0.2-80 keV) with an effective area far superior to current facilities (including XMM-Newton and NuSTAR) to enable revolutionary new insights into a variety of important astrophysical problems. With the recent discoveries of over 40 ultra-high-energy gamma-ray sour…
▽ More
HEX-P is a probe-class mission concept that will combine high spatial resolution X-ray imaging (<10" FWHM) and broad spectral coverage (0.2-80 keV) with an effective area far superior to current facilities (including XMM-Newton and NuSTAR) to enable revolutionary new insights into a variety of important astrophysical problems. With the recent discoveries of over 40 ultra-high-energy gamma-ray sources (detected above 100 TeV) and neutrino emission in the Galactic Plane, we have entered a new era of multi-messenger astrophysics facing the exciting reality of Galactic PeVatrons. In the next decade, as more Galactic PeVatrons and TeV gamma-ray sources are expected to be discovered, the identification of their acceleration and emission mechanisms will be the most pressing issue in both particle and high-energy astrophysics. In this paper, along with its companion papers (Reynolds et al. 2023, Mori et al. 2023), we will present that HEX-P is uniquely suited to address important problems in various cosmic-ray accelerators, including Galactic PeVatrons, through investigating synchrotron X-ray emission of TeV-PeV electrons produced by both leptonic and hadronic processes.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Fermi-LAT detection of the supernova remnant G312.4-0.4 in the vicinity of 4FGL J1409.1-6121e
Authors:
Pauline Chambery,
Marianne Lemoine-Goumard,
Armelle Jardin-Blicq,
Atreyee Sinha,
J. Eagle
Abstract:
Gamma-ray emission provides constraints on the non-thermal radiation processes at play in astrophysical particle accelerators. This allows both the nature of accelerated particles and the maximum energy that they can reach to be determined. Notably, it remains an open question to what extent supernova remnants (SNRs) contribute to the sea of Galactic cosmic rays. In the Galactic plane, at around 3…
▽ More
Gamma-ray emission provides constraints on the non-thermal radiation processes at play in astrophysical particle accelerators. This allows both the nature of accelerated particles and the maximum energy that they can reach to be determined. Notably, it remains an open question to what extent supernova remnants (SNRs) contribute to the sea of Galactic cosmic rays. In the Galactic plane, at around 312° of Galactic longitude, Fermi-LAT observations show an extended source (4FGL J1409.1-6121e) around five powerful pulsars. This source is described by one large disk of 0.7° radius with a high significance of 45 sigma in the 4FGL-DR3 catalog. Using 14 years of Fermi-LAT observations, we revisited this region with a detailed spectro-morphological analysis in order to disentangle its underlying structure. Three sources have been distinguished, including the supernova remnant G312.4-0.4 whose gamma-ray emission correlates well with the shell observed at radio energies. The hard spectrum detected by the LAT, extending up to 100 GeV without any sign of cut-off, is well reproduced by a purely hadronic model.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
$K$-theory of co-existentially closed continua
Authors:
Christopher J. Eagle,
Joshua Lau
Abstract:
We describe the possible values of $K$-theory for $C(X)$ when $X$ is a co-existentially closed continuum. As a consequence we also show that all pseudo-solenoids, except perhaps the universal one, are not co-existentially closed.
We describe the possible values of $K$-theory for $C(X)$ when $X$ is a co-existentially closed continuum. As a consequence we also show that all pseudo-solenoids, except perhaps the universal one, are not co-existentially closed.
△ Less
Submitted 23 January, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
Fermi-LAT Gamma-ray Emission Discovered from the Composite Supernova Remnant B0453-685 in the Large Magellanic Cloud
Authors:
Jordan Eagle,
Daniel Castro,
Peter Mahhov,
Joseph Gelfand,
Matthew Kerr,
Patrick Slane,
Jean Ballet,
Fabio Acero,
Samayra Straal,
Marco Ajello
Abstract:
We report the second extragalactic pulsar wind nebula (PWN) to be detected in the MeV-GeV band by the Fermi-LAT, located within the Large Magellanic Cloud (LMC). The only other known PWN to emit in the Fermi band outside of the Milky Way Galaxy is N 157B which lies to the west of the newly detected gamma-ray emission at an angular distance of 4 degrees. Faint, point-like gamma-ray emission is disc…
▽ More
We report the second extragalactic pulsar wind nebula (PWN) to be detected in the MeV-GeV band by the Fermi-LAT, located within the Large Magellanic Cloud (LMC). The only other known PWN to emit in the Fermi band outside of the Milky Way Galaxy is N 157B which lies to the west of the newly detected gamma-ray emission at an angular distance of 4 degrees. Faint, point-like gamma-ray emission is discovered at the location of the composite supernova remnant (SNR) B0453-685 with a ~ 4 sigma significance from energies 300 MeV - 2 TeV. We present the Fermi-LAT data analysis of the new gamma-ray source, coupled with a detailed multi-wavelength investigation to understand the nature of the observed emission. Combining the observed characteristics of the SNR and the physical implications from broadband modeling, we argue it is unlikely the SNR is responsible for the gamma-ray emission. While the gamma-ray emission is too faint for a pulsation search, we try to distinguish between any pulsar and PWN component of SNR B0453-685 that would be responsible for the observed gamma-ray emission using semi-analytic models. We determine the most likely scenario is that the old PWN (t ~ 14,000 years) within B0453-685 has been impacted by the return of the SNR reverse shock with a possible substantial pulsar component below 5 GeV.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
MeV-GeV Gamma-ray Emission from SNR G327.1-1.1 Discovered by the Fermi-LAT
Authors:
Jordan Eagle,
Daniel Castro,
Tea Temim,
Jean Ballet,
Patrick Slane,
Joseph Gelfand,
Matthew Kerr,
Marco Ajello
Abstract:
We report the discovery of MeV-GeV gamma-ray emission by the Fermi-LAT positionally coincident with the TeV pulsar wind nebula (PWN) HESS~J1554-550 within the host supernova remnant (SNR) G327.1-1.1. The gamma-ray emission is point-like and faint but significant (> 4 sigma) in the 300MeV-2TeV energy range. We report here the Fermi-LAT analysis of the observed gamma-ray emission followed by a detai…
▽ More
We report the discovery of MeV-GeV gamma-ray emission by the Fermi-LAT positionally coincident with the TeV pulsar wind nebula (PWN) HESS~J1554-550 within the host supernova remnant (SNR) G327.1-1.1. The gamma-ray emission is point-like and faint but significant (> 4 sigma) in the 300MeV-2TeV energy range. We report here the Fermi-LAT analysis of the observed gamma-ray emission followed by a detailed multiwavelength investigation to understand the nature of the emission. The central pulsar powering the PWN within G327.1-1.1 has not been detected in any waveband; however, it is likely embedded within the X-ray nebula, which is displaced from the center of the radio nebula. The gamma-ray emission is faint and therefore a pulsation search to determine if the pulsar may be contributing is not feasible. Prior detailed multiwavelength reports revealed an SNR system that is old, tau ~ 18,000yrs, where the interaction of the reverse shock with the PWN is underway or has recently occurred. We find that the gamma-ray emission agrees remarkably well with a detailed broadband model constructed in a prior report based on independent hydrodynamical and semi-analytic simulations of an evolved PWN. We further investigate the physical implications of the model for the PWN evolutionary stage incorporating the new Fermi-LAT data and attempt to model the distinct particle components based on a spatial separation analysis of the displaced PWN counterparts.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
Discovery of GeV gamma-ray emission from PWN Kes 75 and PSR J1846-0258
Authors:
Samayra M. Straal,
Joseph D. Gelfand,
Jordan L. Eagle
Abstract:
We report the detection of gamma-ray emission from PWN Kes 75 and PSR J1846-0258. Through modeling the spectral energy distribution incorporating the new Fermi-LAT data, we find the the observed gamma-ray emission is likely a combination of both the PWN and pulsar magnetosphere. The spectral shape of this magnetospheric emission is similar to the gamma-ray spectrum of rotation powered pulsars dete…
▽ More
We report the detection of gamma-ray emission from PWN Kes 75 and PSR J1846-0258. Through modeling the spectral energy distribution incorporating the new Fermi-LAT data, we find the the observed gamma-ray emission is likely a combination of both the PWN and pulsar magnetosphere. The spectral shape of this magnetospheric emission is similar to the gamma-ray spectrum of rotation powered pulsars detected by Fermi-LAT and the results from our best-fit model suggest the pulsar's magnetospheric emission accounts for 1% of the current spin-down luminosity. Prior works attempted to characterize the properties of this system and found a low supernova explosion energy and low SN ejecta mass. We re-analyze the broadband emission incorporating the new Fermi emission and compare the implications of our results to prior reports. The best-fit gamma-ray emission model suggests a second very hot photon field possibly generated by the stellar wind of a Wolf-Rayet star embedded within the nebula, which supports the low ejecta mass found for the progenitor in prior reports and here in the scenario of binary mass transfer.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
The Pursuit for Gamma-ray Emitting Pulsar Wind Nebulae with the Fermi-Large Area Telescope
Authors:
Jordan Lynn Eagle
Abstract:
There are at least 125 Galactic pulsar wind nebulae (PWNe) that have been discovered from radio wavelengths to TeV gamma-rays, the majority of which were first identified in radio or X-ray surveys. An increasing number of PWNe are being identified in the TeV band by ground-based air Cherenkov Telescopes such as HESS, MAGIC, and VERITAS such that they constitute the dominant source class of Galacti…
▽ More
There are at least 125 Galactic pulsar wind nebulae (PWNe) that have been discovered from radio wavelengths to TeV gamma-rays, the majority of which were first identified in radio or X-ray surveys. An increasing number of PWNe are being identified in the TeV band by ground-based air Cherenkov Telescopes such as HESS, MAGIC, and VERITAS such that they constitute the dominant source class of Galactic TeV emitters. Combining available MeV-GeV data with observations in the TeV band is critical for precise characterization of high-energy emission from the relativistic particle population in PWNe, thus revealing the capability to produce a significant fraction of the detected Galactic CR flux. However, MeV-GeV PWN counterparts are still largely lacking even after 12 years of continuous observation of the entire sky. Less than a dozen PWNe are currently identified by the Fermi-LAT in the MeV-GeV band. Most PWNe are located along the Galactic plane embedded within the prominent, diffuse Galactic gamma-ray emission, which makes these sources difficult to disentangle from the bright diffuse background. We present a systematic search for gamma-ray counterparts to known PWNe in the 300MeV - 2TeV energy band using 11.5 years of Fermi-LAT data. For the first part of this search, we target the locations of PWNe previously identified across the electromagnetic spectrum that are not powered by pulsars previously detected by the Fermi-LAT as pulsating gamma-ray signals, which includes 6 Fermi PWNe and 7 Fermi PWN associations. We report the analysis of 58 total regions of interest and provide all firm and tentative detections along with their morphological and spectral characteristics. There are 11 unidentified gamma-ray sources that we classify as firm PWN counterparts, which doubles the PWN population detected by the Fermi-LAT, and 22 gamma-ray sources that are PWN candidates.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
An undecidable extension of Morley's theorem on the number of countable models
Authors:
Christopher J. Eagle,
Clovis Hamel,
Sandra Müller,
Franklin D. Tall
Abstract:
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory.
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory.
△ Less
Submitted 5 July, 2023; v1 submitted 15 July, 2021;
originally announced July 2021.
-
Model theoretic properties of dynamics on the Cantor set
Authors:
Christopher J. Eagle,
Alan Getz
Abstract:
We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of "generic" used by A…
▽ More
We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of "generic" used by Akin, Glasner, and Weiss is distinct from the notion of "generic" encountered in Fraisse theory.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Gamma-ray emission revealed at the western edge of SNR G344.7-0.1
Authors:
J. Eagle,
S. Marchesi,
M. Ajello,
D. Castro,
A. Vendrasco
Abstract:
We report on the investigation of a very high energy (VHE), Galactic gamma-ray source recently discovered at >50GeV using the Large Area Telescope (LAT) on board the Fermi Gamma-Ray Space Telescope. This object, 2FHL J1703.4-4145, displays a very hard >50GeV spectrum with a photon index ~1.2 in the 2FHL catalog and, as such, is one of the most extreme sources in the 2FHL sub-sample of Galactic obj…
▽ More
We report on the investigation of a very high energy (VHE), Galactic gamma-ray source recently discovered at >50GeV using the Large Area Telescope (LAT) on board the Fermi Gamma-Ray Space Telescope. This object, 2FHL J1703.4-4145, displays a very hard >50GeV spectrum with a photon index ~1.2 in the 2FHL catalog and, as such, is one of the most extreme sources in the 2FHL sub-sample of Galactic objects. A detailed analysis of the available multi-wavelength data shows that this source is located on the western edge of the supernova remnant (SNR) G344.7--0.1, along with extended TeV source, HESS J1702-420. The observations and the spectral energy distribution modeling support a scenario where this gamma-ray source is the byproduct of the interaction between the SNR shock and the dense surrounding medium, with esca** cosmic rays (CRs) diffusing into the dense environment and interacting with a large local cloud, generating the observed TeV emission. If confirmed, an interaction between the SNR CRs and a nearby cloud would make 2FHL J1703.4-4145 another promising candidate for efficient particle acceleration of the 2FHL Galactic sample, following the first candidate from our previous investigation of a likely shock-cloud interaction occurring on the West edge of the Vela SNR.
△ Less
Submitted 5 October, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras
Authors:
Christopher J. Eagle,
Todd Schmid
Abstract:
Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the Cantor set. We show that, among finite dimensional C*-algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbo…
▽ More
Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the Cantor set. We show that, among finite dimensional C*-algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbols: One for minimal projections, and one for pairs of unitarily conjugate projections. Both of these predicates are definable, but not quantifier-free definable, in the usual language of C*-algebras. We also show that adding just the predicate for minimal projections is sufficient in the case of full matrix algebras, but that in general both new predicate symbols are required.
△ Less
Submitted 30 May, 2019; v1 submitted 28 May, 2019;
originally announced May 2019.
-
2FHL J0826.1-4500: Discovery of a possible shock-cloud interaction on the Western edge of the Vela SNR
Authors:
Jordan Eagle,
Stefano Marchesi,
Daniel Castro,
Marco Ajello,
Laura Duvidovich,
Luigi Tibaldo
Abstract:
We report on the investigation of a very high energy (VHE), Galactic gamma-ray source recently discovered at >50GeV using the Large Area Telescope (LAT) on board the Fermi-LAT. This object, 2FHL J0826.1-4500, displays one of the hardest >50GeV spectra (gamma-ray photon index ~1.6) in the 2FHL catalog, and a follow-up observation with XMM-Newton has uncovered diffuse, soft thermal emission at the p…
▽ More
We report on the investigation of a very high energy (VHE), Galactic gamma-ray source recently discovered at >50GeV using the Large Area Telescope (LAT) on board the Fermi-LAT. This object, 2FHL J0826.1-4500, displays one of the hardest >50GeV spectra (gamma-ray photon index ~1.6) in the 2FHL catalog, and a follow-up observation with XMM-Newton has uncovered diffuse, soft thermal emission at the position of the gamma-ray source. A detailed analysis of the available multi-wavelength data shows that this source is located on the Western edge of the Vela supernova remnant (SNR): the observations and the spectral energy distribution modelling support a scenario where this gamma-ray source is the byproduct of the interaction between the SNR shock and a neutral Hydrogen cloud. If confirmed, this shock-cloud interaction would make 2FHL J0826.1-4500 a promising candidate for efficient particle acceleration.
△ Less
Submitted 5 October, 2020; v1 submitted 14 November, 2018;
originally announced November 2018.
-
Omitting Types and the Baire Category Theorem
Authors:
Christopher J. Eagle,
Franklin D. Tall
Abstract:
The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category…
▽ More
The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category conditions, and hence stronger Omitting Types Theorems, including a game version. We use examples of spaces previously studied in set-theoretic topology to produce abstract logics showing that the game Omitting Types statement is consistently not equivalent to the classical one.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
Expressive power of infinitary [0, 1]-valued logics
Authors:
Christopher J. Eagle
Abstract:
We consider model-theoretic properties related to the expressive power of three analogues of $L_{ω_1, ω}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the other two, but also show that all three have the same elementary equivalence relation for complete separable metric structures. We then prove that a continuous function on…
▽ More
We consider model-theoretic properties related to the expressive power of three analogues of $L_{ω_1, ω}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the other two, but also show that all three have the same elementary equivalence relation for complete separable metric structures. We then prove that a continuous function on a complete separable metric structure is automorphism invariant if and only if it is definable in the more expressive logic. Several of our results are related to the existence of Scott sentences for complete separable metric structures.
△ Less
Submitted 9 August, 2017; v1 submitted 2 December, 2015;
originally announced December 2015.
-
The pseudoarc is a co-existentially closed continuum
Authors:
Christopher J. Eagle,
Isaac Goldbring,
Alessandro Vignati
Abstract:
Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg.
Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the first and third named authors and Farah and Kirchberg.
△ Less
Submitted 15 March, 2016; v1 submitted 11 March, 2015;
originally announced March 2015.
-
Quantifier elimination in C*-algebras
Authors:
Christopher J. Eagle,
Ilijas Farah,
Eberhard Kirchberg,
Alessandro Vignati
Abstract:
The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$.
The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$.
△ Less
Submitted 4 October, 2016; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Fraïssé limits of C*-algebras
Authors:
Christopher J. Eagle,
Ilijas Farah,
Bradd Hart,
Boris Kadets,
Vladyslav Kalashnyk,
Martino Lupini
Abstract:
We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.
We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.
△ Less
Submitted 14 November, 2016; v1 submitted 14 November, 2014;
originally announced November 2014.
-
Saturation and elementary equivalence of C*-algebras
Authors:
Christopher J. Eagle,
Alessandro Vignati
Abstract:
We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $σ$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$σ$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is…
▽ More
We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $σ$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$σ$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is $0$-dimensional, to topological properties of $X$, particularly the saturation of $CL(X)$.
△ Less
Submitted 12 March, 2015; v1 submitted 18 June, 2014;
originally announced June 2014.
-
Omitting types for infinitary [0, 1]-valued logic
Authors:
Christopher J. Eagle
Abstract:
We describe an infinitary logic for metric structures which is analogous to $L_{ω_1, ω}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yie…
▽ More
We describe an infinitary logic for metric structures which is analogous to $L_{ω_1, ω}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yields a strengthening of a result of Ben Yaacov and Iovino concerning separable quotients of Banach spaces.
△ Less
Submitted 30 May, 2019; v1 submitted 18 April, 2013;
originally announced April 2013.
