Showing 1–46 of 46 results for author: Moller, R

Variables are a Curse in Software Vulnerability Prediction

Authors: **ghua Groppe, Sven Groppe, Ralf Möller

Abstract: Deep learning-based approaches for software vulnerability prediction currently mainly rely on the original text of software code as the feature of nodes in the graph of code and thus could learn a representation that is only specific to the code text, rather than the representation that depicts the 'intrinsic' functionality of a program hidden in the text representation. One curse that causes this… ▽ More Deep learning-based approaches for software vulnerability prediction currently mainly rely on the original text of software code as the feature of nodes in the graph of code and thus could learn a representation that is only specific to the code text, rather than the representation that depicts the 'intrinsic' functionality of a program hidden in the text representation. One curse that causes this problem is an infinite number of possibilities to name a variable. In order to lift the curse, in this work we introduce a new type of edge called name dependence, a type of abstract syntax graph based on the name dependence, and an efficient node representation method named 3-property encoding scheme. These techniques will allow us to remove the concrete variable names from code, and facilitate deep learning models to learn the functionality of software hidden in diverse code expressions. The experimental results show that the deep learning models built on these techniques outperform the ones based on existing approaches not only in the prediction of vulnerabilities but also in the memory need. The factor of memory usage reductions of our techniques can be up to the order of 30,000 in comparison to existing approaches. △ Less

Submitted 18 June, 2024; originally announced July 2024.

ACM Class: I.2.0; D.2.m

Journal ref: In Database and Expert Systems Applications: 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I. Springer-Verlag, Berlin, Heidelberg, 516-521

Lifting Factor Graphs with Some Unknown Factors

Authors: Malte Luttermann, Ralf Möller, Marcel Gehrke

Abstract: Lifting exploits symmetries in probabilistic graphical models by using a representative for indistinguishable objects, allowing to carry out query answering more efficiently while maintaining exact answers. In this paper, we investigate how lifting enables us to perform probabilistic inference for factor graphs containing factors whose potentials are unknown. We introduce the Lifting Factor Graphs… ▽ More Lifting exploits symmetries in probabilistic graphical models by using a representative for indistinguishable objects, allowing to carry out query answering more efficiently while maintaining exact answers. In this paper, we investigate how lifting enables us to perform probabilistic inference for factor graphs containing factors whose potentials are unknown. We introduce the Lifting Factor Graphs with Some Unknown Factors (LIFAGU) algorithm to identify symmetric subgraphs in a factor graph containing unknown factors, thereby enabling the transfer of known potentials to unknown potentials to ensure a well-defined semantics and allow for (lifted) probabilistic inference. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: Accepted to the Proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-23)

Enhancement of Subjective Content Descriptions by using Human Feedback

Authors: Magnus Bender, Tanya Braun, Ralf Möller, Marcel Gehrke

Abstract: An agent providing an information retrieval service may work with a corpus of text documents. The documents in the corpus may contain annotations such as Subjective Content Descriptions (SCD) -- additional data associated with different sentences of the documents. Each SCD is associated with multiple sentences of the corpus and has relations among each other. The agent uses the SCDs to create its… ▽ More An agent providing an information retrieval service may work with a corpus of text documents. The documents in the corpus may contain annotations such as Subjective Content Descriptions (SCD) -- additional data associated with different sentences of the documents. Each SCD is associated with multiple sentences of the corpus and has relations among each other. The agent uses the SCDs to create its answers in response to queries supplied by users. However, the SCD the agent uses might reflect the subjective perspective of another user. Hence, answers may be considered faulty by an agent's user, because the SCDs may not exactly match the perceptions of an agent's user. A naive and very costly approach would be to ask each user to completely create all the SCD themselves. To use existing knowledge, this paper presents ReFrESH, an approach for Relation-preserving Feedback-reliant Enhancement of SCDs by Humans. An agent's user can give feedback about faulty answers to the agent. This feedback is then used by ReFrESH to update the SCDs incrementally. However, human feedback is not always unambiguous. Therefore, this paper additionally presents an approach to decide how to incorporate the feedback and when to update the SCDs. Altogether, SCDs can be updated with human feedback, allowing users to create even more specific SCDs for their needs. △ Less

Submitted 30 April, 2024; originally announced May 2024.

Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain

Authors: Malte Luttermann, Edgar Baake, Juljan Bouchagiar, Benjamin Gebel, Philipp Grüning, Dilini Manikwadura, Franziska Schollemann, Elisa Teifke, Philipp Rostalski, Ralf Möller

Abstract: Failure mode and effects analysis (FMEA) is a systematic approach to identify and analyse potential failures and their effects in a system or process. The FMEA approach, however, requires domain experts to manually analyse the FMEA model to derive risk-reducing actions that should be applied. In this paper, we provide a formal framework to allow for automatic planning and acting in FMEA models. Mo… ▽ More Failure mode and effects analysis (FMEA) is a systematic approach to identify and analyse potential failures and their effects in a system or process. The FMEA approach, however, requires domain experts to manually analyse the FMEA model to derive risk-reducing actions that should be applied. In this paper, we provide a formal framework to allow for automatic planning and acting in FMEA models. More specifically, we cast the FMEA model into a Markov decision process which can then be solved by existing solvers. We show that the FMEA approach can not only be used to support medical experts during the modelling process but also to automatically derive optimal therapies for the treatment of patients. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: Accepted to the German Journal of Artificial Intelligence

Lifted Causal Inference in Relational Domains

Authors: Malte Luttermann, Mattis Hartwig, Tanya Braun, Ralf Möller, Marcel Gehrke

Abstract: Lifted inference exploits symmetries in probabilistic graphical models by using a representative for indistinguishable objects, thereby speeding up query answering while maintaining exact answers. Even though lifting is a well-established technique for the task of probabilistic inference in relational domains, it has not yet been applied to the task of causal inference. In this paper, we show how… ▽ More Lifted inference exploits symmetries in probabilistic graphical models by using a representative for indistinguishable objects, thereby speeding up query answering while maintaining exact answers. Even though lifting is a well-established technique for the task of probabilistic inference in relational domains, it has not yet been applied to the task of causal inference. In this paper, we show how lifting can be applied to efficiently compute causal effects in relational domains. More specifically, we introduce parametric causal factor graphs as an extension of parametric factor graphs incorporating causal knowledge and give a formal semantics of interventions therein. We further present the lifted causal inference algorithm to compute causal effects on a lifted level, thereby drastically speeding up causal inference compared to propositional inference, e.g., in causal Bayesian networks. In our empirical evaluation, we demonstrate the effectiveness of our approach. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: Accepted to the Proceedings of the 3rd Conference on Causal Learning and Reasoning (CLeaR-24)

A Lagrange-Newton Approach to Smoothing-and-Map**

Authors: Ralf Möller

Abstract: In this report we explore the application of the Lagrange-Newton method to the SAM (smoothing-and-map**) problem in mobile robotics. In Lagrange-Newton SAM, the angular component of each pose vector is expressed by orientation vectors and treated through Lagrange constraints. This is different from the typical Gauss-Newton approach where variations need to be mapped back and forth between Euclid… ▽ More In this report we explore the application of the Lagrange-Newton method to the SAM (smoothing-and-map**) problem in mobile robotics. In Lagrange-Newton SAM, the angular component of each pose vector is expressed by orientation vectors and treated through Lagrange constraints. This is different from the typical Gauss-Newton approach where variations need to be mapped back and forth between Euclidean space and a manifold suitable for rotational components. We derive equations for five different types of measurements between robot poses: translation, distance, and rotation from odometry in the plane, as well as home-vector angle and compass angle from visual homing. We demonstrate the feasibility of the Lagrange-Newton approach for a simple example related to a cleaning robot scenario. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Thermal expansion in photo-assisted tunneling: visible light versus free-space terahertz pulses

