Showing 101–150 of 1,233 results for author: Müller, M

Protecting Publicly Available Data With Machine Learning Shortcuts

Authors: Nicolas M. Müller, Maximilian Burgert, Pascal Debus, Jennifer Williams, Philip Sperl, Konstantin Böttinger

Abstract: Machine-learning (ML) shortcuts or spurious correlations are artifacts in datasets that lead to very good training and test performance but severely limit the model's generalization capability. Such shortcuts are insidious because they go unnoticed due to good in-domain test performance. In this paper, we explore the influence of different shortcuts and show that even simple shortcuts are difficul… ▽ More Machine-learning (ML) shortcuts or spurious correlations are artifacts in datasets that lead to very good training and test performance but severely limit the model's generalization capability. Such shortcuts are insidious because they go unnoticed due to good in-domain test performance. In this paper, we explore the influence of different shortcuts and show that even simple shortcuts are difficult to detect by explainable AI methods. We then exploit this fact and design an approach to defend online databases against crawlers: providers such as dating platforms, clothing manufacturers, or used car dealers have to deal with a professionalized crawling industry that grabs and resells data points on a large scale. We show that a deterrent can be created by deliberately adding ML shortcuts. Such augmented datasets are then unusable for ML use cases, which deters crawlers and the unauthorized use of data from the internet. Using real-world data from three use cases, we show that the proposed approach renders such collected data unusable, while the shortcut is at the same time difficult to notice in human perception. Thus, our proposed approach can serve as a proactive protection against illegitimate data crawling. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: Published at BMVC 2023

Magnetic microcalorimeters for primary activity standardization within the EMPIR project PrimA-LTD

Authors: Michael Müller, Matias Rodrigues, Jörn Beyer, Martin Loidl, Sebastian Kempf

Abstract: The precision of existing decay data of radionuclides for activity determination is often a limitation for actual applications in science, society, and industry. For this reason, the EMPIR project PrimA-LTD aims to introduce an advanced primary activity standardization technique that is based on magnetic microcalorimeters (MMCs) and that will offer very low energy threshold of few eV and a decay s… ▽ More The precision of existing decay data of radionuclides for activity determination is often a limitation for actual applications in science, society, and industry. For this reason, the EMPIR project PrimA-LTD aims to introduce an advanced primary activity standardization technique that is based on magnetic microcalorimeters (MMCs) and that will offer very low energy threshold of few eV and a decay scheme independent detection efficiency close to 100%. As a proof of concept, we developed two MMC-based detector types in order to standardize an $α$-decaying, a $β$-decaying and an electron capture decaying isotope. One detector type aims to introduce a reusable detector setup, while the other aims to provide highly accurate decay spectra by high resolution measurements with high statistics. We present the designs, fabrication status and first characterization measurements of both detectors types and outline next steps. △ Less

Submitted 15 December, 2023; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: This manuscript was submitted to the Journal of Low Temperature Physics as part of the special issue "LTD20", supporting the conference contribution TP-065

Further evidence for shape coexistence in $^{79}$Zn$^{m}$ near doubly-magic $^{78}$Ni

Authors: L. Nies, L. Canete, D. D. Dao, S. Giraud, A. Kankainen, D. Lunney, F. Nowacki, B. Bastin, M. Stryjczyk, P. Ascher, K. Blaum, R. B. Cakirli, T. Eronen, P. Fischer, M. Flayol, V. Girard Alcindor, A. Herlert, A. Jokinen, A. Khanam, U. Köster, D. Lange, I. D. Moore, M. Müller, M. Mougeot, D. A. Nesterenko , et al. (9 additional authors not shown)

Abstract: Isomers close to doubly-magic $^{78}_{28}$Ni$_{50}$ provide essential information on the shell evolution and shape coexistence near the ${Z=28}$ and ${N=50}$ double shell closure. We report the excitation energy measurement of the $1/2^{+}$ isomer in $^{79}_{30}$Zn$_{49}$ through independent high-precision mass measurements with the JYFLTRAP double Penning trap and with the ISOLTRAP Multi-Reflecti… ▽ More Isomers close to doubly-magic $^{78}_{28}$Ni$_{50}$ provide essential information on the shell evolution and shape coexistence near the ${Z=28}$ and ${N=50}$ double shell closure. We report the excitation energy measurement of the $1/2^{+}$ isomer in $^{79}_{30}$Zn$_{49}$ through independent high-precision mass measurements with the JYFLTRAP double Penning trap and with the ISOLTRAP Multi-Reflection Time-of-Flight Mass Spectrometer. We unambiguously place the $1/2^{+}$ isomer at 942(10) keV, slightly below the $5/2^+$ state at 983(3) keV. With the use of state-of-the-art shell-model diagonalizations, complemented with Discrete Non Orthogonal shell-model calculations which are used here the first time to interpret shape coexistence, we find low-lying deformed intruder states, similar to other ${N=49}$ isotones. The $1/2^{+}$ isomer is interpreted as the band-head of a low-lying deformed structure akin to a predicted low-lying deformed band in $^{80}$Zn, and points to shape coexistence in $^{79,80}$Zn similar to the one observed in $^{78}$Ni. The results make a strong case for confirming the claim of shape coexistence in this key region of the nuclear chart. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 10 pages, three figures, two tables. Accepted to Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 131, 222503 (2023)

Linguistically Motivated Sign Language Segmentation

Authors: Amit Moryossef, Zifan Jiang, Mathias Müller, Sarah Ebling, Yoav Goldberg

Abstract: Sign language segmentation is a crucial task in sign language processing systems. It enables downstream tasks such as sign recognition, transcription, and machine translation. In this work, we consider two kinds of segmentation: segmentation into individual signs and segmentation into phrases, larger units comprising several signs. We propose a novel approach to jointly model these two tasks. Ou… ▽ More Sign language segmentation is a crucial task in sign language processing systems. It enables downstream tasks such as sign recognition, transcription, and machine translation. In this work, we consider two kinds of segmentation: segmentation into individual signs and segmentation into phrases, larger units comprising several signs. We propose a novel approach to jointly model these two tasks. Our method is motivated by linguistic cues observed in sign language corpora. We replace the predominant IO tagging scheme with BIO tagging to account for continuous signing. Given that prosody plays a significant role in phrase boundaries, we explore the use of optical flow features. We also provide an extensive analysis of hand shapes and 3D hand normalization. We find that introducing BIO tagging is necessary to model sign boundaries. Explicitly encoding prosody by optical flow improves segmentation in shallow models, but its contribution is negligible in deeper models. Careful tuning of the decoding algorithm atop the models further improves the segmentation quality. We demonstrate that our final models generalize to out-of-domain video content in a different signed language, even under a zero-shot setting. We observe that including optical flow and 3D hand normalization enhances the robustness of the model in this context. △ Less

Submitted 30 October, 2023; v1 submitted 21 October, 2023; originally announced October 2023.

Comments: Accepted at EMNLP 2023 (Findings)

Reaching the Limit in Autonomous Racing: Optimal Control versus Reinforcement Learning

Authors: Yunlong Song, Angel Romero, Matthias Mueller, Vladlen Koltun, Davide Scaramuzza

Abstract: A central question in robotics is how to design a control system for an agile mobile robot. This paper studies this question systematically, focusing on a challenging setting: autonomous drone racing. We show that a neural network controller trained with reinforcement learning (RL) outperformed optimal control (OC) methods in this setting. We then investigated which fundamental factors have contri… ▽ More A central question in robotics is how to design a control system for an agile mobile robot. This paper studies this question systematically, focusing on a challenging setting: autonomous drone racing. We show that a neural network controller trained with reinforcement learning (RL) outperformed optimal control (OC) methods in this setting. We then investigated which fundamental factors have contributed to the success of RL or have limited OC. Our study indicates that the fundamental advantage of RL over OC is not that it optimizes its objective better but that it optimizes a better objective. OC decomposes the problem into planning and control with an explicit intermediate representation, such as a trajectory, that serves as an interface. This decomposition limits the range of behaviors that can be expressed by the controller, leading to inferior control performance when facing unmodeled effects. In contrast, RL can directly optimize a task-level objective and can leverage domain randomization to cope with model uncertainty, allowing the discovery of more robust control responses. Our findings allowed us to push an agile drone to its maximum performance, achieving a peak acceleration greater than 12 times the gravitational acceleration and a peak velocity of 108 kilometers per hour. Our policy achieved superhuman control within minutes of training on a standard workstation. This work presents a milestone in agile robotics and sheds light on the role of RL and OC in robot control. △ Less

Submitted 18 October, 2023; v1 submitted 16 October, 2023; originally announced October 2023.

Journal ref: Science Robotics, 2023

pose-format: Library for Viewing, Augmenting, and Handling .pose Files

Authors: Amit Moryossef, Mathias Müller, Rebecka Fahrni

Abstract: Managing and analyzing pose data is a complex task, with challenges ranging from handling diverse file structures and data types to facilitating effective data manipulations such as normalization and augmentation. This paper presents \texttt{pose-format}, a comprehensive toolkit designed to address these challenges by providing a unified, flexible, and easy-to-use interface. The library includes a… ▽ More Managing and analyzing pose data is a complex task, with challenges ranging from handling diverse file structures and data types to facilitating effective data manipulations such as normalization and augmentation. This paper presents \texttt{pose-format}, a comprehensive toolkit designed to address these challenges by providing a unified, flexible, and easy-to-use interface. The library includes a specialized file format that encapsulates various types of pose data, accommodating multiple individuals and an indefinite number of time frames, thus proving its utility for both image and video data. Furthermore, it offers seamless integration with popular numerical libraries such as NumPy, PyTorch, and TensorFlow, thereby enabling robust machine-learning applications. Through benchmarking, we demonstrate that our \texttt{.pose} file format offers vastly superior performance against prevalent formats like OpenPose, with added advantages like self-contained pose specification. Additionally, the library includes features for data normalization, augmentation, and easy-to-use visualization capabilities, both in Python and Browser environments. \texttt{pose-format} emerges as a one-stop solution, streamlining the complexities of pose data management and analysis. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Automated Layout Design and Control of Robust Cooperative Grasped-Load Aerial Transportation Systems

