-
Strict Self-Assembly of Discrete Self-Similar Fractal Shapes
Authors:
Florent Becker
Abstract:
This paper gives a (polynomial time) algorithm to decide whether a given Discrete Self-Similar Fractal Shape can be assembled in the aTAM model.In the positive case, the construction relies on a Self-Assembling System in the aTAM which strictly assembles a particular self-similar fractal shape, namely a variant $K^\infty$ of the Sierpinski Carpet. We prove that the aTAM we propose is correct throu…
▽ More
This paper gives a (polynomial time) algorithm to decide whether a given Discrete Self-Similar Fractal Shape can be assembled in the aTAM model.In the positive case, the construction relies on a Self-Assembling System in the aTAM which strictly assembles a particular self-similar fractal shape, namely a variant $K^\infty$ of the Sierpinski Carpet. We prove that the aTAM we propose is correct through a novel device, \emph{self-describing circuits} which are generally useful for rigorous yet readable proofs of the behaviour of aTAMs.We then discuss which self-similar fractals can or cannot be strictly self-assembled in the aTAM. It turns out that the ability of iterates of the generator to pass information is crucial: either this \emph{bandwidth} is eventually sufficient in both cardinal directions and $K^\infty$ appears within the fractal pattern after some finite number of iterations, or that bandwidth remains ever insufficient in one direction and any aTAM trying to self-assemble the shape will end up either bounded with an ultimately periodic pattern covering arbitrarily large squares. This is established thanks to a new characterization of the productions of systems whose productions have a uniformly bounded treewidth.
△ Less
Submitted 3 June, 2024; v1 submitted 14 May, 2024;
originally announced May 2024.
-
Unified Quantification of Quantum Defects in Small-Diameter Single-Walled Carbon Nanotubes by Raman Spectroscopy
Authors:
Finn L. Sebastian,
Felicitas Becker,
Yohei Yomogida,
Yuuya Hosokawa,
Simon Settele,
Sebastian Lindenthal,
Kazuhiro Yanagi,
Jana Zaumseil
Abstract:
The covalent functionalization of single-walled carbon nanotubes (SWCNTs) with luminescent quantum defects enables their application as near-infrared single-photon sources, as optical sensors, and for in-vivo tissue imaging. Tuning the emission wavelength and defect density are crucial for these applications. While the former can be controlled by different synthetic protocols and is easily measure…
▽ More
The covalent functionalization of single-walled carbon nanotubes (SWCNTs) with luminescent quantum defects enables their application as near-infrared single-photon sources, as optical sensors, and for in-vivo tissue imaging. Tuning the emission wavelength and defect density are crucial for these applications. While the former can be controlled by different synthetic protocols and is easily measured, defect densities are still determined as relative rather than absolute values, limiting the comparability between different nanotube batches and chiralities. Here, we present an absolute and unified quantification metric for the defect density in SWCNT samples based on Raman spectroscopy. It is applicable to a range of small-diameter nanotubes and for arbitrary laser wavelengths. We observe a clear inverse correlation of the D/G$^{+}$ ratio increase with nanotube diameter, indicating that curvature effects contribute significantly to the defect-activation of Raman modes. Correlation of intermediate frequency modes with defect densities further corroborates their activation by defects and provides additional quantitative metrics for the characterization of functionalized SWCNTs.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Loci-Segmented: Improving Scene Segmentation Learning
Authors:
Manuel Traub,
Frederic Becker,
Adrian Sauter,
Sebastian Otte,
Martin V. Butz
Abstract:
Current slot-oriented approaches for compositional scene segmentation from images and videos rely on provided background information or slot assignments. We present a segmented location and identity tracking system, Loci-Segmented (Loci-s), which does not require either of this information. It learns to dynamically segment scenes into interpretable background and slot-based object encodings, separ…
▽ More
Current slot-oriented approaches for compositional scene segmentation from images and videos rely on provided background information or slot assignments. We present a segmented location and identity tracking system, Loci-Segmented (Loci-s), which does not require either of this information. It learns to dynamically segment scenes into interpretable background and slot-based object encodings, separating rgb, mask, location, and depth information for each. The results reveal largely superior video decomposition performance in the MOVi datasets and in another established dataset collection targeting scene segmentation. The system's well-interpretable, compositional latent encodings may serve as a foundation model for downstream tasks.
△ Less
Submitted 6 February, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Learning Object Permanence from Videos via Latent Imaginations
Authors:
Manuel Traub,
Frederic Becker,
Sebastian Otte,
Martin V. Butz
Abstract:
While human infants exhibit knowledge about object permanence from two months of age onwards, deep-learning approaches still largely fail to recognize objects' continued existence. We introduce a slot-based autoregressive deep learning system, the looped location and identity tracking model Loci-Looped, which learns to adaptively fuse latent imaginations with pixel-space observations into consiste…
▽ More
While human infants exhibit knowledge about object permanence from two months of age onwards, deep-learning approaches still largely fail to recognize objects' continued existence. We introduce a slot-based autoregressive deep learning system, the looped location and identity tracking model Loci-Looped, which learns to adaptively fuse latent imaginations with pixel-space observations into consistent latent object-specific what and where encodings over time. The novel loop empowers Loci-Looped to learn the physical concepts of object permanence, directional inertia, and object solidity through observation alone. As a result, Loci-Looped tracks objects through occlusions, anticipates their reappearance, and shows signs of surprise and internal revisions when observing implausible object behavior. Notably, Loci-Looped outperforms state-of-the-art baseline models in handling object occlusions and temporary sensory interruptions while exhibiting more compositional, interpretable internal activity patterns. Our work thus introduces the first self-supervised interpretable learning model that learns about object permanence directly from video data without supervision.
△ Less
Submitted 11 April, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
A python tool to determine the thickness of the hydrate layer around clinker grains using SEM-BSE images
Authors:
Florian Kleiner,
Franz Becker,
Christiane Rößler,
Horst-Michael Ludwig
Abstract:
To accurately simulate the hydration process of cementitious materials, understanding the growth rate of C-S-H layers around clinker grains is crucial. Nonetheless, the thickness of the hydrate layer shows substantial variation around individual grains, depending on their surrounding. Consequently, it is not feasible to measure hydrate layers manually in a reliable and reproducible manner. To addr…
▽ More
To accurately simulate the hydration process of cementitious materials, understanding the growth rate of C-S-H layers around clinker grains is crucial. Nonetheless, the thickness of the hydrate layer shows substantial variation around individual grains, depending on their surrounding. Consequently, it is not feasible to measure hydrate layers manually in a reliable and reproducible manner. To address this challenge, a software has been developed to statistically determine the C-S-H thickness, requiring minimal manual interventions for thresholding and for setting limits like particle size or circularity.
This study presents a tool, which automatically identifies suitable clinker grains and and perform statistical measurements of their hydrate layer up to a specimen age of 28 days. The findings reveal a significant increase in the C-S-H layer, starting from 0.45 micrometer after 1 day and reaching 3.04 micrometer after 28 days. However, for older specimens, the measurement of the C-S-H layer was not feasible due to limited pore space and clinker grains.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
A Modular and Adaptive System for Business Email Compromise Detection
Authors:
Jan Brabec,
Filip Šrajer,
Radek Starosta,
Tomáš Sixta,
Marc Dupont,
Miloš Lenoch,
Jiří Menšík,
Florian Becker,
Jakub Boros,
Tomáš Pop,
Pavel Novák
Abstract:
The growing sophistication of Business Email Compromise (BEC) and spear phishing attacks poses significant challenges to organizations worldwide. The techniques featured in traditional spam and phishing detection are insufficient due to the tailored nature of modern BEC attacks as they often blend in with the regular benign traffic. Recent advances in machine learning, particularly in Natural Lang…
▽ More
The growing sophistication of Business Email Compromise (BEC) and spear phishing attacks poses significant challenges to organizations worldwide. The techniques featured in traditional spam and phishing detection are insufficient due to the tailored nature of modern BEC attacks as they often blend in with the regular benign traffic. Recent advances in machine learning, particularly in Natural Language Understanding (NLU), offer a promising avenue for combating such attacks but in a practical system, due to limitations such as data availability, operational costs, verdict explainability requirements or a need to robustly evolve the system, it is essential to combine multiple approaches together. We present CAPE, a comprehensive and efficient system for BEC detection that has been proven in a production environment for a period of over two years. Rather than being a single model, CAPE is a system that combines independent ML models and algorithms detecting BEC-related behaviors across various email modalities such as text, images, metadata and the email's communication context. This decomposition makes CAPE's verdicts naturally explainable. In the paper, we describe the design principles and constraints behind its architecture, as well as the challenges of model design, evaluation and adapting the system continuously through a Bayesian approach that combines limited data with domain knowledge. Furthermore, we elaborate on several specific behavioral detectors, such as those based on Transformer neural architectures.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
An Eigenvalue-Free Implementation of the Log-Conformation Formulation
Authors:
Florian Becker,
Katharina Rauthmann,
Lutz Pauli,
Philipp Knechtges
Abstract:
The log-conformation formulation, although highly successful, was from the beginning formulated as a partial differential equation that contains an, for PDEs unusual, eigenvalue decomposition of the unknown field. To this day, most numerical implementations have been based on this or a similar eigenvalue decomposition, with Knechtges et al. (2014) being the only notable exception for two-dimension…
▽ More
The log-conformation formulation, although highly successful, was from the beginning formulated as a partial differential equation that contains an, for PDEs unusual, eigenvalue decomposition of the unknown field. To this day, most numerical implementations have been based on this or a similar eigenvalue decomposition, with Knechtges et al. (2014) being the only notable exception for two-dimensional flows.
In this paper, we present an eigenvalue-free algorithm to compute the constitutive equation of the log-conformation formulation that works for two- and three-dimensional flows. Therefore, we first prove that the challenging terms in the constitutive equations are representable as a matrix function of a slightly modified matrix of the log-conformation field. We give a proof of equivalence of this term to the more common log-conformation formulations. Based on this formulation, we develop an eigenvalue-free algorithm to evaluate this matrix function. The resulting full formulation is first discretized using a finite volume method, and then tested on the confined cylinder and sedimenting sphere benchmarks.
△ Less
Submitted 7 November, 2023; v1 submitted 18 August, 2023;
originally announced August 2023.
-
DNA tile self-assembly for 3D-surfaces: Towards genus identification
Authors:
Florent Becker,
Shahrzad Heydarshahi
Abstract:
We introduce a new DNA tile self-assembly model: the Surface Flexible Tile Assembly Model (SFTAM), where 2D tiles are placed on host 3D surfaces made of axis-parallel unit cubes glued together by their faces, called polycubes. The bonds are flexible, so that the assembly can bind on the edges of the polycube. We are interested in the study of SFTAM self-assemblies on 3D surfaces which are not alwa…
▽ More
We introduce a new DNA tile self-assembly model: the Surface Flexible Tile Assembly Model (SFTAM), where 2D tiles are placed on host 3D surfaces made of axis-parallel unit cubes glued together by their faces, called polycubes. The bonds are flexible, so that the assembly can bind on the edges of the polycube. We are interested in the study of SFTAM self-assemblies on 3D surfaces which are not always embeddable in the Euclidean plane, in order to compare their different behaviors and to compute the topological properties of the host surfaces.
We focus on a family of polycubes called cuboids. Order-0 cuboids are polycubes that have six rectangular faces, and order-1 cuboids are made from two order-0 cuboids by substracting one from the other. Thus, order-1 cuboids can be of genus 0 or of genus 1 (then they contain a tunnel). We are interested in the genus of these structures, and we present a SFTAM tile assembly system that determines the genus of a given order-1 cuboid. The SFTAM tile assembly system which we design, contains a specific set $Y$ of tile types with the following properties. If the assembly is made on a host order-1 cuboid $C$ of genus 0, no tile of $Y$ appears in any producible assembly, but if $C$ has genus 1, every terminal assembly contains at least one tile of $Y$.
Thus, we are able to distinguish the host surfaces according to their genus, by the tiles used in the assembly. This system is specific to order-1 cuboids but the techniques we use should be generalizable to other families of shapes.
△ Less
Submitted 15 June, 2023; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Unsupervised EHR-based Phenoty** via Matrix and Tensor Decompositions
Authors:
Florian Becker,
Age K. Smilde,
Evrim Acar
Abstract:
Computational phenoty** allows for unsupervised discovery of subgroups of patients as well as corresponding co-occurring medical conditions from electronic health records (EHR). Typically, EHR data contains demographic information, diagnoses and laboratory results. Discovering (novel) phenotypes has the potential to be of prognostic and therapeutic value. Providing medical practitioners with tra…
▽ More
Computational phenoty** allows for unsupervised discovery of subgroups of patients as well as corresponding co-occurring medical conditions from electronic health records (EHR). Typically, EHR data contains demographic information, diagnoses and laboratory results. Discovering (novel) phenotypes has the potential to be of prognostic and therapeutic value. Providing medical practitioners with transparent and interpretable results is an important requirement and an essential part for advancing precision medicine. Low-rank data approximation methods such as matrix (e.g., non-negative matrix factorization) and tensor decompositions (e.g., CANDECOMP/PARAFAC) have demonstrated that they can provide such transparent and interpretable insights. Recent developments have adapted low-rank data approximation methods by incorporating different constraints and regularizations that facilitate interpretability further. In addition, they offer solutions for common challenges within EHR data such as high dimensionality, data sparsity and incompleteness. Especially extracting temporal phenotypes from longitudinal EHR has received much attention in recent years. In this paper, we provide a comprehensive review of low-rank approximation-based approaches for computational phenoty**. The existing literature is categorized into temporal vs. static phenoty** approaches based on matrix vs. tensor decompositions. Furthermore, we outline different approaches for the validation of phenotypes, i.e., the assessment of clinical significance.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Boosting human decision-making with AI-generated decision aids
Authors:
Frederic Becker,
Julian Skirzyński,
Bas van Opheusden,
Falk Lieder
Abstract:
Human decision-making is plagued by many systematic errors. Many of these errors can be avoided by providing decision aids that guide decision-makers to attend to the important information and integrate it according to a rational decision strategy. Designing such decision aids used to be a tedious manual process. Advances in cognitive science might make it possible to automate this process in the…
▽ More
Human decision-making is plagued by many systematic errors. Many of these errors can be avoided by providing decision aids that guide decision-makers to attend to the important information and integrate it according to a rational decision strategy. Designing such decision aids used to be a tedious manual process. Advances in cognitive science might make it possible to automate this process in the future. We recently introduced machine learning methods for discovering optimal strategies for human decision-making automatically and an automatic method for explaining those strategies to people. Decision aids constructed by this method were able to improve human decision-making. However, following the descriptions generated by this method is very tedious. We hypothesized that this problem can be overcome by conveying the automatically discovered decision strategy as a series of natural language instructions for how to reach a decision. Experiment 1 showed that people do indeed understand such procedural instructions more easily than the decision aids generated by our previous method. Encouraged by this finding, we developed an algorithm for translating the output of our previous method into procedural instructions. We applied the improved method to automatically generate decision aids for a naturalistic planning task (i.e., planning a road trip) and a naturalistic decision task (i.e., choosing a mortgage). Experiment 2 showed that these automatically generated decision-aids significantly improved people's performance in planning a road trip and choosing a mortgage. These findings suggest that AI-powered boosting might have potential for improving human decision-making in the real world.
△ Less
Submitted 18 July, 2022; v1 submitted 5 March, 2022;
originally announced March 2022.
-
GemNet: Universal Directional Graph Neural Networks for Molecules
Authors:
Johannes Gasteiger,
Florian Becker,
Stephan Günnemann
Abstract:
Effectively predicting molecular interactions has the potential to accelerate molecular dynamics by multiple orders of magnitude and thus revolutionize chemical simulations. Graph neural networks (GNNs) have recently shown great successes for this task, overtaking classical methods based on fixed molecular kernels. However, they still appear very limited from a theoretical perspective, since regul…
▽ More
Effectively predicting molecular interactions has the potential to accelerate molecular dynamics by multiple orders of magnitude and thus revolutionize chemical simulations. Graph neural networks (GNNs) have recently shown great successes for this task, overtaking classical methods based on fixed molecular kernels. However, they still appear very limited from a theoretical perspective, since regular GNNs cannot distinguish certain types of graphs. In this work we close this gap between theory and practice. We show that GNNs with spherical representations are indeed universal approximators for predictions that are invariant to translation, and equivariant to permutation and rotation. We then discretize such GNNs via directed edge embeddings and two-hop message passing, and incorporate multiple structural improvements to arrive at the geometric message passing neural network (GemNet). We demonstrate the benefits of the proposed changes in multiple ablation studies. GemNet outperforms previous models on the COLL, MD17, and OC20 datasets by 34%, 41%, and 20%, respectively, and performs especially well on the most challenging molecules. Our implementation is available online.
△ Less
Submitted 22 June, 2024; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Photoluminescence of nitrogen-vacancy and silicon-vacancy color centers in phosphorus-doped diamond at room and higher temperatures
Authors:
F. Sledz,
S. Piccolomo,
A. M. Flatae,
S. Lagomarsino,
R. Rechenberg,
M. F. Becker,
S. Sciortino,
N. Gelli,
I. A. Khramtsov,
D. Yu. Fedyanin,
G. Speranza,
L. Giuntini,
M. Agio
Abstract:
Phosphorus-doped diamond is relevant for applications in sensing, optoelectronics and quantum photonics, since the unique optical properties of color centers in diamond can be combined with the n-type conductivity attained by the inclusion of phosphorus. Here, we investigate the photoluminescence signal of the nitrogen-vacancy and silicon-vacancy color centers in phosphorus-doped diamond as a func…
▽ More
Phosphorus-doped diamond is relevant for applications in sensing, optoelectronics and quantum photonics, since the unique optical properties of color centers in diamond can be combined with the n-type conductivity attained by the inclusion of phosphorus. Here, we investigate the photoluminescence signal of the nitrogen-vacancy and silicon-vacancy color centers in phosphorus-doped diamond as a function of temperature starting from ambient conditions up to about 100$^\circ$ Celsius, focusing on the zero-phonon line (ZPL). We find that the wavelength and width of the ZPL of the two color centers exhibit a comparable dependence on temperature, despite the strong difference in the photoluminescence spectra. Moreover, the temperature sensitivity of the ZPL of the silicon-vacancy center is not significantly affected by phosphorus-do**, as we infer by comparison with silicon-vacancy centers in electronic-grade single-crystal diamond.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Automatic Discovery of Interpretable Planning Strategies
Authors:
Julian Skirzyński,
Frederic Becker,
Falk Lieder
Abstract:
When making decisions, people often overlook critical information or are overly swayed by irrelevant information. A common approach to mitigate these biases is to provide decision-makers, especially professionals such as medical doctors, with decision aids, such as decision trees and flowcharts. Designing effective decision aids is a difficult problem. We propose that recently developed reinforcem…
▽ More
When making decisions, people often overlook critical information or are overly swayed by irrelevant information. A common approach to mitigate these biases is to provide decision-makers, especially professionals such as medical doctors, with decision aids, such as decision trees and flowcharts. Designing effective decision aids is a difficult problem. We propose that recently developed reinforcement learning methods for discovering clever heuristics for good decision-making can be partially leveraged to assist human experts in this design process. One of the biggest remaining obstacles to leveraging the aforementioned methods is that the policies they learn are opaque to people. To solve this problem, we introduce AI-Interpret: a general method for transforming idiosyncratic policies into simple and interpretable descriptions. Our algorithm combines recent advances in imitation learning and program induction with a new clustering method for identifying a large subset of demonstrations that can be accurately described by a simple, high-performing decision rule. We evaluate our new algorithm and employ it to translate information-acquisition policies discovered through metalevel reinforcement learning. The results of large behavioral experiments showed that prividing the decision rules generated by AI-Interpret as flowcharts significantly improved people's planning strategies and decisions across three diferent classes of sequential decision problems. Moreover, another experiment revealed that this approach is significantly more effective than training people by giving them performance feedback. Finally, a series of ablation studies confirmed that AI-Interpret is critical to the discovery of interpretable decision rules. We conclude that the methods and findings presented herein are an important step towards leveraging automatic strategy discovery to improve human decision-making.
△ Less
Submitted 10 April, 2021; v1 submitted 24 May, 2020;
originally announced May 2020.
-
Extraction and Assessment of Naturalistic Human Driving Trajectories from Infrastructure Camera and Radar Sensors
Authors:
Dominik Notz,
Felix Becker,
Thomas Kühbeck,
Daniel Watzenig
Abstract:
Collecting realistic driving trajectories is crucial for training machine learning models that imitate human driving behavior. Most of today's autonomous driving datasets contain only a few trajectories per location and are recorded with test vehicles that are cautiously driven by trained drivers. In particular in interactive scenarios such as highway merges, the test driver's behavior significant…
▽ More
Collecting realistic driving trajectories is crucial for training machine learning models that imitate human driving behavior. Most of today's autonomous driving datasets contain only a few trajectories per location and are recorded with test vehicles that are cautiously driven by trained drivers. In particular in interactive scenarios such as highway merges, the test driver's behavior significantly influences other vehicles. This influence prevents recording the whole traffic space of human driving behavior. In this work, we present a novel methodology to extract trajectories of traffic objects using infrastructure sensors. Infrastructure sensors allow us to record a lot of data for one location and take the test drivers out of the loop. We develop both a hardware setup consisting of a camera and a traffic surveillance radar and a trajectory extraction algorithm. Our vision pipeline accurately detects objects, fuses camera and radar detections and tracks them over time. We improve a state-of-the-art object tracker by combining the tracking in image coordinates with a Kalman filter in road coordinates. We show that our sensor fusion approach successfully combines the advantages of camera and radar detections and outperforms either single sensor. Finally, we also evaluate the accuracy of our trajectory extraction pipeline. For that, we equip our test vehicle with a differential GPS sensor and use it to collect ground truth trajectories. With this data we compute the measurement errors. While we use the mean error to de-bias the trajectories, the error standard deviation is in the magnitude of the ground truth data inaccuracy. Hence, the extracted trajectories are not only naturalistic but also highly accurate and prove the potential of using infrastructure sensors to extract real-world trajectories.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Silicon-vacancy color centers in phosphorus-doped diamond
Authors:
Assegid Mengistu Flatae,
Stefano Lagomarsino,
Florian Sledz,
Navid Soltani,
Shannon S. Nicley,
Ken Haenen,
Robert Rechenberg,
Michael F. Becker,
Silvio Sciortino,
Nicla Gelli,
Lorenzo Giuntini,
Francesco Taccetti,
Mario Agio
Abstract:
The controlled creation of color centers in phosphorus-doped (n-type) diamond can facilitate the electronics integration of quantum photonics devices, such as single-photon sources operating upon electrical injection. Silicon vacancy (SiV) color centers are promising candidates, but so far the conditions for single-photon emission in phosphorus-doped diamond have not been investigated. In this stu…
▽ More
The controlled creation of color centers in phosphorus-doped (n-type) diamond can facilitate the electronics integration of quantum photonics devices, such as single-photon sources operating upon electrical injection. Silicon vacancy (SiV) color centers are promising candidates, but so far the conditions for single-photon emission in phosphorus-doped diamond have not been investigated. In this study, we create SiV color centers in diamond samples with different phosphorus concentrations and show that the fluorescence background due to do**, nitrogen-impurities and ion implantation induced defects can be significantly suppressed. Single-photon emitters in phosphorus-doped diamond are obtained at the low Si-ion implantation fluences.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Electrostatic accelerated electrons within symmetric capacitors during field emission condition events exert bidirectional propellant-less thrust
Authors:
Ankur S. Bhatt,
F. M. Becker
Abstract:
During internal discharge (electrical breakdown by field emission transmission) thin symmetric capacitors accelerate slightly towards the anode; an anomaly that does not appear obvious using standard physics. Various thicknesses of discharging capacitors have been used to demonstrate and better characterize this phenomenon. It was observed that it is possible to reverse the force by adding conduct…
▽ More
During internal discharge (electrical breakdown by field emission transmission) thin symmetric capacitors accelerate slightly towards the anode; an anomaly that does not appear obvious using standard physics. Various thicknesses of discharging capacitors have been used to demonstrate and better characterize this phenomenon. It was observed that it is possible to reverse the force by adding conductive materials in the immediate proximity of the cathode when physically separated from the anode (thus not galvanically connected). Conversely, the addition of conductive materials in the area surrounding the anode did not alter the original force observed. The data gathered seems to confirm a phenomenon that could be exploited for propulsion purposes, in particular for fuel-less applications in a vacuum. The results could be correlated to an external cause which appear to be influenced by the particles' acceleration. Overall, the preliminary results are encouraging for practical engineering purposes.
△ Less
Submitted 17 June, 2019; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Universality in Freezing Cellular Automata
Authors:
Florent Becker,
Diego Maldonado,
Nicolas Ollinger,
Guillaume Theyssier
Abstract:
Cellular Automata have been used since their introduction as a discrete tool of modelization. In many of the physical processes one may modelize thus (such as bootstrap percolation, forest fire or epidemic propagation models, life without death, etc), each local change is irreversible. The class of freezing Cellular Automata (FCA) captures this feature. In a freezing cellular automaton the states…
▽ More
Cellular Automata have been used since their introduction as a discrete tool of modelization. In many of the physical processes one may modelize thus (such as bootstrap percolation, forest fire or epidemic propagation models, life without death, etc), each local change is irreversible. The class of freezing Cellular Automata (FCA) captures this feature. In a freezing cellular automaton the states are ordered and the cells can only decrease their state according to this "freezing-order". We investigate the dynamics of such systems through the questions of simulation and universality in this class: is there a Freezing Cellular Automaton (FCA) that is able to simulate any Freezing Cellular Automata, i.e. an intrinsically universal FCA? We show that the answer to that question is sensitive to both the number of changes cells are allowed to make, and geometric features of the space. In dimension 1, there is no universal FCA. In dimension 2, if either the number of changes is at least 2, or the neighborhood is Moore, then there are universal FCA. On the other hand, there is no universal FCA with one change and Von Neumann neighborhood. We also show that monotonicity of the local rule with respect to the freezing-order (a common feature of bootstrap percolation) is also an obstacle to universality.
△ Less
Submitted 20 April, 2018;
originally announced May 2018.
-
Abstract Geometrical Computation 10: An Intrinsically Universal Family of Signal Machines
Authors:
Florent Becker,
Tom Besson,
Jérôme Durand-Lose,
Aurélien Emmanuel,
Mohammad-Hadi Foroughmand-Araabi,
Sama Goliaei,
Shahrzad Heydarshahi
Abstract:
Signal machines form an abstract and idealised model of collision computing. Based on dimensionless signals moving on the real line, they model particle/signal dynamics in Cellular Automata. Each particle, or signal, moves at constant speed in continuous time and space. When signals meet, they get replaced by other signals. A signal machine defines the types of available signals, their speeds and…
▽ More
Signal machines form an abstract and idealised model of collision computing. Based on dimensionless signals moving on the real line, they model particle/signal dynamics in Cellular Automata. Each particle, or signal, moves at constant speed in continuous time and space. When signals meet, they get replaced by other signals. A signal machine defines the types of available signals, their speeds and the rules for replacement in collision. A signal machine A simulates another one B if all the space-time diagrams of B can be generated from space-time diagrams of A by removing some signals and renaming other signals according to local information. Given any finite set of speeds S, we construct a signal machine that is able to simulate any signal machine whose speeds belong to S. Each signal is simulated by a macro-signal, a ray of parallel signals. Each macro-signal has a main signal located exactly where the simulated signal would be, as well as auxiliary signals which encode its id and the collision rules of the simulated machine. The simulation of a collision, a macro-collision, consists of two phases. In the first phase, macro-signals are shrunk, then the macro-signals involved in the collision are identified and it is ensured that no other macro-signal comes too close. If some do, the process is aborted and the macro-signals are shrunk, so that the correct macro-collision will eventually be restarted and successfully initiated. Otherwise, the second phase starts: the appropriate collision rule is found and new macro-signals are generated accordingly. Considering all finite set of speeds S and their corresponding simulators provides an intrinsically universal family of signal machines.
△ Less
Submitted 21 March, 2019; v1 submitted 19 April, 2018;
originally announced April 2018.
-
Interactions mediated by a public good transiently increase cooperativity in growing Pseudomonas putida metapopulations
Authors:
Felix Becker,
Karl Wienand,
Matthias Lechner,
Erwin Frey,
Heinrich Jung
Abstract:
Bacterial communities have rich social lives. A well-established interaction involves the exchange of a public good in Pseudomonas populations, where the iron-scavenging compound pyoverdine, synthesized by some cells, is shared with the rest. Pyoverdine thus mediates interactions between producers and non-producers and can constitute a public good. This interaction is often used to test game theor…
▽ More
Bacterial communities have rich social lives. A well-established interaction involves the exchange of a public good in Pseudomonas populations, where the iron-scavenging compound pyoverdine, synthesized by some cells, is shared with the rest. Pyoverdine thus mediates interactions between producers and non-producers and can constitute a public good. This interaction is often used to test game theoretical predictions on the "social dilemma" of producers. Such an approach, however, underestimates the impact of specific properties of the public good, for example consequences of its accumulation in the environment. Here, we experimentally quantify costs and benefits of pyoverdine production in a specific environment, and build a model of population dynamics that explicitly accounts for the changing significance of accumulating pyoverdine as chemical mediator of social interactions. The model predicts that, in an ensemble of growing populations (metapopulation) with different initial producer fractions (and consequently pyoverdine contents), the global producer fraction initially increases. Because the benefit of pyoverdine declines at saturating concentrations, the increase need only be transient. Confirmed by experiments on metapopulations, our results show how a changing benefit of a public good can shape social interactions in a bacterial population.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Vectorial near-field coupling
Authors:
Martin Esmann,
Simon F. Becker,
Julia Witt,
Ralf Vogelgesang,
Gunther Wittstock,
Christoph Lienau
Abstract:
The coherent exchange of optical near fields between two neighboring dipoles plays an essential role for the optical properties, quantum dynamics and thus for the function of many naturally occurring and artificial nanosystems. These interactions are inherently short-ranged, extending over a few nanometers only, and depend sensitively on relative orientation, detuning and dephasing, i.e., on the v…
▽ More
The coherent exchange of optical near fields between two neighboring dipoles plays an essential role for the optical properties, quantum dynamics and thus for the function of many naturally occurring and artificial nanosystems. These interactions are inherently short-ranged, extending over a few nanometers only, and depend sensitively on relative orientation, detuning and dephasing, i.e., on the vectorial properties of the coupled dipolar near fields. This makes it challenging to analyze them experimentally. Here, we introduce plasmonic nanofocusing spectroscopy to record coherent light scattering spectra with 5-nm spatial resolution from a small dipole antenna, excited solely by evanescent fields and coupled to plasmon resonances in a single gold nanorod. We resolve mode couplings, resonance energy shifts and Purcell effects as a function of dipole distance and relative orientation, and show how they arise from different vectorial components of the interacting optical near-fields. Our results pave the way for using dipolar alignment to control the optical properties and function of nanoscale systems.
△ Less
Submitted 31 January, 2018;
originally announced January 2018.
-
Bridging Microscopic Nonlinear Polarizations toward Far-Field Second Harmonic Radiation
Authors:
Kyungwan Yoo,
Simon F. Becker,
Martin Silies,
Sunkyu Yu,
Christoph Lienau,
Namkyoo Park
Abstract:
Since the first observation of second harmonic generation (SHG), there have been extensive studies on this nonlinear phenomenon not only to clarify its physical origin but also to realize unconventional functionalities. Nonetheless, a widely accepted model of SHG with rigorous experimental verification that describes the contributions of different underlying microscopic mechanisms is still under d…
▽ More
Since the first observation of second harmonic generation (SHG), there have been extensive studies on this nonlinear phenomenon not only to clarify its physical origin but also to realize unconventional functionalities. Nonetheless, a widely accepted model of SHG with rigorous experimental verification that describes the contributions of different underlying microscopic mechanisms is still under debate. Here, we examine second harmonic far-field radiation patterns over a wide angle from metallic structures with different resonances, to reveal the structure-dependent contributions from distinct nonlinear polarizations. By comparing the measured SHG radiation patterns of 82 antennas with different SHG models, we demonstrate the critical role of the surface-parallel and bulk nonlinear polarizations in the far-field SHG patterns, and thus show that the common belief of the dominant contribution of the surface-normal component in SHG should be corrected. A virtual multi-resonator SHG model inside a single physical resonator is introduced to explain and control the interplay between different nonlinear polarizations and their structure-dependent excitations. Our findings offer a new strategy for the design of highly efficient and directional nonlinear metamaterials.
△ Less
Submitted 27 April, 2019; v1 submitted 27 November, 2017;
originally announced November 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.
-
Non-selective evolution of growing populations
Authors:
Karl Wienand,
Matthias Lechner,
Felix Becker,
Heinrich Jung,
Erwin Frey
Abstract:
Non-selective effects, like genetic drift, are an important factor in modern conceptions of evolution, and have been extensively studied for constant population sizes. Here, we consider non-selective evolution in the case of growing populations that are of small size and have varying trait compositions (e.g. after a population bottleneck). We find that, in these conditions, populations never fixat…
▽ More
Non-selective effects, like genetic drift, are an important factor in modern conceptions of evolution, and have been extensively studied for constant population sizes. Here, we consider non-selective evolution in the case of growing populations that are of small size and have varying trait compositions (e.g. after a population bottleneck). We find that, in these conditions, populations never fixate to a trait, but tend to a random limit composition, and that the distribution of compositions 'freezes' to a steady state This final state is crucially influenced by the initial conditions. We obtain these findings from a combined theoretical and experimental approach, using multiple mixed subpopulations of two Pseudomonas putida strains in non-selective growth conditions as model system. The experimental results for the population dynamics match the theoretical predictions based on the Pólya urn model for all analyzed parameter regimes. In summary, we show that exponential growth stops genetic drift. This result contrasts with previous theoretical analyses of non-selective evolution (e.g. genetic drift), which investigated how traits spread and eventually take over populations (fixate). Moreover, our work highlights how deeply growth influences non-selective evolution, and how it plays a key role in maintaining genetic variability. Consequently, it is of particular importance in life-cycles models of periodically shrinking and expanding populations.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
Second-Order Recursive Filtering on the Rigid-Motion Lie Group SE(3) Based on Nonlinear Observations
Authors:
Johannes Berger,
Frank Lenzen,
Florian Becker,
Andreas Neufeld,
Christoph Schnörr
Abstract:
Camera motion estimation from observed scene features is an important task in image processing to increase the accuracy of many methods, e.g. optical flow and structure-from-motion. Due to the curved geometry of the state space SE(3) and the non-linear relation to the observed optical flow, many recent filtering approaches use a first-order approximation and assume a Gaussian a posteriori distribu…
▽ More
Camera motion estimation from observed scene features is an important task in image processing to increase the accuracy of many methods, e.g. optical flow and structure-from-motion. Due to the curved geometry of the state space SE(3) and the non-linear relation to the observed optical flow, many recent filtering approaches use a first-order approximation and assume a Gaussian a posteriori distribution or restrict the state to Euclidean geometry. The physical model is usually also limited to uniform motions.
We propose a second-order minimum energy filter with a generalized kinematic model that copes with the full geometry of SE(3) as well as with the nonlinear dependencies between the state space and observations. The derived filter enables reconstructing motions correctly for synthetic and real scenes, e.g. from the KITTI benchmark. Our experiments confirm that the derived minimum energy filter with higher-order state differential equation copes with higher-order kinematics and is also able to minimize model noise. We also show that the proposed filter is superior to state-of-the-art extended Kalman filters on Lie groups in the case of linear observations and that our method reaches the accuracy of modern visual odometry methods.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Second Order Minimum Energy Filtering on $\operatorname{SE}_3$ with Nonlinear Measurement Equations
Authors:
Johannes Berger,
Andreas Neufeld,
Florian Becker,
Frank Lenzen,
Christoph Schnörr
Abstract:
Accurate camera motion estimation is a fundamental building block for many Computer Vision algorithms. For improved robustness, temporal consistency of translational and rotational camera velocity is often assumed by propagating motion information forward using stochastic filters. Classical stochastic filters, however, use linear approximations for the non-linear observer model and for the non-lin…
▽ More
Accurate camera motion estimation is a fundamental building block for many Computer Vision algorithms. For improved robustness, temporal consistency of translational and rotational camera velocity is often assumed by propagating motion information forward using stochastic filters. Classical stochastic filters, however, use linear approximations for the non-linear observer model and for the non-linear structure of the underlying Lie Group $\operatorname{SE}_3$ and have to approximate the unknown posteriori distribution. In this paper we employ a non-linear measurement model for the camera motion estimation problem that incorporates multiple observation equations. We solve the underlying filtering problem using a novel Minimum Energy Filter on $\operatorname{SE}_3$ and give explicit expressions for the optimal state variables. Experiments on the challenging KITTI benchmark show that, although a simple motion model is only employed, our approach improves rotational velocity estimation and otherwise is on par with the state-of-the-art.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
It's a Tough Nanoworld: in Tile Assembly, Cooperation is not (strictly) more Powerful than Competition
Authors:
Florent Becker,
Pierre-Étienne Meunier
Abstract:
We present a strict separation between the class of "mismatch free" self-assembly systems and general aTAM systems. Mismatch free systems are those systems in which concurrently grown parts must always agree with each other.
Tile self-assembly is a model of the formation of crystal growth, in which a large number of particles concurrently and selectively stick to each other, forming complex shap…
▽ More
We present a strict separation between the class of "mismatch free" self-assembly systems and general aTAM systems. Mismatch free systems are those systems in which concurrently grown parts must always agree with each other.
Tile self-assembly is a model of the formation of crystal growth, in which a large number of particles concurrently and selectively stick to each other, forming complex shapes and structures. It is useful in nanotechnologies, and more generally in the understanding of these processes, ubiquitous in natural systems.
The other property of the local assembly process known to change the power of the model is cooperation between two tiles to attach another. We show that disagreement (mismatches) and cooperation are incomparable: neither can be used to simulate the other one.
The fact that mismatches are a hard property is especially surprising, since no known, explicit construction of a computational device in tile assembly uses mismatches, except for the recent construction of an intrinsically universal tileset, i.e. a tileset capable of simulating any other tileset up to rescaling. This work shows how to use intrinsic universality in a systematic way to highlight the essence of different features of tile assembly.
Moreover, even the most recent experimental realizations do not use competition, which, in view of our results, suggests that a large part of the natural phenomena behind DNA self-assembly remains to be understood experimentally.
△ Less
Submitted 19 February, 2015;
originally announced February 2015.
-
Statistical methods for body mass index: a selective review of the literature
Authors:
Keming Yu,
Rahim Alhamzawi,
Frauke Becker,
Joanne Lord
Abstract:
Obesity rates have been increasing over recent decades, causing significant concern among policy makers. Excess body fat, commonly measured by body mass index (BMI), is a major risk factor for several common disorders including diabetes and cardiovascular disease, placing a substantial burden on health care systems. % Body mass index (BMI) is one indicator for excess body fat. To guide effective p…
▽ More
Obesity rates have been increasing over recent decades, causing significant concern among policy makers. Excess body fat, commonly measured by body mass index (BMI), is a major risk factor for several common disorders including diabetes and cardiovascular disease, placing a substantial burden on health care systems. % Body mass index (BMI) is one indicator for excess body fat. To guide effective public health action, we need to understand the complex system of intercorrelated influences on BMI. This paper will review both classical and modern statistical methods for BMI analysis, highlighting that most of the classical methods are simple and easy to implement but ignore the complexity of data and structure, whereas modern methods do take complexity into consideration but can be difficult to implement. A series of case studies are presented to illustrate these methods and some potentially useful new models are suggested.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
Solving QVIs for Image Restoration with Adaptive Constraint Sets
Authors:
Frank Lenzen,
Jan Lellmann,
Florian Becker,
Christoph Schnörr
Abstract:
We consider a class of quasi-variational inequalities (QVIs) for adaptive image restoration, where the adaptivity is described via solution-dependent constraint sets. In previous work we studied both theoretical and numerical issues. While we were able to show the existence of solutions for a relatively broad class of problems, we encountered problems concerning uniqueness of the solution as well…
▽ More
We consider a class of quasi-variational inequalities (QVIs) for adaptive image restoration, where the adaptivity is described via solution-dependent constraint sets. In previous work we studied both theoretical and numerical issues. While we were able to show the existence of solutions for a relatively broad class of problems, we encountered problems concerning uniqueness of the solution as well as convergence of existing algorithms for solving QVIs. In particular, it seemed that with increasing image size the growing condition number of the involved differential operator poses severe problems. In the present paper we prove uniqueness for a larger class of problems and in particular independent of the image size. Moreover, we provide a numerical algorithm with proved convergence. Experimental results support our theoretical findings.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
The genomic landscape of meiotic crossovers and gene conversions in Arabidopsis thaliana
Authors:
Erik Wijnker,
Geo Velikkakam James,
Jia Ding,
Frank Becker,
Jonas R. Klasen,
Vimal Rawat,
Beth A. Rowan,
Daniel F. de Jong,
C. Bastiaan de Snoo,
Luis Zapata,
Bruno Huettel,
Hans de Jong,
Stephan Ossowski,
Detlef Weigel,
Maarten Koornneef,
Joost J. B. Keurentjes,
Korbinian Schneeberger
Abstract:
Knowledge of the exact distribution of meiotic crossovers (COs) and gene conversions (GCs) is essential for understanding many aspects of population genetics and evolution, from haplotype structure and long-distance genetic linkage to the generation of new allelic variants of genes. To this end, we resequenced the four products of 13 meiotic tetrads along with 10 doubled haploids derived from Arab…
▽ More
Knowledge of the exact distribution of meiotic crossovers (COs) and gene conversions (GCs) is essential for understanding many aspects of population genetics and evolution, from haplotype structure and long-distance genetic linkage to the generation of new allelic variants of genes. To this end, we resequenced the four products of 13 meiotic tetrads along with 10 doubled haploids derived from Arabidopsis thaliana hybrids. GC detection through short reads has previously been confounded by genomic rearrangements. Rigid filtering for misaligned reads allowed GC identification at high accuracy and revealed an ~80-kb transposition, which undergoes copy-number changes mediated by meiotic recombination. Non-crossover associated GCs were extremely rare most likely due to their short average length of ~25-50 bp, which is significantly shorter than the length of CO associated GCs. Overall, recombination preferentially targeted non-methylated nucleosome-free regions at gene promoters, which showed significant enrichment of two sequence motifs.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
Wave front adaptation using a deformable mirror for adiabatic nanofocusing along an ultrasharp gold taper
Authors:
Slawa Schmidt,
Pascal Engelke,
Bjoern Piglosiewicz,
Martin Esmann,
Simon F. Becker,
Kyungwan Yoo,
Namkyoo Park,
Christoph Lienau,
Petra Gross
Abstract:
We describe and demonstrate the use of an adaptive wave front optimization scheme for enhancing the efficiency of adiabatic nanofocusing of surface plasmon polariton (SPP) waves along an ultrasharp conical gold taper. Adiabatic nanofocusing is an emerging and promising scheme for controlled focusing of far field light into nanometric volumes. It comprises three essential steps: SPP excitation by c…
▽ More
We describe and demonstrate the use of an adaptive wave front optimization scheme for enhancing the efficiency of adiabatic nanofocusing of surface plasmon polariton (SPP) waves along an ultrasharp conical gold taper. Adiabatic nanofocusing is an emerging and promising scheme for controlled focusing of far field light into nanometric volumes. It comprises three essential steps: SPP excitation by coupling far field light to an SPP waveguide, SPP propagation along the waveguide and adiabatic SPP nanofocusing towards a geometric singularity. For commonly used complex waveguide geometries, such as, e.g., conical metal tapers, a realistic modeling and efficiency optimization is challenging. Here, we use a deformable mirror to adaptively control the wave front of the incident far field light. We demonstrate an eight-fold enhancement in nanofocusing efficiency and analyze the shape of the resulting optimized wave front. The introduced wave front optimization scheme is of general interest for guiding and controlling light on the nanoscale.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality
Authors:
Florent Becker,
Mathieu Chapelle,
Jérôme Durand-Lose,
Vincent Levorato,
Maxime Senot
Abstract:
In the context of abstract geometrical computation, computing with colored line segments, we study the possibility of having an accumulation with small signal machines, ie, signal machines having only a very limited number of distinct speeds. The cases of 2 and 4 speeds are trivial: we provide a proof that no machine can produce an accumulation in the case of 2 speeds and exhibit an accumulation w…
▽ More
In the context of abstract geometrical computation, computing with colored line segments, we study the possibility of having an accumulation with small signal machines, ie, signal machines having only a very limited number of distinct speeds. The cases of 2 and 4 speeds are trivial: we provide a proof that no machine can produce an accumulation in the case of 2 speeds and exhibit an accumulation with 4 speeds. The main result is the twofold case of 3 speeds. On the one hand, we prove that accumulations cannot happen when all ratios between speeds and all ratios between initial distances are rational. On the other hand, we provide examples of an accumulation in the case of an irrational ratio between 2 speeds and in the case of an irrational ratio between two distances in the initial configuration. This dichotomy is explained by the presence of a phenomenon computing Euclid's algorithm (gcd): it stops if and only if its input is commensurate (ie, of rational ratio).
△ Less
Submitted 24 July, 2013;
originally announced July 2013.
-
k-space Imaging of the Eigenmodes of Sharp Gold Tapers for Scanning Near-Field Optical Microscopy
Authors:
Martin Esmann,
Simon F. Becker,
Bernard B. da Cunha,
Jens H. Brauer,
Ralf Vogelgesang,
Petra Gross,
Christoph Lienau
Abstract:
We investigate the radiation patterns of sharp conical gold tapers, designed as adiabatic nanofocusing probes for scanning near-field optical microscopy (SNOM). Field calculations show that only the lowest order eigenmode of such a taper can reach the very apex and thus induce the generation of strongly enhanced near-field signals. Higher order modes are coupled into the far field at finite distan…
▽ More
We investigate the radiation patterns of sharp conical gold tapers, designed as adiabatic nanofocusing probes for scanning near-field optical microscopy (SNOM). Field calculations show that only the lowest order eigenmode of such a taper can reach the very apex and thus induce the generation of strongly enhanced near-field signals. Higher order modes are coupled into the far field at finite distances from the apex. Here, we demonstrate experimentally how to distinguish and separate between the lowest and higher order eigenmodes of such a metallic taper by filtering in the spatial frequency domain. Our approach has the potential to considerably improve the signal-to-background ratio in spectroscopic experiments on the nanoscale.
△ Less
Submitted 27 September, 2013; v1 submitted 22 April, 2013;
originally announced April 2013.
-
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Authors:
Florent Becker,
Adrian Kosowski,
Nicolas Nisse,
Ivan Rapaport,
Karol Suchan
Abstract:
In this work we study the computational power of graph-based models of distributed computing in which each node additionally has access to a global whiteboard. A node can read the contents of the whiteboard and, when activated, can write one message of O(log n) bits on it. When the protocol terminates, each node computes the output based on the final contents of the whiteboard. We consider several…
▽ More
In this work we study the computational power of graph-based models of distributed computing in which each node additionally has access to a global whiteboard. A node can read the contents of the whiteboard and, when activated, can write one message of O(log n) bits on it. When the protocol terminates, each node computes the output based on the final contents of the whiteboard. We consider several scheduling schemes for nodes, providing a strict ordering of their power in terms of the problems which can be solved with exactly one activation per node. The problems used to separate the models are related to Maximal Independent Set, detection of cycles of length 4, and BFS spanning tree constructions.
△ Less
Submitted 29 September, 2011;
originally announced September 2011.
-
Adding a referee to an interconnection network: What can(not) be computed in one round
Authors:
Florent Becker,
Martín Matamala,
Nicolas Nisse,
Ivan Rapaport,
Karol Suchan,
Ioan Todinca
Abstract:
In this paper we ask which properties of a distributed network can be computed from a little amount of local information provided by its nodes. The distributed model we consider is a restriction of the classical CONGEST (distributed) model and it is close to the simultaneous messages (communication complexity) model defined by Babai, Kimmel and Lokam. More precisely, each of these n nodes -which o…
▽ More
In this paper we ask which properties of a distributed network can be computed from a little amount of local information provided by its nodes. The distributed model we consider is a restriction of the classical CONGEST (distributed) model and it is close to the simultaneous messages (communication complexity) model defined by Babai, Kimmel and Lokam. More precisely, each of these n nodes -which only knows its own ID and the IDs of its neighbors- is allowed to send a message of O(log n) bits to some central entity, called the referee. Is it possible for the referee to decide some basic structural properties of the network topology G? We show that simple questions like, "does G contain a square?", "does G contain a triangle?" or "Is the diameter of G at most 3? cannot be solved in general. On the other hand, the referee can decode the messages in order to have full knowledge of G when G belongs to many graph classes such as planar graphs, bounded treewidth graphs and, more generally, bounded degeneracy graphs. We leave open questions related to the connectivity of arbitrary graphs.
△ Less
Submitted 5 October, 2010; v1 submitted 22 September, 2010;
originally announced September 2010.
-
Extending the north-east limit of the chart of nuclides
Authors:
J. Benlliure,
H. Alvarez-Pol,
T. Kurtukian-Nieto,
K. -H. Schmidt,
L. Audouin,
B. Blank,
F. Becker,
E. Casarejos,
D. Cortina-Gil,
T. Enqvist,
B. Fernández,
M. Fernández-Ordóñez,
J. Giovinazzo,
D. Henzlova,
A. R. Junghans,
B. Jurado,
P. Napolitani,
J. Pereira,
F. Rejmund,
O. Yordanov
Abstract:
The existence of nuclei with exotic combinations of protons and neutrons provides fundamental information on the forces acting between nucleons. The maximum number of neutrons a given number of protons can bind, neutron drip line1, is only known for the lightest chemical elements, up to oxygen. For heavier elements, the larger its atomic number, the farther from this limit is the most neutron-rich…
▽ More
The existence of nuclei with exotic combinations of protons and neutrons provides fundamental information on the forces acting between nucleons. The maximum number of neutrons a given number of protons can bind, neutron drip line1, is only known for the lightest chemical elements, up to oxygen. For heavier elements, the larger its atomic number, the farther from this limit is the most neutron-rich known isotope. The properties of heavy neutron-rich nuclei also have a direct impact on understanding the observed abundances of chemical elements heavier than iron in our Universe. Above half of the abundances of these elements are thought to be produced in rapid-neutron capture reactions, r-process, taking place in violent stellar scenarios2 where heavy neutron-rich nuclei, far beyond the ones known up today, are produced. Here we present a major step forward in the production of heavy neutron-rich nuclei: the discovery of 73 new neutron-rich isotopes of chemical elements between tantalum (Z=72) and actinium (Z=89). This result proves that cold-fragmentation reactions3 at relativistic energies are governed by large fluctuations in isospin and energy dissipation making possible the massive production of heavy neutron-rich nuclei, paving then the way for the full understanding of the origin of the heavier elements in our Universe. It is expected that further studies providing ground and structural properties of the nuclei presented here will reveal further details on the nuclear shell evolution along Z=82 and N=126, but also on the understanding of the stellar nucleosyntheis r-process around the waiting point at A~190 defining the speed of the matter flow towards heavier fissioning nuclei.
△ Less
Submitted 1 April, 2010;
originally announced April 2010.
-
First access to beta half-lives approaching the r-process path near N=126
Authors:
T. Kurtukian-Nieto,
J. Benlliure,
L. Audouin,
F. Becker,
B. Blank,
I. N. Borzov,
E. Casarejos,
M. Fernandez-Ordonez,
J. Giovinazzo,
D. Henzlova,
B. Jurado,
K. Langanke,
G. Martinez-Pinedo,
J. Pereira,
F. Rejmund,
K. -H. Schmidt,
O. Yordanov
Abstract:
Heavy neutron-rich nuclei close to N=126 were produced by fragmentation of a 1 A GeV 208Pb beam at the FRS at GSI. The beta-decay half-lives of 8 nuclides have been determined. The comparison of the data with model calculations including an approach based on the self-consistent ground-state description and continuum QRPA considering the Gamow-Teller and first-forbidden decays provide a first ind…
▽ More
Heavy neutron-rich nuclei close to N=126 were produced by fragmentation of a 1 A GeV 208Pb beam at the FRS at GSI. The beta-decay half-lives of 8 nuclides have been determined. The comparison of the data with model calculations including an approach based on the self-consistent ground-state description and continuum QRPA considering the Gamow-Teller and first-forbidden decays provide a first indication on the importance of first-forbidden transitions around A=195. The measured data indicate that the matter flow in the r-process to heavier fissioning nuclei is faster than previously expected.
△ Less
Submitted 1 November, 2007;
originally announced November 2007.