Showing 1–50 of 484 results for author: Müller, G

A DC-Reformulation for Gradient-$L^0$-Constrained Problems in Function Spaces

Authors: Bastian Dittrich, Evelyn Herberg, Roland Herzog, Georg Müller

Abstract: Cardinality constraints in optimization are commonly of $L^0$-type, and they lead to sparsely supported optimizers. An efficient way of dealing with these constraints algorithmically, when the objective functional is convex, is reformulating the constraint using the difference of suitable $L^1$- and largest-$K$-norms and subsequently solving a sequence of penalized subproblems in the difference-of… ▽ More Cardinality constraints in optimization are commonly of $L^0$-type, and they lead to sparsely supported optimizers. An efficient way of dealing with these constraints algorithmically, when the objective functional is convex, is reformulating the constraint using the difference of suitable $L^1$- and largest-$K$-norms and subsequently solving a sequence of penalized subproblems in the difference-of-convex (DC) class. We extend this DC-reformulation approach to problems with $L^0$-type cardinality constraints on the support of the gradients, \ie, problems where sparsity of the gradient and thus piecewise constant functions are the target. △ Less

Submitted 13 June, 2025; originally announced June 2025.

Space magnetometry with a differential atom interferometer

Authors: Matthias Meister, Gabriel Müller, Patrick Boegel, Albert Roura, Annie Pichery, David B. Reinhardt, Timothé Estrampes, Jannik Ströhle, Enno Giese, Holger Ahlers, Waldemar Herr, Christian Schubert, Éric Charron, Holger Müller, Jason R. Williams, Ernst M. Rasel, Wolfgang P. Schleich, Naceur Gaaloul, Nicholas P. Bigelow

Abstract: Atom interferometers deployed in space are excellent tools for high precision measurements, navigation, or Earth observation. In particular, differential interferometric setups feature common-mode noise suppression and enable reliable measurements in the presence of ambient platform noise. Here we report on orbital magnetometry campaigns performed with differential single- and double-loop interfer… ▽ More Atom interferometers deployed in space are excellent tools for high precision measurements, navigation, or Earth observation. In particular, differential interferometric setups feature common-mode noise suppression and enable reliable measurements in the presence of ambient platform noise. Here we report on orbital magnetometry campaigns performed with differential single- and double-loop interferometers in NASA's Cold Atom Lab aboard the International Space Station. By comparing measurements with atoms in magnetically sensitive and insensitive states, we have realized atomic magnetometers mapping magnetic field curvatures. Our results pave the way towards precision quantum sensing missions in space. △ Less

Submitted 29 May, 2025; originally announced May 2025.

Comments: 20 pages, 8 figures

Separating dots with circles

Authors: James Beyer, Jaewon Min, Greg Muller