Authors: Carlo Bosio, Jerry Tang, Ting-Hao Wang, Mark W. Mueller

Abstract: We present a novel approach to cooperative aerial transportation through a team of drones, using optimal control theory and a hierarchical control strategy. We assume the drones are connected to the payload through rigid attachments, essentially transforming the whole system into a larger flying object with "thrust modules" at the attachment locations of the drones. We investigate the optimal arra… ▽ More We present a novel approach to cooperative aerial transportation through a team of drones, using optimal control theory and a hierarchical control strategy. We assume the drones are connected to the payload through rigid attachments, essentially transforming the whole system into a larger flying object with "thrust modules" at the attachment locations of the drones. We investigate the optimal arrangement of the thrust modules around the payload, so that the resulting system is robust to disturbances. We choose the $\mathcal{H}_2$ norm as a measure of robustness, and propose an iterative optimization routine to compute the optimal layout of the vehicles around the object. We experimentally validate our approach using four drones and comparing the disturbance rejection performances achieved by two different layouts (the optimal one and a sub-optimal one), and observe that the results match our predictions. △ Less

Submitted 28 February, 2024; v1 submitted 11 October, 2023; originally announced October 2023.

Comments: 7 pages, 7 figures, conference paper

Building a quantum superposition of conscious states with integrated information theory

Authors: Kelvin J. McQueen, Ian T. Durham, Markus P. Mueller

Abstract: Could there be a quantum superposition of consciousness, as in the Wigner's friend thought experiment? The integrated information theory (IIT) of consciousness has turned this into a well-defined question. According to IIT, consciousness is a measurable physical quantity given by integrated information ($Φ$), such that the amount of consciousness in a system corresponds to its amount of $Φ$. We us… ▽ More Could there be a quantum superposition of consciousness, as in the Wigner's friend thought experiment? The integrated information theory (IIT) of consciousness has turned this into a well-defined question. According to IIT, consciousness is a measurable physical quantity given by integrated information ($Φ$), such that the amount of consciousness in a system corresponds to its amount of $Φ$. We use the most recent IIT formalism (IIT4.0) to analyze the simplest non-zero $Φ$ system known as a feedback dyad. We then propose a circuit that puts the dyad into a superposition of states which, according to IIT, would correspond to a superposition of conscious states. We refer to this as "Schrödinger's dyad". We therefore show that either IIT is false or the simple dyad is conscious and can easily be put into a superposition of conscious states. We then identify the simplest possible consciousness-collapse model, which predicts that this superposition is unstable and collapses at a rate determined by a measure of difference between the superposed conscious states. Our analysis will enable us to make a number of key observations about the general structure of integrated information theory (IIT2.0, IIT3.0, IIT4.0, and QIIT) and the general structure of consciousness-collapse models. △ Less

Submitted 24 September, 2023; originally announced September 2023.

Dynamical subset sampling of quantum error correcting protocols

Authors: Sascha Heußen, Don Winter, Manuel Rispler, Markus Müller

Abstract: Quantum error correcting (QEC) stabilizer codes enable protection of quantum information against errors during storage and processing. Simulation of noisy QEC codes is used to identify the noise parameters necessary for advantageous operation of logical qubits in realistic quantum computing architectures. Typical quantum error correction techniques contain intermediate measurements and classical f… ▽ More Quantum error correcting (QEC) stabilizer codes enable protection of quantum information against errors during storage and processing. Simulation of noisy QEC codes is used to identify the noise parameters necessary for advantageous operation of logical qubits in realistic quantum computing architectures. Typical quantum error correction techniques contain intermediate measurements and classical feedback that determine the actual noisy circuit sequence in an instance of performing the protocol. Dynamical subset sampling enables efficient simulation of such non-deterministic quantum error correcting protocols for any type of quantum circuit and incoherent noise of low strength. As an importance sampling technique, dynamical subset sampling allows one to effectively make use of computational resources to only sample the most relevant sequences of quantum circuits in order to estimate a protocol's logical failure rate with well-defined error bars. We demonstrate the capabilities of dynamical subset sampling with examples from fault-tolerant (FT) QEC. We show that, in a typical stabilizer simulation with incoherent Pauli noise of strength $p = 10^{-3}$, our method can reach a required sampling accuracy on the logical failure rate with two orders of magnitude fewer samples than direct Monte Carlo simulation. Furthermore, dynamical subset sampling naturally allows for efficient simulation of realistic multi-parameter noise models describing faulty quantum processors. It can be applied not only for QEC in the circuit model but any noisy quantum computing framework with incoherent fault operators including measurement-based quantum computation and quantum networks. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 33 pages, 26 figures

Coherent control of orbital wavefunctions in the quantum spin liquid $Tb_{2}Ti_{2}O_{7}$

Authors: R. Mankowsky, M. Müller, M. Sander, S. Zerdane, X. Liu, D. Babich, H. Ueda, Y. Deng, R. Winkler, B. Strudwick, M. Savoini, F. Giorgianni, S. L. Johnson, E. Pomjakushina, P. Beaud1, T. Fennel, H. T. Lemke, U. Staub

Abstract: Resonant driving of electronic transitions with coherent laser sources creates quantum coherent superpositions of the involved electronic states. Most time-resolved studies have focused on gases or isolated subsystems embedded in insulating solids, aiming for applications in quantum information. Here, we demonstrate coherent control of orbital wavefunctions in pyrochlore $Tb_{2}Ti_{2}O_{7}$, which… ▽ More Resonant driving of electronic transitions with coherent laser sources creates quantum coherent superpositions of the involved electronic states. Most time-resolved studies have focused on gases or isolated subsystems embedded in insulating solids, aiming for applications in quantum information. Here, we demonstrate coherent control of orbital wavefunctions in pyrochlore $Tb_{2}Ti_{2}O_{7}$, which forms an interacting spin liquid ground state. We show that resonant excitation with a strong THz pulse creates a coherent superposition of the lowest energy Tb 4f states before the magnetic interactions eventually dephase them. The coherence manifests itself as a macroscopic oscillating magnetic dipole, which is detected by ultrafast resonant x-ray diffraction. The induced quantum coherence demonstrates coherent control of orbital wave functions, a new tool for the ultrafast manipulation and investigation of quantum materials. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Single-crystalline YIG flakes with uniaxial in-plane anisotropy and diverse crystallographic orientations

Authors: Roman Hartmann, Seema, Ivan Soldatov, Michael Lammel, Daphné Lignon, Xianyue Ai, Gillian Kiliani, Rudolf Schäfer, Andreas Erb, Rudolf Gross, Johannes Boneberg, Martina Müller, Sebastian T. B. Goennenwein, Elke Scheer, Angelo Di Bernardo

Abstract: We study Y3Fe5O12 (YIG) flakes that we produce via mechanical cleaving and exfoliation of YIG single crystals. By characterizing their structural and magnetic properties, we find that these YIG nanoflakes have surfaces oriented along unusual crystallographic axes and uniaxial in-plane magnetic anisotropy due to their shape, both of which are not commonly available in YIG thin films. These physical… ▽ More We study Y3Fe5O12 (YIG) flakes that we produce via mechanical cleaving and exfoliation of YIG single crystals. By characterizing their structural and magnetic properties, we find that these YIG nanoflakes have surfaces oriented along unusual crystallographic axes and uniaxial in-plane magnetic anisotropy due to their shape, both of which are not commonly available in YIG thin films. These physical properties, combined with the possibility of picking up the YIG flakes and stacking them onto flakes of other van der Waals materials or pre-patterned electrodes or waveguides, open unexplored possibilities for magnonics and for the realization of novel YIG-based heterostructures and devices. △ Less

Submitted 29 April, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: 13 pages, 4 figures

Journal ref: APL Mater. 12, 031121 (2024)

Performance Conditioning for Diffusion-Based Multi-Instrument Music Synthesis

Authors: Ben Maman, Johannes Zeitler, Meinard Müller, Amit H. Bermano

Abstract: Generating multi-instrument music from symbolic music representations is an important task in Music Information Retrieval (MIR). A central but still largely unsolved problem in this context is musically and acoustically informed control in the generation process. As the main contribution of this work, we propose enhancing control of multi-instrument synthesis by conditioning a generative model on… ▽ More Generating multi-instrument music from symbolic music representations is an important task in Music Information Retrieval (MIR). A central but still largely unsolved problem in this context is musically and acoustically informed control in the generation process. As the main contribution of this work, we propose enhancing control of multi-instrument synthesis by conditioning a generative model on a specific performance and recording environment, thus allowing for better guidance of timbre and style. Building on state-of-the-art diffusion-based music generative models, we introduce performance conditioning - a simple tool indicating the generative model to synthesize music with style and timbre of specific instruments taken from specific performances. Our prototype is evaluated using uncurated performances with diverse instrumentation and achieves state-of-the-art FAD realism scores while allowing novel timbre and style control. Our project page, including samples and demonstrations, is available at benadar293.github.io/midipm △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 5 pages, project page available at benadar293.github.io/midipm

Sample- and computationally efficient data-driven predictive control

Authors: Mohammad Alsalti, Manuel Barkey, Victor G. Lopez, Matthias A. Müller

