Showing 51–100 of 484 results for author: Müller, G

STE-QUEST -- Space Time Explorer and QUantum Equivalence principle Space Test: The 2022 medium-class mission concept

Authors: Naceur Gaaloul, Holger Ahlers, Leonardo Badurina, Angelo Bassi, Baptiste Battelier, Quentin Beaufils, Kai Bongs, Philippe Bouyer, Claus Braxmaier, Oliver Buchmueller, Matteo Carlesso, Eric Charron, Maria Luisa Chiofalo, Robin Corgier, Sandro Donadi, Fabien Droz, John Ellis, Frédéric Estève, Enno Giese, Jens Grosse, Aurélien Hees, Thomas A. Hensel, Waldemar Herr, Philippe Jetzer, Gina Kleinsteinberg , et al. (23 additional authors not shown)

Abstract: Space-borne quantum technologies, particularly those based on atom interferometry, are heralding a new era of strategic and robust space exploration. The unique conditions of space, characterized by low noise and low gravity environments, open up diverse possibilities for applications ranging from precise time and frequency transfer to Earth Observation and the search of new Physics. In this paper… ▽ More Space-borne quantum technologies, particularly those based on atom interferometry, are heralding a new era of strategic and robust space exploration. The unique conditions of space, characterized by low noise and low gravity environments, open up diverse possibilities for applications ranging from precise time and frequency transfer to Earth Observation and the search of new Physics. In this paper, we summarise the M-class mission proposal in response to the 2022 call in ESA's science program: Space-Time Explorer and Quantum Equivalence Principle Space Test (STE-QUEST). It consists in a satellite mission featuring a dual-species atom interferometer operating over extended durations. This mission aims to tackle three of the most fundamental questions in Physics: (i) testing the universality of free fall with an accuracy better than one part in $10^{-17}$, (ii) exploring various forms of Ultra-Light Dark Matter, and (iii) scrutinizing the foundations of Quantum Mechanics. △ Less

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

Comments: As submitted to the M7 call in July 2022, except updated for the recent (Sept. 2022) MICROSCOPE results, and findings presented in arXiv:2310.04212; reformatted for journal publication

Active Discrimination Learning for Gaussian Process Models

Authors: Elham Yousefi, Luc Pronzato, Markus Hainy, Werner G. Müller, Henry P. Wynn

Abstract: The paper covers the design and analysis of experiments to discriminate between two Gaussian process models, such as those widely used in computer experiments, kriging, sensor location and machine learning. Two frameworks are considered. First, we study sequential constructions, where successive design (observation) points are selected, either as additional points to an existing design or from the… ▽ More The paper covers the design and analysis of experiments to discriminate between two Gaussian process models, such as those widely used in computer experiments, kriging, sensor location and machine learning. Two frameworks are considered. First, we study sequential constructions, where successive design (observation) points are selected, either as additional points to an existing design or from the beginning of observation. The selection relies on the maximisation of the difference between the symmetric Kullback Leibler divergences for the two models, which depends on the observations, or on the mean squared error of both models, which does not. Then, we consider static criteria, such as the familiar log-likelihood ratios and the Fréchet distance between the covariance functions of the two models. Other distance-based criteria, simpler to compute than previous ones, are also introduced, for which, considering the framework of approximate design, a necessary condition for the optimality of a design measure is provided. The paper includes a study of the mathematical links between different criteria and numerical illustrations are provided. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Comments: 25 pages, 10 figures

MSC Class: 62K05; 60G15

Tidally locked rotation of the dwarf planet (136199) Eris discovered from long-term ground based and space photometry

Authors: R. Szakáts, Cs. Kiss, J. L. Ortiz, N. Morales, A. Pál, T. G. Müller, J. Greiner, P. Santos-Sanz, G. Marton, R. Duffard, P. Sági, E. Forgács-Dajka

Abstract: The rotational states of the members in the dwarf planet - satellite systems in the transneptunian region are determined by the formation conditions and the tidal interaction between the components, and these rotational characteristics are the prime tracers of their evolution. Previously a number of authors claimed highly diverse values for the rotation period for the dwarf planet Eris, ranging fr… ▽ More The rotational states of the members in the dwarf planet - satellite systems in the transneptunian region are determined by the formation conditions and the tidal interaction between the components, and these rotational characteristics are the prime tracers of their evolution. Previously a number of authors claimed highly diverse values for the rotation period for the dwarf planet Eris, ranging from a few hours to a rotation (nearly) synchronous with the orbital period (15.8 d) of its satellite, Dysnomia. In this letter we present new light curve data of Eris, taken with $\sim$1-2m-class ground based telescopes, and with the TESS and Gaia space telescopes. TESS data could not provide a well-defined light curve period, but could constrain light curve variations to a maximum possible light curve amplitude of $Δm$ $\leq$ 0.03 mag (1-$σ$) for P $\leq$ 24 h periods. Both the combined ground-based data and the Gaia measurements unambiguously point to a light curve period equal to the orbital period of Dysnomia, P = 15.8 d, with a light curve amplitude of $Δm$ $\approx$ 0.03 mag, i.e. the rotation of Eris is tidally locked. Assuming that Dysnomia has a collisional origin, calculations with a simple tidal evolution model show that Dysnomia has to be relatively massive (mass ratio of q = 0.01--0.03) and large (radius of $R_s$ $\geq$ 300 km) to slow down Eris to synchronized rotation. These simulations also indicate that -- assuming tidal parameters usually considered for transneptunian objects -- the density of Dysnomia should be 1.8-2.4 $g cm^{-3}$, an exceptionally high value among similarly sized transneptunian objects, putting important constraints on the formation conditions. △ Less

Submitted 25 November, 2022; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: Accepted for publication in Astronomy and Astrophysics Letters, data of tables A.1, A.2 and A.4 are available at https://cloud.konkoly.hu/s/ESiKi4GZyifJmjQ

Journal ref: A&A 669, L3 (2023)

Poisson geometry and Azumaya loci of cluster algebras

Authors: Greg Muller, Bach Nguyen, Kurt Trampel, Milen Yakimov

Abstract: There are two main types of objects in the theory of cluster algebras: the upper cluster algebras ${\boldsymbol{\mathsf U}}$ with their Gekhtman-Shapiro-Vainshtein Poisson brackets and their root of unity quantizations ${\boldsymbol{\mathsf U}}_\varepsilon$. On the Poisson side, we prove that (without any assumptions) the spectrum of every finitely generated upper cluster algebra… ▽ More There are two main types of objects in the theory of cluster algebras: the upper cluster algebras ${\boldsymbol{\mathsf U}}$ with their Gekhtman-Shapiro-Vainshtein Poisson brackets and their root of unity quantizations ${\boldsymbol{\mathsf U}}_\varepsilon$. On the Poisson side, we prove that (without any assumptions) the spectrum of every finitely generated upper cluster algebra ${\boldsymbol{\mathsf U}}$ with its GSV Poisson structure always has a Zariski open orbit of symplectic leaves and give an explicit description of it. On the quantum side, we describe the fully Azumaya loci of the quantizations ${\boldsymbol{\mathsf U}}_\varepsilon$ under the assumption that ${\boldsymbol{\mathsf A}}_\varepsilon = {\boldsymbol{\mathsf U}}_\varepsilon$ and ${\boldsymbol{\mathsf U}}_\varepsilon$ is a finitely generated algebra. All results allow frozen variables to be either inverted or not. △ Less

Submitted 26 February, 2023; v1 submitted 23 September, 2022; originally announced September 2022.

Comments: 34 pages, v2: minor additions and corrections

MSC Class: 13F60; 53D17; 16G30; 17B37

Calculating the precision of tilt-to-length coupling estimation and noise subtraction in LISA using Fisher information

Authors: Daniel George, Jose Sanjuan, Paul Fulda, Guido Mueller

Abstract: Tilt-to-length (TTL) noise from angular jitter in LISA is projected to be the dominant noise source in the milli-Hertz band unless corrected in post-processing. The correction is only possible after removing the overwhelming laser phase noise using time-delay interferometry (TDI). We present here a frequency domain model that describes the effect of angular motion of all three spacecraft on the in… ▽ More Tilt-to-length (TTL) noise from angular jitter in LISA is projected to be the dominant noise source in the milli-Hertz band unless corrected in post-processing. The correction is only possible after removing the overwhelming laser phase noise using time-delay interferometry (TDI). We present here a frequency domain model that describes the effect of angular motion of all three spacecraft on the interferometric signals after propagating through TDI. We then apply a Fisher information matrix analysis to this model to calculate the minimum uncertainty with which TTL coupling coefficients may be estimated. Furthermore, we show the impact of these uncertainties on the residual TTL noise in the gravitational wave readout channel, and compare it to the impact of the angular witness sensors' readout noise. We show that the residual TTL noise post-subtraction in the TDI variables for a case using the LISA angular jitter requirement and integration time of one day is limited to the 8\,pm/$\sqrt{\rm Hz}$ level by angular sensing noise. However, using a more realistic model for the angular jitter we find that the TTL coupling uncertainties are 70 times larger, and the noise subtraction is limited by these uncertainties to the 14\,pm/$\sqrt{\rm Hz}$ level. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Superunitary regions of cluster algebras

Authors: Emily Gunawan, Greg Muller

Abstract: This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary regi… ▽ More This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friezes. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 53 pages, 22 figures

MSC Class: 13F60; 57N80; 16G70

Juggler's friezes

Authors: Roi Docampo, Greg Muller

Abstract: This note generalizes $\mathrm{SL}(k)$-friezes to configurations of numbers in which one of the boundary rows has been replaced by a ragged edge (described by a juggling function). We provide several equivalent definitions/characterizations of these juggler's friezes, in terms of determinants, linear recurrences, and a dual juggler's frieze. We generalize classic results, such as periodicity, dual… ▽ More This note generalizes $\mathrm{SL}(k)$-friezes to configurations of numbers in which one of the boundary rows has been replaced by a ragged edge (described by a juggling function). We provide several equivalent definitions/characterizations of these juggler's friezes, in terms of determinants, linear recurrences, and a dual juggler's frieze. We generalize classic results, such as periodicity, duality, and a parametrization by part of a Grassmannian. We also provide a method of constructing such friezes from certain $k \times n$ matrices using the twist of a matrix. △ Less

Submitted 18 August, 2022; originally announced August 2022.