Authors: Hüseyin Azazoglu, Rolf Möller, Manuel Gruber

Abstract: Photo-assisted tunneling in scanning tunneling microscopy has attracted considerable interest to combine sub-picosecond and sub-nanometer resolutions. The illumination of a junction with visible or infrared light, however, induces thermal expansion of the tip and the sample, which strongly affects the measurements. Employing free-space THz pulses instead of visible light has been proposed to solve… ▽ More Photo-assisted tunneling in scanning tunneling microscopy has attracted considerable interest to combine sub-picosecond and sub-nanometer resolutions. The illumination of a junction with visible or infrared light, however, induces thermal expansion of the tip and the sample, which strongly affects the measurements. Employing free-space THz pulses instead of visible light has been proposed to solve these thermal issues while providing photo-induced currents of similar magnitude. Here we compared the impact of illuminating the same tunneling junction, reaching comparable photo-induced current, with red light and with THz radiations. Our data provide a clear and direct evidence of thermal expansion with red light-illumination, while such thermal effects are negligible with THz radiations. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Variable-temperature lightwave-driven scanning tunneling microscope with a compact, turn-key terahertz source

Authors: Hüseyin Azazoglu, Philip Kapitza, Martin Mittendorff, Rolf Möller, Manuel Gruber

Abstract: We report on a lightwave-driven scanning tunneling microscope based on a home-built microscope and a compact, commercial, and cost-effective terahertz-generation unit with a repetition rate of 100 MHz. The measurements are performed in ultrahigh vacuum at temperatures between 10 K and 300 K. The cross-correlation of the pump and probe pulses indicate a temporal resolution on the order of a picosec… ▽ More We report on a lightwave-driven scanning tunneling microscope based on a home-built microscope and a compact, commercial, and cost-effective terahertz-generation unit with a repetition rate of 100 MHz. The measurements are performed in ultrahigh vacuum at temperatures between 10 K and 300 K. The cross-correlation of the pump and probe pulses indicate a temporal resolution on the order of a picosecond. In terms of spatial resolution, CO molecules, step edges and atomically resolved terraces are readily observed in terahertz images, with sometimes better contrast than in the topographic and (DC) current channels. The utilization of a compact, turn-key terahertz-generation system requires only limited experience with optics and terahertz generation, which may facilitate the deployment of the technique to further research groups. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Colour Passing Revisited: Lifted Model Construction with Commutative Factors

Authors: Malte Luttermann, Tanya Braun, Ralf Möller, Marcel Gehrke

Abstract: Lifted probabilistic inference exploits symmetries in a probabilistic model to allow for tractable probabilistic inference with respect to domain sizes. To apply lifted inference, a lifted representation has to be obtained, and to do so, the so-called colour passing algorithm is the state of the art. The colour passing algorithm, however, is bound to a specific inference algorithm and we found tha… ▽ More Lifted probabilistic inference exploits symmetries in a probabilistic model to allow for tractable probabilistic inference with respect to domain sizes. To apply lifted inference, a lifted representation has to be obtained, and to do so, the so-called colour passing algorithm is the state of the art. The colour passing algorithm, however, is bound to a specific inference algorithm and we found that it ignores commutativity of factors while constructing a lifted representation. We contribute a modified version of the colour passing algorithm that uses logical variables to construct a lifted representation independent of a specific inference algorithm while at the same time exploiting commutativity of factors during an offline-step. Our proposed algorithm efficiently detects more symmetries than the state of the art and thereby drastically increases compression, yielding significantly faster online query times for probabilistic inference when the resulting model is applied. △ Less

Submitted 15 December, 2023; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: Extended version of paper accepted to the Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-2024)

Strong electron-phonon coupling and enhanced phonon Grüneisen parameters in valence-fluctuating metal EuPd$_2$Si$_2$

Authors: Mai Ye, Mark Joachim Graf von Westarp, Sofia-Michaela Souliou, Marius Peters, Robert Möller, Kristin Kliemt, Michael Merz, Rolf Heid, Cornelius Krellner, Matthieu Le Tacon

Abstract: We study the valence crossover and strong electron-phonon coupling of EuPd$_2$Si$_2$ by polarization-resolved Raman spectroscopy. The fully-symmetric phonon mode shows strongly asymmetric lineshape at low temperature, indicating Fano-type interaction between this mode and a continuum of electron-hole excitations. Moreover, the frequency and linewidth of the phonon modes exhibit anomalies across th… ▽ More We study the valence crossover and strong electron-phonon coupling of EuPd$_2$Si$_2$ by polarization-resolved Raman spectroscopy. The fully-symmetric phonon mode shows strongly asymmetric lineshape at low temperature, indicating Fano-type interaction between this mode and a continuum of electron-hole excitations. Moreover, the frequency and linewidth of the phonon modes exhibit anomalies across the valence-crossover temperature, suggesting the coupling between valence fluctuations and lattice vibration. In particular, two phonon modes show significantly enhanced Grüneisen parameter, suggesting proximity to a critical elasticity regime. The relative contribution of the structural change and valence change to the phonon anomalies is evaluated by density functional theory calculations. △ Less

Submitted 2 May, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Journal ref: Phys. Rev. B 107, 195111 (2023)

Derivation of Learning Rules for Coupled Principal Component Analysis in a Lagrange-Newton Framework

Authors: Ralf Möller

Abstract: We describe a Lagrange-Newton framework for the derivation of learning rules with desirable convergence properties and apply it to the case of principal component analysis (PCA). In this framework, a Newton descent is applied to an extended variable vector which also includes Lagrange multipliers introduced with constraints. The Newton descent guarantees equal convergence speed from all directions… ▽ More We describe a Lagrange-Newton framework for the derivation of learning rules with desirable convergence properties and apply it to the case of principal component analysis (PCA). In this framework, a Newton descent is applied to an extended variable vector which also includes Lagrange multipliers introduced with constraints. The Newton descent guarantees equal convergence speed from all directions, but is also required to produce stable fixed points in the system with the extended state vector. The framework produces "coupled" PCA learning rules which simultaneously estimate an eigenvector and the corresponding eigenvalue in cross-coupled differential equations. We demonstrate the feasibility of this approach for two PCA learning rules, one for the estimation of the principal, the other for the estimate of an arbitrary eigenvector-eigenvalue pair (eigenpair). △ Less

Submitted 28 April, 2022; originally announced April 2022.

Sympathetic cooling schemes for separately trapped ions coupled via image currents

Authors: C. Will, M. Bohman, T. Driscoll, M. Wiesinger, F. Abbass, M. J. Borchert, J. A. Devlin, S. Erlewein, M. Fleck, B. Latacz, R. Moller, A. Mooser, D. Popper, E. Wursten, K. Blaum, Y. Matsuda, C. Ospelkaus, W. Quint, J. Walz, C. Smorra, S. Ulmer