Abstract: Recently proposed data-driven predictive control schemes for LTI systems use non-parametric representations based on the image of a Hankel matrix of previously collected, persistently exciting, input-output data. Persistence of excitation necessitates that the data is sufficiently long and, hence, the computational complexity of the corresponding finite-horizon optimal control problem increases. I… ▽ More Recently proposed data-driven predictive control schemes for LTI systems use non-parametric representations based on the image of a Hankel matrix of previously collected, persistently exciting, input-output data. Persistence of excitation necessitates that the data is sufficiently long and, hence, the computational complexity of the corresponding finite-horizon optimal control problem increases. In this paper, we propose an efficient data-driven predictive control (eDDPC) scheme which is both more sample efficient (requires less offline data) and computationally efficient (uses less decision variables) compared to existing schemes. This is done by leveraging an alternative data-based representation of the trajectories of LTI systems. We analytically and numerically compare the performance of this scheme to existing ones from the literature. △ Less

Submitted 6 March, 2024; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: accepted for presentation at the 22nd European Control Conference (ECC) in Stockholm, Sweden

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts

Authors: Ludwig Schmid, David F. Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille

Abstract: Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware platform primarily due to its long coherence times and scalability. Additionally, NAQC offers computational advantages encompassing potential long-range connectivity, native multi-qubit gate support, and the ability to physically rearrange qubits with high fidelity. However, for the successful operation of a NAQC processor, one… ▽ More Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware platform primarily due to its long coherence times and scalability. Additionally, NAQC offers computational advantages encompassing potential long-range connectivity, native multi-qubit gate support, and the ability to physically rearrange qubits with high fidelity. However, for the successful operation of a NAQC processor, one additionally requires new software tools to translate high-level algorithmic descriptions into a hardware executable representation, taking maximal advantage of the hardware capabilities. Realizing new software tools requires a close connection between tool developers and hardware experts to ensure that the corresponding software tools obey the corresponding physical constraints. This work aims to provide a basis to establish this connection by investigating the broad spectrum of capabilities intrinsic to the NAQC platform and its implications on the compilation process. To this end, we first review the physical background of NAQC and derive how it affects the overall compilation process by formulating suitable constraints and figures of merit. We then provide a summary of the compilation process and discuss currently available software tools in this overview. Finally, we present selected case studies and employ the discussed figures of merit to evaluate the different capabilities of NAQC and compare them between two hardware setups. △ Less

Submitted 3 April, 2024; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 32 pages, 13 figures, 2 tables, v2: published at IOP-QST

Journal ref: Quantum Sci. Technol. 9, 033001 (2024)

Quantum cellular automata for quantum error correction and density classification

Authors: Thiago L. M. Guedes, Don Winter, Markus Müller

Abstract: Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant manner on all cells/qudits of a register, generating a global rule that updates cell states locally, i.e., based solely on the states of their neighbors. Although… ▽ More Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant manner on all cells/qudits of a register, generating a global rule that updates cell states locally, i.e., based solely on the states of their neighbors. Although desirable features in many applications, it is generally not clear to which extent these fully automated discrete-time local updates can generate and sustain long-range order in the (noisy) systems they act upon. In special, whether and how quantum cellular automata can perform quantum error correction remain open questions. We close this conceptual gap by proposing quantum cellular automata with quantum-error-correction capabilities. We design and investigate two (quasi-)one dimensional quantum cellular automata based on known classical cellular-automata rules with density-classification capabilities, namely the local majority voting and the two-line voting. We investigate the performances of those quantum cellular automata as quantum-memory components by simulating the number of update steps required for the logical information they act upon to be afflicted by a logical bit flip. The proposed designs pave a way to further explore the potential of new types of quantum cellular automata with built-in quantum error correction capabilities. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: 5 pages, 3 figures + appendix

Maurer-Cartan equation for gentle algebras

Authors: Monique Müller, María Julia Redondo, Fiorela Rossi Bertone, Pamela Suarez

Abstract: Let $A= \Bbbk Q/I$ be a finite-dimensional gentle algebra. In this article, under some hypothesis on the quiver $Q$, we give conditions for nilpotency of the $L_\infty$-structure on the shifted Bardzell's complex $B(A)[1]$. For nilpotent cases, we describe Maurer-Cartan elements. Let $A= \Bbbk Q/I$ be a finite-dimensional gentle algebra. In this article, under some hypothesis on the quiver $Q$, we give conditions for nilpotency of the $L_\infty$-structure on the shifted Bardzell's complex $B(A)[1]$. For nilpotent cases, we describe Maurer-Cartan elements. △ Less

Submitted 5 September, 2023; originally announced September 2023.

Comments: 26 pages

MSC Class: 16S80; 16E40; 18G35

Response to "The measurement postulates of quantum mechanics are not redundant"

Authors: Lluís Masanes, Thomas D. Galley, Markus P. Müller

Abstract: Adrian Kent has recently presented a critique [arXiv:2307.06191] of our paper [Nat. Comms. 10, 1361 (2019)] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theorie… ▽ More Adrian Kent has recently presented a critique [arXiv:2307.06191] of our paper [Nat. Comms. 10, 1361 (2019)] in which he claims to refute our main result: the measurement postulates of quantum mechanics can be derived from the rest of postulates, once we assume that the set of mixed states of a finite-dimensional Hilbert space is finite-dimensional. To construct his argument, Kent considers theories resulting from supplementing quantum mechanics with hypothetical "post-quantum" measurement devices. We prove that each of these theories contains pure states (i.e. states of maximal knowledge) which are not rays of the Hilbert space, in contradiction with the "pure state postulate" of quantum mechanics. We also prove that these alternatives violate the finite-dimensionality of mixed states. Each of these two facts separately invalidates the refutation. In this note we also clarify the assumptions used in [Nat. Comms. 10, 1361 (2019)] and discuss the notions of pure state, physical system, and the sensitivity of the structure of the state space under modifications of the measurements or the dynamics. △ Less

Submitted 24 June, 2024; v1 submitted 4 September, 2023; originally announced September 2023.

Comments: 7 pages

CLNeRF: Continual Learning Meets NeRF

Authors: Zhipeng Cai, Matthias Mueller

Abstract: Novel view synthesis aims to render unseen views given a set of calibrated images. In practical applications, the coverage, appearance or geometry of the scene may change over time, with new images continuously being captured. Efficiently incorporating such continuous change is an open challenge. Standard NeRF benchmarks only involve scene coverage expansion. To study other practical scene changes… ▽ More Novel view synthesis aims to render unseen views given a set of calibrated images. In practical applications, the coverage, appearance or geometry of the scene may change over time, with new images continuously being captured. Efficiently incorporating such continuous change is an open challenge. Standard NeRF benchmarks only involve scene coverage expansion. To study other practical scene changes, we propose a new dataset, World Across Time (WAT), consisting of scenes that change in appearance and geometry over time. We also propose a simple yet effective method, CLNeRF, which introduces continual learning (CL) to Neural Radiance Fields (NeRFs). CLNeRF combines generative replay and the Instant Neural Graphics Primitives (NGP) architecture to effectively prevent catastrophic forgetting and efficiently update the model when new data arrives. We also add trainable appearance and geometry embeddings to NGP, allowing a single compact model to handle complex scene changes. Without the need to store historical images, CLNeRF trained sequentially over multiple scans of a changing scene performs on-par with the upper bound model trained on all scans at once. Compared to other CL baselines CLNeRF performs much better across standard benchmarks and WAT. The source code, and the WAT dataset are available at https://github.com/IntelLabs/CLNeRF. Video presentation is available at: https://youtu.be/nLRt6OoDGq0?si=8yD6k-8MMBJInQPs △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: Accepted to ICCV 2023

Complex-valued neural networks for voice anti-spoofing

Authors: Nicolas M. Müller, Philip Sperl, Konstantin Böttinger

Abstract: Current anti-spoofing and audio deepfake detection systems use either magnitude spectrogram-based features (such as CQT or Melspectrograms) or raw audio processed through convolution or sinc-layers. Both methods have drawbacks: magnitude spectrograms discard phase information, which affects audio naturalness, and raw-feature-based models cannot use traditional explainable AI methods. This paper pr… ▽ More Current anti-spoofing and audio deepfake detection systems use either magnitude spectrogram-based features (such as CQT or Melspectrograms) or raw audio processed through convolution or sinc-layers. Both methods have drawbacks: magnitude spectrograms discard phase information, which affects audio naturalness, and raw-feature-based models cannot use traditional explainable AI methods. This paper proposes a new approach that combines the benefits of both methods by using complex-valued neural networks to process the complex-valued, CQT frequency-domain representation of the input audio. This method retains phase information and allows for explainable AI methods. Results show that this approach outperforms previous methods on the "In-the-Wild" anti-spoofing dataset and enables interpretation of the results through explainable AI. Ablation studies confirm that the model has learned to use phase information to detect voice spoofing. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: Interspeech 2023

Local Periodicity-Based Beat Tracking for Expressive Classical Piano Music

Authors: Ching-Yu Chiu, Meinard Müller, Matthew E. P. Davies, Alvin Wen-Yu Su, Yi-Hsuan Yang

Abstract: To model the periodicity of beats, state-of-the-art beat tracking systems use "post-processing trackers" (PPTs) that rely on several empirically determined global assumptions for tempo transition, which work well for music with a steady tempo. For expressive classical music, however, these assumptions can be too rigid. With two large datasets of Western classical piano music, namely the Aligned Sc… ▽ More To model the periodicity of beats, state-of-the-art beat tracking systems use "post-processing trackers" (PPTs) that rely on several empirically determined global assumptions for tempo transition, which work well for music with a steady tempo. For expressive classical music, however, these assumptions can be too rigid. With two large datasets of Western classical piano music, namely the Aligned Scores and Performances (ASAP) dataset and a dataset of Chopin's Mazurkas (Maz-5), we report on experiments showing the failure of existing PPTs to cope with local tempo changes, thus calling for new methods. In this paper, we propose a new local periodicity-based PPT, called predominant local pulse-based dynamic programming (PLPDP) tracking, that allows for more flexible tempo transitions. Specifically, the new PPT incorporates a method called "predominant local pulses" (PLP) in combination with a dynamic programming (DP) component to jointly consider the locally detected periodicity and beat activation strength at each time instant. Accordingly, PLPDP accounts for the local periodicity, rather than relying on a global tempo assumption. Compared to existing PPTs, PLPDP particularly enhances the recall values at the cost of a lower precision, resulting in an overall improvement of F1-score for beat tracking in ASAP (from 0.473 to 0.493) and Maz-5 (from 0.595 to 0.838). △ Less

