Showing 1–50 of 319 results for author: Wolf, A

Probing the connection between IceCube neutrinos and MOJAVE AGN

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (399 additional authors not shown)

Abstract: Active Galactic Nuclei (AGN) are prime candidate sources of the high-energy, astrophysical neutrinos detected by IceCube. This is demonstrated by the real-time multi-messenger detection of the blazar TXS 0506+056 and the recent evidence of neutrino emission from NGC 1068 from a separate time-averaged study. However, the production mechanism of the astrophysical neutrinos in AGN is not well establi… ▽ More Active Galactic Nuclei (AGN) are prime candidate sources of the high-energy, astrophysical neutrinos detected by IceCube. This is demonstrated by the real-time multi-messenger detection of the blazar TXS 0506+056 and the recent evidence of neutrino emission from NGC 1068 from a separate time-averaged study. However, the production mechanism of the astrophysical neutrinos in AGN is not well established which can be resolved via correlation studies with photon observations. For neutrinos produced due to photohadronic interactions in AGN, in addition to a correlation of neutrinos with high-energy photons, there would also be a correlation of neutrinos with photons emitted at radio wavelengths. In this work, we perform an in-depth stacking study of the correlation between 15 GHz radio observations of AGN reported in the MOJAVE XV catalog, and ten years of neutrino data from IceCube. We also use a time-dependent approach which improves the statistical power of the stacking analysis. No significant correlation was found for both analyses and upper limits are reported. When compared to the IceCube diffuse flux, at 100 TeV and for a spectral index of 2.5, the upper limits derived are $\sim3\%$ and $\sim9\%$ for the time-averaged and time-dependent case, respectively. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 14 Pages 7 Figures

Search for a light sterile neutrino with 7.5 years of IceCube DeepCore data

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (399 additional authors not shown)

Abstract: We present a search for an eV-scale sterile neutrino using 7.5 years of data from the IceCube DeepCore detector. The analysis uses a sample of 21,914 events with energies between 5 and 150 GeV to search for sterile neutrinos through atmospheric muon neutrino disappearance. Improvements in event selection and treatment of systematic uncertainties provide greater statistical power compared to previo… ▽ More We present a search for an eV-scale sterile neutrino using 7.5 years of data from the IceCube DeepCore detector. The analysis uses a sample of 21,914 events with energies between 5 and 150 GeV to search for sterile neutrinos through atmospheric muon neutrino disappearance. Improvements in event selection and treatment of systematic uncertainties provide greater statistical power compared to previous DeepCore sterile neutrino searches. Our results are compatible with the absence of mixing between active and sterile neutrino states, and we place constraints on the mixing matrix elements $|U_{μ4}|^2 < 0.0534$ and $|U_{τ4}|^2 < 0.0574$ at 90% CL under the assumption that $Δm^2_{41}\geq 1\;\mathrm{eV^2}$. These null results add to the growing tension between anomalous appearance results and constraints from disappearance searches in the 3+1 sterile neutrino landscape. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 11 pages, 5 figures. To be submitted to Physical Review D

IceCube Search for Neutrino Emission from X-ray Bright Seyfert Galaxies

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (400 additional authors not shown)

Abstract: The recent IceCube detection of TeV neutrino emission from the nearby active galaxy NGC 1068 suggests that active galactic nuclei (AGN) could make a sizable contribution to the diffuse flux of astrophysical neutrinos. The absence of TeV $γ$-rays from NGC 1068 indicates neutrino production in the vicinity of the supermassive black hole, where the high radiation density leads to $γ$-ray attenuation.… ▽ More The recent IceCube detection of TeV neutrino emission from the nearby active galaxy NGC 1068 suggests that active galactic nuclei (AGN) could make a sizable contribution to the diffuse flux of astrophysical neutrinos. The absence of TeV $γ$-rays from NGC 1068 indicates neutrino production in the vicinity of the supermassive black hole, where the high radiation density leads to $γ$-ray attenuation. Therefore, any potential neutrino emission from similar sources is not expected to correlate with high-energy $γ$-rays. Disk-corona models predict neutrino emission from Seyfert galaxies to correlate with keV X-rays, as they are tracers of coronal activity. Using through-going track events from the Northern Sky recorded by IceCube between 2011 and 2021, we report results from a search for individual and aggregated neutrino signals from 27 additional Seyfert galaxies that are contained in the BAT AGN Spectroscopic Survey (BASS). Besides the generic single power-law, we evaluate the spectra predicted by the disk-corona model. Assuming all sources to be intrinsically similar to NGC 1068, our findings constrain the collective neutrino emission from X-ray bright Seyfert galaxies in the Northern Hemisphere, but, at the same time, show excesses of neutrinos that could be associated with the objects NGC 4151 and CGCG 420-015. These excesses result in a 2.7$σ$ significance with respect to background expectations. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 17 pages, 9 figures

Search for neutrino emission from hard X-ray AGN with IceCube

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (401 additional authors not shown)

Abstract: Active Galactic Nuclei (AGN) are promising candidate sources of high-energy astrophysical neutrinos since they provide environments rich in matter and photon targets where cosmic ray interactions may lead to the production of gamma rays and neutrinos. We searched for high-energy neutrino emission from AGN using the $\textit{Swift}$-BAT Spectroscopic Survey (BASS) catalog of hard X-ray sources and… ▽ More Active Galactic Nuclei (AGN) are promising candidate sources of high-energy astrophysical neutrinos since they provide environments rich in matter and photon targets where cosmic ray interactions may lead to the production of gamma rays and neutrinos. We searched for high-energy neutrino emission from AGN using the $\textit{Swift}$-BAT Spectroscopic Survey (BASS) catalog of hard X-ray sources and 12 years of IceCube muon track data. First, upon performing a stacked search, no significant emission was found. Second, we searched for neutrinos from a list of 43 candidate sources and found an excess from the direction of two sources, Seyfert galaxies NGC 1068 and NGC 4151. We observed NGC 1068 at flux $φ_{ν_μ+\barν_μ}$ = $4.02_{-1.52}^{+1.58} \times 10^{-11}$ TeV$^{-1}$ cm$^{-2}$ s$^{-1}$ normalized at 1 TeV, with power-law spectral index, $γ$ = 3.10$^{+0.26}_{-0.22}$, consistent with previous IceCube results. The observation of a neutrino excess from the direction of NGC 4151 is at a post-trial significance of 2.9$σ$. If interpreted as an astrophysical signal, the excess observed from NGC 4151 corresponds to a flux $φ_{ν_μ+\barν_μ}$ = $1.51_{-0.81}^{+0.99} \times 10^{-11}$ TeV$^{-1}$ cm$^{-2}$ s$^{-1}$ normalized at 1 TeV and $γ$ = 2.83$^{+0.35}_{-0.28}$. △ Less

Submitted 12 June, 2024; v1 submitted 10 June, 2024; originally announced June 2024.

Simulation Models for Exploring Magnetic Reconnection

Authors: Michael Shay, Subash Adhikari, Naoki Beesho, Joachim Birn, Jorg Buechner, Paul Cassak, Li-Jen Chen, Yuxi Chen, Giulia Cozzani, Jim Drake, Fan Guo, Michael Hesse, Neeraj Jain, Yann Pfau-Kempf, Yu Lin, Yi-Hsin Liu, Mitsuo Oka, Yuri A. Omelchenko, Minna Palmroth, Oreste Pezzi, Patricia H. Reiff, Marc Swisdak, Frank Toffoletto, Gabor Toth, Richard A. Wolf

Abstract: Simulations have played a critical role in the advancement of our knowledge of magnetic reconnection. However, due to the inherently multiscale nature of reconnection, it is impossible to simulate all physics at all scales. For this reason, a wide range of simulation methods have been crafted to study particular aspects and consequences of magnetic reconnection. This chapter reviews many of these… ▽ More Simulations have played a critical role in the advancement of our knowledge of magnetic reconnection. However, due to the inherently multiscale nature of reconnection, it is impossible to simulate all physics at all scales. For this reason, a wide range of simulation methods have been crafted to study particular aspects and consequences of magnetic reconnection. This chapter reviews many of these methods, laying out critical assumptions, numerical techniques, and giving examples of scientific results. Plasma models described include magnetohydrodynamics (MHD), Hall MHD, Hybrid, kinetic particle-in-cell (PIC), kinetic Vlasov, Fluid models with embedded PIC, Fluid models with direct feedback from energetic populations, and the Rice Convection Model (RCM). △ Less

Submitted 9 June, 2024; originally announced June 2024.

Comments: Chapter 5.2 of ISSI Book on Magnetic Reconnection, submitted to Space Science Reviews

Exploration of mass splitting and muon/tau mixing parameters for an eV-scale sterile neutrino with IceCube

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (400 additional authors not shown)

Abstract: We present the first three-parameter fit to a 3+1 sterile neutrino model using 7.634 years of data from the IceCube Neutrino Observatory on $ν_μ+\overlineν_μ$ charged-current interactions in the energy range 500-9976 GeV. Our analysis is sensitive to the mass-squared splitting between the heaviest and lightest mass state ($Δm_{41}^2$), the mixing matrix element connecting muon flavor to the fourth… ▽ More We present the first three-parameter fit to a 3+1 sterile neutrino model using 7.634 years of data from the IceCube Neutrino Observatory on $ν_μ+\overlineν_μ$ charged-current interactions in the energy range 500-9976 GeV. Our analysis is sensitive to the mass-squared splitting between the heaviest and lightest mass state ($Δm_{41}^2$), the mixing matrix element connecting muon flavor to the fourth mass state ($|U_{\mu4}|^2$), and the element connecting tau flavor to the fourth mass state ($|U_{\tau4}|^2$). Predicted propagation effects in matter enhance the signature through a resonance as atmospheric neutrinos from the Northern Hemisphere traverse the Earth to the IceCube detector at the South Pole. The result is consistent with the no-sterile neutrino hypothesis with a probability of 4.3 %. Profiling the likelihood of each parameter yields the 90 % confidence levels: $ 2.4\,\mathrm{eV}^{2} < Δm_{41}^2 <9.6\,\mathrm{eV}^{2} $ , $0.0081 < |U_{\mu4}|^2 < 0.10$ , and $|U_{\tau4}|^2< 0.035$, which narrows the allowed parameter-space for $|U_{\tau4}|^2$. However, the primary result of this analysis is the first map of the 3+1 parameter space exploring the interdependence of $Δm_{41}^2$, $|U_{\mu4}|^2$, and $|U_{\tau4}|^2$. △ Less