MSC Class: 05E99 (Primary) 39A24; 14M15; 13F60 (Secondary)

Diffusion Processes: entropy, Gibbs states and the continuous time Ruelle operator

Authors: A. O. Lopes, G. Muller, A. Neumann

Abstract: We consider a Riemmaniann compact manifold $M$, the associated Laplacian $Δ$ and the corresponding Brownian motion $X_t$, $t\geq 0.$ Given a Lipschitz function $V:M\to\mathbb R$ we consider the operator $\frac{1}{2}Δ+V$, which acts on differentiable functions $f: M\to\mathbb R$ via the operator $$\frac{1}{2} Δf(x)+\,V(x)f(x) ,$$ for all $x\in M$. Denote by $P_t^V$, $t \geq 0,$ the semigroup ac… ▽ More We consider a Riemmaniann compact manifold $M$, the associated Laplacian $Δ$ and the corresponding Brownian motion $X_t$, $t\geq 0.$ Given a Lipschitz function $V:M\to\mathbb R$ we consider the operator $\frac{1}{2}Δ+V$, which acts on differentiable functions $f: M\to\mathbb R$ via the operator $$\frac{1}{2} Δf(x)+\,V(x)f(x) ,$$ for all $x\in M$. Denote by $P_t^V$, $t \geq 0,$ the semigroup acting on functions $f: M\to\mathbb R$ given by $$P_{t}^V (f)(x)\,:=\, \mathbb E_{x} \big[e^{\int_0^{t} V(X_r)\,dr} f(X_t)\big].\,$$ We will show that this semigroup is a continuous-time version of the discrete-time Ruelle operator. Consider the positive differentiable eigenfunction $F: M \to \mathbb{R}$ associated to the main eigenvalue $λ$ for the semigroup $P_t^V$, $t \geq 0$. From the function $F$, in a procedure similar to the one used in the case of discrete-time Thermodynamic Formalism, we can associate via a coboundary procedure a certain stationary Markov semigroup. The probability on the Skhorohod space obtained from this new stationary Markov semigroup can be seen as a stationary Gibbs state associated with the potential $V$. We define entropy, pressure, the continuous-time Ruelle operator and we present a variational principle of pressure for such a setting. △ Less

Submitted 15 July, 2024; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: In section 3 we present a more precise version of what is necessary to use in the previous part of the text

MSC Class: 60J25; 60J60; 60J65; 58J65; 37D35

Thermodynamic Formalism on the Skorokhod space: the continuous time Ruelle operator, entropy, pressure, entropy production and expansiveness

Authors: J. Knorst, A. O. Lopes, G. Muller, A. Neumann

Abstract: Consider the semi-flow given by the continuous time shift $Θ_t:\mathcal{D} \to \mathcal{D} $, $t \geq 0$, acting on the $\mathcal{D} $ of \textit{càdlàg} paths $w: [0,\infty) \to S^1$, where $S^1$ is the unitary circle. We equip the space $\mathcal{D} $ with the Skorokhod metric, and we show that the semi-flow is expanding. We also introduce a stochastic semi-group $e^{t\, L}$, $t \geq 0,$ where… ▽ More Consider the semi-flow given by the continuous time shift $Θ_t:\mathcal{D} \to \mathcal{D} $, $t \geq 0$, acting on the $\mathcal{D} $ of \textit{càdlàg} paths $w: [0,\infty) \to S^1$, where $S^1$ is the unitary circle. We equip the space $\mathcal{D} $ with the Skorokhod metric, and we show that the semi-flow is expanding. We also introduce a stochastic semi-group $e^{t\, L}$, $t \geq 0,$ where $L$ acts linearly on continuous functions $f:S^1\to\mathbb{R}$. This stochastic semigroup and an initial vector of probability $π$ define an associated stationary shift-invariant probability $\mathbb{P}$ on the Polish space $\mathcal{D} $. Given such $\mathbb{P}$ and an Hölder potential $V:S^1 \to \mathbb{R}$, we define a continuous time Ruelle operator, which is described by a family of linear operators $ \mathbb{L}^t_V$, $t\geq 0,$ acting on continuous functions $\varphi: S^1 \to \mathbb{R}$. More precisely, given any Hölder $V$ and $t\geq 0$, the operator $ \mathbb{L}^t_V$, is defined by $\varphi \to ψ(y) = \mathbb{L}^t_V(\varphi)(y)= \int_{w(t)=y} e^{ \int_0^t V(w(s)) ds} \varphi (w(0)) d \mathbb{P}(w).$ For some specific parameters we show the existence of an eigenvalue $λ_V$ and an associated Hölder eigenfunction $\varphi_V>0$.After a coboundary procedure we obtain another stochastic semigroup, with infinitesimal generator $L_V$, and this will define a new probability $\mathbb{P}_V$ on $\mathcal{D}$, which we call the Gibbs (or, equilibrium) probability for the potential $V$. In this case, we define entropy for some shift-invariant probabilities on $\mathcal{D}$, and we consider a variational problem of pressure. Finally, we define entropy production and present our main result: we analyze its relation with time-reversal and symmetry of $L$. We also show that the continuous-time shift $Θ_t$, acting on the Skorohod space $D$, is expanding. △ Less

Submitted 15 July, 2024; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: We made some changes to the material from the last submission. See new Appendix 3

MSC Class: 37A50; 37A10; 37A60; 37D35; 60G10; 60J25; 82B05; 82B30

CRPropa 3.2 -- an advanced framework for high-energy particle propagation in extragalactic and galactic spaces

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

Abstract: The landscape of high- and ultra-high-energy astrophysics has changed in the last decade, largely due to the inflow of data collected by large-scale cosmic-ray, gamma-ray, and neutrino observatories. At the dawn of the multimessenger era, the interpretation of these observations within a consistent framework is important to elucidate the open questions in this field. CRPropa 3.2 is a Monte Carlo c… ▽ More The landscape of high- and ultra-high-energy astrophysics has changed in the last decade, largely due to the inflow of data collected by large-scale cosmic-ray, gamma-ray, and neutrino observatories. At the dawn of the multimessenger era, the interpretation of these observations within a consistent framework is important to elucidate the open questions in this field. CRPropa 3.2 is a Monte Carlo code for simulating the propagation of high-energy particles in the Universe. This version represents a major leap forward, significantly expanding the simulation framework and opening up the possibility for many more astrophysical applications. This includes, among others: efficient simulation of high-energy particles in diffusion-dominated domains, self-consistent and fast modelling of electromagnetic cascades with an extended set of channels for photon production, and studies of cosmic-ray diffusion tensors based on updated coherent and turbulent magnetic-field models. Furthermore, several technical updates and improvements are introduced with the new version, such as: enhanced interpolation, targeted emission of sources, and a new propagation algorithm (Boris push). The detailed description of all novel features is accompanied by a discussion and a selected number of example applications. △ Less

Submitted 29 July, 2022; originally announced August 2022.

Comments: 32 pages, 9 figures

Journal ref: JCAP 09 (2022) 035

SCIM: Simultaneous Clustering, Inference, and Mapping for Open-World Semantic Scene Understanding

Authors: Hermann Blum, Marcus G. Müller, Abel Gawel, Roland Siegwart, Cesar Cadena

Abstract: In order to operate in human environments, a robot's semantic perception has to overcome open-world challenges such as novel objects and domain gaps. Autonomous deployment to such environments therefore requires robots to update their knowledge and learn without supervision. We investigate how a robot can autonomously discover novel semantic classes and improve accuracy on known classes when explo… ▽ More In order to operate in human environments, a robot's semantic perception has to overcome open-world challenges such as novel objects and domain gaps. Autonomous deployment to such environments therefore requires robots to update their knowledge and learn without supervision. We investigate how a robot can autonomously discover novel semantic classes and improve accuracy on known classes when exploring an unknown environment. To this end, we develop a general framework for mapping and clustering that we then use to generate a self-supervised learning signal to update a semantic segmentation model. In particular, we show how clustering parameters can be optimized during deployment and that fusion of multiple observation modalities improves novel object discovery compared to prior work. Models, data, and implementations can be found at https://github.com/hermannsblum/scim △ Less

Submitted 20 September, 2022; v1 submitted 21 June, 2022; originally announced June 2022.

Comments: accepted at ISRR 2022

Sparse Bayesian Learning for Complex-Valued Rational Approximations

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

Abstract: Surrogate models are used to alleviate the computational burden in engineering tasks, which require the repeated evaluation of computationally demanding models of physical systems, such as the efficient propagation of uncertainties. For models that show a strongly non-linear dependence on their input parameters, standard surrogate techniques, such as polynomial chaos expansion, are not sufficient… ▽ More Surrogate models are used to alleviate the computational burden in engineering tasks, which require the repeated evaluation of computationally demanding models of physical systems, such as the efficient propagation of uncertainties. For models that show a strongly non-linear dependence on their input parameters, standard surrogate techniques, such as polynomial chaos expansion, are not sufficient to obtain an accurate representation of the original model response. Through applying a rational approximation instead, the approximation error can be efficiently reduced for models whose non-linearity is accurately described through a rational function. Specifically, our aim is to approximate complex-valued models. A common approach to obtain the coefficients in the surrogate is to minimize the sample-based error between model and surrogate in the least-square sense. In order to obtain an accurate representation of the original model and to avoid overfitting, the sample set has be two to three times the number of polynomial terms in the expansion. For models that require a high polynomial degree or are high-dimensional in terms of their input parameters, this number often exceeds the affordable computational cost. To overcome this issue, we apply a sparse Bayesian learning approach to the rational approximation. Through a specific prior distribution structure, sparsity is induced in the coefficients of the surrogate model. The denominator polynomial coefficients as well as the hyperparameters of the problem are determined through a type-II-maximum likelihood approach. We apply a quasi-Newton gradient-descent algorithm in order to find the optimal denominator coefficients and derive the required gradients through application of $\mathbb{CR}$-calculus. △ Less

Submitted 27 September, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: 27 pages, 13 figures

Simplex Closing Probabilities in Directed Graphs

Authors: Florian Unger, Jonathan Krebs, Michael G. Müller