Submitted 20 August, 2023; originally announced August 2023.

Comments: Accepted to IEEE/ACM Transactions on Audio, Speech, and Language Processing (July 2023)

Surprise machines: revealing Harvard Art Museums' image collection

Authors: Dario Rodighiero, Lins Derry, Douglas Duhaime, Jordan Kruguer, Maximilian C. Mueller, Christopher Pietsch, Jeffrey T. Schnapp, Jeff Steward

Abstract: Surprise Machines is a project of experimental museology that sets out to visualize the entire image collection of the Harvard Art Museums, intending to open up unexpected vistas on more than 200,000 objects usually inaccessible to visitors. Part of the exhibition Curatorial A(i)gents organized by metaLAB (at) Harvard, the project explores the limits of artificial intelligence to display a large s… ▽ More Surprise Machines is a project of experimental museology that sets out to visualize the entire image collection of the Harvard Art Museums, intending to open up unexpected vistas on more than 200,000 objects usually inaccessible to visitors. Part of the exhibition Curatorial A(i)gents organized by metaLAB (at) Harvard, the project explores the limits of artificial intelligence to display a large set of images and create surprise among visitors. To achieve such a feeling of surprise, a choreographic interface was designed to connect the audience's movement with several unique views of the collection. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 14 pages and 7 figures

ACM Class: J.5

Journal ref: IDJ 27 (1): 21-34 (2022)

Ultrafast light-induced long range antiferromagnetic correlations in paramagnets

Authors: Lorenzo Amato, Markus Müller

Abstract: We propose and analyze a laser-driven protocol to generate long-range ordered patterns in paramagnets, based on non-adiabatically driven aggregation dynamics. We derive the optimal driving parameters that maximize, respectively, the correlation length or the size of defect-free antiferromagnetic clusters in a one-dimensional chain. We show that one can reach correlation lengths that are exponentia… ▽ More We propose and analyze a laser-driven protocol to generate long-range ordered patterns in paramagnets, based on non-adiabatically driven aggregation dynamics. We derive the optimal driving parameters that maximize, respectively, the correlation length or the size of defect-free antiferromagnetic clusters in a one-dimensional chain. We show that one can reach correlation lengths that are exponentially larger than those achieved by adiabatic pum** schemes. The resonantly driven dynamics of cluster fronts is shown to map to an exactly solvable model of free fermions. △ Less

Submitted 13 August, 2023; originally announced August 2023.

Stabilizing Training with Soft Dynamic Time War**: A Case Study for Pitch Class Estimation with Weakly Aligned Targets

Authors: Johannes Zeitler, Simon Deniffel, Michael Krause, Meinard Müller

Abstract: Soft dynamic time war** (SDTW) is a differentiable loss function that allows for training neural networks from weakly aligned data. Typically, SDTW is used to iteratively compute and refine soft alignments that compensate for temporal deviations between the training data and its weakly annotated targets. One major problem is that a mismatch between the estimated soft alignments and the reference… ▽ More Soft dynamic time war** (SDTW) is a differentiable loss function that allows for training neural networks from weakly aligned data. Typically, SDTW is used to iteratively compute and refine soft alignments that compensate for temporal deviations between the training data and its weakly annotated targets. One major problem is that a mismatch between the estimated soft alignments and the reference alignments in the early training stage leads to incorrect parameter updates, making the overall training procedure unstable. In this paper, we investigate such stability issues by considering the task of pitch class estimation from music recordings as an illustrative case study. In particular, we introduce and discuss three conceptually different strategies (a hyperparameter scheduling, a diagonal prior, and a sequence unfolding strategy) with the objective of stabilizing intermediate soft alignment results. Finally, we report on experiments that demonstrate the effectiveness of the strategies and discuss efficiency and implementation issues. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: Accepted for ISMIR 2023, Milano, Italy

Noise-aware variational eigensolvers: a dissipative route for lattice gauge theories

Authors: Jesús Cobos, David F. Locher, Alejandro Bermudez, Markus Müller, Enrique Rico

Abstract: We propose a novel variational ansatz for the ground-state preparation of the $\mathbb{Z}_2$ lattice gauge theory (LGT) in quantum simulators. It combines dissipative and unitary operations in a completely deterministic scheme with a circuit depth that does not scale with the size of the considered lattice. We find that, with very few variational parameters, the ansatz can achieve $>\!99\%$ precis… ▽ More We propose a novel variational ansatz for the ground-state preparation of the $\mathbb{Z}_2$ lattice gauge theory (LGT) in quantum simulators. It combines dissipative and unitary operations in a completely deterministic scheme with a circuit depth that does not scale with the size of the considered lattice. We find that, with very few variational parameters, the ansatz can achieve $>\!99\%$ precision in energy in both the confined and deconfined phase of the $\mathbb{Z}_2$ LGT. We benchmark our proposal against the unitary Hamiltonian variational ansatz and find a clear advantage of our scheme, especially when focusing on the nature of the confinement-deconfinement transition of the $\mathbb{Z}_2$ LGT. After performing a finite-size scaling analysis, we show that our dissipative variational ansatz can predict critical exponents with reasonable accuracies even for reduced qubit numbers and circuit depths. Furthermore, we investigate the performance of this variational eigensolver subject to circuit-level noise, determining variational error thresholds that fix the error rate $p_{\ell}$ below which $p<p_{\ell}$ it would be beneficial to increase the number of layers $\ell\mapsto \ell'> \ell$. In light of these quantities and for typical gate errors $p$ in current quantum processors, we provide a detailed assessment of the prospects of our scheme to explore the $\mathbb{Z}_2$ LGT on near-term devices. △ Less

Submitted 21 February, 2024; v1 submitted 7 August, 2023; originally announced August 2023.

Comments: 23 pages, 16 figures

A Search for Technosignatures Around 11,680 Stars with the Green Bank Telescope at 1.15-1.73 GHz

Authors: Jean-Luc Margot, Megan G. Li, Pavlo Pinchuk, Nathan Myhrvold, Larry Lesyna, Lea E. Alcantara, Megan T. Andrakin, Jeth Arunseangroj, Damien S. Baclet, Madison H. Belk, Zerxes R. Bhadha, Nicholas W. Brandis, Robert E. Carey, Harrison P. Cassar, Sai S. Chava, Calvin Chen, James Chen, Kellen T. Cheng, Alessia Cimbri, Benjamin Cloutier, Jordan A. Combitsis, Kelly L. Couvrette, Brandon P. Coy, Kyle W. Davis, Antoine F. Delcayre , et al. (56 additional authors not shown)

Abstract: We conducted a search for narrowband radio signals over four observing sessions in 2020-2023 with the L-band receiver (1.15-1.73 GHz) of the 100 m diameter Green Bank Telescope. We pointed the telescope in the directions of 62 TESS Objects of Interest, capturing radio emissions from a total of ~11,680 stars and planetary systems in the ~9 arcminute beam of the telescope. All detections were either… ▽ More We conducted a search for narrowband radio signals over four observing sessions in 2020-2023 with the L-band receiver (1.15-1.73 GHz) of the 100 m diameter Green Bank Telescope. We pointed the telescope in the directions of 62 TESS Objects of Interest, capturing radio emissions from a total of ~11,680 stars and planetary systems in the ~9 arcminute beam of the telescope. All detections were either automatically rejected or visually inspected and confirmed to be of anthropogenic nature. In this work, we also quantified the end-to-end efficiency of radio SETI pipelines with a signal injection and recovery analysis. The UCLA SETI pipeline recovers 94.0% of the injected signals over the usable frequency range of the receiver and 98.7% of the injections when regions of dense RFI are excluded. In another pipeline that uses incoherent sums of 51 consecutive spectra, the recovery rate is ~15 times smaller at ~6%. The pipeline efficiency affects calculations of transmitter prevalence and SETI search volume. Accordingly, we developed an improved Drake Figure of Merit and a formalism to place upper limits on transmitter prevalence that take the pipeline efficiency and transmitter duty cycle into account. Based on our observations, we can state at the 95% confidence level that fewer than 6.6% of stars within 100 pc host a transmitter that is detectable in our search (EIRP > 1e13 W). For stars within 20,000 ly, the fraction of stars with detectable transmitters (EIRP > 5e16 W) is at most 3e-4. Finally, we showed that the UCLA SETI pipeline natively detects the signals detected with AI techniques by Ma et al. (2023). △ Less

Submitted 15 October, 2023; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: 21 pages, 9 figures, in press at AJ

Journal ref: AJ 166 206 (2023)

The Chemical Inventory of the Inner Regions of Planet-forming Disks -- The JWST/MINDS Program

Authors: Inga Kamp, Thomas Henning, Aditya M. Arabhavi, Giulio Bettoni, Valentin Christiaens, Danny Gasman, Sierra L. Grant, Maria Morales-Calderón, Benoît Tabone, Alain Abergel, Olivier Absil, Ioannis Argyriou, David Barrado, Anthony Boccaletti, Jeroen Bouwman, Alessio Caratti o Garatti, Ewine F. van Dishoeck, Vincent Geers, Adrian M. Glauser, Manuel Güdel, Rodrigo Guadarrama, Hyerin Jang, Jayatee Kanwar, Pierre-Olivier Lagage, Fred Lahuis , et al. (18 additional authors not shown)