Submitted 2 June, 2024; originally announced June 2024.

Geminate Exciton Fusion Fluorescence as a Probe of Triplet Exciton Transport after Singlet Fission

Authors: Eric A. Wolf, Ivan Biaggio

Abstract: The geminate annihilation of two triplet excitons created by singlet exciton fission is affected by the dimensionality of transport as determined by typically anisotropic triplet exciton mobilities in organic molecular crystals. We analyze this process using a random-walk model where the time-dynamics of the geminate annihilation probability is determined by the average exciton hop** times along… ▽ More The geminate annihilation of two triplet excitons created by singlet exciton fission is affected by the dimensionality of transport as determined by typically anisotropic triplet exciton mobilities in organic molecular crystals. We analyze this process using a random-walk model where the time-dynamics of the geminate annihilation probability is determined by the average exciton hop** times along the crystallographic directions. The model is then applied to the geminate fluorescence dynamics in rubrene, where the main channel for triplet-triplet annihilation is via triplet fusion and subsequent photon emission, and we identify the transitions between transport in one, two, and three dimensions. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. B 103, L201201 (2021)

Quantum Beats of a Multiexciton State in Rubrene Single Crystals

Authors: Eric A. Wolf, Drew M. Finton, Vincent Zoutenbier, Ivan Biaggio

Abstract: We observe quantum beats in the nanosecond-scale photoluminescence decay of rubrene single crystals after photoexcitation with short laser pulses in a magnetic field of 0.1 to 0.3 T. The relative amplitude of the quantum beats is of the order of 5\%. Their frequency is $1.3$ GHz when the magnetic field is oriented parallel to the two-fold rotation axis of the rubrene molecules and decreases to… ▽ More We observe quantum beats in the nanosecond-scale photoluminescence decay of rubrene single crystals after photoexcitation with short laser pulses in a magnetic field of 0.1 to 0.3 T. The relative amplitude of the quantum beats is of the order of 5\%. Their frequency is $1.3$ GHz when the magnetic field is oriented parallel to the two-fold rotation axis of the rubrene molecules and decreases to $0.6$ GHz when the magnetic field is rotated to the crystal's molecular stacking direction. The amplitude of the quantum beats decays alongside the non-oscillatory photoluminescence background, which at low excitation densities has an exponential decay time of $ 4.0 \pm 0.2$~ns. We interpret this as the effective lifetime of a multiexciton state that originates from singlet-fission and can undergo geminate recombination back to the singlet state. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 4 pages, 4 figures

Journal ref: Appl. Phys. Lett. 112, 083301 (2018)

Methods and stability tests associated with the sterile neutrino search using improved high-energy $ν_μ$ event reconstruction in IceCube

Authors: IceCube Collaboration, R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise , et al. (398 additional authors not shown)

Abstract: We provide supporting details for the search for a 3+1 sterile neutrino using data collected over eleven years at the IceCube Neutrino Observatory. The analysis uses atmospheric muon-flavored neutrinos from 0.5 to 100\, TeV that traverse the Earth to reach the IceCube detector, and finds a best-fit point at $\sin^2(2θ_{24}) = 0.16$ and $Δm^{2}_{41} = 3.5$ eV$^2$ with a goodness-of-fit p-value of 1… ▽ More We provide supporting details for the search for a 3+1 sterile neutrino using data collected over eleven years at the IceCube Neutrino Observatory. The analysis uses atmospheric muon-flavored neutrinos from 0.5 to 100\, TeV that traverse the Earth to reach the IceCube detector, and finds a best-fit point at $\sin^2(2θ_{24}) = 0.16$ and $Δm^{2}_{41} = 3.5$ eV$^2$ with a goodness-of-fit p-value of 12\% and consistency with the null hypothesis of no oscillations to sterile neutrinos with a p-value of 3.1\%. Several improvements were made over past analyses, which are reviewed in this article, including upgrades to the reconstruction and the study of sources of systematic uncertainty. We provide details of the fit quality and discuss stability tests that split the data for separate samples, comparing results. We find that the fits are consistent between split data sets. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 18 pages, 17 figures, 2 tables. This long-form paper is a companion to the letter "A search for an eV-scale sterile neutrino using improved high-energy νμ event reconstruction in IceCube."

A search for an eV-scale sterile neutrino using improved high-energy $ν_μ$ event reconstruction in IceCube

Authors: IceCube Collaboration, R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise , et al. (398 additional authors not shown)

Abstract: This Letter presents the result of a 3+1 sterile neutrino search using 10.7 years of IceCube data. We analyze atmospheric muon neutrinos that traverse the Earth with energies ranging from 0.5 to 100 TeV, incorporating significant improvements in modeling neutrino flux and detector response compared to earlier studies. Notably, for the first time, we categorize data into starting and through-going… ▽ More This Letter presents the result of a 3+1 sterile neutrino search using 10.7 years of IceCube data. We analyze atmospheric muon neutrinos that traverse the Earth with energies ranging from 0.5 to 100 TeV, incorporating significant improvements in modeling neutrino flux and detector response compared to earlier studies. Notably, for the first time, we categorize data into starting and through-going events, distinguishing neutrino interactions with vertices inside or outside the instrumented volume, to improve energy resolution. The best-fit point for a 3+1 model is found to be at $\sin^2(2θ_{24}) = 0.16$ and $Δm^{2}_{41} = 3.5$ eV$^2$, which agrees with previous iterations of this study. The result is consistent with the null hypothesis of no sterile neutrinos with a p-value of 3.1\%. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 9 pages, 3 figures. This letter is supported by the long-form paper "Methods and stability tests associated with the sterile neutrino search using improved high-energy $ν_μ$ event reconstruction in IceCube," also appearing on arXiv

Quantum Error Correction for Kids

Authors: Richard A. Wolf

Abstract: No one should wait until college to get acquainted with core concepts of quantum information. Given the human bias of favouring the familiar over the unknown, early exposure to concepts of quantum information helps learners build stronger appetence for the field, as well as allowing them to develop an intuitive approach to it. In this work, I present an intuitive gamified approach to one of the co… ▽ More No one should wait until college to get acquainted with core concepts of quantum information. Given the human bias of favouring the familiar over the unknown, early exposure to concepts of quantum information helps learners build stronger appetence for the field, as well as allowing them to develop an intuitive approach to it. In this work, I present an intuitive gamified approach to one of the core concepts in quantum error correction: the stabiliser formalism. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: Extended abstract

MSC Class: 97 ACM Class: K.3.2

Autodetachment of diatomic carbon anions from long-lived high-rotation quartet states

Authors: Viviane C. Schmidt, Roman Čurík, Milan Ončák, Klaus Blaum, Sebastian George, Jürgen Göck, Manfred Grieser, Florian Grussie, Robert von Hahn, Claude Krantz, Holger Kreckel, Oldřich Novotný, Kaija Spruck, Andreas Wolf

Abstract: Highly excited C$_2{}^{-}$ ions prominently feature electron detachment at a mean decay time near 3 milliseconds with hitherto unexplained origin. Considering various sources of unimolecular decay, we attribute the signal to the electronic C$^4Σ^+_u$ state. Quartet C$_2{}^{-}$ levels are found to be stabilized against autodetachment by high rotation. Time constants of their rotationally assisted a… ▽ More Highly excited C$_2{}^{-}$ ions prominently feature electron detachment at a mean decay time near 3 milliseconds with hitherto unexplained origin. Considering various sources of unimolecular decay, we attribute the signal to the electronic C$^4Σ^+_u$ state. Quartet C$_2{}^{-}$ levels are found to be stabilized against autodetachment by high rotation. Time constants of their rotationally assisted autodetachment into levels opening energetically at lower rotation are calculated by a theory based on the non-local resonance model. For some final levels of significantly less rotation the results conclusively explain the puzzling observations. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: This is a letter of a joint submission aimed to Phys. Rev. Lett. with a companion paper in Phys. Rev. A. The title of the companion paper is: "Unimolecular processes in diatomic carbon anions at high rotational excitation"

Unimolecular processes in diatomic carbon anions at high rotational excitation

Authors: Viviane C. Schmidt, Roman Čurík, Milan Ončák, Klaus Blaum, Sebastian George, Jürgen Göck, Manfred Grieser, Florian Grussie, Robert von Hahn, Claude Krantz, Holger Kreckel, Oldřich Novotný, Kaija Spruck, Andreas Wolf

Abstract: On the millisecond to second time scale, stored beams of diatomic carbon anions C$_2{}^-$ from a sputter ion source feature unimolecular decay of yet unexplained origin by electron emission and fragmentation. To account for the magnitude and time dependence of the experimental rates, levels with high rotational and vibrational excitation are modeled for the lowest electronic states of C$_2{}^-$, a… ▽ More On the millisecond to second time scale, stored beams of diatomic carbon anions C$_2{}^-$ from a sputter ion source feature unimolecular decay of yet unexplained origin by electron emission and fragmentation. To account for the magnitude and time dependence of the experimental rates, levels with high rotational and vibrational excitation are modeled for the lowest electronic states of C$_2{}^-$, also including the lowest quartet potential. Energies, spontaneous radiative decay rates (including spin-forbidden quartet-level decay), and tunneling dissociation rates are determined for a large number of highly excited C$_2{}^-$ levels and their population in sputter-type ion sources is considered. For the quartet levels, the stability against autodetachment is addressed and recently calculated rates of rotationally assisted autodetachment are applied. Non-adiabatic vibrational autodetachment rates of high vibrational levels in the doublet C$_2{}^-$ ground potential are also calculated. The results are combined to model the experimental unimolecular decay signals. Comparison of the modeled to the experimental rates measured at the Croygenic Storage Ring (CSR) gives strong evidence that C$_2{}^-$ ions in quasi-stable levels of the quartet electronic states are the so far unidentified source of unimolecular decay. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: This is a longer and detailed paper of a joint submission aimed to Phys. Rev. A with a companion letter in Phys. Rev. Lett.. The title of the companion paper is: "Autodetachment of diatomic carbon anions from long-lived high-rotation quartet states"