Abstract: Recent work in mathematical neuroscience has calculated the directed graph homology of the directed simplicial complex given by the brains sparse adjacency graph, the so called connectome. These biological connectomes show an abundance of both high-dimensional directed simplices and Betti-numbers in all viable dimensions - in contrast to Erdős-Rényi-graphs of comparable size and density. An anal… ▽ More Recent work in mathematical neuroscience has calculated the directed graph homology of the directed simplicial complex given by the brains sparse adjacency graph, the so called connectome. These biological connectomes show an abundance of both high-dimensional directed simplices and Betti-numbers in all viable dimensions - in contrast to Erdős-Rényi-graphs of comparable size and density. An analysis of synthetically trained connectomes reveals similar findings, raising questions about the graphs comparability and the nature of origin of the simplices. We present a new method capable of delivering insight into the emergence of simplices and thus simplicial abundance. Our approach allows to easily distinguish simplex-rich connectomes of different origin. The method relies on the novel concept of an almost-d-simplex, that is, a simplex missing exactly one edge, and consequently the almost-d-simplex closing probability by dimension. We also describe a fast algorithm to identify almost-d-simplices in a given graph. Applying this method to biological and artificial data allows us to identify a mechanism responsible for simplex emergence, and suggests this mechanism is responsible for the simplex signature of the excitatory subnetwork of a statistical reconstruction of the mouse primary visual cortex. Our highly optimised code for this new method is publicly available. △ Less

Submitted 13 May, 2022; originally announced May 2022.

MSC Class: 05E45 (Primary); 05C85 (Secondary); 05c20 (Secondary)

Free-energy landscapes and insertion pathways for peptides in membrane environment

Authors: Ganga P. Sharma, Aaron C. Meyer, Suhail Habeeb, Michael Karbach, Gerhard Müller

Abstract: Free-energy landscapes for short peptides -- specifically for variants of the pH Low Insertion Peptide (pHLIP) -- in the heterogeneous environment of a lipid bilayer or cell membrane are constructed, taking into account a set of dominant interactions and the conformational preferences of the peptide backbone. Our methodology interprets broken internal H-bonds along the backbone of a polypeptide as… ▽ More Free-energy landscapes for short peptides -- specifically for variants of the pH Low Insertion Peptide (pHLIP) -- in the heterogeneous environment of a lipid bilayer or cell membrane are constructed, taking into account a set of dominant interactions and the conformational preferences of the peptide backbone. Our methodology interprets broken internal H-bonds along the backbone of a polypeptide as statistically interacting quasiparticles, activated from the helix reference state. The favored conformation depends on the local environment (ranging from polar to nonpolar), specifically on the availability of external H-bonds (with $\mathrm{H_2O}$ molecules or lipid headgroups) to replace internal H-bonds. The dominant side-chain contribution is accounted for by residue-specific transfer free energies between polar and nonpolar environments. The free-energy landscape is sensitive to the level of pH in the aqueous environment surrounding the membrane. For high pH, we identify pathways of descending free energy that suggest a coexistence of membrane-adsorbed peptides with peptides in solution. A drop in pH raises the degree of protonation of negatively charged residues and thus increases the hydrophobicity of peptide segments near the C terminus. For low pH, we identify insertion pathways between the membrane-adsorbed state and a stable trans-membrane state with the C terminus having crossed the membrane. △ Less

Submitted 20 July, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 19 pagees, 15 figures

Axion Dark Matter

Authors: C. B. Adams, N. Aggarwal, A. Agrawal, R. Balafendiev, C. Bartram, M. Baryakhtar, H. Bekker, P. Belov, K. K. Berggren, A. Berlin, C. Boutan, D. Bowring, D. Budker, A. Caldwell, P. Carenza, G. Carosi, R. Cervantes, S. S. Chakrabarty, S. Chaudhuri, T. Y. Chen, S. Cheong, A. Chou, R. T. Co, J. Conrad, D. Croon , et al. (130 additional authors not shown)

Abstract: Axions are well-motivated dark matter candidates with simple cosmological production mechanisms. They were originally introduced to solve the strong CP problem, but also arise in a wide range of extensions to the Standard Model. This Snowmass white paper summarizes axion phenomenology and outlines next-generation laboratory experiments proposed to detect axion dark matter. There are vibrant synerg… ▽ More Axions are well-motivated dark matter candidates with simple cosmological production mechanisms. They were originally introduced to solve the strong CP problem, but also arise in a wide range of extensions to the Standard Model. This Snowmass white paper summarizes axion phenomenology and outlines next-generation laboratory experiments proposed to detect axion dark matter. There are vibrant synergies with astrophysical searches and advances in instrumentation including quantum-enabled readout, high-Q resonators and cavities and large high-field magnets. This white paper outlines a clear roadmap to discovery, and shows that the US is well-positioned to be at the forefront of the search for axion dark matter in the coming decade. △ Less

Submitted 29 March, 2023; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: restore and expand author list

Advancing the Landscape of Multimessenger Science in the Next Decade

Authors: Kristi Engel, Tiffany Lewis, Marco Stein Muzio, Tonia M. Venters, Markus Ahlers, Andrea Albert, Alice Allen, Hugo Alberto Ayala Solares, Samalka Anandagoda, Thomas Andersen, Sarah Antier, David Alvarez-Castillo, Olaf Bar, Dmitri Beznosko, Łukasz Bibrzyck, Adam Brazier, Chad Brisbois, Robert Brose, Duncan A. Brown, Mattia Bulla, J. Michael Burgess, Eric Burns, Cecilia Chirenti, Stefano Ciprini, Roger Clay , et al. (69 additional authors not shown)

Abstract: The last decade has brought about a profound transformation in multimessenger science. Ten years ago, facilities had been built or were under construction that would eventually discover the nature of objects in our universe could be detected through multiple messengers. Nonetheless, multimessenger science was hardly more than a dream. The rewards for our foresight were finally realized through Ice… ▽ More The last decade has brought about a profound transformation in multimessenger science. Ten years ago, facilities had been built or were under construction that would eventually discover the nature of objects in our universe could be detected through multiple messengers. Nonetheless, multimessenger science was hardly more than a dream. The rewards for our foresight were finally realized through IceCube's discovery of the diffuse astrophysical neutrino flux, the first observation of gravitational waves by LIGO, and the first joint detections in gravitational waves and photons and in neutrinos and photons. Today we live in the dawn of the multimessenger era. The successes of the multimessenger campaigns of the last decade have pushed multimessenger science to the forefront of priority science areas in both the particle physics and the astrophysics communities. Multimessenger science provides new methods of testing fundamental theories about the nature of matter and energy, particularly in conditions that are not reproducible on Earth. This white paper will present the science and facilities that will provide opportunities for the particle physics community renew its commitment and maintain its leadership in multimessenger science. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Comments: 174 pages, 12 figures. Contribution to Snowmass 2021. Solicited white paper from CF07. Comments and endorsers welcome. Still accepting contributions (contact editors)

Mechanical response to tension and torque of molecular chains via statistically interacting particles associated with extension, contraction, twist, and supercoiling

Authors: Aaron C. Meyer, Michael Karbach, Ping Lu, Gerhard Müller

Abstract: A methodology for the statistical mechanical analysis of polymeric chains under tension introduced previously is extended to include torque. The response of individual bonds between monomers or of entire groups of monomers to a combination of tension and torque involves, in the framework of this method of analysis, the (thermal or mechanical) activation of a specific mix of statistically interacti… ▽ More A methodology for the statistical mechanical analysis of polymeric chains under tension introduced previously is extended to include torque. The response of individual bonds between monomers or of entire groups of monomers to a combination of tension and torque involves, in the framework of this method of analysis, the (thermal or mechanical) activation of a specific mix of statistically interacting particles carrying quanta of extension or contraction and quanta of twist or supercoiling. The methodology, which is elucidated in applications of increasing complexity, is capable of describing the conversion between twist chirality and plectonemic chirality in quasistatic processes. The control variables are force or extension and torque or linkage (a combination of twist and writhe). The versatility of this approach is demonstrated in two applications relevant and promising for double-stranded DNA under controlled tension and torque. One application describes conformational transformations between (native) B-DNA, (underwound) S-DNA, and (overwound) P-DNA in accord with experimental data. The other application describes how the conversion between a twisted chain and a supercoiled chain accommodates variations of linkage and excess length in a buckling transition. △ Less

Submitted 17 February, 2022; originally announced February 2022.

Comments: 14 pages, 10 figures, 3 tables

Space-based Gravitational Wave Observatories

Authors: Jonathan R Gair, Martin Hewitson, Antoine Petiteau, Guido Mueller

Abstract: In this article, which will appear as a chapter in the Handbook of Gravitational Wave Astronomy, we will describe the detection of gravitational waves with space-based interferometric gravitational wave observatories. We will provide an overview of the key technologies underlying their operation, illustrated using the specific example of the Laser Interferometer Space Antenna (LISA). We will then… ▽ More In this article, which will appear as a chapter in the Handbook of Gravitational Wave Astronomy, we will describe the detection of gravitational waves with space-based interferometric gravitational wave observatories. We will provide an overview of the key technologies underlying their operation, illustrated using the specific example of the Laser Interferometer Space Antenna (LISA). We will then give an overview of data analysis strategies for space-based detectors, including a description of time-delay interferometry, which is required to suppress laser frequency noise to the necessary level. We will describe the main sources of gravitational waves in the millihertz frequency range targeted by space-based detectors and then discuss some of the key science investigations that these observations will facilitate. Once again, quantitative statements given here will make reference to the capabilities of LISA, as that is the best studied mission concept. Finally, we will describe some of the proposals for even more sensitive space-based detectors that could be launched further in the future. △ Less

Submitted 25 January, 2022; originally announced January 2022.

Comments: 74 pages, 17 figures, contribution to Handbook of Gravitational Wave Astronomy

Dissipative quantum generative adversarial networks

Authors: Kerstin Beer, Gabriel Müller