Abstract: The understanding of planet formation has changed recently, embracing the new idea of pebble accretion. This means that the influx of pebbles from the outer regions of planet-forming disks to their inner zones could determine the composition of planets and their atmospheres. The solid and molecular components delivered to the planet-forming region can be best characterized by mid-infrared spectros… ▽ More The understanding of planet formation has changed recently, embracing the new idea of pebble accretion. This means that the influx of pebbles from the outer regions of planet-forming disks to their inner zones could determine the composition of planets and their atmospheres. The solid and molecular components delivered to the planet-forming region can be best characterized by mid-infrared spectroscopy. With Spitzer low-resolution (R=100, 600) spectroscopy, this approach was limited to the detection of abundant molecules such as H2O, C2H2, HCN and CO2. This contribution will present first results of the MINDS (MIRI mid-IR Disk Survey, PI: Th. Henning) project. Due do the sensitivity and spectral resolution (R~1500-3500) provided by JWST we now have a unique tool to obtain the full inventory of chemistry in the inner disks of solar-types stars and brown dwarfs, including also less abundant hydrocarbons and isotopologues. The Integral Field Unit (IFU) capabilities enable at the same time spatial studies of the continuum and line emission in extended sources such as debris disks, the flying saucer and also the search for mid-IR signatures of forming planets in systems such as PDS70. These JWST observations are complementary to ALMA and NOEMA observations of the outer disk chemistry; together these datasets provide an integral view of the processes occurring during the planet formation phase. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 14 pages, 8 figures, authors version of the manuscript submitted 22.1.2023 for the Faraday Discussion "Astrochemistry at high resolution", accepted 21.3.2023

Model predictive control for the prescription of antithyroid agents

Authors: Maylin Menzel, Tobias M. Wolff, Johannes W. Dietrich, Matthias A. Müller

Abstract: Although hyperthyroidism is a common disease, the pharmaceutical therapy is based on a trial-and-error approach. We extend a mathematical model of the pituitary-thyroid feedback loop such that the intake of one antithyroid agent, namely methimazole (MMI), can be considered and use a model predictive control (MPC) scheme to determine suitable dosages. Although hyperthyroidism is a common disease, the pharmaceutical therapy is based on a trial-and-error approach. We extend a mathematical model of the pituitary-thyroid feedback loop such that the intake of one antithyroid agent, namely methimazole (MMI), can be considered and use a model predictive control (MPC) scheme to determine suitable dosages. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 2 pages

MiDaS v3.1 -- A Model Zoo for Robust Monocular Relative Depth Estimation

Authors: Reiner Birkl, Diana Wofk, Matthias Müller

Abstract: We release MiDaS v3.1 for monocular depth estimation, offering a variety of new models based on different encoder backbones. This release is motivated by the success of transformers in computer vision, with a large variety of pretrained vision transformers now available. We explore how using the most promising vision transformers as image encoders impacts depth estimation quality and runtime of th… ▽ More We release MiDaS v3.1 for monocular depth estimation, offering a variety of new models based on different encoder backbones. This release is motivated by the success of transformers in computer vision, with a large variety of pretrained vision transformers now available. We explore how using the most promising vision transformers as image encoders impacts depth estimation quality and runtime of the MiDaS architecture. Our investigation also includes recent convolutional approaches that achieve comparable quality to vision transformers in image classification tasks. While the previous release MiDaS v3.0 solely leverages the vanilla vision transformer ViT, MiDaS v3.1 offers additional models based on BEiT, Swin, SwinV2, Next-ViT and LeViT. These models offer different performance-runtime tradeoffs. The best model improves the depth estimation quality by 28% while efficient models enable downstream tasks requiring high frame rates. We also describe the general process for integrating new backbones. A video summarizing the work can be found at https://youtu.be/UjaeNNFf9sE and the code is available at https://github.com/isl-org/MiDaS. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 14 pages, 2 figures

Measurement-free fault-tolerant quantum error correction in near-term devices

Authors: Sascha Heußen, David F. Locher, Markus Müller

Abstract: Logical qubits can be protected from decoherence by performing QEC cycles repeatedly. Algorithms for fault-tolerant QEC must be compiled to the specific hardware platform under consideration in order to practically realize a quantum memory that operates for in principle arbitrary long times. All circuit components must be assumed as noisy unless specific assumptions about the form of the noise are… ▽ More Logical qubits can be protected from decoherence by performing QEC cycles repeatedly. Algorithms for fault-tolerant QEC must be compiled to the specific hardware platform under consideration in order to practically realize a quantum memory that operates for in principle arbitrary long times. All circuit components must be assumed as noisy unless specific assumptions about the form of the noise are made. Modern QEC schemes are challenging to implement experimentally in physical architectures where in-sequence measurements and feed-forward of classical information cannot be reliably executed fast enough or even at all. Here we provide a novel scheme to perform QEC cycles without the need of measuring qubits that is fully fault-tolerant with respect to all components used in the circuit. Our scheme can be used for any low-distance CSS code since its only requirement towards the underlying code is a transversal CNOT gate. Similarly to Steane-type EC, we coherently copy errors to a logical auxiliary qubit but then apply a coherent feedback operation from the auxiliary system to the logical data qubit. The logical auxiliary qubit is prepared fault-tolerantly without measurements, too. We benchmark logical failure rates of the scheme in comparison to a flag-qubit based EC cycle. We map out a parameter region where our scheme is feasible and estimate physical error rates necessary to achieve the break-even point of beneficial QEC with our scheme. We outline how our scheme could be implemented in ion traps and with neutral atoms in a tweezer array. For recently demonstrated capabilities of atom shuttling and native multi-atom Rydberg gates, we achieve moderate circuit depths and beneficial performance of our scheme while not breaking fault tolerance. These results thereby enable practical fault-tolerant QEC in hardware architectures that do not support mid-circuit measurements. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: 24 pages, 19 figures

Water in the terrestrial planet-forming zone of the PDS 70 disk

Authors: G. Perotti, V. Christiaens, Th. Henning, B. Tabone, L. B. F. M. Waters, I. Kamp, G. Olofsson, S. L. Grant, D. Gasman, J. Bouwman, M. Samland, R. Franceschi, E. F. van Dishoeck, K. Schwarz, M. Güdel, P. -O. Lagage, T. P. Ray, B. Vandenbussche, A. Abergel, O. Absil, A. M. Arabhavi, I. Argyriou, D. Barrado, A. Boccaletti, A. Caratti o Garatti , et al. (20 additional authors not shown)

Abstract: Terrestrial and sub-Neptune planets are expected to form in the inner ($<10~$AU) regions of protoplanetary disks. Water plays a key role in their formation, although it is yet unclear whether water molecules are formed in-situ or transported from the outer disk. So far Spitzer Space Telescope observations have only provided water luminosity upper limits for dust-depleted inner disks, similar to PD… ▽ More Terrestrial and sub-Neptune planets are expected to form in the inner ($<10~$AU) regions of protoplanetary disks. Water plays a key role in their formation, although it is yet unclear whether water molecules are formed in-situ or transported from the outer disk. So far Spitzer Space Telescope observations have only provided water luminosity upper limits for dust-depleted inner disks, similar to PDS 70, the first system with direct confirmation of protoplanet presence. Here we report JWST observations of PDS 70, a benchmark target to search for water in a disk hosting a large ($\sim54~$AU) planet-carved gap separating an inner and outer disk. Our findings show water in the inner disk of PDS 70. This implies that potential terrestrial planets forming therein have access to a water reservoir. The column densities of water vapour suggest in-situ formation via a reaction sequence involving O, H$_2$, and/or OH, and survival through water self-shielding. This is also supported by the presence of CO$_2$ emission, another molecule sensitive to UV photodissociation. Dust shielding, and replenishment of both gas and small dust from the outer disk, may also play a role in sustaining the water reservoir. Our observations also reveal a strong variability of the mid-infrared spectral energy distribution, pointing to a change of inner disk geometry. △ Less

Submitted 22 July, 2023; originally announced July 2023.

Comments: To appear in Nature on 24 July 2023. 21 pages, 10 figures; includes extended data. Part of the JWST MINDS Guaranteed Time Observations program's science enabling products. Spectra downloadable on Zenodo at https://zenodo.org/record/7991022

Data-based system representations from irregularly measured data

Authors: Mohammad Alsalti, Ivan Markovsky, Victor G. Lopez, Matthias A. Müller

Abstract: Non-parametric representations of dynamical systems based on the image of a Hankel matrix of data are extensively used for data-driven control. However, if samples of data are missing, obtaining such representations becomes a difficult task. By exploiting the kernel structure of Hankel matrices of irregularly measured data generated by a linear time-invariant system, we provide computational metho… ▽ More Non-parametric representations of dynamical systems based on the image of a Hankel matrix of data are extensively used for data-driven control. However, if samples of data are missing, obtaining such representations becomes a difficult task. By exploiting the kernel structure of Hankel matrices of irregularly measured data generated by a linear time-invariant system, we provide computational methods for which any complete finite-length behavior of the system can be obtained. For the special case of periodically missing outputs, we provide conditions on the input such that the former result is guaranteed. In the presence of noise in the data, our method returns an approximate finite-length behavior of the system. We illustrate our result with several examples, including its use for approximate data completion in real-world applications and compare it to alternative methods. △ Less

Submitted 24 February, 2024; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: submitted to IEEE Transactions on Automatic Control

MINDS. Abundant water and varying C/O across the disk of Sz 98 as seen by JWST/MIRI

Authors: Danny Gasman, Ewine F. van Dishoeck, Sierra L. Grant, Milou Temmink, Benoît Tabone, Thomas Henning, Inga Kamp, Manuel Güdel, Pierre-Olivier Lagage, 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. (19 additional authors not shown)