Protocols to Code: Formal Verification of a Next-Generation Internet Router

Authors: João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, Adrian Perrig

Abstract: We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wide security properties and low-level properties of its implementation. More precisely, we develop a series of protocol models by refinement in Isabelle… ▽ More We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wide security properties and low-level properties of its implementation. More precisely, we develop a series of protocol models by refinement in Isabelle/HOL and we use an automated program verifier to prove that the router's Go code satisfies memory safety, crash freedom, freedom from data races, and adheres to the protocol model. Both verification efforts are soundly linked together. Our work demonstrates the feasibility of coherently verifying a critical network component from high-level protocol models down to performance-optimized production code, developed by an independent team. In the process, we uncovered critical bugs in both the protocol and its implementation, which were confirmed by the code developers, and we strengthened the protocol's security properties. This paper explains our approach, summarizes the main results, and distills lessons for the design and implementation of verifiable systems, for the handling of continuous changes, and for the verification techniques and tools employed. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Search for joint multimessenger signals from potential Galactic PeVatrons with HAWC and IceCube

Authors: R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez, D. Avila Rojas, H. A. Ayala Solares, R. Babu, E. Belmont-Moreno, K. S. Caballero-Mora, T. Capistrán, A. Carramiñana, S. Casanova, U. Cotti, J. Cotzomi, S. Coutiño de León, E. De la Fuente, D. Depaoli, N. Di Lalla, R. Diaz Hernandez, J. C. Díaz-Vélez, K. Engel, T. Ergin, K. L. Fan, K. Fang, N. Fraija, S. Fraija , et al. (469 additional authors not shown)

Abstract: Galactic PeVatrons are sources that can accelerate cosmic rays to PeV energies. The high-energy cosmic rays are expected to interact with the surrounding ambient material or radiation, resulting in the production of gamma rays and neutrinos. To optimize for the detection of such associated production of gamma rays and neutrinos for a given source morphology and spectrum, a multi-messenger analysis… ▽ More Galactic PeVatrons are sources that can accelerate cosmic rays to PeV energies. The high-energy cosmic rays are expected to interact with the surrounding ambient material or radiation, resulting in the production of gamma rays and neutrinos. To optimize for the detection of such associated production of gamma rays and neutrinos for a given source morphology and spectrum, a multi-messenger analysis that combines gamma rays and neutrinos is required. In this study, we use the Multi-Mission Maximum Likelihood framework (3ML) with IceCube Maximum Likelihood Analysis software (i3mla) and HAWC Accelerated Likelihood (HAL) to search for a correlation between 22 known gamma-ray sources from the third HAWC gamma-ray catalog and 14 years of IceCube track-like data. No significant neutrino emission from the direction of the HAWC sources was found. We report the best-fit gamma-ray model and 90% CL neutrino flux limit from the 22 sources. From the neutrino flux limit, we conclude that the gamma-ray emission from five of the sources can not be produced purely from hadronic interactions. We report the limit for the fraction of gamma rays produced by hadronic interactions for these five sources. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Acceptance Tests of more than 10 000 Photomultiplier Tubes for the multi-PMT Digital Optical Modules of the IceCube Upgrade

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (399 additional authors not shown)

Abstract: More than 10,000 photomultiplier tubes (PMTs) with a diameter of 80 mm will be installed in multi-PMT Digital Optical Modules (mDOMs) of the IceCube Upgrade. These have been tested and pre-calibrated at two sites. A throughput of more than 1000 PMTs per week with both sites was achieved with a modular design of the testing facilities and highly automated testing procedures. The testing facilities… ▽ More More than 10,000 photomultiplier tubes (PMTs) with a diameter of 80 mm will be installed in multi-PMT Digital Optical Modules (mDOMs) of the IceCube Upgrade. These have been tested and pre-calibrated at two sites. A throughput of more than 1000 PMTs per week with both sites was achieved with a modular design of the testing facilities and highly automated testing procedures. The testing facilities can easily be adapted to other PMTs, such that they can, e.g., be re-used for testing the PMTs for IceCube-Gen2. Single photoelectron response, high voltage dependence, time resolution, prepulse, late pulse, afterpulse probabilities, and dark rates were measured for each PMT. We describe the design of the testing facilities, the testing procedures, and the results of the acceptance tests. △ Less

Submitted 20 June, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

Comments: 24 pages, 19 figures, 2 tables, submitted to JINST

Conversion of Boolean and Integer FlatZinc Builtins to Quadratic or Linear Integer Problems

Authors: Armin Wolf

Abstract: Constraint satisfaction or optimisation models -- even if they are formulated in high-level modelling languages -- need to be reduced into an equivalent format before they can be solved by the use of Quantum Computing. In this paper we show how Boolean and integer FlatZinc builtins over finite-domain integer variables can be equivalently reformulated as linear equations, linear inequalities or bin… ▽ More Constraint satisfaction or optimisation models -- even if they are formulated in high-level modelling languages -- need to be reduced into an equivalent format before they can be solved by the use of Quantum Computing. In this paper we show how Boolean and integer FlatZinc builtins over finite-domain integer variables can be equivalently reformulated as linear equations, linear inequalities or binary products of those variables, i.e. as finite-domain quadratic integer programs. Those quadratic integer programs can be further transformed into equivalent Quadratic Unconstrained Binary Optimisation problem models, i.e. a general format for optimisation problems to be solved on Quantum Computers especially on Quantum Annealers. △ Less

Submitted 19 April, 2024; originally announced April 2024.

Towards Application-Aware Quantum Circuit Compilation

Authors: Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrio, Lukas Burgholzer, Andre Luckow, Robert Wille

Abstract: Quantum computing has made tremendous improvements in both software and hardware that have sparked interest in academia and industry to realize quantum computing applications. To this end, several steps are necessary: The underlying problem must be encoded in a quantum circuit, a suitable device must be selected to execute it, and it must be compiled accordingly. This compilation step has a signif… ▽ More Quantum computing has made tremendous improvements in both software and hardware that have sparked interest in academia and industry to realize quantum computing applications. To this end, several steps are necessary: The underlying problem must be encoded in a quantum circuit, a suitable device must be selected to execute it, and it must be compiled accordingly. This compilation step has a significant influence on the quality of the resulting solution. However, current state-of-the-art compilation tools treat the quantum circuit as a sequence of instructions without considering the actual application it realizes -- wasting a yet untapped potential to increase the solution quality. In this work, a different approach is explored that explicitly incorporates the application considered and aims to optimize its solution quality during compilation. Initial results show the benefits of this approach: For an industry-inspired application of a quantum generative model, the proposed approach outperformed Qiskit's most-optimized compilation scheme and led to better solution quality. Therefore, this work presents a first step towards application-aware compilation. △ Less

Submitted 9 June, 2024; v1 submitted 18 April, 2024; originally announced April 2024.

Comments: 8 pages, 3 figures, minor changes, to be published at IEEE International Conference on Quantum Software (QSW), 2024

Absolute dimensions of solar-type eclipsing binaries. NY Hya: A test for magnetic stellar evolution models

Authors: T. C. Hinse, O. Baştürk, J. Southworth, G. A. Feiden, J. Tregloan-Reed, V. B. Kostov, J. Livingston, E. M. Esmer, Mesut Yılmaz, Selçuk Yalçınkaya, Şeyma Torun, J. Vos, D. F. Evans, J. C. Morales, J. C. A. Wolf, E. H. Olsen, J. V. Clausen, B. E. Helt, C. T. K. Lý, O. Stahl, R. Wells, M. Herath, U. G. Jørgensen, M. Dominik, J. Skottfelt , et al. (7 additional authors not shown)

Abstract: The binary star NY Hya is a bright, detached, double-lined eclipsing system with an orbital period of just under five days with two components each nearly identical to the Sun and located in the solar neighbourhood. The objective of this study is to test and confront various stellar evolution models for solar-type stars based on accurate measurements of stellar mass and radius. We present new… ▽ More The binary star NY Hya is a bright, detached, double-lined eclipsing system with an orbital period of just under five days with two components each nearly identical to the Sun and located in the solar neighbourhood. The objective of this study is to test and confront various stellar evolution models for solar-type stars based on accurate measurements of stellar mass and radius. We present new ground-based spectroscopic and photometric as well as high-precision space-based photometric and astrometric data from which we derive orbital as well as physical properties of the components via the method of least-squares minimisation based on a standard binary model valid for two detached components. Classic statistical techniques were invoked to test the significance of model parameters. Additional empirical evidence was compiled from the public domain; the derived system properties were compared with archival broad-band photometry data enabling a measurement of the system's spectral energy distribution that allowed an independent estimate of stellar properties. We also utilised semi-empirical calibration methods to derive atmospheric properties from Strömgren photometry and related colour indices. Data was used to confront the observed physical properties with classic and magnetic stellar evolution models. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 34 pages, 19 figures, 13 tables, (accepted for publication in A&A)

Benchmarking Quantum Generative Learning: A Study on Scalability and Noise Resilience using QUARK

Authors: Florian J. Kiwit, Maximilian A. Wolf, Marwa Marso, Philipp Ross, Jeanette M. Lorenz, Carlos A. Riofrío, Andre Luckow

Abstract: Quantum computing promises a disruptive impact on machine learning algorithms, taking advantage of the exponentially large Hilbert space available. However, it is not clear how to scale quantum machine learning (QML) to industrial-level applications. This paper investigates the scalability and noise resilience of quantum generative learning applications. We consider the training performance in the… ▽ More Quantum computing promises a disruptive impact on machine learning algorithms, taking advantage of the exponentially large Hilbert space available. However, it is not clear how to scale quantum machine learning (QML) to industrial-level applications. This paper investigates the scalability and noise resilience of quantum generative learning applications. We consider the training performance in the presence of statistical noise due to finite-shot noise statistics and quantum noise due to decoherence to analyze the scalability of QML methods. We employ rigorous benchmarking techniques to track progress and identify challenges in scaling QML algorithms, and show how characterization of QML systems can be accelerated, simplified, and made reproducible when the QUARK framework is used. We show that QGANs are not as affected by the curse of dimensionality as QCBMs and to which extent QCBMs are resilient to noise. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Generative deep learning-enabled ultra-large field-of-view lens-free imaging