Abstract: Cooling of particles to mK-temperatures is essential for a variety of experiments with trapped charged particles. However, many species of interest lack suitable electronic transitions for direct laser cooling. We study theoretically the remote sympathetic cooling of a single proton with laser-cooled $^9$Be$^+$ in a double-Penning-trap system. We investigate three different cooling schemes and fin… ▽ More Cooling of particles to mK-temperatures is essential for a variety of experiments with trapped charged particles. However, many species of interest lack suitable electronic transitions for direct laser cooling. We study theoretically the remote sympathetic cooling of a single proton with laser-cooled $^9$Be$^+$ in a double-Penning-trap system. We investigate three different cooling schemes and find, based on analytical calculations and numerical simulations, that two of them are capable of achieving proton temperatures of about 10 mK with cooling times on the order of 10 s. In contrast, established methods such as feedback-enhanced resistive cooling with image-current detectors are limited to about 1 K in 100 s. Since the studied techniques are applicable to any trapped charged particle and allow spatial separation between the target ion and the cooling species, they enable a variety of precision measurements based on trapped charged particles to be performed at improved sampling rates and with reduced systematic uncertainties. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Comments: 28 pages, 14 figures

Lifting DecPOMDPs for Nanoscale Systems -- A Work in Progress

Authors: Tanya Braun, Stefan Fischer, Florian Lau, Ralf Möller

Abstract: DNA-based nanonetworks have a wide range of promising use cases, especially in the field of medicine. With a large set of agents, a partially observable stochastic environment, and noisy observations, such nanoscale systems can be modelled as a decentralised, partially observable, Markov decision process (DecPOMDP). As the agent set is a dominating factor, this paper presents (i) lifted DecPOMDPs,… ▽ More DNA-based nanonetworks have a wide range of promising use cases, especially in the field of medicine. With a large set of agents, a partially observable stochastic environment, and noisy observations, such nanoscale systems can be modelled as a decentralised, partially observable, Markov decision process (DecPOMDP). As the agent set is a dominating factor, this paper presents (i) lifted DecPOMDPs, partitioning the agent set into sets of indistinguishable agents, reducing the worst-case space required, and (ii) a nanoscale medical system as an application. Future work turns to solving and implementing lifted DecPOMDPs. △ Less

Submitted 18 October, 2021; originally announced October 2021.

Comments: Accepted at the Tenth International Workshop on Statistical Relational AI (StarAI-2021)

A Survey on Human-aware Robot Navigation

Authors: Ronja Möller, Antonino Furnari, Sebastiano Battiato, Aki Härmä, Giovanni Maria Farinella

Abstract: Intelligent systems are increasingly part of our everyday lives and have been integrated seamlessly to the point where it is difficult to imagine a world without them. Physical manifestations of those systems on the other hand, in the form of embodied agents or robots, have so far been used only for specific applications and are often limited to functional roles (e.g. in the industry, entertainmen… ▽ More Intelligent systems are increasingly part of our everyday lives and have been integrated seamlessly to the point where it is difficult to imagine a world without them. Physical manifestations of those systems on the other hand, in the form of embodied agents or robots, have so far been used only for specific applications and are often limited to functional roles (e.g. in the industry, entertainment and military fields). Given the current growth and innovation in the research communities concerned with the topics of robot navigation, human-robot-interaction and human activity recognition, it seems like this might soon change. Robots are increasingly easy to obtain and use and the acceptance of them in general is growing. However, the design of a socially compliant robot that can function as a companion needs to take various areas of research into account. This paper is concerned with the navigation aspect of a socially-compliant robot and provides a survey of existing solutions for the relevant areas of research as well as an outlook on possible future directions. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: Robotics and Autonomous Systems, 2021

Cayley--Abels graphs and invariants of totally disconnected, locally compact groups

Authors: Arnbjörg Soffía Árnadóttir, Waltraud Lederle, Rögnvaldur G. Möller

Abstract: A connected, locally finite graph $Γ$ is a Cayley--Abels graph for a totally disconnected, locally compact group $G$ if $G$ acts vertex-transitively with compact, open vertex stabilizers on $Γ$. Define the minimal degree of $G$ as the minimal degree of a Cayley--Abels graph of $G$. We relate the minimal degree in various ways to the modular function, the scale function and the structure of compact… ▽ More A connected, locally finite graph $Γ$ is a Cayley--Abels graph for a totally disconnected, locally compact group $G$ if $G$ acts vertex-transitively with compact, open vertex stabilizers on $Γ$. Define the minimal degree of $G$ as the minimal degree of a Cayley--Abels graph of $G$. We relate the minimal degree in various ways to the modular function, the scale function and the structure of compact open subgroups. As an application, we prove that if $T_d$ denotes the $d$-regular tree, then the minimal degree of ${\rm Aut}(T_d)$ is $d$ for all $d\geq 2$. △ Less

Submitted 26 May, 2021; originally announced May 2021.

MSC Class: 22D05 (Primary) 05C25; 20B27; 20E08 (Secondary)

Controlling the oxidation of magnetic and electrically conductive solid-solution iron-rhodium nanoparticles synthesized by Laser Ablation in Liquids

Authors: Ruksan Nadarajah, Shabbir Tahir, Joachim Landers, David Koch, Anna S. Semisalova, Jonas Wiemeler, Ayman El-Zoka, Se-Ho Kim, Detlef Utzat, Rolf Moller, Baptiste Gault, Heiko Wende, Michael Farle, Bilal Gokce

Abstract: This study focuses on the synthesis of FeRh nanoparticles via pulsed laser ablation in liquid and on controlling the oxidation of the synthesized nanoparticles. Formation of monomodal γ-FeRh nanoparticles was confirmed by transmission electron microscopy (TEM) and their composition confirmed by atom probe tomography (APT). On these particles, three major contributors to oxidation were analysed: 1)… ▽ More This study focuses on the synthesis of FeRh nanoparticles via pulsed laser ablation in liquid and on controlling the oxidation of the synthesized nanoparticles. Formation of monomodal γ-FeRh nanoparticles was confirmed by transmission electron microscopy (TEM) and their composition confirmed by atom probe tomography (APT). On these particles, three major contributors to oxidation were analysed: 1) dissolved oxygen in the organic solvents, 2) the bound oxygen in the solvent and 3) oxygen in the atmosphere above the solvent. The decrease of oxidation for optimized ablation conditions was confirmed through energy-dispersive X-ray (EDX) and Mössbauer spectroscopy. Furthermore, the time dependence of oxidation was monitored for dried FeRh nanoparticles powders using ferromagnetic resonance spectroscopy (FMR). By magnetophoretic separation, B2-FeRh nanoparticles could be extracted from the solution and characteristic differences of nanostrand formation between γ-FeRh and B2-FeRh nanoparticles were observed. △ Less

Submitted 10 February, 2021; originally announced February 2021.

Trivalent vertex-transitive graphs with infinite vertex-stabilizers

Authors: Arnbjörg Soffía Árnadóttir, Waltraud Lederle, Rögnvaldur G. Möller

Abstract: We study groups acting vertex-transitively on connected, trivalent graphs such that stabilizers of vertices are infinite. If the action is edge-transitive, we prove that the graph has to be a tree. We analyze the case where the action is not edge-transitive and fully classify the possible $2$-ended graphs. We draw connections to Willis' scale function and re-prove a result by Trofimov. We study groups acting vertex-transitively on connected, trivalent graphs such that stabilizers of vertices are infinite. If the action is edge-transitive, we prove that the graph has to be a tree. We analyze the case where the action is not edge-transitive and fully classify the possible $2$-ended graphs. We draw connections to Willis' scale function and re-prove a result by Trofimov. △ Less

Submitted 11 January, 2021; originally announced January 2021.