Abstract: MIRI/MRS on board the JWST allows us to probe the inner regions of protoplanetary disks. Here we examine the disk around the classical T Tauri star Sz 98, which has an unusually large dust disk in the millimetre with a compact core. We focus on the H$_2$O emission through both its ro-vibrational and pure rotational emission. Furthermore, we compare our chemical findings with those obtained for the… ▽ More MIRI/MRS on board the JWST allows us to probe the inner regions of protoplanetary disks. Here we examine the disk around the classical T Tauri star Sz 98, which has an unusually large dust disk in the millimetre with a compact core. We focus on the H$_2$O emission through both its ro-vibrational and pure rotational emission. Furthermore, we compare our chemical findings with those obtained for the outer disk from Atacama Large Millimeter/submillimeter Array (ALMA) observations. In order to model the molecular features in the spectrum, the continuum was subtracted and LTE slab models were fitted. The spectrum was divided into different wavelength regions corresponding to H$_2$O lines of different excitation conditions, and the slab model fits were performed individually per region. We confidently detect CO, H$_2$O, OH, CO$_2$, and HCN in the emitting layers. The isotopologue H$^{18}_2$O is not detected. Additionally, no other organics, including C$_2$H$_2$, are detected. This indicates that the C/O ratio could be substantially below unity, in contrast with the outer disk. The H$_2$O emission traces a large radial disk surface region, as evidenced by the gradually changing excitation temperatures and emitting radii. The OH and CO$_2$ emission are relatively weak. It is likely that H$_2$O is not significantly photodissociated; either due to self-shielding against the stellar irradiation, or UV-shielding from small dust particles. The relative emitting strength of the different identified molecular features point towards UV-shielding of H$_2$O in the inner disk of Sz 98, with a thin layer of OH on top. The majority of the organic molecules are either hidden below the dust continuum, or not present. In general, the inferred composition points to a sub-solar C/O ratio (<0.5) in the inner disk, in contrast with the larger than unity C/O ratio in the gas in the outer disk found with ALMA. △ Less

Submitted 26 October, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: Updated to accepted version. Accepted by A&A on September 23 2023. 18 pages, 11 figures

Journal ref: A&A 679, A117 (2023)

Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561

Authors: Moritz Müller, Joost J. Joosten

Abstract: We discuss model-checking problems as formal models of algorithmic law. Specifically, we ask for an algorithmically tractable general purpose model-checking problem that naturally models the European transport Regulation 561, and discuss the reaches and limits of a version of discrete time stopwatch automata. We discuss model-checking problems as formal models of algorithmic law. Specifically, we ask for an algorithmically tractable general purpose model-checking problem that naturally models the European transport Regulation 561, and discuss the reaches and limits of a version of discrete time stopwatch automata. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Analysis and design of model predictive control frameworks for dynamic operation -- An overview

Authors: Johannes Köhler, Matthas A. Müller, Frank Allgöwer

Abstract: This article provides an overview of model predictive control (MPC) frameworks for dynamic operation of nonlinear constrained systems. Dynamic operation is often an integral part of the control objective, ranging from tracking of reference signals to the general economic operation of a plant under online changing time-varying operating conditions. We focus on the particular challenges that arise w… ▽ More This article provides an overview of model predictive control (MPC) frameworks for dynamic operation of nonlinear constrained systems. Dynamic operation is often an integral part of the control objective, ranging from tracking of reference signals to the general economic operation of a plant under online changing time-varying operating conditions. We focus on the particular challenges that arise when dealing with such more general control goals and present methods that have emerged in the literature to address these issues. The goal of this article is to present an overview of the state-of-the-art techniques, providing a diverse toolkit to apply and further develop MPC formulations that can handle the challenges intrinsic to dynamic operation. We also critically assess the applicability of the different research directions, discussing limitations and opportunities for further research. △ Less

Submitted 9 January, 2024; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: This is the accepted version of the paper in Annual Reviews in Control, 2024

Journal ref: Annual Reviews in Control (2024)

Morphology-Dependent Influences on the Performance of Battery Cells with a Hierarchically Structured Positive Electrode

Authors: Johanna Naumann, Nicole Bohn, Oleg Birkholz, Matthias Neumann, Marcus Müller, Joachim R. Binder, Marc Kamlah

Abstract: The rising demand for high-performing batteries requires new technological concepts. To facilitate fast charge and discharge, hierarchically structured electrodes offer short diffusion paths in the active material. However, there are still gaps in understanding the influences on the cell performance of such electrodes. Here, we employed a cell model to demonstrate that the morphology of the hierar… ▽ More The rising demand for high-performing batteries requires new technological concepts. To facilitate fast charge and discharge, hierarchically structured electrodes offer short diffusion paths in the active material. However, there are still gaps in understanding the influences on the cell performance of such electrodes. Here, we employed a cell model to demonstrate that the morphology of the hierarchically structured electrode determines which electrochemical processes dictate the cell performance. The potentially limiting processes include electronic conductivity within the porous secondary particles, solid diffusion within the primary particles, and ionic transport in the electrolyte surrounding the secondary particles. Our insights enable a goal-oriented tailoring of hierarchically structured electrodes for high-power applications. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Geometric distortion and astrometric calibration of the JWST MIRI Medium Resolution Spectrometer

Authors: P. Patapis, I. Argyriou, D. R. Law, A. M. Glauser, A. Glasse, A. Labiano, J. Álvarez-Márquez, P. J. Kavanagh, D. Gasman, M. Mueller, K. Larson, B. Vandenbussche, P. Klaassen, P. Guillard, G. S. Wright

Abstract: The Medium-Resolution integral field Spectrometer (MRS) of MIRI on board JWST performs spectroscopy between 5 and 28~$μ$m. The optics of the MRS introduce substantial distortion, and this needs to be rectified in order to reconstruct the observed astrophysical scene. We use data from the JWST/MIRI commissioning and cycle 1 calibration phase, to derive the MRS geometric distortion and astrometric s… ▽ More The Medium-Resolution integral field Spectrometer (MRS) of MIRI on board JWST performs spectroscopy between 5 and 28~$μ$m. The optics of the MRS introduce substantial distortion, and this needs to be rectified in order to reconstruct the observed astrophysical scene. We use data from the JWST/MIRI commissioning and cycle 1 calibration phase, to derive the MRS geometric distortion and astrometric solution, a critical step in the calibration of MRS data. These solutions come in the form of transform matrices that map the detector pixels to spatial coordinates of a local MRS coordinate system called $α$/$β$, to the global JWST observatory coordinates V2/V3. For every MRS spectral band and each slice dispersed on the detector, the transform of detector pixels to $α$/$β$ is fit by a two-dimensional polynomial, using a raster of point source observations. A polynomial transform is used to map the coordinates from $α$/$β$ to V2/V3. We calibrated the distortion of all 198 discrete slices of the MIRI/MRS IFUs, and derived an updated Field of View (FoV) for each MRS spectral band. The precision of the distortion solution is estimated to be better than one tenth of a spatial resolution element, with a root mean square (rms) of 10 milli-arcsecond (mas) at 5 $μ$m, to 23 mas at 27 $μ$m. Finally we find that the wheel positioning repeatability causes an additional astrometric error of rms 30 mas. We have demonstrated the MRS astrometric calibration strategy and analysis enabling the calibration of MRS spectra, a critical step in the data pipeline especially for science with spatially resolved objects. The distortion calibration was folded into the JWST pipeline in Calibration Reference Data System (CRDS) context jwst\_1094.pmap. The distortion calibration precision meets the pre-launch requirement, and the estimated total astrometric uncertainty is 50 mas. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 15 pages, 14 figures. Submitted to Astronomy & Astrophysics

Fault-Tolerant Code Switching Protocols for Near-Term Quantum Processors

Authors: Friederike Butt, Sascha Heußen, Manuel Rispler, Markus Müller

Abstract: Topological color codes are widely acknowledged as promising candidates for fault-tolerant quantum computing. Neither a two-dimensional nor a three-dimensional topology, however, can provide a universal gate set $\{$H, T, CNOT$\}$, with the T-gate missing in the two-dimensional and the H-gate in the three-dimensional case. These complementary shortcomings of the isolated topologies may be overcome… ▽ More Topological color codes are widely acknowledged as promising candidates for fault-tolerant quantum computing. Neither a two-dimensional nor a three-dimensional topology, however, can provide a universal gate set $\{$H, T, CNOT$\}$, with the T-gate missing in the two-dimensional and the H-gate in the three-dimensional case. These complementary shortcomings of the isolated topologies may be overcome in a combined approach, by switching between a two- and a three-dimensional code while maintaining the logical state. In this work, we construct resource-optimized deterministic and non-deterministic code switching protocols for two- and three-dimensional distance-three color codes using fault-tolerant quantum circuits based on flag-qubits. Deterministic protocols allow for the fault-tolerant implementation of logical gates on an encoded quantum state, while non-deterministic protocols may be used for the fault-tolerant preparation of magic states. Taking the error rates of state-of-the-art trapped-ion quantum processors as a reference, we find a logical failure probability of $3\%$ for deterministic logical gates, which cannot be realized transversally in the respective code. By replacing the three-dimensional distance-three color code in the protocol for magic state preparation with the morphed code introduced in [1], we reduce the logical failure rates by two orders of magnitude, thus rendering it a viable method for magic state preparation on near-term quantum processors. Our results demonstrate that code switching enables the fault-tolerant and deterministic implementation of a universal gate set under realistic conditions, and thereby provide a practical avenue to advance universal, fault-tolerant quantum computing and enable quantum algorithms on first, error-corrected logical qubits. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Comments: 27 pages, 22 figures

Understanding Certified Training with Interval Bound Propagation

Authors: Yuhao Mao, Mark Niklas Müller, Marc Fischer, Martin Vechev

