-
Regional impacts poorly constrained by climate sensitivity
Authors:
Ran**i Swaminathan,
Jacob Schewe,
Jeremy Walton,
Klaus Zimmermann,
Colin Jones,
Richard A. Betts,
Chantelle Burton,
Chris D. Jones,
Matthias Mengel,
Christopher P. O. Reyer,
Andrew G. Turner,
Katja Weigel
Abstract:
Climate risk assessments must account for a wide range of possible futures, so scientists often use simulations made by numerous global climate models to explore potential changes in regional climates and their impacts. Some of the latest-generation models have high effective climate sensitivities or EffCS. It has been argued these so-called hot models are unrealistic and should therefore be exclu…
▽ More
Climate risk assessments must account for a wide range of possible futures, so scientists often use simulations made by numerous global climate models to explore potential changes in regional climates and their impacts. Some of the latest-generation models have high effective climate sensitivities or EffCS. It has been argued these so-called hot models are unrealistic and should therefore be excluded from analyses of climate change impacts. Whether this would improve regional impact assessments, or make them worse, is unclear. Here we show there is no universal relationship between EffCS and projected changes in a number of important climatic drivers of regional impacts. Analysing heavy rainfall events, meteorological drought, and fire weather in different regions, we find little or no significant correlation with EffCS for most regions and climatic drivers. Even when a correlation is found, internal variability and processes unrelated to EffCS have similar effects on projected changes in the climatic drivers as EffCS. Model selection based solely on EffCS appears to be unjustified and may neglect realistic impacts, leading to an underestimation of climate risks.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Let It Flow: Simultaneous Optimization of 3D Flow and Object Clustering
Authors:
Patrik Vacek,
David Hurych,
Tomáš Svoboda,
Karel Zimmermann
Abstract:
We study the problem of self-supervised 3D scene flow estimation from real large-scale raw point cloud sequences, which is crucial to various tasks like trajectory prediction or instance segmentation. In the absence of ground truth scene flow labels, contemporary approaches concentrate on deducing optimizing flow across sequential pairs of point clouds by incorporating structure based regularizati…
▽ More
We study the problem of self-supervised 3D scene flow estimation from real large-scale raw point cloud sequences, which is crucial to various tasks like trajectory prediction or instance segmentation. In the absence of ground truth scene flow labels, contemporary approaches concentrate on deducing optimizing flow across sequential pairs of point clouds by incorporating structure based regularization on flow and object rigidity. The rigid objects are estimated by a variety of 3D spatial clustering methods. While state-of-the-art methods successfully capture overall scene motion using the Neural Prior structure, they encounter challenges in discerning multi-object motions. We identified the structural constraints and the use of large and strict rigid clusters as the main pitfall of the current approaches and we propose a novel clustering approach that allows for combination of overlap** soft clusters as well as non-overlap** rigid clusters representation. Flow is then jointly estimated with progressively growing non-overlap** rigid clusters together with fixed size overlap** soft clusters. We evaluate our method on multiple datasets with LiDAR point clouds, demonstrating the superior performance over the self-supervised baselines reaching new state of the art results. Our method especially excels in resolving flow in complicated dynamic scenes with multiple independently moving objects close to each other which includes pedestrians, cyclists and other vulnerable road users. Our codes are publicly available on https://github.com/ctu-vras/let-it-flow.
△ Less
Submitted 20 May, 2024; v1 submitted 12 April, 2024;
originally announced April 2024.
-
Regularizing Self-supervised 3D Scene Flows with Surface Awareness and Cyclic Consistency
Authors:
Patrik Vacek,
David Hurych,
Karel Zimmermann,
Patrick Perez,
Tomas Svoboda
Abstract:
Learning without supervision how to predict 3D scene flows from point clouds is essential to many perception systems. We propose a novel learning framework for this task which improves the necessary regularization. Relying on the assumption that scene elements are mostly rigid, current smoothness losses are built on the definition of ``rigid clusters" in the input point clouds. The definition of t…
▽ More
Learning without supervision how to predict 3D scene flows from point clouds is essential to many perception systems. We propose a novel learning framework for this task which improves the necessary regularization. Relying on the assumption that scene elements are mostly rigid, current smoothness losses are built on the definition of ``rigid clusters" in the input point clouds. The definition of these clusters is challenging and has a significant impact on the quality of predicted flows. We introduce two new consistency losses that enlarge clusters while preventing them from spreading over distinct objects. In particular, we enforce \emph{temporal} consistency with a forward-backward cyclic loss and \emph{spatial} consistency by considering surface orientation similarity in addition to spatial proximity. The proposed losses are model-independent and can thus be used in a plug-and-play fashion to significantly improve the performance of existing models, as demonstrated on two most widely used architectures. We also showcase the effectiveness and generalization capability of our framework on four standard sensor-unique driving datasets, achieving state-of-the-art performance in 3D scene flow estimation. Our codes are available on https://github.com/ctu-vras/sac-flow.
△ Less
Submitted 26 March, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
MonoForce: Self-supervised Learning of Physics-aware Model for Predicting Robot-terrain Interaction
Authors:
Ruslan Agishev,
Karel Zimmermann,
Vladimír Kubelka,
Martin Pecka,
Tomáš Svoboda
Abstract:
While autonomous navigation of mobile robots on rigid terrain is a well-explored problem, navigating on deformable terrain such as tall grass or bushes remains a challenge. To address it, we introduce an explainable, physics-aware and end-to-end differentiable model which predicts the outcome of robot-terrain interaction from camera images, both on rigid and non-rigid terrain. The proposed MonoFor…
▽ More
While autonomous navigation of mobile robots on rigid terrain is a well-explored problem, navigating on deformable terrain such as tall grass or bushes remains a challenge. To address it, we introduce an explainable, physics-aware and end-to-end differentiable model which predicts the outcome of robot-terrain interaction from camera images, both on rigid and non-rigid terrain. The proposed MonoForce model consists of a black-box module which predicts robot-terrain interaction forces from onboard cameras, followed by a white-box module, which transforms these forces and a control signals into predicted trajectories, using only the laws of classical mechanics. The differentiable white-box module allows backpropagating the predicted trajectory errors into the black-box module, serving as a self-supervised loss that measures consistency between the predicted forces and ground-truth trajectories of the robot. Experimental evaluation on a public dataset and our data has shown that while the prediction capabilities are comparable to state-of-the-art algorithms on rigid terrain, MonoForce shows superior accuracy on non-rigid terrain such as tall grass or bushes. To facilitate the reproducibility of our results, we release both the code and datasets.
△ Less
Submitted 27 April, 2024; v1 submitted 16 September, 2023;
originally announced September 2023.
-
T-UDA: Temporal Unsupervised Domain Adaptation in Sequential Point Clouds
Authors:
Awet Haileslassie Gebrehiwot,
David Hurych,
Karel Zimmermann,
Patrick Pérez,
Tomáš Svoboda
Abstract:
Deep perception models have to reliably cope with an open-world setting of domain shifts induced by different geographic regions, sensor properties, mounting positions, and several other reasons. Since covering all domains with annotated data is technically intractable due to the endless possible variations, researchers focus on unsupervised domain adaptation (UDA) methods that adapt models traine…
▽ More
Deep perception models have to reliably cope with an open-world setting of domain shifts induced by different geographic regions, sensor properties, mounting positions, and several other reasons. Since covering all domains with annotated data is technically intractable due to the endless possible variations, researchers focus on unsupervised domain adaptation (UDA) methods that adapt models trained on one (source) domain with annotations available to another (target) domain for which only unannotated data are available. Current predominant methods either leverage semi-supervised approaches, e.g., teacher-student setup, or exploit privileged data, such as other sensor modalities or temporal data consistency. We introduce a novel domain adaptation method that leverages the best of both trends. Our approach combines input data's temporal and cross-sensor geometric consistency with the mean teacher method. Dubbed T-UDA for "temporal UDA", such a combination yields massive performance gains for the task of 3D semantic segmentation of driving scenes. Experiments are conducted on Waymo Open Dataset, nuScenes and SemanticKITTI, for two popular 3D point cloud architectures, Cylinder3D and MinkowskiNet. Our codes are publicly available at https://github.com/ctu-vras/T-UDA.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Self-Supervised Depth Correction of Lidar Measurements from Map Consistency Loss
Authors:
Ruslan Agishev,
Tomáš Pětříček,
Karel Zimmermann
Abstract:
Depth perception is considered an invaluable source of information in the context of 3D map** and various robotics applications. However, point cloud maps acquired using consumer-level light detection and ranging sensors (lidars) still suffer from bias related to local surface properties such as measuring beam-to-surface incidence angle, distance, texture, reflectance, or illumination conditions…
▽ More
Depth perception is considered an invaluable source of information in the context of 3D map** and various robotics applications. However, point cloud maps acquired using consumer-level light detection and ranging sensors (lidars) still suffer from bias related to local surface properties such as measuring beam-to-surface incidence angle, distance, texture, reflectance, or illumination conditions. This fact has recently motivated researchers to exploit traditional filters, as well as the deep learning paradigm, in order to suppress the aforementioned depth sensors error while preserving geometric and map consistency details. Despite the effort, depth correction of lidar measurements is still an open challenge mainly due to the lack of clean 3D data that could be used as ground truth. In this paper, we introduce two novel point cloud map consistency losses, which facilitate self-supervised learning on real data of lidar depth correction models. Specifically, the models exploit multiple point cloud measurements of the same scene from different view-points in order to learn to reduce the bias based on the constructed map consistency signal. Complementary to the removal of the bias from the measurements, we demonstrate that the depth correction models help to reduce localization drift. Additionally, we release a data set that contains point cloud data captured in an indoor corridor environment with precise localization and ground truth map** information.
△ Less
Submitted 23 May, 2024; v1 submitted 2 March, 2023;
originally announced March 2023.
-
Similarity among the 2D-shapes and the analysis of dissimilarity scores
Authors:
Karel Zimmermann
Abstract:
We present a conceptually simple and intuitive method to calculate and to measure the dissimilarities among 2D shapes. Several methods to interpret and to visualize the resulting dissimilarity matrix are presented and compared.
We present a conceptually simple and intuitive method to calculate and to measure the dissimilarities among 2D shapes. Several methods to interpret and to visualize the resulting dissimilarity matrix are presented and compared.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Teachers in concordance for pseudo-labeling of 3D sequential data
Authors:
Awet Haileslassie Gebrehiwot,
Patrik Vacek,
David Hurych,
Karel Zimmermann,
Patrick Perez,
Tomáš Svoboda
Abstract:
Automatic pseudo-labeling is a powerful tool to tap into large amounts of sequential unlabeled data. It is specially appealing in safety-critical applications of autonomous driving, where performance requirements are extreme, datasets are large, and manual labeling is very challenging. We propose to leverage sequences of point clouds to boost the pseudolabeling technique in a teacher-student setup…
▽ More
Automatic pseudo-labeling is a powerful tool to tap into large amounts of sequential unlabeled data. It is specially appealing in safety-critical applications of autonomous driving, where performance requirements are extreme, datasets are large, and manual labeling is very challenging. We propose to leverage sequences of point clouds to boost the pseudolabeling technique in a teacher-student setup via training multiple teachers, each with access to different temporal information. This set of teachers, dubbed Concordance, provides higher quality pseudo-labels for student training than standard methods. The output of multiple teachers is combined via a novel pseudo label confidence-guided criterion. Our experimental evaluation focuses on the 3D point cloud domain and urban driving scenarios. We show the performance of our method applied to 3D semantic segmentation and 3D object detection on three benchmark datasets. Our approach, which uses only 20% manual labels, outperforms some fully supervised methods. A notable performance boost is achieved for classes rarely appearing in training data.
△ Less
Submitted 5 July, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
System for multi-robotic exploration of underground environments CTU-CRAS-NORLAB in the DARPA Subterranean Challenge
Authors:
Tomáš Rouček,
Martin Pecka,
Petr Čížek,
Tomáš Petříček,
Jan Bayer,
Vojtěch Šalanský,
Teymur Azayev,
Daniel Heřt,
Matěj Petrlík,
Tomáš Báča,
Vojtěch Spurný,
Vít Krátký,
Pavel Petráček,
Dominic Baril,
Maxime Vaidis,
Vladimír Kubelka,
François Pomerleau,
Jan Faigl,
Karel Zimmermann,
Martin Saska,
Tomáš Svoboda,
Tomáš Krajník
Abstract:
We present a field report of CTU-CRAS-NORLAB team from the Subterranean Challenge (SubT) organised by the Defense Advanced Research Projects Agency (DARPA). The contest seeks to advance technologies that would improve the safety and efficiency of search-and-rescue operations in GPS-denied environments. During the contest rounds, teams of mobile robots have to find specific objects while operating…
▽ More
We present a field report of CTU-CRAS-NORLAB team from the Subterranean Challenge (SubT) organised by the Defense Advanced Research Projects Agency (DARPA). The contest seeks to advance technologies that would improve the safety and efficiency of search-and-rescue operations in GPS-denied environments. During the contest rounds, teams of mobile robots have to find specific objects while operating in environments with limited radio communication, e.g. mining tunnels, underground stations or natural caverns. We present a heterogeneous exploration robotic system of the CTU-CRAS-NORLAB team, which achieved the third rank at the SubT Tunnel and Urban Circuit rounds and surpassed the performance of all other non-DARPA-funded teams. The field report describes the team's hardware, sensors, algorithms and strategies, and discusses the lessons learned by participating at the DARPA SubT contest.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
On the Theory of Stochastic Automata
Authors:
Merve Nur Cakir,
Mehwish Saleemi,
Karl-Heinz Zimmermann
Abstract:
The theory of discrete stochastic systems has been initiated by the work of Shannon and von Neumann. While Shannon has considered memory-less communication channels and their generalization by introducing states, von Neumann has studied the synthesis of reliable systems from unreliable components. The fundamental work of Rabin and Scott about deterministic finite-state automata has led to two gene…
▽ More
The theory of discrete stochastic systems has been initiated by the work of Shannon and von Neumann. While Shannon has considered memory-less communication channels and their generalization by introducing states, von Neumann has studied the synthesis of reliable systems from unreliable components. The fundamental work of Rabin and Scott about deterministic finite-state automata has led to two generalizations. First, the generalization of transition functions to conditional distributions studied by Carlyle and Starke. This in turn has led to a generalization of time-discrete Markov chains in which the chains are governed by more than one transition probability matrix. Second, the generalization of regular sets by introducing stochastic automata as described by Rabin. Stochastic automata are well-investigated. This report provides a short introduction to stochastic automata based on the valuable book of Claus. This includes the basic topics of the theory of stochastic automata: equivalence, minimization, reduction, covering, observability, and determinism. Then stochastic versions of Mealy and Moore automata are studied and finally stochastic language acceptors are considered as a generalization of nondeterministic finite-state acceptors.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
On Krohn-Rhodes theory for semiautomata
Authors:
Karl-Heinz Zimmermann
Abstract:
Krohn-Rhodes theory encompasses the techniques for the study of finite automata and their decomposition into elementary automata. The famous result of Krohn and Rhodes roughly states that each finite automaton can be decomposed into elementary components which correspond to permutation and reset automata connected by a cascade product. However, this outcome is not easy to access for the working co…
▽ More
Krohn-Rhodes theory encompasses the techniques for the study of finite automata and their decomposition into elementary automata. The famous result of Krohn and Rhodes roughly states that each finite automaton can be decomposed into elementary components which correspond to permutation and reset automata connected by a cascade product. However, this outcome is not easy to access for the working computer scientist. This paper provides a short introduction into Krohn-Rhodes theory based on the valuable work of Ginzburg.
△ Less
Submitted 30 October, 2020;
originally announced October 2020.
-
Dynamic Programming in Topological Spaces
Authors:
Merve Nur Cakir,
Mehwish Saleemi,
Karl-Heinz Zimmermann
Abstract:
Dynamic programming is a mathematical optimization method and a computer programming method as well. In this paper, the notion of sheaf programming in topological spaces is introduced and it is demonstrated that it relates very well to the concept of dynamic programming.
Dynamic programming is a mathematical optimization method and a computer programming method as well. In this paper, the notion of sheaf programming in topological spaces is introduced and it is demonstrated that it relates very well to the concept of dynamic programming.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
On the decomposition of generalized semiautomata
Authors:
Merve Nur Cakir,
Karl-Heinz Zimmermann
Abstract:
Semi-automata are abstractions of electronic devices that are deterministic finite-state machines having inputs but no outputs. Generalized semiautomata are obtained from stochastic semiautomata by drop** the restrictions imposed by probability. It is well-known that each stochastic semiautomaton can be decomposed into a sequential product of a dependent source and a deterministic semiautomaton…
▽ More
Semi-automata are abstractions of electronic devices that are deterministic finite-state machines having inputs but no outputs. Generalized semiautomata are obtained from stochastic semiautomata by drop** the restrictions imposed by probability. It is well-known that each stochastic semiautomaton can be decomposed into a sequential product of a dependent source and a deterministic semiautomaton making partly use of the celebrated theorem of Birkhoff-von Neumann. It will be shown that each generalized semiautomaton can be partitioned into a sequential product of a generalized dependent source and a deterministic semiautomaton.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
On Stochastic Automata over Monoids
Authors:
Karl-Heinz Zimmermann,
Merve Nur Cakir
Abstract:
Stochastic automata over monoids as input sets are studied. The well-definedness of these automata requires an extension postulate that replaces the inherent universal property of free monoids. As a generalization of Turakainen's result, it will be shown that the generalized automata over monoids have the same acceptance power as their stochastic counterparts. The key to homomorphisms is a commuti…
▽ More
Stochastic automata over monoids as input sets are studied. The well-definedness of these automata requires an extension postulate that replaces the inherent universal property of free monoids. As a generalization of Turakainen's result, it will be shown that the generalized automata over monoids have the same acceptance power as their stochastic counterparts. The key to homomorphisms is a commuting property between the monoid homomorphism of input states and the monoid homomorphism of transition matrices. Closure properties of the languages accepted by stochastic automata over monoids are investigated. matrices. Closure properties of the languages accepted by stochastic automata over monoids are investigated.
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Distributed Monitoring of Topological Events via Homology
Authors:
Vincent Knapps,
Karl-Heinz Zimmermann
Abstract:
Topological event detection allows for the distributed computation of homology by focusing on local changes occurring in a network over time. In this paper, a model for the monitoring of topological events in dynamically changing regions will be developed. Regions are approximated as the connected components of the communication graph of a sensor network, reducing homology computation to graph hom…
▽ More
Topological event detection allows for the distributed computation of homology by focusing on local changes occurring in a network over time. In this paper, a model for the monitoring of topological events in dynamically changing regions will be developed. Regions are approximated as the connected components of the communication graph of a sensor network, reducing homology computation to graph homology. Betti number differences together with cyclic neighbor-rings are used to categorize topological event types. The focus lies on the correct detection of non-incremental (i.e., multiple concurrently occurring) events and the necessary region update process. Network number differences between a network's state before and after events are spread from event nodes into network regions, allowing for the conflict-free updating of regions independent of the update messages' order of arrival.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
Inference in Graded Bayesian Networks
Authors:
Robert Leppert,
Karl-Heinz Zimmermann
Abstract:
Machine learning provides algorithms that can learn from data and make inferences or predictions on data. Bayesian networks are a class of graphical models that allow to represent a collection of random variables and their condititional dependencies by directed acyclic graphs. In this paper, an inference algorithm for the hidden random variables of a Bayesian network is given by using the tropical…
▽ More
Machine learning provides algorithms that can learn from data and make inferences or predictions on data. Bayesian networks are a class of graphical models that allow to represent a collection of random variables and their condititional dependencies by directed acyclic graphs. In this paper, an inference algorithm for the hidden random variables of a Bayesian network is given by using the tropicalization of the marginal distribution of the observed variables. By restricting the topological structure to graded networks, an inference algorithm for graded Bayesian networks will be established that evaluates the hidden random variables rank by rank and in this way yields the most probable states of the hidden variables. This algorithm can be viewed as a generalized version of the Viterbi algorithm for graded Bayesian networks.
△ Less
Submitted 23 December, 2018;
originally announced January 2019.
-
Computations in Stochastic Acceptors
Authors:
Karl-Heinz Zimmermann
Abstract:
Machine learning provides algorithms that can learn from data and make inferences or predictions on data. Stochastic acceptors or probabilistic automata are stochastic automata without output that can model components in machine learning scenarios. In this paper, we provide dynamic programming algorithms for the computation of input marginals and the acceptance probabilities in stochastic acceptor…
▽ More
Machine learning provides algorithms that can learn from data and make inferences or predictions on data. Stochastic acceptors or probabilistic automata are stochastic automata without output that can model components in machine learning scenarios. In this paper, we provide dynamic programming algorithms for the computation of input marginals and the acceptance probabilities in stochastic acceptors. Furthermore, we specify an algorithm for the parameter estimation of the conditional probabilities using the expectation-maximization technique and a more efficient implementation related to the Baum-Welch algorithm.
△ Less
Submitted 23 December, 2018;
originally announced December 2018.
-
Low Magnetic Field Regime of a Gate-Defined Constriction in High-Mobility Graphene
Authors:
Louis Veyrat,
Anna Jordan,
Katrin Zimmermann,
Frederic Gay,
Kenji Watanabe,
Takeshi Taniguchi,
Hermann Sellier,
Benjamin Sacépé
Abstract:
We report on the evolution of the coherent electronic transport through a gate-defined constriction in a high-mobility graphene device from ballistic transport to quantum Hall regime upon increasing the magnetic field. At low field, the conductance exhibits Fabry-Pérot resonances resulting from the npn cavities formed beneath the top-gated regions. Above a critical field $B^*$ corresponding to the…
▽ More
We report on the evolution of the coherent electronic transport through a gate-defined constriction in a high-mobility graphene device from ballistic transport to quantum Hall regime upon increasing the magnetic field. At low field, the conductance exhibits Fabry-Pérot resonances resulting from the npn cavities formed beneath the top-gated regions. Above a critical field $B^*$ corresponding to the cyclotron radius equal to the npn cavity length, Fabry-Pérot resonances vanish and snake trajectories are guided through the constriction with a characteristic set of conductance oscillations. Increasing further the magnetic field allows us to probe the Landau level spectrum in the constriction, with distortions due to the combination of confinement and de-confinement of Landau levels in a saddle potential. These observations are confirmed by numerical calculations.
△ Less
Submitted 2 December, 2018; v1 submitted 26 June, 2018;
originally announced June 2018.
-
Data-driven Policy Transfer with Imprecise Perception Simulation
Authors:
Martin Pecka,
Karel Zimmermann,
Matěj Petrlík,
Tomáš Svoboda
Abstract:
The paper presents a complete pipeline for learning continuous motion control policies for a mobile robot when only a non-differentiable physics simulator of robot-terrain interactions is available. The multi-modal state estimation of the robot is also complex and difficult to simulate, so we simultaneously learn a generative model which refines simulator outputs. We propose a coarse-to-fine learn…
▽ More
The paper presents a complete pipeline for learning continuous motion control policies for a mobile robot when only a non-differentiable physics simulator of robot-terrain interactions is available. The multi-modal state estimation of the robot is also complex and difficult to simulate, so we simultaneously learn a generative model which refines simulator outputs. We propose a coarse-to-fine learning paradigm, where the coarse motion planning is alternated with imitation learning and policy transfer to the real robot. The policy is jointly optimized with the generative model. We evaluate the method on a real-world platform in a batch of experiments.
△ Less
Submitted 21 June, 2022; v1 submitted 5 April, 2018;
originally announced April 2018.
-
Bound on dissipative effects from semileptonic neutral B-meson decays
Authors:
F. Benatti,
R. Floreanini,
S. Marcantoni,
P. Pinotti,
K. Zimmermann
Abstract:
The semileptonic decay asymmetry $\mathcal{A}_{Δm}$ is studied within the open quantum systems approach to the physics of the neutral meson $B^0$-$\overline{B^0}$ system: this extended treatment takes into account possible non-standard, dissipative effects induced by the presence of an external environment. A bound on these effects is provided through the analysis of available experimental data fr…
▽ More
The semileptonic decay asymmetry $\mathcal{A}_{Δm}$ is studied within the open quantum systems approach to the physics of the neutral meson $B^0$-$\overline{B^0}$ system: this extended treatment takes into account possible non-standard, dissipative effects induced by the presence of an external environment. A bound on these effects is provided through the analysis of available experimental data from the Belle Collaboration.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Learning for Active 3D Map**
Authors:
Karel Zimmermann,
Tomas Petricek,
Vojtech Salansky,
Tomas Svoboda
Abstract:
We propose an active 3D map** method for depth sensors, which allow individual control of depth-measuring rays, such as the newly emerging solid-state lidars. The method simultaneously (i) learns to reconstruct a dense 3D occupancy map from sparse depth measurements, and (ii) optimizes the reactive control of depth-measuring rays. To make the first step towards the online control optimization, w…
▽ More
We propose an active 3D map** method for depth sensors, which allow individual control of depth-measuring rays, such as the newly emerging solid-state lidars. The method simultaneously (i) learns to reconstruct a dense 3D occupancy map from sparse depth measurements, and (ii) optimizes the reactive control of depth-measuring rays. To make the first step towards the online control optimization, we propose a fast prioritized greedy algorithm, which needs to update its cost function in only a small fraction of pos- sible rays. The approximation ratio of the greedy algorithm is derived. An experimental evaluation on the subset of the KITTI dataset demonstrates significant improve- ment in the 3D map accuracy when learning-to-reconstruct from sparse measurements is coupled with the optimization of depth-measuring rays.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Fast Simulation of Vehicles with Non-deformable Tracks
Authors:
Martin Pecka,
Karel Zimmermann,
Tomáš Svoboda
Abstract:
This paper presents a novel technique that allows for both computationally fast and sufficiently plausible simulation of vehicles with non-deformable tracks. The method is based on an effect we have called Contact Surface Motion. A comparison with several other methods for simulation of tracked vehicle dynamics is presented with the aim to evaluate methods that are available off-the-shelf or with…
▽ More
This paper presents a novel technique that allows for both computationally fast and sufficiently plausible simulation of vehicles with non-deformable tracks. The method is based on an effect we have called Contact Surface Motion. A comparison with several other methods for simulation of tracked vehicle dynamics is presented with the aim to evaluate methods that are available off-the-shelf or with minimum effort in general-purpose robotics simulators. The proposed method is implemented as a plugin for the open-source physics-based simulator Gazebo using the Open Dynamics Engine.
△ Less
Submitted 21 June, 2022; v1 submitted 13 March, 2017;
originally announced March 2017.
-
The inversion of motion of bristle bots: analytical and experimental analysis
Authors:
Giancarlo Cicconofri,
Felix Becker,
Giovanni Noselli,
Antonio DeSimone,
Klaus Zimmermann
Abstract:
Bristle bots are vibration-driven robots actuated by the motion of an internal oscillating mass. Vibrations are translated into directed locomotion due to the alternating friction resistance between robots' bristles and the substrate during oscillations. Bristle bots are, in general, unidirectional locomotion systems. In this paper we demonstrate that motion direction of vertically vibrated bristl…
▽ More
Bristle bots are vibration-driven robots actuated by the motion of an internal oscillating mass. Vibrations are translated into directed locomotion due to the alternating friction resistance between robots' bristles and the substrate during oscillations. Bristle bots are, in general, unidirectional locomotion systems. In this paper we demonstrate that motion direction of vertically vibrated bristle systems can be controlled by tuning the frequency of their oscillatory actuation. We report theoretical and experimental results obtained by studying an equivalent system, consisting of an inactive robot placed on a vertically vibrating substrate.
△ Less
Submitted 1 February, 2017;
originally announced February 2017.
-
Controlling Robot Morphology from Incomplete Measurements
Authors:
Martin Pecka,
Karel Zimmermann,
Michal Reinštein,
Tomáš Svoboda
Abstract:
Mobile robots with complex morphology are essential for traversing rough terrains in Urban Search & Rescue missions (USAR). Since teleoperation of the complex morphology causes high cognitive load of the operator, the morphology is controlled autonomously. The autonomous control measures the robot state and surrounding terrain which is usually only partially observable, and thus the data are often…
▽ More
Mobile robots with complex morphology are essential for traversing rough terrains in Urban Search & Rescue missions (USAR). Since teleoperation of the complex morphology causes high cognitive load of the operator, the morphology is controlled autonomously. The autonomous control measures the robot state and surrounding terrain which is usually only partially observable, and thus the data are often incomplete. We marginalize the control over the missing measurements and evaluate an explicit safety condition. If the safety condition is violated, tactile terrain exploration by the body-mounted robotic arm gathers the missing data.
△ Less
Submitted 8 December, 2016;
originally announced December 2016.
-
Tunable transmission of quantum Hall edge channels with full degeneracy lifting in split-gated graphene devices
Authors:
Katrin Zimmermann,
Anna Jordan,
Frédéric Gay,
Kenji Watanabe,
Takashi Taniguchi,
Zheng Han,
Vincent Bouchiat,
Hermann Sellier,
Benjamin Sacépé
Abstract:
Charge carriers in the quantum Hall regime propagate via one-dimensional conducting channels that form along the edges of a two-dimensional electron gas. Controlling their transmission through a gate-tunable constriction, also called quantum point contact (QPC), is fundamental for many coherent transport experiments. However, in graphene, tailoring a QPC with electrostatic gates remains challengin…
▽ More
Charge carriers in the quantum Hall regime propagate via one-dimensional conducting channels that form along the edges of a two-dimensional electron gas. Controlling their transmission through a gate-tunable constriction, also called quantum point contact (QPC), is fundamental for many coherent transport experiments. However, in graphene, tailoring a QPC with electrostatic gates remains challenging due to the formation of p-n junctions below gate electrodes along which electron and hole edge channels co-propagate and mix, short-circuiting the constriction. Here we show that this electron-hole mixing is drastically reduced in high mobility boron-nitride/graphene/boron-nitride van-der-Waals heterostructures thanks to the full degeneracy lifting of the Landau levels, enabling QPC operation with full channel pinch-off. We demonstrate gate-tunable selective transmission of quantum Hall edge channels through the QPC, both in the integer and the fractional quantum Hall regimes. This gate-control of edge channel propagation in graphene van-der-Waals heterostructures opens the door to quantum Hall interferometry and electron quantum optics experiments in the integer and fractional quantum Hall regimes of graphene.
△ Less
Submitted 5 March, 2017; v1 submitted 27 May, 2016;
originally announced May 2016.
-
Quantum interferences reconstruction with low homodyne detection efficiency
Authors:
M. Esposito,
F. Randi,
K. Titimbo,
K. Zimmermann,
G. Kourousias,
A. Curri,
R. Floreanini,
F. Parmigiani,
D. Fausti,
F. Benatti
Abstract:
Standard quantum state reconstruction techniques indicate that a detection efficiency of $0.5$ is an absolute threshold below which quantum interferences cannot be measured. However, alternative statistical techniques suggest that this threshold can be overcome at the price of increasing the statistics used for the reconstruction. In the following we present numerical experiments proving that quan…
▽ More
Standard quantum state reconstruction techniques indicate that a detection efficiency of $0.5$ is an absolute threshold below which quantum interferences cannot be measured. However, alternative statistical techniques suggest that this threshold can be overcome at the price of increasing the statistics used for the reconstruction. In the following we present numerical experiments proving that quantum interferences can be measured even with a detection efficiency smaller than $0.5$. At the same time we provide a guideline for handling the tomographic reconstruction of quantum states based on homodyne data collected by low efficiency detectors.
△ Less
Submitted 31 August, 2015;
originally announced August 2015.
-
Photon number statistics uncover the fluctuations in non-equilibrium lattice dynamics
Authors:
Martina Esposito,
Kelvin Titimbo,
Klaus Zimmermann,
Francesca Giusti,
Francesco Randi,
Davide Boschetto,
Fulvio Parmigiani,
Roberto Floreanini,
Fabio Benatti,
Daniele Fausti
Abstract:
Fluctuations of the atomic positions are at the core of a large class of unusual material properties ranging from quantum para-electricity to high temperature superconductivity. Their measurement in solids is the subject of an intense scientific debate focused on seeking a methodology capable of establishing a direct link between the variance of the atomic displacements and experimentally measurab…
▽ More
Fluctuations of the atomic positions are at the core of a large class of unusual material properties ranging from quantum para-electricity to high temperature superconductivity. Their measurement in solids is the subject of an intense scientific debate focused on seeking a methodology capable of establishing a direct link between the variance of the atomic displacements and experimentally measurable observables. Here we address this issue by means of non-equilibrium optical experiments performed in shot-noise limited regime. The variance of the time dependent atomic positions and momenta is directly mapped into the quantum fluctuations of the photon number of the scattered probing light. A fully quantum description of the non-linear interaction between photonic and phononic fields is benchmarked by unveiling the squeezing of thermal phonons in $α$-quartz.
△ Less
Submitted 14 January, 2016; v1 submitted 15 July, 2015;
originally announced July 2015.
-
Extracting partial decay rates of helium from complex rotation: autoionizing resonances of the one-dimensional configurations
Authors:
Klaus Zimmermann,
Pierre Lugan,
Felix Jörder,
Nicolai Heitz,
Maximilian Schmidt,
Celsus Bouri,
Alberto Rodriguez,
Andreas Buchleitner
Abstract:
Partial autoionization rates of doubly excited one-dimensional helium in the collinear Zee and eZe configuration are obtained by means of the complex rotation method. The approach presented here relies on a projection of back-rotated resonance wave functions onto singly ionized $\textrm{He}^{+}$ channel wave functions and the computation of the corresponding particle fluxes. In spite of the long-r…
▽ More
Partial autoionization rates of doubly excited one-dimensional helium in the collinear Zee and eZe configuration are obtained by means of the complex rotation method. The approach presented here relies on a projection of back-rotated resonance wave functions onto singly ionized $\textrm{He}^{+}$ channel wave functions and the computation of the corresponding particle fluxes. In spite of the long-range nature of the Coulomb potential between the electrons and the nucleus, an asymptotic region where the fluxes are stationary is clearly observed. Low-lying doubly excited states are found to decay predomintantly into the nearest single-ionization continuum. This approach paves the way for a systematic analysis of the decay rates observed in higher-dimensional models, and of the role of electronic correlations and atomic structure in recent photoionization experiments.
△ Less
Submitted 21 August, 2014;
originally announced August 2014.
-
D-Bees: A Novel Method Inspired by Bee Colony Optimization for Solving Word Sense Disambiguation
Authors:
Sallam Abualhaija,
Karl-Heinz Zimmermann
Abstract:
Word sense disambiguation (WSD) is a problem in the field of computational linguistics given as finding the intended sense of a word (or a set of words) when it is activated within a certain context. WSD was recently addressed as a combinatorial optimization problem in which the goal is to find a sequence of senses that maximize the semantic relatedness among the target words. In this article, a n…
▽ More
Word sense disambiguation (WSD) is a problem in the field of computational linguistics given as finding the intended sense of a word (or a set of words) when it is activated within a certain context. WSD was recently addressed as a combinatorial optimization problem in which the goal is to find a sequence of senses that maximize the semantic relatedness among the target words. In this article, a novel algorithm for solving the WSD problem called D-Bees is proposed which is inspired by bee colony optimization (BCO)where artificial bee agents collaborate to solve the problem. The D-Bees algorithm is evaluated on a standard dataset (SemEval 2007 coarse-grained English all-words task corpus)and is compared to simulated annealing, genetic algorithms, and two ant colony optimization techniques (ACO). It will be observed that the BCO and ACO approaches are on par.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
Graver Bases and Universal Gröbner Bases for Linear Codes
Authors:
Natalia Dück,
Karl-Heinz Zimmermann
Abstract:
Two correspondences have been provided that associate any linear code over a finite field with a binomial ideal. In this paper, algorithms for computing their Graver bases and universal Gröbner bases are given. To this end, a connection between these binomial ideals and toric ideals will be established.
Two correspondences have been provided that associate any linear code over a finite field with a binomial ideal. In this paper, algorithms for computing their Graver bases and universal Gröbner bases are given. To this end, a connection between these binomial ideals and toric ideals will be established.
△ Less
Submitted 7 May, 2014; v1 submitted 24 January, 2014;
originally announced January 2014.
-
On Binomial Ideals associated to Linear Codes
Authors:
N. Dück,
K. -H. Zimmermann
Abstract:
Recently, it was shown that a binary linear code can be associated to a binomial ideal given as the sum of a toric ideal and a non-prime ideal. Since then two different generalizations have been provided which coincide for the binary case. In this paper, we establish some connections between the two approaches. In particular, we show that the corresponding code ideals are related by elimination. F…
▽ More
Recently, it was shown that a binary linear code can be associated to a binomial ideal given as the sum of a toric ideal and a non-prime ideal. Since then two different generalizations have been provided which coincide for the binary case. In this paper, we establish some connections between the two approaches. In particular, we show that the corresponding code ideals are related by elimination. Finally, a new heuristic decoding method for linear codes over prime fields is discussed using Gröbner bases.
△ Less
Submitted 13 January, 2014;
originally announced January 2014.
-
Interaction effects on dynamical localization in driven helium
Authors:
Felix Jörder,
Klaus Zimmermann,
Alberto Rodriguez,
Andreas Buchleitner
Abstract:
Dynamical localization prevents driven atomic systems from fast fragmentation by hampering the excitation process. We present numerical simulations within a collinear model of microwave-driven helium Rydberg atoms and prove that dynamical localization survives the impact of electron-electron interaction, even for doubly excited states in the presence of fast autoionization. We conclude that the ef…
▽ More
Dynamical localization prevents driven atomic systems from fast fragmentation by hampering the excitation process. We present numerical simulations within a collinear model of microwave-driven helium Rydberg atoms and prove that dynamical localization survives the impact of electron-electron interaction, even for doubly excited states in the presence of fast autoionization. We conclude that the effect of electron-electron repulsion on localization can be described by an appropriate rescaling of the atomic level density and of the external field with the strength of the interaction.
△ Less
Submitted 22 August, 2014; v1 submitted 22 November, 2013;
originally announced November 2013.
-
Direct solutions to tropical optimization problems with nonlinear objective functions and boundary constraints
Authors:
Nikolai Krivulin,
Karel Zimmermann
Abstract:
We examine two multidimensional optimization problems that are formulated in terms of tropical mathematics. The problems are to minimize nonlinear objective functions, which are defined through the multiplicative conjugate vector transposition on vectors of a finite-dimensional semimodule over an idempotent semifield, and subject to boundary constraints. The solution approach is implemented, which…
▽ More
We examine two multidimensional optimization problems that are formulated in terms of tropical mathematics. The problems are to minimize nonlinear objective functions, which are defined through the multiplicative conjugate vector transposition on vectors of a finite-dimensional semimodule over an idempotent semifield, and subject to boundary constraints. The solution approach is implemented, which involves the derivation of the sharp bounds on the objective functions, followed by determination of vectors that yield the bound. Based on the approach, direct solutions to the problems are obtained in a compact vector form. To illustrate, we apply the results to solving constrained Chebyshev approximation and location problems, and give numerical examples.
△ Less
Submitted 10 November, 2013;
originally announced November 2013.
-
Universal Gröbner Bases for Binary Linear Codes
Authors:
Natalia Dück,
Karl-Heinz Zimmermann
Abstract:
Each linear code can be described by a code ideal given as the sum of a toric ideal and a non-prime ideal. In this way, several concepts from the theory of toric ideals can be translated into the setting of code ideals. It will be shown that after adjusting some of these concepts, the same inclusion relationship between the set of circuits, the universal Gröbner basis and the Graver basis holds. F…
▽ More
Each linear code can be described by a code ideal given as the sum of a toric ideal and a non-prime ideal. In this way, several concepts from the theory of toric ideals can be translated into the setting of code ideals. It will be shown that after adjusting some of these concepts, the same inclusion relationship between the set of circuits, the universal Gröbner basis and the Graver basis holds. Furthermore, in the case of binary linear codes, the universal Gröbner basis will consist of all binomials which correspond to codewords that satisfy the Singleton bound and a particular rank condition. This will give rise to a new class of binary linear codes denoted as Singleton codes.
△ Less
Submitted 4 April, 2013;
originally announced April 2013.
-
A Variant of the Gröbner Basis Algorithm for Computing Hilbert Bases
Authors:
Natalia Dück,
Karl-Heinz Zimmermann
Abstract:
Gröbner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field given as a matrix kernel.
Gröbner bases can be used for computing the Hilbert basis of a numerical submonoid. By using these techniques, we provide an algorithm that calculates a basis of a subspace of a finite-dimensional vector space over a finite prime field given as a matrix kernel.
△ Less
Submitted 25 March, 2013;
originally announced March 2013.
-
Tunneling decay of two interacting bosons in an asymmetric double-well potential: A spectral approach
Authors:
Stefan Hunn,
Klaus Zimmermann,
Moritz Hiller,
Andreas Buchleitner
Abstract:
We study the full-fledged microscopic dynamics of two interacting, ultracold bosons in a one- dimensional double-well potential, through the numerically exact diagonalization of the many-body Hamiltonian. With the particles initially prepared in the left well, we increase the width of the right well in subsequent trap realizations and witness how the tunneling oscillations evolve into particle los…
▽ More
We study the full-fledged microscopic dynamics of two interacting, ultracold bosons in a one- dimensional double-well potential, through the numerically exact diagonalization of the many-body Hamiltonian. With the particles initially prepared in the left well, we increase the width of the right well in subsequent trap realizations and witness how the tunneling oscillations evolve into particle loss. In this closed system, we analyze the spectral signatures of single- and two-particle tunneling for the entire range of repulsive interactions. We conclude that for comparable widths of the two wells, pair-wise tunneling of the bosons may be realized for specific system parameters. In contrast, the decay process (corresponding to a broad right well) is dominated by uncorrelated single-particle decay.
△ Less
Submitted 14 May, 2013; v1 submitted 5 February, 2013;
originally announced February 2013.
-
Two-photon laser excitation of trapped 232Th+ ions via the 402 nm resonance line
Authors:
O. A. Herrera-Sancho,
M. V. Okhapkin,
K. Zimmermann,
Chr. Tamm,
E. Peik,
A. V. Taichenachev,
V. I. Yudin,
P. Glowacki
Abstract:
Experiments on one- and two-photon laser excitation of 232Th+ ions in a radiofrequency ion trap are reported. As the first excitation step, the strongest resonance line at 402 nm from the 6d^2 7s J=3/2 ground state to the 6d7s7p J=5/2 state at 24874 cm^{-1} is driven by radiation from an extended cavity diode laser. Spontaneous decay of the intermediate state populates a number of low-lying metast…
▽ More
Experiments on one- and two-photon laser excitation of 232Th+ ions in a radiofrequency ion trap are reported. As the first excitation step, the strongest resonance line at 402 nm from the 6d^2 7s J=3/2 ground state to the 6d7s7p J=5/2 state at 24874 cm^{-1} is driven by radiation from an extended cavity diode laser. Spontaneous decay of the intermediate state populates a number of low-lying metastable states, thus limiting the excited state population and fluorescence signal obtainable with continuous laser excitation. We study the collisional quenching efficiency of helium, argon, and nitrogen buffer gases, and the effect of repum** laser excitation from the three lowest-lying metastable levels. The experimental results are compared with a four-level rate equation model, that allows us to deduce quenching rates for these buffer gases. Using laser radiation at 399 nm for the second step, we demonstrate two-photon excitation to the state at 49960 cm^{-1}, among the highest-lying classified levels of Th+. This is of interest as a test case for the search for higher-lying levels in the range above 55000 cm^{-1} which can resonantly enhance the excitation of the 229Th+ nuclear resonance through an inverse two-photon electronic bridge process.
△ Less
Submitted 1 February, 2012;
originally announced February 2012.
-
Laser ablation loading of a radiofrequency ion trap
Authors:
K. Zimmermann,
M. V. Okhapkin,
O. A. Herrera-Sancho,
E. Peik
Abstract:
The production of ions via laser ablation for the loading of radiofrequency (RF) ion traps is investigated using a nitrogen laser with a maximum pulse energy of 0.17 mJ and a peak intensity of about 250 MW/cm^2. A time-of-flight mass spectrometer is used to measure the ion yield and the distribution of the charge states. Singly charged ions of elements that are presently considered for the use in…
▽ More
The production of ions via laser ablation for the loading of radiofrequency (RF) ion traps is investigated using a nitrogen laser with a maximum pulse energy of 0.17 mJ and a peak intensity of about 250 MW/cm^2. A time-of-flight mass spectrometer is used to measure the ion yield and the distribution of the charge states. Singly charged ions of elements that are presently considered for the use in optical clocks or quantum logic applications could be produced from metallic samples at a rate of the order of magnitude 10^5 ions per pulse. A linear Paul trap was loaded with Th+ ions produced by laser ablation. An overall ion production and trap** efficiency of 10^-7 to 10^-6 was attained. For ions injected individually, a dependence of the capture probability on the phase of the RF field has been predicted. In the experiment this was not observed, presumably because of collective effects within the ablation plume.
△ Less
Submitted 7 December, 2011;
originally announced December 2011.
-
On the Communication of Scientific Results: The Full-Metadata Format
Authors:
Moritz Riede,
Rico Schueppel,
Kristian O. Sylvester-Hvid,
Martin Kuehne,
Michael C. Roettger,
Klaus Zimmermann,
Andreas W. Liehr
Abstract:
In this paper, we introduce a scientific format for text-based data files, which facilitates storing and communicating tabular data sets. The so-called Full-Metadata Format builds on the widely used INI-standard and is based on four principles: readable self-documentation, flexible structure, fail-safe compatibility, and searchability. As a consequence, all metadata required to interpret the tab…
▽ More
In this paper, we introduce a scientific format for text-based data files, which facilitates storing and communicating tabular data sets. The so-called Full-Metadata Format builds on the widely used INI-standard and is based on four principles: readable self-documentation, flexible structure, fail-safe compatibility, and searchability. As a consequence, all metadata required to interpret the tabular data are stored in the same file, allowing for the automated generation of publication-ready tables and graphs and the semantic searchability of data file collections. The Full-Metadata Format is introduced on the basis of three comprehensive examples. The complete format and syntax is given in the appendix.
△ Less
Submitted 8 April, 2009;
originally announced April 2009.
-
Prospects for a Nuclear Optical Frequency Standard based on Thorium-229
Authors:
E. Peik,
K. Zimmermann,
M. Okhapkin,
Chr. Tamm
Abstract:
The 7.6-eV-isomer of Thorium-229 offers the opportunity to perform high resolution laser spectroscopy of a nuclear transition. We give a brief review of the investigations of this isomer. The nuclear resonance connecting ground state and isomer may be used as the reference of an optical clock of very high accuracy using trapped and laser-cooled thorium ions, or in a compact solid-state optical f…
▽ More
The 7.6-eV-isomer of Thorium-229 offers the opportunity to perform high resolution laser spectroscopy of a nuclear transition. We give a brief review of the investigations of this isomer. The nuclear resonance connecting ground state and isomer may be used as the reference of an optical clock of very high accuracy using trapped and laser-cooled thorium ions, or in a compact solid-state optical frequency standard of high stability.
△ Less
Submitted 3 February, 2009; v1 submitted 18 December, 2008;
originally announced December 2008.