Cosmic radiation does not prevent collisional charging in (Pre)-Planetary Atmospheres

Authors: Felix Jungmann, Tetyana Bila, Laura Kleinert, Andre Mölleken, Rolf Möller, Lars Schmidt, Niclas Schneider, Jens Teiser, Detlef Utzat, Victoria Volkenborn, Gerhard Wurm

Abstract: In (pre)-planetary environments, dust and sand grains regularly collide. They electrically charge and discharge during these events. In this work, we study if cosmic radiation has any influence on the equilibrium charge state on timescales of minutes. We developed an experiment that was carried out during the ascent of a stratospheric balloon. With increasing altitude, the radiation activity incre… ▽ More In (pre)-planetary environments, dust and sand grains regularly collide. They electrically charge and discharge during these events. In this work, we study if cosmic radiation has any influence on the equilibrium charge state on timescales of minutes. We developed an experiment that was carried out during the ascent of a stratospheric balloon. With increasing altitude, the radiation activity increases by a factor of 54. However, we found only a very minor decrease in grain charges of up to 30%. This implies that charge-moderated processes from thunderstorms on Earth, over early phases of planet formation to particle motion on the Martian surface on short timescales essentially proceed unhindered from a direct influence of cosmic radiation. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Journal ref: Icarus Volume 355, February 2021, 114127

Improved Convergence Speed of Fully Symmetric Learning Rules for Principal Component Analysis

Authors: Ralf Möller

Abstract: Fully symmetric learning rules for principal component analysis can be derived from a novel objective function suggested in our previous work. We observed that these learning rules suffer from slow convergence for covariance matrices where some principal eigenvalues are close to each other. Here we describe a modified objective function with an additional term which mitigates this convergence prob… ▽ More Fully symmetric learning rules for principal component analysis can be derived from a novel objective function suggested in our previous work. We observed that these learning rules suffer from slow convergence for covariance matrices where some principal eigenvalues are close to each other. Here we describe a modified objective function with an additional term which mitigates this convergence problem. We show that the learning rule derived from the modified objective function inherits all fixed points from the original learning rule (but may introduce additional ones). Also the stability of the inherited fixed points remains unchanged. Only the steepness of the objective function is increased in some directions. Simulations confirm that the convergence speed can be noticeably improved, depending on the weight factor of the additional term. △ Less

Submitted 18 July, 2020; originally announced July 2020.

Derivation of Symmetric PCA Learning Rules from a Novel Objective Function

Authors: Ralf Möller

Abstract: Neural learning rules for principal component / subspace analysis (PCA / PSA) can be derived by maximizing an objective function (summed variance of the projection on the subspace axes) under an orthonormality constraint. For a subspace with a single axis, the optimization produces the principal eigenvector of the data covariance matrix. Hierarchical learning rules with deflation procedures can th… ▽ More Neural learning rules for principal component / subspace analysis (PCA / PSA) can be derived by maximizing an objective function (summed variance of the projection on the subspace axes) under an orthonormality constraint. For a subspace with a single axis, the optimization produces the principal eigenvector of the data covariance matrix. Hierarchical learning rules with deflation procedures can then be used to extract multiple eigenvectors. However, for a subspace with multiple axes, the optimization leads to PSA learning rules which only converge to axes spanning the principal subspace but not to the principal eigenvectors. A modified objective function with distinct weight factors had to be introduced produce PCA learning rules. Optimization of the objective function for multiple axes leads to symmetric learning rules which do not require deflation procedures. For the PCA case, the estimated principal eigenvectors are ordered (w.r.t. the corresponding eigenvalues) depending on the order of the weight factors. Here we introduce an alternative objective function where it is not necessary to introduce fixed weight factors; instead, the alternative objective function uses squared summands. Optimization leads to symmetric PCA learning rules which converge to the principal eigenvectors, but without imposing an order. In place of the diagonal matrices with fixed weight factors, variable diagonal matrices appear in the learning rules. We analyze this alternative approach by determining the fixed points of the constrained optimization. The behavior of the constrained objective function at the fixed points is analyzed which confirms both the PCA behavior and the fact that no order is imposed. Different ways to derive learning rules from the optimization of the objective function are presented. The role of the terms in the learning rules obtained from these derivations is explored. △ Less

Submitted 28 May, 2020; v1 submitted 24 May, 2020; originally announced May 2020.

Comments: Added a paragraph to section 'Conclusion' describing a disadvantage of the novel learning rules

Derivation of Coupled PCA and SVD Learning Rules from a Newton Zero-Finding Framework

Authors: Ralf Möller

Abstract: In coupled learning rules for PCA (principal component analysis) and SVD (singular value decomposition), the update of the estimates of eigenvectors or singular vectors is influenced by the estimates of eigenvalues or singular values, respectively. This coupled update mitigates the speed-stability problem since the update equations converge from all directions with approximately the same speed. A… ▽ More In coupled learning rules for PCA (principal component analysis) and SVD (singular value decomposition), the update of the estimates of eigenvectors or singular vectors is influenced by the estimates of eigenvalues or singular values, respectively. This coupled update mitigates the speed-stability problem since the update equations converge from all directions with approximately the same speed. A method to derive coupled learning rules from information criteria by Newton optimization is known. However, these information criteria have to be designed, offer no explanatory value, and can only impose Euclidean constraints on the vector estimates. Here we describe an alternative approach where coupled PCA and SVD learning rules can systematically be derived from a Newton zero-finding framework. The derivation starts from an objective function, combines the equations for its extrema with arbitrary constraints on the vector estimates, and solves the resulting vector zero-point equation using Newton's zero-finding method. To demonstrate the framework, we derive PCA and SVD learning rules with constant Euclidean length or constant sum of the vector estimates. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Exploring Unknown Universes in Probabilistic Relational Models

Authors: Tanya Braun, Ralf Möller

Abstract: Large probabilistic models are often shaped by a pool of known individuals (a universe) and relations between them. Lifted inference algorithms handle sets of known individuals for tractable inference. Universes may not always be known, though, or may only described by assumptions such as "small universes are more likely". Without a universe, inference is no longer possible for lifted algorithms,… ▽ More Large probabilistic models are often shaped by a pool of known individuals (a universe) and relations between them. Lifted inference algorithms handle sets of known individuals for tractable inference. Universes may not always be known, though, or may only described by assumptions such as "small universes are more likely". Without a universe, inference is no longer possible for lifted algorithms, losing their advantage of tractable inference. The aim of this paper is to define a semantics for models with unknown universes decoupled from a specific constraint language to enable lifted and thereby, tractable inference. △ Less

Submitted 7 January, 2020; originally announced January 2020.

Comments: Also accepted at the 9th StarAI Workshop at AAAI-20

Journal ref: Proceedings of AI 2019: Advances in Artificial Intelligence, 2019, 91-103

Automatic Analysis of Sewer Pipes Based on Unrolled Monocular Fisheye Images

Authors: Johannes Künzel, Thomas Werner, Ronja Möller, Peter Eisert, Jan Waschnewski, Ralf Hilpert

Abstract: The task of detecting and classifying damages in sewer pipes offers an important application area for computer vision algorithms. This paper describes a system, which is capable of accomplishing this task solely based on low quality and severely compressed fisheye images from a pipe inspection robot. Relying on robust image features, we estimate camera poses, model the image lighting, and exploit… ▽ More The task of detecting and classifying damages in sewer pipes offers an important application area for computer vision algorithms. This paper describes a system, which is capable of accomplishing this task solely based on low quality and severely compressed fisheye images from a pipe inspection robot. Relying on robust image features, we estimate camera poses, model the image lighting, and exploit this information to generate high quality cylindrical unwraps of the pipes' surfaces.Based on the generated images, we apply semantic labeling based on deep convolutional neural networks to detect and classify defects as well as structural elements. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: Published in: 2018 IEEE Winter Conference on Applications of Computer Vision (WACV)