Abstract: Noisy intermediate-scale quantum (NISQ) devices build the first generation of quantum computers. Quantum neural networks (QNNs) gained high interest as one of the few suitable quantum algorithms to run on these NISQ devices. Most of the QNNs exploit supervised training algorithms with quantum states in form of pairs to learn their underlying relation. However, only little attention has been given… ▽ More Noisy intermediate-scale quantum (NISQ) devices build the first generation of quantum computers. Quantum neural networks (QNNs) gained high interest as one of the few suitable quantum algorithms to run on these NISQ devices. Most of the QNNs exploit supervised training algorithms with quantum states in form of pairs to learn their underlying relation. However, only little attention has been given to unsupervised training algorithms despite interesting applications where the quantum data does not occur in pairs. Here we propose an approach to unsupervised learning and reproducing characteristics of any given set of quantum states. We build a generative adversarial model using two dissipative quantum neural networks (DQNNs), leading to the dissipative quantum generative adversarial network (DQGAN). The generator DQNN aims to produce quantum states similar to the training data while the discriminator DQNN aims to distinguish the generator's output from the training data. We find that training both parts in a competitive manner results in a well trained generative DQNN. We see our contribution as a proof of concept for using DQGANs to learn and extend unlabeled training sets. △ Less

Submitted 11 December, 2021; originally announced December 2021.

Arm locking performance with the new LISA design

Authors: Sourath Ghosh, Josep Sanjuan, Guido Mueller

Abstract: The Laser Interferometer Space Antenna (LISA) is a future space-based gravitational wave (GW) detector designed to be sensitive to sources radiating in the low frequency regime (0.1 mHz to 1 Hz). LISA's interferometer signals will be dominated by laser frequency noise which has to be suppressed by about 7 orders of magnitude using an algorithm called Time-Delay Interferometry (TDI). Arm locking ha… ▽ More The Laser Interferometer Space Antenna (LISA) is a future space-based gravitational wave (GW) detector designed to be sensitive to sources radiating in the low frequency regime (0.1 mHz to 1 Hz). LISA's interferometer signals will be dominated by laser frequency noise which has to be suppressed by about 7 orders of magnitude using an algorithm called Time-Delay Interferometry (TDI). Arm locking has been proposed to reduce the laser frequency noise by a few orders of magnitude to reduce the potential risks associated with TDI. In this paper, we present an updated performance model for arm locking for the new LISA mission using 2.5 Gm arm lengths, the currently assumed clock noise, spacecraft motion, and shot noise. We also update the Doppler frequency pulling estimates during lock acquisition. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: 21 pages, 13 figures

Jammed disks of two sizes and weights in a channel: Alternating sequences

Authors: Dan Liu, Gerhard Müller

Abstract: Disks of two sizes and weights in alternating sequence are confined to a long and narrow channel. The axis of the channel is horizontal and its plane vertical. The channel is closed off by pistons that freeze jammed microstates out of loose disk configurations subject to moderate pressure, gravity, and random agitations. Disk sizes and channel width are such that under jamming no disk remains loos… ▽ More Disks of two sizes and weights in alternating sequence are confined to a long and narrow channel. The axis of the channel is horizontal and its plane vertical. The channel is closed off by pistons that freeze jammed microstates out of loose disk configurations subject to moderate pressure, gravity, and random agitations. Disk sizes and channel width are such that under jamming no disk remains loose and all disks touch one wall. We present exact results for the characterization of jammed macrostates including volume and entropy. The rigorous analysis divides the disk sequences of jammed microstates into overlapping tiles from which we construct a small number of species of statistically interacting particles. Jammed macrostates depend on dimensionless control parameters inferred from ratios between measures of expansion work against the pistons, gravitational potential energy, and intensity of random agitations. These control parameters enter the configurational statistics via the activation energies prior to jamming of the particles. The range of disk weights naturally divides into regimes where qualitatively different features come into play. We sketch a path toward generalizations that include random sequences under a modified jamming protocol. △ Less

Submitted 28 February, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

Comments: 13 pages, 15 figures, 8 tables

Journal ref: Phys. Rev. E 105, 024904 (2022)

Self-gravitating clusters of Bose-Einstein gas with planar, cylindrical, or spherical symmetry: gaseous density profiles and onset of condensation

Authors: Michael Kirejczyk, Gerhard Müller, Pierre-Henri Chavanis

Abstract: We calculate density profiles for self-gravitating clusters of an ideal Bose-Einstein gas with nonrelativistic energy-momentum relation and macroscopic mass at thermal equilibrium. Our study includes clusters with planar symmetry in dimensions $\mathcal{D}=1,2,3$, clusters with cylindrical symmetry in $\mathcal{D}=2,3$, and clusters with spherical symmetry in $\mathcal{D}=3$. Wall confinement is i… ▽ More We calculate density profiles for self-gravitating clusters of an ideal Bose-Einstein gas with nonrelativistic energy-momentum relation and macroscopic mass at thermal equilibrium. Our study includes clusters with planar symmetry in dimensions $\mathcal{D}=1,2,3$, clusters with cylindrical symmetry in $\mathcal{D}=2,3$, and clusters with spherical symmetry in $\mathcal{D}=3$. Wall confinement is imposed where needed to prevent escape. The length scale and energy scale in use for the gaseous phase render density profiles for gaseous macrostates independent of total mass. Density profiles for mixed-phase macrostates have a condensed core surrounded by a gaseous halo. The spatial extension of the core is negligibly small on the length scale tailored for the halo. The mechanical stability conditions as evident in caloric curves permit multiple macrostates to coexist. Their status regarding thermal equilibrium is examined by a comparison of free energies. The onset of condensation takes place at a nonzero temperature in all cases. The critical singularities and the nature of the phase transition vary with the symmetry of the cluster and the dimensionality of the space. △ Less

Submitted 17 April, 2022; v1 submitted 3 October, 2021; originally announced October 2021.

Journal ref: Phys. Rev. E 105, 034145 (2022)

Self-gravitating clusters of Fermi-Dirac gas with planar, cylindrical, or spherical symmetry: evolution of density profiles with temperature

Authors: Michael Kirejczyk, Gerhard Müller, Pierre-Henri Chavanis

Abstract: We calculate density profiles for self-gravitating clusters of an ideal Fermi-Dirac gas with nonrelativistic energy-momentum relation and macroscopic mass at thermal equilibrium. Our study includes clusters with planar symmetry in dimensions $\mathcal{D}=1,2,3$, clusters with cylindrical symmetry in $\mathcal{D}=2,3$, and clusters with spherical symmetry in $\mathcal{D}=3$. Wall confinement is imp… ▽ More We calculate density profiles for self-gravitating clusters of an ideal Fermi-Dirac gas with nonrelativistic energy-momentum relation and macroscopic mass at thermal equilibrium. Our study includes clusters with planar symmetry in dimensions $\mathcal{D}=1,2,3$, clusters with cylindrical symmetry in $\mathcal{D}=2,3$, and clusters with spherical symmetry in $\mathcal{D}=3$. Wall confinement is imposed where needed for stability against escape. The length scale and energy scale in use render all results independent of total mass and prove adequate at all temperatures. We present exact analytic expressions for (fully degenerate) $T=0$ density profiles in four of the six combinations of symmetry and dimensionality. Our numerical results for $T>0$ describe the emergence, upon quasistatic cooling, of a core with incipient degeneracy surrounded by a more dilute halo. The equilibrium macrostates are found to depend more strongly on the cluster symmetry than on the space dimensionality. We demonstrate the mechanical and thermal stability of spherical clusters with coexisting phases. △ Less

Submitted 3 October, 2021; originally announced October 2021.

Trust Your Robots! Predictive Uncertainty Estimation of Neural Networks with Sparse Gaussian Processes

Authors: Jongseok Lee, Jianxiang Feng, Matthias Humt, Marcus G. Müller, Rudolph Triebel

Abstract: This paper presents a probabilistic framework to obtain both reliable and fast uncertainty estimates for predictions with Deep Neural Networks (DNNs). Our main contribution is a practical and principled combination of DNNs with sparse Gaussian Processes (GPs). We prove theoretically that DNNs can be seen as a special case of sparse GPs, namely mixtures of GP experts (MoE-GP), and we devise a learn… ▽ More This paper presents a probabilistic framework to obtain both reliable and fast uncertainty estimates for predictions with Deep Neural Networks (DNNs). Our main contribution is a practical and principled combination of DNNs with sparse Gaussian Processes (GPs). We prove theoretically that DNNs can be seen as a special case of sparse GPs, namely mixtures of GP experts (MoE-GP), and we devise a learning algorithm that brings the derived theory into practice. In experiments from two different robotic tasks -- inverse dynamics of a manipulator and object detection on a micro-aerial vehicle (MAV) -- we show the effectiveness of our approach in terms of predictive uncertainty, improved scalability, and run-time efficiency on a Jetson TX2. We thus argue that our approach can pave the way towards reliable and fast robot learning systems with uncertainty awareness. △ Less

Submitted 21 September, 2021; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: 12 pages, 6 figures and 1 table. Accepted at the 5th Conference on Robot Learning (CORL 2021), London, UK

Towards Robust Monocular Visual Odometry for Flying Robots on Planetary Missions

Authors: Martin Wudenka, Marcus G. Müller, Nikolaus Demmel, Armin Wedler, Rudolph Triebel, Daniel Cremers, Wolfgang Stürzl

Abstract: In the future, extraterrestrial expeditions will not only be conducted by rovers but also by flying robots. The technical demonstration drone Ingenuity, that just landed on Mars, will mark the beginning of a new era of exploration unhindered by terrain traversability. Robust self-localization is crucial for that. Cameras that are lightweight, cheap and information-rich sensors are already used to… ▽ More In the future, extraterrestrial expeditions will not only be conducted by rovers but also by flying robots. The technical demonstration drone Ingenuity, that just landed on Mars, will mark the beginning of a new era of exploration unhindered by terrain traversability. Robust self-localization is crucial for that. Cameras that are lightweight, cheap and information-rich sensors are already used to estimate the ego-motion of vehicles. However, methods proven to work in man-made environments cannot simply be deployed on other planets. The highly repetitive textures present in the wastelands of Mars pose a huge challenge to descriptor matching based approaches. In this paper, we present an advanced robust monocular odometry algorithm that uses efficient optical flow tracking to obtain feature correspondences between images and a refined keyframe selection criterion. In contrast to most other approaches, our framework can also handle rotation-only motions that are particularly challenging for monocular odometry systems. Furthermore, we present a novel approach to estimate the current risk of scale drift based on a principal component analysis of the relative translation information matrix. This way we obtain an implicit measure of uncertainty. We evaluate the validity of our approach on all sequences of a challenging real-world dataset captured in a Mars-like environment and show that it outperforms state-of-the-art approaches. △ Less

Submitted 12 September, 2021; originally announced September 2021.