Authors: Ronald B. Liu, Zhe Liu, Max G. A. Wolf, Krishna P. Purohit, Gregor Fritz, Yi Feng, Carsten G. Hansen, Pierre O. Bagnaninchi, Xavier Casadevall i Solvas, Yunjie Yang

Abstract: Advancements in high-throughput biomedical applications necessitate real-time, large field-of-view (FOV) imaging capabilities. Conventional lens-free imaging (LFI) systems, while addressing the limitations of physical lenses, have been constrained by dynamic, hard-to-model optical fields, resulting in a limited one-shot FOV of approximately 20 $mm^2$. This restriction has been a major bottleneck i… ▽ More Advancements in high-throughput biomedical applications necessitate real-time, large field-of-view (FOV) imaging capabilities. Conventional lens-free imaging (LFI) systems, while addressing the limitations of physical lenses, have been constrained by dynamic, hard-to-model optical fields, resulting in a limited one-shot FOV of approximately 20 $mm^2$. This restriction has been a major bottleneck in applications like live-cell imaging and automation of microfluidic systems for biomedical research. Here, we present a deep-learning(DL)-based imaging framework - GenLFI - leveraging generative artificial intelligence (AI) for holographic image reconstruction. We demonstrate that GenLFI can achieve a real-time FOV over 550 $mm^2$, surpassing the current LFI system by more than 20-fold, and even larger than the world's largest confocal microscope by 1.76 times. The resolution is at the sub-pixel level of 5.52 $μm$, without the need for a shifting light source. The unsupervised learning-based reconstruction does not require optical field modeling, making imaging dynamic 3D samples (e.g., droplet-based microfluidics and 3D cell models) in complex optical fields possible. This GenLFI framework unlocks the potential of LFI systems, offering a robust tool to tackle new frontiers in high-throughput biomedical applications such as drug discovery. △ Less

Submitted 22 March, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Observation of Seven Astrophysical Tau Neutrino Candidates with IceCube

Authors: IceCube Collaboration, R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (380 additional authors not shown)

Abstract: We report on a measurement of astrophysical tau neutrinos with 9.7 years of IceCube data. Using convolutional neural networks trained on images derived from simulated events, seven candidate $ν_τ$ events were found with visible energies ranging from roughly 20 TeV to 1 PeV and a median expected parent $ν_τ$ energy of about 200 TeV. Considering backgrounds from astrophysical and atmospheric neutrin… ▽ More We report on a measurement of astrophysical tau neutrinos with 9.7 years of IceCube data. Using convolutional neural networks trained on images derived from simulated events, seven candidate $ν_τ$ events were found with visible energies ranging from roughly 20 TeV to 1 PeV and a median expected parent $ν_τ$ energy of about 200 TeV. Considering backgrounds from astrophysical and atmospheric neutrinos, and muons from $π^\pm/K^\pm$ decays in atmospheric air showers, we obtain a total estimated background of about 0.5 events, dominated by non-$ν_τ$ astrophysical neutrinos. Thus, we rule out the absence of astrophysical $ν_τ$ at the $5σ$ level. The measured astrophysical $ν_τ$ flux is consistent with expectations based on previously published IceCube astrophysical neutrino flux measurements and neutrino oscillations. △ Less

Submitted 26 March, 2024; v1 submitted 4 March, 2024; originally announced March 2024.

Comments: Accepted for publication in Physical Review Letters. This version includes full author list metadata

Journal ref: Phys.Rev.Lett. 132 (2024) 15, 151001

Improved modeling of in-ice particle showers for IceCube event reconstruction

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise , et al. (394 additional authors not shown)

Abstract: The IceCube Neutrino Observatory relies on an array of photomultiplier tubes to detect Cherenkov light produced by charged particles in the South Pole ice. IceCube data analyses depend on an in-depth characterization of the glacial ice, and on novel approaches in event reconstruction that utilize fast approximations of photoelectron yields. Here, a more accurate model is derived for event reconstr… ▽ More The IceCube Neutrino Observatory relies on an array of photomultiplier tubes to detect Cherenkov light produced by charged particles in the South Pole ice. IceCube data analyses depend on an in-depth characterization of the glacial ice, and on novel approaches in event reconstruction that utilize fast approximations of photoelectron yields. Here, a more accurate model is derived for event reconstruction that better captures our current knowledge of ice optical properties. When evaluated on a Monte Carlo simulation set, the median angular resolution for in-ice particle showers improves by over a factor of three compared to a reconstruction based on a simplified model of the ice. The most substantial improvement is obtained when including effects of birefringence due to the polycrystalline structure of the ice. When evaluated on data classified as particle showers in the high-energy starting events sample, a significantly improved description of the events is observed. △ Less

Submitted 22 April, 2024; v1 submitted 4 March, 2024; originally announced March 2024.

Comments: 28 pages, 18 figures, 1 table, submitted to JINST, updated to account for comments received

Journal ref: 2024 JINST 19 P06026

Unexpected hydrogen dissociation in thymine: predictions from a novel coupled cluster theory

Authors: Eirik F. Kjønstad, O. Jonathan Fajen, Alexander C. Paul, Sara Angelico, Dennis Mayer, Markus Gühr, Thomas J. A. Wolf, Todd J. Martínez, Henrik Koch

Abstract: The fate of thymine upon excitation by ultraviolet radiation has been the subject of intense debate over the past three decades. Today, it is widely believed that its ultrafast excited state decay stems from a radiationless transition from the bright $ππ^*$ state to a dark $nπ^*$ state. However, conflicting theoretical predictions have made the experimental data difficult to interpret. Here we sim… ▽ More The fate of thymine upon excitation by ultraviolet radiation has been the subject of intense debate over the past three decades. Today, it is widely believed that its ultrafast excited state decay stems from a radiationless transition from the bright $ππ^*$ state to a dark $nπ^*$ state. However, conflicting theoretical predictions have made the experimental data difficult to interpret. Here we simulate the ultrafast dynamics in thymine at the highest level of theory to date, performing wavepacket dynamics with a new coupled cluster method. Our simulation confirms an ultrafast $ππ^*$ to $nπ^*$ transition ($τ = 41 \pm 14$ fs). Furthermore, the predicted oxygen-edge X-ray absorption spectra agree quantitatively with the experimental results. Our simulation also predicts an as-yet uncharacterized photochemical pathway: a $πσ^*$ channel that leads to hydrogen dissociation at one of the two N-H bonds in thymine. Similar behavior has been identified in other heteroaromatic compounds, including adenine, and several authors have speculated that a similar pathway may exist in thymine. However, this was never confirmed theoretically or experimentally. This prediction calls for renewed efforts to experimentally identify or exclude the presence of this channel. △ Less

Submitted 7 March, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Comments: 42 pages, 23 figures

Characterization of the Astrophysical Diffuse Neutrino Flux using Starting Track Events in IceCube

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, S. Bash, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise , et al. (394 additional authors not shown)

Abstract: A measurement of the diffuse astrophysical neutrino spectrum is presented using IceCube data collected from 2011-2022 (10.3 years). We developed novel detection techniques to search for events with a contained vertex and exiting track induced by muon neutrinos undergoing a charged-current interaction. Searching for these starting track events allows us to not only more effectively reject atmospher… ▽ More A measurement of the diffuse astrophysical neutrino spectrum is presented using IceCube data collected from 2011-2022 (10.3 years). We developed novel detection techniques to search for events with a contained vertex and exiting track induced by muon neutrinos undergoing a charged-current interaction. Searching for these starting track events allows us to not only more effectively reject atmospheric muons but also atmospheric neutrino backgrounds in the southern sky, opening a new window to the sub-100 TeV astrophysical neutrino sky. The event selection is constructed using a dynamic starting track veto and machine learning algorithms. We use this data to measure the astrophysical diffuse flux as a single power law flux (SPL) with a best-fit spectral index of $γ= 2.58 ^{+0.10}_{-0.09}$ and per-flavor normalization of $φ^{\mathrm{Astro}}_{\mathrm{per-flavor}} = 1.68 ^{+0.19}_{-0.22} \times 10^{-18} \times \mathrm{GeV}^{-1} \mathrm{cm}^{-2} \mathrm{s}^{-1} \mathrm{sr}^{-1}$ (at 100 TeV). The sensitive energy range for this dataset is 3 - 550 TeV under the SPL assumption. This data was also used to measure the flux under a broken power law, however we did not find any evidence of a low energy cutoff. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 27 pages, 28 figures

Journal ref: Phys. Rev. D 110, 022001 (2024)

Attosecond X-ray Chronoscopy of Core-level Photoemission

Authors: Jia-Bao Ji, Zhaoheng Guo, Taran Driver, Cynthia S. Trevisan, David Cesar, Xinxin Cheng, Joseph Duris, Paris L. Franz, James Glownia, Xiaochun Gong, Daniel Hammerland, Meng Han, Saijoscha Heck, Matthias Hoffmann, Andrei Kamalov, Kirk A. Larsen, Xiang Li, Ming-Fu Lin, Yuchen Liu, C. William McCurdy, Razib Obaid, Jordan T. ONeal, Thomas N. Rescigno, River R. Robles, Nicholas Sudar , et al. (10 additional authors not shown)