Journal ref: J. Kunzel, T. Werner, P. Eisert and J. Waschnewski, "Automatic Analysis of Sewer Pipes Based on Unrolled Monocular Fisheye Images," 2018 IEEE Winter Conference on Applications of Computer Vision (WACV), Lake Tahoe, NV, 2018, pp. 2019-2027

Taming Reasoning in Temporal Probabilistic Relational Models

Authors: Marcel Gehrke, Ralf Möller, Tanya Braun

Abstract: Evidence often grounds temporal probabilistic relational models over time, which makes reasoning infeasible. To counteract groundings over time and to keep reasoning polynomial by restoring a lifted representation, we present temporal approximate merging (TAMe), which incorporates (i) clustering for grou** submodels as well as (ii) statistical significance checks to test the fitness of the clust… ▽ More Evidence often grounds temporal probabilistic relational models over time, which makes reasoning infeasible. To counteract groundings over time and to keep reasoning polynomial by restoring a lifted representation, we present temporal approximate merging (TAMe), which incorporates (i) clustering for grou** submodels as well as (ii) statistical significance checks to test the fitness of the clustering outcome. In exchange for faster runtimes, TAMe introduces a bounded error that becomes negligible over time. Empirical results show that TAMe significantly improves the runtime performance of inference, while kee** errors small. △ Less

Submitted 16 November, 2019; originally announced November 2019.

Infinite arc-transitive and highly-arc-transitive digraphs

Authors: Rögnvaldur G. Möller, Primož Potočnik, Norbert Seifter

Abstract: A detailed description of the structure of two-ended arc-transitive digraphs is given. It is also shown that several sets of conditions, involving such concepts as Property Z, local quasi-primitivity and prime out-valency, imply that an arc-transitive digraph must be highly-arc-transitive. These are then applied to give a complete classification of two-ended highly-arc-transitive digraphs with pri… ▽ More A detailed description of the structure of two-ended arc-transitive digraphs is given. It is also shown that several sets of conditions, involving such concepts as Property Z, local quasi-primitivity and prime out-valency, imply that an arc-transitive digraph must be highly-arc-transitive. These are then applied to give a complete classification of two-ended highly-arc-transitive digraphs with prime in- and out-valencies. △ Less

Submitted 27 November, 2018; v1 submitted 7 November, 2018; originally announced November 2018.

Comments: To appear in European Journal of Combinatorics. Statements of Corollaries 14, 16 and 17 corrected

MSC Class: 05C25 (Primary) 05C20; 05C63 (Secondary)

Sharply $k$-arc-transitive-digraphs: finite and infinite examples

Authors: Rögnvaldur G. Möller, Primož Potočnik, Norbert Seifter

Abstract: A general method for constructing sharply $k$-arc-transitive digraphs, i.e. digraphs that are $k$-arc-transitive but not $(k+1)$-arc-transitive, is presented. Using our method it is possible to construct both finite and infinite examples. The infinite examples can have one, two or infinitely many ends. Among the one-ended examples there are also digraphs that have polynomial growth. A general method for constructing sharply $k$-arc-transitive digraphs, i.e. digraphs that are $k$-arc-transitive but not $(k+1)$-arc-transitive, is presented. Using our method it is possible to construct both finite and infinite examples. The infinite examples can have one, two or infinitely many ends. Among the one-ended examples there are also digraphs that have polynomial growth. △ Less

Submitted 23 October, 2018; originally announced October 2018.

MSC Class: 05C25 (Primary) 05C20; 05C63 (Secondary)

Answering Hindsight Queries with Lifted Dynamic Junction Trees

Authors: Marcel Gehrke, Tanya Braun, Ralf Möller

Abstract: The lifted dynamic junction tree algorithm (LDJT) efficiently answers filtering and prediction queries for probabilistic relational temporal models by building and then reusing a first-order cluster representation of a knowledge base for multiple queries and time steps. We extend LDJT to (i) solve the smoothing inference problem to answer hindsight queries by introducing an efficient backward pass… ▽ More The lifted dynamic junction tree algorithm (LDJT) efficiently answers filtering and prediction queries for probabilistic relational temporal models by building and then reusing a first-order cluster representation of a knowledge base for multiple queries and time steps. We extend LDJT to (i) solve the smoothing inference problem to answer hindsight queries by introducing an efficient backward pass and (ii) discuss different options to instantiate a first-order cluster representation during a backward pass. Further, our relational forward backward algorithm makes hindsight queries to the very beginning feasible. LDJT answers multiple temporal queries faster than the static lifted junction tree algorithm on an unrolled model, which performs smoothing during message passing. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: Accepted at the Eighth International Workshop on Statistical Relational AI. arXiv admin note: substantial text overlap with arXiv:1807.00744

Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm

Authors: Marcel Gehrke, Tanya Braun, Ralf Möller

Abstract: The lifted dynamic junction tree algorithm (LDJT) efficiently answers filtering and prediction queries for probabilistic relational temporal models by building and then reusing a first-order cluster representation of a knowledge base for multiple queries and time steps. Unfortunately, a non-ideal elimination order can lead to groundings even though a lifted run is possible for a model. We extend L… ▽ More The lifted dynamic junction tree algorithm (LDJT) efficiently answers filtering and prediction queries for probabilistic relational temporal models by building and then reusing a first-order cluster representation of a knowledge base for multiple queries and time steps. Unfortunately, a non-ideal elimination order can lead to groundings even though a lifted run is possible for a model. We extend LDJT (i) to identify unnecessary groundings while proceeding in time and (ii) to prevent groundings by delaying eliminations through changes in a temporal first-order cluster representation. The extended version of LDJT answers multiple temporal queries orders of magnitude faster than the original version. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: Accepted at the Eighth International Workshop on Statistical Relational AI

Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm

Authors: Tanya Braun, Ralf Möller

Abstract: Standard approaches for inference in probabilistic formalisms with first-order constructs include lifted variable elimination (LVE) for single queries as well as first-order knowledge compilation (FOKC) based on weighted model counting. To handle multiple queries efficiently, the lifted junction tree algorithm (LJT) uses a first-order cluster representation of a model and LVE as a subroutine in it… ▽ More Standard approaches for inference in probabilistic formalisms with first-order constructs include lifted variable elimination (LVE) for single queries as well as first-order knowledge compilation (FOKC) based on weighted model counting. To handle multiple queries efficiently, the lifted junction tree algorithm (LJT) uses a first-order cluster representation of a model and LVE as a subroutine in its computations. For certain inputs, the implementations of LVE and, as a result, LJT ground parts of a model where FOKC has a lifted run. The purpose of this paper is to prepare LJT as a backbone for lifted inference and to use any exact inference algorithm as subroutine. Using FOKC in LJT allows us to compute answers faster than LJT, LVE, and FOKC for certain inputs. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: Accepted at the Eighth International Workshop on Statistical Relational AI, a version is to appear in the Proceedings of the KI-18: Advances in AI

Comprehensive Supersense Disambiguation of English Prepositions and Possessives