Comments: Accepted to IROS 2021. Updated version corresponding to IROS camera-ready. The source code is publicly available at: https://github.com/DLR-RM/granite

Properties of slowly rotating asteroids from the Convex Inversion Thermophysical Model

Authors: A. Marciniak, J. Ďurech, V. Alí-Lagoa, W. Ogłoza, R. Szakáts, T. G. Müller, L. Molnár, A. Pál, F. Monteiro, P. Arcoverde, R. Behrend, Z. Benkhaldoun, L. Bernasconi, J. Bosch, S. Brincat, L. Brunetto, M. Butkiewicz - Bąk, F. Del Freo, R. Duffard, M. Evangelista-Santana, G. Farroni, S. Fauvaud, M. Fauvaud, M. Ferrais, S. Geier , et al. (51 additional authors not shown)

Abstract: Results from the TESS mission showed that previous studies strngly underestimated the number of slow rotators, revealing the importance of studying those asteroids. For most slowly rotating asteroids (P > 12), no spin and shape model is available because of observation selection effects. This hampers determination of their thermal parameters and accurate sizes. We continue our campaign in minimi… ▽ More Results from the TESS mission showed that previous studies strngly underestimated the number of slow rotators, revealing the importance of studying those asteroids. For most slowly rotating asteroids (P > 12), no spin and shape model is available because of observation selection effects. This hampers determination of their thermal parameters and accurate sizes. We continue our campaign in minimising selection effects among main belt asteroids. Our targets are slow rotators with low light-curve amplitudes. The goal is to provide their scaled spin and shape models together with thermal inertia, albedo, and surface roughness to complete the statistics. Rich multi-apparition datasets of dense light curves are supplemented with data from Kepler and TESS. In addition to data in the visible range, we also use thermal data from infrared space observatories (IRAS, Akari and WISE) in a combined optimisation process using the Convex Inversion Thermophysical Model (CITPM). This novel method has so far been applied to only a few targets, and in this work we further validate the method. We present the models of 16 slow rotators. All provide good fits to both thermal and visible data. The obtained sizes are on average accurate at the 5% precision, with diameters in the range from 25 to 145 km. The rotation periods of our targets range from 11 to 59 hours, and the thermal inertia covers a wide range of values, from 2 to <400 SI units, not showing any correlation with the period. With this work we increase the sample of slow rotators with reliable spin and shape models and known thermal inertia by 40%. The thermal inertia values of our sample do not display a previously suggested increasing trend with rotation period, which might be due to their small skin depth. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: Accepted to Astronomy & Astrophysics. 10 pages + appendices

Journal ref: A&A 654, A87 (2021)

A Simplified Gravitational Reference Sensor for Satellite Geodesy

Authors: Anthony Davila Alvarez, Aaron Knudtson, Unmil Patel, Joseph Gleason, Harold Hollis, Jose Sanjuan, Neil Doughty, Glenn McDaniel, Jennifer Lee, James Leitch, Stephen Bennett, Riccardo Bevilacqua, Guido Mueller, Robert Spero, Brent Ware, Peter Wass, David Wiese, John Ziemer, John W. Conklin

Abstract: We describe a Simplified Gravitational Reference Sensor (S-GRS), an ultra-precise inertial sensor for future Earth geodesy missions. These sensors are used to measure or compensate for all non-gravitational accelerations of the host spacecraft so that they can be removed in the data analysis to recover spacecraft motion due to Earth's gravity field, which is the main science observable. Low-low sa… ▽ More We describe a Simplified Gravitational Reference Sensor (S-GRS), an ultra-precise inertial sensor for future Earth geodesy missions. These sensors are used to measure or compensate for all non-gravitational accelerations of the host spacecraft so that they can be removed in the data analysis to recover spacecraft motion due to Earth's gravity field, which is the main science observable. Low-low satellite-to-satellite tracking missions like GRACE-FO that utilize laser ranging interferometers are technologically limited by the acceleration noise performance of their electrostatic accelerometers, in addition to temporal aliasing associated with Earth's dynamic gravity field. The S-GRS is estimated to be at least 40 times more sensitive than the GRACE accelerometers and more than 500 times more sensitive if operated on a drag-compensated platform. The improved performance is enabled by increasing the mass of the sensor's test mass, increasing the gap between the test mass and its electrode housing, removing the small grounding wire used in the GRACE accelerometers and replacing them with a UV LED-based charge management system. This level of improvement allows future missions to fully take advantage of the sensitivity of the GRACE-FO laser Ranging Interferometer in the gravity recovery analysis. The S-GRS concept is a simplified version of the flight-proven LISA Pathfinder GRS. Our performance estimates are based on models vetted during the LISA Pathfinder flight and the expected Earth orbiting spacecraft environment based on flight data from GRACE-FO. The relatively low volume, mass, and a power consumption enables use of the S-GRS on ESPA-class microsatellites, reducing launch costs or enabling larger numbers of satellite pairs to be utilized to improve the temporal resolution of Earth gravity field maps. △ Less

Submitted 12 January, 2022; v1 submitted 18 July, 2021; originally announced July 2021.

Comments: Corrected typos, clarified some sentences, and added references

CRPropa 3.2: a framework for high-energy astroparticle propagation

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

Abstract: The landscape of high- and ultra-high-energy astrophysics has changed in the last decade, in large part owing to the inflow of high-quality data collected by present cosmic-ray, gamma-ray, and neutrino observatories. At the dawn of the multimessenger era, the interpretation of these observations within a consistent framework is important to elucidate the open questions in this field. CRPropa 3.2 i… ▽ More The landscape of high- and ultra-high-energy astrophysics has changed in the last decade, in large part owing to the inflow of high-quality data collected by present cosmic-ray, gamma-ray, and neutrino observatories. At the dawn of the multimessenger era, the interpretation of these observations within a consistent framework is important to elucidate the open questions in this field. CRPropa 3.2 is a Monte Carlo code for simulating the propagation of high-energy particles in the Universe. This new version represents a step further towards a more complete simulation framework for multimessenger studies. Some of the new developments include: cosmic-ray acceleration, support for particle interactions within astrophysical sources, full Monte Carlo treatment of electromagnetic cascades, improved ensemble-averaged Galactic propagation, and a number of technical enhancements. Here we present some of these novel features and some applications to gamma- and cosmic-ray propagation. △ Less

Submitted 4 July, 2021; originally announced July 2021.

Comments: 8 pages, 4 figures; Proceedings of the 37th International Cosmic Ray Conference (ICRC2021)

The missing link in gravitational-wave astronomy: A summary of discoveries waiting in the decihertz range

Authors: Manuel Arca Sedda, Christopher P L Berry, Karan Jani, Pau Amaro-Seoane, Pierre Auclair, Jonathon Baird, Tessa Baker, Emanuele Berti, Katelyn Breivik, Chiara Caprini, Xian Chen, Daniela Doneva, Jose M Ezquiaga, K E Saavik Ford, Michael L Katz, Shimon Kolkowitz, Barry McKernan, Guido Mueller, Germano Nardini, Igor Pikovski, Surjeet Rajendran, Alberto Sesana, Lijing Shao, Nicola Tamanini, Niels Warburton , et al. (3 additional authors not shown)

Abstract: Since 2015 the gravitational-wave observations of LIGO and Virgo have transformed our understanding of compact-object binaries. In the years to come, ground-based gravitational-wave observatories such as LIGO, Virgo, and their successors will increase in sensitivity, discovering thousands of stellar-mass binaries. In the 2030s, the space-based LISA will provide gravitational-wave observations of m… ▽ More Since 2015 the gravitational-wave observations of LIGO and Virgo have transformed our understanding of compact-object binaries. In the years to come, ground-based gravitational-wave observatories such as LIGO, Virgo, and their successors will increase in sensitivity, discovering thousands of stellar-mass binaries. In the 2030s, the space-based LISA will provide gravitational-wave observations of massive black holes binaries. Between the $\sim 10$-$10^3~\mathrm{Hz}$ band of ground-based observatories and the $\sim10^{-4}$-$10^{-1}~\mathrm{Hz}$ band of LISA lies the uncharted decihertz gravitational-wave band. We propose a Decihertz Observatory to study this frequency range, and to complement observations made by other detectors. Decihertz observatories are well suited to observation of intermediate-mass ($\sim10^2$-$10^4 M_\odot$) black holes; they will be able to detect stellar-mass binaries days to years before they merge, providing early warning of nearby binary neutron star mergers and measurements of the eccentricity of binary black holes, and they will enable new tests of general relativity and the Standard Model of particle physics. Here we summarise how a Decihertz Observatory could provide unique insights into how black holes form and evolve across cosmic time, improve prospects for both multimessenger astronomy and multiband gravitational-wave astronomy, and enable new probes of gravity, particle physics and cosmology. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: 13 pages, 1 figure. Published in Experimental Astronomy. Summarising white paper arXiv:1908.11375

Journal ref: Experimental Astronomy; 51(3):1427-1440; 2021

Training Quantum Neural Networks on NISQ Devices

Authors: Kerstin Beer, Daniel List, Gabriel Müller, Tobias J. Osborne, Christian Struckmann

Abstract: The advent of noisy intermediate-scale quantum (NISQ) devices offers crucial opportunities for the development of quantum algorithms. Here we evaluate the noise tolerance of two quantum neural network (QNN) architectures on IBM's NISQ devices, namely, dissipative QNN (DQNN) whose building-block perceptron is a completely positive map, and the quantum approximate optimization algorithm (QAOA). We c… ▽ More The advent of noisy intermediate-scale quantum (NISQ) devices offers crucial opportunities for the development of quantum algorithms. Here we evaluate the noise tolerance of two quantum neural network (QNN) architectures on IBM's NISQ devices, namely, dissipative QNN (DQNN) whose building-block perceptron is a completely positive map, and the quantum approximate optimization algorithm (QAOA). We compare these two approaches to learning an unknown unitary. While both networks succeed in this learning task, we find that a DQNN learns an unknown unitary more reliably than QAOA and is less susceptible to gate noise. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Nonlinear optimized Schwarz preconditioner for elliptic optimal control problems

Authors: Gabriele Ciaramella, Felix Kwok, Georg Müller