Abstract: Given a finite set of points in general position in the plane or sphere, we count the number of ways to separate those points using two types of circles: circles through three of the points, and circles through none of the points (up to an equivalence). In each case, we show the number of circles which separate the points into subsets of size k and l is independent of the configuration of points,… ▽ More Given a finite set of points in general position in the plane or sphere, we count the number of ways to separate those points using two types of circles: circles through three of the points, and circles through none of the points (up to an equivalence). In each case, we show the number of circles which separate the points into subsets of size k and l is independent of the configuration of points, and we provide an explicit formula in each case. We also consider how the circles change as the configuration of dots varies continuously. We show that an associated higher order Voronoi decomposition of the sphere changes by a sequence of local `moves'. As a consequence, an associated cluster algebra is independent of the configuration of dots, and only depends on the number of dots and the order of the Voronoi decomposition. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 18 pages, 8 figures

MSC Class: Primary 52B05; Secondary 68U05; 05E15; 13F60

Applying TDI to Hardware-Simulated Data

Authors: Reid Ferguson, Olaf Hartwig, Guido Mueller

Abstract: Many years of development have gone into producing instruments that meet the required noise performance of the LISA interferometric detection system. Concurrently, software simulations have been used to extensively develop the data analysis libraries to be used in the LISA pipeline, not least among which are the Time Delay Interferometry (TDI) algorithms. To bridge the gap between these two, we ar… ▽ More Many years of development have gone into producing instruments that meet the required noise performance of the LISA interferometric detection system. Concurrently, software simulations have been used to extensively develop the data analysis libraries to be used in the LISA pipeline, not least among which are the Time Delay Interferometry (TDI) algorithms. To bridge the gap between these two, we are developing a hardware-in-the-loop testbed to apply realistic, time-varying delays to signals traveling between phasemeters. We have shown that the testbed adds a sufficiently low amount of noise across the entire relevant LISA spectrum. We have also injected a realistic gravitational wave signal, generated via the LISA Data Challenge codebase, and successfully extracted it using TDI to remove the obscuring frequency noise of the carrier signal. Future efforts will expand the testbed to create a representative simulation of the entire LISA constellation, with an eye towards its use as a tool to aid in the development of the LISA data analysis pipelines. △ Less

Submitted 19 June, 2025; v1 submitted 28 May, 2025; originally announced May 2025.

Comments: Contribution to the 2025 Gravitation session of the 59th Recontres de Moriond

Valuative independence and cluster theta reciprocity

Authors: Man-Wai Cheung, Timothy Magee, Travis Mandel, Greg Muller

Abstract: We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta func… ▽ More We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: 54 pages

MSC Class: 13F60 (Primary) 14J33 (Secondary)

Practical aspects of the virtual noise convex optimum design approach for correlated responses

Authors: Markus Hainy, Werner G. Müller, Andrej Pázman

Abstract: In this paper we present several practically-oriented extensions and considerations for the virtual noise method in optimal design under correlation. First we introduce a slightly modified virtual noise representation which further illuminates the parallels to the classical design approach for uncorrelated observations. We suggest more efficient algorithms to obtain the design measures. Furthermor… ▽ More In this paper we present several practically-oriented extensions and considerations for the virtual noise method in optimal design under correlation. First we introduce a slightly modified virtual noise representation which further illuminates the parallels to the classical design approach for uncorrelated observations. We suggest more efficient algorithms to obtain the design measures. Furthermore, we show that various convex relaxation methods used for sensor selection are special cases of our approach and can be solved within our framework. Finally, we provide practical guidelines on how to generally approach a design problem with correlated observations and demonstrate how to utilize the virtual noise method in this context in a meaningful way. △ Less

Submitted 24 April, 2025; originally announced April 2025.

Comments: 33 pages

MSC Class: 62K05

Size Constraint on Hayabusa2 Extended Mission Rendezvous Target 1998~KY$_{26}$ via VLT/VISIR Non-detection

Authors: Jin Beniyama, Thomas G. Müller, Marco Delbo, Eric Pantin, Olivier R. Hainaut, Marco Micheli, Michaël Marsset

Abstract: 1998~KY$_{26}$ is a tiny near-Earth asteroid ($H=26.1$) discovered in 1998. It has been selected as the target of the Hayabusa2 extended mission, which will rendezvous with 1998 KY$_{26}$ in 2031. However, one of the most basic physical properties, size, remains poorly constrained, posing potential challenges for spacecraft operations. We aimed at constraining the size of 1998 KY$_{26}$ by means o… ▽ More 1998~KY$_{26}$ is a tiny near-Earth asteroid ($H=26.1$) discovered in 1998. It has been selected as the target of the Hayabusa2 extended mission, which will rendezvous with 1998 KY$_{26}$ in 2031. However, one of the most basic physical properties, size, remains poorly constrained, posing potential challenges for spacecraft operations. We aimed at constraining the size of 1998 KY$_{26}$ by means of thermal infrared observations. We performed thermal infrared observations of 1998 KY$_{26}$ using the ESO Very Large Telescope/VISIR on three consecutive nights in May 2024. After stacking all frames, we find no apparent detection of 1998 KY$_{26}$ on the resulting images. The upper-limit flux density of 1998 KY$_{26}$ is derived as 2 mJy at 10.64 $μ$m. From this upper-limit flux density obtained via non-detection, we conclude that the diameter of 1998 KY$_{26}$ is smaller than 17 m with thermophysical modeling. This upper limit size is smaller than the radar-derived 30 ($\pm$ 10)\,m. Our size constraint on 1998 KY$_{26}$ is essential for the operation of the Hayabusa2 spacecraft during proximity operations using remote sensing instruments as well as a possible impact experiment using the remaining projectile. △ Less

Submitted 26 March, 2025; originally announced March 2025.

Comments: Accepted for publication in the Astronomical Journal. Any comments are welcome

PolyMorph: Extension of PolyHoop for tissue morphogenesis coupled to chemical signaling

Authors: Nicolas Pascal Guido Müller, Roman Vetter

Abstract: We present PolyMorph, a lightweight standalone C++ program that extends its predecessor PolyHoop by a finite-difference solver for multi-component reaction-advection-diffusion equations. PolyMorph simulates two integral parts of tissue morphogenesis in two dimensions: 1) the mechanics of cellular deformation, growth and proliferation, and 2) transport and reaction of an arbitrary number of chemica… ▽ More We present PolyMorph, a lightweight standalone C++ program that extends its predecessor PolyHoop by a finite-difference solver for multi-component reaction-advection-diffusion equations. PolyMorph simulates two integral parts of tissue morphogenesis in two dimensions: 1) the mechanics of cellular deformation, growth and proliferation, and 2) transport and reaction of an arbitrary number of chemical species. Both of these components are bidirectionally coupled, allowing cells to base their behavior on local information on concentrations and flow, and allowing the chemical transport and reaction kinetics to depend on spatial information such as the local cell type. This bidirectional feedback makes PolyMorph a versatile tool to study a variety of cellular morphogenetic processes such as chemotaxis, cell sorting, tissue patterning with morphogen gradients, Turing patterning, and diffusion- or supply-limited growth with sub-cellular resolution. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Comments: 5 pages, 1 figure

Journal ref: Computer Physics Communications 312, 109581 (2025)

The MAGPI Survey: the kinematic morphology-density relation (or lack thereof) and the Hubble sequence at $z\sim0.3$

Authors: Caroline Foster, Mark W. Donoghoe, Andrew Battisti, Francesco D'Eugenio, Katherine Harborne, Thomas Venville, Claudia Del P. Lagos, J. Trevor Mendel, Ryan Bagge, Stefania Barsanti, Sabine Bellstedt, Alina Boecker, Qianhui Chen, Caro Derkenne, Anna Ferre-Matteu, Eda Gjergo, Anshu Gupta, Eric G. M. Muller, Giulia Santucci, Hye-Jin Park, Rhea-Silvia Remus, Sabine Thater, Jesse van de Sande, Sam Vaughan, Sarah Brough , et al. (4 additional authors not shown)

Abstract: This work presents visual morphological and dynamical classifications for 637 spatially resolved galaxies, most of which are at intermediate redshift ($z\sim0.3$), in the Middle-Ages Galaxy Properties with Integral field spectroscopy (MAGPI) Survey. For each galaxy, we obtain a minimum of 11 independent visual classifications by knowledgeable classifiers. We use an extension of the standard Dawid-… ▽ More This work presents visual morphological and dynamical classifications for 637 spatially resolved galaxies, most of which are at intermediate redshift ($z\sim0.3$), in the Middle-Ages Galaxy Properties with Integral field spectroscopy (MAGPI) Survey. For each galaxy, we obtain a minimum of 11 independent visual classifications by knowledgeable classifiers. We use an extension of the standard Dawid-Skene bayesian model introducing classifier-specific confidence parameters and galaxy-specific difficulty parameters to quantify classifier confidence and infer reliable statistical confidence estimates. Selecting sub-samples of 86 bright ($r<20$ mag) high-confidence ($>0.98$) morphological classifications at redshifts ($0.2 \le z \le0.4$), we confirm the full range of morphological types is represented in MAGPI as intended in the survey design. Similarly, with a sub-sample of 82 bright high-confidence stellar kinematic classifications, we find that the rotating and non-rotating galaxies seen at low redshift are already in place at intermediate redshifts. We \textit{do not} find evidence that the kinematic morphology-density relation seen at $z\sim0$ is established at $z\sim0.3$. We suggest that galaxies without obvious stellar rotation are dynamically pre-processed sometime before $z\sim0.3$ within lower mass groups before joining denser environments. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Comments: 23 pages, 19 figures, 3 tables, accepted for publication in PASA

Green LIME: Improving AI Explainability through Design of Experiments

Authors: Alexandra Stadler, Werner G. Müller, Radoslav Harman

Abstract: In artificial intelligence (AI), the complexity of many models and processes surpasses human understanding, making it challenging to determine why a specific prediction is made. This lack of transparency is particularly problematic in critical fields like healthcare, where trust in a model's predictions is paramount. As a result, the explainability of machine learning (ML) and other complex models… ▽ More In artificial intelligence (AI), the complexity of many models and processes surpasses human understanding, making it challenging to determine why a specific prediction is made. This lack of transparency is particularly problematic in critical fields like healthcare, where trust in a model's predictions is paramount. As a result, the explainability of machine learning (ML) and other complex models has become a key area of focus. Efforts to improve model explainability often involve experimenting with AI systems and approximating their behavior through interpretable surrogate mechanisms. However, these procedures can be resource-intensive. Optimal design of experiments, which seeks to maximize the information obtained from a limited number of observations, offers promising methods for improving the efficiency of these explainability techniques. To demonstrate this potential, we explore Local Interpretable Model-agnostic Explanations (LIME), a widely used method introduced by Ribeiro et al. (2016). LIME provides explanations by generating new data points near the instance of interest and passing them through the model. While effective, this process can be computationally expensive, especially when predictions are costly or require many samples. LIME is highly versatile and can be applied to a wide range of models and datasets. In this work, we focus on models involving tabular data, regression tasks, and linear models as interpretable local approximations. By utilizing optimal design of experiments' techniques, we reduce the number of function evaluations of the complex model, thereby reducing the computational effort of LIME by a significant amount. We consider this modified version of LIME to be energy-efficient or "green". △ Less

Submitted 27 June, 2025; v1 submitted 18 February, 2025; originally announced February 2025.

Europe's AI Imperative -- A Pragmatic Blueprint for Global Tech Leadership

Authors: Gjergji Kasneci, Urs Gasser, Thomas F. Hofmann, Gerhard Kramer, Gerhard Müller, Claudia Peus, Helmut Schönenberger, Enkelejda Kasneci

Abstract: Europe is at a make-or-break moment in the global AI race, squeezed between the massive venture capital and tech giants in the US and China's scale-oriented, top-down drive. At this tipping point, where the convergence of AI with complementary and synergistic technologies, like quantum computing, biotech, VR/AR, 5G/6G, robotics, advanced materials, and high-performance computing, could upend geopo… ▽ More Europe is at a make-or-break moment in the global AI race, squeezed between the massive venture capital and tech giants in the US and China's scale-oriented, top-down drive. At this tipping point, where the convergence of AI with complementary and synergistic technologies, like quantum computing, biotech, VR/AR, 5G/6G, robotics, advanced materials, and high-performance computing, could upend geopolitical balances, Europe needs to rethink its AI-related strategy. On the heels of the AI Action Summit 2025 in Paris, we present a sharp, doable strategy that builds upon Europe's strengths and closes gaps. △ Less

Submitted 15 February, 2025; v1 submitted 12 February, 2025; originally announced February 2025.

Impact of phase signal formulations on tilt-to-length coupling noise in the LISA test mass interferometer

Authors: Paul Edwards, Megha Dave, Alexander Weaver, Mengyuan Zhao, Paul Fulda, Guido Mueller, Gudrun Wanner

Abstract: Tilt-to-length (TTL) coupling in the Laser Interferometer Space Antenna (LISA) can generate spurious displacement noise that potentially affects the measurement of gravitational wave signals. In each test mass interferometer, the coupling of misalignments with spacecraft angular jitter produces noise in the longitudinal pathlength signal. This signal comes from the phase readout combinations of an… ▽ More Tilt-to-length (TTL) coupling in the Laser Interferometer Space Antenna (LISA) can generate spurious displacement noise that potentially affects the measurement of gravitational wave signals. In each test mass interferometer, the coupling of misalignments with spacecraft angular jitter produces noise in the longitudinal pathlength signal. This signal comes from the phase readout combinations of an interfering measurement beam and a local reference beam at a quadrant photodetector, but various formulations exist for its calculation. Selection of this pathlength signal formulation affects the TTL coupling noise. We therefore simulated two pathlength signal candidates, the complex sum and the averaged phase, and evaluated their performance in the LISA test mass interferometer under the assumption of static alignment imperfections. All simulations were performed using three different methods with cross-checked results. We find with all three methods that the averaged phase is the choice with equal or less TTL coupling noise in four out of the five test cases. Finally, we show that the non-linear TTL contributions in the test mass interferometer to be negligible in all our test-cases, no matter which formulation of pathlength signal is chosen. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: 34 pages, 25 figures

JWST sighting of decameter main-belt asteroids and view on meteorite sources

Authors: Artem Y. Burdanov, Julien de Wit, Miroslav Brož, Thomas G. Müller, Tobias Hoffmann, Marin Ferrais, Marco Micheli, Emmanuel Jehin, Daniel Parrott, Samantha N. Hasler, Richard P. Binzel, Elsa Ducrot, Laura Kreidberg, Michaël Gillon, Thomas P. Greene, Will M. Grundy, Theodore Kareta, Pierre-Olivier Lagage, Nicholas Moskovitz, Audrey Thirouin, Cristina A. Thomas, Sebastian Zieba

Abstract: Asteroid discoveries are essential for planetary-defense efforts aiming to prevent impacts with Earth, including the more frequent megaton explosions from decameter impactors. While large asteroids ($\geq$100 km) have remained in the main belt since their formation, small asteroids are commonly transported to the near-Earth object (NEO) population. However, due to the lack of direct observational… ▽ More Asteroid discoveries are essential for planetary-defense efforts aiming to prevent impacts with Earth, including the more frequent megaton explosions from decameter impactors. While large asteroids ($\geq$100 km) have remained in the main belt since their formation, small asteroids are commonly transported to the near-Earth object (NEO) population. However, due to the lack of direct observational constraints, their size-frequency distribution--which informs our understanding of the NEOs and the delivery of meteorite samples to Earth--varies significantly among models. Here, we report 138 detections of the smallest asteroids ($\gtrapprox $10 m) ever observed in the main belt, which were enabled by JWST's infrared capabilities covering the asteroids' emission peaks and synthetic tracking techniques. Despite small orbital arcs, we constrain the objects' distances and phase angles using known asteroids as proxies, allowing us to derive sizes via radiometric techniques. Their size-frequency distribution exhibits a break at ${\sim}100$ m (debiased cumulative slopes of $q = -2.66\pm0.60$ and $-0.97\pm0.14$ for diameters smaller and larger than $\sim $100 m, respectively), suggestive of a population driven by collisional cascade. These asteroids were sampled from multiple asteroid families--most likely Nysa, Polana and Massalia--according to the geometry of pointings considered here. Through additional long-stare infrared observations, JWST is poised to serendipitously detect thousands of decameter-scale asteroids across the sky, probing individual asteroid families and the source regions of meteorites "in-situ". △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: Original version submitted to Nature in June 2024; see final accepted version at DOI: s41586-024-08480-z

Journal ref: Nature, 09 December 2024

The MAGPI Survey: radial trends in star formation across different cosmological simulations in comparison with observations at $z \sim$ 0.3

Authors: Marcie Mun, Emily Wisnioski, Katherine E. Harborne, Claudia D. P. Lagos, Lucas M. Valenzuela, Rhea-Silvia Remus, J. Trevor Mendel, Andrew J. Battisti, Sara L. Ellison, Caroline Foster, Matias Bravo, Sarah Brough, Scott M. Croom, Tianmu Gao, Kathryn Grasha, Anshu Gupta, Yifan Mai, Anilkumar Mailvaganam, Eric G. M. Muller, Gauri Sharma, Sarah M. Sweet, Edward N. Taylor, Tayyaba Zafar

Abstract: We investigate the internal and external mechanisms that regulate and quench star formation (SF) in galaxies at $z \sim 0.3$ using MAGPI observations and the EAGLE, Magneticum, and IllustrisTNG cosmological simulations. Using SimSpin to generate mock observations of simulated galaxies, we match detection/resolution limits in star formation rates and stellar mass, along with MAGPI observational det… ▽ More We investigate the internal and external mechanisms that regulate and quench star formation (SF) in galaxies at $z \sim 0.3$ using MAGPI observations and the EAGLE, Magneticum, and IllustrisTNG cosmological simulations. Using SimSpin to generate mock observations of simulated galaxies, we match detection/resolution limits in star formation rates and stellar mass, along with MAGPI observational details including the average point spread function and pixel scale. While we find a good agreement in the slope of the global star-forming main sequence (SFMS) between MAGPI observations and all three simulations, the slope of the resolved SFMS does not agree within 1 $-$ 2$σ$. Furthermore, in radial SF trends, good agreement between observations and simulations exists only for galaxies far below the SFMS, where we capture evidence for inside-out quenching. The simulations overall agree with each other between $\sim1.5-4 \ R_{\rm e}$ but show varying central suppression within $R \sim 1.5 \ R_{\rm e}$ for galaxies on and below the SFMS, attributable to different AGN feedback prescriptions. All three simulations show similar dependencies of SF radial trends with environment. Central galaxies are subject to both internal and external mechanisms, showing increased SF suppression in the centre with increasing halo mass, indicating AGN feedback. Satellite galaxies display increasing suppression in the outskirts as halo mass increases, indicative of environmental processes. These results demonstrate the power of spatially resolved studies of galaxies; while global properties align, radial profiles reveal discrepancies between observations and simulations and their underlying physics. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 20 pages, 10 figures, submitted to MNRAS

TPCNet: Representation learning for HI mapping

Authors: Hiep Nguyen, Haiyang Tang, Matthew Alger, Antoine Marchal, Eric G. M. Muller, Cheng Soon Ong, N. M. McClure-Griffiths

Abstract: We introduce TPCNet, a neural network predictor that combines Convolutional and Transformer architectures with Positional encodings, for neutral atomic hydrogen (HI) spectral analysis. Trained on synthetic datasets, our models predict cold neutral gas fraction ($f_\text{CNM}$) and HI opacity correction factor ($R_\text{HI}$) from emission spectra based on the learned relationships between the desi… ▽ More We introduce TPCNet, a neural network predictor that combines Convolutional and Transformer architectures with Positional encodings, for neutral atomic hydrogen (HI) spectral analysis. Trained on synthetic datasets, our models predict cold neutral gas fraction ($f_\text{CNM}$) and HI opacity correction factor ($R_\text{HI}$) from emission spectra based on the learned relationships between the desired output parameters and observables (optically-thin column density and peak brightness). As a follow-up to Murray et al. (2020)'s shallow Convolutional Neural Network (CNN), we construct deep CNN models and compare them to TPCNet models. TPCNet outperforms deep CNNs, achieving a 10% average increase in testing accuracy, algorithmic (training) stability, and convergence speed. Our findings highlight the robustness of the proposed model with sinusoidal positional encoding applied directly to the spectral input, addressing perturbations in training dataset shuffling and convolutional network weight initializations. Higher spectral resolutions with increased spectral channels offer advantages, albeit with increased training time. Diverse synthetic datasets enhance model performance and generalization, as demonstrated by producing $f_\text{CNM}$ and $R_\text{HI}$ values consistent with evaluation ground truths. Applications of TPCNet to observed emission data reveal strong agreement between the predictions and Gaussian decomposition-based estimates (from emission and absorption surveys), emphasizing its potential in HI spectral analysis. △ Less

Submitted 20 November, 2024; originally announced November 2024.

Comments: This paper has 27 pages, 27 figures and two tables. The work has been accepted for publication in Monthly Notices of the Royal Astronomical Society Main Journal

Journal ref: MNRAS 2024

Solving Semi-Linear Elliptic Optimal Control Problems with $L^1$-Cost via Regularization and RAS-Preconditioned Newton Methods

Authors: Gabriele Ciaramella, Michael Kartmann, Georg Müller

Abstract: We present a new parallel computational framework for the efficient solution of a class of $L^2$/$L^1$-regularized optimal control problems governed by semi-linear elliptic partial differential equations (PDEs). The main difficulty in solving this type of problem is the nonlinearity and non-smoothness of the $L^1$-term in the cost functional, which we address by employing a combination of several… ▽ More We present a new parallel computational framework for the efficient solution of a class of $L^2$/$L^1$-regularized optimal control problems governed by semi-linear elliptic partial differential equations (PDEs). The main difficulty in solving this type of problem is the nonlinearity and non-smoothness of the $L^1$-term in the cost functional, which we address by employing a combination of several tools. First, we approximate the non-differentiable projection operator appearing in the optimality system by an appropriately chosen regularized operator and establish convergence of the resulting system's solutions. Second, we apply a continuation strategy to control the regularization parameter to improve the behavior of (damped) Newton methods. Third, we combine Newton's method with a domain-decomposition-based nonlinear preconditioning, which improves its robustness properties and allows for parallelization. The efficiency of the proposed numerical framework is demonstrated by extensive numerical experiments. △ Less

Submitted 1 November, 2024; originally announced November 2024.

MSC Class: 49K20; 49M20; 49M27; 49M15; 65N55

Prominent mid-infrared excess of the dwarf planet (136472) Makemake discovered by JWST/MIRI indicates ongoing activity

Authors: Csaba Kiss, Thomas G. Müller, Anikó Farkas-Takács, Attila Moór, Silvia Protopapa, Alex H. Parker, Pablo Santos-Sanz, Jose Luis Ortiz, Bryan J. Holler, Ian Wong, John Stansberry, Estela Fernández-Valenzuela, Christopher R. Glein, Emmanuel Lellouch, Esa Vilenius, Csilla E. Kalup, Zsolt Regály, Róbert Szakáts, Gábor Marton, András Pál, Gyula M. Szabó

Abstract: We report on the discovery of a very prominent mid-infrared (18-25 μm) excess associated with the trans-Neptunian dwarf planet (136472) Makemake. The excess, detected by the MIRI instrument of the James Webb Space Telescope, along with previous measurements from the Spitzer and Herschel space telescopes, indicates the occurrence of temperatures of about 150 K, much higher than what solid surfaces… ▽ More We report on the discovery of a very prominent mid-infrared (18-25 μm) excess associated with the trans-Neptunian dwarf planet (136472) Makemake. The excess, detected by the MIRI instrument of the James Webb Space Telescope, along with previous measurements from the Spitzer and Herschel space telescopes, indicates the occurrence of temperatures of about 150 K, much higher than what solid surfaces at Makemake's heliocentric distance could reach by solar irradiation. We identify two potential explanations: a continuously visible, currently active region, powered by subsurface upwelling and possibly cryovolcanic activity, covering <1% of Makemake's surface, or an as yet undetected ring containing very small carbonaceous dust grains, which have not been seen before in trans-Neptunian or Centaur rings. Both scenarios point to unprecedented phenomena among trans-Neptunian objects and could greatly impact our understanding of these distant worlds. △ Less

Submitted 29 October, 2024; originally announced October 2024.

Comments: Accepted for publication in The Astrophysical Journal Letters

The MAGPI Survey: Orbital distributions, intrinsic shapes, and mass profiles for MAGPI-like Eagle galaxies using Schwarzschild dynamical models

Authors: Giulia Santucci, Claudia Del P. Lagos, Katherine E. Harborne, Caro Derkenne, Adriano Poci, Sabine Thater, Richard M. McDermid, J. Trevor Mendel, Emily Wisnioski, Scott M. Croom, Anna Ferré-Mateu, Eric G. M. Muller, Jesse van de Sande, Gauri Sharma, Sarah M. Sweet, Takafumi Tsukui, Lucas M. Valenzuela, Glenn van de Ven, Tayyaba Zafar

Abstract: Schwarzschild dynamical models are now regularly employed in large surveys of galaxies in the local and distant Universe to derive information on galaxies' intrinsic properties such as their orbital structure and their (dark matter and stellar) mass distribution. Comparing the internal orbital structures and mass distributions of galaxies in the distant Universe with simulations is key to understa… ▽ More Schwarzschild dynamical models are now regularly employed in large surveys of galaxies in the local and distant Universe to derive information on galaxies' intrinsic properties such as their orbital structure and their (dark matter and stellar) mass distribution. Comparing the internal orbital structures and mass distributions of galaxies in the distant Universe with simulations is key to understanding what physical processes are responsible for shaping galaxy properties. However it is first crucial to understand whether observationally derived properties are directly comparable with intrinsic ones in simulations. To assess this, we build Schwarzschild dynamical models for MUSE-like IFS cubes (constructed to be like those obtained by the MAGPI survey) of 75 galaxies at z ~ 0.3 from the Eagle simulations. We compare the true particle-derived properties with the galaxies' model-derived properties. In general, we find that the models can recover the true galaxy properties qualitatively well, with the exception of the enclosed dark matter, where we find a median offset of 48%, which is due to the assumed NFW profile not being able to reproduce the dark matter distribution in the inner region of the galaxies. We then compare our model-derived properties with Schwarzschild models-derived properties of observed MAGPI galaxies and find good agreement between MAGPI and Eagle: the majority of our galaxies (57%) have non-oblate shapes within 1 effective radius. More triaxial galaxies show higher fractions of hot orbits in their inner regions and tend to be more radially anisotropic. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Comments: 22 pages. Accepted for publication in MNRAS

Design and Performance of the ALPS II Regeneration Cavity

Authors: Todd Kozlowski, Li-Wei Wei, Aaron D. Spector, Ayman Hallal, Henry Fraedrich, Daniel C. Brotherton, Isabella Oceano, Aldo Ejlli, Hartmut Grote, Harold Hollis, Kanioar Karan, Guido Mueller, D. B. Tanner, Benno Willke, Axel Lindner

Abstract: The Regeneration Cavity (RC) is a critical component of the Any Light Particle Search II (ALPS II) experiment. It increases the signal from possible axions and axion-like particles in the experiment by nearly four orders of magnitude. The total round-trip optical losses of the power circulating in the cavity must be minimized in order to maximize the resonant enhancement of the cavity, which is an… ▽ More The Regeneration Cavity (RC) is a critical component of the Any Light Particle Search II (ALPS II) experiment. It increases the signal from possible axions and axion-like particles in the experiment by nearly four orders of magnitude. The total round-trip optical losses of the power circulating in the cavity must be minimized in order to maximize the resonant enhancement of the cavity, which is an important figure of merit for ALPS II. Lower optical losses also increase the cavity storage time and with the 123 meter long ALPS II RC we have demonstrated the longest storage time of a two-mirror optical cavity. We measured a storage time of $7.17 \pm 0.01$ ms, equivalent to a linewidth of 44.4 Hz and a finesse of 27,500 at a wavelength of 1064 nm. △ Less

Submitted 23 August, 2024; originally announced August 2024.

Comments: 16 pages, 8 figures, 1 table

Inconsistency Removal of Reduced Bases in Parametric Model Order Reduction by Matrix Interpolation using Adaptive Sampling and Clustering

Authors: Sebastian Resch-Schopper, Romain Rumpler, Gerhard Müller

Abstract: Parametric model order reduction by matrix interpolation allows for efficient prediction of the behavior of dynamic systems without requiring knowledge about the underlying parametric dependency. Within this approach, reduced models are first sampled and then made consistent with each other by transforming the underlying reduced bases. Finally, the transformed reduced operators can be interpolated… ▽ More Parametric model order reduction by matrix interpolation allows for efficient prediction of the behavior of dynamic systems without requiring knowledge about the underlying parametric dependency. Within this approach, reduced models are first sampled and then made consistent with each other by transforming the underlying reduced bases. Finally, the transformed reduced operators can be interpolated to predict reduced models for queried parameter points. However, the accuracy of the predicted reduced model strongly depends on the similarity of the sampled reduced bases. If the local reduced bases change significantly over the parameter space, inconsistencies are introduced in the training data for the matrix interpolation. These strong changes in the reduced bases can occur due to the model order reduction method used, a change of the system's dynamics with a change of the parameters, and mode switching and truncation. In this paper, individual approaches for removing these inconsistencies are extended and combined into one general framework to simultaneously treat multiple sources of inconsistency. For that, modal truncation is used for the reduction, an adaptive sampling of the parameter space is performed, and eventually, the parameter space is partitioned into regions in which all local reduced bases are consistent with each other. The proposed framework is applied to a cantilever Timoshenko beam and the Kelvin cell for one- to three-dimensional parameter spaces. Compared to the original version of parametric model order reduction by matrix interpolation and an existing method for inconsistency removal, the proposed framework leads to parametric reduced models with significantly smaller errors. △ Less

Submitted 2 June, 2025; v1 submitted 20 August, 2024; originally announced August 2024.

MSC Class: 37M05; 65P99; 93A15

Maximum a Posteriori Estimation for Linear Structural Dynamics Models Using Bayesian Optimization with Rational Polynomial Chaos Expansions

Authors: Felix Schneider, Iason Papaioannou, Bruno Sudret, Gerhard Müller

Abstract: Bayesian analysis enables combining prior knowledge with measurement data to learn model parameters. Commonly, one resorts to computing the maximum a posteriori (MAP) estimate, when only a point estimate of the parameters is of interest. We apply MAP estimation in the context of structural dynamic models, where the system response can be described by the frequency response function. To alleviate h… ▽ More Bayesian analysis enables combining prior knowledge with measurement data to learn model parameters. Commonly, one resorts to computing the maximum a posteriori (MAP) estimate, when only a point estimate of the parameters is of interest. We apply MAP estimation in the context of structural dynamic models, where the system response can be described by the frequency response function. To alleviate high computational demands from repeated expensive model calls, we utilize a rational polynomial chaos expansion (RPCE) surrogate model that expresses the system frequency response as a rational of two polynomials with complex coefficients. We propose an extension to an existing sparse Bayesian learning approach for RPCE based on Laplace's approximation for the posterior distribution of the denominator coefficients. Furthermore, we introduce a Bayesian optimization approach, which allows to adaptively enrich the experimental design throughout the optimization process of MAP estimation. Thereby, we utilize the expected improvement acquisition function as a means to identify sample points in the input space that are possibly associated with large objective function values. The acquisition function is estimated through Monte Carlo sampling based on the posterior distribution of the expansion coefficients identified in the sparse Bayesian learning process. By combining the sparsity-inducing learning procedure with the sequential experimental design, we effectively reduce the number of model evaluations in the MAP estimation problem. We demonstrate the applicability of the presented methods on the parameter updating problem of an algebraic two-degree-of-freedom system and the finite element model of a cross-laminated timber plate. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Estimate of water and hydroxyl abundance on asteroid (16) Psyche from JWST data

Authors: Stephanie G. Jarmak, Tracy M. Becker, Charles E. Woodward, Casey I. Honniball, Andrew S. Rivkin, Margaret M. McAdam, Zoe A. Landsman, Saverio Cambioni, Thomas G. Müller, Driss Takir, Kurt D. Retherford, Anicia Arredondo, Linda T. Elkins-Tanton

Abstract: Our understanding of Solar System evolution is closely tied to interpretations of asteroid composition, particularly the M-class asteroids. These asteroids were initially thought to be the exposed cores of differentiated planetesimals, a hypothesis based on their spectral similarity to iron meteorites. However, recent astronomical observations have revealed hydration on their surface through the d… ▽ More Our understanding of Solar System evolution is closely tied to interpretations of asteroid composition, particularly the M-class asteroids. These asteroids were initially thought to be the exposed cores of differentiated planetesimals, a hypothesis based on their spectral similarity to iron meteorites. However, recent astronomical observations have revealed hydration on their surface through the detection of 3-$μ$m absorption features associated with OH and potentially H2O. We present evidence of hydration due mainly to OH on asteroid (16) Psyche, the largest M-class asteroid, using data from the James Webb Space Telescope (JWST) spanning 1.1 - 6.63 $μ$m. Our observations include two detections of the full 3-$μ$m feature associated with OH and H2O resembling those found in CY-, CH-, and CB-type carbonaceous chondrites, and no 6-$μ$m feature uniquely associated with H2O across two observations. We observe 3-$μ$m depths of between 4.3 and 6% across two observations, values consistent with hydrogen abundance estimates on other airless bodies of 250 - 400 ppm. We place an upper limit of 39 ppm on the water abundance from the standard deviation around the 6-$μ$m feature region. The presence of hydrated minerals suggests a complex history for Psyche. Exogenous sources of OH-bearing minerals could come from hydrated impactors. Endogenous OH-bearing minerals would indicate a composition more similar to E-or P-class asteroids. If the hydration is endogenous, it supports the theory that Psyche originated beyond the snow line and later migrated to the outer main belt. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing

Authors: Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar, Paulo Shakarian, Graham Mueller, Chad Parvis, Gerardo I. Simari

Abstract: The ability to generate artificial human movement patterns while meeting location and time constraints is an important problem in the security community, particularly as it enables the study of the analog problem of detecting such patterns while maintaining privacy. We frame this problem as an instance of abduction guided by a novel parsimony function represented as an aggregate truth value over… ▽ More The ability to generate artificial human movement patterns while meeting location and time constraints is an important problem in the security community, particularly as it enables the study of the analog problem of detecting such patterns while maintaining privacy. We frame this problem as an instance of abduction guided by a novel parsimony function represented as an aggregate truth value over an annotated logic program. This approach has the added benefit of affording explainability to an analyst user. By showing that any subset of such a program can provide a lower bound on this parsimony requirement, we are able to abduce movement trajectories efficiently through an informed (i.e., A*) search. We describe how our implementation was enhanced with the application of multiple techniques in order to be scaled and integrated with a cloud-based software stack that included bottom-up rule learning, geolocated knowledge graph retrieval/management, and interfaces with government systems for independently conducted government-run tests for which we provide results. We also report on our own experiments showing that we not only provide exact results but also scale to very large scenarios and provide realistic agent trajectories that can go undetected by machine learning anomaly detectors. △ Less

Submitted 13 February, 2025; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref: EPTCS 416, 2025, pp. 274-287

Picometer Sensitive Prototype of the Optical Truss Interferometer for LISA

Authors: Kylan Jersey, Harold Hollis, Han-Yu Chia, Jose Sanjuan, Paul Fulda, Guido Mueller, Felipe Guzman

Abstract: The optical truss interferometer (OTI) is a contingent subsystem proposed for the LISA telescopes to aid in the verification of a $1 \frac{\mathrm{pm}}{\sqrt{\mathrm{Hz}}}$ optical path length stability. Each telescope would be equipped with three pairs of compact fiber-coupled units, each forming an optical cavity with a baseline proportional to the telescope length at different points around the… ▽ More The optical truss interferometer (OTI) is a contingent subsystem proposed for the LISA telescopes to aid in the verification of a $1 \frac{\mathrm{pm}}{\sqrt{\mathrm{Hz}}}$ optical path length stability. Each telescope would be equipped with three pairs of compact fiber-coupled units, each forming an optical cavity with a baseline proportional to the telescope length at different points around the aperture. Employing a Pound-Drever-Hall approach to maintain a modulated laser field on resonance with each cavity, the dimensional stability of the telescope can be measured and verified. We have designed and developed prototype OTI units to demonstrate the capability of measuring stable structures, such as the LISA telescope, with a $1 \frac{\mathrm{pm}}{\sqrt{\mathrm{Hz}}}$ sensitivity using a set of freely mountable fiber-injected cavities. Aside from its initial motivation for the telescope, the OTI can also be readily integrated with other systems to aid in ground testing experiments. In this paper, we outline our experimental setup, measurement results, and analyses of the noise limitations. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 10 pages, 10 figures

FLoCoRA: Federated learning compression with low-rank adaptation

Authors: Lucas Grativol Ribeiro, Mathieu Leonardon, Guillaume Muller, Virginie Fresse, Matthieu Arzel

Abstract: Low-Rank Adaptation (LoRA) methods have gained popularity in efficient parameter fine-tuning of models containing hundreds of billions of parameters. In this work, instead, we demonstrate the application of LoRA methods to train small-vision models in Federated Learning (FL) from scratch. We first propose an aggregation-agnostic method to integrate LoRA within FL, named FLoCoRA, showing that the m… ▽ More Low-Rank Adaptation (LoRA) methods have gained popularity in efficient parameter fine-tuning of models containing hundreds of billions of parameters. In this work, instead, we demonstrate the application of LoRA methods to train small-vision models in Federated Learning (FL) from scratch. We first propose an aggregation-agnostic method to integrate LoRA within FL, named FLoCoRA, showing that the method is capable of reducing communication costs by 4.8 times, while having less than 1% accuracy degradation, for a CIFAR-10 classification task with a ResNet-8. Next, we show that the same method can be extended with an affine quantization scheme, dividing the communication cost by 18.6 times, while comparing it with the standard method, with still less than 1% of accuracy loss, tested with on a ResNet-18 model. Our formulation represents a strong baseline for message size reduction, even when compared to conventional model compression works, while also reducing the training memory requirements due to the low-rank adaptation. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Journal ref: 32nd European Signal Processing Conference EUSIPCO, Aug 2024, Lyon, France

Traversing Mars: Cooperative Informative Path Planning to Efficiently Navigate Unknown Scenes

Authors: Friedrich M. Rockenbauer, Jaeyoung Lim, Marcus G. Müller, Roland Siegwart, Lukas Schmid

Abstract: The ability to traverse an unknown environment is crucial for autonomous robot operations. However, due to the limited sensing capabilities and system constraints, approaching this problem with a single robot agent can be slow, costly, and unsafe. For example, in planetary exploration missions, the wear on the wheels of a rover from abrasive terrain should be minimized at all costs as reparations… ▽ More The ability to traverse an unknown environment is crucial for autonomous robot operations. However, due to the limited sensing capabilities and system constraints, approaching this problem with a single robot agent can be slow, costly, and unsafe. For example, in planetary exploration missions, the wear on the wheels of a rover from abrasive terrain should be minimized at all costs as reparations are infeasible. On the other hand, utilizing a scouting robot such as a micro aerial vehicle (MAV) has the potential to reduce wear and time costs and increasing safety of a follower robot. This work proposes a novel cooperative IPP framework that allows a scout (e.g., an MAV) to efficiently explore the minimum-cost-path for a follower (e.g., a rover) to reach the goal. We derive theoretic guarantees for our algorithm, and prove that the algorithm always terminates, always finds the optimal path if it exists, and terminates early when the found path is shown to be optimal or infeasible. We show in thorough experimental evaluation that the guarantees hold in practice, and that our algorithm is 22.5% quicker to find the optimal path and 15% quicker to terminate compared to existing methods. △ Less

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

Comments: 8 pages, 9 figures, code will be available at https://github.com/ethz-asl/scouting-ipp

Open Problem: Active Representation Learning

Authors: Nikola Milosevic, Gesine Müller, Jan Huisken, Nico Scherf

Abstract: In this work, we introduce the concept of Active Representation Learning, a novel class of problems that intertwines exploration and representation learning within partially observable environments. We extend ideas from Active Simultaneous Localization and Mapping (active SLAM), and translate them to scientific discovery problems, exemplified by adaptive microscopy. We explore the need for a frame… ▽ More In this work, we introduce the concept of Active Representation Learning, a novel class of problems that intertwines exploration and representation learning within partially observable environments. We extend ideas from Active Simultaneous Localization and Mapping (active SLAM), and translate them to scientific discovery problems, exemplified by adaptive microscopy. We explore the need for a framework that derives exploration skills from representations that are in some sense actionable, aiming to enhance the efficiency and effectiveness of data collection and model building in the natural sciences. △ Less

Submitted 6 November, 2024; v1 submitted 6 June, 2024; originally announced June 2024.

POV Learning: Individual Alignment of Multimodal Models using Human Perception

Authors: Simon Werner, Katharina Christ, Laura Bernardy, Marion G. Müller, Achim Rettinger

Abstract: Aligning machine learning systems with human expectations is mostly attempted by training with manually vetted human behavioral samples, typically explicit feedback. This is done on a population level since the context that is capturing the subjective Point-Of-View (POV) of a concrete person in a specific situational context is not retained in the data. However, we argue that alignment on an indiv… ▽ More Aligning machine learning systems with human expectations is mostly attempted by training with manually vetted human behavioral samples, typically explicit feedback. This is done on a population level since the context that is capturing the subjective Point-Of-View (POV) of a concrete person in a specific situational context is not retained in the data. However, we argue that alignment on an individual level can boost the subjective predictive performance for the individual user interacting with the system considerably. Since perception differs for each person, the same situation is observed differently. Consequently, the basis for decision making and the subsequent reasoning processes and observable reactions differ. We hypothesize that individual perception patterns can be used for improving the alignment on an individual level. We test this, by integrating perception information into machine learning systems and measuring their predictive performance wrt.~individual subjective assessments. For our empirical study, we collect a novel data set of multimodal stimuli and corresponding eye tracking sequences for the novel task of Perception-Guided Crossmodal Entailment and tackle it with our Perception-Guided Multimodal Transformer. Our findings suggest that exploiting individual perception signals for the machine learning of subjective human assessments provides a valuable cue for individual alignment. It does not only improve the overall predictive performance from the point-of-view of the individual user but might also contribute to steering AI systems towards every person's individual expectations and values. △ Less

Submitted 20 June, 2025; v1 submitted 7 May, 2024; originally announced May 2024.

PEFSL: A deployment Pipeline for Embedded Few-Shot Learning on a FPGA SoC

Authors: Lucas Grativol Ribeiro, Lubin Gauthier, Mathieu Leonardon, Jérémy Morlier, Antoine Lavrard-Meyer, Guillaume Muller, Virginie Fresse, Matthieu Arzel

Abstract: This paper tackles the challenges of implementing few-shot learning on embedded systems, specifically FPGA SoCs, a vital approach for adapting to diverse classification tasks, especially when the costs of data acquisition or labeling prove to be prohibitively high. Our contributions encompass the development of an end-to-end open-source pipeline for a few-shot learning platform for object classifi… ▽ More This paper tackles the challenges of implementing few-shot learning on embedded systems, specifically FPGA SoCs, a vital approach for adapting to diverse classification tasks, especially when the costs of data acquisition or labeling prove to be prohibitively high. Our contributions encompass the development of an end-to-end open-source pipeline for a few-shot learning platform for object classification on a FPGA SoCs. The pipeline is built on top of the Tensil open-source framework, facilitating the design, training, evaluation, and deployment of DNN backbones tailored for few-shot learning. Additionally, we showcase our work's potential by building and deploying a low-power, low-latency demonstrator trained on the MiniImageNet dataset with a dataflow architecture. The proposed system has a latency of 30 ms while consuming 6.2 W on the PYNQ-Z1 board. △ Less

Submitted 30 April, 2024; originally announced April 2024.

Journal ref: ISCAS 2024 : IEEE International Symposium on Circuits and Systems, May 2024, Singapore, Singapore

Bayesian optimization for state engineering of quantum gases

Authors: Gabriel Müller, V. J. Martínez-Lahuerta, Ivan Sekulic, Sven Burger, Philipp-Immanuel Schneider, Naceur Gaaloul

Abstract: State engineering of quantum objects is a central requirement in most implementations. In the cases where the quantum dynamics can be described by analytical solutions or simple approximation models, optimal state preparation protocols have been theoretically proposed and experimentally realized. For more complex systems, however, such as multi-component quantum gases, simplifying assumptions do n… ▽ More State engineering of quantum objects is a central requirement in most implementations. In the cases where the quantum dynamics can be described by analytical solutions or simple approximation models, optimal state preparation protocols have been theoretically proposed and experimentally realized. For more complex systems, however, such as multi-component quantum gases, simplifying assumptions do not apply anymore and the optimization techniques become computationally impractical. Here, we propose Bayesian optimization based on multi-output Gaussian processes to learn the quantum state's physical properties from few simulations only. We evaluate its performance on an optimization study case of diabatically transporting a Bose-Einstein condensate while keeping it in its ground state, and show that within only few hundreds of executions of the underlying physics simulation, we reach a competitive performance with other protocols. While restricting this benchmarking to well known approximations for straightforward comparisons, we expect a similar performance when employing more involving models, which are computationally more challenging. This paves the way to efficient state engineering of complex quantum systems. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 12 pages, 5 figures

Journal ref: Quantum Sci. Technol. 10, 015033 (2025)

Deep Points of Cluster Algebras

Authors: James Beyer, Greg Muller

Abstract: We initiate a systematic study of the deep points of a cluster algebra; that is, the points in the associated variety which are not in any cluster torus. We describe the deep points of cluster algebras of type A, rank 2, Markov, and unpunctured surface type. We initiate a systematic study of the deep points of a cluster algebra; that is, the points in the associated variety which are not in any cluster torus. We describe the deep points of cluster algebras of type A, rank 2, Markov, and unpunctured surface type. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: 43 pages, 18 figures

MSC Class: 13F60

Bayesian Hierarchical Probabilistic Forecasting of Intraday Electricity Prices

Authors: Daniel Nickelsen, Gernot Müller

Abstract: We address the need for forecasting methodologies that handle large uncertainties in electricity prices for continuous intraday markets by incorporating parameter uncertainty and using a broad set of covariables. This study presents the first Bayesian forecasting of electricity prices traded on the German intraday market. Endogenous and exogenous covariables are handled via Orthogonal Matching Pur… ▽ More We address the need for forecasting methodologies that handle large uncertainties in electricity prices for continuous intraday markets by incorporating parameter uncertainty and using a broad set of covariables. This study presents the first Bayesian forecasting of electricity prices traded on the German intraday market. Endogenous and exogenous covariables are handled via Orthogonal Matching Pursuit (OMP) and regularising priors. The target variable is the IDFull price index, with forecasts given as posterior predictive distributions. Validation uses the highly volatile 2022 electricity prices, which have seldom been studied. As a benchmark, we use all intraday transactions at the time of forecast to compute a live IDFull value. According to market efficiency, it should not be possible to improve on this last-price benchmark. However, we observe significant improvements in point measures and probability scores, including an average reduction of $5.9\,\%$ in absolute errors and an average increase of $1.7\,\%$ in accuracy when forecasting whether the IDFull exceeds the day-ahead price. Finally, we challenge the use of LASSO in electricity price forecasting, showing that OMP results in superior performance, specifically an average reduction of $22.7\,\%$ in absolute error and $20.2\,\%$ in the continuous ranked probability score. △ Less

Submitted 27 November, 2024; v1 submitted 8 March, 2024; originally announced March 2024.

Comments: 23 pages, 14 figures, 4 tables. Revised version with an added schematic figure. Accepted in Applied Energy

ACM Class: G.3; I.2.6; I.6.3; I.6.5

Interferometry of Atomic Matter Waves in the Cold Atom Lab onboard the International Space Station

Authors: Jason R. Williams, Charles A. Sackett, Holger Ahlers, David C. Aveline, Patrick Boegel, Sofia Botsi, Eric Charron, Ethan R. Elliott, Naceur Gaaloul, Enno Giese, Waldemar Herr, James R. Kellogg, James M. Kohel, Norman E. Lay, Matthias Meister, Gabriel Müller, Holger Müller, Kamal Oudrhiri, Leah Phillips, Annie Pichery, Ernst M. Rasel, Albert Roura, Matteo Sbroscia, Wolfgang P. Schleich, Christian Schneider , et al. (4 additional authors not shown)

Abstract: Ultracold atomic gases hold unique promise for space science by capitalizing on quantum advantages and extended freefall, afforded in a microgravity environment, to enable next-generation precision sensors. Atom interferometers are a class of quantum sensors which can use freely falling gases of atoms cooled to sub-photon-recoil temperatures to provide unprecedented sensitivities to accelerations,… ▽ More Ultracold atomic gases hold unique promise for space science by capitalizing on quantum advantages and extended freefall, afforded in a microgravity environment, to enable next-generation precision sensors. Atom interferometers are a class of quantum sensors which can use freely falling gases of atoms cooled to sub-photon-recoil temperatures to provide unprecedented sensitivities to accelerations, rotations, and gravitational forces, and are currently being developed for space-based applications in gravitational, earth, and planetary sciences, as well as to search for subtle forces that could signify physics beyond General Relativity and the Standard Model. NASA's Cold Atom Lab (CAL) operates onboard the International Space Station as a multi-user facility for studies of ultracold atoms and to mature quantum technologies, including atom interferometry, in persistent microgravity. In this paper, we report on path-finding experiments utilizing ultracold $^{87}$Rb atoms in the CAL atom interferometer, which was enabled by an on-orbit upgrade of the CAL science module: A three-pulse Mach-Zehnder interferometer was studied to understand limitations from the influence of ISS vibrations. Additionally, Ramsey shear-wave interferometry was used to manifest interference patterns in a single run that were observable for over 150 ms free-expansion time. Finally, the CAL atom interferometer was used to remotely measure the photon recoil from the atom interferometer laser as a demonstration of the first quantum sensor using matter-wave interferometry in space. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 14 pages, 5 figures

A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces

Authors: Konstantin Sonntag, Bennet Gebken, Georg Müller, Sebastian Peitz, Stefan Volkwein

Abstract: The efficient optimization method for locally Lipschitz continuous multiobjective optimization problems from [1] is extended from finite-dimensional problems to general Hilbert spaces. The method iteratively computes Pareto critical points, where in each iteration, an approximation of the subdifferential is computed in an efficient manner and then used to compute a common descent direction for all… ▽ More The efficient optimization method for locally Lipschitz continuous multiobjective optimization problems from [1] is extended from finite-dimensional problems to general Hilbert spaces. The method iteratively computes Pareto critical points, where in each iteration, an approximation of the subdifferential is computed in an efficient manner and then used to compute a common descent direction for all objective functions. To prove convergence, we present some new optimality results for nonsmooth multiobjective optimization problems in Hilbert spaces. Using these, we can show that every accumulation point of the sequence generated by our algorithm is Pareto critical under common assumptions. Computational efficiency for finding Pareto critical points is numerically demonstrated for multiobjective optimal control of an obstacle problem. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 24 pages, 5 figures

MSC Class: 90C29; 49J52; 35B37; 34K35

The visible and thermal light curve of the large Kuiper belt object (50000) Quaoar

Authors: C. Kiss, T. G. Müller, G. Marton, R. Szakáts, A. Pál, L. Molnár, E. Vilenius, M. Rengel, J. L. Ortiz, E. Fernández-Valenzuela

Abstract: Recent stellar occultations have allowed accurate instantaneous size and apparent shape determinations of the large Kuiper belt object (50000)~Quaoar and the detection of two rings with spatially variable optical depths. In this paper we present new visible range light curve data of Quaoar from the Kepler/K2 mission, and thermal light curves at 100 and 160 $μ$m obtained with Herschel/PACS. The K2… ▽ More Recent stellar occultations have allowed accurate instantaneous size and apparent shape determinations of the large Kuiper belt object (50000)~Quaoar and the detection of two rings with spatially variable optical depths. In this paper we present new visible range light curve data of Quaoar from the Kepler/K2 mission, and thermal light curves at 100 and 160 $μ$m obtained with Herschel/PACS. The K2 data provide a single-peaked period of 8.88 h, very close to the previously determined 8.84 h, and it favours an asymmetric double-peaked light curve with a 17.76 h period. We clearly detected a thermal light curve with relative amplitudes of $\sim$10% at 100 and at 160 $μ$m. A detailed thermophysical modelling of the system shows that the measurements can be best fit with a triaxial ellipsoid shape, a volume-equivalent diameter of 1090 km, and axis ratios of a/b = 1.19 and b/c = 1.16. This shape matches the published occultation shape}, as well as visual and thermal light curve data. The radiometric size uncertainty remains relatively large ($\pm$40 km) as the ring and satellite contributions to the system-integrated flux densities are unknown. In the less likely case of negligible ring or satellite contributions, Quaoar would have a size above 1100 km and a thermal inertia $\leq$ 10 Jm$^{-2}$K$^{-1}$s$^{-1/2}$. A large and dark Weywot in combination with a possible ring contribution would lead to a size below 1080\,km in combination with a thermal inertia $\gtrsim$ 10 Jm$^{-2}$K$^{-1}$s$^{-1/2}$, notably higher than that of smaller Kuiper belt objects with similar albedo and colours. We find that Quaoar's density is in the range 1.67-1.77 g/cm$^3$, significantly lower than previous estimates. This density value closely matches the relationship observed between the size and density of the largest Kuiper belt objects. △ Less

Submitted 21 February, 2024; v1 submitted 23 January, 2024; originally announced January 2024.

Comments: Accepted for publication in Astronomy and Astrohysics (language edited version)

DarkGEO: A Large-Scale Laser-Interferometric Axion Detector

Authors: Joscha Heinze, Alex Gill, Artemiy Dmitriev, Jiří Smetana, Tiangliang Yan, Vincent Boyer, Denis Martynov, Hartmut Grote, James Lough, Aldo Ejlli, Guido Müller

Abstract: Axions and axion-like particles (ALPs) are leading candidates for dark matter. They are well motivated in many extensions of the Standard Model and supported by astronomical observations. We propose an iterative transformation of the existing facilities of the gravitational-wave detector and technology testbed GEO600, located near Ruthe in Germany, into a kilometre-scale upgrade of the laser-inter… ▽ More Axions and axion-like particles (ALPs) are leading candidates for dark matter. They are well motivated in many extensions of the Standard Model and supported by astronomical observations. We propose an iterative transformation of the existing facilities of the gravitational-wave detector and technology testbed GEO600, located near Ruthe in Germany, into a kilometre-scale upgrade of the laser-interferometric axion detector LIDA. The final DarkGEO detector could search for coincident signatures of axions and ALPs and significantly surpass the current constraints of both direct searches and astrophysical observations in the measurement band from $10^{-16}$ to $10^{-8}$ $\text{eV}$. We discuss realistic parameters and design sensitivities for the configurations of the different iteration steps as well as technical challenges known from the first LIDA results. The proposed DarkGEO detector will be well suited to probe the parameter space associated with predictions from theoretical models, like grand-unified theories, as well as from astrophysical evidence, like the cosmic infrared background. △ Less

Submitted 22 January, 2024; originally announced January 2024.

A short proof of the finiteness of Dynkin friezes

Authors: Greg Muller

Abstract: We give a short and elementary proof that every Dynkin diagram admits finitely many (positive integral) friezes. This was originally proven by Gunawan-Muller using the geometry of cluster algebras. The proof here provides an explicit (albeit inefficient) bound on values. We give a short and elementary proof that every Dynkin diagram admits finitely many (positive integral) friezes. This was originally proven by Gunawan-Muller using the geometry of cluster algebras. The proof here provides an explicit (albeit inefficient) bound on values. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 5 pages

Federated learning compression designed for lightweight communications

Authors: Lucas Grativol Ribeiro, Mathieu Leonardon, Guillaume Muller, Virginie Fresse, Matthieu Arzel

Abstract: Federated Learning (FL) is a promising distributed method for edge-level machine learning, particularly for privacysensitive applications such as those in military and medical domains, where client data cannot be shared or transferred to a cloud computing server. In many use-cases, communication cost is a major challenge in FL due to its natural intensive network usage. Client devices, such as sma… ▽ More Federated Learning (FL) is a promising distributed method for edge-level machine learning, particularly for privacysensitive applications such as those in military and medical domains, where client data cannot be shared or transferred to a cloud computing server. In many use-cases, communication cost is a major challenge in FL due to its natural intensive network usage. Client devices, such as smartphones or Internet of Things (IoT) nodes, have limited resources in terms of energy, computation, and memory. To address these hardware constraints, lightweight models and compression techniques such as pruning and quantization are commonly adopted in centralised paradigms. In this paper, we investigate the impact of compression techniques on FL for a typical image classification task. Going further, we demonstrate that a straightforward method can compresses messages up to 50% while having less than 1% of accuracy loss, competing with state-of-the-art techniques. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Journal ref: IEEE 30th International Conference on Electronics, Circuits and Systems, Dec 2023, Istanbul, Turkey

Leveraging Classic Deconvolution and Feature Extraction in Zero-Shot Image Restoration

Authors: Tomáš Chobola, Gesine Müller, Veit Dausmann, Anton Theileis, Jan Taucher, Jan Huisken, Tingying Peng

Abstract: Non-blind deconvolution aims to restore a sharp image from its blurred counterpart given an obtained kernel. Existing deep neural architectures are often built based on large datasets of sharp ground truth images and trained with supervision. Sharp, high quality ground truth images, however, are not always available, especially for biomedical applications. This severely hampers the applicability o… ▽ More Non-blind deconvolution aims to restore a sharp image from its blurred counterpart given an obtained kernel. Existing deep neural architectures are often built based on large datasets of sharp ground truth images and trained with supervision. Sharp, high quality ground truth images, however, are not always available, especially for biomedical applications. This severely hampers the applicability of current approaches in practice. In this paper, we propose a novel non-blind deconvolution method that leverages the power of deep learning and classic iterative deconvolution algorithms. Our approach combines a pre-trained network to extract deep features from the input image with iterative Richardson-Lucy deconvolution steps. Subsequently, a zero-shot optimisation process is employed to integrate the deconvolved features, resulting in a high-quality reconstructed image. By performing the preliminary reconstruction with the classic iterative deconvolution method, we can effectively utilise a smaller network to produce the final image, thus accelerating the reconstruction whilst reducing the demand for valuable computational resources. Our method demonstrates significant improvements in various real-world applications non-blind deconvolution tasks. △ Less

Submitted 3 October, 2023; originally announced October 2023.

BigFUSE: Global Context-Aware Image Fusion in Dual-View Light-Sheet Fluorescence Microscopy with Image Formation Prior

Authors: Yu Liu, Gesine Muller, Nassir Navab, Carsten Marr, Jan Huisken, Tingying Peng

Abstract: Light-sheet fluorescence microscopy (LSFM), a planar illumination technique that enables high-resolution imaging of samples, experiences defocused image quality caused by light scattering when photons propagate through thick tissues. To circumvent this issue, dualview imaging is helpful. It allows various sections of the specimen to be scanned ideally by viewing the sample from opposing orientatio… ▽ More Light-sheet fluorescence microscopy (LSFM), a planar illumination technique that enables high-resolution imaging of samples, experiences defocused image quality caused by light scattering when photons propagate through thick tissues. To circumvent this issue, dualview imaging is helpful. It allows various sections of the specimen to be scanned ideally by viewing the sample from opposing orientations. Recent image fusion approaches can then be applied to determine in-focus pixels by comparing image qualities of two views locally and thus yield spatially inconsistent focus measures due to their limited field-of-view. Here, we propose BigFUSE, a global context-aware image fuser that stabilizes image fusion in LSFM by considering the global impact of photon propagation in the specimen while determining focus-defocus based on local image qualities. Inspired by the image formation prior in dual-view LSFM, image fusion is considered as estimating a focus-defocus boundary using Bayes Theorem, where (i) the effect of light scattering onto focus measures is included within Likelihood; and (ii) the spatial consistency regarding focus-defocus is imposed in Prior. The expectation-maximum algorithm is then adopted to estimate the focus-defocus boundary. Competitive experimental results show that BigFUSE is the first dual-view LSFM fuser that is able to exclude structured artifacts when fusing information, highlighting its abilities of automatic image fusion. △ Less

Submitted 3 November, 2023; v1 submitted 4 September, 2023; originally announced September 2023.

Comments: paper in MICCAI 2023

CRPropa 3.2: a public framework for high-energy astroparticle simulations

Authors: Sophie Aerdker, Rafael Alves Batista, Julia Becker Tjus, Julien Dörner, Andrej Dundovic, Björn Eichmann, Antonius Frie, Christopher Heiter, Mario Hoerbe, Karl-Heinz Kampert, Lukas Merten, Gero Müller, Patrick Reichherzer, Simone Rossoni, Andrey Saveliev, Leander Schlegel, Günter Sigl, Arjen van Vliet, Tobias Winchen

Abstract: CRPropa is a Monte Carlo framework for simulating the propagation of (ultra-) high-energy particles in the Universe, including cosmic rays, gamma rays, electrons, and neutrinos. It covers energies from ZeV down to GeV for gamma rays and electrons, and TeV for cosmic rays and neutrinos, supporting various astrophysical environments such as the surroundings of astrophysical sources, galactic, and ex… ▽ More CRPropa is a Monte Carlo framework for simulating the propagation of (ultra-) high-energy particles in the Universe, including cosmic rays, gamma rays, electrons, and neutrinos. It covers energies from ZeV down to GeV for gamma rays and electrons, and TeV for cosmic rays and neutrinos, supporting various astrophysical environments such as the surroundings of astrophysical sources, galactic, and extragalactic environments. The newest version, CRPropa 3.2, represents a significant leap forward towards a universal multi-messenger framework, opening up the possibility for many more astrophysical applications. This includes extensions to simulate cosmic-ray acceleration and particle interactions within astrophysical source environments, a full Monte Carlo treatment of electromagnetic cascades, improved ensemble-averaged Galactic propagation, significant performance improvements for cosmic-ray tracking through magnetic fields, and a user-friendly implementation of custom photon fields, among many more enhancements. This contribution will give an overview of the new features and present several applications to cosmic-ray and gamma-ray propagation. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: PoS 444 (38th ICRC) (2023) 1471

A large topographic feature on the surface of the trans-Neptunian object (307261) 2002 MS$_4$ measured from stellar occultations

Authors: F. L. Rommel, F. Braga-Ribas, J. L. Ortiz, B. Sicardy, P. Santos-Sanz, J. Desmars, J. I. B. Camargo, R. Vieira-Martins, M. Assafin, B. E. Morgado, R. C. Boufleur, G. Benedetti-Rossi, A. R. Gomes-Júnior, E. Fernández-Valenzuela, B. J. Holler, D. Souami, R. Duffard, G. Margoti, M. Vara-Lubiano, J. Lecacheux, J. L. Plouvier, N. Morales, A. Maury, J. Fabrega, P. Ceravolo , et al. (179 additional authors not shown)

Abstract: This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine st… ▽ More This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine stellar occultations by 2002 MS4 between 2019 and 2022, resulting in two single-chord events, four double-chord detections, and three events with three to up to sixty-one positive chords. Using 13 selected chords from the 8 August 2020 event, we determined the global elliptical limb of 2002 MS4. The best-fitted ellipse, combined with the object's rotational information from the literature, constrains the object's size, shape, and albedo. Additionally, we developed a new method to characterize topography features on the object's limb. The global limb has a semi-major axis of 412 $\pm$ 10 km, a semi-minor axis of 385 $\pm$ 17 km, and the position angle of the minor axis is 121 $^\circ$ $\pm$ 16$^\circ$. From this instantaneous limb, we obtained 2002 MS4's geometric albedo and the projected area-equivalent diameter. Significant deviations from the fitted ellipse in the northernmost limb are detected from multiple sites highlighting three distinct topographic features: one 11 km depth depression followed by a 25$^{+4}_{-5}$ km height elevation next to a crater-like depression with an extension of 322 $\pm$ 39 km and 45.1 $\pm$ 1.5 km deep. Our results present an object that is $\approx$138 km smaller in diameter than derived from thermal data, possibly indicating the presence of a so-far unknown satellite. However, within the error bars, the geometric albedo in the V-band agrees with the results published in the literature, even with the radiometric-derived albedo. △ Less

Submitted 23 August, 2023; v1 submitted 15 August, 2023; originally announced August 2023.

Journal ref: A&A 678, A167 (2023)

Multiobjective Optimization of Non-Smooth PDE-Constrained Problems

Authors: Marco Bernreuther, Michael Dellnitz, Bennet Gebken, Georg Müller, Sebastian Peitz, Konstantin Sonntag, Stefan Volkwein

Abstract: Multiobjective optimization plays an increasingly important role in modern applications, where several criteria are often of equal importance. The task in multiobjective optimization and multiobjective optimal control is therefore to compute the set of optimal compromises (the Pareto set) between the conflicting objectives. The advances in algorithms and the increasing interest in Pareto-optimal s… ▽ More Multiobjective optimization plays an increasingly important role in modern applications, where several criteria are often of equal importance. The task in multiobjective optimization and multiobjective optimal control is therefore to compute the set of optimal compromises (the Pareto set) between the conflicting objectives. The advances in algorithms and the increasing interest in Pareto-optimal solutions have led to a wide range of new applications related to optimal and feedback control - potentially with non-smoothness both on the level of the objectives or in the system dynamics. This results in new challenges such as dealing with expensive models (e.g., governed by partial differential equations (PDEs)) and developing dedicated algorithms handling the non-smoothness. Since in contrast to single-objective optimization, the Pareto set generally consists of an infinite number of solutions, the computational effort can quickly become challenging, which is particularly problematic when the objectives are costly to evaluate or when a solution has to be presented very quickly. This article gives an overview of recent developments in the field of multiobjective optimization of non-smooth PDE-constrained problems. In particular we report on the advances achieved within Project 2 "Multiobjective Optimization of Non-Smooth PDE-Constrained Problems - Switches, State Constraints and Model Order Reduction" of the DFG Priority Programm 1962 "Non-smooth and Complementarity-based Distributed Parameter Systems: Simulation and Hierarchical Optimization". △ Less

Submitted 2 August, 2023; originally announced August 2023.

A criterion and incremental design construction for simultaneous kriging predictions

Authors: Helmut Waldl, Werner G. Müller, Paula Camelia Trandafir

Abstract: In this paper, we further investigate the problem of selecting a set of design points for universal kriging, which is a widely used technique for spatial data analysis. Our goal is to select the design points in order to make simultaneous predictions of the random variable of interest at a finite number of unsampled locations with maximum precision. Specifically, we consider as response a correlat… ▽ More In this paper, we further investigate the problem of selecting a set of design points for universal kriging, which is a widely used technique for spatial data analysis. Our goal is to select the design points in order to make simultaneous predictions of the random variable of interest at a finite number of unsampled locations with maximum precision. Specifically, we consider as response a correlated random field given by a linear model with an unknown parameter vector and a spatial error correlation structure. We propose a new design criterion that aims at simultaneously minimizing the variation of the prediction errors at various points. We also present various efficient techniques for incrementally building designs for that criterion scaling well for high dimensions. Thus the method is particularly suitable for big data applications in areas of spatial data analysis such as mining, hydrogeology, natural resource monitoring, and environmental sciences or equivalently for any computer simulation experiments. We have demonstrated the effectiveness of the proposed designs through two illustrative examples: one by simulation and another based on real data from Upper Austria. △ Less

Submitted 17 January, 2024; v1 submitted 20 July, 2023; originally announced July 2023.

LUCYD: A Feature-Driven Richardson-Lucy Deconvolution Network

Authors: Tomáš Chobola, Gesine Müller, Veit Dausmann, Anton Theileis, Jan Taucher, Jan Huisken, Tingying Peng

Abstract: The process of acquiring microscopic images in life sciences often results in image degradation and corruption, characterised by the presence of noise and blur, which poses significant challenges in accurately analysing and interpreting the obtained data. This paper proposes LUCYD, a novel method for the restoration of volumetric microscopy images that combines the Richardson-Lucy deconvolution fo… ▽ More The process of acquiring microscopic images in life sciences often results in image degradation and corruption, characterised by the presence of noise and blur, which poses significant challenges in accurately analysing and interpreting the obtained data. This paper proposes LUCYD, a novel method for the restoration of volumetric microscopy images that combines the Richardson-Lucy deconvolution formula and the fusion of deep features obtained by a fully convolutional network. By integrating the image formation process into a feature-driven restoration model, the proposed approach aims to enhance the quality of the restored images whilst reducing computational costs and maintaining a high degree of interpretability. Our results demonstrate that LUCYD outperforms the state-of-the-art methods in both synthetic and real microscopy images, achieving superior performance in terms of image quality and generalisability. We show that the model can handle various microscopy modalities and different imaging conditions by evaluating it on two different microscopy datasets, including volumetric widefield and light-sheet microscopy. Our experiments indicate that LUCYD can significantly improve resolution, contrast, and overall quality of microscopy images. Therefore, it can be a valuable tool for microscopy image restoration and can facilitate further research in various microscopy applications. We made the source code for the model accessible under https://github.com/ctom2/lucyd-deconvolution. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: Accepted by 26th International Conference on Medical Image Computing and Computer Assisted Intervention

Quantum Gas Mixtures and Dual-Species Atom Interferometry in Space

Authors: Ethan R. Elliott, David C. Aveline, Nicholas P. Bigelow, Patrick Boegel, Sofia Botsi, Eric Charron, José P. D'Incao, Peter Engels, Timothé Estrampes, Naceur Gaaloul, James R. Kellogg, James M. Kohel, Norman E. Lay, Nathan Lundblad, Matthias Meister, Maren E. Mossman, Gabriel Müller, Holger Müller, Kamal Oudrhiri, Leah E. Phillips, Annie Pichery, Ernst M. Rasel, Charles A. Sackett, Matteo Sbroscia, Wolfgang P. Schleich , et al. (2 additional authors not shown)

Abstract: The capability to reach ultracold atomic temperatures in compact instruments has recently been extended into space. Ultracold temperatures amplify quantum effects, while free-fall allows further cooling and longer interactions time with gravity - the final force without a quantum description. On Earth, these devices have produced macroscopic quantum phenomena such as Bose-Einstein condensation (BE… ▽ More The capability to reach ultracold atomic temperatures in compact instruments has recently been extended into space. Ultracold temperatures amplify quantum effects, while free-fall allows further cooling and longer interactions time with gravity - the final force without a quantum description. On Earth, these devices have produced macroscopic quantum phenomena such as Bose-Einstein condensation (BECs), superfluidity, and strongly interacting quantum gases. Quantum sensors interfering the superposition of two ultracold atomic isotopes have tested the Universality of Free Fall (UFF), a core tenet of Einstein's classical gravitational theory, at the $10^{-12}$ level. In space, cooling the elements needed to explore the rich physics of strong interactions and preparing the multiple species required for quantum tests of the UFF has remained elusive. Here, utilizing upgraded capabilities of the multi-user Cold Atom Lab (CAL) instrument within the International Space Station (ISS), we report the first simultaneous production of a dual species Bose-Einstein condensate in space (formed from $^{87}$Rb and $^{41}$K), observation of interspecies interactions, as well as the production of $^{39}$K ultracold gases. We have further achieved the first space-borne demonstration of simultaneous atom interferometry with two atomic species ($^{87}$Rb and $^{41}$K). These results are an important step towards quantum tests of UFF in space, and will allow scientists to investigate aspects of few-body physics, quantum chemistry, and fundamental physics in novel regimes without the perturbing asymmetry of gravity. △ Less

Submitted 27 June, 2023; originally announced June 2023.

The James Webb Space Telescope Mission

Authors: Jonathan P. Gardner, John C. Mather, Randy Abbott, James S. Abell, Mark Abernathy, Faith E. Abney, John G. Abraham, Roberto Abraham, Yasin M. Abul-Huda, Scott Acton, Cynthia K. Adams, Evan Adams, David S. Adler, Maarten Adriaensen, Jonathan Albert Aguilar, Mansoor Ahmed, Nasif S. Ahmed, Tanjira Ahmed, Rüdeger Albat, Loïc Albert, Stacey Alberts, David Aldridge, Mary Marsha Allen, Shaune S. Allen, Martin Altenburg , et al. (983 additional authors not shown)

Abstract: Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono… ▽ More Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: Accepted by PASP for the special issue on The James Webb Space Telescope Overview, 29 pages, 4 figures

Asteroids seen by JWST-MIRI: Radiometric Size, Distance and Orbit Constraints

Authors: T. G. Müller, M. Micheli, T. Santana-Ros, P. Bartczak, D. Oszkiewicz, S. Kruk

Abstract: Infrared measurements of asteroids are crucial for the determination of physical and thermal properties of individual objects, and for the understanding of the small-body populations in the solar system as a whole. But standard radiometric methods can only be applied if the orbit of an object is known, hence its position at the time of the observation. We present MIRI observations of the outer-bel… ▽ More Infrared measurements of asteroids are crucial for the determination of physical and thermal properties of individual objects, and for the understanding of the small-body populations in the solar system as a whole. But standard radiometric methods can only be applied if the orbit of an object is known, hence its position at the time of the observation. We present MIRI observations of the outer-belt asteroid 10920 and an unknown object, detected in all 9 MIRI bands in close proximity to 10920. We developed a new method "STM-ORBIT" to interpret the multi-band measurements without knowing the object's true location. The method leads to a confirmation of radiometric size-albedo solution for 10920 and puts constraints on the asteroid's location and orbit in agreement with its true orbit. Groundbased lightcurve observations of 10920, combined with Gaia data, indicate a very elongated object (a/b >= 1.5), with a spin-pole at (l, b) = (178°, 81°), and a rotation period of 4.861191 h. A thermophysical study leads to a size of 14.5 - 16.5 km, a geometric albedo between 0.05 and 0.10, and a thermal inertia in the range 9 to 35 Jm-2s-0.5K-1. For the newly discovered MIRI object, the STM-ORBIT method revealed a size of 100-230 m. The new asteroid must be on a very low-inclination orbit and it was located in the inner main-belt region during JWST observations. A beaming parameter η larger than 1.0 would push the size even below 100 meter, a main-belt regime which escaped IR detections so far. These kind of MIRI observations can therefore contribute to formation and evolution studies via classical size-frequency studies which are currently limited to objects larger than about one kilometer in size. We estimate that MIRI frames with pointings close to the ecliptic and only short integration times of a few seconds will always include a few asteroids, most of them will be unknown objects. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Comments: 17 pages, 10 figures, 4 tables, accepted for A&A publication on Nov 22, 2022

Journal ref: Astronomy & Astrophysics, Volume 670, id.A53, 16 pp (2023)

Detection of Gravitational memory effect in LISA using triggers from ground-based detectors

Authors: Sourath Ghosh, Alexander Weaver, Jose Sanjuan, Paul Fulda, Guido Mueller

Abstract: The LIGO-Virgo-Kagra (LVK) collaboration has detected gravitational waves from 90 Compact Binary Coalescences. In addition to fortifying the linearized theory of General Relativity (GR), the statistical ensemble of detections also provides prospects of detecting nonlinear effects predicted by GR, one such prediction being the nonlinear gravitational memory effect. For detected stellar and intermed… ▽ More The LIGO-Virgo-Kagra (LVK) collaboration has detected gravitational waves from 90 Compact Binary Coalescences. In addition to fortifying the linearized theory of General Relativity (GR), the statistical ensemble of detections also provides prospects of detecting nonlinear effects predicted by GR, one such prediction being the nonlinear gravitational memory effect. For detected stellar and intermediate mass compact binaries, the induced strain from the memory effect is one or two orders below the detector noise background. Additionally, since most of the energy is radiated at merger the strain induced by the memory effect resembles a step function at the merger time. These facts motivate the idea of coherently stacking up data streams from recorded GW events at these merger times so that the cumulative memory strain is detected with a sufficient SNR. GW detectors essentially record the integrated strain response at time scales of the round trip light travel time, making future space-based long arm interferometers like LISA ideal for detecting the memory effect at low frequencies. In this paper, we propose a method that uses the event catalog of ground-based detectors and searches for corresponding memory strains in the LISA data stream. Given LVK's O3 science run catalog, we use scaling arguments and assumptions on the source population models to estimate the run time required for LISA to accumulate a memory SNR of 5, using triggers from current and future ground-based detectors. Finally, we extend these calculations for using beyond LISA missions like ALIA, AMIGO, and Folkner to detect the gravitational memory effect. The results for LISA indicate a possible detection of the memory effect within the 10 year LISA mission lifetime and the corresponding results for beyond LISA missions are even more promising. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Leggett's plasma resonances and two-gap structures in the CVCs of MgB$_2$ break junctions $-$ a direct evidence for a two-gap superconductivity in MgB$_2$

Authors: Ya. G. Ponomarev, S. A. Kuzmichev, M. G. Mikheev, M. V. Sudakova, S. N. Tchesnokov, N. Z. Timergaleev, A. V. Yarigin, M. A. Hein, G. Mueller, H. Piel, B. M. Bulychev, K. P. Burdina, V. K. Gentchel, L. G. Sevastyanova, S. I. Krasnosvobodtsev, A. V. Varlashkin

Abstract: In the present investigation (2002) the current-voltage characteristics (CVCs) of break junctions in polycrystalline $MgB_2$ samples have been studied in the temperature range $4.2 K < T < T_c$. An inelastic Cooper pair tunneling accompanied by the emission of Leggett plasmons has been found for the first time in $MgB_2$ Josephson contacts. A fine structure in the CVCs of $MgB_2$ Andreev point con… ▽ More In the present investigation (2002) the current-voltage characteristics (CVCs) of break junctions in polycrystalline $MgB_2$ samples have been studied in the temperature range $4.2 K < T < T_c$. An inelastic Cooper pair tunneling accompanied by the emission of Leggett plasmons has been found for the first time in $MgB_2$ Josephson contacts. A fine structure in the CVCs of $MgB_2$ Andreev point contacts caused by a resonant emission of Leggett plasmons has been observed for the first time. An energy of the Leggett plasmon has been estimated: $E_0$ ~ 4 meV. Distinct two-gap structures have been found in the CVCs of $MgB_2$ tunneling contacts and $MgB_2$ Andreev point contacts with 7.5 meV $< Δ_L <$ 11 meV and 1.5 meV $< Δ_S <$ 2.5 meV. An intrinsic tunneling effect (ITE) and intrinsic multiple Andreev reflections effect (IMARE) have been observed due to the layered structure of $MgB_2$. The obtained experimental results give a direct evidence for a two-gap superconductivity in $MgB_2$. ("V. Tarasov's Readings", November 2002, Russia, Moscow, conference proceedings.) △ Less

Submitted 23 January, 2023; v1 submitted 7 January, 2023; originally announced January 2023.

Comments: 20 pages (8 pages - preface, 7 pages - electron copy of the "V. Tarasov's Readings" International conference proceedings published in December 2002, 4 pages - electron layout of references and figures), 6 figures. On the occasion of 20th anniversary of the first experimental observation of the Leggett collective plasma oscillation in MgB2

Journal ref: Bulletin of the V. Tarasov Center of Chemotronics of Glass No.2, 139 (2002), ISBN 5-7237-0388-9, Mendeleev University of Chemical Technology of Russia, Moscow