Authors: Nathan Schneider, Jena D. Hwang, Vivek Srikumar, Jakob Prange, Austin Blodgett, Sarah R. Moeller, Aviram Stern, Adi Bitan, Omri Abend

Abstract: Semantic relations are often signaled with prepositional or possessive marking--but extreme polysemy bedevils their analysis and automatic interpretation. We introduce a new annotation scheme, corpus, and task for the disambiguation of prepositions and possessives in English. Unlike previous approaches, our annotations are comprehensive with respect to types and tokens of these markers; use broadl… ▽ More Semantic relations are often signaled with prepositional or possessive marking--but extreme polysemy bedevils their analysis and automatic interpretation. We introduce a new annotation scheme, corpus, and task for the disambiguation of prepositions and possessives in English. Unlike previous approaches, our annotations are comprehensive with respect to types and tokens of these markers; use broadly applicable supersense classes rather than fine-grained dictionary definitions; unite prepositions and possessives under the same class inventory; and distinguish between a marker's lexical contribution and the role it marks in the context of a predicate or scene. Strong interannotator agreement rates, as well as encouraging disambiguation results with established supervised methods, speak to the viability of the scheme and task. △ Less

Submitted 13 May, 2018; originally announced May 2018.

Comments: ACL 2018

On tree-decompositions of one-ended graphs

Authors: Johannes Carmesin, Florian Lehner, Rögnvaldur G. Möller

Abstract: A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended… ▽ More A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended graph contains no ray which is dominated by a vertex and no infinite family of pairwise disjoint rays, then it has a tree-decomposition such that the decomposition tree is one-ended and the tree-decomposition is invariant under the group of automorphisms. This can be applied to prove a conjecture of Halin from 2000 that the automorphism group of such a graph cannot be countably infinite and solves a recent problem of Boutin and Imrich. Furthermore, it implies that every transitive one-ended graph contains an infinite family of pairwise disjoint rays. △ Less

Submitted 21 May, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

MSC Class: 05C63; 05E18; 20B27

Adposition and Case Supersenses v2.6: Guidelines for English

Authors: Nathan Schneider, Jena D. Hwang, Vivek Srikumar, Archna Bhatia, Na-Rae Han, Tim O'Gorman, Sarah R. Moeller, Omri Abend, Adi Shalev, Austin Blodgett, Jakob Prange

Abstract: This document offers a detailed linguistic description of SNACS (Semantic Network of Adposition and Case Supersenses; Schneider et al., 2018), an inventory of 52 semantic labels ("supersenses") that characterize the use of adpositions and case markers at a somewhat coarse level of granularity, as demonstrated in the STREUSLE corpus (https://github.com/nert-nlp/streusle/ ; version 4.5 tracks guidel… ▽ More This document offers a detailed linguistic description of SNACS (Semantic Network of Adposition and Case Supersenses; Schneider et al., 2018), an inventory of 52 semantic labels ("supersenses") that characterize the use of adpositions and case markers at a somewhat coarse level of granularity, as demonstrated in the STREUSLE corpus (https://github.com/nert-nlp/streusle/ ; version 4.5 tracks guidelines version 2.6). Though the SNACS inventory aspires to be universal, this document is specific to English; documentation for other languages will be published separately. Version 2 is a revision of the supersense inventory proposed for English by Schneider et al. (2015, 2016) (henceforth "v1"), which in turn was based on previous schemes. The present inventory was developed after extensive review of the v1 corpus annotations for English, plus previously unanalyzed genitive case possessives (Blodgett and Schneider, 2018), as well as consideration of adposition and case phenomena in Hebrew, Hindi, Korean, and German. Hwang et al. (2017) present the theoretical underpinnings of the v2 scheme. Schneider et al. (2018) summarize the scheme, its application to English corpus data, and an automatic disambiguation task. Liu et al. (2021) offer an English Lexical Semantic Recognition tagger that includes SNACS labels in its output. This documentation can also be browsed alongside corpus data on the Xposition website (Gessler et al., 2022): http://www.xposition.org/ △ Less

Submitted 7 July, 2022; v1 submitted 7 April, 2017; originally announced April 2017.

Comments: Reissuing v2.6 to fix an issue with the previous upload (Causer vs. Force was not consistent across examples and discussion of the passive)

Detecting Affordances by Visuomotor Simulation

Authors: Wolfram Schenck, Hendrik Hasenbein, Ralf Möller

Abstract: The term "affordance" denotes the behavioral meaning of objects. We propose a cognitive architecture for the detection of affordances in the visual modality. This model is based on the internal simulation of movement sequences. For each movement step, the resulting sensory state is predicted by a forward model, which in turn triggers the generation of a new (simulated) motor command by an inverse… ▽ More The term "affordance" denotes the behavioral meaning of objects. We propose a cognitive architecture for the detection of affordances in the visual modality. This model is based on the internal simulation of movement sequences. For each movement step, the resulting sensory state is predicted by a forward model, which in turn triggers the generation of a new (simulated) motor command by an inverse model. Thus, a series of mental images in the sensory and in the motor domain is evoked. Starting from a real sensory state, a large number of such sequences is simulated in parallel. Final affordance detection is based on the generated motor commands. We apply this model to a real-world mobile robot which is faced with obstacle arrangements some of which are passable (corridor) and some of which are not (dead ends). The robot's task is to detect the right affordance ("pass-through-able" or "non-pass-through-able"). The required internal models are acquired in a hierarchical training process. Afterwards, the robotic agent is able to distinguish reliably between corridors and dead ends. This real-world result enhances the validity of the proposed mental simulation approach. In addition, we compare several key factors in the simulation process regarding performance and efficiency. △ Less

Submitted 1 November, 2016; originally announced November 2016.

Comments: 26 pages, 8 figures

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version)

Authors: Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür Özcep, Christoforos Svingos, Dmitriy Zheleznyakov, Sebastian Brandt, Ian Horrocks, Yannis Ioannidis, Steffen Lamparter, Ralf Möller

Abstract: Real-time analytics that requires integration and aggregation of heterogeneous and distributed streaming and static data is a typical task in many industrial scenarios such as diagnostics of turbines in Siemens. OBDA approach has a great potential to facilitate such tasks; however, it has a number of limitations in dealing with analytics that restrict its use in important industrial applications.… ▽ More Real-time analytics that requires integration and aggregation of heterogeneous and distributed streaming and static data is a typical task in many industrial scenarios such as diagnostics of turbines in Siemens. OBDA approach has a great potential to facilitate such tasks; however, it has a number of limitations in dealing with analytics that restrict its use in important industrial applications. Based on our experience with Siemens, we argue that in order to overcome those limitations OBDA should be extended and become analytics, source, and cost aware. In this work we propose such an extension. In particular, we propose an ontology, map**, and query language for OBDA, where aggregate and other analytical functions are first class citizens. Moreover, we develop query optimisation techniques that allow to efficiently process analytical tasks over static and streaming data. We implement our approach in a system and evaluate our system with Siemens turbine data. △ Less

Submitted 15 August, 2016; v1 submitted 18 July, 2016; originally announced July 2016.

Local finiteness, distinguishing numbers and Tucker's conjecture

Authors: Florian Lehner, Rögnvaldur G. Möller

Abstract: A distinguishing colouring of a graph is a colouring of the vertex set such that no non-trivial automorphism preserves the colouring. Tucker conjectured that if every non-trivial automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring. We show that the requirement of local finiteness is necessary by giving a non-locally finite graph for w… ▽ More A distinguishing colouring of a graph is a colouring of the vertex set such that no non-trivial automorphism preserves the colouring. Tucker conjectured that if every non-trivial automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring. We show that the requirement of local finiteness is necessary by giving a non-locally finite graph for which no finite number of colours suffices. △ Less