Abstract: We introduce a domain decomposition-based nonlinear preconditioned iteration for solving nonlinear, nonsmooth elliptic optimal control problems, with a nonlinear reaction term, $L^1$ regularization and box constraints on the control function. The method is obtained by applying semismooth Newton to the fixed-point equation of the parallel optimized Schwarz iteration. As a proof of concept, numerica… ▽ More We introduce a domain decomposition-based nonlinear preconditioned iteration for solving nonlinear, nonsmooth elliptic optimal control problems, with a nonlinear reaction term, $L^1$ regularization and box constraints on the control function. The method is obtained by applying semismooth Newton to the fixed-point equation of the parallel optimized Schwarz iteration. As a proof of concept, numerical experiments are performed on two subdomains, as well as on a multi-subdomain test case. The results show that it is possible to obtain substantial improvements in robustness and efficiency with the new method, relative to semismooth Newton applied directly to the full optimization problem, provided appropriate Robin parameters and a good continuation strategy are chosen. △ Less

Submitted 1 April, 2021; originally announced April 2021.

TrivialAugment: Tuning-free Yet State-of-the-Art Data Augmentation

Authors: Samuel G. Müller, Frank Hutter

Abstract: Automatic augmentation methods have recently become a crucial pillar for strong model performance in vision tasks. While existing automatic augmentation methods need to trade off simplicity, cost and performance, we present a most simple baseline, TrivialAugment, that outperforms previous methods for almost free. TrivialAugment is parameter-free and only applies a single augmentation to each image… ▽ More Automatic augmentation methods have recently become a crucial pillar for strong model performance in vision tasks. While existing automatic augmentation methods need to trade off simplicity, cost and performance, we present a most simple baseline, TrivialAugment, that outperforms previous methods for almost free. TrivialAugment is parameter-free and only applies a single augmentation to each image. Thus, TrivialAugment's effectiveness is very unexpected to us and we performed very thorough experiments to study its performance. First, we compare TrivialAugment to previous state-of-the-art methods in a variety of image classification scenarios. Then, we perform multiple ablation studies with different augmentation spaces, augmentation methods and setups to understand the crucial requirements for its performance. Additionally, we provide a simple interface to facilitate the widespread adoption of automatic augmentation methods, as well as our full code base for reproducibility. Since our work reveals a stagnation in many parts of automatic augmentation research, we end with a short proposal of best practices for sustained future progress in automatic augmentation methods. △ Less

Submitted 17 August, 2021; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: Accepted to ICCV 2021 as Oral

Impact of the error structure on the design and analysis of enzyme kinetic models

Authors: Elham Yousefi, Werner G. Müller

Abstract: The statistical analysis of enzyme kinetic reactions usually involves models of the response functions which are well defined on the basis of Michaelis-Menten type equations. The error structure however is often without good reason assumed as additive Gaussian noise. This simple assumption may lead to undesired properties of the analysis, particularly when simulations are involved and consequently… ▽ More The statistical analysis of enzyme kinetic reactions usually involves models of the response functions which are well defined on the basis of Michaelis-Menten type equations. The error structure however is often without good reason assumed as additive Gaussian noise. This simple assumption may lead to undesired properties of the analysis, particularly when simulations are involved and consequently negative simulated reaction rates may occur. In this study we investigate the effect of assuming multiplicative lognormal errors instead. While there is typically little impact on the estimates, the experimental designs and their efficiencies are decisively affected, particularly when it comes to model discrimination problems. △ Less

Submitted 17 March, 2021; originally announced March 2021.

MSC Class: 62K05

A convex approach to optimum design of experiments with correlated observations

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

Abstract: Optimal design of experiments for correlated processes is an increasingly relevant and active research topic. Present methods have restricted possibilities to judge their quality. To fill this gap, we complement the virtual noise approach by a convex formulation leading to an equivalence theorem comparable to the uncorrelated case and to an algorithm giving an upper performance bound against which… ▽ More Optimal design of experiments for correlated processes is an increasingly relevant and active research topic. Present methods have restricted possibilities to judge their quality. To fill this gap, we complement the virtual noise approach by a convex formulation leading to an equivalence theorem comparable to the uncorrelated case and to an algorithm giving an upper performance bound against which alternative design methods can be judged. Moreover, a method for generating exact designs follows naturally. We exclusively consider estimation problems on a finite design space with a fixed number of elements. A comparison on some classical examples from the literature as well as a real application is provided. △ Less

Submitted 22 October, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

MSC Class: 62K05

A thermophysical and dynamical study of the Hildas (1162) Larissa and (1911) Schubart

Authors: C. F. Chavez, T. G. Müller, J. P. Marshall, J. Horner, H. Drass, B. Carter

Abstract: The Hilda asteroids are among the least studied populations in the asteroid belt, despite their potential importance as markers of Jupiter's migration in the early Solar system. We present new mid-infrared observations of two notable Hildas, (1162) Larissa and (1911) Schubart, obtained using the Faint Object infraRed CAmera for the SOFIA Telescope (FORCAST), and use these to characterise their the… ▽ More The Hilda asteroids are among the least studied populations in the asteroid belt, despite their potential importance as markers of Jupiter's migration in the early Solar system. We present new mid-infrared observations of two notable Hildas, (1162) Larissa and (1911) Schubart, obtained using the Faint Object infraRed CAmera for the SOFIA Telescope (FORCAST), and use these to characterise their thermal inertia and physical properties. For (1162) Larissa, we obtain an effective diameter of \textcolor{black}{46.5$^{+2.3}_{-1.7}$~km, an albedo of 0.12~$\pm$~0.02, and a thermal inertia of 15$^{+10}_{-8}$ Jm$^{-2}$s$^{1/2}$K$^{-1}$. In addition, our Larissa thermal measurements are well matched with an ellipsoidal shape with an axis ratio a/b=1.2 for the most-likely spin properties. Our modelling of (1911) Schubart is not as refined, but the thermal data point towards a high-obliquity spin-pole, with a best-fit a/b=1.3 ellipsoidal shape. This spin-shape solution is yielding a diameter of 72$^{+3}_{-4}$ km, an albedo of 0.039$\pm$~0.02, and a thermal inertia below 30 Jm$^{-2}$s$^{1/2}$K$^{-1}$ (or 10$^{+20}_{-5}$Jm$^{-2}$s$^{1/2}$K$^{-1}$).} As with (1162) Larissa, our results suggest that (1911) Schubart is aspherical, and likely elongated in shape. Detailed dynamical simulations of the two Hildas reveal that both exhibit strong dynamical stability, behaviour that suggests that they are primordial, rather than captured objects. The differences in their albedos, along with their divergent taxonomical classification, suggests that despite their common origin, the two have experienced markedly different histories. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: Accepted to appear in MNRAS; 13 pages, 5 figures, 6 tables

AndroEvolve: Automated Update for Android Deprecated-API Usages

Authors: Stefanus Agus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller

Abstract: Android operating system (OS) is often updated, where each new version may involve API deprecation. Usages of deprecated APIs in Android apps need to be updated to ensure the apps' compatibility with the old and new versions of Android OS. In this work, we propose AndroEvolve, an automated tool to update usages of deprecated Android APIs, that addresses the limitations of the state-of-the-art tool… ▽ More Android operating system (OS) is often updated, where each new version may involve API deprecation. Usages of deprecated APIs in Android apps need to be updated to ensure the apps' compatibility with the old and new versions of Android OS. In this work, we propose AndroEvolve, an automated tool to update usages of deprecated Android APIs, that addresses the limitations of the state-of-the-art tool, CocciEvolve. AndroEvolve utilizes data flow analysis to solve the problem of out-of-method-boundary variables, and variable denormalization to remove the temporary variables introduced by CocciEvolve. We evaluated the accuracy of AndroEvolve using a dataset of 360 target files and 20 deprecated Android APIs, where AndroEvolve is able to produce 319 correct updates, compared to CocciEvolve which only produces 249 correct updates. We also evaluated the readability of AndroEvolve's update results using a manual and an automatic evaluation. Both evaluations demonstrated that the code produced by AndroEvolve has higher readability than CocciEvolve's. A video demonstration of AndroEvolve is available at https://youtu.be/siU0tuMITXI. △ Less

Submitted 11 February, 2021; v1 submitted 14 December, 2020; originally announced December 2020.

Algebraically-Informed Deep Networks (AIDN): A Deep Learning Approach to Represent Algebraic Structures

Authors: Mustafa Hajij, Ghada Zamzmi, Matthew Dawson, Greg Muller

Abstract: One of the central problems in the interface of deep learning and mathematics is that of building learning systems that can automatically uncover underlying mathematical laws from observed data. In this work, we make one step towards building a bridge between algebraic structures and deep learning, and introduce \textbf{AIDN}, \textit{Algebraically-Informed Deep Networks}. \textbf{AIDN} is a deep… ▽ More One of the central problems in the interface of deep learning and mathematics is that of building learning systems that can automatically uncover underlying mathematical laws from observed data. In this work, we make one step towards building a bridge between algebraic structures and deep learning, and introduce \textbf{AIDN}, \textit{Algebraically-Informed Deep Networks}. \textbf{AIDN} is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks. The deep networks obtained via \textbf{AIDN} are \textit{algebraically-informed} in the sense that they satisfy the algebraic relations of the presentation of the algebraic structure that serves as the input to the algorithm. Our proposed network can robustly compute linear and non-linear representations of most finitely-presented algebraic structures such as groups, associative algebras, and Lie algebras. We evaluate our proposed approach and demonstrate its applicability to algebraic and geometric objects that are significant in low-dimensional topology. In particular, we study solutions for the Yang-Baxter equations and their applications on braid groups. Further, we study the representations of the Temperley-Lieb algebra. Finally, we show, using the Reshetikhin-Turaev construction, how our proposed deep learning approach can be utilized to construct new link invariants. We believe the proposed approach would tread a path toward a promising future research in deep learning applied to algebraic and geometric structures. △ Less

Submitted 12 February, 2021; v1 submitted 2 December, 2020; originally announced December 2020.

Interacting hard-sphere fluids in an external field

Authors: Benaoumeur Bakhti, Gerhard Müller