Abstract: Attosecond photoemission or photoionization delays are a unique probe of the structure and the electronic dynamics of matter. However, spectral congestion and spatial delocalization of valence electron wave functions set fundamental limits to the complexity of systems that can be studied and the information that can be retrieved, respectively. Using attosecond X-ray pulses from LCLS, we demonstrat… ▽ More Attosecond photoemission or photoionization delays are a unique probe of the structure and the electronic dynamics of matter. However, spectral congestion and spatial delocalization of valence electron wave functions set fundamental limits to the complexity of systems that can be studied and the information that can be retrieved, respectively. Using attosecond X-ray pulses from LCLS, we demonstrate the key advantages of measuring core-level delays: the photoelectron spectra remain atom-like, the measurements become element specific and the observed scattering dynamics originate from a point-like source. We exploit these unique features to reveal the effects of electronegativity and symmetry on attosecond scattering dynamics by measuring the photoionization delays between N-1s and C-1s core shells of a series of aromatic azabenzene molecules. Remarkably, the delays systematically increase with the number of nitrogen atoms in the molecule and reveal multiple resonances. We identify two previously unknown mechanisms regulating the associated attosecond dynamics, namely the enhanced confinement of the trapped wavefunction with increasing electronegativity of the atoms and the decrease of the coupling strength among the photoemitted partial waves with increasing symmetry. This study demonstrates the unique opportunities opened by measurements of core-level photoionization delays for unravelling attosecond electron dynamics in complex matter. △ Less

Submitted 8 April, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Topological Optical Waveguiding of Exciton-Polariton Condensates

Authors: Johannes Beierlein, Oleg A. Egorov, Philipp Gagel, Tristan H. Harder, Adriana Wolf, Monika Emmerling, Simon Betzold, Fauzia Jabeen, Libo Ma, Sven Höfling, Ulf Peschel, Sebastian Klembt

Abstract: One-dimensional models with topological non-trivial band structures are a simple and effective way to study novel and exciting concepts in topological photonics. In this work we are studying the propagation of light-matter quasi-particles, so called exciton-polaritons, in waveguide arrays. Specifically, we are investigating topological states at the interface between dimer chains, characterized by… ▽ More One-dimensional models with topological non-trivial band structures are a simple and effective way to study novel and exciting concepts in topological photonics. In this work we are studying the propagation of light-matter quasi-particles, so called exciton-polaritons, in waveguide arrays. Specifically, we are investigating topological states at the interface between dimer chains, characterized by a non-zero winding number. In order to exercise precise control over the polariton propagation, we study non-resonant laser excitation as well as resonant excitation in transmission geometry. The results highlight a new platform for the study of quantum fluids of light and non-linear optical propagation effects in coupled semiconductor waveguides. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Trustworthy Distributed Certification of Program Execution

Authors: Alex Wolf, Marco Edoardo Palma, Pasquale Salza, Harald C. Gall

Abstract: Verifying the execution of a program is complicated and often limited by the inability to validate the code's correctness. It is a crucial aspect of scientific research, where it is needed to ensure the reproducibility and validity of experimental results. Similarly, in customer software testing, it is difficult for customers to verify that their specific program version was tested or executed at… ▽ More Verifying the execution of a program is complicated and often limited by the inability to validate the code's correctness. It is a crucial aspect of scientific research, where it is needed to ensure the reproducibility and validity of experimental results. Similarly, in customer software testing, it is difficult for customers to verify that their specific program version was tested or executed at all. Existing state-of-the-art solutions, such as hardware-based approaches, constraint solvers, and verifiable computation systems, do not provide definitive proof of execution, which hinders reliable testing and analysis of program results. In this paper, we propose an innovative approach that combines a prototype programming language called Mona with a certification protocol OCCP to enable the distributed and decentralized re-execution of program segments. Our protocol allows for certification of program segments in a distributed, immutable, and trustworthy system without the need for naive re-execution, resulting in significant improvements in terms of time and computational resources used. We also explore the use of blockchain technology to manage the protocol workflow following other approaches in this space. Our approach offers a promising solution to the challenges of program execution verification and opens up opportunities for further research and development in this area. Our findings demonstrate the efficiency of our approach in reducing the number of program executions compared to existing state-of-the-art methods, thus improving the efficiency of certifying program executions. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Attosecond Delays in X-ray Molecular Ionization

Authors: Taran Driver, Miles Mountney, Jun Wang, Lisa Ortmann, Andre Al-Haddad, Nora Berrah, Christoph Bostedt, Elio G. Champenois, Louis F. DiMauro, Joseph Duris, Douglas Garratt, James M. Glownia, Zhaoheng Guo, Daniel Haxton, Erik Isele, Igor Ivanov, Jiabao Ji, Andrei Kamalov, Siqi Li, Ming-Fu Lin, Jon P. Marangos, Razib Obaid, Jordan T. O'Neal, Philipp Rosenberger, Niranjan H. Shivaram , et al. (12 additional authors not shown)

Abstract: The photoelectric effect is not truly instantaneous, but exhibits attosecond delays that can reveal complex molecular dynamics. Sub-femtosecond duration light pulses provide the requisite tools to resolve the dynamics of photoionization. Accordingly, the past decade has produced a large volume of work on photoionization delays following single photon absorption of an extreme ultraviolet (XUV) phot… ▽ More The photoelectric effect is not truly instantaneous, but exhibits attosecond delays that can reveal complex molecular dynamics. Sub-femtosecond duration light pulses provide the requisite tools to resolve the dynamics of photoionization. Accordingly, the past decade has produced a large volume of work on photoionization delays following single photon absorption of an extreme ultraviolet (XUV) photon. However, the measurement of time-resolved core-level photoionization remained out of reach. The required x-ray photon energies needed for core-level photoionization were not available with attosecond tabletop sources. We have now measured the x-ray photoemission delay of core-level electrons, and here report unexpectedly large delays, ranging up to 700 attoseconds in NO near the oxygen K-shell threshold. These measurements exploit attosecond soft x-ray pulses from a free-electron laser (XFEL) to scan across the entire region near the K-shell threshold. Furthermore, we find the delay spectrum is richly modulated, suggesting several contributions including transient trap** of the photoelectron due to shape resonances, collisions with the Auger-Meitner electron that is emitted in the rapid non-radiative relaxation of the molecule, and multi-electron scattering effects. The results demonstrate how x-ray attosecond experiments, supported by comprehensive theoretical modelling, can unravel the complex correlated dynamics of core-level photoionization. △ Less

Submitted 20 February, 2024; originally announced February 2024.

On-the-Fly Syntax Highlighting: Generalisation and Speed-ups

Authors: Marco Edoardo Palma, Alex Wolf, Pasquale Salza, Harald C. Gall

Abstract: On-the-fly syntax highlighting is the task of rapidly associating visual secondary notation values with each character of a language derivation. Research in this domain is driven by the prevalence of online software development tools, which frequently display source code on screen and heavily rely on syntax highlighting mechanisms. In this context, three contrasting demands confront resolvers in t… ▽ More On-the-fly syntax highlighting is the task of rapidly associating visual secondary notation values with each character of a language derivation. Research in this domain is driven by the prevalence of online software development tools, which frequently display source code on screen and heavily rely on syntax highlighting mechanisms. In this context, three contrasting demands confront resolvers in this space: speed, accuracy, and development costs. Speed constraints are essential to ensure tool usability, manifesting as responsiveness for end users accessing online source code and minimising system overhead. Simultaneously, achieving precise highlighting is critical for enhancing code comprehensibility. Nevertheless, obtaining accurate results necessitates the capacity to perform grammatical analysis on the code under consideration, even in cases of varying grammatical correctness. Furthermore, addressing the development costs of such resolvers is imperative, given the multitude of programming language versions. The current state-of-the-art approach in this field leverages the original lexer and parser of programming languages to create syntax highlighting oracles, subsequently used for training base Recurrent Neural Network models. As the question of the generalisation of such a solution persists, this paper addresses this aspect by extending the original work to three additional mainstream programming languages and conducting a comprehensive review of the outcomes. Moreover, the original limitations in evaluation performance and training costs are mitigated through the introduction of a novel Convolutional based Neural Network model. This study examines the performance gains of running models on GPUs, finding that the new CNN implementation is much faster than previous methods while maintaining high accuracy. △ Less

Submitted 13 February, 2024; originally announced February 2024.

An electrically pumped topological polariton laser

Authors: Philipp Gagel, Oleg A. Egorov, Franciszek Dzimira, Johannes Beierlein, Monika Emmerling, Adriana Wolf, Fauzia Jabeen, Simon Betzold, Ulf Peschel, Sven Höfling, Christian Schneider, Sebastian Klembt

Abstract: With a seminal work of Raghu and Haldane in 2008, concepts of topology have been successfully introduced in a wide range of optical systems, emulating specific lattice Hamiltonians. Certainly, one of the most promising routes to an application of topological photonics in an actual device are topological lasers, where efficient and highly coherent lasing from a topologically non-trivial mode is ach… ▽ More With a seminal work of Raghu and Haldane in 2008, concepts of topology have been successfully introduced in a wide range of optical systems, emulating specific lattice Hamiltonians. Certainly, one of the most promising routes to an application of topological photonics in an actual device are topological lasers, where efficient and highly coherent lasing from a topologically non-trivial mode is achieved. While some attempts have been made to excite such structures electrically, the majority of published fundamental experiments use a form of laser excitation. In this paper, we use a lattice of vertical resonator polariton micropillars to form an exponentially localized topological Su-Schrieffer-Heeger defect. Upon electrical excitation of the p-i-n doped structure, the system unequivocally shows polariton lasing from the topological defect using a carefully placed gold contact. Despite the presence of do** and electrical contacts, the polariton band structure clearly preserves its topological properties. At high excitation power the Mott density is exceeded leading to highly efficient lasing in the weak coupling regime. This work is an important step towards applied topological lasers using vertical resonator microcavity structures. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 21 pages, 7 figures

Experimental Demonstration of Attosecond Pump-Probe Spectroscopy with an X-ray Free-Electron Laser

Authors: Zhaoheng Guo, Taran Driver, Sandra Beauvarlet, David Cesar, Joseph Duris, Paris L. Franz, Oliver Alexander, Dorian Bohler, Christoph Bostedt, Vitali Averbukh, Xinxin Cheng, Louis F. DiMauro, Gilles Doumy, Ruaridh Forbes, Oliver Gessner, James M. Glownia, Erik Isele, Andrei Kamalov, Kirk A. Larsen, Siqi Li, Xiang Li, Ming-Fu Lin, Gregory A. McCracken, Razib Obaid, Jordan T. ONeal , et al. (25 additional authors not shown)