Abstract: As robustness verification methods are becoming more precise, training certifiably robust neural networks is becoming ever more relevant. To this end, certified training methods compute and then optimize an upper bound on the worst-case loss over a robustness specification. Curiously, training methods based on the imprecise interval bound propagation (IBP) consistently outperform those leveraging… ▽ More As robustness verification methods are becoming more precise, training certifiably robust neural networks is becoming ever more relevant. To this end, certified training methods compute and then optimize an upper bound on the worst-case loss over a robustness specification. Curiously, training methods based on the imprecise interval bound propagation (IBP) consistently outperform those leveraging more precise bounding methods. Still, we lack an understanding of the mechanisms making IBP so successful. In this work, we thoroughly investigate these mechanisms by leveraging a novel metric measuring the tightness of IBP bounds. We first show theoretically that, for deep linear models, tightness decreases with width and depth at initialization, but improves with IBP training, given sufficient network width. We, then, derive sufficient and necessary conditions on weight matrices for IBP bounds to become exact and demonstrate that these impose strong regularization, explaining the empirically observed trade-off between robustness and accuracy in certified training. Our extensive experimental evaluation validates our theoretical predictions for ReLU networks, including that wider networks improve performance, yielding state-of-the-art results. Interestingly, we observe that while all IBP-based training methods lead to high tightness, this is neither sufficient nor necessary to achieve high certifiable robustness. This hints at the existence of new training methods that do not induce the strong regularization required for tight IBP bounds, leading to improved robustness and standard accuracy. △ Less

Submitted 27 February, 2024; v1 submitted 17 June, 2023; originally announced June 2023.

Comments: ICLR'24

Voting Booklet Bias: Stance Detection in Swiss Federal Communication

Authors: Eric Egli, Noah Mamié, Eyal Liron Dolev, Mathias Müller

Abstract: In this study, we use recent stance detection methods to study the stance (for, against or neutral) of statements in official information booklets for voters. Our main goal is to answer the fundamental question: are topics to be voted on presented in a neutral way? To this end, we first train and compare several models for stance detection on a large dataset about Swiss politics. We find that fi… ▽ More In this study, we use recent stance detection methods to study the stance (for, against or neutral) of statements in official information booklets for voters. Our main goal is to answer the fundamental question: are topics to be voted on presented in a neutral way? To this end, we first train and compare several models for stance detection on a large dataset about Swiss politics. We find that fine-tuning an M-BERT model leads to the best accuracy. We then use our best model to analyze the stance of utterances extracted from the Swiss federal voting booklet concerning the Swiss popular votes of September 2022, which is the main goal of this project. We evaluated the models in both a multilingual as well as a monolingual context for German, French, and Italian. Our analysis shows that some issues are heavily favored while others are more balanced, and that the results are largely consistent across languages. Our findings have implications for the editorial process of future voting booklets and the design of better automated systems for analyzing political discourse. The data and code accompanying this paper are available at https://github.com/ZurichNLP/voting-booklet-bias. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Comments: 10 pages (including abstract and appendix), 5 figures, Keywords: stance detection, natural language processing, political analysis

Normalization Layers Are All That Sharpness-Aware Minimization Needs

Authors: Maximilian Mueller, Tiffany Vlaar, David Rolnick, Matthias Hein

Abstract: Sharpness-aware minimization (SAM) was proposed to reduce sharpness of minima and has been shown to enhance generalization performance in various settings. In this work we show that perturbing only the affine normalization parameters (typically comprising 0.1% of the total parameters) in the adversarial step of SAM can outperform perturbing all of the parameters.This finding generalizes to differe… ▽ More Sharpness-aware minimization (SAM) was proposed to reduce sharpness of minima and has been shown to enhance generalization performance in various settings. In this work we show that perturbing only the affine normalization parameters (typically comprising 0.1% of the total parameters) in the adversarial step of SAM can outperform perturbing all of the parameters.This finding generalizes to different SAM variants and both ResNet (Batch Normalization) and Vision Transformer (Layer Normalization) architectures. We consider alternative sparse perturbation approaches and find that these do not achieve similar performance enhancement at such extreme sparsity levels, showing that this behaviour is unique to the normalization layers. Although our findings reaffirm the effectiveness of SAM in improving generalization performance, they cast doubt on whether this is solely caused by reduced sharpness. △ Less

Submitted 17 November, 2023; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: camera ready version

Simulation of a first prototypical 3D solution for Indoor Localization based on Directed and Reflected Signals

Authors: Sneha Mohanty, Milan Müller, Christian Schindelhauer

Abstract: We introduce a solution for a specific case of Indoor Localization which involves a directed signal, a reflected signal from the wall and the time difference between them. This solution includes robust localization with a given wall, finding the right wall from a group of walls, obtaining the reflecting wall from measurements, using averaging techniques for improving measurements with errors and s… ▽ More We introduce a solution for a specific case of Indoor Localization which involves a directed signal, a reflected signal from the wall and the time difference between them. This solution includes robust localization with a given wall, finding the right wall from a group of walls, obtaining the reflecting wall from measurements, using averaging techniques for improving measurements with errors and successfully grou** measurements regarding reflecting walls. It also includes performing self-calibration by computation of wall distance and direction introducing algorithms such as All pairs, Disjoint pairs and Overlap** pairs and clustering walls based on Inversion and Gnomonic Projection. Several of these algorithms are then compared in order to ameliorate the effects of measurement errors. △ Less

Submitted 30 May, 2023; originally announced June 2023.

Comments: 16 pages

Model-based demosaicking for acquisitions by a RGBW color filter array

Authors: Matthieu Muller, Daniele Picone, Mauro Dalla Mura, Magnus O Ulfarsson

Abstract: Microsatellites and drones are often equipped with digital cameras whose sensing system is based on color filter arrays (CFAs), which define a pattern of color filter overlaid over the focal plane. Recent commercial cameras have started implementing RGBW patterns, which include some filters with a wideband spectral response together with the more classical RGB ones. This allows for additional ligh… ▽ More Microsatellites and drones are often equipped with digital cameras whose sensing system is based on color filter arrays (CFAs), which define a pattern of color filter overlaid over the focal plane. Recent commercial cameras have started implementing RGBW patterns, which include some filters with a wideband spectral response together with the more classical RGB ones. This allows for additional light energy to be captured by the relevant pixels and increases the overall SNR of the acquisition. Demosaicking defines reconstructing a multi-spectral image from the raw image and recovering the full color components for all pixels. However, this operation is often tailored for the most widespread patterns, such as the Bayer pattern. Consequently, less common patterns that are still employed in commercial cameras are often neglected. In this work, we present a generalized framework to represent the image formation model of such cameras. This model is then exploited by our proposed demosaicking algorithm to reconstruct the datacube of interest with a Bayesian approach, using a total variation regularizer as prior. Some preliminary experimental results are also presented, which apply to the reconstruction of acquisitions of various RGBW cameras. △ Less

Submitted 2 June, 2023; originally announced June 2023.

In or Out? Fixing ImageNet Out-of-Distribution Detection Evaluation

Authors: Julian Bitterwolf, Maximilian Müller, Matthias Hein

Abstract: Out-of-distribution (OOD) detection is the problem of identifying inputs which are unrelated to the in-distribution task. The OOD detection performance when the in-distribution (ID) is ImageNet-1K is commonly being tested on a small range of test OOD datasets. We find that most of the currently used test OOD datasets, including datasets from the open set recognition (OSR) literature, have severe i… ▽ More Out-of-distribution (OOD) detection is the problem of identifying inputs which are unrelated to the in-distribution task. The OOD detection performance when the in-distribution (ID) is ImageNet-1K is commonly being tested on a small range of test OOD datasets. We find that most of the currently used test OOD datasets, including datasets from the open set recognition (OSR) literature, have severe issues: In some cases more than 50$\%$ of the dataset contains objects belonging to one of the ID classes. These erroneous samples heavily distort the evaluation of OOD detectors. As a solution, we introduce with NINCO a novel test OOD dataset, each sample checked to be ID free, which with its fine-grained range of OOD classes allows for a detailed analysis of an OOD detector's strengths and failure modes, particularly when paired with a number of synthetic "OOD unit-tests". We provide detailed evaluations across a large set of architectures and OOD detection methods on NINCO and the unit-tests, revealing new insights about model weaknesses and the effects of pretraining on OOD detection performance. We provide code and data at https://github.com/j-cb/NINCO. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: ICML 2023. Datasets, code and evaluation data at https://github.com/j-cb/NINCO

Optimizing the growth conditions of Al mirrors for superconducting nanowire single-photon detectors

Authors: R. Flaschmann, C. Schmid, L. Zugliani, S. Strohauer, F. Wietschorke, S. Grotowski, B. Jonas, M. Müller, M. Althammer, R. Gross, J. J. Finley, K. Müller

Abstract: We investigate the growth conditions for thin (less than 200 nm) sputtered aluminum (Al) films. These coatings are needed for various applications, e.g. for advanced manufacturing processes in the aerospace industry or for nanostructures for quantum devices. Obtaining high-quality films, with low roughness, requires precise optimization of the deposition process. To this end, we tune various sputt… ▽ More We investigate the growth conditions for thin (less than 200 nm) sputtered aluminum (Al) films. These coatings are needed for various applications, e.g. for advanced manufacturing processes in the aerospace industry or for nanostructures for quantum devices. Obtaining high-quality films, with low roughness, requires precise optimization of the deposition process. To this end, we tune various sputtering parameters such as the deposition rate, temperature, and power, which enables 50 nm thin films with a root mean square (RMS) roughness of less than 1 nm and high reflectivity. Finally, we confirm the high quality of the deposited films by realizing superconducting single-photon detectors integrated into multi-layer heterostructures consisting of an aluminum mirror and a silicon dioxide dielectric spacer. We achieve an improvement in detection efficiency at 780 nm from 40 % to 70 % by this integration approach. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 11 pages, 6 figures

An Open-Source Gloss-Based Baseline for Spoken to Signed Language Translation

Authors: Amit Moryossef, Mathias Müller, Anne Göhring, Zifan Jiang, Yoav Goldberg, Sarah Ebling

