-
Robust stability of moving horizon estimation for continuous-time systems
Authors:
Julian D. Schiller,
Matthias A. Müller
Abstract:
We consider a moving horizon estimation (MHE) scheme involving a discounted least squares objective for general nonlinear continuous-time systems. Provided that the system is detectable (incrementally integral input/output-to-state stable, i-iIOSS), we show that there exists a sufficiently long estimation horizon that guarantees robust global exponential stability of the estimation error in a time…
▽ More
We consider a moving horizon estimation (MHE) scheme involving a discounted least squares objective for general nonlinear continuous-time systems. Provided that the system is detectable (incrementally integral input/output-to-state stable, i-iIOSS), we show that there exists a sufficiently long estimation horizon that guarantees robust global exponential stability of the estimation error in a time-discounted $L^2$-to-$L^\infty$ sense. In addition, we show that i-iIOSS Lyapunov functions can be efficiently constructed by verifying certain linear matrix inequality conditions. In combination, we propose a flexible Lyapunov-based MHE framework in continuous time, which particularly offers more tuning possibilities than its discrete-time analog, and provide sufficient conditions for stability that can be easily verified in practice. Our results are illustrated by a numerical example.
△ Less
Submitted 31 January, 2024; v1 submitted 11 May, 2023;
originally announced May 2023.
-
On an integral variant of incremental input/output-to-state stability and its use as a notion of nonlinear detectability
Authors:
Julian D. Schiller,
Matthias A. Müller
Abstract:
We propose a time-discounted integral variant of incremental input/output-to-state stability (i-iIOSS) together with an equivalent Lyapunov function characterization. Continuity of the i-iIOSS Lyapunov function is ensured if the system satisfies a certain continuity assumption involving the Osgood condition. We show that the proposed i-iIOSS notion is a necessary condition for the existence of a r…
▽ More
We propose a time-discounted integral variant of incremental input/output-to-state stability (i-iIOSS) together with an equivalent Lyapunov function characterization. Continuity of the i-iIOSS Lyapunov function is ensured if the system satisfies a certain continuity assumption involving the Osgood condition. We show that the proposed i-iIOSS notion is a necessary condition for the existence of a robustly globally asymptotically stable observer map** in a time-discounted ``$L^2$-to-$L^\infty$'' sense. In combination, our results provide a general framework for a Lyapunov-based robust stability analysis of observers for continuous-time systems, which in particular is crucial for the use of optimization-based state estimators (such as moving horizon estimation).
△ Less
Submitted 19 June, 2023; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Isotonic subgroup selection
Authors:
Manuel M. Müller,
Henry W. J. Reeve,
Timothy I. Cannings,
Richard J. Samworth
Abstract:
Given a sample of covariate-response pairs, we consider the subgroup selection problem of identifying a subset of the covariate domain where the regression function exceeds a pre-determined threshold. We introduce a computationally-feasible approach for subgroup selection in the context of multivariate isotonic regression based on martingale tests and multiple testing procedures for logically-stru…
▽ More
Given a sample of covariate-response pairs, we consider the subgroup selection problem of identifying a subset of the covariate domain where the regression function exceeds a pre-determined threshold. We introduce a computationally-feasible approach for subgroup selection in the context of multivariate isotonic regression based on martingale tests and multiple testing procedures for logically-structured hypotheses. Our proposed procedure satisfies a non-asymptotic, uniform Type I error rate guarantee with power that attains the minimax optimal rate up to poly-logarithmic factors. Extensions cover classification, isotonic quantile regression and heterogeneous treatment effect settings. Numerical studies on both simulated and real data confirm the practical effectiveness of our proposal, which is implemented in the R package ISS.
△ Less
Submitted 28 June, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
TAPS: Connecting Certified and Adversarial Training
Authors:
Yuhao Mao,
Mark Niklas Müller,
Marc Fischer,
Martin Vechev
Abstract:
Training certifiably robust neural networks remains a notoriously hard problem. On one side, adversarial training optimizes under-approximations of the worst-case loss, which leads to insufficient regularization for certification, while on the other, sound certified training methods optimize loose over-approximations, leading to over-regularization and poor (standard) accuracy. In this work we pro…
▽ More
Training certifiably robust neural networks remains a notoriously hard problem. On one side, adversarial training optimizes under-approximations of the worst-case loss, which leads to insufficient regularization for certification, while on the other, sound certified training methods optimize loose over-approximations, leading to over-regularization and poor (standard) accuracy. In this work we propose TAPS, an (unsound) certified training method that combines IBP and PGD training to yield precise, although not necessarily sound, worst-case loss approximations, reducing over-regularization and increasing certified and standard accuracies. Empirically, TAPS achieves a new state-of-the-art in many settings, e.g., reaching a certified accuracy of $22\%$ on TinyImageNet for $\ell_\infty$-perturbations with radius $ε=1/255$. We make our implementation and networks public at https://github.com/eth-sri/taps.
△ Less
Submitted 25 October, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
SLTUNET: A Simple Unified Model for Sign Language Translation
Authors:
Biao Zhang,
Mathias Müller,
Rico Sennrich
Abstract:
Despite recent successes with neural models for sign language translation (SLT), translation quality still lags behind spoken languages because of the data scarcity and modality gap between sign video and text. To address both problems, we investigate strategies for cross-modality representation sharing for SLT. We propose SLTUNET, a simple unified neural model designed to support multiple SLTrela…
▽ More
Despite recent successes with neural models for sign language translation (SLT), translation quality still lags behind spoken languages because of the data scarcity and modality gap between sign video and text. To address both problems, we investigate strategies for cross-modality representation sharing for SLT. We propose SLTUNET, a simple unified neural model designed to support multiple SLTrelated tasks jointly, such as sign-to-gloss, gloss-to-text and sign-to-text translation. Jointly modeling different tasks endows SLTUNET with the capability to explore the cross-task relatedness that could help narrow the modality gap. In addition, this allows us to leverage the knowledge from external resources, such as abundant parallel data used for spoken-language machine translation (MT). We show in experiments that SLTUNET achieves competitive and even state-of-the-art performance on PHOENIX-2014T and CSL-Daily when augmented with MT data and equipped with a set of optimization techniques. We further use the DGS Corpus for end-to-end SLT for the first time. It covers broader domains with a significantly larger vocabulary, which is more challenging and which we consider to allow for a more realistic assessment of the current state of SLT than the former two. Still, SLTUNET obtains improved results on the DGS Corpus. Code is available at https://github.com/bzhangGo/sltunet.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Fractionalization paves the way to local projector embeddings of quantum many-body scars
Authors:
Keita Omiya,
Markus Müller
Abstract:
Many systems that host exact quantum many-body scars (towers of energy-equidistant low entanglement eigenstates) are governed by a Hamiltonian that splits into a Zeeman term and a sum of local terms that annihilate the scar subspace. We show that this unifying structure also applies to models, such as the Affleck-Kennedy-Lieb-Tasaki (AKLT) model or the PXP model of Rydberg-blockaded atoms, that we…
▽ More
Many systems that host exact quantum many-body scars (towers of energy-equidistant low entanglement eigenstates) are governed by a Hamiltonian that splits into a Zeeman term and a sum of local terms that annihilate the scar subspace. We show that this unifying structure also applies to models, such as the Affleck-Kennedy-Lieb-Tasaki (AKLT) model or the PXP model of Rydberg-blockaded atoms, that were previously believed to evade this characterisation. To fit these models within the local annihilator framework we need to fractionalize their degrees of freedom and enlarge the associated Hilbert space. The embedding of the original system in a larger space elucidates the structure of their scar states and simplifies their construction, revealing close analogies with lattice gauge theories.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Segmentation of glioblastomas in early post-operative multi-modal MRI with deep neural networks
Authors:
Ragnhild Holden Helland,
Alexandros Ferles,
André Pedersen,
Ivar Kommers,
Hilko Ardon,
Frederik Barkhof,
Lorenzo Bello,
Mitchel S. Berger,
Tora Dunås,
Marco Conti Nibali,
Julia Furtner,
Shawn Hervey-Jumper,
Albert J. S. Idema,
Barbara Kiesel,
Rishi Nandoe Tewari,
Emmanuel Mandonnet,
Domenique M. J. Müller,
Pierre A. Robe,
Marco Rossi,
Lisa M. Sagberg,
Tommaso Sciortino,
Tom Aalders,
Michiel Wagemakers,
Georg Widhalm,
Marnix G. Witte
, et al. (8 additional authors not shown)
Abstract:
Extent of resection after surgery is one of the main prognostic factors for patients diagnosed with glioblastoma. To achieve this, accurate segmentation and classification of residual tumor from post-operative MR images is essential. The current standard method for estimating it is subject to high inter- and intra-rater variability, and an automated method for segmentation of residual tumor in ear…
▽ More
Extent of resection after surgery is one of the main prognostic factors for patients diagnosed with glioblastoma. To achieve this, accurate segmentation and classification of residual tumor from post-operative MR images is essential. The current standard method for estimating it is subject to high inter- and intra-rater variability, and an automated method for segmentation of residual tumor in early post-operative MRI could lead to a more accurate estimation of extent of resection. In this study, two state-of-the-art neural network architectures for pre-operative segmentation were trained for the task. The models were extensively validated on a multicenter dataset with nearly 1000 patients, from 12 hospitals in Europe and the United States. The best performance achieved was a 61\% Dice score, and the best classification performance was about 80\% balanced accuracy, with a demonstrated ability to generalize across hospitals. In addition, the segmentation performance of the best models was on par with human expert raters. The predicted segmentations can be used to accurately classify the patients into those with residual tumor, and those with gross total resection.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Pressure-control of non-ferroelastic ferroelectric domains in ErMnO3
Authors:
O. W. Sandvik,
A. M. Müller,
H. W. Ånes,
M. Zahn,
J. He,
M. Fiebig,
Th. Lottermoser,
T. Rojac,
D. Meier,
J. Schultheiß
Abstract:
Mechanical pressure controls the structural, electric, and magnetic order in solid state systems, allowing to tailor and improve their physical properties. A well-established example is ferroelastic ferroelectrics, where the coupling between pressure and the primary symmetry breaking order parameter enables hysteretic switching of the strain state and ferroelectric domain engineering. Here, we stu…
▽ More
Mechanical pressure controls the structural, electric, and magnetic order in solid state systems, allowing to tailor and improve their physical properties. A well-established example is ferroelastic ferroelectrics, where the coupling between pressure and the primary symmetry breaking order parameter enables hysteretic switching of the strain state and ferroelectric domain engineering. Here, we study the pressure-driven response in a non-ferroelastic ferroelectric, ErMnO3, where the classical stress-strain coupling is absent, and the domain formation is governed by creation-annihilation processes of topological defects. By annealing ErMnO3 polycrystals under variable pressures in the MPa-regime, we transform non-ferroelastic vortex-like domains into stripe-like domains. The width of the stripe-like domains is determined by the applied pressure as we confirm by three-dimensional phase field simulations, showing that pressure leads to highly oriented layer-like periodic domains. Our work demonstrates the possibility to utilize mechanical pressure for domain engineering in non-ferroelastic ferroelectrics, providing a processing-accessible lever to control their dielectric, electromechanical, and piezoelectric response.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Robust Stability of Gaussian Process Based Moving Horizon Estimation
Authors:
Tobias M. Wolff,
Victor G. Lopez,
Matthias A. Müller
Abstract:
In this paper, we introduce a Gaussian process based moving horizon estimation (MHE) framework. The scheme is based on offline collected data and offline hyperparameter optimization. In particular, compared to standard MHE schemes, we replace the mathematical model of the system by the posterior mean of the Gaussian process. To account for the uncertainty of the learned model, we exploit the poste…
▽ More
In this paper, we introduce a Gaussian process based moving horizon estimation (MHE) framework. The scheme is based on offline collected data and offline hyperparameter optimization. In particular, compared to standard MHE schemes, we replace the mathematical model of the system by the posterior mean of the Gaussian process. To account for the uncertainty of the learned model, we exploit the posterior variance of the learned Gaussian process in the weighting matrices of the cost function of the proposed MHE scheme. We prove practical robust exponential stability of the resulting estimator using a recently proposed Lyapunov-based proof technique. Finally, the performance of the Gaussian process based MHE scheme is illustrated via a nonlinear system.
△ Less
Submitted 14 June, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
A rich hydrocarbon chemistry and high C to O ratio in the inner disk around a very low-mass star
Authors:
B. Tabone,
G. Bettoni,
E. F. van Dishoeck,
A. M. Arabhavi,
S. L. Grant,
D. Gasman,
T. Henning,
I. Kamp,
M. Güdel,
P. -O. Lagage,
T. P. Ray,
B. Vandenbussche,
A. Abergel,
O. Absil,
I. Argyriou,
D. Barrado,
A. Boccaletti,
J. Bouwman,
A. Caratti o Garatti,
V. Geers,
A. M. Glauser,
K. Justannont,
F. Lahuis,
M. Mueller,
C. Nehmé
, et al. (21 additional authors not shown)
Abstract:
Carbon is an essential element for life but how much can be delivered to young planets is still an open question. The chemical characterization of planet-forming disks is a crucial step in our understanding of the diversity and habitability of exoplanets. Very low-mass stars ($<0.2~M_{\odot}$) are interesting targets because they host a rich population of terrestrial planets. Here we present the J…
▽ More
Carbon is an essential element for life but how much can be delivered to young planets is still an open question. The chemical characterization of planet-forming disks is a crucial step in our understanding of the diversity and habitability of exoplanets. Very low-mass stars ($<0.2~M_{\odot}$) are interesting targets because they host a rich population of terrestrial planets. Here we present the JWST detection of abundant hydrocarbons in the disk of a very low-mass star obtained as part of the MIRI mid-INfrared Disk Survey (MINDS). In addition to very strong and broad emission from C$_2$H$_2$ and its $^{13}$C$^{12}$CH$_2$ isotopologue, C$_4$H$_2$, benzene, and possibly CH$_4$ are identified, but water, PAH and silicate features are weak or absent. The lack of small silicate grains implies that we can look deep down into this disk. These detections testify to an active warm hydrocarbon chemistry with a high C/O ratio in the inner 0.1 au of this disk, perhaps due to destruction of carbonaceous grains. The exceptionally high C$_2$H$_2$/CO$_2$ and C$_2$H$_2$/H$_2$O column density ratios suggest that oxygen is locked up in icy pebbles and planetesimals outside the water iceline. This, in turn, will have significant consequences for the composition of forming exoplanets.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Soft Dynamic Time War** for Multi-Pitch Estimation and Beyond
Authors:
Michael Krause,
Christof Weiß,
Meinard Müller
Abstract:
Many tasks in music information retrieval (MIR) involve weakly aligned data, where exact temporal correspondences are unknown. The connectionist temporal classification (CTC) loss is a standard technique to learn feature representations based on weakly aligned training data. However, CTC is limited to discrete-valued target sequences and can be difficult to extend to multi-label problems. In this…
▽ More
Many tasks in music information retrieval (MIR) involve weakly aligned data, where exact temporal correspondences are unknown. The connectionist temporal classification (CTC) loss is a standard technique to learn feature representations based on weakly aligned training data. However, CTC is limited to discrete-valued target sequences and can be difficult to extend to multi-label problems. In this article, we show how soft dynamic time war** (SoftDTW), a differentiable variant of classical DTW, can be used as an alternative to CTC. Using multi-pitch estimation as an example scenario, we show that SoftDTW yields results on par with a state-of-the-art multi-label extension of CTC. In addition to being more elegant in terms of its algorithmic formulation, SoftDTW naturally extends to real-valued target sequences.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Evaluation of Test-Time Adaptation Under Computational Time Constraints
Authors:
Motasem Alfarra,
Hani Itani,
Alejandro Pardo,
Shyma Alhuwaider,
Merey Ramazanova,
Juan C. Pérez,
Zhipeng Cai,
Matthias Müller,
Bernard Ghanem
Abstract:
This paper proposes a novel online evaluation protocol for Test Time Adaptation (TTA) methods, which penalizes slower methods by providing them with fewer samples for adaptation. TTA methods leverage unlabeled data at test time to adapt to distribution shifts. Although many effective methods have been proposed, their impressive performance usually comes at the cost of significantly increased compu…
▽ More
This paper proposes a novel online evaluation protocol for Test Time Adaptation (TTA) methods, which penalizes slower methods by providing them with fewer samples for adaptation. TTA methods leverage unlabeled data at test time to adapt to distribution shifts. Although many effective methods have been proposed, their impressive performance usually comes at the cost of significantly increased computation budgets. Current evaluation protocols overlook the effect of this extra computation cost, affecting their real-world applicability. To address this issue, we propose a more realistic evaluation protocol for TTA methods, where data is received in an online fashion from a constant-speed data stream, thereby accounting for the method's adaptation speed. We apply our proposed protocol to benchmark several TTA methods on multiple datasets and scenarios. Extensive experiments show that, when accounting for inference speed, simple and fast approaches can outperform more sophisticated but slower methods. For example, SHOT from 2020, outperforms the state-of-the-art method SAR from 2023 in this setting. Our results reveal the importance of develo** practical TTA methods that are both accurate and efficient.
△ Less
Submitted 23 May, 2024; v1 submitted 10 April, 2023;
originally announced April 2023.
-
Distributed Model Predictive Control for Periodic Cooperation of Multi-Agent Systems
Authors:
Matthias Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
We consider multi-agent systems with heterogeneous, nonlinear agents subject to individual constraints that want to achieve a periodic, dynamic cooperative control goal which can be characterised by a set and a suitable cost. We propose a sequential distributed model predictive control (MPC) scheme in which agents sequentially solve an individual optimisation problem to track an artificial periodi…
▽ More
We consider multi-agent systems with heterogeneous, nonlinear agents subject to individual constraints that want to achieve a periodic, dynamic cooperative control goal which can be characterised by a set and a suitable cost. We propose a sequential distributed model predictive control (MPC) scheme in which agents sequentially solve an individual optimisation problem to track an artificial periodic output trajectory. The optimisation problems are coupled through these artificial periodic output trajectories, which are communicated and penalised using the cost that characterises the cooperative goal. The agents communicate only their artificial trajectories and only once per time step. We show that under suitable assumptions, the agents can incrementally move their artificial output trajectories towards the cooperative goal, and, hence, their closed-loop output trajectories asymptotically achieve it. We illustrate the scheme with a simulation example.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Short closed geodesics and the Willmore energy
Authors:
Marius Müller,
Fabian Rupp,
Christian Scharrer
Abstract:
We prove a lower bound on the length of closed geodesics for spherical surfaces with Willmore energy below $6π$. The energy threshold is optimal and there is no comparable result for surfaces of higher genus. We also discuss consequences for the injectivity radius.
We prove a lower bound on the length of closed geodesics for spherical surfaces with Willmore energy below $6π$. The energy threshold is optimal and there is no comparable result for surfaces of higher genus. We also discuss consequences for the injectivity radius.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
An Efficient Off-Policy Reinforcement Learning Algorithm for the Continuous-Time LQR Problem
Authors:
Victor G. Lopez,
Matthias A. Müller
Abstract:
In this paper, an off-policy reinforcement learning algorithm is designed to solve the continuous-time LQR problem using only input-state data measured from the system. Different from other algorithms in the literature, we propose the use of a specific persistently exciting input as the exploration signal during the data collection step. We then show that, using this persistently excited data, the…
▽ More
In this paper, an off-policy reinforcement learning algorithm is designed to solve the continuous-time LQR problem using only input-state data measured from the system. Different from other algorithms in the literature, we propose the use of a specific persistently exciting input as the exploration signal during the data collection step. We then show that, using this persistently excited data, the solution of the matrix equation in our algorithm is guaranteed to exist and to be unique at every iteration. Convergence of the algorithm to the optimal control input is also proven. Moreover, we formulate the policy evaluation step as the solution of a Sylvester-transpose equation, which increases the efficiency of its solution. Finally, a method to determine a stabilizing policy to initialize the algorithm using only measured data is proposed.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
A biharmonic analogue of the Alt-Caffarelli problem
Authors:
Hans-Christoph Grunau,
Marius Müller
Abstract:
We study a natural biharmonic analogue of the classical Alt-Caffarelli problem, both under Dirichlet and under Navier boundary conditions. We show existence, basic properties and $C^{1,α}$-regularity of minimisers. For the Navier problem we also obtain a symmetry result in case that the boundary data are radial. We find this remarkable because the problem under investigation is of higher order. Co…
▽ More
We study a natural biharmonic analogue of the classical Alt-Caffarelli problem, both under Dirichlet and under Navier boundary conditions. We show existence, basic properties and $C^{1,α}$-regularity of minimisers. For the Navier problem we also obtain a symmetry result in case that the boundary data are radial. We find this remarkable because the problem under investigation is of higher order. Computing radial minimisers explicitly we find that the obtained regularity is optimal.
△ Less
Submitted 13 April, 2024; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Authenticated and Secure Automotive Service Discovery with DNSSEC and DANE
Authors:
Mehmet Mueller,
Timo Häckel,
Philipp Meyer,
Franz Korf,
Thomas C. Schmidt
Abstract:
Automotive softwarization is progressing and future cars are expected to operate a Service-Oriented Architecture on multipurpose compute units, which are interconnected via a high-speed Ethernet backbone. The AUTOSAR architecture foresees a universal middleware called SOME/IP that provides the service primitives, interfaces, and application protocols on top of Ethernet and IP. SOME/IP lacks a robu…
▽ More
Automotive softwarization is progressing and future cars are expected to operate a Service-Oriented Architecture on multipurpose compute units, which are interconnected via a high-speed Ethernet backbone. The AUTOSAR architecture foresees a universal middleware called SOME/IP that provides the service primitives, interfaces, and application protocols on top of Ethernet and IP. SOME/IP lacks a robust security architecture, even though security is an essential in future Internet-connected vehicles. In this paper, we augment the SOME/IP service discovery with an authentication and certificate management scheme based on DNSSEC and DANE. We argue that the deployment of well-proven, widely tested standard protocols should serve as an appropriate basis for a robust and reliable security infrastructure in cars. Our solution enables on-demand service authentication in offline scenarios, easy online updates, and remains free of attestation collisions. We evaluate our extension of the common vsomeip stack and find performance values that fully comply with car operations.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Dynamic Service-Orientation for Software-Defined In-Vehicle Networks
Authors:
Timo Häckel,
Philipp Meyer,
Mehmet Mueller,
Jan Schmitt-Solbrig,
Franz Korf,
Thomas C. Schmidt
Abstract:
Modern In-Vehicle Networks (IVNs) are composed of a large number of devices and services linked via an Ethernet-based time-sensitive network. Communication in future IVNs will become more dynamic as services can be updated, added, or removed during runtime. This requires a flexible and adaptable IVN, for which Software-Defined Networking (SDN) is a promising candidate. In this paper, we show how S…
▽ More
Modern In-Vehicle Networks (IVNs) are composed of a large number of devices and services linked via an Ethernet-based time-sensitive network. Communication in future IVNs will become more dynamic as services can be updated, added, or removed during runtime. This requires a flexible and adaptable IVN, for which Software-Defined Networking (SDN) is a promising candidate. In this paper, we show how SDN can be used to support a dynamic, service-oriented network architecture. We demonstrate our concept using the SOME/IP protocol, which is the most widely deployed implementation of automotive service-oriented architectures. In a simulation study, we evaluate the performance of SOME/IP-adaptive SDN control compared to standard Ethernet switching and non-optimized SDN. Our results show an expected overhead introduced by the central SDN controller, which is, however, reduced by up to 50% compared to SOME/IP-unaware SDN.For a large number of services, the setup time is in the order of milliseconds, which matches standard Ethernet switching. A SOME/IP-aware SDN controller can optimize the service discovery to improve adaptability, robustness, security, and Quality-of-Service of the IVN while remaining transparent to existing SOME/IP implementations.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
JWST MIRI flight performance: The Medium-Resolution Spectrometer
Authors:
Ioannis Argyriou,
Alistair Glasse,
David R. Law,
Alvaro Labiano,
Javier Álvarez-Márquez,
Polychronis Patapis,
Patrick J. Kavanagh,
Danny Gasman,
Michael Mueller,
Kirsten Larson,
Bart Vandenbussche,
Adrian M. Glauser,
Pierre Royer,
Daniel Dicken,
Jake Harkett,
Beth A. Sargent,
Michael Engesser,
Olivia C. Jones,
Sarah Kendrew,
Alberto Noriega-Crespo,
Bernhard Brandl,
George H. Rieke,
Gillian S. Wright,
David Lee,
Martyn Wells
Abstract:
The Medium-Resolution Spectrometer (MRS) provides one of the four operating modes of the Mid-Infrared Instrument (MIRI) on board the James Webb Space Telescope (JWST). The MRS is an integral field spectrometer, measuring the spatial and spectral distributions of light across the 5-28 $μm$ wavelength range with a spectral resolving power between 3700-1300. We present the MRS's optical, spectral, an…
▽ More
The Medium-Resolution Spectrometer (MRS) provides one of the four operating modes of the Mid-Infrared Instrument (MIRI) on board the James Webb Space Telescope (JWST). The MRS is an integral field spectrometer, measuring the spatial and spectral distributions of light across the 5-28 $μm$ wavelength range with a spectral resolving power between 3700-1300. We present the MRS's optical, spectral, and spectro-photometric performance, as achieved in flight, and we report on the effects that limit the instrument's ultimate sensitivity. The MRS flight performance has been quantified using observations of stars, planetary nebulae, and planets in our Solar System. The precision and accuracy of this calibration was checked against celestial calibrators with well-known flux levels and spectral features. We find that the MRS geometric calibration has a distortion solution accuracy relative to the commanded position of 8 mas at 5 $μm$ and 23 mas at 28 $μm$. The wavelength calibration is accurate to within 9 km/sec at 5 $μm$ and 27 km/sec at 28 $μm$. The uncertainty in the absolute spectro-photometric calibration accuracy was estimated at 5.6 +- 0.7 %. The MIRI calibration pipeline is able to suppress the amplitude of spectral fringes to below 1.5 % for both extended and point sources across the entire wavelength range. The MRS point spread function (PSF) is 60 % broader than the diffraction limit along its long axis at 5 $μm$ and is 15 % broader at 28 $μm$. The MRS flight performance is found to be better than prelaunch expectations. The MRS is one of the most subscribed observing modes of JWST and is yielding many high-profile publications. It is currently humanity's most powerful instrument for measuring the mid-infrared spectra of celestial sources and is expected to continue as such for many years to come.
△ Less
Submitted 14 June, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Monocular Visual-Inertial Depth Estimation
Authors:
Diana Wofk,
René Ranftl,
Matthias Müller,
Vladlen Koltun
Abstract:
We present a visual-inertial depth estimation pipeline that integrates monocular depth estimation and visual-inertial odometry to produce dense depth estimates with metric scale. Our approach performs global scale and shift alignment against sparse metric depth, followed by learning-based dense alignment. We evaluate on the TartanAir and VOID datasets, observing up to 30% reduction in inverse RMSE…
▽ More
We present a visual-inertial depth estimation pipeline that integrates monocular depth estimation and visual-inertial odometry to produce dense depth estimates with metric scale. Our approach performs global scale and shift alignment against sparse metric depth, followed by learning-based dense alignment. We evaluate on the TartanAir and VOID datasets, observing up to 30% reduction in inverse RMSE with dense scale alignment relative to performing just global alignment alone. Our approach is especially competitive at low density; with just 150 sparse metric depth points, our dense-to-dense depth alignment method achieves over 50% lower iRMSE over sparse-to-dense depth completion by KBNet, currently the state of the art on VOID. We demonstrate successful zero-shot transfer from synthetic TartanAir to real-world VOID data and perform generalization tests on NYUv2 and VCU-RVI. Our approach is modular and is compatible with a variety of monocular depth estimation models. Video: https://youtu.be/IMwiKwSpshQ Code: https://github.com/isl-org/VI-Depth
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Transient Performance of MPC for Tracking
Authors:
Matthias Köhler,
Lisa Krügel,
Lars Grüne,
Matthias A. Müller,
Frank Allgöwer
Abstract:
We analyse the closed-loop performance of a model predictive control (MPC) for tracking formulation with artificial references. It has been shown that such a scheme guarantees closed-loop stability and recursive feasibility for any externally supplied reference, even if it is unreachable or time-varying. The basic idea is to consider an artificial reference as an additional decision variable and t…
▽ More
We analyse the closed-loop performance of a model predictive control (MPC) for tracking formulation with artificial references. It has been shown that such a scheme guarantees closed-loop stability and recursive feasibility for any externally supplied reference, even if it is unreachable or time-varying. The basic idea is to consider an artificial reference as an additional decision variable and to formulate generalised terminal ingredients with respect to it. In addition, its offset is penalised in the MPC optimisation problem, leading to closed-loop convergence to the best reachable reference. In this paper, we provide a transient performance bound on the closed loop using MPC for tracking. We employ mild assumptions on the offset cost and scale it with the prediction horizon. In this case, an increasing horizon in MPC for tracking recovers the infinite horizon optimal solution.
△ Less
Submitted 24 January, 2024; v1 submitted 17 March, 2023;
originally announced March 2023.
-
On the design of persistently exciting inputs for data-driven control of linear and nonlinear systems
Authors:
Mohammad Alsalti,
Victor G. Lopez,
Matthias A. Müller
Abstract:
In the context of data-driven control, persistence of excitation (PE) of an input sequence is defined in terms of a rank condition on the Hankel matrix of the input data. For nonlinear systems, recent results employed rank conditions involving collected input and state/output data, for which no guidelines are available on how to satisfy them a priori. In this paper, we first show that a set of dis…
▽ More
In the context of data-driven control, persistence of excitation (PE) of an input sequence is defined in terms of a rank condition on the Hankel matrix of the input data. For nonlinear systems, recent results employed rank conditions involving collected input and state/output data, for which no guidelines are available on how to satisfy them a priori. In this paper, we first show that a set of discrete impulses is guaranteed to be persistently exciting for any controllable LTI system. Based on this result, for certain classes of nonlinear systems, we guarantee persistence of excitation of sequences of basis functions a priori, by design of the physical input only.
△ Less
Submitted 19 June, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Chiral phonons and phononic birefringence in ferromagnetic metal - bulk acoustic resonator hybrids
Authors:
Manuel Müller,
Johannes Weber,
Fabian Engelhardt,
Victor A. S. V. Bittencourt,
Thomas Luschmann,
Mikhail Cherkasskii,
Sebastian T. B. Goennenwein,
Silvia Viola Kusminskiy,
Stephan Geprägs,
Rudolf Gross,
Matthias Althammer,
Hans Huebl
Abstract:
Magnomechanical devices, in which magnetic excitations couple to mechanical vibrations, have been discussed as efficient and broadband microwave signal transducers in the classical and quantum limit. We experimentally investigate the magnetoelastic coupling between the ferromagnetic resonance (FMR) modes in a metallic Co$_{25}$Fe$_{75}$ thin film, featuring ultra-low magnetic dam** as well as si…
▽ More
Magnomechanical devices, in which magnetic excitations couple to mechanical vibrations, have been discussed as efficient and broadband microwave signal transducers in the classical and quantum limit. We experimentally investigate the magnetoelastic coupling between the ferromagnetic resonance (FMR) modes in a metallic Co$_{25}$Fe$_{75}$ thin film, featuring ultra-low magnetic dam** as well as sizable magnetostriction, and standing transverse elastic phonon modes in sapphire, silicon and gadolinium gallium garnet by performing broadband FMR spectroscopy at cryogenic temperatures. For all these substrate materials, we observe an interaction between the resonant acoustic and magnetic modes, which can be tailored by the propagation direction of the acoustic mode with respect to the crystallographic axes. We identify these phonon modes as transverse shear waves propagating with slightly different velocities with relative magnitudes of $Δv/v\simeq10^{-5}$, i.e., all substrates show phononic birefringence. Upon appropriately choosing the phononic mode, the hybrid magnomechanical system enters the Purcell enhanced coupling regime.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Efficient Certified Training and Robustness Verification of Neural ODEs
Authors:
Mustafa Zeqiri,
Mark Niklas Müller,
Marc Fischer,
Martin Vechev
Abstract:
Neural Ordinary Differential Equations (NODEs) are a novel neural architecture, built around initial value problems with learned dynamics which are solved during inference. Thought to be inherently more robust against adversarial perturbations, they were recently shown to be vulnerable to strong adversarial attacks, highlighting the need for formal guarantees. However, despite significant progress…
▽ More
Neural Ordinary Differential Equations (NODEs) are a novel neural architecture, built around initial value problems with learned dynamics which are solved during inference. Thought to be inherently more robust against adversarial perturbations, they were recently shown to be vulnerable to strong adversarial attacks, highlighting the need for formal guarantees. However, despite significant progress in robustness verification for standard feed-forward architectures, the verification of high dimensional NODEs remains an open problem. In this work, we address this challenge and propose GAINS, an analysis framework for NODEs combining three key ideas: (i) a novel class of ODE solvers, based on variable but discrete time steps, (ii) an efficient graph representation of solver trajectories, and (iii) a novel abstraction algorithm operating on this graph representation. Together, these advances enable the efficient analysis and certified training of high-dimensional NODEs, by reducing the runtime from an intractable $O(\exp(d)+\exp(T))$ to ${O}(d+T^2 \log^2T)$ in the dimensionality $d$ and integration time $T$. In an extensive evaluation on computer vision (MNIST and FMNIST) and time-series forecasting (PHYSIO-NET) problems, we demonstrate the effectiveness of both our certified training and verification methods.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Analyzing the collective emission of a Rydberg-blockaded single-photon source based on an ensemble of thermal atoms
Authors:
Jan A. P. Reuter,
Max Mäusezahl,
Felix Moumtsilis,
Tilman Pfau,
Tommaso Calarco,
Robert Löw,
Matthias M. Müller
Abstract:
An ensemble of Rubidum atoms can be excited with lasers such that it evolves into an entangled state with just one collective excitation within the Rydberg blockade radius. The decay of this state leads to the emission of a single, antibunched photon. For a hot vapor of Rubidium atoms in a micro cell we numerically study the feasibility of such a single-photon source under different experimental c…
▽ More
An ensemble of Rubidum atoms can be excited with lasers such that it evolves into an entangled state with just one collective excitation within the Rydberg blockade radius. The decay of this state leads to the emission of a single, antibunched photon. For a hot vapor of Rubidium atoms in a micro cell we numerically study the feasibility of such a single-photon source under different experimental conditions like the atomic density distribution and the choice of electronic states addressed by the lasers. For the excitation process with three rectangular lasers pulses, we simulate the coherent dynamics of the system in a truncated Hilbert space. We investigate the radiative behavior of the moving Rubidum atoms and optimize the laser pulse sequence accordingly. We find that the collective decay of the single-excitation leads to a fast and directed photon emission and further, that a pulse sequence similar to a spin echo increases the directionality of the photon. Finally, we analyze the residual double-excitations and find that they do not exhibit these collective decay properties and play only a minor deleterious role.
△ Less
Submitted 28 November, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
Authors:
Albert Atserias,
Sam Buss,
Moritz Müller
Abstract:
We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory V$^0_2$ is consistent with the conjecture that NEXP $\not\subseteq$ P/poly, i.e., some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best cu…
▽ More
We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory V$^0_2$ is consistent with the conjecture that NEXP $\not\subseteq$ P/poly, i.e., some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with NEXP replaced by the class of problems that are decidable in non-deterministic barely superpolynomial time such as NTIME$(n^{O(\log\log\log n)})$. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds.
△ Less
Submitted 25 August, 2023; v1 submitted 2 March, 2023;
originally announced March 2023.
-
ZoeDepth: Zero-shot Transfer by Combining Relative and Metric Depth
Authors:
Shariq Farooq Bhat,
Reiner Birkl,
Diana Wofk,
Peter Wonka,
Matthias Müller
Abstract:
This paper tackles the problem of depth estimation from a single image. Existing work either focuses on generalization performance disregarding metric scale, i.e. relative depth estimation, or state-of-the-art results on specific datasets, i.e. metric depth estimation. We propose the first approach that combines both worlds, leading to a model with excellent generalization performance while mainta…
▽ More
This paper tackles the problem of depth estimation from a single image. Existing work either focuses on generalization performance disregarding metric scale, i.e. relative depth estimation, or state-of-the-art results on specific datasets, i.e. metric depth estimation. We propose the first approach that combines both worlds, leading to a model with excellent generalization performance while maintaining metric scale. Our flagship model, ZoeD-M12-NK, is pre-trained on 12 datasets using relative depth and fine-tuned on two datasets using metric depth. We use a lightweight head with a novel bin adjustment design called metric bins module for each domain. During inference, each input image is automatically routed to the appropriate head using a latent classifier. Our framework admits multiple configurations depending on the datasets used for relative depth pre-training and metric fine-tuning. Without pre-training, we can already significantly improve the state of the art (SOTA) on the NYU Depth v2 indoor dataset. Pre-training on twelve datasets and fine-tuning on the NYU Depth v2 indoor dataset, we can further improve SOTA for a total of 21% in terms of relative absolute error (REL). Finally, ZoeD-M12-NK is the first model that can jointly train on multiple datasets (NYU Depth v2 and KITTI) without a significant drop in performance and achieve unprecedented zero-shot generalization performance to eight unseen datasets from both indoor and outdoor domains. The code and pre-trained models are publicly available at https://github.com/isl-org/ZoeDepth .
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Human-Centered Responsible Artificial Intelligence: Current & Future Trends
Authors:
Mohammad Tahaei,
Marios Constantinides,
Daniele Quercia,
Sean Kennedy,
Michael Muller,
Simone Stumpf,
Q. Vera Liao,
Ricardo Baeza-Yates,
Lora Aroyo,
Jess Holbrook,
Ewa Luger,
Michael Madaio,
Ilana Golbin Blumenfeld,
Maria De-Arteaga,
Jessica Vitak,
Alexandra Olteanu
Abstract:
In recent years, the CHI community has seen significant growth in research on Human-Centered Responsible Artificial Intelligence. While different research communities may use different terminology to discuss similar topics, all of this work is ultimately aimed at develo** AI that benefits humanity while being grounded in human rights and ethics, and reducing the potential harms of AI. In this sp…
▽ More
In recent years, the CHI community has seen significant growth in research on Human-Centered Responsible Artificial Intelligence. While different research communities may use different terminology to discuss similar topics, all of this work is ultimately aimed at develo** AI that benefits humanity while being grounded in human rights and ethics, and reducing the potential harms of AI. In this special interest group, we aim to bring together researchers from academia and industry interested in these topics to map current and future research trends to advance this important area of research by fostering collaboration and sharing ideas.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
The Programmer's Assistant: Conversational Interaction with a Large Language Model for Software Development
Authors:
Steven I. Ross,
Fernando Martinez,
Stephanie Houde,
Michael Muller,
Justin D. Weisz
Abstract:
Large language models (LLMs) have recently been applied in software engineering to perform tasks such as translating code between programming languages, generating code from natural language, and autocompleting code as it is being written. When used within development tools, these systems typically treat each model invocation independently from all previous invocations, and only a specific limited…
▽ More
Large language models (LLMs) have recently been applied in software engineering to perform tasks such as translating code between programming languages, generating code from natural language, and autocompleting code as it is being written. When used within development tools, these systems typically treat each model invocation independently from all previous invocations, and only a specific limited functionality is exposed within the user interface. This approach to user interaction misses an opportunity for users to more deeply engage with the model by having the context of their previous interactions, as well as the context of their code, inform the model's responses. We developed a prototype system -- the Programmer's Assistant -- in order to explore the utility of conversational interactions grounded in code, as well as software engineers' receptiveness to the idea of conversing with, rather than invoking, a code-fluent LLM. Through an evaluation with 42 participants with varied levels of programming experience, we found that our system was capable of conducting extended, multi-turn discussions, and that it enabled additional knowledge and capabilities beyond code generation to emerge from the LLM. Despite skeptical initial expectations for conversational programming assistance, participants were impressed by the breadth of the assistant's capabilities, the quality of its responses, and its potential for improving their productivity. Our work demonstrates the unique potential of conversational interactions with LLMs for co-creative processes like software development.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Designing the stripe-ordered cuprate phase diagram through uniaxial-stress
Authors:
Z. Guguchia,
D. Das,
G. Simutis,
T. Adachi,
J. Küspert,
N. Kitajima,
M. Elender,
V. Grinenko,
O. Ivashko,
M. v. Zimmermann,
M. Müller,
C. Mielke III,
F. Hotz,
C. Mudry,
C. Baines,
M. Bartkowiak,
T. Shiroka,
Y. Koike,
A. Amato,
C. W. Hicks,
G. D. Gu,
J. M. Tranquada,
H. -H. Klauss,
J. J. Chang,
M. Janoschek
, et al. (1 additional authors not shown)
Abstract:
The ability to efficiently control charge and spin in the cuprate high-temperature superconductors is crucial for fundamental research and underpins technological development. Here, we explore the tunability of magnetism, superconductivity and crystal structure in the stripe phase of the cuprate La_2-xBa_xCuO_4, with x = 0.115 and 0.135, by employing temperature-dependent (down to 400 mK) muon-spi…
▽ More
The ability to efficiently control charge and spin in the cuprate high-temperature superconductors is crucial for fundamental research and underpins technological development. Here, we explore the tunability of magnetism, superconductivity and crystal structure in the stripe phase of the cuprate La_2-xBa_xCuO_4, with x = 0.115 and 0.135, by employing temperature-dependent (down to 400 mK) muon-spin rotation and AC susceptibility, as well as X-ray scattering experiments under compressive uniaxial stress in the CuO_2 plane. A sixfold increase of the 3-dimensional (3D) superconducting critical temperature T_c and a full recovery of the 3D phase coherence is observed in both samples with the application of extremely low uniaxial stress of 0.1 GPa. This finding demonstrates the removal of the well-known 1/8-anomaly of cuprates by uniaxial stress. On the other hand, the spin-stripe order temperature as well as the magnetic fraction at 400 mK show only a modest decrease under stress. Moreover, the onset temperatures of 3D superconductivity and spin-stripe order are very similar in the large stress regime. However, a substantial decrease of the magnetic volume fraction and a full suppression of the low-temperature tetragonal structure is found at elevated temperatures, which is a necessary condition for the development of the 3D superconducting phase with optimal T_c. Our results evidence a remarkable cooperation between the long-range static spin-stripe order and the underlying crystalline order with the three-dimensional fully coherent superconductivity. Overall, these results suggest that the stripe- and the SC order may have a common physical mechanism.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
A Modern Look at the Relationship between Sharpness and Generalization
Authors:
Maksym Andriushchenko,
Francesco Croce,
Maximilian Müller,
Matthias Hein,
Nicolas Flammarion
Abstract:
Sharpness of minima is a promising quantity that can correlate with generalization in deep networks and, when optimized during training, can improve generalization. However, standard sharpness is not invariant under reparametrizations of neural networks, and, to fix this, reparametrization-invariant sharpness definitions have been proposed, most prominently adaptive sharpness (Kwon et al., 2021).…
▽ More
Sharpness of minima is a promising quantity that can correlate with generalization in deep networks and, when optimized during training, can improve generalization. However, standard sharpness is not invariant under reparametrizations of neural networks, and, to fix this, reparametrization-invariant sharpness definitions have been proposed, most prominently adaptive sharpness (Kwon et al., 2021). But does it really capture generalization in modern practical settings? We comprehensively explore this question in a detailed study of various definitions of adaptive sharpness in settings ranging from training from scratch on ImageNet and CIFAR-10 to fine-tuning CLIP on ImageNet and BERT on MNLI. We focus mostly on transformers for which little is known in terms of sharpness despite their widespread usage. Overall, we observe that sharpness does not correlate well with generalization but rather with some training parameters like the learning rate that can be positively or negatively correlated with generalization depending on the setup. Interestingly, in multiple cases, we observe a consistent negative correlation of sharpness with out-of-distribution error implying that sharper minima can generalize better. Finally, we illustrate on a simple model that the right sharpness measure is highly data-dependent, and that we do not understand well this aspect for realistic data distributions. The code of our experiments is available at https://github.com/tml-epfl/sharpness-vs-generalization.
△ Less
Submitted 7 June, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
A Systematic Literature Review of Human-Centered, Ethical, and Responsible AI
Authors:
Mohammad Tahaei,
Marios Constantinides,
Daniele Quercia,
Michael Muller
Abstract:
As Artificial Intelligence (AI) continues to advance rapidly, it becomes increasingly important to consider AI's ethical and societal implications. In this paper, we present a bottom-up map** of the current state of research at the intersection of Human-Centered AI, Ethical, and Responsible AI (HCER-AI) by thematically reviewing and analyzing 164 research papers from leading conferences in ethic…
▽ More
As Artificial Intelligence (AI) continues to advance rapidly, it becomes increasingly important to consider AI's ethical and societal implications. In this paper, we present a bottom-up map** of the current state of research at the intersection of Human-Centered AI, Ethical, and Responsible AI (HCER-AI) by thematically reviewing and analyzing 164 research papers from leading conferences in ethical, social, and human factors of AI: AIES, CHI, CSCW, and FAccT. The ongoing research in HCER-AI places emphasis on governance, fairness, and explainability. These conferences, however, concentrate on specific themes rather than encompassing all aspects. While AIES has fewer papers on HCER-AI, it emphasizes governance and rarely publishes papers about privacy, security, and human flourishing. FAccT publishes more on governance and lacks papers on privacy, security, and human flourishing. CHI and CSCW, as more established conferences, have a broader research portfolio. We find that the current emphasis on governance and fairness in AI research may not adequately address the potential unforeseen and unknown implications of AI. Therefore, we recommend that future research should expand its scope and diversify resources to prepare for these potential consequences. This could involve exploring additional areas such as privacy, security, human flourishing, and explainability.
△ Less
Submitted 26 June, 2023; v1 submitted 10 February, 2023;
originally announced February 2023.
-
Shortcut Detection with Variational Autoencoders
Authors:
Nicolas M. Müller,
Simon Roschmann,
Shahbaz Khan,
Philip Sperl,
Konstantin Böttinger
Abstract:
For real-world applications of machine learning (ML), it is essential that models make predictions based on well-generalizing features rather than spurious correlations in the data. The identification of such spurious correlations, also known as shortcuts, is a challenging problem and has so far been scarcely addressed. In this work, we present a novel approach to detect shortcuts in image and aud…
▽ More
For real-world applications of machine learning (ML), it is essential that models make predictions based on well-generalizing features rather than spurious correlations in the data. The identification of such spurious correlations, also known as shortcuts, is a challenging problem and has so far been scarcely addressed. In this work, we present a novel approach to detect shortcuts in image and audio datasets by leveraging variational autoencoders (VAEs). The disentanglement of features in the latent space of VAEs allows us to discover feature-target correlations in datasets and semi-automatically evaluate them for ML shortcuts. We demonstrate the applicability of our method on several real-world datasets and identify shortcuts that have not been discovered before.
△ Less
Submitted 21 July, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Mean-field dynamics of open quantum systems with collective operator-valued rates: validity and application
Authors:
Eliana Fiorelli,
Markus Müller,
Igor Lesanovsky,
Federico Carollo
Abstract:
We consider a class of open quantum many-body Lindblad dynamics characterized by an all-to-all coupling Hamiltonian and by dissipation featuring collective ``state-dependent" rates. The latter encodes local incoherent transitions that depend on average properties of the system. This type of open quantum dynamics can be seen as a generalization of classical (mean-field) stochastic Markov dynamics,…
▽ More
We consider a class of open quantum many-body Lindblad dynamics characterized by an all-to-all coupling Hamiltonian and by dissipation featuring collective ``state-dependent" rates. The latter encodes local incoherent transitions that depend on average properties of the system. This type of open quantum dynamics can be seen as a generalization of classical (mean-field) stochastic Markov dynamics, in which transitions depend on the instantaneous configuration of the system, to the quantum domain. We study the time evolution in the limit of infinitely large systems, and we demonstrate the exactness of the mean-field equations for the dynamics of average operators. We further derive the effective dynamical generator governing the time evolution of (quasi-)local operators. Our results allow for a rigorous and systematic investigation of the impact of quantum effects on paradigmatic classical models, such as quantum generalized Hopfield associative memories or (mean-field) kinetically-constrained models.
△ Less
Submitted 8 February, 2023;
originally announced February 2023.
-
Evolving Flying Machines in Minecraft Using Quality Diversity
Authors:
Alejandro Medina,
Melanie Richey,
Mark Mueller,
Jacob Schrum
Abstract:
Minecraft is a great testbed for human creativity that has inspired the design of various structures and even functioning machines, including flying machines. EvoCraft is an API for programmatically generating structures in Minecraft, but the initial work in this domain was not capable of evolving flying machines. This paper applies fitness-based evolution and quality diversity search in order to…
▽ More
Minecraft is a great testbed for human creativity that has inspired the design of various structures and even functioning machines, including flying machines. EvoCraft is an API for programmatically generating structures in Minecraft, but the initial work in this domain was not capable of evolving flying machines. This paper applies fitness-based evolution and quality diversity search in order to evolve flying machines. Although fitness alone can occasionally produce flying machines, thanks in part to a more sophisticated fitness function than was used previously, the quality diversity algorithm MAP-Elites is capable of discovering flying machines much more reliably, at least when an appropriate behavior characterization is used to guide the search for diverse solutions.
△ Less
Submitted 19 April, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Observations of the Planetary Nebula SMP LMC 058 with the JWST MIRI Medium Resolution Spectrometer
Authors:
O. C. Jones,
J. Álvarez-Márquez,
G. C. Sloan,
P. J. Kavanagh,
I. Argyriou,
A. Labiano,
D. R. Law,
P. Patapis,
Michael Mueller,
Kirsten L. Larson,
Stacey N. Bright,
P. D. Klaassen,
O. D. Fox,
Danny Gasman,
V. C. Geers,
Adrian M. Glauser,
Pierre Guillard,
Omnarayani Nayak,
A. Noriega-Crespo,
Michael E. Ressler,
B. Sargent,
T. Temim,
B. Vandenbussche,
Macarena García Marín
Abstract:
During the commissioning of {\em JWST}, the Medium-Resolution Spectrometer (MRS) on the Mid-Infrared Instrument (MIRI) observed the planetary nebula SMP LMC 058 in the Large Magellanic Cloud. The MRS was designed to provide medium resolution (R = $λ$/$Δλ$) 3D spectroscopy in the whole MIRI range. SMP LMC 058 is the only source observed in {\em JWST} commissioning that is both spatially and spectra…
▽ More
During the commissioning of {\em JWST}, the Medium-Resolution Spectrometer (MRS) on the Mid-Infrared Instrument (MIRI) observed the planetary nebula SMP LMC 058 in the Large Magellanic Cloud. The MRS was designed to provide medium resolution (R = $λ$/$Δλ$) 3D spectroscopy in the whole MIRI range. SMP LMC 058 is the only source observed in {\em JWST} commissioning that is both spatially and spectrally unresolved by the MRS and is a good test of {\em JWST's} capabilities. The new MRS spectra reveal a wealth of emission lines not previously detected in this planetary nebula. From these lines, the spectral resolving power ($λ$/$Δλ$) of the MRS is confirmed to be in the range R $=$ 4000 to 1500, depending on the MRS spectral sub-band. In addition, the spectra confirm that the carbon-rich dust emission is from SiC grains and that there is little to no time evolution of the SiC dust and emission line strengths over a 17-year epoch. These commissioning data reveal the great potential of the MIRI MRS for the study of circumstellar and interstellar material.
△ Less
Submitted 25 May, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Zero-Shot Transfer of Haptics-Based Object Insertion Policies
Authors:
Samarth Brahmbhatt,
Ankur Deka,
Andrew Spielberg,
Matthias Müller
Abstract:
Humans naturally exploit haptic feedback during contact-rich tasks like loading a dishwasher or stocking a bookshelf. Current robotic systems focus on avoiding unexpected contact, often relying on strategically placed environment sensors. Recently, contact-exploiting manipulation policies have been trained in simulation and deployed on real robots. However, they require some form of real-world ada…
▽ More
Humans naturally exploit haptic feedback during contact-rich tasks like loading a dishwasher or stocking a bookshelf. Current robotic systems focus on avoiding unexpected contact, often relying on strategically placed environment sensors. Recently, contact-exploiting manipulation policies have been trained in simulation and deployed on real robots. However, they require some form of real-world adaptation to bridge the sim-to-real gap, which might not be feasible in all scenarios. In this paper we train a contact-exploiting manipulation policy in simulation for the contact-rich household task of loading plates into a slotted holder, which transfers without any fine-tuning to the real robot. We investigate various factors necessary for this zero-shot transfer, like time delay modeling, memory representation, and domain randomization. Our policy transfers with minimal sim-to-real gap and significantly outperforms heuristic and learnt baselines. It also generalizes to plates of different sizes and weights. Demonstration videos and code are available at https://sites.google.com/view/compliant-object-insertion.
△ Less
Submitted 7 June, 2023; v1 submitted 29 January, 2023;
originally announced January 2023.
-
Hybrid Trap** of $^{87}$Rb Atoms and Yb$^{+}$ Ions in a Chip-Based Experimental Setup
Authors:
Abasalt Bahrami,
Matthias Müller,
Ferdinand Schmidt-Kaler
Abstract:
Hybrid quantum systems that unite laser-cooled trapped ions and ultracold quantum gases in a single experimental setup have opened a rapidly advancing field of study, including Quantum chemistry, polaron physics, quantum information processing and quantum simulations. We present a fully developed and tested ion trap chip and propose a flat chip trap that can be placed beneath the ion trap. This de…
▽ More
Hybrid quantum systems that unite laser-cooled trapped ions and ultracold quantum gases in a single experimental setup have opened a rapidly advancing field of study, including Quantum chemistry, polaron physics, quantum information processing and quantum simulations. We present a fully developed and tested ion trap chip and propose a flat chip trap that can be placed beneath the ion trap. This design substantially addresses the difficulties specific to hybrid traps and features well-aligned chips that allow for independent adjustment of the depth of the atomic trap and the confinement and positioning of ions. The ion trap has been successfully tested with linear ion crystals of Yb$^{+}$ and neutral $^{87}$Rb were also loaded into a mMOT a few millimeters under the ion trap** region.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Strategies for practical advantage of fault-tolerant circuit design in noisy trapped-ion quantum computers
Authors:
Sascha Heußen,
Lukas Postler,
Manuel Rispler,
Ivan Pogorelov,
Christian D. Marciniak,
Thomas Monz,
Philipp Schindler,
Markus Müller
Abstract:
Fault-tolerant quantum error correction provides a strategy to protect information processed by a quantum computer against noise which would otherwise corrupt the data. A fault-tolerant universal quantum computer must implement a universal gate set on the logical level in order to perform arbitrary calculations to in principle unlimited precision. We characterize the recent demonstration of a faul…
▽ More
Fault-tolerant quantum error correction provides a strategy to protect information processed by a quantum computer against noise which would otherwise corrupt the data. A fault-tolerant universal quantum computer must implement a universal gate set on the logical level in order to perform arbitrary calculations to in principle unlimited precision. We characterize the recent demonstration of a fault-tolerant universal gate set in a trapped-ion quantum computer [Postler et al. Nature 605.7911 (2022)] and identify aspects to improve the design of experimental setups to reach an advantage of logical over physical qubit operation. We show that various criteria to assess the break-even point for fault-tolerant quantum operations are within reach for the ion trap quantum computing architecture under consideration. We analyze the influence of crosstalk in entangling gates for logical state preparation circuits. These circuits can be designed to respect fault tolerance for specific microscopic noise models. We find that an experimentally-informed depolarizing noise model captures the essential noise dynamics of the fault-tolerant experiment, and crosstalk is negligible in the currently accessible regime of physical error rates. For deterministic Pauli state preparation, we provide a fault-tolerant unitary logical qubit initialization circuit, which can be realized without in-sequence measurement and feed-forward of classical information. We show that non-deterministic state preparation schemes for logical Pauli and magic states perform with higher logical fidelity over their deterministic counterparts for the current and anticipated future regime of physical error rates. Our results offer guidance on improvements of physical qubit operations and validate the experimentally-informed noise model as a tool to predict logical failure rates in quantum computing architectures based on trapped ions.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
A Case Study in Engineering a Conversational Programming Assistant's Persona
Authors:
Steven I. Ross,
Michael Muller,
Fernando Martinez,
Stephanie Houde,
Justin D. Weisz
Abstract:
The Programmer's Assistant is an experimental prototype software development environment that integrates a chatbot with a code editor. Conversational capability was achieved by using an existing code-fluent Large Language Model and providing it with a prompt that establishes a conversational interaction pattern, a set of conventions, and a style of interaction appropriate for the application. A di…
▽ More
The Programmer's Assistant is an experimental prototype software development environment that integrates a chatbot with a code editor. Conversational capability was achieved by using an existing code-fluent Large Language Model and providing it with a prompt that establishes a conversational interaction pattern, a set of conventions, and a style of interaction appropriate for the application. A discussion of the evolution of the prompt provides a case study in how to coax an existing foundation model to behave in a desirable manner for a particular application.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
Authors:
Christopher Brix,
Mark Niklas Müller,
Stanley Bak,
Taylor T. Johnson,
Changliu Liu
Abstract:
This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a va…
▽ More
This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image classification, neural control, reinforcement learning, and autonomous systems. We summarize the key processes, rules, and results, present trends observed over the last three years, and provide an outlook into possible future developments.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Toward General Design Principles for Generative AI Applications
Authors:
Justin D. Weisz,
Michael Muller,
Jessica He,
Stephanie Houde
Abstract:
Generative AI technologies are growing in power, utility, and use. As generative technologies are being incorporated into mainstream applications, there is a need for guidance on how to design those applications to foster productive and safe use. Based on recent research on human-AI co-creation within the HCI and AI communities, we present a set of seven principles for the design of generative AI…
▽ More
Generative AI technologies are growing in power, utility, and use. As generative technologies are being incorporated into mainstream applications, there is a need for guidance on how to design those applications to foster productive and safe use. Based on recent research on human-AI co-creation within the HCI and AI communities, we present a set of seven principles for the design of generative AI applications. These principles are grounded in an environment of generative variability. Six principles are focused on designing for characteristics of generative AI: multiple outcomes & imperfection; exploration & control; and mental models & explanations. In addition, we urge designers to design against potential harms that may be caused by a generative model's hazardous output, misuse, or potential for human displacement. We anticipate these principles to usefully inform design decisions made in the creation of novel human-AI applications, and we invite the community to apply, revise, and extend these principles to their own work.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Topological stripe state in an extended Fermi-Hubbard model
Authors:
Sergi Julià-Farré,
Lorenzo Cardarelli,
Maciej Lewenstein,
Markus Müller,
Alexandre Dauphin
Abstract:
Interaction-induced topological systems have attracted a growing interest for their exotic properties going beyond the single-particle picture of topological insulators. In particular, the interplay between strong correlations and finite do** can give rise to nonhomogeneous solutions that break the translational symmetry. In this work, we report the appearance of a topological stripe state in an…
▽ More
Interaction-induced topological systems have attracted a growing interest for their exotic properties going beyond the single-particle picture of topological insulators. In particular, the interplay between strong correlations and finite do** can give rise to nonhomogeneous solutions that break the translational symmetry. In this work, we report the appearance of a topological stripe state in an interaction-induced Chern insulator around half-filling. In contrast to similar stripe phases in nontopological systems, here we observe the appearance of chiral edge states on top of the domain wall. Furthermore, we characterize their topological nature by analyzing the quantized transferred charge of the domains in a pum** scheme. Finally, we focus on aspects relevant to observing such phases in state-of-the-art quantum simulators of ultracold atoms in optical lattices. In particular, we propose an adiabatic state preparation protocol and a detection scheme of the topology of the system in real space.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
Global angular momentum generation in heavy-ion reactions within a hadronic transport approach
Authors:
Nils Sass,
Marco Müller,
Oscar Garcia-Montero,
Hannah Elfner
Abstract:
In 2017, the STAR collaboration at the Relativistic Heavy Ion Collider (RHIC) has measured finite global angular momentum in heavy-ion collisions through a spin polarization measurement of $Λ$ hyperons. This measurement revealed a high angular momentum of the heavy ions and provided experimental evidence for vorticity in the quark-gluon plasma (QGP) for the first time. In order to investigate the…
▽ More
In 2017, the STAR collaboration at the Relativistic Heavy Ion Collider (RHIC) has measured finite global angular momentum in heavy-ion collisions through a spin polarization measurement of $Λ$ hyperons. This measurement revealed a high angular momentum of the heavy ions and provided experimental evidence for vorticity in the quark-gluon plasma (QGP) for the first time. In order to investigate the underlying mechanisms, a dynamic description of the transfer of angular momentum is required. In this work, the microscopic non-equilibrium transport approach SMASH (Simulating Many Accelerated Strongly-interacting Hadrons) is applied to study the generation of global angular momentum by the interaction of two nuclei. As SMASH provides access to the whole phase-space evolution of every particle at any given time, it allows to assess the fraction of angular momentum generated in the fireball by all participants. We confirm the previous modeling by Becattini \textit{et al} within a geometric Glauber model approach, which found that the angular momentum transfer reaches a unique maximum in mid-central collisions during time evolution. The corresponding impact parameter is around $b=4-6$ fm for all beam energies from $\sqrt{s_{\rm NN}}=2.41-200$ GeV. Even though angular momentum is not conserved locally in the transport approach a priori, we identify the contributions to the conservation violation and propose optimal setups for different energy regimes that recover conservation, based upon the test particle method and the treatment of Fermi motion. Furthermore, the system size and centrality dependence are investigated.
△ Less
Submitted 12 January, 2024; v1 submitted 29 December, 2022;
originally announced December 2022.
-
QuOCS: The Quantum Optimal Control Suite
Authors:
Marco Rossignolo,
Thomas Reisser,
Alastair Marshall,
Phila Rembold,
Alice Pagano,
Philipp J. Vetter,
Ressa S. Said,
Matthias M. Müller,
Felix Motzoi,
Tommaso Calarco,
Fedor Jelezko,
Simone Montangero
Abstract:
Quantum optimal control includes the family of pulse-sha** algorithms that aim to unlock the full potential of a variety of quantum technologies. Our Quantum Optimal Control Suite (QuOCS) unites experimental focus and model-based approaches in a unified framework. The easy usage and installation of QuOCS and the availability of various combinable optimization strategies is designed to improve th…
▽ More
Quantum optimal control includes the family of pulse-sha** algorithms that aim to unlock the full potential of a variety of quantum technologies. Our Quantum Optimal Control Suite (QuOCS) unites experimental focus and model-based approaches in a unified framework. The easy usage and installation of QuOCS and the availability of various combinable optimization strategies is designed to improve the performance of many quantum technology platforms, such as color defects in diamond, superconducting qubits, atom- or ion-based quantum computers. It can also be applied to the study of more general phenomena in physics. In this paper, we describe the software and the main toolbox of gradient-free and gradient-based algorithms. We then show how the user can connect it to their experiment. In addition, we provide illustrative examples where our optimization suite solves typical quantum optimal control problems, in both open- and closed-loop settings. Integration into existing experimental control software is already provided for the experiment control software Qudi [J. M. Binder et al., SoftwareX, 6, 85-90, (2017)], and further extensions are investigated and highly encouraged. QuOCS is available from GitHub, under Apache License 2.0, and can be found on the PyPI repository.
△ Less
Submitted 22 December, 2022; v1 submitted 21 December, 2022;
originally announced December 2022.
-
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
Authors:
Mark Niklas Müller,
Christopher Brix,
Stanley Bak,
Changliu Liu,
Taylor T. Johnson
Abstract:
This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), which was collocated with the 34th International Conference on Computer-Aided Verification (CAV). VNN-COMP is held annually to facilitate the fair and objective comparison of state-of-the-art neura…
▽ More
This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), which was collocated with the 34th International Conference on Computer-Aided Verification (CAV). VNN-COMP is held annually to facilitate the fair and objective comparison of state-of-the-art neural network verification tools, encourage the standardization of tool interfaces, and bring together the neural network verification community. To this end, standardized formats for networks (ONNX) and specification (VNN-LIB) were defined, tools were evaluated on equal-cost hardware (using an automatic evaluation pipeline based on AWS instances), and tool parameters were chosen by the participants before the final test sets were made public. In the 2022 iteration, 11 teams participated on a diverse set of 12 scored benchmarks. This report summarizes the rules, benchmarks, participating tools, results, and lessons learned from this iteration of this competition.
△ Less
Submitted 16 February, 2023; v1 submitted 20 December, 2022;
originally announced December 2022.
-
Treating Hyperthyroidism: Model Predictive Control for the Prescription of Antithyroid Agents
Authors:
Tobias M. Wolff,
Maylin Menzel,
Johannes W. Dietrich,
Matthias A. Müller
Abstract:
In this work, we propose an approach to determine the dosages of antithyroid agents to treat hyperthyroid patients. Instead of relying on a trial-and-error approach as it is commonly done in clinical practice, we suggest to determine the dosages by means of a model predictive control (MPC) scheme. To this end, we extend a mathematical model of the pituitary-thyroid feedback loop such that the inta…
▽ More
In this work, we propose an approach to determine the dosages of antithyroid agents to treat hyperthyroid patients. Instead of relying on a trial-and-error approach as it is commonly done in clinical practice, we suggest to determine the dosages by means of a model predictive control (MPC) scheme. To this end, we extend a mathematical model of the pituitary-thyroid feedback loop such that the intake of methimazole, a common antithyroid agent, can be considered. Based on this extension, we develop an MPC scheme to determine suitable dosages. In numerical simulations, we consider scenarios in which (i) patients are affected by Graves' disease and take the medication orally, (ii) patients are additionally affected by high intrathyroidal iodide concentrations and take the medication orally and, (iii) patients suffering from a life-threatening thyrotoxicosis, in which the medication is usually given intravenously. Our results suggest that determining the medication dosages by means of an MPC scheme is a promising alternative to the currently applied trial-and-error approach.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Comparing Approaches to Distributed Control of Fluid Systems based on Multi-Agent Systems
Authors:
Kevin T. Logan,
J. Marius Stürmer,
Tim M. Müller,
Peter F. Pelz
Abstract:
Conventional control of fluid systems does not consider system-wide knowledge for optimising energy efficient operation. Distributed control of fluid systems combines reliable local control of components while using system-wide cooperation to ensure energy efficient operation. The presented work compares three approaches to distributed control based on multi-agent systems, distributed model predic…
▽ More
Conventional control of fluid systems does not consider system-wide knowledge for optimising energy efficient operation. Distributed control of fluid systems combines reliable local control of components while using system-wide cooperation to ensure energy efficient operation. The presented work compares three approaches to distributed control based on multi-agent systems, distributed model predictive control (DMPC), multi-agent deep reinforcement learning (MADRL) and market mechanism design. These approaches were applied to a generic fluid system and evaluated with regard to functionality, energy efficient operation, modeling effort, reliability in the face of disruptions, and transparency of control decisions. All approaches were shown to fulfil the functionality, though a trade-off between functional quality and energy efficiency was identified. Increased modeling effort was shown to improve the performance slightly while a strong interdependence of information caused by excessive information sharing has proven to be disadvantageous. DMPC and partially observable MADRL were less sensitive to disruptions than market mechanism. In conclusion, agent-based control of fluid systems achieves greater energy efficiency than conventional methods, with values similar to centralized optimal control and thus represent a viable design approach of fluid system control.
△ Less
Submitted 25 April, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
MINDS. The detection of $^{13}$CO$_{2}$ with JWST-MIRI indicates abundant CO$_{2}$ in a protoplanetary disk
Authors:
Sierra L. Grant,
Ewine F. van Dishoeck,
Benoît Tabone,
Danny Gasman,
Thomas Henning,
Inga Kamp,
Manuel Güdel,
Pierre-Olivier Lagage,
Giulio Bettoni,
Giulia Perotti,
Valentin Christiaens,
Matthias Samland,
Aditya M. Arabhavi,
Ioannis Argyriou,
Alain Abergel,
Olivier Absil,
David Barrado,
Anthony Boccaletti,
Jeroen Bouwman,
Alessio Caratti o Garatti,
Vincent Geers,
Adrian M. Glauser,
Rodrigo Guadarrama,
Hyerin Jang,
Jayatee Kanwar
, et al. (21 additional authors not shown)
Abstract:
We present JWST-MIRI MRS spectra of the protoplanetary disk around the low-mass T Tauri star GW Lup from the MIRI mid-INfrared Disk Survey (MINDS) GTO program. Emission from $^{12}$CO$_{2}$, $^{13}$CO$_{2}$, H$_{2}$O, HCN, C$_{2}$H$_{2}$, and OH is identified with $^{13}$CO$_{2}$ being detected for the first time in a protoplanetary disk. We characterize the chemical and physical conditions in the…
▽ More
We present JWST-MIRI MRS spectra of the protoplanetary disk around the low-mass T Tauri star GW Lup from the MIRI mid-INfrared Disk Survey (MINDS) GTO program. Emission from $^{12}$CO$_{2}$, $^{13}$CO$_{2}$, H$_{2}$O, HCN, C$_{2}$H$_{2}$, and OH is identified with $^{13}$CO$_{2}$ being detected for the first time in a protoplanetary disk. We characterize the chemical and physical conditions in the inner few au of the GW Lup disk using these molecules as probes. The spectral resolution of JWST-MIRI MRS paired with high signal-to-noise data is essential to identify these species and determine their column densities and temperatures. The $Q$-branches of these molecules, including those of hot-bands, are particularly sensitive to temperature and column density. We find that the $^{12}$CO$_{2}$ emission in the GW Lup disk is coming from optically thick emission at a temperature of $\sim$400 K. $^{13}$CO$_{2}$ is optically thinner and based on a lower temperature of $\sim$325 K, may be tracing deeper into the disk and/or a larger emitting radius than $^{12}$CO$_{2}$. The derived $N_{\rm{CO_{2}}}$/$N_{\rm{H_{2}O}}$ ratio is orders of magnitude higher than previously derived for GW Lup and other targets based on \textit{Spitzer}-IRS data. This high column density ratio may be due to an inner cavity with a radius in between the H$_{2}$O and CO$_{2}$ snowlines and/or an overall lower disk temperature. This paper demonstrates the unique ability of JWST to probe inner disk structures and chemistry through weak, previously unseen molecular features.
△ Less
Submitted 11 April, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.