-
Unsupervised Clustering for Fault Analysis in High-Voltage Power Systems Using Voltage and Current Signals
Authors:
Julian Oelhaf,
Georg Kordowich,
Andreas Maier,
Johann Jager,
Siming Bayer
Abstract:
The widespread use of sensors in modern power grids has led to the accumulation of large amounts of voltage and current waveform data, especially during fault events. However, the lack of labeled datasets poses a significant challenge for fault classification and analysis. This paper explores the application of unsupervised clustering techniques for fault diagnosis in high-voltage power systems. A…
▽ More
The widespread use of sensors in modern power grids has led to the accumulation of large amounts of voltage and current waveform data, especially during fault events. However, the lack of labeled datasets poses a significant challenge for fault classification and analysis. This paper explores the application of unsupervised clustering techniques for fault diagnosis in high-voltage power systems. A dataset provided by the Reseau de Transport d'Electricite (RTE) is analyzed, with frequency domain features extracted using the Fast Fourier Transform (FFT). The K-Means algorithm is then applied to identify underlying patterns in the data, enabling automated fault categorization without the need for labeled training samples. The resulting clusters are evaluated in collaboration with power system experts to assess their alignment with real-world fault characteristics. The results demonstrate the potential of unsupervised learning for scalable and data-driven fault analysis, providing a robust approach to detecting and classifying power system faults with minimal prior assumptions.
△ Less
Submitted 23 May, 2025;
originally announced May 2025.
-
Impact of Data Sparsity on Machine Learning for Fault Detection in Power System Protection
Authors:
Julian Oelhaf,
Georg Kordowich,
Changhun Kim,
Paula Andrea Perez-Toro,
Andreas Maier,
Johann Jager,
Siming Bayer
Abstract:
Germany's transition to a renewable energy-based power system is reshaping grid operations, requiring advanced monitoring and control to manage decentralized generation. Machine learning (ML) has emerged as a powerful tool for power system protection, particularly for fault detection (FD) and fault line identification (FLI) in transmission grids. However, ML model reliability depends on data quali…
▽ More
Germany's transition to a renewable energy-based power system is reshaping grid operations, requiring advanced monitoring and control to manage decentralized generation. Machine learning (ML) has emerged as a powerful tool for power system protection, particularly for fault detection (FD) and fault line identification (FLI) in transmission grids. However, ML model reliability depends on data quality and availability. Data sparsity resulting from sensor failures, communication disruptions, or reduced sampling rates poses a challenge to ML-based FD and FLI. Yet, its impact has not been systematically validated prior to this work. In response, we propose a framework to assess the impact of data sparsity on ML-based FD and FLI performance. We simulate realistic data sparsity scenarios, evaluate their impact, derive quantitative insights, and demonstrate the effectiveness of this evaluation strategy by applying it to an existing ML-based framework. Results show the ML model remains robust for FD, maintaining an F1-score of 0.999 $\pm$ 0.000 even after a 50x data reduction. In contrast, FLI is more sensitive, with performance decreasing by 55.61% for missing voltage measurements and 9.73% due to communication failures at critical network points. These findings offer actionable insights for optimizing ML models for real-world grid protection. This enables more efficient FD and supports targeted improvements in FLI.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
A compact frozen-spin trap for the search for the electric dipole moment of the muon
Authors:
A. Adelmann,
A. R. Bainbridge,
I. Bailey,
A. Baldini,
S. Basnet,
N. Berger,
C. Calzolaio,
L. Caminada,
G. Cavoto,
F. Cei,
R. Chakraborty,
C. Chavez Barajas,
M. Chiappini,
A. Crivellin,
C. Dutsov,
A. Ebrahimi,
M. Francesconi,
L. Galli,
G. Gallucci,
M. Giovannozzi,
H. Goyal,
M. Grassi,
A. Gurgone,
M. Hildebrandt,
M. Hoferichter
, et al. (35 additional authors not shown)
Abstract:
The electric dipole moments~(EDM) of fundamental particles inherently violate parity~(P) and time-reversal~(T) symmetries. By virtue of the CPT theorem in quantum field theory, the latter also implies the violation of the combined charge-conjugation and parity~(CP) symmetry. We aim to measure the EDM of the muon using the frozen-spin technique within a compact storage trap. This method exploits th…
▽ More
The electric dipole moments~(EDM) of fundamental particles inherently violate parity~(P) and time-reversal~(T) symmetries. By virtue of the CPT theorem in quantum field theory, the latter also implies the violation of the combined charge-conjugation and parity~(CP) symmetry. We aim to measure the EDM of the muon using the frozen-spin technique within a compact storage trap. This method exploits the high effective electric field, \$E \approx 165\$ MV/m, experienced in the rest frame of the muon with a momentum of about 23 MeV/c when it passes through a solenoidal magnetic field of \$|\vec{B}|=2.5\$ T. In this paper, we outline the fundamental considerations for a muon EDM search and present a conceptual design for a demonstration experiment to be conducted at secondary muon beamlines of the Paul Scherrer Institute in Switzerland. In Phase~I, with an anticipated data acquisition period of 200 days, the expected sensitivity to a muon EDM is 4E-21 ecm. In a subsequent phase, Phase~II, we propose to improve the sensitivity to 6E-23 ecm using a dedicated instrument installed on a different beamline that produces muons of momentum 125 MeV/c}.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Humanity's Last Exam
Authors:
Long Phan,
Alice Gatti,
Ziwen Han,
Nathaniel Li,
Josephina Hu,
Hugh Zhang,
Chen Bo Calvin Zhang,
Mohamed Shaaban,
John Ling,
Sean Shi,
Michael Choi,
Anish Agrawal,
Arnav Chopra,
Adam Khoja,
Ryan Kim,
Richard Ren,
Jason Hausenloy,
Oliver Zhang,
Mantas Mazeika,
Dmitry Dodonov,
Tung Nguyen,
Jaeho Lee,
Daron Anderson,
Mikhail Doroshenko,
Alun Cennyth Stokes
, et al. (1084 additional authors not shown)
Abstract:
Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of…
▽ More
Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of human knowledge, designed to be the final closed-ended academic benchmark of its kind with broad subject coverage. HLE consists of 2,500 questions across dozens of subjects, including mathematics, humanities, and the natural sciences. HLE is developed globally by subject-matter experts and consists of multiple-choice and short-answer questions suitable for automated grading. Each question has a known solution that is unambiguous and easily verifiable, but cannot be quickly answered via internet retrieval. State-of-the-art LLMs demonstrate low accuracy and calibration on HLE, highlighting a significant gap between current LLM capabilities and the expert human frontier on closed-ended academic questions. To inform research and policymaking upon a clear understanding of model capabilities, we publicly release HLE at https://lastexam.ai.
△ Less
Submitted 19 April, 2025; v1 submitted 24 January, 2025;
originally announced January 2025.
-
Bright single-photon source in a silicon chip by nanoscale positioning of a color center in a microcavity
Authors:
Baptiste Lefaucher,
Yoann Baron,
Jean-Baptiste Jager,
Vincent Calvo,
Christian Elsässer,
Giuliano Coppola,
Frédéric Mazen,
Sébastien Kerdilès,
Félix Cache,
Anaïs Dréau,
Jean-Michel Gérard
Abstract:
We present an all-silicon source of near-infrared linearly-polarized single photons, fabricated by nanoscale positioning of a color center in a silicon-on-insulator microcavity. The color center consists of a single W center, created at a well-defined position by Si$^{+}$ ion implantation through a 150 nm-diameter nanohole in a mask. A circular Bragg grating cavity resonant with the W's zero-phono…
▽ More
We present an all-silicon source of near-infrared linearly-polarized single photons, fabricated by nanoscale positioning of a color center in a silicon-on-insulator microcavity. The color center consists of a single W center, created at a well-defined position by Si$^{+}$ ion implantation through a 150 nm-diameter nanohole in a mask. A circular Bragg grating cavity resonant with the W's zero-phonon line at 1217 nm is fabricated at the same location as the nanohole. Under above-gap continuous-wave excitation, a very clean photon antibunching behavior ($g{^2} \leq 0.06$) is observed over the entire power range, which highlights the absence of parasitic emitters. Purcell-enhancement of W's zero-phonon emission provides both a record-high photoluminescence count rate among Si color centers (ca $1.2 \times 10^{6}$ counts/s) and apparent Debye-Waller factor around 99%. We also demonstrate the triggered emission of single photons with 93% purity under weak pulsed laser excitation. At high pulsed laser power, we reveal a detrimental effect of repumping processes, that could be mitigated using selective pumping schemes in the future. These results represent a major step towards on-demand sources of indistinguishable near-infrared single photons within silicon photonics chips.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Equivalence between exponential concentration in quantum machine learning kernels and barren plateaus in variational algorithms
Authors:
Pranav Kairon,
Jonas Jäger,
Roman V. Krems
Abstract:
We formalize a rigorous connection between barren plateaus (BP) in variational quantum algorithms and exponential concentration of quantum kernels for machine learning. Our results imply that recently proposed strategies to build BP-free quantum circuits can be utilized to construct useful quantum kernels for machine learning. This is illustrated by a numerical example employing a provably BP-free…
▽ More
We formalize a rigorous connection between barren plateaus (BP) in variational quantum algorithms and exponential concentration of quantum kernels for machine learning. Our results imply that recently proposed strategies to build BP-free quantum circuits can be utilized to construct useful quantum kernels for machine learning. This is illustrated by a numerical example employing a provably BP-free quantum neural network to construct kernel matrices for classification datasets of increasing dimensionality without exponential concentration.
△ Less
Submitted 15 January, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Fast gradient-free optimization of excitations in variational quantum eigensolvers
Authors:
Jonas Jäger,
Thierry Nicolas Kaldenbach,
Max Haas,
Erik Schultheis
Abstract:
We introduce ExcitationSolve, a fast globally-informed gradient-free optimizer for physically-motivated ansätze constructed of excitation operators, a common choice in variational quantum eigensolvers. ExcitationSolve extends quantum-aware and hyperparameter-free optimizers such as Rotosolve, from parameterized unitaries with generators $G$ of the form $G^2=I$, e.g., rotations, to the more general…
▽ More
We introduce ExcitationSolve, a fast globally-informed gradient-free optimizer for physically-motivated ansätze constructed of excitation operators, a common choice in variational quantum eigensolvers. ExcitationSolve extends quantum-aware and hyperparameter-free optimizers such as Rotosolve, from parameterized unitaries with generators $G$ of the form $G^2=I$, e.g., rotations, to the more general class of $G^3=G$ exhibited by the physically-inspired excitation operators such as in the unitary coupled cluster approach. ExcitationSolve determines the global optimum along each variational parameter using the same quantum resources that gradient-based optimizers require for one update step. We provide optimization strategies for both fixed and adaptive variational ansätze, as well as a multi-parameter generalization for the simultaneous selection and optimization of multiple excitation operators. We demonstrate the utility of ExcitationSolve on molecular ground state energy calculations, thereby outperforming state-of-the-art optimizers commonly employed in variational quantum algorithms. Across all tested molecules in equilibrium geometry, ExcitationSolve remarkably reaches chemical accuracy in a single parameter sweep in a fixed ansatz. In addition, ExcitationSolve achieves adaptive ansätze consisting of fewer operators than in the gradient-based adaptive approach. Finally, ExcitationSolve shows robustness against substantial noise in real quantum hardware, retaining an advantage over other optimizers.
△ Less
Submitted 7 April, 2025; v1 submitted 9 September, 2024;
originally announced September 2024.
-
The radiative torque spin-up efficiency of ballistic dust grain aggregates
Authors:
Jonathan A. Jäger,
Stefan Reissl,
Ralf S. Klessen
Abstract:
Aims. It is quintessential for the analysis of the observed dust polarization signal to understand the rotational dynamics of interstellar dust grains. Additionally, high rotation velocities may rotationally disrupt the grains, which impacts the grain-size distribution. We aim to constrain the set of parameters for an accurate description of the rotational spin-up process of ballistic dust grain a…
▽ More
Aims. It is quintessential for the analysis of the observed dust polarization signal to understand the rotational dynamics of interstellar dust grains. Additionally, high rotation velocities may rotationally disrupt the grains, which impacts the grain-size distribution. We aim to constrain the set of parameters for an accurate description of the rotational spin-up process of ballistic dust grain aggregates driven by radiative torques (RATs).
Methods. We modeled the dust grains as complex fractal aggregates grown by the ballistic aggregation of uniform spherical particles (monomers) of different sizes. A broad variation of dust materials, shapes, and sizes were studied in the presence of different radiation sources.
Results. We find that the canonical parameterization for the torque efficiency overestimates the maximum angular velocity $ω_{\mathrm{RAT}}$ caused by RATs acting on ballistic grain aggregates. To resolve this problem, we propose a new parameterization that predicts $ω_{\mathrm{RAT}}$ more accurately. We find that RATs are most efficient for larger grains with a lower monomer density. Following the constant part, the parameterization has two power laws with different slopes that retain universality for all grain sizes. The maximum grain rotation does not scale linearly with radiation strength because different drag mechanisms dominate, depending on the grain material and environment. The angular velocity $ω_{\mathrm{RAT}}$ of individual single dust grains has a wide distribution and may even differ from the mean by up to two orders of magnitude. Even though ballistic aggregates have a lower RAT efficiency, strong sources of radiation (stronger than $\approx 100$ times the typical interstellar radiation field) may still produce rotation velocities high enough to cause the rotational disruption of dust grains.
△ Less
Submitted 20 December, 2024; v1 submitted 13 July, 2024;
originally announced July 2024.
-
Orders of Magnitude Improved Cyclotron-Mode Cooling for Non-Destructive Spin Quantum Transition Spectroscopy with Single Trapped Antiprotons
Authors:
B. M. Latacz,
M. Fleck,
J. I. Jaeger,
G. Umbrazunas,
B. P. Arndt,
S. R. Erlewein,
E. J. Wursten,
J. A. Devlin,
P. Micke,
F. Abbass,
D. Schweitzer,
M. Wiesinger,
C. Will,
H. Yildiz,
K. Blaum,
Y. Matsuda,
A. Mooser,
C. Ospelkaus,
A. Soter,
W. Quint,
J. Walz,
Y. Yamazaki,
C. Smorra,
S. Ulmer
Abstract:
We demonstrate efficient sub-thermal cooling of the modified cyclotron mode of a single trapped antiproton and reach particle temperatures $T_+=E_+/k_\text{B}$ below $200\,$mK in preparation times shorter than $500\,$s. This corresponds to the fastest resistive single-particle cyclotron cooling to sub-thermal temperatures ever demonstrated. By cooling trapped particles to such low energies, we dem…
▽ More
We demonstrate efficient sub-thermal cooling of the modified cyclotron mode of a single trapped antiproton and reach particle temperatures $T_+=E_+/k_\text{B}$ below $200\,$mK in preparation times shorter than $500\,$s. This corresponds to the fastest resistive single-particle cyclotron cooling to sub-thermal temperatures ever demonstrated. By cooling trapped particles to such low energies, we demonstrate the detection of antiproton spin transitions with an error-rate $<0.000025$, more than three orders of magnitude better than in previous best experiments. This method will have enormous impact on multi-Penning-trap experiments that measure magnetic moments with single nuclear spins for tests of matter/antimatter symmetry, high-precision mass-spectrometry, and measurements of electron $g$-factors bound to highly-charged ions that test quantum electrodynamics.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Purcell enhancement of silicon W centers in circular Bragg grating cavities
Authors:
Baptiste Lefaucher,
Jean-Baptiste Jager,
Vincent Calvo,
Félix Cache,
Alrik Durand,
Vincent Jacques,
Isabelle Robert-Philip,
Guillaume Cassabois,
Yoann Baron,
Frédéric Mazen,
Sébastien Kerdilès,
Shay Reboh,
Anaïs Dréau,
Jean-Michel Gérard
Abstract:
Generating single photons on demand in silicon is a challenge to the scalability of silicon-on-insulator integrated quantum photonic chips. While several defects acting as artificial atoms have recently demonstrated an ability to generate antibunched single photons, practical applications require tailoring of their emission through quantum cavity effects. In this work, we perform cavity quantum el…
▽ More
Generating single photons on demand in silicon is a challenge to the scalability of silicon-on-insulator integrated quantum photonic chips. While several defects acting as artificial atoms have recently demonstrated an ability to generate antibunched single photons, practical applications require tailoring of their emission through quantum cavity effects. In this work, we perform cavity quantum electrodynamics experiments with ensembles of artificial atoms embedded in silicon-on-insulator microresonators. The emitters under study, known as W color centers, are silicon tri-interstitial defects created upon self-ion implantation and thermal annealing. The resonators consist of circular Bragg grating cavities, designed for moderate Purcell enhancement ($F_p=12.5$) and efficient luminescence extraction ($η_{coll}=40\%$ for a numerical aperture of 0.26) for W centers located at the mode antinode. When the resonant frequency mode of the cavity is tuned with the zero-phonon transition of the emitters at 1218 nm, we observe a 20-fold enhancement of the zero-phonon line intensity, together with a two-fold decrease of the total relaxation time in time-resolved photoluminescence experiments. Based on finite-difference time-domain simulations, we propose a detailed theoretical analysis of Purcell enhancement for an ensemble of W centers, considering the overlap between the emitters and the resonant cavity mode. We obtain a good agreement with our experimental results assuming a quantum efficiency of $65 \pm 10 \%$ for the emitters in bulk silicon. Therefore, W centers open promising perspectives for the development of on-demand sources of single photons, harnessing cavity quantum electrodynamics in silicon photonic chips.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Image-current mediated sympathetic laser cooling of a single proton in a Penning trap down to 170 mK axial temperature
Authors:
C. Will,
M. Wiesinger,
P. Micke,
H. Yildiz,
T. Driscoll,
S. Kommu,
F. Abbass,
B. P. Arndt,
B. B. Bauer,
S. Erlewein,
M. Fleck,
J. I. Jäger,
B. M. Latacz,
A. Mooser,
D. Schweitzer,
G. Umbrazunas,
E. Wursten,
K. Blaum,
J. A. Devlin,
C. Ospelkaus,
W. Quint,
A. Soter,
J. Walz,
C. Smorra,
S. Ulmer
Abstract:
We demonstrate a new temperature record for image-current mediated sympathetic cooling of a single proton in a cryogenic Penning trap by laser-cooled $^9$Be$^+$. An axial mode temperature of 170 mK is reached, which is a 15-fold improvement compared to the previous best value. Our cooling technique is applicable to any charged particle, so that the measurements presented here constitute a mileston…
▽ More
We demonstrate a new temperature record for image-current mediated sympathetic cooling of a single proton in a cryogenic Penning trap by laser-cooled $^9$Be$^+$. An axial mode temperature of 170 mK is reached, which is a 15-fold improvement compared to the previous best value. Our cooling technique is applicable to any charged particle, so that the measurements presented here constitute a milestone towards the next generation of high-precision Penning-trap measurements with exotic particles.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
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.
-
A Physics Informed Machine Learning Method for Power System Model Parameter Optimization
Authors:
Georg Kordowich,
Johann Jaeger
Abstract:
This paper proposes a gradient descent based optimization method that relies on automatic differentiation for the computation of gradients. The method uses tools and techniques originally developed in the field of artificial neural networks and applies them to power system simulations. It can be used as a one-shot physics informed machine learning approach for the identification of uncertain power…
▽ More
This paper proposes a gradient descent based optimization method that relies on automatic differentiation for the computation of gradients. The method uses tools and techniques originally developed in the field of artificial neural networks and applies them to power system simulations. It can be used as a one-shot physics informed machine learning approach for the identification of uncertain power system simulation parameters. Additionally, it can optimize parameters with respect to a desired system behavior. The paper focuses on presenting the theoretical background and showing exemplary use-cases for both parameter identification and optimization using a single machine infinite busbar system. The results imply a generic applicability for a wide range of problems.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
New methods for quasi-interpolation approximations: resolution of odd-degree singularities
Authors:
Martin Buhmann,
Janin Jäger,
Joaquín Jódar,
Miguel L. Rodríguez
Abstract:
In this paper, we study functional approximations where we choose the so-called radial basis function method and more specifically, quasi-interpolation. From the various available approaches to the latter, we form new quasi-Lagrange functions when the orders of the singularities of the radial function's Fourier transforms at zero do not match the parity of the dimension of the space, and therefore…
▽ More
In this paper, we study functional approximations where we choose the so-called radial basis function method and more specifically, quasi-interpolation. From the various available approaches to the latter, we form new quasi-Lagrange functions when the orders of the singularities of the radial function's Fourier transforms at zero do not match the parity of the dimension of the space, and therefore new expansions and coefficients are needed to overcome this problem. We develop explicit constructions of infinite Fourier expansions that provide these coefficients and make an extensive comparison of the approximation qualities and - with a particular focus - polynomial precision and uniform approximation order of the various formulae. One of the interesting observations concerns the link between algebraic conditions of expansion coefficients and analytic properties of localness and convergence.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Ultra thin polymer foil cryogenic window for antiproton deceleration and storage
Authors:
B. M. Latacz,
B. P. Arndt,
J. A. Devlin,
S. R. Erlewein,
M. Fleck,
J. I. Jäger,
P. Micke,
G. Umbrazunas,
E. Wursten,
F. Abbass,
D. Schweitzer,
M. Wiesinger,
C. Will,
H. Yildiz,
K. Blaum,
Y. Matsuda,
A. Mooser,
C. Ospelkaus,
C. Smorra,
A. Sótér,
W. Quint,
J. Walz,
Y. Yamazaki,
S. Ulmer
Abstract:
We present the design and characterisation of a cryogenic window based on an ultra-thin aluminised PET foil at T < 10K, which can withstand a pressure difference larger than 1bar at a leak rate < $1\times 10^{-9}$ mbar$\cdot$ l/s. Its thickness of approximately 1.7 $μ$m makes it transparent to various types of particles over a broad energy range. To optimise the transfer of 100keV antiprotons thro…
▽ More
We present the design and characterisation of a cryogenic window based on an ultra-thin aluminised PET foil at T < 10K, which can withstand a pressure difference larger than 1bar at a leak rate < $1\times 10^{-9}$ mbar$\cdot$ l/s. Its thickness of approximately 1.7 $μ$m makes it transparent to various types of particles over a broad energy range. To optimise the transfer of 100keV antiprotons through the window, we tested the degrading properties of different aluminium coated PET foils of thicknesses between 900nm and 2160nm, concluding that 1760nm foil decelerates antiprotons to an average energy of 5 keV. We have also explicitly studied the permeation as a function of coating thickness and temperature, and have performed extensive thermal and mechanical endurance and stress tests. Our final design integrated into the experiment has an effective open surface consisting of 7 holes with 1 mm diameter and will transmit up to 2.5% of the injected 100keV antiproton beam delivered by the AD/ELENA-facility of CERN.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Trap-integrated fluorescence detection based on silicon photomultipliers in a cryogenic Penning trap
Authors:
Markus Wiesinger,
Florian Stuhlmann,
Matthew A. Bohman,
Peter Micke,
Christian Will,
Hüseyin Yildiz,
Fatma Abbass,
Bela P. Arndt,
Jack A. Devlin,
Stefan Erlewein,
Markus Fleck,
Julia I. Jäger,
Barbara M. Latacz,
Daniel Schweitzer,
Gilbertas Umbrazunas,
Elise Wursten,
Klaus Blaum,
Yasuyuki Matsuda,
Andreas Mooser,
Wolfgang Quint,
Anna Soter,
Jochen Walz,
Christian Smorra,
Stefan Ulmer
Abstract:
We present a fluorescence-detection system for laser-cooled 9Be+ ions based on silicon photomultipliers (SiPM) operated at 4 K and integrated into our cryogenic 1.9 T multi-Penning-trap system. Our approach enables fluorescence detection in a hermetically-sealed cryogenic Penning-trap chamber with limited optical access, where state-of-the-art detection using a telescope and photomultipliers at ro…
▽ More
We present a fluorescence-detection system for laser-cooled 9Be+ ions based on silicon photomultipliers (SiPM) operated at 4 K and integrated into our cryogenic 1.9 T multi-Penning-trap system. Our approach enables fluorescence detection in a hermetically-sealed cryogenic Penning-trap chamber with limited optical access, where state-of-the-art detection using a telescope and photomultipliers at room temperature would be extremely difficult. We characterize the properties of the SiPM in a cryocooler at 4 K, where we measure a dark count rate below 1/s and a detection efficiency of 2.5(3) %. We further discuss the design of our cryogenic fluorescence-detection trap, and analyze the performance of our detection system by fluorescence spectroscopy of 9Be+ ion clouds during several runs of our experiment.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Artificial intelligence is algorithmic mimicry: why artificial "agents" are not (and won't be) proper agents
Authors:
Johannes Jaeger
Abstract:
What is the prospect of developing artificial general intelligence (AGI)? I investigate this question by systematically comparing living and algorithmic systems, with a special focus on the notion of "agency." There are three fundamental differences to consider: (1) Living systems are autopoietic, that is, self-manufacturing, and therefore able to set their own intrinsic goals, while algorithms ex…
▽ More
What is the prospect of developing artificial general intelligence (AGI)? I investigate this question by systematically comparing living and algorithmic systems, with a special focus on the notion of "agency." There are three fundamental differences to consider: (1) Living systems are autopoietic, that is, self-manufacturing, and therefore able to set their own intrinsic goals, while algorithms exist in a computational environment with target functions that are both provided by an external agent. (2) Living systems are embodied in the sense that there is no separation between their symbolic and physical aspects, while algorithms run on computational architectures that maximally isolate software from hardware. (3) Living systems experience a large world, in which most problems are ill-defined (and not all definable), while algorithms exist in a small world, in which all problems are well-defined. These three differences imply that living and algorithmic systems have very different capabilities and limitations. In particular, it is extremely unlikely that true AGI (beyond mere mimicry) can be developed in the current algorithmic framework of AI research. Consequently, discussions about the proper development and deployment of algorithmic tools should be shaped around the dangers and opportunities of current narrow AI, not the extremely unlikely prospect of the emergence of true agency in artificial systems.
△ Less
Submitted 22 February, 2024; v1 submitted 27 June, 2023;
originally announced July 2023.
-
BASE-STEP: A transportable antiproton reservoir for fundamental interaction studies
Authors:
C. Smorra,
F. Abbass,
M. Bohman,
Y. Dutheil,
A. Hobl,
D. Popper,
B. Arndt,
B. B. Bauer,
J. A. Devlin,
S. Erlewein,
M. Fleck,
J. I. Jäger,
B. M. Latacz,
P. Micke,
M. Schiffelholz,
G. Umbrazunas,
M. Wiesinger,
C. Will,
E. Wursten,
H. Yildiz,
K. Blaum,
Y. Matsuda,
A. Mooser,
C. Ospelkaus,
W. Quint
, et al. (4 additional authors not shown)
Abstract:
Currently, the only worldwide source of low-energy antiprotons is the AD/ELENA facility located at CERN. To date, all precision measurements on single antiprotons have been conducted at this facility and provide stringent tests of the fundamental interactions and their symmetries. However, the magnetic field fluctuations from the facility operation limit the precision of upcoming measurements. To…
▽ More
Currently, the only worldwide source of low-energy antiprotons is the AD/ELENA facility located at CERN. To date, all precision measurements on single antiprotons have been conducted at this facility and provide stringent tests of the fundamental interactions and their symmetries. However, the magnetic field fluctuations from the facility operation limit the precision of upcoming measurements. To overcome this limitation, we have designed the transportable antiproton trap system BASE-STEP to relocate antiprotons to laboratories with a calm magnetic environment. We anticipate that the transportable antiproton trap will facilitate enhanced tests of CPT invariance with antiprotons, and provide new experimental possibilities of using transported antiprotons and other accelerator-produced exotic ions. We present here the technical design of the transportable trap system. This includes the transportable superconducting magnet, the cryogenic inlay consisting of the trap stack and the detection systems, and the differential pumping section to suppress the residual gas flow into the cryogenic trap chamber.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Updates to the DScribe Library: New Descriptors and Derivatives
Authors:
Jarno Laakso,
Lauri Himanen,
Henrietta Homm,
Eiaki V. Morooka,
Marc O. J. Jäger,
Milica Todorović,
Patrick Rinke
Abstract:
We present an update of the DScribe package, a Python library for atomistic descriptors. The update extends DScribe's descriptor selection with the Valle-Oganov materials fingerprint and provides descriptor derivatives to enable more advanced machine learning tasks, such as force prediction and structure optimization. For all descriptors, numeric derivatives are now available in DSribe. For the ma…
▽ More
We present an update of the DScribe package, a Python library for atomistic descriptors. The update extends DScribe's descriptor selection with the Valle-Oganov materials fingerprint and provides descriptor derivatives to enable more advanced machine learning tasks, such as force prediction and structure optimization. For all descriptors, numeric derivatives are now available in DSribe. For the many-body tensor representation (MBTR) and the Smooth Overlap of Atomic Positions (SOAP), we have also implemented analytic derivatives. We demonstrate the effectiveness of the descriptor derivatives for machine learning models of Cu clusters and perovskite alloys.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Testing CPT Invariance by High-Precision Comparisons of Fundamental Properties of Protons and Antiprotons at BASE
Authors:
E. J. Wursten,
M. J. Borchert,
J. A. Devlin,
S. R. Erlewein,
M. Fleck,
J. A. Harrington,
J. I. Jäger,
B. M. Latacz,
P. Micke,
G. Umbrazunas,
F. Abbass,
M. Bohman,
S. Kommu,
D. Popper,
M. Wiesinger,
C. Will,
H. Yildiz,
K. Blaum,
Y. Matsuda,
A. Mooser,
C. Ospelkaus,
A. Soter,
W. Quint,
J. Walz,
Y. Yamazaki
, et al. (2 additional authors not shown)
Abstract:
The BASE collaboration at the Antiproton Decelerator facility of CERN compares the fundamental properties of protons and antiprotons using advanced Penning-trap systems. In previous measurement campaigns, we measured the magnetic moments of the proton and the antiproton, reaching (sub-)parts-in-a-billion fractional uncertainty. In the latest campaign, we have compared the proton and antiproton cha…
▽ More
The BASE collaboration at the Antiproton Decelerator facility of CERN compares the fundamental properties of protons and antiprotons using advanced Penning-trap systems. In previous measurement campaigns, we measured the magnetic moments of the proton and the antiproton, reaching (sub-)parts-in-a-billion fractional uncertainty. In the latest campaign, we have compared the proton and antiproton charge-to-mass ratios with a fractional uncertainty of 16 parts in a trillion. In this contribution, we give an overview of the measurement campaign, and detail how its results are used to constrain nine spin-independent coefficients of the Standard-Model Extension in the proton and electron sector.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Strictly positive definite kernels on compact Riemannian manifolds
Authors:
Jean Carlo Guella,
Janin Jäger
Abstract:
The paper studies strictly positive definite kernels on compact Riemannian manifolds. We state new conditions to ensure strict positive definiteness for general kernels and kernels with certain convolutional structure. We also state conditions for such kernels on product manifolds. As an example conditions for products of two-point homogeneous spaces are presented.
The paper studies strictly positive definite kernels on compact Riemannian manifolds. We state new conditions to ensure strict positive definiteness for general kernels and kernels with certain convolutional structure. We also state conditions for such kernels on product manifolds. As an example conditions for products of two-point homogeneous spaces are presented.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Cavity-enhanced zero-phonon emission from an ensemble of G centers in a silicon-on-insulator microring
Authors:
B. Lefaucher,
J. -B. Jager,
V. Calvo,
A. Durand,
Y. Baron,
F. Cache,
V. Jacques,
I. Robert-Philip,
G. Cassabois,
T. Herzig,
J. Meijer,
S. Pezzagna,
M. Khoury,
M. Abbarchi,
A. Dréau,
J. -M. Gérard
Abstract:
We report successful incorporation of an ensemble of G centers in silicon-on-insulator (SOI) microrings using ion implantation and conventional nanofabrication. The coupling between the emitters and the resonant modes of the microrings is studied using continuous-wave and time-resolved microphotoluminescence (PL) experiments. We observe the resonant modes of the microrings on PL spectra, on the wi…
▽ More
We report successful incorporation of an ensemble of G centers in silicon-on-insulator (SOI) microrings using ion implantation and conventional nanofabrication. The coupling between the emitters and the resonant modes of the microrings is studied using continuous-wave and time-resolved microphotoluminescence (PL) experiments. We observe the resonant modes of the microrings on PL spectra, on the wide spectral range that is covered by G centers emission. By finely tuning the size of the microrings, we match their zero-phonon line at 1278 nm with a resonant mode of quality factor around 3000 and volume 7.2 (lambda over n)^3. The zero-phonon line intensity is enhanced by a factor of 5, both in continuous-wave and time-resolved measurements. This is attributed to the Purcell enhancement of zero-phonon spontaneous emission into the resonant mode and quantitatively understood considering the distribution of the G centers dipoles. Despite the enhancement of the zero-phonon emission, we do not observe any sizeable decrease of the average lifetime of the G centers, which points at a low radiative yield (<10%). We reveal the detrimental impact of parasitic defects in heavily implanted silicon, and discuss the perspectives for quantum electrodynamics experiments with individual color centers in lightly implanted SOI rings. Our results provide key information for the development of deterministic single photon sources for integrated quantum photonics.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
$\ell^1$-summability and Fourier series of B-splines with respect to their knots
Authors:
Martin Buhmann,
Janin Jäger,
Yuan Xu
Abstract:
We study the $\ell^1$-summability of functions in the $d$-dimensional torus $\mathbb{T}^d$ and so-called $\ell^1$-invariant functions. Those are functions on the torus whose Fourier coefficients depend only on the $\ell^1$-norm of their indices. Such functions are characterized as divided differences that have $\cos θ_1,\ldots,\cosθ_d$ as knots for $(θ_1\,\ldots, θ_d) \in \mathbb{T}^d$. It leads u…
▽ More
We study the $\ell^1$-summability of functions in the $d$-dimensional torus $\mathbb{T}^d$ and so-called $\ell^1$-invariant functions. Those are functions on the torus whose Fourier coefficients depend only on the $\ell^1$-norm of their indices. Such functions are characterized as divided differences that have $\cos θ_1,\ldots,\cosθ_d$ as knots for $(θ_1\,\ldots, θ_d) \in \mathbb{T}^d$. It leads us to consider the $d$-dimensional Fourier series of univariate B-splines with respect to its knots, which turns out to enjoy a simple bi-orthogonality that can be used to obtain an orthogonal series of the B-spline function.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Universal expressiveness of variational quantum classifiers and quantum kernels for support vector machines
Authors:
Jonas Jäger,
Roman V. Krems
Abstract:
Machine learning is considered to be one of the most promising applications of quantum computing. Therefore, the search for quantum advantage of the quantum analogues of machine learning models is a key research goal. Here, we show that variational quantum classifiers and support vector machines with quantum kernels can solve a classification problem based on the $k$-Forrelation problem, which is…
▽ More
Machine learning is considered to be one of the most promising applications of quantum computing. Therefore, the search for quantum advantage of the quantum analogues of machine learning models is a key research goal. Here, we show that variational quantum classifiers and support vector machines with quantum kernels can solve a classification problem based on the $k$-Forrelation problem, which is known to be PromiseBQP-complete. Because the PromiseBQP complexity class includes all Bounded-Error Quantum Polynomial-Time (BQP) decision problems, our results imply that there exists a feature map and a quantum kernel that make variational quantum classifiers and quantum kernel support vector machines efficient solvers for any BQP problem. Hence, this work implies that their feature map and quantum kernel, respectively, can be designed to have a quantum advantage for any classification problem that cannot be classically solved in polynomial time but contrariwise by a quantum computer.
△ Less
Submitted 8 February, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Strictly positive definite non-isotropic kernels on two-point homogeneous manifolds: The asymptotic approach
Authors:
Jean Carlo Guella,
Janin Jäger
Abstract:
We present sufficient condition for a family of positive definite kernels on a compact two-point homogeneous space to be strictly positive definite based on their representation as a series of spherical harmonics. The family analyzed is a generalization of the isotropic kernels and the case of a real sphere is analyzed in details.
We present sufficient condition for a family of positive definite kernels on a compact two-point homogeneous space to be strictly positive definite based on their representation as a series of spherical harmonics. The family analyzed is a generalization of the isotropic kernels and the case of a real sphere is analyzed in details.
△ Less
Submitted 15 May, 2022;
originally announced May 2022.
-
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
Authors:
Dan Bogdanov,
Joosep Jääger,
Peeter Laud,
Härmel Nestra,
Martin Pettai,
Jaak Randmets,
Ville Sokk,
Kert Tali,
Sandhra-Mirella Valdma
Abstract:
We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design features a type system, where each piece of data is assigned both a confidentiality and an integrity type, which are not orthogonal to each other. We perform an empi…
▽ More
We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design features a type system, where each piece of data is assigned both a confidentiality and an integrity type, which are not orthogonal to each other. We perform an empiric evaluation of the statements produced by its compiler in terms of their size. We also show the integration of the compiler with the implementation of a zero-knowledge proof technique, and evaluate the running time of both Prover and Verifier.
△ Less
Submitted 26 August, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
On the Effect of Pre-Processing and Model Complexity for Plastic Analysis Using Short-Wave-Infrared Hyper-Spectral Imaging
Authors:
Klaas Dijkstra,
Maya Aghaei,
Femke Jaarsma,
Martin Dijkstra,
Rudy Folkersma,
Jan Jager,
Jaap van de Loosdrecht
Abstract:
The importance of plastic waste recycling is undeniable. In this respect, computer vision and deep learning enable solutions through the automated analysis of short-wave-infrared hyper-spectral images of plastics. In this paper, we offer an exhaustive empirical study to show the importance of efficient model selection for resolving the task of hyper-spectral image segmentation of various plastic f…
▽ More
The importance of plastic waste recycling is undeniable. In this respect, computer vision and deep learning enable solutions through the automated analysis of short-wave-infrared hyper-spectral images of plastics. In this paper, we offer an exhaustive empirical study to show the importance of efficient model selection for resolving the task of hyper-spectral image segmentation of various plastic flakes using deep learning. We assess the complexity level of generic and specialized models and infer their performance capacity: generic models are often unnecessarily complex. We introduce two variants of a specialized hyper-spectral architecture, PlasticNet, that outperforms several well-known segmentation architectures in both performance as well as computational complexity. In addition, we shed lights on the significance of signal pre-processing within the realm of hyper-spectral imaging. To complete our contribution, we introduce the largest, most versatile hyper-spectral dataset of plastic flakes of four primary polymer types.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.
-
Convergence of sparse grid Gaussian convolution approximation for multi-dimensional periodic function
Authors:
Simon Hubbert,
Janin Jäger,
Jeremy Levesley
Abstract:
We consider the problem of approximating $[0,1]^{d}$-periodic functions by convolution with a scaled Gaussian kernel. We start by establishing convergence rates to functions from periodic Sobolev spaces and we show that the saturation rate is $O(h^{2}),$ where $h$ is the scale of the Gaussian kernel. Taken from a discrete point of view, this result can be interpreted as the accuracy that can be ac…
▽ More
We consider the problem of approximating $[0,1]^{d}$-periodic functions by convolution with a scaled Gaussian kernel. We start by establishing convergence rates to functions from periodic Sobolev spaces and we show that the saturation rate is $O(h^{2}),$ where $h$ is the scale of the Gaussian kernel. Taken from a discrete point of view, this result can be interpreted as the accuracy that can be achieved on the uniform grid with spacing $h.$ In the discrete setting, the curse of dimensionality would place severe restrictions on the computation of the approximation. For instance, a spacing of $2^{-n}$ would provide an approximation converging at a rate of $O(2^{-2n})$ but would require $(2^{n}+1)^{d}$ grid points. To overcome this we introduce a sparse grid version of Gaussian convolution approximation, where substantially fewer grid points are required, and
show that the sparse grid version delivers a saturation rate of $O(n^{d-1}2^{-2n}).$ This rate is in line with what one would expect in the sparse grid setting (where the full grid error only deteriorates by a factor of order $n^{d-1}$) however the analysis that leads to the result is novel in that it draws on results from the theory of special functions and key observations regarding the form of certain weighted geometric sums.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Rotation periods and shape asphericity in asteroid families based on TESS S1-S13 observations
Authors:
Gyula M. Szabó,
András Pál,
László Szigeti,
Zsófia Bognár,
Attila Bódi,
Csilla Kalup,
Zoltán J. Jäger,
László L. Kiss,
Csaba Kiss,
József Kovács,
Gábor Marton,
László Molnár,
Emese Plachy,
Krisztián Sárneczky,
Róbert Szakáts,
Róbert Szabó
Abstract:
Here we present the analysis of the distribution of rotation periods and light curve amplitudes based on 2859 family asteroids in 16 Main Belt families based on 9912 TESS asteroid light curves in the TSSYS-DR1 asteroid light curve database. We found that the distribution of the light curve properties follow a family-specific character in some asteroid families, including the Hungaria, Maria, Juno,…
▽ More
Here we present the analysis of the distribution of rotation periods and light curve amplitudes based on 2859 family asteroids in 16 Main Belt families based on 9912 TESS asteroid light curves in the TSSYS-DR1 asteroid light curve database. We found that the distribution of the light curve properties follow a family-specific character in some asteroid families, including the Hungaria, Maria, Juno, Eos, Eucharis, and Alauda families. While in other large families, these distributions are in general very similar to each other. We confirm that older families tend to contain a larger fraction of more spheroidal, low-amplitude asteroids. We found that rotation period distributions are different in the cores and outskirts of the Flora and Maria families, while the Vesta, Eos, and Eunomia families lack this feature. We also confirm that very fast spinning asteroids are close to spherical (or spinning top shapes), and minor planets rotating slower than ~11 hour are also more spherical than asteroids in the 4--8 hour period range and this group is expected to contain the most elongated bodies.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
Automatic Pharma News Categorization
Authors:
Stanislaw Adaszewski,
Pascal Kuner,
Ralf J. Jaeger
Abstract:
We use a text dataset consisting of 23 news categories relevant to pharma information science, in order to compare the fine-tuning performance of multiple transformer models in a classification task. Using a well-balanced dataset with multiple autoregressive and autocoding transformation models, we compare their fine-tuning performance. To validate the winning approach, we perform diagnostics of m…
▽ More
We use a text dataset consisting of 23 news categories relevant to pharma information science, in order to compare the fine-tuning performance of multiple transformer models in a classification task. Using a well-balanced dataset with multiple autoregressive and autocoding transformation models, we compare their fine-tuning performance. To validate the winning approach, we perform diagnostics of model behavior on mispredicted instances, including inspection of category-wise metrics, evaluation of prediction certainty and assessment of latent space representations. Lastly, we propose an ensemble model consisting of the top performing individual predictors and demonstrate that this approach offers a modest improvement in the F1 metric.
△ Less
Submitted 28 December, 2021;
originally announced January 2022.
-
The effect of boson-boson interaction on the Bipolaron formation
Authors:
Jonas Jager,
Ryan Barnett
Abstract:
Impurities immersed into a surrounding ultra-cold Bose gas experience interactions mediated by the surrounding many-body environment. If one focuses on two impurities that are sufficiently close to each other, they can form a bipolaron pair. Here, we discuss how the standard methods based on linearizing the condensate field lead to results only valid in the weak coupling regime and for sufficientl…
▽ More
Impurities immersed into a surrounding ultra-cold Bose gas experience interactions mediated by the surrounding many-body environment. If one focuses on two impurities that are sufficiently close to each other, they can form a bipolaron pair. Here, we discuss how the standard methods based on linearizing the condensate field lead to results only valid in the weak coupling regime and for sufficiently large impurity separations. We show how those shortcomings can be remedied within the Born-Oppenheimer approximation by accounting for boson-boson interactions already on the mean-field level.
△ Less
Submitted 6 October, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Generalised Wendland functions for the sphere
Authors:
Simon Hubbert,
Janin Jäger
Abstract:
In this paper we compute the spherical Fourier expansions coefficients for the restriction of the generalised Wendland functions from $d-$dimensional Euclidean space to the (d-1)-dimensional unit sphere. The development required to derive these coefficients relies heavily upon known asymptotic results for hypergeometric functions and the final result shows that they can be expressed in closed form…
▽ More
In this paper we compute the spherical Fourier expansions coefficients for the restriction of the generalised Wendland functions from $d-$dimensional Euclidean space to the (d-1)-dimensional unit sphere. The development required to derive these coefficients relies heavily upon known asymptotic results for hypergeometric functions and the final result shows that they can be expressed in closed form as a multiple of a certain $_{3}F_{2}$ hypergeometric function. Using the closed form expressions we are able to provide the precise asymptotic rates of decay for the spherical Fourier coefficients which we observe have a close connection to the asymptotic decay rate of the corresponding Euclidean Fourier transform.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Strict positive definiteness of convolutional and axially symmetric kernels on d-dimensional spheres
Authors:
Martin Buhmann,
Janin Jäger
Abstract:
The paper introduces new sufficient conditions of strict positive definiteness for kernels on d-dimensional spheres which are not radially symmetric but possess specific coefficient structures. The results use the series expansion of the kernel in spherical harmonics. The kernels either have a convolutional form or are axially symmetric with respect to one axis. The given results on convolutional…
▽ More
The paper introduces new sufficient conditions of strict positive definiteness for kernels on d-dimensional spheres which are not radially symmetric but possess specific coefficient structures. The results use the series expansion of the kernel in spherical harmonics. The kernels either have a convolutional form or are axially symmetric with respect to one axis. The given results on convolutional kernels generalise the result derived by Chen et al. [8] for radial kernels. Keywords: strictly positive definite kernels, covariance functions, sphere
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Quantum Key-length Extension
Authors:
Joseph Jaeger,
Fang Song,
Stefano Tessaro
Abstract:
Should quantum computers become available, they will reduce the effective key length of basic secret-key primitives, such as blockciphers. To address this we will either need to use blockciphers which inherently have longer keys or use key-length extension techniques which employ a blockcipher to construct a more secure blockcipher that uses longer keys.
We consider the latter approach and revis…
▽ More
Should quantum computers become available, they will reduce the effective key length of basic secret-key primitives, such as blockciphers. To address this we will either need to use blockciphers which inherently have longer keys or use key-length extension techniques which employ a blockcipher to construct a more secure blockcipher that uses longer keys.
We consider the latter approach and revisit the FX and double encryption constructions. Classically, FX is known to be secure, while double encryption is no more secure than single encryption due to a meet-in-the-middle attack. We provide positive results, with concrete and tight bounds, for both of these constructions against quantum attackers in ideal models.
For FX, we consider a partially-quantum model, where the attacker has quantum access to the ideal primitive, but only classic access to FX. We provide two results for FX in this model. The first establishes the security of FX against non-adaptive attackers. The second establishes security against general adaptive attacks for a variant of FX using a random oracle in place of an ideal cipher. This result relies on the techniques of Zhandry (CRYPTO '19) for lazily sampling a quantum random oracle. An extension to perfectly lazily sampling a quantum random permutation, which would help resolve the adaptive security of standard FX, is an important but challenging open question. We introduce techniques for partially-quantum proofs without relying on analyzing the classical and quantum oracles separately, which is common in existing work. This may be of broader interest.
For double encryption we apply a technique of Tessaro and Thiruvengadam (TCC '18) to establish that security reduces to the difficulty of solving the list disjointness problem, which we are able to reduce through a chain of results to the known quantum difficulty of the element distinctness problem.
△ Less
Submitted 22 October, 2021; v1 submitted 3 May, 2021;
originally announced May 2021.
-
Stochastic-field approach to the quench dynamics of the one-dimensional Bose polaron
Authors:
Jonas Jager,
Ryan Barnett
Abstract:
We consider the dynamics of a quantum impurity after a sudden interaction quench into a one-dimensional degenerate Bose gas. We use the Keldysh path integral formalism to derive a truncated Wigner like approach that takes the back action of the impurity onto the condensate into account already on the mean-field level and further incorporates thermal and quantum effects up to one-loop accuracy. Thi…
▽ More
We consider the dynamics of a quantum impurity after a sudden interaction quench into a one-dimensional degenerate Bose gas. We use the Keldysh path integral formalism to derive a truncated Wigner like approach that takes the back action of the impurity onto the condensate into account already on the mean-field level and further incorporates thermal and quantum effects up to one-loop accuracy. This framework enables us not only to calculate the real space trajectory of the impurity but also the absorption spectrum. We find that quantum corrections and thermal effects play a crucial role for the impurity momentum at weak to intermediate impurity-bath couplings.Furthermore, we see the broadening of the absorption spectrum with increasing temperature.
△ Less
Submitted 31 August, 2021; v1 submitted 24 March, 2021;
originally announced March 2021.
-
PrivaLog: a privacy-aware logic programming language
Authors:
Joosep Jääger,
Alisa Pankova
Abstract:
Logic Programming (LP) is a subcategory of declarative programming that is considered to be relatively simple for non-programmers. LP developers focus on describing facts and rules of a logical derivation, and do not need to think about the algorithms actually implementing the derivation.
Secure multiparty computation (MPC) is a cryptographic technology that allows to perform computation on priv…
▽ More
Logic Programming (LP) is a subcategory of declarative programming that is considered to be relatively simple for non-programmers. LP developers focus on describing facts and rules of a logical derivation, and do not need to think about the algorithms actually implementing the derivation.
Secure multiparty computation (MPC) is a cryptographic technology that allows to perform computation on private data without actually seeing the data. In this paper, we bring together the notions of MPC and LP, allowing users to write privacy-preserving applications in logic programming language.
△ Less
Submitted 17 May, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Strictly positive definite kernels on the $2$-sphere: beyond radial symmetry
Authors:
Janin Jäger
Abstract:
The paper introduces a new characterisation of strictly positive definiteness for kernels on the 2-sphere without assuming the kernel to be radially (isotropic) or axially symmetric. The results use the series expansion of the kernel in spherical harmonics. Then additional sufficient conditions are proven for kernels with a block structure of expansion coefficients. These generalise the result der…
▽ More
The paper introduces a new characterisation of strictly positive definiteness for kernels on the 2-sphere without assuming the kernel to be radially (isotropic) or axially symmetric. The results use the series expansion of the kernel in spherical harmonics. Then additional sufficient conditions are proven for kernels with a block structure of expansion coefficients. These generalise the result derived by Chen et al. 2003 for radial kernels to non-radial kernels.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
PACT: Privacy Sensitive Protocols and Mechanisms for Mobile Contact Tracing
Authors:
Justin Chan,
Dean Foster,
Shyam Gollakota,
Eric Horvitz,
Joseph Jaeger,
Sham Kakade,
Tadayoshi Kohno,
John Langford,
Jonathan Larson,
Puneet Sharma,
Sudheesh Singanamalla,
Jacob Sunshine,
Stefano Tessaro
Abstract:
The global health threat from COVID-19 has been controlled in a number of instances by large-scale testing and contact tracing efforts. We created this document to suggest three functionalities on how we might best harness computing technologies to supporting the goals of public health organizations in minimizing morbidity and mortality associated with the spread of COVID-19, while protecting the…
▽ More
The global health threat from COVID-19 has been controlled in a number of instances by large-scale testing and contact tracing efforts. We created this document to suggest three functionalities on how we might best harness computing technologies to supporting the goals of public health organizations in minimizing morbidity and mortality associated with the spread of COVID-19, while protecting the civil liberties of individuals. In particular, this work advocates for a third-party free approach to assisted mobile contact tracing, because such an approach mitigates the security and privacy risks of requiring a trusted third party. We also explicitly consider the inferential risks involved in any contract tracing system, where any alert to a user could itself give rise to de-anonymizing information.
More generally, we hope to participate in bringing together colleagues in industry, academia, and civil society to discuss and converge on ideas around a critical issue rising with attempts to mitigate the COVID-19 pandemic.
△ Less
Submitted 7 May, 2020; v1 submitted 7 April, 2020;
originally announced April 2020.
-
Strong-coupling Bose polarons in 1D: Condensate deformation and modified Bogoliubov phonons
Authors:
Jonas Jager,
Ryan Barnett,
Martin Will,
Michael Fleischhauer
Abstract:
We discuss the interaction of a quantum impurity with a one-dimensional degenerate Bose gas forming a Bose-polaron. In three spatial dimensions the quasiparticle is typically well described by the extended Fröhlich model, in full analogy with the solid-state counterpart. This description, which assumes an undepleted condensate, fails however in 1D, where the backaction of the impurity on the conde…
▽ More
We discuss the interaction of a quantum impurity with a one-dimensional degenerate Bose gas forming a Bose-polaron. In three spatial dimensions the quasiparticle is typically well described by the extended Fröhlich model, in full analogy with the solid-state counterpart. This description, which assumes an undepleted condensate, fails however in 1D, where the backaction of the impurity on the condensate leads to a self-bound mean-field polaron for arbitrarily weak impurity-boson interactions. We present a model that takes into account this backaction and describes the impurity-condensate interaction as coupling to phonon-like excitations of a deformed condensate. A comparison of polaron energies and masses to diffusion quantum Monte-Carlo simulations shows very good agreement already on the level of analytical mean-field solutions and is further improved when taking into account quantum fluctuations.
△ Less
Submitted 19 April, 2021; v1 submitted 20 December, 2019;
originally announced December 2019.
-
LOST: A flexible framework for semi-automatic image annotation
Authors:
Jonas Jäger,
Gereon Reus,
Joachim Denzler,
Viviane Wolff,
Klaus Fricke-Neuderth
Abstract:
State-of-the-art computer vision approaches rely on huge amounts of annotated data. The collection of such data is a time consuming process since it is mainly performed by humans. The literature shows that semi-automatic annotation approaches can significantly speed up the annotation process by the automatic generation of annotation proposals to support the annotator. In this paper we present a fr…
▽ More
State-of-the-art computer vision approaches rely on huge amounts of annotated data. The collection of such data is a time consuming process since it is mainly performed by humans. The literature shows that semi-automatic annotation approaches can significantly speed up the annotation process by the automatic generation of annotation proposals to support the annotator. In this paper we present a framework that allows for a quick and flexible design of semi-automatic annotation pipelines. We show that a good design of the process will speed up the collection of annotations. Our contribution is a new approach to image annotation that allows for the combination of different annotation tools and machine learning algorithms in one process. We further present potential applications of our approach. The source code of our framework called LOST (Label Objects and Save Time) is available at: https://github.com/l3p-cv/lost.
△ Less
Submitted 4 November, 2019; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Checkpoint/restart approaches for a thread-based MPI runtime
Authors:
Julien Adam,
Maxime Kermarquer,
Jean-Baptiste Besnard,
Leonardo Bautista-Gomez,
Marc Perache,
Patrick Carribault,
Julien Jaeger,
Allen D. Malony,
Sameer Shende
Abstract:
Fault-tolerance has always been an important topic when it comes to running massively parallel programs at scale. Statistically, hardware and software failures are expected to occur more often on systems gathering millions of computing units. Moreover, the larger jobs are, the more computing hours would be wasted by a crash. In this paper, we describe the work done in our MPI runtime to enable bot…
▽ More
Fault-tolerance has always been an important topic when it comes to running massively parallel programs at scale. Statistically, hardware and software failures are expected to occur more often on systems gathering millions of computing units. Moreover, the larger jobs are, the more computing hours would be wasted by a crash. In this paper, we describe the work done in our MPI runtime to enable both transparent and application-level checkpointing mechanisms. Unlike the MPI 4.0 User-Level Failure Mitigation (ULFM) interface, our work targets solely Checkpoint/Restart and ignores other features such as resiliency. We show how existing checkpointing methods can be practically applied to a thread-based MPI implementation given sufficient runtime collaboration. The two main contributions are the preservation of high-speed network performance during transparent C/R and the over-subscription of checkpoint data replication thanks to a dedicated user-level scheduler support. These techniques are measured on MPI benchmarks such as IMB, Lulesh and Heatdis, and associated overhead and trade-offs are discussed.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
A Note on the Derivatives of Isotropic Positive Definite Functions on the Hilbert Sphere
Authors:
Janin Jäger
Abstract:
In this note we give a recursive formula for the derivatives of isotropic positive definite functions on the Hilbert sphere. We then use it to prove a conjecture stated by Trübner and Ziegel, which says that for a positive definite function on the Hilbert sphere to be in $C^{2\ell}([0,π])$, it is necessary and sufficient for its $\infty$-Schoenberg sequence to satisfy…
▽ More
In this note we give a recursive formula for the derivatives of isotropic positive definite functions on the Hilbert sphere. We then use it to prove a conjecture stated by Trübner and Ziegel, which says that for a positive definite function on the Hilbert sphere to be in $C^{2\ell}([0,π])$, it is necessary and sufficient for its $\infty$-Schoenberg sequence to satisfy $\sum\limits_{m=0}^{\infty}a_m m^{\ell}<\infty$.
△ Less
Submitted 23 October, 2019; v1 submitted 21 May, 2019;
originally announced May 2019.
-
DScribe: Library of Descriptors for Machine Learning in Materials Science
Authors:
Lauri Himanen,
Marc O. J. Jäger,
Eiaki V. Morooka,
Filippo Federici Canova,
Yashasvi S. Ranawat,
David Z. Gao,
Patrick Rinke,
Adam S. Foster
Abstract:
DScribe is a software package for machine learning that provides popular feature transformations ("descriptors") for atomistic materials simulations. DScribe accelerates the application of machine learning for atomistic property prediction by providing user-friendly, off-the-shelf descriptor implementations. The package currently contains implementations for Coulomb matrix, Ewald sum matrix, sine…
▽ More
DScribe is a software package for machine learning that provides popular feature transformations ("descriptors") for atomistic materials simulations. DScribe accelerates the application of machine learning for atomistic property prediction by providing user-friendly, off-the-shelf descriptor implementations. The package currently contains implementations for Coulomb matrix, Ewald sum matrix, sine matrix, Many-body Tensor Representation (MBTR), Atom-centered Symmetry Function (ACSF) and Smooth Overlap of Atomic Positions (SOAP). Usage of the package is illustrated for two different applications: formation energy prediction for solids and ionic charge prediction for atoms in organic molecules. The package is freely available under the open-source Apache License 2.0.
△ Less
Submitted 18 April, 2019;
originally announced April 2019.
-
The effect of dynamical compressive and shear strain on magnetic anisotropy in low symmetry ferromagnetic film
Authors:
T. L. Linnik,
V. N. Kats,
J. Jäger,
A. S. Salasyuk,
D. R. Yakovlev,
A. W. Rushforth,
A. V. Akimov,
A. M. Kalashnikova,
M. Bayer,
A. V. Scherbakov
Abstract:
Dynamical strain generated upon excitation of a metallic film by a femtosecond laser pulse may become a versatile tool enabling control of magnetic state of thin films and nanostructures via inverse magnetostriction on a picosecond time scale. Here we explore two alternative approaches to manipulate magnetocrystalline anisotropy and excite magnetization precession in a low-symmetry film of a magne…
▽ More
Dynamical strain generated upon excitation of a metallic film by a femtosecond laser pulse may become a versatile tool enabling control of magnetic state of thin films and nanostructures via inverse magnetostriction on a picosecond time scale. Here we explore two alternative approaches to manipulate magnetocrystalline anisotropy and excite magnetization precession in a low-symmetry film of a magnetic metallic alloy galfenol (Fe,Ga) either by injecting picosecond strain pulse into it from a substrate or by generating dynamical strain of complex temporal profile in the film directly. In the former case we realize ultrafast excitation of magnetization dynamics solely by strain pulses. In the latter case optically-generated strain emerged abruptly in the film modifies its magnetocrystalline anisotropy, competing with heat-induced change of anisotropy parameters. We demonstrate that the optically-generated strain remains efficient for launching magnetization precession, when the heat-induced changes of anisotropy parameters do not trigger the precession anymore. We emphasize that in both approaches the ultrafast change of magnetic anisotropy mediating the precession excitation relies on mixed, compressive and shear, character of the dynamical strain, which emerges due to low-symmetry of the metallic film under study.
△ Less
Submitted 3 May, 2017; v1 submitted 20 November, 2016;
originally announced November 2016.
-
Helical mode interactions and spectral transfer processes in magnetohydrodynamic turbulence
Authors:
Moritz F. Linkmann,
Arjun Berera,
Mairi E. McKay,
Julia Jäger
Abstract:
Spectral transfer processes in magnetohydrodynamic (MHD) turbulence are investigated analytically by decomposition of the velocity and magnetic fields in Fourier space into helical modes. Steady solutions of the dynamical system which governs the evolution of the helical modes are determined, and a stability analysis of these solutions is carried out. The interpretation of the analysis is that uns…
▽ More
Spectral transfer processes in magnetohydrodynamic (MHD) turbulence are investigated analytically by decomposition of the velocity and magnetic fields in Fourier space into helical modes. Steady solutions of the dynamical system which governs the evolution of the helical modes are determined, and a stability analysis of these solutions is carried out. The interpretation of the analysis is that unstable solutions lead to energy transfer between the interacting modes while stable solutions do not. From this, a dependence of possible interscale energy and helicity transfers on the helicities of the interacting modes is derived. As expected from the inverse cascade of magnetic helicity in 3D MHD turbulence, mode interactions with like helicities lead to transfer of energy and magnetic helicity to smaller wavenumbers. However, some interactions of modes with unlike helicities also contribute to an inverse energy transfer. As such, an inverse energy cascade for nonhelical magnetic fields is shown to be possible. Furthermore, it is found that high values of the cross-helicity may have an asymmetric effect on forward and reverse transfer of energy, where forward transfer is more quenched in regions of high cross-helicity than reverse transfer. This conforms with recent observations of solar wind turbulence. For specific helical interactions the relation to dynamo action is established.
△ Less
Submitted 1 September, 2015; v1 submitted 22 August, 2015;
originally announced August 2015.
-
Resonant driving of magnetization precession in a ferromagnetic layer by coherent monochromatic phonons
Authors:
J. V. Jäger,
A. V. Scherbakov,
B. A. Glavin,
A. S. Salasyuk,
R. P. Campion,
A. W. Rushforth,
D. R. Yakovlev,
A. V. Akimov,
M. Bayer
Abstract:
We realize resonant driving of the magnetization precession by monochromatic phonons in a thin ferromagnetic layer embedded into a phononic Fabry-Perot resonator. A femtosecond laser pulse excites resonant phonon modes of the structure in the 10-40 GHz frequency range. By applying an external magnetic field, we tune the precession frequency relative to the frequency of the phonons localized in the…
▽ More
We realize resonant driving of the magnetization precession by monochromatic phonons in a thin ferromagnetic layer embedded into a phononic Fabry-Perot resonator. A femtosecond laser pulse excites resonant phonon modes of the structure in the 10-40 GHz frequency range. By applying an external magnetic field, we tune the precession frequency relative to the frequency of the phonons localized in the cavity and observe the enormous increase in the amplitude of the magnetization precession when the frequencies of free magnetization precession and phonons localized in the cavity are equal.
△ Less
Submitted 7 May, 2015;
originally announced May 2015.
-
Annotating Video with Open Educational Resources in a Flipped Classroom Scenario
Authors:
Olivier Aubert,
Joscha Jaeger
Abstract:
A wealth of Open Educational Resources is now available, and beyond the first and evident problem of finding them, the issue of articulating a set of resources is arising. When using audiovisual resources, among different possibilities, annotating a video resource with additional resources linked to specific fragments can constitute one of the articulation modalities. Annotating a video is a compl…
▽ More
A wealth of Open Educational Resources is now available, and beyond the first and evident problem of finding them, the issue of articulating a set of resources is arising. When using audiovisual resources, among different possibilities, annotating a video resource with additional resources linked to specific fragments can constitute one of the articulation modalities. Annotating a video is a complex task, and in a pedagogical context, intermediary activities should be proposed in order to mitigate this complexity. In this paper, we describe a tool dedicated to supporting video annotation activities. It aims at improving learner engagement, by having students be more active when watching videos by offering a progressive annotation process, first guided by providing predefined resources, then more freely, to accompany users in the practice of annotating videos.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology
Authors:
Alejandro F Villaverde,
David Henriques,
Kieran Smallbone,
Sophia Bongard,
Joachim Schmid,
Damjan Cicin-Sain,
Anton Crombach,
Julio Saez-Rodriguez,
Klaus Mauch,
Eva Balsa-Canto,
Pedro Mendes,
Johannes Jaeger,
Julio R Banga
Abstract:
Dynamic modelling is one of the cornerstones of systems biology. Many research efforts are currently being invested in the development and exploitation of large-scale kinetic models. The associated problems of parameter estimation (model calibration) and optimal experimental design are particularly challenging. The community has already developed many methods and software packages which aim to fac…
▽ More
Dynamic modelling is one of the cornerstones of systems biology. Many research efforts are currently being invested in the development and exploitation of large-scale kinetic models. The associated problems of parameter estimation (model calibration) and optimal experimental design are particularly challenging. The community has already developed many methods and software packages which aim to facilitate these tasks. However, there is a lack of suitable benchmark problems which allow a fair and systematic evaluation and comparison of these contributions. Here we present BioPreDyn-bench, a set of challenging parameter estimation problems which aspire to serve as reference test cases in this area. This set comprises six problems including medium and large-scale kinetic models of the bacterium E. coli, baker's yeast S. cerevisiae, the vinegar fly D. melanogaster, Chinese Hamster Ovary cells, and a generic signal transduction network. The level of description includes metabolism, transcription, signal transduction, and development. For each problem we provide (i) a basic description and formulation, (ii) implementations ready-to-run in several formats, (iii) computational results obtained with specific solvers, (iv) a basic analysis and interpretation. This suite of benchmark problems can be readily used to evaluate and compare parameter estimation methods. Further, it can also be used to build test problems for sensitivity and identifiability analysis, model reduction and optimal experimental design methods. The suite, including codes and documentation, can be freely downloaded from http://www.iim.csic.es/%7egingproc/biopredynbench/.
△ Less
Submitted 22 July, 2014;
originally announced July 2014.
-
Estimation and approximation in nonlinear dynamic systems using quasilinearization
Authors:
Gianluca Frasso,
Jonathan Jaeger,
Philippe Lambert
Abstract:
Nonlinear (systems of) ordinary differential equations (ODEs) are common tools in the analysis of complex one-dimensional dynamic systems. In this paper we propose a smoothing approach regularized by a quasilinearized ODE-based penalty in order to approximate the state functions and estimate the parameters defining nonlinear differential systems from noisy data. Within the quasilinearized spline b…
▽ More
Nonlinear (systems of) ordinary differential equations (ODEs) are common tools in the analysis of complex one-dimensional dynamic systems. In this paper we propose a smoothing approach regularized by a quasilinearized ODE-based penalty in order to approximate the state functions and estimate the parameters defining nonlinear differential systems from noisy data. Within the quasilinearized spline based framework, the estimation process reduces to a conditionally linear problem for the optimization of the spline coefficients. Furthermore, standard ODE compliance parameter(s) selection criteria are easily applicable and conditions on the state function(s) can be eventually imposed using soft or hard constraints. The approach is illustrated on real and simulated data.
△ Less
Submitted 29 April, 2014;
originally announced April 2014.
-
Hypersonic properties of monodisperse spherical mesoporous silica particles
Authors:
D. A. Eurov,
D. A. Kurdyukov,
E. Yu. Stovpiaga,
A. S. Salasyuk,
J. Jäger,
A. V. Scherbakov,
A. V. Akimov,
A. J. Kent,
D. R. Yakovlev,
M. Bayer,
V. G. Golubev
Abstract:
We use the picosecond acoustic pump-probe technique to study the elastic properties of monodispersemesoporous silica spheres filled with nickel and deposited in the form of opal-like films on silica substrates. The picosecond pump-probe optical transmission signal shows harmonic oscillations corresponding to the lower energy radial Lamb mode in the vibrational spectrum of the spheres. These oscill…
▽ More
We use the picosecond acoustic pump-probe technique to study the elastic properties of monodispersemesoporous silica spheres filled with nickel and deposited in the form of opal-like films on silica substrates. The picosecond pump-probe optical transmission signal shows harmonic oscillations corresponding to the lower energy radial Lamb mode in the vibrational spectrum of the spheres. These oscillations, with a frequency of several gigahertz last for several nanoseconds in the spheres with diameter 1050 nm, showing high homogeneity of the sphere parameters. By analysis of the oscillation spectrum of films with different sphere diameter and nickel content we obtain the elastic moduli of the mesoporous silica spheres.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.