-
The Shortcomings of Force-from-Motion in Robot Learning
Authors:
Elie Aljalbout,
Felix Frank,
Patrick van der Smagt,
Alexandros Paraschos
Abstract:
Robotic manipulation requires accurate motion and physical interaction control. However, current robot learning approaches focus on motion-centric action spaces that do not explicitly give the policy control over the interaction. In this paper, we discuss the repercussions of this choice and argue for more interaction-explicit action spaces in robot learning.
Robotic manipulation requires accurate motion and physical interaction control. However, current robot learning approaches focus on motion-centric action spaces that do not explicitly give the policy control over the interaction. In this paper, we discuss the repercussions of this choice and argue for more interaction-explicit action spaces in robot learning.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
The Metric Distortion of Randomized Social Choice Functions: C1 Maximal Lottery Rules and Simulations
Authors:
Fabian Frank,
Patrick Lederer
Abstract:
The metric distortion of a randomized social choice function (RSCF) quantifies its worst-case approximation ratio of the optimal social cost when the voters' costs for alternatives are given by distances in a metric space. This notion has recently attracted significant attention as numerous RSCFs that aim to minimize the metric distortion have been suggested. However, such tailored voting rules us…
▽ More
The metric distortion of a randomized social choice function (RSCF) quantifies its worst-case approximation ratio of the optimal social cost when the voters' costs for alternatives are given by distances in a metric space. This notion has recently attracted significant attention as numerous RSCFs that aim to minimize the metric distortion have been suggested. However, such tailored voting rules usually have little appeal other than their low metric distortion. In this paper, we will thus study the metric distortion of well-established RSCFs. In more detail, we first show that C1 maximal lottery rules, a well-known class of RSCFs, have a metric distortion of $4$ and furthermore prove that this is optimal within the class of majoritarian RSCFs (which only depend on the majority relation). As our second contribution, we perform extensive computer experiments on the metric distortion of established RSCFs to obtain insights into their average-case performance. These computer experiments are based on a new linear program for computing the metric distortion of a lottery on a given profile and reveal that some classical RSCFs perform almost as well as the currently best known RSCF with respect to the metric distortion on randomly sampled profiles.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
On the Role of the Action Space in Robot Manipulation Learning and Sim-to-Real Transfer
Authors:
Elie Aljalbout,
Felix Frank,
Maximilian Karl,
Patrick van der Smagt
Abstract:
We study the choice of action space in robot manipulation learning and sim-to-real transfer. We define metrics that assess the performance, and examine the emerging properties in the different action spaces. We train over 250 reinforcement learning~(RL) agents in simulated reaching and pushing tasks, using 13 different control spaces. The choice of spaces spans combinations of common action space…
▽ More
We study the choice of action space in robot manipulation learning and sim-to-real transfer. We define metrics that assess the performance, and examine the emerging properties in the different action spaces. We train over 250 reinforcement learning~(RL) agents in simulated reaching and pushing tasks, using 13 different control spaces. The choice of spaces spans combinations of common action space design characteristics. We evaluate the training performance in simulation and the transfer to a real-world environment. We identify good and bad characteristics of robotic action spaces and make recommendations for future designs. Our findings have important implications for the design of RL algorithms for robot manipulation tasks, and highlight the need for careful consideration of action spaces when training and transferring RL agents for real-world robotics.
△ Less
Submitted 29 April, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Practical Non-Invasive Probing Attacks Against Novel Carbon-Nanotube-Based Physical Unclonable Functions
Authors:
Nikolaos Athanasios Anagnostopoulos,
Alexander Braml,
Nico Mexis,
Florian Frank,
Simon Böttger,
Martin Hartmann,
Sascha Hermann,
Elif Bilge Kavun,
Stefan Katzenbeisser,
Tolga Arul
Abstract:
As the number of devices being interconnected increases, so does also the demand for (lightweight) security. To this end, Physical Unclonable Functions (PUFs) have been proposed as hardware primitives that can act as roots of trust and security. Recently, a new type of PUF based on Carbon NanoTubes (CNTs) has been proposed. At the same time, attacks and testing based on direct electrical probing a…
▽ More
As the number of devices being interconnected increases, so does also the demand for (lightweight) security. To this end, Physical Unclonable Functions (PUFs) have been proposed as hardware primitives that can act as roots of trust and security. Recently, a new type of PUF based on Carbon NanoTubes (CNTs) has been proposed. At the same time, attacks and testing based on direct electrical probing appear to be moving towards non-invasive techniques. In this context, this work attempts to examine the potential for practical non-invasive probing attacks against the CNT-PUF, a novel PUF based on CNTs. Our results indicate that direct probing might potentially compromise the security of this PUF. Nevertheless, we note that this holds true only in the case that the attacker can directly probe the wire corresponding to the secret value of each CNT-PUF cell. Thus, we can conclude that the examined CNT-PUFs are rather resilient to direct probing attacks, that non-invasive probing methods appear to be promising for testing such PUFs, and that, in order for the attacker to gain the full-length value of the secret, all the relevant channels would need to be probed. Nevertheless, as our work proves, practical non-invasive attacks against the CNT-PUF are feasible and adequate countermeasures need to be employed in order to address this issue.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Positive Data Languages
Authors:
Florian Frank,
Stefan Milius,
Henning Urbat
Abstract:
Positive data languages are languages over an infinite alphabet closed under possibly non-injective renamings of data values. Informally, they model properties of data words expressible by assertions about equality, but not inequality, of data values occurring in the word. We investigate the class of positive data languages recognizable by nondeterministic orbit-finite nominal automata, an abstrac…
▽ More
Positive data languages are languages over an infinite alphabet closed under possibly non-injective renamings of data values. Informally, they model properties of data words expressible by assertions about equality, but not inequality, of data values occurring in the word. We investigate the class of positive data languages recognizable by nondeterministic orbit-finite nominal automata, an abstract form of register automata introduced by Bojańczyk, Klin, and Lasota. As our main contribution we provide a number of equivalent characterizations of that class in terms of positive register automata, monadic second-order logic with positive equality tests, and finitely presentable nondeterministic automata in the categories of nominal renaming sets and of presheaves over finite sets.
△ Less
Submitted 21 July, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Real-World Chaos-Based Cryptography Using Synchronised Chua Chaotic Circuits
Authors:
Emiliia Nazarenko,
Nikolaos Athanasios Anagnostopoulos,
Stavros G. Stavrinides,
Nico Mexis,
Florian Frank,
Tolga Arul,
Stefan Katzenbeisser
Abstract:
This work presents the hardware demonstrator of a secure encryption system based on synchronised Chua chaotic circuits. In particular, the presented encryption system comprises two Chua circuits that are synchronised using a dedicated bidirectional synchronisation line. One of them forms part of the transmitter, while the other of the receiver. Both circuits are tuned to operate in a chaotic mode.…
▽ More
This work presents the hardware demonstrator of a secure encryption system based on synchronised Chua chaotic circuits. In particular, the presented encryption system comprises two Chua circuits that are synchronised using a dedicated bidirectional synchronisation line. One of them forms part of the transmitter, while the other of the receiver. Both circuits are tuned to operate in a chaotic mode. The output (chaotic) signal of the first circuit (transmitter) is digitised and then combined with the message to be encrypted, through an XOR gate. The second Chua circuit (receiver) is used for the decryption; the output chaotic signal of this circuit is similarly digitised and combined with the encrypted message to retrieve the original message. Our hardware demonstrator proves that this method can be used in order to provide extremely lightweight real-world, chaos-based cryptographic solutions.
△ Less
Submitted 13 July, 2023; v1 submitted 11 August, 2022;
originally announced October 2022.
-
Estimating relative diffusion from 3D micro-CT images using CNNs
Authors:
Stephan Gärttner,
Florian Frank,
Fabian Woller,
Andreas Meier,
Nadja Ray
Abstract:
In the past several years, convolutional neural networks (CNNs) have proven their capability to predict characteristic quantities in porous media research directly from pore-space geometries. Due to the frequently observed significant reduction in computation time in comparison to classical computational methods, bulk parameter prediction via CNNs is especially compelling, e.g. for effective diffu…
▽ More
In the past several years, convolutional neural networks (CNNs) have proven their capability to predict characteristic quantities in porous media research directly from pore-space geometries. Due to the frequently observed significant reduction in computation time in comparison to classical computational methods, bulk parameter prediction via CNNs is especially compelling, e.g. for effective diffusion. While the current literature is mainly focused on fully saturated porous media, the partially saturated case is also of high interest. Due to the qualitatively different and more complex geometries of the domain available for diffusive transport present in this case, standard CNNs tend to lose robustness and accuracy with lower saturation rates. In this paper, we demonstrate the ability of CNNs to perform predictions of relative diffusion directly from full pore-space geometries. As such, our CNN conveniently fuses diffusion prediction and a well-established morphological model which describes phase distributions in partially saturated porous media.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Abusing Commodity DRAMs in IoT Devices to Remotely Spy on Temperature
Authors:
Florian Frank,
Wenjie Xiong,
Nikolaos Athanasios Anagnostopoulos,
André Schaller,
Tolga Arul,
Farinaz Koushanfar,
Stefan Katzenbeisser,
Ulrich Ruhrmair,
Jakub Szefer
Abstract:
The ubiquity and pervasiveness of modern Internet of Things (IoT) devices opens up vast possibilities for novel applications, but simultaneously also allows spying on, and collecting data from, unsuspecting users to a previously unseen extent. This paper details a new attack form in this vein, in which the decay properties of widespread, off-the-shelf DRAM modules are exploited to accurately sense…
▽ More
The ubiquity and pervasiveness of modern Internet of Things (IoT) devices opens up vast possibilities for novel applications, but simultaneously also allows spying on, and collecting data from, unsuspecting users to a previously unseen extent. This paper details a new attack form in this vein, in which the decay properties of widespread, off-the-shelf DRAM modules are exploited to accurately sense the temperature in the vicinity of the DRAM-carrying device. Among others, this enables adversaries to remotely and purely digitally spy on personal behavior in users' private homes, or to collect security-critical data in server farms, cloud storage centers, or commercial production lines. We demonstrate that our attack can be performed by merely compromising the software of an IoT device and does not require hardware modifications or physical access at attack time. It can achieve temperature resolutions of up to 0.5°C over a range of 0°C to 70°C in practice. Perhaps most interestingly, it even works in devices that do not have a dedicated temperature sensor on board. To complete our work, we discuss practical attack scenarios as well as possible countermeasures against our temperature espionage attacks.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
On the Sustainability of Lightweight Cryptography Based on PUFs Implemented on NAND Flash Memories Using Programming Disturbances
Authors:
Nikolaos Athanasios Anagnostopoulos,
Yufan Fan,
Muhammad Umair Saleem,
Nico Mexis,
Florian Frank,
Tolga Arul,
Stefan Katzenbeisser
Abstract:
In this work, we examine the potential of Physical Unclonable Functions (PUFs) that have been implemented on NAND Flash memories using programming disturbances to act as sustainable primitives for the purposes of lightweight cryptography. In particular, we investigate the ability of such PUFs to tolerate temperature and voltage variations, and examine the current shortcomings of existing NAND-Flas…
▽ More
In this work, we examine the potential of Physical Unclonable Functions (PUFs) that have been implemented on NAND Flash memories using programming disturbances to act as sustainable primitives for the purposes of lightweight cryptography. In particular, we investigate the ability of such PUFs to tolerate temperature and voltage variations, and examine the current shortcomings of existing NAND-Flash-memory PUFs that are based on programming disturbances as well as how these could potentially be addressed in order to provide more robust and more sustainable security solutions.
△ Less
Submitted 11 June, 2022; v1 submitted 5 April, 2022;
originally announced April 2022.
-
Coalgebraic Semantics for Nominal Automata
Authors:
Florian Frank,
Stefan Milius,
Henning Urbat
Abstract:
This paper provides a coalgebraic approach to the language semantics of two types of non-deterministic automata over nominal sets: non-deterministic orbit-finite automata (NOFAs) and regular nominal non-deterministic automata (RNNAs), which were introduced in previous work. While NOFAs are a straightforward nominal version of non-deterministic automata, RNNAs feature ordinary as well as name bindi…
▽ More
This paper provides a coalgebraic approach to the language semantics of two types of non-deterministic automata over nominal sets: non-deterministic orbit-finite automata (NOFAs) and regular nominal non-deterministic automata (RNNAs), which were introduced in previous work. While NOFAs are a straightforward nominal version of non-deterministic automata, RNNAs feature ordinary as well as name binding transitions. Correspondingly, words accepted by RNNAs are strings formed by ordinary letters and name binding letters. Bar languages are sets of such words modulo $α$-equivalence, and to every state of an RNNA one associates its accepted bar language. We show that the semantics of NOFAs and RNNAs, respectively, arise both as an instance of the Kleisli-style coalgebraic trace semantics as well as an instance of the coalgebraic language semantics obtained via generalized determinization. On the way we revisit coalgebraic trace semantics in general and give a new compact proof for the main result in that theory stating that an initial algebra for a functor yields the terminal coalgebra for the Kleisli extension of the functor. Our proof requires fewer assumptions on the functor than all previous ones.
△ Less
Submitted 29 March, 2022; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS
Authors:
Stephan Gärttner,
Faruk O. Alpak,
Andreas Meier,
Nadja Ray,
Florian Frank
Abstract:
In recent years, convolutional neural networks (CNNs) have experienced an increasing interest in their ability to perform a fast approximation of effective hydrodynamic parameters in porous media research and applications. This paper presents a novel methodology for permeability prediction from micro-CT scans of geological rock samples. The training data set for CNNs dedicated to permeability pred…
▽ More
In recent years, convolutional neural networks (CNNs) have experienced an increasing interest in their ability to perform a fast approximation of effective hydrodynamic parameters in porous media research and applications. This paper presents a novel methodology for permeability prediction from micro-CT scans of geological rock samples. The training data set for CNNs dedicated to permeability prediction consists of permeability labels that are typically generated by classical lattice Boltzmann methods (LBM) that simulate the flow through the pore space of the segmented image data. We instead perform direct numerical simulation (DNS) by solving the stationary Stokes equation in an efficient and distributed-parallel manner. As such, we circumvent the convergence issues of LBM that frequently are observed on complex pore geometries, and therefore, improve the generality and accuracy of our training data set. Using the DNS-computed permeabilities, a physics-informed CNN PhyCNN) is trained by additionally providing a tailored characteristic quantity of the pore space. More precisely, by exploiting the connection to flow problems on a graph representation of the pore space, additional information about confined structures is provided to the network in terms of the maximum flow value, which is the key innovative component of our workflow. The robustness of this approach is reflected by very high prediction accuracy, which is observed for a variety of sandstone samples from archetypal rock formations.
△ Less
Submitted 13 April, 2022; v1 submitted 4 September, 2021;
originally announced September 2021.
-
A Diffuse Interface Model for Cell Blebbing Including Membrane-Cortex Coupling with Linker Dynamics
Authors:
Philipp Werner,
Martin Burger,
Florian Frank,
Harald Garcke
Abstract:
The aim of this paper is to develop suitable models for the phenomenon of cell blebbing, which allow for computational predictions of mechanical effects including the crucial interaction of the cell membrane and the actin cortex. For this sake we resort to a two phase-field model that uses diffuse descriptions of both the membrane and the cortex, which in particular allows for a suitable descripti…
▽ More
The aim of this paper is to develop suitable models for the phenomenon of cell blebbing, which allow for computational predictions of mechanical effects including the crucial interaction of the cell membrane and the actin cortex. For this sake we resort to a two phase-field model that uses diffuse descriptions of both the membrane and the cortex, which in particular allows for a suitable description of the interaction via linker protein densities. Besides the detailed modelling we discuss some energetic aspects of the models and present a numerical scheme, which allows to carry out several computational studies. In those we demonstrate that several effects found in experiments can be reproduced, in particular bleb formation by cortex rupture, which was not possible by previous models without the linker dynamics.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Constrained Probabilistic Movement Primitives for Robot Trajectory Adaptation
Authors:
Felix Frank,
Alexandros Paraschos,
Patrick van der Smagt,
Botond Cseke
Abstract:
Placing robots outside controlled conditions requires versatile movement representations that allow robots to learn new tasks and adapt them to environmental changes. The introduction of obstacles or the placement of additional robots in the workspace, the modification of the joint range due to faults or range-of-motion constraints are typical cases where the adaptation capabilities play a key rol…
▽ More
Placing robots outside controlled conditions requires versatile movement representations that allow robots to learn new tasks and adapt them to environmental changes. The introduction of obstacles or the placement of additional robots in the workspace, the modification of the joint range due to faults or range-of-motion constraints are typical cases where the adaptation capabilities play a key role for safely performing the robot's task. Probabilistic movement primitives (ProMPs) have been proposed for representing adaptable movement skills, which are modelled as Gaussian distributions over trajectories. These are analytically tractable and can be learned from a small number of demonstrations. However, both the original ProMP formulation and the subsequent approaches only provide solutions to specific movement adaptation problems, e.g., obstacle avoidance, and a generic, unifying, probabilistic approach to adaptation is missing. In this paper we develop a generic probabilistic framework for adapting ProMPs. We unify previous adaptation techniques, for example, various types of obstacle avoidance, via-points, mutual avoidance, in one single framework and combine them to solve complex robotic problems. Additionally, we derive novel adaptation techniques such as temporally unbound via-points and mutual avoidance. We formulate adaptation as a constrained optimisation problem where we minimise the Kullback-Leibler divergence between the adapted distribution and the distribution of the original primitive while we constrain the probability mass associated with undesired trajectories to be low. We demonstrate our approach on several adaptation problems on simulated planar robot arms and 7-DOF Franka-Emika robots in a dual robot arm setting.
△ Less
Submitted 5 January, 2022; v1 submitted 29 January, 2021;
originally announced January 2021.
-
Searching for dark matter with an unequal delay interferometer
Authors:
Etienne Savalle,
Aurelien Hees,
Florian Frank,
Etienne Cantin,
Paul-Eric Pottie,
Benjamin M. Roberts,
Lucie Cros,
Ben T. McAllister,
Peter Wolf
Abstract:
We propose a new type of experiment that compares the frequency of a clock (an ultra-stable optical cavity in this case) at time $t$ to its own frequency some time $t-T$ earlier, by "storing" the output signal (photons) in a fibre delay line. In ultra-light oscillating dark matter (DM) models, such an experiment is sensitive to coupling of DM to the standard model fields, through oscillations of t…
▽ More
We propose a new type of experiment that compares the frequency of a clock (an ultra-stable optical cavity in this case) at time $t$ to its own frequency some time $t-T$ earlier, by "storing" the output signal (photons) in a fibre delay line. In ultra-light oscillating dark matter (DM) models, such an experiment is sensitive to coupling of DM to the standard model fields, through oscillations of the cavity and fibre lengths and of the fibre refractive index. Additionally, the sensitivity is significantly enhanced around the mechanical resonances of the cavity. We present experimental result of such an experiment and report no evidence of DM for masses in the [$4.1\times 10^{-11}$, $8.3\times 10^{-10}$]~eV region. In addition, we improve constraints on the involved coupling constants by one order of magnitude in a standard galactic DM model, at the mass corresponding to the resonant frequency of our cavity. Furthermore, in the model of relaxion DM, we improve on existing constraints over the whole DM mass range by about one order of magnitude, and up to six orders of magnitude at resonance.
△ Less
Submitted 15 January, 2021; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Benchmark for numerical solutions of flow in heterogeneous groundwater formations
Authors:
Cristian D. Alecsa,
Imre Boros,
Florian Frank,
Peter Knabner,
Mihai Nechita,
Alexander Prechtel,
Andreas Rupp,
Nicolae Suciu
Abstract:
This article presents numerical investigations on accuracy and convergence properties of several numerical approaches for simulating steady state flows in heterogeneous aquifers. Finite difference, finite element, discontinuous Galerkin, spectral, and random walk methods are tested on one- and two-dimensional benchmark flow problems. Realizations of log-normal hydraulic conductivity fields are gen…
▽ More
This article presents numerical investigations on accuracy and convergence properties of several numerical approaches for simulating steady state flows in heterogeneous aquifers. Finite difference, finite element, discontinuous Galerkin, spectral, and random walk methods are tested on one- and two-dimensional benchmark flow problems. Realizations of log-normal hydraulic conductivity fields are generated by Kraichnan algorithms in closed form as finite sums of random periodic modes, which allow direct code verification by comparisons with manufactured reference solutions. The quality of the methods is assessed for increasing number of random modes and for increasing variance of the log-hydraulic conductivity fields with Gaussian and exponential correlation. Experimental orders of convergence are calculated from successive refinements of the grid. The numerical methods are further validated by comparisons between statistical inferences obtained from Monte Carlo ensembles of numerical solutions and theoretical first-order perturbation results. It is found that while for Gaussian correlation of the log-conductivity field all the methods perform well, in the exponential case their accuracy deteriorates and, for large variance and number of modes, the benchmark problems are practically not tractable with reasonably large computing resources, for all the methods considered in this study.
△ Less
Submitted 3 March, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Determination of the 3D Magnetic Field Vector Orientation with NV Centers in Diamond
Authors:
Timo Weggler,
Christian Ganslmayer,
Florian Frank,
Tobias Eilert,
Fedor Jelezko,
Jens Michaelis
Abstract:
Absolute knowledge about the magnetic field orientation plays a crucial role in single spin-based quantum magnetometry and the application toward spin-based quantum computation. In this paper, we reconstruct the 3D orientation of an arbitrary static magnetic field with individual nitrogen vacancy (NV) centers in diamond. We determine the polar and the azimuthal angle of the magnetic field orientat…
▽ More
Absolute knowledge about the magnetic field orientation plays a crucial role in single spin-based quantum magnetometry and the application toward spin-based quantum computation. In this paper, we reconstruct the 3D orientation of an arbitrary static magnetic field with individual nitrogen vacancy (NV) centers in diamond. We determine the polar and the azimuthal angle of the magnetic field orientation relative to the diamond lattice. Therefore, we use information from the photoluminescence anisotropy of the NV, together with a simple pulsed Optically Detected Magnetic Resonance (ODMR) experiment. Our nanoscopic magnetic field determination is generally applicable and does not rely on special prerequisites such as strongly coupled nuclear spins or particular controllable fields. Hence, our presented results open up new paths for precise NMR reconstructions and the modulation of the electron-electron spin interaction in EPR measurements by specifically tailored magnetic fields.
△ Less
Submitted 15 January, 2020; v1 submitted 9 October, 2019;
originally announced October 2019.
-
Two-Branch Fiber Link for International Clock Networks
Authors:
Dan Xu,
Etienne Cantin,
Florian Frank,
Nicolas Quintin,
Frédéric Meynadier,
Philip Tuckey,
Anne Amy-Klein,
Olivier Lopez,
Paul-Eric Pottie
Abstract:
We present our work on realizing two-branch fiber links enabling multiple-partner clock comparisons in Europe. We report in detail on the setup connecting two long haul links, and report for the relative frequency stability and accuracy. We report on a combined uptime of 90% for our dual-branch link during almost one month. We finally discuss the combined uncertainty contribution of the ensemble o…
▽ More
We present our work on realizing two-branch fiber links enabling multiple-partner clock comparisons in Europe. We report in detail on the setup connecting two long haul links, and report for the relative frequency stability and accuracy. We report on a combined uptime of 90% for our dual-branch link during almost one month. We finally discuss the combined uncertainty contribution of the ensemble of the link architecture to a clock comparison. We show that the frequency transfer uncertainty is 2 x 10 --19 .
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Search for transient variations of the fine structure constant and dark matter using fiber-linked optical atomic clocks
Authors:
B. M. Roberts,
P. Delva,
A. Al-Masoudi,
A. Amy-Klein,
C. Bærentsen,
C. F. A. Baynham,
E. Benkler,
S. Bilicki,
S. Bize,
W. Bowden,
J. Calvert,
V. Cambier,
E. Cantin,
E. A. Curtis,
S. Dörscher,
M. Favier,
F. Frank,
P. Gill,
R. M. Godun,
G. Grosche,
C. Guo,
A. Hees,
I. R. Hill,
R. Hobson,
N. Huntemann
, et al. (29 additional authors not shown)
Abstract:
We search for transient variations of the fine structure constant using data from a European network of fiber-linked optical atomic clocks. By searching for coherent variations in the recorded clock frequency comparisons across the network, we significantly improve the constraints on transient variations of the fine structure constant. For example, we constrain the variation in alpha to <5*10^-17…
▽ More
We search for transient variations of the fine structure constant using data from a European network of fiber-linked optical atomic clocks. By searching for coherent variations in the recorded clock frequency comparisons across the network, we significantly improve the constraints on transient variations of the fine structure constant. For example, we constrain the variation in alpha to <5*10^-17 for transients of duration 10^3 s. This analysis also presents a possibility to search for dark matter, the mysterious substance hypothesised to explain galaxy dynamics and other astrophysical phenomena that is thought to dominate the matter density of the universe. At the current sensitivity level, we find no evidence for dark matter in the form of topological defects (or, more generally, any macroscopic objects), and we thus place constraints on certain potential couplings between the dark matter and standard model particles, substantially improving upon the existing constraints, particularly for large (>~10^4 km) objects.
△ Less
Submitted 8 July, 2019; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Novel approaches to dark-matter detection using space-time separated clocks
Authors:
Etienne Savalle,
Benjamin M. Roberts,
Florian Frank,
Paul-Eric Pottie,
Ben T. McAllister,
Conner Dailey,
Andrei Derevianko,
Peter Wolf
Abstract:
We discuss the theoretical analysis and interpretation of space-time separated clock experiments in the context of a space-time varying scalar field that is non-universally coupled to the standard model fields. If massive, such a field is a candidate for dark matter and could be detected in laboratory experiments. We show that space-time separated experiments have the potential to probe a fundamen…
▽ More
We discuss the theoretical analysis and interpretation of space-time separated clock experiments in the context of a space-time varying scalar field that is non-universally coupled to the standard model fields. If massive, such a field is a candidate for dark matter and could be detected in laboratory experiments. We show that space-time separated experiments have the potential to probe a fundamentally different parameter space from more common co-located experiments, allowing decorrelation of previously necessarily correlated parameters. Finally, we describe such a space-time separated clock experiment currently running at the Paris Observatory, and present some preliminary results as a proof of principle.
△ Less
Submitted 14 October, 2019; v1 submitted 19 February, 2019;
originally announced February 2019.
-
An interior penalty discontinuous Galerkin approach for 3D incompressible Navier--Stokes equation for permeability estimation of porous media
Authors:
Chen Liu,
Florian Frank,
Faruk O. Alpak,
Beatrice Riviere
Abstract:
Permeability estimation of porous media from direct solving Navier--Stokes equation has a wide spectrum of applications in petroleum industry. In this paper, we utilize a pressure-correction projection algorithm in conjunction with the interior penalty discontinuous Galerkin scheme for space discretization to build an incompressible Navier--Stokes simulator and to use this simulator to calculate p…
▽ More
Permeability estimation of porous media from direct solving Navier--Stokes equation has a wide spectrum of applications in petroleum industry. In this paper, we utilize a pressure-correction projection algorithm in conjunction with the interior penalty discontinuous Galerkin scheme for space discretization to build an incompressible Navier--Stokes simulator and to use this simulator to calculate permeability of real rock sample. The proposed method is accurate, numerically robust, and exhibits the potential for tackling realistic problems.
△ Less
Submitted 25 September, 2018;
originally announced October 2018.
-
FESTUNG: A MATLAB /GNU Octave toolbox for the discontinuous Galerkin method. Part IV: Generic problem framework and model-coupling interface
Authors:
Balthasar Reuter,
Andreas Rupp,
Vadym Aizinger,
Florian Frank,
Peter Knabner
Abstract:
This is the fourth installment in our series on implementing the discontinuous Galerkin (DG) method as an open source MATLAB /GNU Octave toolbox. Similarly to its predecessors, this part presents new features for application developers employing DG methods and follows our strategy of relying on fully vectorized constructs and supplying a comprehensive documentation. The specific focus of the curre…
▽ More
This is the fourth installment in our series on implementing the discontinuous Galerkin (DG) method as an open source MATLAB /GNU Octave toolbox. Similarly to its predecessors, this part presents new features for application developers employing DG methods and follows our strategy of relying on fully vectorized constructs and supplying a comprehensive documentation. The specific focus of the current work is the newly added generic problem implementation framework and the highly customizable model-coupling interface for multi-domain and multi-physics simulation tools based on this framework. The functionality of the coupling interface in the FESTUNG toolbox is illustrated using a two-way coupled free-surface / groundwater flow system as an example application.
△ Less
Submitted 26 May, 2020; v1 submitted 11 June, 2018;
originally announced June 2018.
-
Coherent control of solid state nuclear spin nano-ensembles
Authors:
Thomas Unden,
Nikolas Tomek,
Timo Weggler,
Florian Frank,
Paz London,
Jonathan Zopes,
Christian Degen,
Nicole Raatz,
Jan Meijer,
Hideyuki Watanabe,
Kohei M. Itoh,
Martin B. Plenio,
Boris Naydenov,
Fedor Jelezko
Abstract:
Detecting and controlling nuclear spin nano-ensembles is crucial for the further development of nuclear magnetic resonance (NMR) spectroscopy and for the emerging solid state quantum technology. Here we present the fabrication of a $\approx$ 1 nanometre thick diamond layer consisting of $^{13}$C nuclear spins doped with Nitrogen-Vacancy centres (NV) embedded in a spin-free $^{12}$C crystal matrix.…
▽ More
Detecting and controlling nuclear spin nano-ensembles is crucial for the further development of nuclear magnetic resonance (NMR) spectroscopy and for the emerging solid state quantum technology. Here we present the fabrication of a $\approx$ 1 nanometre thick diamond layer consisting of $^{13}$C nuclear spins doped with Nitrogen-Vacancy centres (NV) embedded in a spin-free $^{12}$C crystal matrix. A single NV in the vicinity of the layer is used for polarization of the $^{13}$C spins and the readout of their magnetization. We demonstrate a method for coherent control of few tens of nuclear spins by using radio frequency pulses and show the basic coherent control experiments - Rabi oscillations, Ramsey spectroscopy and Hahn echo, though any NMR pulse sequence can be implemented. The results shown present a first steps towards the realization of a nuclear spin based quantum simulator.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
An energy-based equilibrium contact angle boundary condition on jagged surfaces for phase-field methods
Authors:
Florian Frank,
Chen Liu,
Alessio Scanziani,
Faruk O. Alpak,
Beatrice Riviere
Abstract:
We consider an energy-based boundary condition to impose an equilibrium wetting angle for the Cahn-Hilliard-Navier-Stokes phase-field model on voxel-set-type computational domains. These domains typically stem from the micro-CT imaging of porous rock and approximate a (on μm scale) smooth domain with a certain resolution. Planar surfaces that are perpendicular to the main axes are naturally approx…
▽ More
We consider an energy-based boundary condition to impose an equilibrium wetting angle for the Cahn-Hilliard-Navier-Stokes phase-field model on voxel-set-type computational domains. These domains typically stem from the micro-CT imaging of porous rock and approximate a (on μm scale) smooth domain with a certain resolution. Planar surfaces that are perpendicular to the main axes are naturally approximated by a layer of voxels. However, planar surfaces in any other directions and curved surfaces yield a jagged/rough surface approximation by voxels. For the standard Cahn-Hilliard formulation, where the contact angle between the diffuse interface and the domain boundary (fluid-solid interface/wall) is 90 degrees, jagged surfaces have no impact on the contact angle. However, a prescribed contact angle smaller or larger than 90 degrees on jagged voxel surfaces is amplified in either direction. As a remedy, we propose the introduction of surface energy correction factors for each fluid-solid voxel face that counterbalance the difference of the voxel-set surface area with the underlying smooth one. The discretization of the model equations is performed with the discontinuous Galerkin method, however, the presented semi-analytical approach of correcting the surface energy is equally applicable to other direct numerical methods such as finite elements, finite volumes, or finite differences, since the correction factors appear in the strong formulation of the model.
△ Less
Submitted 15 November, 2017;
originally announced November 2017.
-
Autonomous Calibration of Single Spin Qubit Operations
Authors:
Florian Frank,
Thomas Unden,
Jonathan Zoller,
Ressa S. Said,
Tommaso Calarco,
Simone Montangero,
Boris Naydenov,
Fedor Jelezko
Abstract:
Fully autonomous precise control of qubits is crucial for quantum information processing, quantum communication, and quantum sensing applications. It requires minimal human intervention on the ability to model, to predict and to anticipate the quantum dynamics [1,2], as well as to precisely control and calibrate single qubit operations. Here, we demonstrate single qubit autonomous calibrations via…
▽ More
Fully autonomous precise control of qubits is crucial for quantum information processing, quantum communication, and quantum sensing applications. It requires minimal human intervention on the ability to model, to predict and to anticipate the quantum dynamics [1,2], as well as to precisely control and calibrate single qubit operations. Here, we demonstrate single qubit autonomous calibrations via closed-loop optimisations of electron spin quantum operations in diamond. The operations are examined by quantum state and process tomographic measurements at room temperature, and their performances against systematic errors are iteratively rectified by an optimal pulse engineering algorithm. We achieve an autonomous calibrated fidelity up to 1.00 on a time scale of minutes for a spin population inversion and up to 0.98 on a time scale of hours for a Hadamard gate within the experimental error of 2%. These results manifest a full potential for versatile quantum nanotechnologies.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
Qudi: a modular python suite for experiment control and data processing
Authors:
Jan M Binder,
Alexander Stark,
Nikolas Tomek,
Jochen Scheuer,
Florian Frank,
Kay D Jahnke,
Christoph Müller,
Simon Schmitt,
Mathias H Metsch,
Thomas Unden,
Tobias Gehring,
Alexander Huck,
Ulrik L Andersen,
Lachlan J Rogers,
Fedor Jelezko
Abstract:
Qudi is a general, modular, multi-operating system suite written in Python 3 for controlling laboratory experiments. It provides a structured environment by separating functionality into hardware abstraction, experiment logic and user interface layers. The core feature set comprises a graphical user interface, live data visualization, distributed execution over networks, rapid prototy** via Jupy…
▽ More
Qudi is a general, modular, multi-operating system suite written in Python 3 for controlling laboratory experiments. It provides a structured environment by separating functionality into hardware abstraction, experiment logic and user interface layers. The core feature set comprises a graphical user interface, live data visualization, distributed execution over networks, rapid prototy** via Jupyter notebooks, configuration management, and data recording. Currently, the included modules are focused on confocal microscopy, quantum optics and quantum information experiments, but an expansion into other fields is possible and encouraged. Qudi is available from https://github.com/Ulm-IQO/qudi and is freely useable under the GNU General Public Licence.
△ Less
Submitted 7 December, 2016; v1 submitted 28 November, 2016;
originally announced November 2016.
-
A finite volume/discontinuous Galerkin method for the advective Cahn-Hilliard equation with degenerate mobility on porous domains stemming from micro-CT imaging
Authors:
Florian Frank,
Chen Liu,
Faruk O. Alpak,
Beatrice Riviere
Abstract:
A numerical method is formulated for the solution of the advective Cahn-Hilliard (CH) equation with constant and degenerate mobility in three-dimensional porous media with non-vanishing velocity on the exterior boundary. The CH equation describes phase separation of an immiscible binary mixture at constant temperature in the presence of a mass constraint and dissipation of free energy. Porous medi…
▽ More
A numerical method is formulated for the solution of the advective Cahn-Hilliard (CH) equation with constant and degenerate mobility in three-dimensional porous media with non-vanishing velocity on the exterior boundary. The CH equation describes phase separation of an immiscible binary mixture at constant temperature in the presence of a mass constraint and dissipation of free energy. Porous media/pore-scale problems specifically entail high-resolution images of rocks in which the solid matrix and pore spaces are fully resolved. The interior penalty discontinuous Galerkin method is used for the spatial discretization of the CH equation in mixed form, while a semi-implicit convex-concave splitting is utilized for temporal discretization. The spatial approximation order is arbitrary, while it reduces to a finite volume scheme for the choice of elementwise constants. The resulting nonlinear systems of equations are reduced using the Schur complement and solved via Newton's method. The numerical scheme is first validated using numerical convergence tests and then applied to a number of fundamental problems for validation and numerical experimentation purposes including the case of degenerate mobility. First-order physical applicability and robustness of the numerical method are shown in a breakthrough scenario on a voxel set obtained from a micro-CT scan of a real sandstone rock sample.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
Stabilized density gradient theory algorithm for modeling interfacial properties of pure and mixed systems
Authors:
Xiaoqun Mu,
Florian Frank,
Faruk O. Alpak,
Walter G. Chapman
Abstract:
Density gradient theory (DGT) allows fast and accurate determination of surface tension and density profile through a phase interface. Several algorithms have been developed to apply this theory in practical calculations. While the conventional algorithm requires a reference substance of the system, a modified "stabilized density gradient theory" (SDGT) algorithm is introduced in our work to solve…
▽ More
Density gradient theory (DGT) allows fast and accurate determination of surface tension and density profile through a phase interface. Several algorithms have been developed to apply this theory in practical calculations. While the conventional algorithm requires a reference substance of the system, a modified "stabilized density gradient theory" (SDGT) algorithm is introduced in our work to solve DGT equations for multiphase pure and mixed systems. This algorithm makes it possible to calculate interfacial properties accurately at any domain size larger than the interface thickness without choosing a reference substance or assuming the functional form of the density profile. As part of DGT inputs, the perturbed chain statistical associating fluid theory (PC-SAFT) equation of state (EoS) was employed for the first time with the SDGT algorithm. PC-SAFT has excellent performance in predicting liquid phase properties as well as phase behaviors. The SDGT algorithm with the PC-SAFT EoS was tested and compared with experimental data for several systems. Numerical stability analyses were also included in each calculation to verify the reliability of this approach for future applications.
△ Less
Submitted 8 August, 2016;
originally announced August 2016.
-
A survey of sparse matrix-vector multiplication performance on large matrices
Authors:
Max Grossman,
Christopher Thiele,
Mauricio Araya-Polo,
Florian Frank,
Faruk O. Alpak,
Vivek Sarkar
Abstract:
We contribute a third-party survey of sparse matrix-vector (SpMV) product performance on industrial-strength, large matrices using: (1) The SpMV implementations in Intel MKL, the Trilinos project (Tpetra subpackage), the CUSPARSE library, and the CUSP library, each running on modern architectures. (2) NVIDIA GPUs and Intel multi-core CPUs (supported by each software package). (3) The CSR, BSR, COO…
▽ More
We contribute a third-party survey of sparse matrix-vector (SpMV) product performance on industrial-strength, large matrices using: (1) The SpMV implementations in Intel MKL, the Trilinos project (Tpetra subpackage), the CUSPARSE library, and the CUSP library, each running on modern architectures. (2) NVIDIA GPUs and Intel multi-core CPUs (supported by each software package). (3) The CSR, BSR, COO, HYB, and ELL matrix formats (supported by each software package).
△ Less
Submitted 1 August, 2016;
originally announced August 2016.
-
FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part II: Advection operator and slope limiting
Authors:
Balthasar Reuter,
Vadym Aizinger,
Manuel Wieland,
Florian Frank,
Peter Knabner
Abstract:
This is the second in a series of papers on implementing a discontinuous Galerkin (DG) method as an open source Matlab / GNU Octave toolbox. The intention of this ongoing project is to offer a rapid prototy** package for application development using DG methods. The implementation relies on fully vectorized matrix / vector operations and is comprehensively documented. Particular attention was pa…
▽ More
This is the second in a series of papers on implementing a discontinuous Galerkin (DG) method as an open source Matlab / GNU Octave toolbox. The intention of this ongoing project is to offer a rapid prototy** package for application development using DG methods. The implementation relies on fully vectorized matrix / vector operations and is comprehensively documented. Particular attention was paid to maintaining a direct map** between discretization terms and code routines as well as to supporting the full code functionality in GNU Octave. The present work focuses on a two-dimensional time-dependent linear advection equation with space / time-varying coefficients, and provides a general order implementation of several slope limiting schemes for the DG method.
△ Less
Submitted 11 June, 2018; v1 submitted 18 February, 2016;
originally announced February 2016.
-
FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part I: Diffusion operator
Authors:
Florian Frank,
Balthasar Reuter,
Vadym Aizinger,
Peter Knabner
Abstract:
This is the first in a series of papers on implementing a discontinuous Galerkin method as a MATLAB / GNU Octave toolbox. The main goal is the development of techniques that deliver optimized computational performance combined with a compact, user-friendly interface. Our implementation relies on fully vectorized matrix / vector operations and is carefully documented; in addition, a direct map**…
▽ More
This is the first in a series of papers on implementing a discontinuous Galerkin method as a MATLAB / GNU Octave toolbox. The main goal is the development of techniques that deliver optimized computational performance combined with a compact, user-friendly interface. Our implementation relies on fully vectorized matrix / vector operations and is carefully documented; in addition, a direct map** between discretization terms and code routines is maintained throughout. The present work focuses on a two-dimensional time-dependent diffusion equation with space / time-varying coefficients. The spatial discretization is based on the local discontinuous Galerkin formulation and is locally mass conservative. Approximations of orders zero through four based on orthogonal polynomials have been implemented; more spaces of arbitrary type and order can be easily accommodated by the code structure. Time discretization is performed using an implicit Euler method.
△ Less
Submitted 11 June, 2018; v1 submitted 17 August, 2014;
originally announced August 2014.
-
Carrier-envelope phase stability of hollow-fibers used for high-energy, few-cycle pulse generation
Authors:
William A. Okell,
Tobias Witting,
Davide Fabris,
Dane Austin,
Maïmouna Bocoum,
Felix Frank,
Aurelien Ricci,
Aurelie Jullien,
Daniel Walke,
Jonathan P. Marangos,
Rodrigo Lopez-Martens,
John W. G. Tisch
Abstract:
We investigated the carrier-envelope phase (CEP) stability of a hollow-fiber setup used for high-energy, few-cycle pulse generation. Saturation of the output pulse energy is observed at 0.6 mJ for a 260 um inner-diameter, 1 m long fiber, statically filled with neon, with the pressure adjusted to achieve an output spectrum capable of supporting sub-4fs pulses. The maximum output pulse energy can be…
▽ More
We investigated the carrier-envelope phase (CEP) stability of a hollow-fiber setup used for high-energy, few-cycle pulse generation. Saturation of the output pulse energy is observed at 0.6 mJ for a 260 um inner-diameter, 1 m long fiber, statically filled with neon, with the pressure adjusted to achieve an output spectrum capable of supporting sub-4fs pulses. The maximum output pulse energy can be increased to 0.8mJ by using either differential pum**, or circularly polarized input pulses. We observe the onset of an ionization-induced CEP instability, which does not increase beyond an input pulse energy of 1.25 mJ due to losses in the fiber caused by ionization. There is no significant difference in the CEP stability with differential pum** compared to static-fill, demonstrating that gas flow in differentially pumped fibers does not degrade the CEP stabilization.
△ Less
Submitted 9 August, 2013;
originally announced August 2013.