Abstract: We present a new method for studying equilibrium properties of interacting fluids in an arbitrary external field. The fluid is composed of monodisperse spherical particles with hard-core repulsion and additional interactions of arbitrary shape and limited range. Our method of analysis is exact in one dimension and provides demonstrably good approximations in higher dimensions. It can cope with hom… ▽ More We present a new method for studying equilibrium properties of interacting fluids in an arbitrary external field. The fluid is composed of monodisperse spherical particles with hard-core repulsion and additional interactions of arbitrary shape and limited range. Our method of analysis is exact in one dimension and provides demonstrably good approximations in higher dimensions. It can cope with homogeneous and heterogeneous environments. We derive an equation for the pair distribution function. The solution, to be evaluated numerically, in general, or analytically for special cases, enters expressions for the entropy and free energy functionals. For some one-dimensional systems, our approach yields analytic solutions, reproducing available exact results from different approaches. △ Less

Submitted 6 March, 2021; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: 13 pages, 8 figures

Journal ref: Phys. Rev. E 103, 032604 (2021)

Jammed disks of two sizes in a narrow channel

Authors: Dan Liu, Gerhard Müller

Abstract: A granular-matter model is exactly solved, where disks of two sizes and weights in alternating sequence are confined to a narrow channel. The axis of the channel is horizontal and its plane vertical. Disk sizes and channel width are such that under jamming no disks remain loose and all disks touch one wall. Jammed microstates are characterized via statistically interacting particles constructed ou… ▽ More A granular-matter model is exactly solved, where disks of two sizes and weights in alternating sequence are confined to a narrow channel. The axis of the channel is horizontal and its plane vertical. Disk sizes and channel width are such that under jamming no disks remain loose and all disks touch one wall. Jammed microstates are characterized via statistically interacting particles constructed out of two-disk tiles. Jammed macrostates depend on measures of expansion work, gravitational potential energy, and intensity of random agitations before jamming. The dependence of configurational entropy on excess volume exhibits a critical point. △ Less

Submitted 19 November, 2020; originally announced November 2020.

Comments: 6 pages, 1 figure

Journal ref: In: Zuriguel I., Garcimartin A., Cruz R. (eds) Traffic and Granular Flow 2019. Springer Proceedings in Physics, vol 252

Compositional study of trans-Neptunian objects at λ > 2.2 μm

Authors: E. Fernández-Valenzuela, N. Pinilla-Alonso, J. Stansberry, J. P. Emery, W. Perkins, C. Van Laerhoven, B. J. Gladman, W. Fraser, D. Cruikshank, E. Lellouch, T. G. Müller, W. M. Grundy, D. Trilling, Y. Fernandez, C. Dalle-Ore

Abstract: Using data from the Infrared Array Camera on the Spitzer Space Telescope, we present photometric observations of a sample of 100 trans-Neptunian objects (TNOs) beyond 2.2 μm. These observations, collected with two broad-band filters centered at 3.6 and 4.5 μm, were done in order to study the surface composition of TNOs, which are too faint to obtain spectroscopic measurements. With this aim, we ha… ▽ More Using data from the Infrared Array Camera on the Spitzer Space Telescope, we present photometric observations of a sample of 100 trans-Neptunian objects (TNOs) beyond 2.2 μm. These observations, collected with two broad-band filters centered at 3.6 and 4.5 μm, were done in order to study the surface composition of TNOs, which are too faint to obtain spectroscopic measurements. With this aim, we have developed a method for the identification of different materials that are found on the surfaces of TNOs. In our sample, we detected objects with colors that are consistent with the presence of small amounts of water and were able to distinguish between surfaces that are predominately composed of complex organics and amorphous silicates. We found that 86% of our sample have characteristics that are consistent with a certain amount of water ice, and the most common composition (73% of the objects) is a mixture of water ice, amorphous silicates, and complex organics. 23% of our sample may include other ices such as carbon monoxide, carbon dioxide, methane or methanol. Additionally, only small objects seem to have surfaces dominated by silicates. This method is a unique tool for the identification of complex organics and to obtain the surface composition of extremely faint objects. Also, this method will be beneficial when using the James Webb Space Telescope for differentiating groups within the trans-Neptunian population. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: Accepted for publication in PSJ on October 13, 2020

AndroEvolve: Automated Android API Update with Data Flow Analysis and Variable Denormalization

Authors: Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller

Abstract: The Android operating system is frequently updated, with each version bringing a new set of APIs. New versions may involve API deprecation; Android apps using deprecated APIs need to be updated to ensure the apps' compatibility withold and new versions of Android. Updating deprecated APIs is a time-consuming endeavor. Hence, automating the updates of Android APIs can be beneficial for developers.… ▽ More The Android operating system is frequently updated, with each version bringing a new set of APIs. New versions may involve API deprecation; Android apps using deprecated APIs need to be updated to ensure the apps' compatibility withold and new versions of Android. Updating deprecated APIs is a time-consuming endeavor. Hence, automating the updates of Android APIs can be beneficial for developers. CocciEvolve is the state-of-the-art approach for this automation. However, it has several limitations, including its inability to resolve out-of-method-boundary variables and the low code readability of its update due to the addition of temporary variables. In an attempt to further improve the performance of automated Android API update, we propose an approach named AndroEvolve, which addresses the limitations of CocciEvolve through the addition of data flow analysis and variable name denormalization. Data flow analysis enables AndroEvolve to resolve the value of any variable within the file scope. Variable name denormalization replaces temporary variables that may present in the CocciEvolve update with appropriate values in the target file. We have evaluated the performance of AndroEvolve and the readability of its updates on 360 target files. AndroEvolve produces 26.90% more instances of correct updates compared to CocciEvolve. Moreover, our manual and automated evaluation shows that AndroEvolve updates are more readable than CocciEvolve updates. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Active Photon Regeneration for ALPS II

Authors: Guido Mueller

Abstract: ALPS II, the Any Light Particle Search, is a second-generation Light Shining through a Wall experiment that hunts for axion-like particles. It uses two optical cavities; one on each side of the wall, to first generate light particles from a very strong intra-cavity optical field and then turn these particles back into photons in the second cavity called the regeneration cavity. ALPS II will either… ▽ More ALPS II, the Any Light Particle Search, is a second-generation Light Shining through a Wall experiment that hunts for axion-like particles. It uses two optical cavities; one on each side of the wall, to first generate light particles from a very strong intra-cavity optical field and then turn these particles back into photons in the second cavity called the regeneration cavity. ALPS II will either detect axion-like particles or provide an upper limit on their coupling strength to two photons of $g_{aγγ}\leq2\times10^{-11}\text{GeV}^{-1}$. The experiment is currently transitioning from the design and construction phase to the commissioning phase with science runs expected to start in 2021. One of the challenges of ALPS II is that one of the cavities will have to track the length of the other cavity at the pm level. This paper discusses the possibility of replacing the regeneration cavity with an active regeneration system which promises a similar signal to noise ratio. For ALPS II, this is a risk reduction activity. However, the regeneration cavity in ALPS is fundamentally very similar to signal recycling in interferometric gravitational wave detectors (LIGO, VIRGO, GEO, and KAGRA) and the basic idea might very well be applicable there as well. △ Less

Submitted 17 November, 2020; v1 submitted 25 October, 2020; originally announced October 2020.

Comments: The conclusion of the paper is likely wrong. The second necessary integration step which is barely mentioned at the end of section B introduces another correlation between the vacuum fluctuations which will negate any gain of the here proposed method. I overlooked this. Thanks to Aaron Spector for figuring it out

Enhancing the Performance of Superconducting Nanowire-Based Detectors with High-Filling Factor by Using Variable Thickness

Authors: Reza Baghdadi, Ekkehart Schmidt, Saman Jahani, Ilya Charaev, Michael G. W. Muller, Marco Colangelo, Di Zhu, Konstantin Ilin, Alexej D. Semenov, Zubin Jacob, Michael Siegel, Karl K. Berggren

Abstract: Current crowding at bends of superconducting nanowire single-photon detectors is one of the main factors limiting the performance of meander-style detectors with large filling factors. In this paper, we propose a new concept to reduce influence of the current crowding effect, a so-called variable thickness SNSPD, which is composed of two regions with different thicknesses. A larger thickness of be… ▽ More Current crowding at bends of superconducting nanowire single-photon detectors is one of the main factors limiting the performance of meander-style detectors with large filling factors. In this paper, we propose a new concept to reduce influence of the current crowding effect, a so-called variable thickness SNSPD, which is composed of two regions with different thicknesses. A larger thickness of bends in comparison to the thickness of straight nanowire sections locally reduces the current density and reduces the suppression of the critical current caused by the current crowding. This allows variable thickness SNSPD to have a higher critical current, an improved detection efficiency, and decreased dark count rate in comparison with a standard uniform thickness SNSPD with an identical geometry and film quality. △ Less

Submitted 22 October, 2020; originally announced October 2020.

Journal ref: Superconductor Science and Technology (2021)

The heterodyne sensing system for the ALPS II search for sub-eV weakly interacting particles

Authors: Ayman Hallal, Giuseppe Messineo, Mauricio Diaz Ortiz, Joseph Gleason, Harold Hollis, D. B. Tanner, Guido Mueller, Aaron Spector

Abstract: ALPS II, the Any Light Particle Search, is a second-generation Light Shining through a Wall experiment that hunts for axion-like particles. The experiment is currently transitioning from the design and construction phase to the commissioning phase, with science runs expected to start in 2021. ALPS II plans to use two different sensing schemes to confirm the potential detection of axion-like partic… ▽ More ALPS II, the Any Light Particle Search, is a second-generation Light Shining through a Wall experiment that hunts for axion-like particles. The experiment is currently transitioning from the design and construction phase to the commissioning phase, with science runs expected to start in 2021. ALPS II plans to use two different sensing schemes to confirm the potential detection of axion-like particles or to verify an upper limit on their coupling strength to two photons of $g_{aγγ}\leq2\times10^{-11}\text{GeV}^{-1}$. This paper discusses a heterodyne sensing scheme (HET) which will be the first scheme deployed to detect the regenerated light. It presents critical details of the optical layout, the length and alignment sensing scheme, design features to minimize spurious signals from stray light, as well as several control and veto channels specific to HET which are needed to commission and operate the instrument and to calibrate the detector sensitivity. △ Less

Submitted 7 February, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 12 pages, 5 figures

Report number: DESY 20-164

Design of the ALPS II Optical System

Authors: M. Diaz Ortiz, J. Gleason, H. Grote, A. Hallal, M. T. Hartman, H. Hollis, K. S. Isleif, A. James, K. Karan, T. Kozlowski, A. Lindner, G. Messineo, G. Mueller, J. H. Poeld, R. C. G. Smith, A. D. Spector, D. B. Tanner, L. -W. Wei, B. Willke