Abstract: Sign language translation systems are complex and require many components. As a result, it is very hard to compare methods across publications. We present an open-source implementation of a text-to-gloss-to-pose-to-video pipeline approach, demonstrating conversion from German to Swiss German Sign Language, French to French Sign Language of Switzerland, and Italian to Italian Sign Language of Switz… ▽ More Sign language translation systems are complex and require many components. As a result, it is very hard to compare methods across publications. We present an open-source implementation of a text-to-gloss-to-pose-to-video pipeline approach, demonstrating conversion from German to Swiss German Sign Language, French to French Sign Language of Switzerland, and Italian to Italian Sign Language of Switzerland. We propose three different components for the text-to-gloss translation: a lemmatizer, a rule-based word reordering and drop** component, and a neural machine translation system. Gloss-to-pose conversion occurs using data from a lexicon for three different signed languages, with skeletal poses extracted from videos. To generate a sentence, the text-to-gloss system is first run, and the pose representations of the resulting signs are stitched together. △ Less

Submitted 28 May, 2023; originally announced May 2023.

How to verify the precision of density-functional-theory implementations via reproducible and universal workflows

Authors: Emanuele Bosoni, Louis Beal, Marnik Bercx, Peter Blaha, Stefan Blügel, Jens Bröder, Martin Callsen, Stefaan Cottenier, Augustin Degomme, Vladimir Dikan, Kristjan Eimre, Espen Flage-Larsen, Marco Fornari, Alberto Garcia, Luigi Genovese, Matteo Giantomassi, Sebastiaan P. Huber, Henning Janssen, Georg Kastlunger, Matthias Krack, Georg Kresse, Thomas D. Kühne, Kurt Lejaeghere, Georg K. H. Madsen, Martijn Marsman , et al. (20 additional authors not shown)

Abstract: In the past decades many density-functional theory methods and codes adopting periodic boundary conditions have been developed and are now extensively used in condensed matter physics and materials science research. Only in 2016, however, their precision (i.e., to which extent properties computed with different codes agree among each other) was systematically assessed on elemental crystals: a firs… ▽ More In the past decades many density-functional theory methods and codes adopting periodic boundary conditions have been developed and are now extensively used in condensed matter physics and materials science research. Only in 2016, however, their precision (i.e., to which extent properties computed with different codes agree among each other) was systematically assessed on elemental crystals: a first crucial step to evaluate the reliability of such computations. We discuss here general recommendations for verification studies aiming at further testing precision and transferability of density-functional-theory computational approaches and codes. We illustrate such recommendations using a greatly expanded protocol covering the whole periodic table from Z=1 to 96 and characterizing 10 prototypical cubic compounds for each element: 4 unaries and 6 oxides, spanning a wide range of coordination numbers and oxidation states. The primary outcome is a reference dataset of 960 equations of state cross-checked between two all-electron codes, then used to verify and improve nine pseudopotential-based approaches. Such effort is facilitated by deploying AiiDA common workflows that perform automatic input parameter selection, provide identical input/output interfaces across codes, and ensure full reproducibility. Finally, we discuss the extent to which the current results for total energies can be reused for different goals (e.g., obtaining formation energies). △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: Main text: 23 pages, 4 figures. Supplementary: 68 pages. Nature Review Physics 2023

Journal ref: Nat. Rev. Phys. 6, 45 (2024)

Site-Selective Enhancement of Superconducting Nanowire Single-Photon Detectors via Local Helium Ion Irradiation

Authors: Stefan Strohauer, Fabian Wietschorke, Lucio Zugliani, Rasmus Flaschmann, Christian Schmid, Stefanie Grotowski, Manuel Müller, Björn Jonas, Matthias Althammer, Rudolf Gross, Kai Müller, Jonathan J. Finley

Abstract: Achieving homogeneous performance metrics between nominally identical pixels is challenging for the operation of arrays of superconducting nanowire single-photon detectors (SNSPDs). Here, we utilize local helium ion irradiation to post-process and tune single-photon detection efficiency, switching current, and critical temperature of individual devices on the same chip. For 12nm thick highly absor… ▽ More Achieving homogeneous performance metrics between nominally identical pixels is challenging for the operation of arrays of superconducting nanowire single-photon detectors (SNSPDs). Here, we utilize local helium ion irradiation to post-process and tune single-photon detection efficiency, switching current, and critical temperature of individual devices on the same chip. For 12nm thick highly absorptive SNSPDs, which are barely single-photon sensitive prior to irradiation, we observe an increase of the system detection efficiency from $< 0.05\,\%$ to $(55.3 \pm 1.1)\,\%$ following irradiation. Moreover, the internal detection efficiency saturates at a temperature of 4.5 K after irradiation with $1800\, \mathrm{ions}\, \mathrm{nm}^{-2}$. For irradiated 10 nm thick detectors we observe a doubling of the switching current (to $20\, μ\mathrm{A}$) compared to 8 nm SNSPDs of similar detection efficiency, increasing the amplitude of detection voltage pulses. Investigations of the scaling of superconducting thin film properties with irradiation up to a fluence of $2600\, \mathrm{ions}\, \mathrm{nm}^{-2}$ revealed an increase of sheet resistance and a decrease of critical temperature towards high fluences. A physical model accounting for defect generation and sputtering during helium ion irradiation is presented and shows good qualitative agreement with experiments. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: 12 pages, 11 Figures

Journal ref: Adv. Quantum Technol. 2023, 6, 2300139

Holographic imaging of an array of submicron light scatterers at low photon numbers

Authors: Sebastian Kölle, Manuel Jäger, Markus Müller, Wladimir Schoch, Wolfgang Limmer, Johannes Hecker Denschlag

Abstract: We experimentally test a recently proposed holographic method for imaging coherent light scatterers which are distributed over a 2-dimensional grid. In our setup the scatterers consist of a back-illuminated, opaque mask with submicron-sized holes. We study how the imaging fidelity depends on various parameters of the set-up. We observe that a few hundred scattered photons per hole already suffice… ▽ More We experimentally test a recently proposed holographic method for imaging coherent light scatterers which are distributed over a 2-dimensional grid. In our setup the scatterers consist of a back-illuminated, opaque mask with submicron-sized holes. We study how the imaging fidelity depends on various parameters of the set-up. We observe that a few hundred scattered photons per hole already suffice to obtain a fidelity of 96% to correctly determine whether a hole is located at a given grid point. The holographic method demonstrated here has a high potential for applications with ultracold atoms in optical lattices. △ Less

Submitted 21 November, 2023; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: 8 pages, 9 figures

Journal ref: Appl. Phys. B 129, 180 (2023)

A dynamic wall modeling approach for Large Eddy Simulation of offshore wind farms in realistic oceanic conditions

Authors: Aditya K. Aiyer, Luc Deike, Michael E. Mueller

Abstract: Due to the multitude of scales present in realistic oceanic conditions, resolving the surface stress is computationally intensive, motivating modeling approaches. In this work, a dynamic wave drag model is developed for Large Eddy Simulation to quantify the effects of multiscale dynamically rough surfaces on the atmospheric boundary layer. The waves are vertically unresolved, and the total drag du… ▽ More Due to the multitude of scales present in realistic oceanic conditions, resolving the surface stress is computationally intensive, motivating modeling approaches. In this work, a dynamic wave drag model is developed for Large Eddy Simulation to quantify the effects of multiscale dynamically rough surfaces on the atmospheric boundary layer. The waves are vertically unresolved, and the total drag due to the horizontally resolved portion of the wave spectrum is computed through a superposition of the force from each mode. As LES can only resolve the horizontal wind-wave interactions to the filter scale $Δ$, the effects of the horizontally unresolved, subfilter waves are modeled by specifying a roughness length scale characterizing the unresolved wave energy spectrum. This subfilter roughness is set proportional to the subfilter root-mean-square of the height distribution, and the constant of proportionality is evaluated dynamically during the simulation based on the assumption that the total drag force at the wave surface is independent of the filter scale. The dynamic approach is used to simulate the airflow over a spectrum of moving waves and the results are validated against high-fidelity phase-resolved simulations. The dynamic approach combined with the wave spectrum drag model is then used to study flow through a fixed-bottom offshore wind farm. The dynamic model accurately adapts to the changing velocity field and accurately predicts the mean velocity profiles and power produced from the offshore wind farm. Further, the effect of the wind-wave interactions on the mean velocity profiles, power production, and kinetic energy budget are quantified. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Comments: Under Review

LDM3D: Latent Diffusion Model for 3D

Authors: Gabriela Ben Melech Stan, Diana Wofk, Scottie Fox, Alex Redden, Will Saxton, Jean Yu, Estelle Aflalo, Shao-Yen Tseng, Fabio Nonato, Matthias Muller, Vasudev Lal

Abstract: This research paper proposes a Latent Diffusion Model for 3D (LDM3D) that generates both image and depth map data from a given text prompt, allowing users to generate RGBD images from text prompts. The LDM3D model is fine-tuned on a dataset of tuples containing an RGB image, depth map and caption, and validated through extensive experiments. We also develop an application called DepthFusion, which… ▽ More This research paper proposes a Latent Diffusion Model for 3D (LDM3D) that generates both image and depth map data from a given text prompt, allowing users to generate RGBD images from text prompts. The LDM3D model is fine-tuned on a dataset of tuples containing an RGB image, depth map and caption, and validated through extensive experiments. We also develop an application called DepthFusion, which uses the generated RGB images and depth maps to create immersive and interactive 360-degree-view experiences using TouchDesigner. This technology has the potential to transform a wide range of industries, from entertainment and gaming to architecture and design. Overall, this paper presents a significant contribution to the field of generative AI and computer vision, and showcases the potential of LDM3D and DepthFusion to revolutionize content creation and digital experiences. A short video summarizing the approach can be found at https://t.ly/tdi2. △ Less

Submitted 21 May, 2023; v1 submitted 18 May, 2023; originally announced May 2023.