Abstract: Pump-probe experiments with sub-femtosecond resolution are the key to understanding electronic dynamics in quantum systems. Here we demonstrate the generation and control of sub-femtosecond pulse pairs from a two-colour X-ray free-electron laser (XFEL). By measuring the delay between the two pulses with an angular streaking diagnostic, we characterise the group velocity of the XFEL and demonstrate… ▽ More Pump-probe experiments with sub-femtosecond resolution are the key to understanding electronic dynamics in quantum systems. Here we demonstrate the generation and control of sub-femtosecond pulse pairs from a two-colour X-ray free-electron laser (XFEL). By measuring the delay between the two pulses with an angular streaking diagnostic, we characterise the group velocity of the XFEL and demonstrate control of the pulse delay down to 270 as. We demonstrate the application of this technique to a pump-probe measurement in core-excited para-aminophenol. These results demonstrate the ability to perform pump-probe experiments with sub-femtosecond resolution and atomic site specificity. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: 55 pages, main manuscript (5 figures) + supplementary materials (25 figures), 30 figures total. Submitted to Nature Photonics

Citizen Science for IceCube: Name that Neutrino

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (391 additional authors not shown)

Abstract: Name that Neutrino is a citizen science project where volunteers aid in classification of events for the IceCube Neutrino Observatory, an immense particle detector at the geographic South Pole. From March 2023 to September 2023, volunteers did classifications of videos produced from simulated data of both neutrino signal and background interactions. Name that Neutrino obtained more than 128,000 cl… ▽ More Name that Neutrino is a citizen science project where volunteers aid in classification of events for the IceCube Neutrino Observatory, an immense particle detector at the geographic South Pole. From March 2023 to September 2023, volunteers did classifications of videos produced from simulated data of both neutrino signal and background interactions. Name that Neutrino obtained more than 128,000 classifications by over 1,800 registered volunteers that were compared to results obtained by a deep neural network machine-learning algorithm. Possible improvements for both Name that Neutrino and the deep neural network are discussed. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Coexistence of Topological and Normal Insulating Phases in Electro-Optically Tuned InAs/GaSb Bilayer Quantum Wells

Authors: Manuel Meyer, Tobias Fähndrich, Sebastian Schmid, Adriana Wolf, Sergey Krishtopenko, Benoit Jouault, Gerald Bastard, Frederic Teppe, Fabian Hartmann, Sven Höfling

Abstract: We report on the coexistence of both normal and topological insulating phases in InAs/GaSb bilayer quantum well induced by the built-in electric field tuned optically and electrically. The emergence of topological and normal insulating phases is assessed based on the evolution of the charge carrier densities, the resistivity dependence of the gap via in-plane magnetic fields and the thermal activa… ▽ More We report on the coexistence of both normal and topological insulating phases in InAs/GaSb bilayer quantum well induced by the built-in electric field tuned optically and electrically. The emergence of topological and normal insulating phases is assessed based on the evolution of the charge carrier densities, the resistivity dependence of the gap via in-plane magnetic fields and the thermal activation of carriers. For the Hall bar device tuned optically, we observe the fingerprints associated with the presence of only the topological insulating phase. For another Hall bar processed identically but with an additional top gate, the coexistence of normal and topological insulating phases is found by electrical tuning. Our finding paves the way for utilizing a new electro-optical tuning scheme to manipulate InAs/GaSb bilayer quantum wells to obtain trivial-topological insulating interfaces in the bulk rather than at the physical edge of the device. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Why we care (about quantum machine learning)

Authors: Richard A. Wolf

Abstract: Quantum machine learning has received tremendous amounts of attention in the last ten years, and this trend is on the rise. Despite its developments being currently limited to either theoretical statements and formal proofs or small-scale noisy experiments and classical simulations, this field of quantum technologies has been consistently standing in the spotlight. Moreover, the locus of attention… ▽ More Quantum machine learning has received tremendous amounts of attention in the last ten years, and this trend is on the rise. Despite its developments being currently limited to either theoretical statements and formal proofs or small-scale noisy experiments and classical simulations, this field of quantum technologies has been consistently standing in the spotlight. Moreover, the locus of attention seems to have been skewed towards three central questions: "Can we beat classical computers?", "How?" and "When?". In this work, I argue that focus on quantum machine learning stems from a wide range of factors, some of which lie outside the discipline itself. Based on both recent and key publications on the subject as well as general audience sources, I give a brief overview of the core questions being raised in quantum machine learning and propose a socio-epistemologic interpretation of the motivations behind those and interplay between them. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: Extended abstract related to the eponymous poster presented at Quantum Information Processing 2024

Search for 10--1,000 GeV neutrinos from Gamma Ray Bursts with IceCube

Authors: IceCube Collaboration, R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise , et al. (384 additional authors not shown)

Abstract: We present the results of a search for 10--1,000 GeV neutrinos from 2,268 gamma-ray bursts over 8 years of IceCube-DeepCore data. This work probes burst physics below the photosphere where electromagnetic radiation cannot escape. Neutrinos of tens of GeVs are predicted in sub-photospheric collision of free streaming neutrons with bulk-jet protons. In a first analysis, we searched for the most sign… ▽ More We present the results of a search for 10--1,000 GeV neutrinos from 2,268 gamma-ray bursts over 8 years of IceCube-DeepCore data. This work probes burst physics below the photosphere where electromagnetic radiation cannot escape. Neutrinos of tens of GeVs are predicted in sub-photospheric collision of free streaming neutrons with bulk-jet protons. In a first analysis, we searched for the most significant neutrino-GRB coincidence using six overlap** time windows centered on the prompt phase of each GRB. In a second analysis, we conducted a search for a group of GRBs, each individually too weak to be detectable, but potentially significant when combined. No evidence of neutrino emission is found for either analysis. The most significant neutrino coincidence is for Fermi-GBM GRB bn 140807500, with a p-value of 0.097 corrected for all trials. The binomial test used to search for a group of GRBs had a p-value of 0.65 after all trial corrections. The binomial test found a group consisting only of GRB bn 140807500 and no additional GRBs. The neutrino limits of this work complement those obtained by IceCube at TeV to PeV energies. We compare our findings for the large set of GRBs as well as GRB 221009A to the sub-photospheric neutron-proton collision model and find that GRB 221009A provides the most constraining limit on baryon loading. For a jet Lorentz factor of 300 (800), the baryon loading on GRB 221009A is lower than 3.85 (2.13) at a 90% confidence level. △ Less

Submitted 29 March, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Journal ref: ApJ 964 126 (2024)

A brief overview of programmed instructions for quantum software education

Authors: Richard A. Wolf, Sho Araiba

Abstract: In this paper we provide an overview of the programmed instructions approach for the purpose of quantum software education. The article presents the programmed instructions method and recent successes in STEM fields before describing its operating mode. Elements tackled include the core components of programmed instructions, its behavioural roots and early use as well as adaptation to complex STEM… ▽ More In this paper we provide an overview of the programmed instructions approach for the purpose of quantum software education. The article presents the programmed instructions method and recent successes in STEM fields before describing its operating mode. Elements tackled include the core components of programmed instructions, its behavioural roots and early use as well as adaptation to complex STEM material. In addition, we offer recommendations for its use in the specific context of quantum software education and provide one example of PI-based instruction for the notion of entanglement. The aim of this work is to provide high-level guidelines for incorporating programmed instructions in quantum education with the goal of disseminating quantum skills and notions more efficiently to a wider audience. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Journal ref: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Bellevue, WA, USA, 2023, pp. 78-86

All-Sky Search for Transient Astrophysical Neutrino Emission with 10 Years of IceCube Cascade Events

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (382 additional authors not shown)

Abstract: We present the results of a time-dependent search for neutrino flares in data collected by IceCube between May 2011 and 2021. This data set contains cascade-like events originating from charged-current electron neutrino and tau neutrino interactions and all-flavor neutral-current interactions. IceCube's previous all-sky searches for neutrino flares used data sets consisting of track-like events or… ▽ More We present the results of a time-dependent search for neutrino flares in data collected by IceCube between May 2011 and 2021. This data set contains cascade-like events originating from charged-current electron neutrino and tau neutrino interactions and all-flavor neutral-current interactions. IceCube's previous all-sky searches for neutrino flares used data sets consisting of track-like events originating from charged-current muon neutrino interactions. The cascade data sets are statistically independent of the track data sets and provide a new opportunity to observe the transient all-sky landscape. This search uses the spatial, temporal, and energy information of the cascade-like events to conduct searches for the most statistically significant neutrino flares in the northern and southern skies. No statistically significant time-dependent neutrino emission was observed. For the most statistically significant location in the northern sky, $p_\mathrm{global} =$ 0.71, and in the southern sky, $p_\mathrm{global} =$ 0.51. These results are compatible with the background hypothesis. Assuming an E$^{-2.53}$ spectrum from the diffuse astrophysical neutrino flux as measured with cascades, these results are used to calculate upper limits at the 90\% confidence level on neutrino flares of varying duration and constrain the contribution of these flares to the diffuse astrophysical neutrino flux. These constraints are independent of a specified class of astrophysical objects and show that multiple unresolved transient sources may contribute to the diffuse astrophysical neutrino flux. △ Less

Submitted 11 March, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

Comments: Submitted to The Astrophysical Journal

Monitoring the evolution of relative product populations at early times during a photochemical reaction

Authors: Joao Pedro Figueira Nunes, Lea Maria Ibele, Shashank Pathak, Andrew R. Attar, Surjendu Bhattacharyya, Rebecca Boll, Kurtis Borne, Martin Centurion, Benjamin Erk, Ming-Fu Lin, Ruaridh J. G. Forbes, Nate Goff, Christopher S. Hansen, Matthias Hoffmann, David M. P. Holland, Rebecca A. Ingle, Duan Luo, Sri Bhavya Muvva, Alex Reid, Arnaud Rouzée, Artem Rudenko, Sajib Kumar Saha, Xiaozhe Shen, Anbu Selvam Venkatachalam, Xijie Wang , et al. (9 additional authors not shown)