Abstract: The Any Light Particle Search II (ALPS II) is an experiment currently being built at DESY in Hamburg, Germany, that will use a light-shining-through-a-wall (LSW) approach to search for axion-like particles. ALPS II represents a significant step forward for these types of experiments as it will use 24 superconducting dipole magnets, along with dual, high-finesse, 122 m long optical cavities. This p… ▽ More The Any Light Particle Search II (ALPS II) is an experiment currently being built at DESY in Hamburg, Germany, that will use a light-shining-through-a-wall (LSW) approach to search for axion-like particles. ALPS II represents a significant step forward for these types of experiments as it will use 24 superconducting dipole magnets, along with dual, high-finesse, 122 m long optical cavities. This paper gives the first comprehensive recipe for the realization of the idea, proposed over 30 years ago, to use optical cavities before and after the wall to increase the power of the regenerated photon signal. The experiment is designed to achieve a sensitivity to the coupling between axion-like particles and photons down to g=2e-11 1/GeV for masses below 0.1 meV, more than three orders of magnitude beyond the sensitivity of previous laboratory experiments. The layout and main components that define ALPS II are discussed along with plans for reaching design sensitivity. An accompanying paper (Hallal, et al [1]) offers a more in-depth description of the heterodyne detection scheme, the first of two independent detection systems that will be implemented in ALPS II. △ Less

Submitted 21 December, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 26 pages, 5 figures

Report number: DESY 20-158

Cortical oscillations implement a backbone for sampling-based computation in spiking neural networks

Authors: Agnes Korcsak-Gorzo, Michael G. Müller, Andreas Baumbach, Luziwei Leng, Oliver Julien Breitwieser, Sacha J. van Albada, Walter Senn, Karlheinz Meier, Robert Legenstein, Mihai A. Petrovici

Abstract: Being permanently confronted with an uncertain world, brains have faced evolutionary pressure to represent this uncertainty in order to respond appropriately. Often, this requires visiting multiple interpretations of the available information or multiple solutions to an encountered problem. This gives rise to the so-called mixing problem: since all of these "valid" states represent powerful attrac… ▽ More Being permanently confronted with an uncertain world, brains have faced evolutionary pressure to represent this uncertainty in order to respond appropriately. Often, this requires visiting multiple interpretations of the available information or multiple solutions to an encountered problem. This gives rise to the so-called mixing problem: since all of these "valid" states represent powerful attractors, but between themselves can be very dissimilar, switching between such states can be difficult. We propose that cortical oscillations can be effectively used to overcome this challenge. By acting as an effective temperature, background spiking activity modulates exploration. Rhythmic changes induced by cortical oscillations can then be interpreted as a form of simulated tempering. We provide a rigorous mathematical discussion of this link and study some of its phenomenological implications in computer simulations. This identifies a new computational role of cortical oscillations and connects them to various phenomena in the brain, such as sampling-based probabilistic inference, memory replay, multisensory cue combination, and place cell flickering. △ Less

Submitted 4 April, 2022; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: 34 pages, 9 figures

Journal ref: PLoS Comput Biol 18(3): e1009753 (2022)

Herschel-PACS photometry of Uranus' five major moons

Authors: Ö. H. Detre, T. G. Müller, U. Klaas, G. Marton, H. Linz, Z. Balog

Abstract: Aims. We aim to determine far-infrared fluxes at 70, 100, and 160$μ$m of the five major Uranus satellites Titania, Oberon, Umbriel, Ariel and Miranda, based on observations with the photometer PACS-P aboard the Herschel Space Observatory. Methods. The bright image of Uranus is subtracted using a scaled Uranus point spread function (PSF) reference established from all maps of each wavelength in a… ▽ More Aims. We aim to determine far-infrared fluxes at 70, 100, and 160$μ$m of the five major Uranus satellites Titania, Oberon, Umbriel, Ariel and Miranda, based on observations with the photometer PACS-P aboard the Herschel Space Observatory. Methods. The bright image of Uranus is subtracted using a scaled Uranus point spread function (PSF) reference established from all maps of each wavelength in an iterative process removing the superimposed moons. Photometry of the satellites is performed by PSF photometry. Thermophysical models of the icy moons are fitted to the photometry of each measurement epoch and auxilliary data at shorter wavelengths. Results. The best fitting thermophysical models provide constraints for important thermal properties of the moons like surface roughness and thermal inertia. We present the first thermal infrared radiometry longward of 50$μ$m of the four largest Uranian moons, Titania, Oberon, Umbriel and Ariel, at epochs with equator-on illumination. Due to this inclination geometry there was heat transport to the night side so that thermal inertia played a role, allowing us to constrain that parameter. Also some indication for differences in the thermal properties of leading and trailing hemispheres is found. We specify precisely the systematic error of the Uranus flux by its moons, when using Uranus as a far-infrared prime flux calibrator. Conclusions. We have successfully demonstrated an image processing technique for PACS photometer data allowing to remove a bright central source. We have established improved thermophysical models of the five major Uranus satellites. Derived thermal inertia values resemble more those of TNO dwarf planets Pluto and Haumea than those of smaller TNOs and Centaurs. △ Less

Submitted 29 July, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 25 pages, 10 figures, 7 tables, plus appendices. Accepted for publication on A&A

Journal ref: A&A 641, A76 (2020)

The size, shape, density and ring of the dwarf planet Haumea from a stellar occultation

Authors: J. L. Ortiz, P. Santos-Sanz, B. Sicardy, G. Benedetti-Rossi, D. Bérard, N. Morales, R. Duffard, F. Braga-Ribas, U. Hopp, C. Ries, V. Nascimbeni, F. Marzari, V. Granata, A. Pál, C. Kiss, T. Pribulla, R. Komžík, K. Hornoch, P. Pravec, P. Bacci, M. Maestripieri, L. Nerli, L. Mazzei, M. Bachini, F. Martinelli , et al. (68 additional authors not shown)

Abstract: Among the four known transneptunian dwarf planets, Haumea is an exotic, very elongated, and fast rotating body. In contrast to the other dwarf planets, its size, shape, albedo, and density are not well constrained. Here we report results of a multi-chord stellar occultation, observed on 2017 January 21. Secondary events observed around the main body are consistent with the presence of a ring of op… ▽ More Among the four known transneptunian dwarf planets, Haumea is an exotic, very elongated, and fast rotating body. In contrast to the other dwarf planets, its size, shape, albedo, and density are not well constrained. Here we report results of a multi-chord stellar occultation, observed on 2017 January 21. Secondary events observed around the main body are consistent with the presence of a ring of opacity 0.5, width 70 km, and radius 2,287$_{-45}^{+75}$ km. The Centaur Chariklo was the first body other than a giant planet to show a ring system and the Centaur Chiron was later found to possess something similar to Chariklo's rings. Haumea is the first body outside the Centaur population with a ring. The ring is coplanar with both Haumea's equator and the orbit of its satellite Hi'iaka. Its radius places close to the 3:1 mean motion resonance with Haumea's spin period. The occultation by the main body provides an instantaneous elliptical limb with axes 1,704 $\pm$ 4 km x 1,138 $\pm$ 26 km. Combined with rotational light-curves, it constrains Haumea's 3D orientation and its triaxial shape, which is inconsistent with a homogeneous body in hydrostatic equilibrium. Haumea's largest axis is at least 2,322 $\pm$ 60 km, larger than thought before. This implies an upper limit of 1,885 $\pm$ 80 kg m$^{-3}$ for Haumea's density, smaller and less puzzling than previous estimations, and a geometric albedo of 0.51 $\pm$ 0.02, also smaller than previous estimations. No global N$_2$ or CH$_4$ atmosphere with pressures larger than 15 and 50 nbar (3-$σ$ limits), respectively, is detected. △ Less

Submitted 4 June, 2020; originally announced June 2020.

Journal ref: Nature, Volume 550, Issue 7675, pp. 219-223 (2017)

Memory virtualization in virtualized systems: segmentation is better than paging

Authors: Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, Gilles Muller

Abstract: The utilization of paging for virtual machine (VM) memory management is the root cause of memory virtualization overhead. This paper shows that paging is not necessary in the hypervisor. In fact, memory fragmentation, which explains paging utilization, is not an issue in virtualized datacenters thanks to VM memory demand patterns. Our solution Compromis, a novel Memory Management Unit, uses direct… ▽ More The utilization of paging for virtual machine (VM) memory management is the root cause of memory virtualization overhead. This paper shows that paging is not necessary in the hypervisor. In fact, memory fragmentation, which explains paging utilization, is not an issue in virtualized datacenters thanks to VM memory demand patterns. Our solution Compromis, a novel Memory Management Unit, uses direct segment for VM memory management combined with paging for VM's processes. The paper presents a systematic methodology for implementing Compromis in the hardware, the hypervisor and the datacenter scheduler. Evaluation results show that Compromis outperforms the two popular memory virtualization solutions: shadow paging and Extended Page Table by up to 30% and 370% respectively. △ Less

Submitted 30 May, 2020; originally announced June 2020.

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example

Authors: Stefanus Agus Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang

Abstract: Due to the deprecation of APIs in the Android operating system,developers have to update usages of the APIs to ensure that their applications work for both the past and current versions of Android.Such updates may be widespread, non-trivial, and time-consuming. Therefore, automation of such updates will be of great benefit to developers. AppEvolve, which is the state-of-the-art tool for automating… ▽ More Due to the deprecation of APIs in the Android operating system,developers have to update usages of the APIs to ensure that their applications work for both the past and current versions of Android.Such updates may be widespread, non-trivial, and time-consuming. Therefore, automation of such updates will be of great benefit to developers. AppEvolve, which is the state-of-the-art tool for automating such updates, relies on having before- and after-update examples to learn from. In this work, we propose an approach named CocciEvolve that performs such updates using only a single after-update example. CocciEvolve learns edits by extracting the relevant update to a block of code from an after-update example. From preliminary experiments, we find that CocciEvolve can successfully perform 96 out of 112 updates, with a success rate of 85%. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 5 pages, 8 figures. Accepted in The International Conference on Program Comprehension (ICPC) 2020, ERA Track

ACM Class: I.2.2