Submitted 29 April, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

MSC Class: 05C25 (Primary); 05C63; 05C15 (Secondary)

Tunneling electron induced rotation of a copper phthalocyanine molecule on Cu(111)

Authors: J. Schaffert, M. C. Cottin, A. Sonntag, C. A. Bobisch, R. Moeller, J. -P. Gauyacq, N. Lorente

Abstract: The rates of a hindered molecular rotation induced by tunneling electrons are evaluated using scattering theory within the sudden approximation. Our approach explains the excitation of copper phthalocyanine molecules (CuPc) on Cu(111) as revealed in a recent measurement of telegraph noise in a scanning tunneling microscopy (STM) experiment [Schaffert \textit{et al.}, Nat. Mat. {\bf 12}, 223 (2013)… ▽ More The rates of a hindered molecular rotation induced by tunneling electrons are evaluated using scattering theory within the sudden approximation. Our approach explains the excitation of copper phthalocyanine molecules (CuPc) on Cu(111) as revealed in a recent measurement of telegraph noise in a scanning tunneling microscopy (STM) experiment [Schaffert \textit{et al.}, Nat. Mat. {\bf 12}, 223 (2013)]. A complete explanation of the experimental data is performed by computing the geometry of the adsorbed system, its electronic structure and the energy transfer between tunneling electrons and the molecule's rotational degree of freedom. The results unambiguously show that tunneling electrons induce a frustrated rotation of the molecule. In addition, the theory determines the spatial distribution of the frustrated rotation excitation, confirming the striking dominance of two out of four molecular lobes in the observed excitation process. This lobe selectivity is attributed to the different hybridizations with the underlying substrate. △ Less

Submitted 9 April, 2013; originally announced April 2013.

Comments: 10 pages, 6 figures

Journal ref: Phys. Rev. B 103, 161603 (2013)

Normal subgroups of groups acting on trees and automorphism groups of graphs

Authors: Rögnvaldur G. Möller, Jan Vonk

Abstract: Let $T$ be a tree and $e$ an edge in $T$. If $C$ is a component of $T\setminus e$ and both $C$ and its complement are infinite we say that $C$ is a half-tree. The main result of this paper is that if $G$ is a closed subgroup of the automorphism group of $T$ and $G$ leaves no non-trivial subtree invariant and fixes no end of $T$ then the subgroup generated by the pointwise stabilizers of half-trees… ▽ More Let $T$ be a tree and $e$ an edge in $T$. If $C$ is a component of $T\setminus e$ and both $C$ and its complement are infinite we say that $C$ is a half-tree. The main result of this paper is that if $G$ is a closed subgroup of the automorphism group of $T$ and $G$ leaves no non-trivial subtree invariant and fixes no end of $T$ then the subgroup generated by the pointwise stabilizers of half-trees is topologically simple. This result is used to derive analogues of recent results of Caprace and De Medts (2011) and it is also applied in the study of the full automorphism group of a locally finite primitive graph with infinitely many ends. △ Less

Submitted 17 September, 2012; originally announced September 2012.

MSC Class: 20E08; 20B27; 05C25

Locally-finite connected-homogeneous digraphs

Authors: Robert Gray, Rognvaldur G. Moller

Abstract: A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that the digraph embeds a triangle we give a complete classification, obtaining a family of tree-like graphs constructed by gluing together directed triangles. In t… ▽ More A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that the digraph embeds a triangle we give a complete classification, obtaining a family of tree-like graphs constructed by gluing together directed triangles. In the triangle-free case we show that these digraphs are highly arc-transitive. We give a classification in the two-ended case, showing that all examples arise from a simple construction given by gluing along a directed line copies of some fixed finite directed complete bipartite graph. When the digraph has infinitely many ends we show that the descendants of a vertex form a tree, and the reachability graph (which is one of the basic building blocks of the digraph) is one of: an even cycle, a complete bipartite graph, the complement of a perfect matching, or an infinite semiregular tree. We give examples showing that each of these possibilities is realised as the reachability graph of some connected-homogeneous digraph, and in the process we obtain a new family of highly arc-transitive digraphs without property Z. △ Less

Submitted 29 November, 2010; originally announced November 2010.

Comments: 26 pages

MSC Class: 05C63; 05C75; 20B22

Graphs, permutations and topological groups

Authors: Rognvaldur G. Moller

Abstract: Various connections between the theory of permutation groups and the theory of topological groups are described. These connections are applied in permutation group theory and in the structure theory of topological groups. The first draft of these notes was written for lectures at the conference Totally disconnected groups, graphs and geometry in Blaubeuren, Germany, 2007. Various connections between the theory of permutation groups and the theory of topological groups are described. These connections are applied in permutation group theory and in the structure theory of topological groups. The first draft of these notes was written for lectures at the conference Totally disconnected groups, graphs and geometry in Blaubeuren, Germany, 2007. △ Less

Submitted 25 August, 2010; v1 submitted 18 August, 2010; originally announced August 2010.

Comments: 39 pages (The statement of Krophollers conjecture (item 4.30) has been corrected)

MSC Class: 20B07; 22D05; 20F65; 05C25

Hyperbolic groups have flat-rank at most 1

Authors: Udo Baumgartner, Rögnvaldur G. Möller, George A. Willis

Abstract: The flat-rank of a totally disconnected, locally compact group G is an integer, which is an invariant of G as a topological group. We generalize the concept of hyperbolic groups to the topological context and show that a totally disconnected, locally compact, hyperbolic group has flat-rank at most 1. It follows that the simple totally disconnected locally compact groups constructed by Paulin and… ▽ More The flat-rank of a totally disconnected, locally compact group G is an integer, which is an invariant of G as a topological group. We generalize the concept of hyperbolic groups to the topological context and show that a totally disconnected, locally compact, hyperbolic group has flat-rank at most 1. It follows that the simple totally disconnected locally compact groups constructed by Paulin and Haglund have flat-rank at most 1. △ Less

Submitted 23 November, 2009; originally announced November 2009.

Comments: 19 pages, submitted

MSC Class: 22D05; 22D45

Doubly resonant optical nanoantenna arrays for polarization resolved measurements of surface-enhanced Raman scattering

Authors: J. Petschulat, D. Cialla, N. Janunts, C. Rockstuhl, U. Huebner, R. Moeller, H. Schneidewind, R. Mattheis, J. Popp, A. Tuennermann, F. Lederer, T. Pertsch

Abstract: We report that rhomb-shaped metal nanoantenna arrays support multiple plasmonic resonances, making them favorable bio-sensing substrates. Besides the two localized plasmonic dipole modes associated with the two principle axes of the rhombi, the sample supports an additional grating-induced surface plasmon polariton resonance. The plasmonic properties of all modes are carefully studied by far-fie… ▽ More We report that rhomb-shaped metal nanoantenna arrays support multiple plasmonic resonances, making them favorable bio-sensing substrates. Besides the two localized plasmonic dipole modes associated with the two principle axes of the rhombi, the sample supports an additional grating-induced surface plasmon polariton resonance. The plasmonic properties of all modes are carefully studied by far-field measurements together with numerical and analytical calculations. The sample is then applied to surface-enhanced Raman scattering measurements. It is shown to be highly efficient since two plasmonic resonances of the structure were simultaneously tuned to coincide with the excitation and the emission wave- length in the SERS experiment. The analysis is completed by measuring the impact of the polarization angle on the SERS signal. △ Less

Submitted 30 October, 2009; originally announced October 2009.

Comments: 13 pages, 5 figures

N,N'-dimethylperylene-3,4,9,10-bis(dicarboximide) on alkali halide(001) surfaces

Authors: Markus Fendrich, Manfred Lange, Christian Weiss, Tobias Kunstmann, Rolf Moeller

Abstract: The growth of N,N'-dimethylperylene-3,4,9,10-bis(dicarboximide) (DiMe-PTCDI) on KBr(001) and NaCl(001) surfaces has been studied. Experimental results have been achieved using frequency modulation atomic force microscopy at room temperature under ultra-high vacuum conditions. On both substrates, DiMe-PTCDI forms molecular wires with a width of 10 nm, typically, and a length of up to 600 nm at lo… ▽ More The growth of N,N'-dimethylperylene-3,4,9,10-bis(dicarboximide) (DiMe-PTCDI) on KBr(001) and NaCl(001) surfaces has been studied. Experimental results have been achieved using frequency modulation atomic force microscopy at room temperature under ultra-high vacuum conditions. On both substrates, DiMe-PTCDI forms molecular wires with a width of 10 nm, typically, and a length of up to 600 nm at low coverages. All wires grow along the [110] direction (or [1$\bar{1}$0] direction, respectively) of the alkali halide (001) substrates. There is no wetting layer of molecules: Atomic resolution of the substrates can be achieved between the wires. The wires are mobile on KBr surface but substantially more stable on NaCl. A p(2 x 2) superstructure in brickwall arrangement on the ionic crystal surfaces is proposed based on electrostatic considerations. Calculations and Monte-Carlo simulations using empirical potentials reveal possible growth mechanisms for molecules within the first layer for both substrates, also showing a significantly higher binding energy for NaCl(001). For KBr, the p(2 x 2) superstructure is confirmed by the simulations, for NaCl, a less dense, incommensurate superstructure is predicted. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: 5 pages, 5 figures

Temperature dependence of the energy dissipation in dynamic force microscopy

Authors: Tino Roll, Tobias Kunstmann, Markus Fendrich, Rolf Moeller, Marika Schleberger

Abstract: The dissipation of energy in dynamic force microscopy is usually described in terms of an adhesion hysteresis mechanism. This mechanism should become less efficient with increasing temperature. To verify this prediction we have measured topography and dissipation data with dynamic force microscopy in the temperature range from 100 K up to 300 K. We used 3,4,9,10-perylenetetracarboxylic-dianhydri… ▽ More The dissipation of energy in dynamic force microscopy is usually described in terms of an adhesion hysteresis mechanism. This mechanism should become less efficient with increasing temperature. To verify this prediction we have measured topography and dissipation data with dynamic force microscopy in the temperature range from 100 K up to 300 K. We used 3,4,9,10-perylenetetracarboxylic-dianhydride (PTCDA) grown on KBr(001), both materials exhibiting a strong dissipation signal at large frequency shifts. At room temperature, the energy dissipated into the sample (or tip) is 1.9 eV/cycle for PTCDA and 2.7 eV/cycle for KBr, respectively, and is in good agreement with an adhesion hysteresis mechanism. The energy dissipation over the PTCDA surface decreases with increasing temperature yielding a negative temperature coefficient. For the KBr substrate, we find the opposite behaviour: an increase of dissipated energy with increasing temperature. While the negative temperature coefficient in case of PTCDA agrees rather well with the adhesion hysteresis model, the positive slope found for KBr points to a hitherto unknown dissipation mechanism. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Estimating the effects of Bose-Einstein correlations on the W mass measurement at LEP2

Authors: V. Kartvelishvili, R. Kvatadze, R. Moller

Abstract: The influence of Bose-Einstein correlations on the determination of the mass of the W boson in e+e- -> WW -> 4jet events at LEP2 energies is studied, using a global event weighting method. We find that it is possible to keep the systematic error on the W mass from this source below 20 MeV, if suitable precautions are taken in the experimental analysis. The influence of Bose-Einstein correlations on the determination of the mass of the W boson in e+e- -> WW -> 4jet events at LEP2 energies is studied, using a global event weighting method. We find that it is possible to keep the systematic error on the W mass from this source below 20 MeV, if suitable precautions are taken in the experimental analysis. △ Less

Submitted 11 June, 1997; v1 submitted 28 April, 1997; originally announced April 1997.

Comments: 12 pages including 3 .eps figures. Paper revised to correct for a software bug which overestimated heavy quark contribution

Report number: MC-TH-97/04, MAN/HEP/97/3

Journal ref: Phys.Lett.B408:331-339,1997

Determination of the mass of the W boson

Authors: Z. Kunszt, J. W. Stirling, A. Ballestrero, S. Banerjee, A. Blondel, M. Campanelli, F. Cavallari, D. G. Charlton, H. S. Chen, D. v. Dierendonck, A. Gaidot, Ll. Garrido, D. Gele, M. W. Grunewald, G. Gustafson, C. Hartmann, F. Jegerlehner, A. Juste, S. Katsanevas, V. A. Khoze, N. J. Kjaer, L. Lonnblad, E. Maina, M. Martinez, R. Moller , et al. (18 additional authors not shown)

Abstract: Previous studies of the physics potential of LEP2 indicated that with the design luminosity of 500 inverse picobarn one may get a direct measurement of the mass of the W-boson with a precision in the range 30 - 50 MeV. This report presents an updated evaluation of the estimated error on the mass of the W-boson based on recent simulation work and improved theoretical input. The most efficient exp… ▽ More Previous studies of the physics potential of LEP2 indicated that with the design luminosity of 500 inverse picobarn one may get a direct measurement of the mass of the W-boson with a precision in the range 30 - 50 MeV. This report presents an updated evaluation of the estimated error on the mass of the W-boson based on recent simulation work and improved theoretical input. The most efficient experimental methods which will be used are also described. △ Less

Submitted 20 February, 1996; originally announced February 1996.

Comments: 65 pages, latex file + 16 figures , to appear in Vol. 1, Report of the Workshop on Physics at LEP2, G. Altarelli, T. Sjostrand and F.Zwirner

QCD Event Generators

Authors: I. G. Knowles, T. Sjostrand, A. Blondel, A. Boehrer, C. D. Buchanan, D. G. Charlton, S. -L. Chu, S. Chun, G. Dissertori, D. Duchesneau, J. W. Gary, M. Gibbs, A. Grefrath, G. Gustafson, J. Hakkinen, K. Hamacher, K. Kato, L. Lonnblad, W. Metzger, R. Moller, T. Munehisa, R. Odorico, Y. Pei, G. Rudolph, S. Sarkar , et al. (4 additional authors not shown)

Abstract: This report is a survey on QCD Event Generator issues of relevance for LEP 2. It contains four main sections: a summary of experience from LEP 1, extrapolations to LEP 2 energies, Monte Carlo descriptions and standardization issues. This report is a survey on QCD Event Generator issues of relevance for LEP 2. It contains four main sections: a summary of experience from LEP 1, extrapolations to LEP 2 energies, Monte Carlo descriptions and standardization issues. △ Less

Submitted 4 January, 1996; originally announced January 1996.

Comments: 84 pages, LaTeX2e, eps figures included in file using filecontents environments, gzipped, uuencoded, to appear in the proceedings of the LEP 2 Workshop