Abstract: Identifying multiple rival reaction products and transient species formed during ultrafast photochemical reactions and determining their time-evolving relative populations are key steps towards understanding and predicting photochemical outcomes. Yet, most contemporary ultrafast studies struggle with clearly identifying and quantifying competing molecular structures/species amongst the emerging re… ▽ More Identifying multiple rival reaction products and transient species formed during ultrafast photochemical reactions and determining their time-evolving relative populations are key steps towards understanding and predicting photochemical outcomes. Yet, most contemporary ultrafast studies struggle with clearly identifying and quantifying competing molecular structures/species amongst the emerging reaction products. Here, we show that mega-electronvolt ultrafast electron diffraction in combination with ab initio molecular dynamics calculations offer a powerful route to determining time-resolved populations of the various isomeric products formed after UV (266 nm) excitation of the five-membered heterocyclic molecule 2(5H)-thiophenone. This strategy provides experimental validation of the predicted high (~50%) yield of an episulfide isomer containing a strained 3-membered ring within ~1 ps of photoexcitation and highlights the rapidity of interconversion between the rival highly vibrationally excited photoproducts in their ground electronic state. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Purcell-Enhanced Single-Photon Emission in the Telecom C-Band

Authors: Jochen Kaupp, Yorick Reum, Felix Kohr, Johannes Michl, Quirin Buchinger, Adriana Wolf, Giora Peniakov, Tobias Huber-Loyola, Andreas Pfenning, Sven Höfling

Abstract: Purcell-enhanced quantum dot single-photon emission in the telecom C-band from InAs quantum dots inside circular Bragg grating cavities is shown. The InAs quantum dots are grown by means of molecular beam epitaxy on an InP substrate and are embedded into a quaternary $\mathrm{In}_{0.53}\mathrm{Al}_{0.23}\mathrm{Ga}_{0.24}\mathrm{As}$ membrane structure. In a post-growth flip-chip process with subs… ▽ More Purcell-enhanced quantum dot single-photon emission in the telecom C-band from InAs quantum dots inside circular Bragg grating cavities is shown. The InAs quantum dots are grown by means of molecular beam epitaxy on an InP substrate and are embedded into a quaternary $\mathrm{In}_{0.53}\mathrm{Al}_{0.23}\mathrm{Ga}_{0.24}\mathrm{As}$ membrane structure. In a post-growth flip-chip process with subsequent substrate removal and electron beam-lithography, circular Bragg grating ("bullseye") resonators are defined. Micro-photoluminescence studies of the devices at cryogenic temperatures of T = 5 K reveal individual quantum dot emission lines into a pronounced cavity mode. Time-correlated single-photon counting measurements under above-band gap excitation yield Purcell-enhanced excitonic decay times of $τ= (180 \pm 3)$ ps corresponding to a Purcell factor of $F_P = (6.7 \pm 0.6)$. Pronounced photon antibunching with a background limited $g^{(2)}(0) = (0.057 \pm 0.004)$ is observed, which demonstrates that the light originated mostly from one single quantum dot. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 8 pages, 5 figures

Journal ref: Advanced Quantum Technologies 2023, 2300242

Topological Community Detection: A Sheaf-Theoretic Approach

Authors: Arne Wolf, Anthea Monod

Abstract: We propose a model for network community detection using topological data analysis, a branch of modern data science that leverages theory from algebraic topology to statistical analysis and machine learning. Specifically, we use cellular sheaves, which relate local to global properties of various algebraic topological constructions, to propose three new algorithms for vertex clustering over networ… ▽ More We propose a model for network community detection using topological data analysis, a branch of modern data science that leverages theory from algebraic topology to statistical analysis and machine learning. Specifically, we use cellular sheaves, which relate local to global properties of various algebraic topological constructions, to propose three new algorithms for vertex clustering over networks to detect communities. We apply our algorithms to real social network data in numerical experiments and obtain near optimal results in terms of modularity. Our work is the first implementation of sheaves on real social network data and provides a solid proof-of-concept for future work using sheaves as tools to study complex systems captured by networks and simplicial complexes. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Comments: 11 pages, 11 figures

Dissociative Recombination of Rotationally Cold OH$^+$ and Its Implications for the Cosmic Ray Ionization Rate in Diffuse Clouds

Authors: Ábel Kálosi, Lisa Gamer, Manfred Grieser, Robert von Hahn, Leonard W. Isberner, Julia I. Jäger, Holger Kreckel, David A. Neufeld, Daniel Paul, Daniel W. Savin, Stefan Schippers, Viviane C. Schmidt, Andreas Wolf, Mark G. Wolfire, Oldřich Novotný

Abstract: Observations of OH$^+$ are used to infer the interstellar cosmic ray ionization rate in diffuse atomic clouds, thereby constraining the propagation of cosmic rays through and the shielding by interstellar clouds, as well as the low energy cosmic ray spectrum. In regions where the H$_2$ to H number density ratio is low, dissociative recombination (DR) is the dominant destruction process for OH$^+$… ▽ More Observations of OH$^+$ are used to infer the interstellar cosmic ray ionization rate in diffuse atomic clouds, thereby constraining the propagation of cosmic rays through and the shielding by interstellar clouds, as well as the low energy cosmic ray spectrum. In regions where the H$_2$ to H number density ratio is low, dissociative recombination (DR) is the dominant destruction process for OH$^+$ and the DR rate coefficient is important for predicting the OH$^+$ abundance and inferring the cosmic ray ionization rate. We have experimentally studied DR of electronically and vibrationally relaxed OH$^+$ in its lowest rotational levels, using an electron--ion merged-beams setup at the Cryogenic Storage Ring. From these measurements, we have derived a kinetic temperature rate coefficient applicable to diffuse cloud chemical models, i.e., for OH$^+$ in its electronic, vibrational, and rotational ground level. At typical diffuse cloud temperatures, our kinetic temperature rate coefficient is a factor of $\sim 5$ times larger than the previous experimentally derived value and a factor of $\sim 33$ times larger than the value calculated by theory. Our combined experimental and modelling results point to a significant increase for the cosmic ray ionization rate inferred from observations of OH$^+$ and H$_2$O$^+$, corresponding to a geometric mean of $(6.6 \pm 1.0) \times 10^{-16}\,\mathrm{s}^{-1}$, which is more than a factor of two larger than the previously inferred values of the cosmic ray ionization rate in diffuse atomic clouds. Combined with observations of diffuse and dense molecular clouds, these findings indicate a greater degree of cosmic ray shielding in interstellar clouds than has been previously inferred. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: Main paper: PDFLaTeX with 10 pages, 4 figures. Appendix starting on page 11: PDFLaTeX with 10 pages, 3 figures, 2 tables. This is the Accepted Manuscript version of an article accepted for publication in The Astrophysical Journal Letters. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it

Search for Continuous and Transient Neutrino Emission Associated with IceCube's Highest-Energy Tracks: An 11-Year Analysis

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, L. Ausborm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi , et al. (385 additional authors not shown)

Abstract: IceCube alert events are neutrinos with a moderate-to-high probability of having astrophysical origin. In this study, we analyze 11 years of IceCube data and investigate 122 alert events and a selection of high-energy tracks detected between 2009 and the end of 2021. This high-energy event selection (alert events + high-energy tracks) has an average probability of $\geq 0.5$ to be of astrophysical… ▽ More IceCube alert events are neutrinos with a moderate-to-high probability of having astrophysical origin. In this study, we analyze 11 years of IceCube data and investigate 122 alert events and a selection of high-energy tracks detected between 2009 and the end of 2021. This high-energy event selection (alert events + high-energy tracks) has an average probability of $\geq 0.5$ to be of astrophysical origin. We search for additional continuous and transient neutrino emission within the high-energy events' error regions. We find no evidence for significant continuous neutrino emission from any of the alert event directions. The only locally significant neutrino emission is the transient emission associated with the blazar TXS~0506+056, with a local significance of $ 3 σ$, which confirms previous IceCube studies. When correcting for 122 test positions, the global p-value is $0.156$ and is compatible with the background hypothesis. We constrain the total continuous flux emitted from all 122 test positions at 100~TeV to be below $1.2 \times 10^{-15}$~(TeV cm$^2$ s)$^{-1}$ at 90% confidence assuming an $E^{-2}$ spectrum. This corresponds to 4.5% of IceCube's astrophysical diffuse flux. Overall, we find no indication that alert events, in general, are linked to lower-energetic continuous or transient neutrino emission. △ Less

Submitted 5 February, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: Accepted by ApJ

Journal ref: 2024 ApJ 964 40

Transforming U.S. agriculture with crushed rock for CO$_2$ sequestration and increased production

Authors: David J. Beerling, Euripides P. Kantzas, Maria Val Martin, Mark R. Lomas, Lyla L. Taylor, Shuang Zhang, Yoshiki Kanzaki, Christopher T. Reinhard, Noah J. Planavsky, Rafael M. Eufrasio, Phil Renforth, Jean-Francois Mecure, Hector Pollitt, Philip B. Holden, Neil R. Edwards, Lenny Koh, Dimitar Z. Epihov, Adam Wolf, James E. Hansen, Nick F. Pidgeon, Steven A. Banwart

Abstract: Enhanced weathering (EW) is a promising modification to current agricultural practices that uses crushed silicate rocks to drive carbon dioxide removal (CDR). If widely adopted on farmlands, it could help achieve net-zero or negative emissions by 2050. We report detailed state-level analysis indicating EW deployed on agricultural land could sequester 0.23-0.38 Gt CO$_2$ yr$^{-1}$ and meet 36-60 %… ▽ More Enhanced weathering (EW) is a promising modification to current agricultural practices that uses crushed silicate rocks to drive carbon dioxide removal (CDR). If widely adopted on farmlands, it could help achieve net-zero or negative emissions by 2050. We report detailed state-level analysis indicating EW deployed on agricultural land could sequester 0.23-0.38 Gt CO$_2$ yr$^{-1}$ and meet 36-60 % of U.S. technological CDR goals. Average CDR costs vary between state, being highest in the first decades before declining to a range of $\sim\$$100-150 tCO$_2{}^{-1}$ by 2050, including for three states (Iowa, Illinois, and Indiana) that contribute most to total national CDR. We identify multiple electoral swing states as being essential for scaling EW that are also key beneficiaries of the practice, indicating the need for strong bipartisan support of this technology. Assessment the geochemical capacity of rivers and oceans to carry dissolved EW products from soil drainage suggests EW provides secure long-term CO$_2$ removal on intergenerational time scales. We additionally forecast mitigation of ground-level ozone increases expected with future climate change, as an indirect benefit of EW, and consequent avoidance of yield reductions. Our assessment supports EW as a practical innovation for leveraging agriculture to enable positive action on climate change with adherence to federal environmental justice priorities. However, implementing a stage-gating framework as upscaling proceeds to safeguard against environmental and biodiversity concerns will be essential. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Searching for Decoherence from Quantum Gravity at the IceCube South Pole Neutrino Observatory

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi, C. Benning , et al. (380 additional authors not shown)

Abstract: Neutrino oscillations at the highest energies and longest baselines provide a natural quantum interferometer with which to study the structure of spacetime and test the fundamental principles of quantum mechanics. If the metric of spacetime has a quantum mechanical description, there is a generic expectation that its fluctuations at the Planck scale would introduce non-unitary effects that are inc… ▽ More Neutrino oscillations at the highest energies and longest baselines provide a natural quantum interferometer with which to study the structure of spacetime and test the fundamental principles of quantum mechanics. If the metric of spacetime has a quantum mechanical description, there is a generic expectation that its fluctuations at the Planck scale would introduce non-unitary effects that are inconsistent with the standard unitary time evolution of quantum mechanics. Neutrinos interacting with such fluctuations would lose their quantum coherence, deviating from the expected oscillatory flavor composition at long distances and high energies. The IceCube South Pole Neutrino Observatory is a billion-ton neutrino telescope situated in the deep ice of the Antarctic glacier. Atmospheric neutrinos detected by IceCube in the energy range 0.5--10 TeV have been used to test for coherence loss in neutrino propagation. No evidence of anomalous neutrino decoherence was observed, leading to the strongest experimental limits on neutrino-quantum gravity interactions to date, significantly surpassing expectations from natural Planck-scale models. The resulting constraint on the effective decoherence strength parameter within an energy-independent decoherence model is $Γ_0\leq 1.17\times10^{-15}$~eV, improving upon past limits by a factor of 30. For decoherence effects scaling as E$^2$, limits are advanced by more than six orders of magnitude beyond past measurements. △ Less

Submitted 25 July, 2023; originally announced August 2023.

The IceCube-Gen2 Collaboration -- Contributions to the 38th International Cosmic Ray Conference (ICRC2023)

Authors: IceCube-Gen2, :, R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, J. Audehm, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. Becker Tjus, J. Beise , et al. (432 additional authors not shown)

Abstract: IceCube-Gen2 is a planned next-generation neutrino observatory at the South Pole that builds upon the successful design of IceCube. Integrating two complementary detection technologies for neutrinos, optical and radio Cherenkov emission, in combination with a surface array for cosmic ray air shower detection, IceCube-Gen2 will cover a broad neutrino energy range from MeV to EeV. This index of cont… ▽ More IceCube-Gen2 is a planned next-generation neutrino observatory at the South Pole that builds upon the successful design of IceCube. Integrating two complementary detection technologies for neutrinos, optical and radio Cherenkov emission, in combination with a surface array for cosmic ray air shower detection, IceCube-Gen2 will cover a broad neutrino energy range from MeV to EeV. This index of contributions to the 38th International Cosmic Ray Conference in Nagoya, Japan (July 26 - August 3, 2023) describes research and development efforts for IceCube-Gen2. Included are summaries of the design, status, and sensitivity of the IceCube-Gen2 optical, surface, and radio components; performance studies of next-generation optical sensors detecting optical Cherenkov radiation from cosmic ray and neutrino events; reconstruction techniques of radio and optical events in terms of energy, direction, and neutrino flavor; and sensitivity studies of astrophysical neutrino flavors, diffuse neutrino fluxes, and cosmic ray anisotropies. Contributions related to IceCube and the scheduled IceCube Upgrade are available in a separate collection. △ Less

Submitted 24 July, 2023; originally announced July 2023.

Comments: To access the list of contributions, please follow the "HTML" link. Links to individual contributions will fill in as authors upload their material

The IceCube Collaboration -- Contributions to the 38th International Cosmic Ray Conference (ICRC2023)

Authors: IceCube, :, R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise , et al. (382 additional authors not shown)

Abstract: The IceCube Observatory at the South Pole has been operating in its full configuration since May 2011 with a duty cycle of about 99%. Its main component consists of a cubic-kilometer array of optical sensors deployed deep in the Glacial ice designed for the detection of high-energy astrophysical neutrinos. A surface array for cosmic ray air shower detection, IceTop, and a denser inner subdetector,… ▽ More The IceCube Observatory at the South Pole has been operating in its full configuration since May 2011 with a duty cycle of about 99%. Its main component consists of a cubic-kilometer array of optical sensors deployed deep in the Glacial ice designed for the detection of high-energy astrophysical neutrinos. A surface array for cosmic ray air shower detection, IceTop, and a denser inner subdetector, DeepCore, significantly enhance the capabilities of the observatory, making it a multipurpose facility. This list of contributions to the 38th International Cosmic Ray Conference in Nagoya, Japan (July 26 - August 3, 2023) summarizes the latest results from IceCube covering a broad set of key questions in physics and astrophysics. The papers in this index are grouped topically to highlight IceCube contributions related to high-energy neutrino and multi-messenger astrophysics, cosmic-ray physics, low-energy neutrino transients such as Galactic supernovae, fundamental physics, detector calibration and event reconstruction, education and public outreach, and research and development for the IceCube Upgrade, a scheduled dense sensor infill complemented by calibration devices. Contributions related to IceCube-Gen2, the future extension of IceCube, are available in a separate collection. △ Less

Submitted 24 July, 2023; originally announced July 2023.

Comments: To access the list of contributions, please follow the "HTML" link. Links to individual contributions will fill in as authors upload their material

Automatic Conversion of MiniZinc Programs to QUBO

Authors: Armin Wolf, Cristian Grozea

Abstract: Obtaining Quadratic Unconstrained Binary Optimisation models for various optimisation problems, in order to solve those on physical quantum computers (such as the the DWave annealers) is nowadays a lengthy and tedious process that requires one to remodel all problem variables as binary variables and squeeze the target function and the constraints into a single quadratic polynomial into these new v… ▽ More Obtaining Quadratic Unconstrained Binary Optimisation models for various optimisation problems, in order to solve those on physical quantum computers (such as the the DWave annealers) is nowadays a lengthy and tedious process that requires one to remodel all problem variables as binary variables and squeeze the target function and the constraints into a single quadratic polynomial into these new variables. We report here on the basis of our automatic converter from MiniZinc to QUBO, which is able to process a large set of constraint optimisation and constraint satisfaction problems and turn them into equivalent QUBOs, effectively optimising the whole process. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Pseudo-Riemannian geodesic orbit nilmanifolds of signature $\boldsymbol{(n-2,2)}$

Authors: Zhiqi Chen, Yuri Nikolayevsky, Joseph A. Wolf, Shaoxiang Zhang

Abstract: The geodesic orbit property is useful and interesting in itself, and it plays a key role in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in R… ▽ More The geodesic orbit property is useful and interesting in itself, and it plays a key role in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the last few years important corresponding structural results were proved for geodesic orbit Lorentz manifolds. Here we extend Riemannian and Lorentz results to trans-Lorentz nilmanifolds. Those are the geodesic orbit pseudo Riemannian manifolds $M = G/H$ of signature $(n-2,2)$ such that a nilpotent analytic subgroup of $G$ is transitive on $M$. For that we suppose that there is a reductive decomposition $\g = \h \oplus \n \text{ (vector space direct sum) with } [\h,\n] \subset \n$ and $\n$ nilpotent. When the metric is nondegenerate on $[\n,\n]$ we show that $\n$ is abelian or 2-step nilpotent. That is the same result as for geodesic orbit Riemannian and Lorentz nilmanifolds. When the metric is degenerate on $[\n,\n]$ we show that $\n$ is a double extension of a geodesic orbit nilmanifold of either Riemannian or Lorentz signature. △ Less

Submitted 16 July, 2023; originally announced July 2023.

MSC Class: 53C30; 53B30; 17B30

Search for Extended Sources of Neutrino Emission in the Galactic Plane with IceCube

Authors: R. Abbasi, M. Ackermann, J. Adams, S. K. Agarwalla, J. A. Aguilar, M. Ahlers, J. M. Alameddine, N. M. Amin, K. Andeen, G. Anton, C. Argüelles, Y. Ashida, S. Athanasiadou, S. N. Axani, X. Bai, A. Balagopal V., M. Baricevic, S. W. Barwick, V. Basu, R. Bay, J. J. Beatty, J. Becker Tjus, J. Beise, C. Bellenghi, C. Benning , et al. (383 additional authors not shown)

Abstract: The Galactic plane, harboring a diffuse neutrino flux, is a particularly interesting target to study potential cosmic-ray acceleration sites. Recent gamma-ray observations by HAWC and LHAASO have presented evidence for multiple Galactic sources that exhibit a spatially extended morphology and have energy spectra continuing beyond 100 TeV. A fraction of such emission could be produced by interactio… ▽ More The Galactic plane, harboring a diffuse neutrino flux, is a particularly interesting target to study potential cosmic-ray acceleration sites. Recent gamma-ray observations by HAWC and LHAASO have presented evidence for multiple Galactic sources that exhibit a spatially extended morphology and have energy spectra continuing beyond 100 TeV. A fraction of such emission could be produced by interactions of accelerated hadronic cosmic rays, resulting in an excess of high-energy neutrinos clustered near these regions. Using 10 years of IceCube data comprising track-like events that originate from charged-current muon neutrino interactions, we perform a dedicated search for extended neutrino sources in the Galaxy. We find no evidence for time-integrated neutrino emission from the potential extended sources studied in the Galactic plane. The most significant location, at 2.6$σ$ post-trials, is a 1.7$^\circ$ sized region coincident with the unidentified TeV gamma-ray source 3HWC J1951+266. We provide strong constraints on hadronic emission from several regions in the Galaxy. △ Less

Submitted 7 September, 2023; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: 13 pages, 4 figures, 5 tables including an appendix. Accepted for publication in Astrophysical Journal

Journal ref: ApJ 956 20 (2023)