-
Cost-optimal adaptive FEM with linearization and algebraic solver for semilinear elliptic PDEs
Authors:
Maximilian Brunner,
Dirk Praetorius,
Julian Streitberger
Abstract:
We consider scalar semilinear elliptic PDEs, where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. To linearize the arising discrete nonlinear problem, we employ a damped Zarantonello iteration, which leads to a linear Poisson-type equation that is symmetric and positive definite. The resulting system is solved by a contractive algebraic solver such as a multigrid met…
▽ More
We consider scalar semilinear elliptic PDEs, where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. To linearize the arising discrete nonlinear problem, we employ a damped Zarantonello iteration, which leads to a linear Poisson-type equation that is symmetric and positive definite. The resulting system is solved by a contractive algebraic solver such as a multigrid method with local smoothing. We formulate a fully adaptive algorithm that equibalances the various error components coming from mesh refinement, iterative linearization, and algebraic solver. We prove that the proposed adaptive iteratively linearized finite element method (AILFEM) guarantees convergence with optimal complexity, where the rates are understood with respect to the overall computational cost (i.e., the computational time). Numerical experiments investigate the involved adaptivity parameters.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Optimal complexity of goal-oriented adaptive FEM for nonsymmetric linear elliptic PDEs
Authors:
Philipp Bringmann,
Maximilian Brunner,
Dirk Praetorius,
Julian Streitberger
Abstract:
We analyze a goal-oriented adaptive algorithm that aims to efficiently compute the quantity of interest $G(u^\star)$ with a linear goal functional $G$ and the solution $u^\star$ to a general second-order nonsymmetric linear elliptic partial differential equation. The current state of the analysis of iterative algebraic solvers for nonsymmetric systems lacks the contraction property in the norms th…
▽ More
We analyze a goal-oriented adaptive algorithm that aims to efficiently compute the quantity of interest $G(u^\star)$ with a linear goal functional $G$ and the solution $u^\star$ to a general second-order nonsymmetric linear elliptic partial differential equation. The current state of the analysis of iterative algebraic solvers for nonsymmetric systems lacks the contraction property in the norms that are prescribed by the functional analytic setting. This seemingly prevents their application in the optimality analysis of goal-oriented adaptivity. As a remedy, this paper proposes a goal-oriented adaptive iteratively symmetrized finite element method (GOAISFEM). It employs a nested loop with a contractive symmetrization procedure, e.g., the Zarantonello iteration, and a contractive algebraic solver, e.g., an optimal multigrid solver. The various iterative procedures require well-designed stop** criteria such that the adaptive algorithm can effectively steer the local mesh refinement and the computation of the inexact discrete approximations. The main results consist of full linear convergence of the proposed adaptive algorithm and the proof of optimal convergence rates with respect to both degrees of freedom and total computational cost (i.e., optimal complexity). Numerical experiments confirm the theoretical results and investigate the selection of the parameters.
△ Less
Submitted 8 July, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Hardware Honeypot: Setting Sequential Reverse Engineering on a Wrong Track
Authors:
Michaela Brunner,
Hye Hyun Lee,
Alexander Hepp,
Johanna Baehr,
Georg Sigl
Abstract:
Reverse engineering (RE) of finite state machines (FSMs) is a serious threat when protecting designs against RE attacks. While most recent protection techniques rely on the security of a secret key, this work presents a new approach: hardware FSM honeypots. These honeypots lead the RE tools to a wrong but, for the tools, very attractive FSM, while making the original FSM less attractive. The resul…
▽ More
Reverse engineering (RE) of finite state machines (FSMs) is a serious threat when protecting designs against RE attacks. While most recent protection techniques rely on the security of a secret key, this work presents a new approach: hardware FSM honeypots. These honeypots lead the RE tools to a wrong but, for the tools, very attractive FSM, while making the original FSM less attractive. The results show that state-of-the-art RE methods favor the highly attractive honeypot as FSM candidate or do no longer detect the correct, original FSM.
△ Less
Submitted 5 May, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Design and Control of a Micro Overactuated Aerial Robot with an Origami Delta Manipulator
Authors:
Eugenio Cuniato,
Christian Geckeler,
Maximilian Brunner,
Dario Strübin,
Elia Bähler,
Fabian Ospelt,
Marco Tognon,
Stefano Mintchev,
Roland Siegwart
Abstract:
This work presents the mechanical design and control of a novel small-size and lightweight Micro Aerial Vehicle (MAV) for aerial manipulation. To our knowledge, with a total take-off mass of only 2.0 kg, the proposed system is the most lightweight Aerial Manipulator (AM) that has 8-DOF independently controllable: 5 for the aerial platform and 3 for the articulated arm. We designed the robot to be…
▽ More
This work presents the mechanical design and control of a novel small-size and lightweight Micro Aerial Vehicle (MAV) for aerial manipulation. To our knowledge, with a total take-off mass of only 2.0 kg, the proposed system is the most lightweight Aerial Manipulator (AM) that has 8-DOF independently controllable: 5 for the aerial platform and 3 for the articulated arm. We designed the robot to be fully-actuated in the body forward direction. This allows independent pitching and instantaneous force generation, improving the platform's performance during physical interaction. The robotic arm is an origami delta manipulator driven by three servomotors, enabling active motion compensation at the end-effector. Its composite multimaterial links help reduce the weight, while their flexibility allow for compliant aerial interaction with the environment. In particular, the arm's stiffness can be changed according to its configuration. We provide an in depth discussion of the system design and characterize the stiffness of the delta arm. A control architecture to deal with the platform's overactuation while exploiting the delta arm is presented. Its capabilities are experimentally illustrated both in free flight and physical interaction, highlighting advantages and disadvantages of the origami's folding mechanism.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Spatial modeling and future projection of extreme precipitation extents
Authors:
Peng Zhong,
Manuela Brunner,
Thomas Opitz,
Raphaël Huser
Abstract:
Extreme precipitation events with large spatial extents may have more severe impacts than localized events as they can lead to widespread flooding. It is debated how climate change may affect the spatial extent of precipitation extremes, whose investigation often directly relies on simulations from climate models. Here, we use a different strategy to investigate how future changes in spatial exten…
▽ More
Extreme precipitation events with large spatial extents may have more severe impacts than localized events as they can lead to widespread flooding. It is debated how climate change may affect the spatial extent of precipitation extremes, whose investigation often directly relies on simulations from climate models. Here, we use a different strategy to investigate how future changes in spatial extents of precipitation extremes differ across climate zones and seasons in two river basins (Danube and Mississippi). We rely on observed precipitation extremes while exploiting a physics-based mean temperature covariate, which enables us to project future precipitation extents. We include the covariate into newly developed time-varying $r$-Pareto processes using a suitably chosen spatial aggregation functional $r$. This model captures temporal non-stationarity in the spatial dependence structure of precipitation extremes by linking it to the temperature covariate, which we derive from observations for model calibration and from debiased climate simulations (CMIP6) for projections. For both river basins, our results show negative correlation between the spatial extent and the temperature covariate for most of the rain season and an increasing trend in the margins, indicating a decrease in spatial precipitation extent in a warming climate during rain seasons as precipitation intensity increases locally.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
Adaptive FEM with quasi-optimal overall cost for nonsymmetric linear elliptic PDEs
Authors:
Maximilian Brunner,
Pascal Heid,
Michael Innerberger,
Ani Miraçi,
Dirk Praetorius,
Julian Streitberger
Abstract:
We consider a general nonsymmetric second-order linear elliptic PDE in the framework of the Lax-Milgram lemma. We formulate and analyze an adaptive finite element algorithm with arbitrary polynomial degree that steers the adaptive mesh-refinement and the inexact iterative solution of the arising linear systems. More precisely, the iterative solver employs, as an outer loop, the so-called Zarantone…
▽ More
We consider a general nonsymmetric second-order linear elliptic PDE in the framework of the Lax-Milgram lemma. We formulate and analyze an adaptive finite element algorithm with arbitrary polynomial degree that steers the adaptive mesh-refinement and the inexact iterative solution of the arising linear systems. More precisely, the iterative solver employs, as an outer loop, the so-called Zarantonello iteration to symmetrize the system and, as an inner loop, a uniformly contractive algebraic solver, e.g., an optimally preconditioned conjugate gradient method or an optimal geometric multigrid algorithm. We prove that the proposed inexact adaptive iteratively symmetrized finite element method (AISFEM) leads to full linear convergence and, for sufficiently small adaptivity parameters, to optimal convergence rates with respect to the overall computational cost, i.e., the total computational time. Numerical experiments underline the theory.
△ Less
Submitted 21 November, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Cost-optimal adaptive iterative linearized FEM for semilinear elliptic PDEs
Authors:
Roland Becker,
Maximilian Brunner,
Michael Innerberger,
Jens Markus Melenk,
Dirk Praetorius
Abstract:
We consider scalar semilinear elliptic PDEs where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. We formulate an adaptive iterative linearized finite element method (AILFEM) which steers the local mesh refinement as well as the iterative linearization of the arising nonlinear discrete equations. To this end, we employ a damped Zarantonello iteration so that, in each…
▽ More
We consider scalar semilinear elliptic PDEs where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. We formulate an adaptive iterative linearized finite element method (AILFEM) which steers the local mesh refinement as well as the iterative linearization of the arising nonlinear discrete equations. To this end, we employ a damped Zarantonello iteration so that, in each step of the algorithm, only a linear Poisson-type equation has to be solved. We prove that the proposed AILFEM strategy guarantees convergence with optimal rates, where rates are understood with respect to the overall computational complexity (i.e., the computational time). Moreover, we formulate and test an adaptive algorithm where also the dam** parameter of the Zarantonello iteration is adaptively adjusted. Numerical experiments underline the theoretical findings.
△ Less
Submitted 23 May, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
MPC with Learned Residual Dynamics with Application on Omnidirectional MAVs
Authors:
Maximilian Brunner,
Weixuan Zhang,
Ahmad Roumie,
Marco Tognon,
Roland Siegwart
Abstract:
The growing field of aerial manipulation often relies on fully actuated or omnidirectional micro aerial vehicles (OMAVs) which can apply arbitrary forces and torques while in contact with the environment. Control methods are usually based on model-free approaches, separating a high-level wrench controller from an actuator allocation. If necessary, disturbances are rejected by online disturbance ob…
▽ More
The growing field of aerial manipulation often relies on fully actuated or omnidirectional micro aerial vehicles (OMAVs) which can apply arbitrary forces and torques while in contact with the environment. Control methods are usually based on model-free approaches, separating a high-level wrench controller from an actuator allocation. If necessary, disturbances are rejected by online disturbance observers. However, while being general, this approach often produces sub-optimal control commands and cannot incorporate constraints given by the platform design. We present two model-based approaches to control OMAVs for the task of trajectory tracking while rejecting disturbances. The first one optimizes wrench commands and compensates model errors by a model learned from experimental data. The second one optimizes low-level actuator commands, allowing to exploit an allocation nullspace and to consider constraints given by the actuator hardware. The efficacy and real-time feasibility of both approaches is shown and evaluated in real-world experiments.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Energy Tank-Based Policies for Robust Aerial Physical Interaction with Moving Objects
Authors:
Maximilian Brunner,
Livio Giacomini,
Roland Siegwart,
Marco Tognon
Abstract:
Although manipulation capabilities of aerial robots greatly improved in the last decade, only few works addressed the problem of aerial physical interaction with dynamic environments, proposing strongly model-based approaches. However, in real scenarios, modeling the environment with high accuracy is often impossible. In this work we aim at develo** a control framework for OMAVs for reliable phy…
▽ More
Although manipulation capabilities of aerial robots greatly improved in the last decade, only few works addressed the problem of aerial physical interaction with dynamic environments, proposing strongly model-based approaches. However, in real scenarios, modeling the environment with high accuracy is often impossible. In this work we aim at develo** a control framework for OMAVs for reliable physical interaction tasks with articulated and movable objects in the presence of possibly unforeseen disturbances, and without relying on an accurate model of the environment. Inspired by previous applications of energy-based controllers for physical interaction, we propose a passivity-based impedance and wrench tracking controller in combination with a momentum-based wrench estimator. This is combined with an energy-tank framework to guarantee the stability of the system, while energy and power flow-based adaptation policies are deployed to enable safe interaction with any type of passive environment. The control framework provides formal guarantees of stability, which is validated in practice considering the challenging task of pushing a cart of unknown mass, moving on a surface of unknown friction, as well as subjected to unknown disturbances. For this scenario, we present, evaluate and discuss three different policies.
△ Less
Submitted 7 March, 2022; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Goal-oriented adaptive finite element method for semilinear elliptic PDEs
Authors:
Roland Becker,
Maximilian Brunner,
Michael Innerberger,
Jens Markus Melenk,
Dirk Praetorius
Abstract:
We formulate and analyze a goal-oriented adaptive finite element method (GOAFEM) for a semilinear elliptic PDE and a linear goal functional. The strategy involves the finite element solution of a linearized dual problem, where the linearization is part of the adaptive strategy. Linear convergence and optimal algebraic convergence rates are shown.
We formulate and analyze a goal-oriented adaptive finite element method (GOAFEM) for a semilinear elliptic PDE and a linear goal functional. The strategy involves the finite element solution of a linearized dual problem, where the linearization is part of the adaptive strategy. Linear convergence and optimal algebraic convergence rates are shown.
△ Less
Submitted 13 December, 2021;
originally announced December 2021.
-
Configuration Space Exploration for Digital Printing Systems
Authors:
Jasper Denkers,
Marvin Brunner,
Louis van Gool,
Eelco Visser
Abstract:
Within the printing industry, much of the variety in printed applications comes from the variety in finishing. Finishing comprises the processing of sheets of paper after being printed, e.g. to form books. The configuration space of finishers, i.e. all possible configurations given the available features and hardware capabilities, are large. Current control software minimally assists operators in…
▽ More
Within the printing industry, much of the variety in printed applications comes from the variety in finishing. Finishing comprises the processing of sheets of paper after being printed, e.g. to form books. The configuration space of finishers, i.e. all possible configurations given the available features and hardware capabilities, are large. Current control software minimally assists operators in finding useful configurations. Using a classical modelling and integration approach to support a variety of configuration spaces is suboptimal with respect to operatability, development time, and maintenance burden.
In this paper, we explore the use of a modeling language for finishers to realize optimizing decision making over configuration parameters in a systematic way and to reduce development time by generating control software from models.
We present CSX, a domain-specific language for high-level declarative specification of finishers that supports specification of the configuration parameters and the automated exploration of the configuration space of finishers. The language serves as an interface to constraint solving, i.e., we use low-level SMT constraint solving to find configurations for high-level specifications. We present a denotational semantics that expresses a translation of CSX specifications to SMT constraints. We describe the implementation of the CSX compiler and the CSX programming environment (IDE), which supports well-formedness checking, inhabitance checking, and interactive configuration space exploration. We evaluate CSX by modelling two realistic finishers. Benchmarks show that CSX has practical performance (<1s) for several scenarios of configuration space exploration.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges
Authors:
Bjoern Annighoefer,
Johannes Reinhart,
Matthias Brunner,
Bernd Schulz
Abstract:
The self-* properties commonly associated with the concept of autonomic computing are capabilities desirable for avionics software platforms. They decrease the configuration effort and inherently provide new fault tolerance and resource savings possibilities. The rigid certification process and the requirements for a static and predetermined system behavior are, however, in contradiction with the…
▽ More
The self-* properties commonly associated with the concept of autonomic computing are capabilities desirable for avionics software platforms. They decrease the configuration effort and inherently provide new fault tolerance and resource savings possibilities. The rigid certification process and the requirements for a static and predetermined system behavior are, however, in contradiction with the adaptive and flexible nature of autonomic computing systems. We propose a partition-based architecture providing autonomic features for avionics software platforms while being compliant to regulations and accepted technologies, such as ARINC 653. The core is a platform consciousness based on a domain-specific model and a novel MAP-QE-K cycle. Moreover, we suggest a planning intelligence, a virtual qualification authority, and a minimized execution unit. For each component we define the required design assurance level and possible realization techniques. We discuss the overall feasibility and point out central challenges in the fields of runtime verification and models at runtime. These challenges need to be solved up to the realization of autonomic avionics, e.g. a virtual security assessment and a qualifiable domain-specific model database.
△ Less
Submitted 20 March, 2021;
originally announced March 2021.
-
Extended view on the dust shells around two carbon stars
Authors:
M. Mečina,
B. Aringer,
W. Nowotny,
M. A. T. Groenewegen,
F. Kerschbaum,
M. Brunner,
H. -P. Gail
Abstract:
Stars on the asymptotic giant branch (AGB) lose considerable amounts of matter through their dust-driven stellar winds. A number of such sources have been imaged by Herschel/PACS, revealing a diverse sample of different morphological types. Among them are a few examples which show geometrically thin, spherically symmetric shells which can be used to probe the mass loss history of their host stars.…
▽ More
Stars on the asymptotic giant branch (AGB) lose considerable amounts of matter through their dust-driven stellar winds. A number of such sources have been imaged by Herschel/PACS, revealing a diverse sample of different morphological types. Among them are a few examples which show geometrically thin, spherically symmetric shells which can be used to probe the mass loss history of their host stars. We aim to determine the physical properties of the dust envelope around the two carbon stars U Hya and W Ori. With the much-improved spatial constraints from the new far-infrared maps, our primary goal is to measure the dust masses contained in the shells and see how they fit the proposed scenarios of shell formation. We calculated the radiative transfer of the circumstellar dust envelope using the 1D code More of DUSTY (MoD). Adopting a parametrised density profile, we obtained a best-fit model in terms of the photometric and spectroscopic data, as well as a radial intensity profile based on Herschel/PACS data. For the case of U Hya, we also computed a grid of circumstellar envelopes by means of a stationary wind code and compare the results of the two modelling approaches. The Herschel/PACS maps show U Hya surrounded by a detached shell of $114''\ (0.12\,\mathrm{pc})$ in radius, confirming the observations from previous space missions. The dust masses calculated for the shell by the two approaches are consistent with respect to the adopted dust grain properties. In addition, around W Ori, we detect for the first time a weak spherically symmetric structure with a radius of $92''\ (0.17\,\mathrm{pc})$ and a dust mass of $(3.5\pm0.3)\times10^{-6}\,\mathrm{M_\odot}$.
△ Less
Submitted 28 October, 2020;
originally announced October 2020.
-
Learning dynamics for improving control of overactuated flying systems
Authors:
Weixuan Zhang,
Maximilian Brunner,
Lionel Ott,
Mina Kamel,
Roland Siegwart,
Juan Nieto
Abstract:
Overactuated omnidirectional flying vehicles are capable of generating force and torque in any direction, which is important for applications such as contact-based industrial inspection. This comes at the price of an increase in model complexity. These vehicles usually have non-negligible, repetitive dynamics that are hard to model, such as the aerodynamic interference between the propellers. This…
▽ More
Overactuated omnidirectional flying vehicles are capable of generating force and torque in any direction, which is important for applications such as contact-based industrial inspection. This comes at the price of an increase in model complexity. These vehicles usually have non-negligible, repetitive dynamics that are hard to model, such as the aerodynamic interference between the propellers. This makes it difficult for high-performance trajectory tracking using a model-based controller. This paper presents an approach that combines a data-driven and a first-principle model for the system actuation and uses it to improve the controller. In a first step, the first-principle model errors are learned offline using a Gaussian Process (GP) regressor. At runtime, the first-principle model and the GP regressor are used jointly to obtain control commands. This is formulated as an optimization problem, which avoids ambiguous solutions present in a standard inverse model in overactuated systems, by only using forward models. The approach is validated using a tilt-arm overactuated omnidirectional flying vehicle performing attitude trajectory tracking. The results show that with our proposed method, the attitude trajectory error is reduced by 32% on average as compared to a nominal PID controller.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Active Interaction Force Control for Contact-Based Inspection with a Fully Actuated Aerial Vehicle
Authors:
Karen Bodie,
Maximilian Brunner,
Michael Pantic,
Stefan Walser,
Patrick Pfändler,
Ueli Angst,
Roland Siegwart,
Juan Nieto
Abstract:
This paper presents and validates active interaction force control and planning for fully actuated and omnidirectional aerial manipulation platforms, with the goal of aerial contact inspection in unstructured environments. We present a variable axis-selective impedance control which integrates direct force control for intentional interaction, using feedback from an on-board force sensor. The contr…
▽ More
This paper presents and validates active interaction force control and planning for fully actuated and omnidirectional aerial manipulation platforms, with the goal of aerial contact inspection in unstructured environments. We present a variable axis-selective impedance control which integrates direct force control for intentional interaction, using feedback from an on-board force sensor. The control approach aims to reject disturbances in free flight, while handling unintentional interaction, and actively controlling desired interaction forces. A fully actuated and omnidirectional tilt-rotor aerial system is used to show capabilities of the control and planning methods. Experiments demonstrate disturbance rejection, push-and-slide interaction, and force controlled interaction in different flight orientations. The system is validated as a tool for non-destructive testing of concrete infrastructure, and statistical results of
△ Less
Submitted 5 January, 2021; v1 submitted 20 March, 2020;
originally announced March 2020.
-
Design and optimal control of a tiltrotor micro aerial vehicle for efficient omnidirectional flight
Authors:
Mike Allenspach,
Karen Bodie,
Maximilian Brunner,
Luca Rinsoz,
Zachary Taylor,
Mina Kamel,
Roland Siegwart,
Juan Nieto
Abstract:
Omnidirectional micro aerial vehicles are a growing field of research, with demonstrated advantages for aerial interaction and uninhibited observation. While systems with complete pose omnidirectionality and high hover efficiency have been developed independently, a robust system that combines the two has not been demonstrated to date. This paper presents the design and optimal control of a novel…
▽ More
Omnidirectional micro aerial vehicles are a growing field of research, with demonstrated advantages for aerial interaction and uninhibited observation. While systems with complete pose omnidirectionality and high hover efficiency have been developed independently, a robust system that combines the two has not been demonstrated to date. This paper presents the design and optimal control of a novel omnidirectional vehicle that can exert a wrench in any orientation while maintaining efficient flight configurations. The system design is motivated by the result of a morphology design optimization. A six degrees of freedom optimal controller is derived, with an actuator allocation approach that implements task prioritization, and is robust to singularities. Flight experiments demonstrate and verify the system's capabilities.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Risk Management Practices in Information Security: Exploring the Status Quo in the DACH Region
Authors:
Michael Brunner,
Clemens Sauerwein,
Michael Felderer,
Ruth Breu
Abstract:
Information security management aims at ensuring proper protection of information values and information processing systems (i.e. assets). Information security risk management techniques are incorporated to deal with threats and vulnerabilities that impose risks to information security properties of these assets. This paper investigates the current state of risk management practices being used in…
▽ More
Information security management aims at ensuring proper protection of information values and information processing systems (i.e. assets). Information security risk management techniques are incorporated to deal with threats and vulnerabilities that impose risks to information security properties of these assets. This paper investigates the current state of risk management practices being used in information security management in the DACH region (Germany, Austria, Switzerland). We used an anonymous online survey targeting strategic and operative information security and risk managers and collected data from 26 organizations. We analyzed general practices, documentation artifacts, patterns of stakeholder collaboration as well as tool types and data sources used by enterprises to conduct information security management activities. Our findings show that the state of practice of information security risk management is in need of improvement. Current industrial practice heavily relies on manual data collection and complex potentially subjective decision processes with multiple stakeholders involved. Dedicated risk management tools and methods are used selectively and neglected in favor of general-purpose documentation tools and direct communication between stakeholders. In light of our results we propose guidelines for the development of risk management practices that are better aligned with the current operational situation in information security management.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
TimingCamouflage+: Netlist Security Enhancement with Unconventional Timing (with Appendix)
Authors:
Grace Li Zhang,
Bing Li,
Meng Li,
Bei Yu,
David Z. Pan,
Michaela Brunner,
Georg Sigl,
Ulf Schlichtmann
Abstract:
With recent advances in reverse engineering, attackers can reconstruct a netlist to counterfeit chips by opening the die and scanning all layers of authentic chips. This relatively easy counterfeiting is made possible by the use of the standard simple clocking scheme, where all combinational blocks function within one clock period, so that a netlist of combinational logic gates and flip-flops is s…
▽ More
With recent advances in reverse engineering, attackers can reconstruct a netlist to counterfeit chips by opening the die and scanning all layers of authentic chips. This relatively easy counterfeiting is made possible by the use of the standard simple clocking scheme, where all combinational blocks function within one clock period, so that a netlist of combinational logic gates and flip-flops is sufficient to duplicate a design. In this paper, we propose to invalidate the assumption that a netlist completely represents the function of a circuit with unconventional timing. With the introduced wave-pipelining paths, attackers have to capture gate and interconnect delays during reverse engineering, or to test a huge number of combinational paths to identify the wave-pipelining paths. To hinder the test-based attack, we construct false paths with wave-pipelining to increase the counterfeiting challenge. Experimental results confirm that wave-pipelining true paths and false paths can be constructed in benchmark circuits successfully with only a negligible cost, thus thwarting the potential attack techniques.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
An Omnidirectional Aerial Manipulation Platform for Contact-Based Inspection
Authors:
Karen Bodie,
Maximilian Brunner,
Michael Pantic,
Stefan Walser,
Patrick Pfändler,
Ueli Angst,
Roland Siegwart,
Juan Nieto
Abstract:
This paper presents an omnidirectional aerial manipulation platform for robust and responsive interaction with unstructured environments, toward the goal of contact-based inspection. The fully actuated tilt-rotor aerial system is equipped with a rigidly mounted end-effector, and is able to exert a 6 degree of freedom force and torque, decoupling the system's translational and rotational dynamics,…
▽ More
This paper presents an omnidirectional aerial manipulation platform for robust and responsive interaction with unstructured environments, toward the goal of contact-based inspection. The fully actuated tilt-rotor aerial system is equipped with a rigidly mounted end-effector, and is able to exert a 6 degree of freedom force and torque, decoupling the system's translational and rotational dynamics, and enabling precise interaction with the environment while maintaining stability. An impedance controller with selective apparent inertia is formulated to permit compliance in certain degrees of freedom while achieving precise trajectory tracking and disturbance rejection in others. Experiments demonstrate disturbance rejection, push-and-slide interaction, and on-board state estimation with depth servoing to interact with local surfaces. The system is also validated as a tool for contact-based non-destructive testing of concrete infrastructure.
△ Less
Submitted 10 July, 2019; v1 submitted 9 May, 2019;
originally announced May 2019.
-
ALMA observations of the "fresh" carbon-rich AGB star TX Piscium. The discovery of an elliptical detached shell
Authors:
Magdalena Brunner,
Marko Mecina,
Matthias Maercker,
Ernst A. Dorfi,
Franz Kerschbaum,
Hans Olofsson,
Gioia Rau
Abstract:
Aims. The carbon-rich asymptotic giant branch (AGB) star TX Piscium (TX Psc) has been observed multiple times during multiple epochs and at different wavelengths and resolutions, showing a complex molecular CO line profile and a ring-like structure in thermal dust emission. We investigate the molecular counterpart in high resolution, aiming to resolve the ring-like structure and identify its origi…
▽ More
Aims. The carbon-rich asymptotic giant branch (AGB) star TX Piscium (TX Psc) has been observed multiple times during multiple epochs and at different wavelengths and resolutions, showing a complex molecular CO line profile and a ring-like structure in thermal dust emission. We investigate the molecular counterpart in high resolution, aiming to resolve the ring-like structure and identify its origin. Methods. Atacama Large Millimeter/submillimeter Array (ALMA) observations have been carried out to map the circumstellar envelope (CSE) of TX Psc in CO(2-1) emission and investigate the counterpart to the ring-like dust structure. Results. We report the detection of a thin, irregular, and elliptical detached molecular shell around TX Psc, which coincides with the dust emission. This is the first discovery of a non-spherically symmetric detached shell, raising questions about the sha** of detached shells. Conclusions. We investigate possible sha** mechanisms for elliptical detached shells and find that in the case of TX Psc, stellar rotation of 2 km/s can lead to a non-uniform mass-loss rate and velocity distribution from stellar pole to equator, recreating the elliptical CSE. We discuss the possible scenarios for increased stellar momentum, enabling the rotation rates needed to reproduce the ellipticity of our observations, and come to the conclusion that momentum transfer of an orbiting object with the mass of a brown dwarf would be sufficient.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
Spontaneous Circulation of Active Microtubules Confined by Optical Traps
Authors:
Stephen E Martin,
Matthew E Brunner,
Joshua M Deutsch
Abstract:
We propose an experiment to demonstrate spontaneous ordering and symmetry breaking of kinesin-driven microtubules confined to an optical trap. Calculations involving the feasibility of such an experiment are first performed which analyze the power needed to confine microtubules and address heating concerns. We then present the results of first-principles simulations of active microtubules confined…
▽ More
We propose an experiment to demonstrate spontaneous ordering and symmetry breaking of kinesin-driven microtubules confined to an optical trap. Calculations involving the feasibility of such an experiment are first performed which analyze the power needed to confine microtubules and address heating concerns. We then present the results of first-principles simulations of active microtubules confined in such a trap and analyze the types of motion observed by the microtubules as well as the velocity of the surrounding fluid, both near the trap and in the far-field. We find three distinct phases characterized by breaking of distinct symmetries and also analyze the power spectrum of the angular momenta of polymers to further quantify the differences between these phases. Under the correct conditions, microtubules were found to spontaneously align with one another and circle the trap in one direction.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
Properties of dust in the detached shells around U Ant, DR Ser, and V644 Sco
Authors:
M. Maercker,
T. Khouri Silva,
E. De Beck,
M. Brunner,
M. Mecina,
O. Jaldehag
Abstract:
Understanding the properties of dust produced during the asymptotic giant branch phase of stellar evolution is important for understanding the evolution of stars and galaxies. Recent observations of the carbon AGB star R Scl have shown that observations at far-infrared and submillimetre wavelengths can effectively constrain the grain sizes in the shell, while the total mass depends on the structur…
▽ More
Understanding the properties of dust produced during the asymptotic giant branch phase of stellar evolution is important for understanding the evolution of stars and galaxies. Recent observations of the carbon AGB star R Scl have shown that observations at far-infrared and submillimetre wavelengths can effectively constrain the grain sizes in the shell, while the total mass depends on the structure of the grains (solid vs. hollow or fluffy). We aim to constrain the properties of the dust observed in the submillimetre in the detached shells around the three carbon AGB stars U Ant, DR Ser, and V644 Sco, and to investigate the constraints on the dust masses and grain sizes provided by far-infrared and submm observations. We observed the carbon AGB stars U Ant, DR Ser, and V644 Sco at 870 micron using LABOCA on APEX. Combined with observations from the optical to far-infrared, we produced dust radiative transfer models of the spectral energy distributions (SEDs) with contributions from the stars, present-day mass-loss and detached shells. We tested the effect of different total dust masses and grain sizes on the SED, and attempted to consistently reproduce the SEDs from the optical to the submm. We derive dust masses in the shells of a few 10e-5 Msun, assuming spherical, solid grains. The best-fit grain radii are comparatively large, and indicate the presence of grains between 0.1 micron-2 micron. The LABOCA observations suffer from contamination from 12CO(3-2), and hence gives fluxes that are higher than the predicted dust emission at submm wavelengths. We investigate the effect on the best-fitting models by assuming different degrees of contamination and show that far-infrared and submillimetre observations are important to constrain the dust mass and grain sizes in the shells.
△ Less
Submitted 7 November, 2018; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Emergence of Metachronal Waves in Active Microtubule Arrays
Authors:
Stephen E Martin,
Matthew E Brunner,
Joshua M Deutsch
Abstract:
The physical mechanism behind the spontaneous formation of metachronal waves in microtubule arrays in a low Reynolds number fluid has been of interest for the past several years, yet is still not well understood. We present a model implementing the hydrodynamic coupling hypothesis from first principles, and use this model to simulate kinesin-driven microtubule arrays and observe their emergent beh…
▽ More
The physical mechanism behind the spontaneous formation of metachronal waves in microtubule arrays in a low Reynolds number fluid has been of interest for the past several years, yet is still not well understood. We present a model implementing the hydrodynamic coupling hypothesis from first principles, and use this model to simulate kinesin-driven microtubule arrays and observe their emergent behavior. The results of simulations are compared to known experimental observations by Sanchez et al. By varying parameters, we determine regimes in which the metachronal wave phenomenon emerges, and categorize other types of possible microtubule motion outside these regimes.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Molecular line study of the S-type AGB star W Aquilae. ALMA observations of CS, SiS, SiO and HCN
Authors:
Magdalena Brunner,
Taissa Danilovich,
Sofia Ramstedt,
Ivan Marti-Vidal,
Elvire De Beck,
Wouter H. T. Vlemmings,
Michael Lindqvist,
Franz Kerschbaum
Abstract:
Context. With the outstanding spatial resolution and sensitivity of the Atacama Large Millimeter/sub-millimeter Array (ALMA), molecular gas other than the abundant CO can be observed and resolved in circumstellar envelopes (CSEs) around evolved stars, such as the binary S-type Asymptotic Giant Branch (AGB) star W Aquilae. Aims. We aim to constrain the chemical composition of the CSE and determine…
▽ More
Context. With the outstanding spatial resolution and sensitivity of the Atacama Large Millimeter/sub-millimeter Array (ALMA), molecular gas other than the abundant CO can be observed and resolved in circumstellar envelopes (CSEs) around evolved stars, such as the binary S-type Asymptotic Giant Branch (AGB) star W Aquilae. Aims. We aim to constrain the chemical composition of the CSE and determine the radial abundance distribution, the photospheric peak abundance, and isotopic ratios of a selection of chemically important molecular species in the innermost CSE of W Aql. The derived parameters are put into the context of the chemical evolution of AGB stars and are compared with theoretical models. Methods. We employ one-dimensional radiative transfer modeling - with the accelerated lambda iteration (ALI) radiative transfer code - of the radial abundance distribution of a total of five molecular species (CS, SiS, 30SiS, 29SiO and H13CN) and determine the best fitting model parameters based on high-resolution ALMA observations as well as archival single-dish observations. The additional advantage of the spatially resolved ALMA observations is that we can directly constrain the radial profile of the observed line transitions from the observations. Results. We derive abundances and e-folding radii for CS, SiS, 30SiS, 29SiO and H13CN and compare them to previous studies, which are based only on unresolved single-dish spectra. Our results are in line with previous results and are more accurate due to resolution of the emission regions.
△ Less
Submitted 5 June, 2018;
originally announced June 2018.
-
An independent distance estimate to the AGB star R Sculptoris
Authors:
M. Maercker,
M. Brunner,
M. Mecina,
E. De Beck
Abstract:
For the carbon AGB star R Sculptoris, the uncertain distance significantly affects the interpretation of observations regarding the evolution of the stellar mass loss during and after the most recent thermal pulse. We aim to provide a new, independent measurement of the distance to R Sculptoris, reducing the absolute uncertainty of the distance estimate to this source. R Scl is a semi-regular puls…
▽ More
For the carbon AGB star R Sculptoris, the uncertain distance significantly affects the interpretation of observations regarding the evolution of the stellar mass loss during and after the most recent thermal pulse. We aim to provide a new, independent measurement of the distance to R Sculptoris, reducing the absolute uncertainty of the distance estimate to this source. R Scl is a semi-regular pulsating star, surrounded by a thin shell of dust and gas created during a thermal pulse approximately 2000 years ago. The stellar light is scattered by the dust particles in the shell at a radius of 19 arcsec. The variation in the stellar light affects the amount of dust-scattered light with the same period and amplitude ratio, but with a phase lag that depends on the absolute size of the shell. We measured this phase lag by observing the star R Scl and the dust-scattered stellar light from the shell at five epochs between June - December 2017. By observing in polarised light, we imaged the shell in the plane of the sky, removing any uncertainty due to geometrical effects. The phase lag gives the absolute size of the shell, and together with the angular size of the shell directly gives the absolute distance to R Sculptoris. We measured a phase lag between the stellar variations and the variation in the shell of 40.0 +/- 4.0 days. The angular size of the shell is measured to be 19.1 arcsec +/- 0.7 arcsec. Combined, this gives an absolute distance to R Sculptoris of 361 +/- 44 pc. We independently determined the absolute distance to R Scl with an uncertainty of 12%. The estimated distance is consistent with previous estimates, but is one of the most accurate distances to the source to date. In the future, using the variations in polarised, dust-scattered stellar light, may offer an independent possibility to measure reliable distances to AGB stars.
△ Less
Submitted 27 November, 2017;
originally announced November 2017.
-
The circumstellar envelope around the S-type AGB star W Aql Effects of an eccentric binary orbit
Authors:
S. Ramstedt,
S. Mohamed,
W. H. T. Vlemmings,
T. Danilovich,
M. Brunner,
E. De Beck,
E. M. L. Humphreys,
M. Lindqvist,
M. Maercker,
H. Olofsson,
F. Kerschbaum,
G. Quintana-Lacaci
Abstract:
The CO(J=3-2) emission from the CSE of the binary S-type AGB star W Aql has been observed at subarcsecond resolution using ALMA. The aim of this paper is to investigate the wind properties of the AGB star and to analyse how the known companion has shaped the CSE. The average mass-loss rate during the creation of the detected CSE is estimated through modelling, using the ALMA brightness distributio…
▽ More
The CO(J=3-2) emission from the CSE of the binary S-type AGB star W Aql has been observed at subarcsecond resolution using ALMA. The aim of this paper is to investigate the wind properties of the AGB star and to analyse how the known companion has shaped the CSE. The average mass-loss rate during the creation of the detected CSE is estimated through modelling, using the ALMA brightness distribution and previously published single-dish measurements as observational constraints. The ALMA observations are presented and compared to the results from a 3D smoothed particle hydrodynamics (SPH) binary interaction model with the same properties as the W Aql system and with two different orbital eccentricities. Three-dimensional radiative transfer modelling is performed and the response of the interferometer is modelled and discussed. The estimated average mass-loss rate of W~Aql agrees with previous results. The size of the emitting region is consistent with photodissociation models. The CO(J=3-2) emission is dominated by a smooth component overlayed with two weak arc patterns with different separations. The larger pattern is predicted by the binary interaction model with separations of 10" and therefore likely due to the known companion. It is consistent with a binary orbit with low eccentricity. The smaller separation pattern is asymmetric and coincides with the dust distribution, but the separation timescale (200 yrs) is not consistent with any known process of the system. The separation of the known companions of the system is large enough to not have a very strong effect on the circumstellar morphology. The density contrast across the envelope of a binary with an even larger separation will not be easily detectable, even with ALMA, unless the orbit is strongly asymmetric or the AGB star has a much larger mass-loss rate.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
-
Rings and filaments: The remarkable detached CO shell of U Antliae
Authors:
F. Kerschbaum,
M. Maercker,
M. Brunner,
M. Lindqvist,
H. Olofsson,
M. Mecina,
E. De Beck,
M. A. T. Groenewegen,
E. Lagadec,
S. Mohamed,
C. Paladini,
S. Ramstedt,
W. H. T. Vlemmings,
M. Wittkowski
Abstract:
Aims. Our goal is to characterize the intermediate age, detached shell carbon star U Antliae morphologically and physically in order to study the mass-loss evolution after a possible thermal pulse. Methods. High spatial resolution ALMA observations of unprecedented quality in thermal CO lines allow us to derive first critical spatial and temporal scales and constrain modeling efforts to estimate m…
▽ More
Aims. Our goal is to characterize the intermediate age, detached shell carbon star U Antliae morphologically and physically in order to study the mass-loss evolution after a possible thermal pulse. Methods. High spatial resolution ALMA observations of unprecedented quality in thermal CO lines allow us to derive first critical spatial and temporal scales and constrain modeling efforts to estimate mass-loss rates for both the present day as well as the ejection period of the detached shell. Results. The detached shell is remarkably thin, overall spherically symmetric, and shows a barely resolved filamentary substructure possibly caused by instabilities in the interaction zone of winds with different outflow velocities. The expansion age of the detached shell is of the order of 2700 years and its overall width indicates a high expansion-velocity and high mass-loss period of only a few hundred years at an average mass-loss rate of $\approx$ 10$^{-5}$ $M_\odot$ yr$^{-1}$. The post-high-mass-loss-rate-epoch evolution of U Ant shows a significant decline to a substantially lower gas expansion velocity and a mass-loss rate amounting to 4$\times$10$^{-8}$ $M_\odot$ yr$^{-1}$, at present being consistent with evolutionary changes as predicted for the period between thermal pulses.
△ Less
Submitted 9 August, 2017;
originally announced August 2017.
-
Aperture synthesis imaging of the carbon AGB star R Sculptoris: Detection of a complex structure and a dominating spot on the stellar disk
Authors:
M. Wittkowski,
K. -H. Hofmann,
S. Höfner,
J. B. Le Bouquin,
W. Nowotny,
C. Paladini,
J. Young,
J. -P. Berger,
M. Brunner,
I. de Gregorio-Monsalvo,
K. Eriksson,
J. Hron,
E. M. L. Humphreys,
M. Lindqvist,
M. Maercker,
S. Mohamed,
H. Olofsson,
S. Ramstedt,
G. Weigelt
Abstract:
We present near-infrared interferometry of the carbon-rich asymptotic giant branch (AGB) star R Sculptoris.
The visibility data indicate a broadly circular resolved stellar disk with a complex substructure. The observed AMBER squared visibility values show drops at the positions of CO and CN bands, indicating that these lines form in extended layers above the photosphere. The AMBER visibility va…
▽ More
We present near-infrared interferometry of the carbon-rich asymptotic giant branch (AGB) star R Sculptoris.
The visibility data indicate a broadly circular resolved stellar disk with a complex substructure. The observed AMBER squared visibility values show drops at the positions of CO and CN bands, indicating that these lines form in extended layers above the photosphere. The AMBER visibility values are best fit by a model without a wind. The PIONIER data are consistent with the same model. We obtain a Rosseland angular diameter of 8.9+-0.3 mas, corresponding to a Rosseland radius of 355+-55 Rsun, an effective temperature of 2640+-80 K, and a luminosity of log L/Lsun=3.74+-0.18. These parameters match evolutionary tracks of initial mass 1.5+-0.5 Msun and current mass 1.3+-0.7 Msun. The reconstructed PIONIER images exhibit a complex structure within the stellar disk including a dominant bright spot located at the western part of the stellar disk. The spot has an H-band peak intensity of 40% to 60% above the average intensity of the limb-darkening-corrected stellar disk. The contrast between the minimum and maximum intensity on the stellar disk is about 1:2.5.
Our observations are broadly consistent with predictions by dynamic atmosphere and wind models, although models with wind appear to have a circumstellar envelope that is too extended compared to our observations. The detected complex structure within the stellar disk is most likely caused by giant convection cells, resulting in large-scale shock fronts, and their effects on clumpy molecule and dust formation seen against the photosphere at distances of 2-3 stellar radii.
△ Less
Submitted 8 February, 2017;
originally announced February 2017.
-
A detailed view of the gas shell around R Sculptoris with ALMA
Authors:
M. Maercker,
W. H. T. Vlemmings,
M. Brunner,
E. De Beck,
E. M. Humphreys,
F. Kerschbaum,
M. Lindqvist,
H. Olofsson,
S. Ramstedt
Abstract:
Thermal pulses are fundamental to the chemical evolution of AGB stars and their circumstellar envelopes. A further consequence of thermal pulses is the formation of detached shells of gas and dust around the star. We aim to determine the physical properties of the detached gas shell around R Sculptoris, in particular the shell mass and temperature, and to constrain the evolution of the mass-loss r…
▽ More
Thermal pulses are fundamental to the chemical evolution of AGB stars and their circumstellar envelopes. A further consequence of thermal pulses is the formation of detached shells of gas and dust around the star. We aim to determine the physical properties of the detached gas shell around R Sculptoris, in particular the shell mass and temperature, and to constrain the evolution of the mass-loss rate during and after a thermal pulse. We analyse CO(1-0), CO(2-1), and CO(3-2) emission, observed by. The spatial resolution of the ALMA data allows us to separate the detached shell emission from the extended emission inside the shell. We perform radiative transfer modelling of both components to determine the shell properties and the post-pulse mass-loss properties. The ALMA data show a gas shell with a radius of 19.5" expanding at 14.3km/s. The different scales probed by the ALMA Cycle 0 array show that the shell must be entirely filled with gas, contrary to the idea of a detached shell. The comparison to single-dish spectra and radiative transfer modelling confirms this. We derive a shell mass of 4.5e-3 Msun with a temperature of 50K. Typical timescales for thermal pulses imply a pulse mass-loss rate of 2.3e-5 Msun/yr. For the post-pulse mass-loss rate, we find evidence for a gradual decline of the mass-loss rate, with an average value of 1.6e-5 Msun/yr. The total amount of mass lost since the last thermal pulse is 0.03 Msun, a factor four higher compared to classical models, with a sharp decline in mass-loss rate immediately after the pulse. We find that the mass-loss rate after a thermal pulse has to decline more slowly than generally expected from models of thermal pulses. This may cause the star to lose significantly more mass during a thermal pulse cycle, which affects the chemical evolution of the star and the interstellar medium.
△ Less
Submitted 4 December, 2015;
originally announced December 2015.
-
Topological representation of intuitionistic and distributive abstract logics
Authors:
Andreas B. M. Brunner,
Steffen Lewitzka
Abstract:
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such…
▽ More
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such a direct topological approach avoids the often complex algebraic and lattice-theoretic machinery usually applied to represent logics. Motivated by that point of view, we define in this paper the category of intuitionistic abstract logics with stable logic maps as morphisms, and the category of implicative spectral spaces with spectral maps as morphisms. We show the equivalence of these categories and conclude that the larger categories of distributive abstract logics and distributive sober spaces are equivalent, too.
△ Less
Submitted 18 August, 2015;
originally announced August 2015.
-
Modulus on graphs as a generalization of standard graph theoretic quantities
Authors:
Nathan Albin,
Megan Brunner,
Roberto Perez,
Pietro Poggi-Corradini,
Natalie Wiens
Abstract:
This paper presents new results for the modulus of families of walks on a graph---a discrete analog of the modulus of curve families due to Beurling and Ahlfors. Particular attention is paid to the dependence of the modulus on its parameters. Modulus is shown to generalize (and interpolate among) three important quantities in graph theory: shortest path, effective resistance, and max-flow or min-c…
▽ More
This paper presents new results for the modulus of families of walks on a graph---a discrete analog of the modulus of curve families due to Beurling and Ahlfors. Particular attention is paid to the dependence of the modulus on its parameters. Modulus is shown to generalize (and interpolate among) three important quantities in graph theory: shortest path, effective resistance, and max-flow or min-cut.
△ Less
Submitted 17 November, 2015; v1 submitted 9 April, 2015;
originally announced April 2015.
-
Distributive abstract logics and the Esakia duality
Authors:
Andreas B. M. Brunner,
Darllan Conceição Pinto
Abstract:
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and th…
▽ More
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms.
△ Less
Submitted 29 October, 2014; v1 submitted 15 August, 2014;
originally announced August 2014.
-
ALMA observations of the variable 12CO/13CO ratio around the asymptotic giant branch star R Sculptoris
Authors:
W. H. T. Vlemmings,
M. Maercker,
M. Lindqvist,
S. Mohamed,
H. Olofsson,
S. Ramstedt,
M. Brunner,
M. A. T. Groenewegen,
F. Kerschbaum,
M. Wittkowski
Abstract:
[abridged] The 12CO/13CO ratio is often used as a measure of the 12C/13C ratio in the circumstellar environment, carrying important information about the stellar nucleosynthesis. External processes can change the 12CO and 13CO abundances, and spatially resolved studies of the 12CO/13CO ratio are needed to quantify the effect of these processes on the globally determined values. Additionally, such…
▽ More
[abridged] The 12CO/13CO ratio is often used as a measure of the 12C/13C ratio in the circumstellar environment, carrying important information about the stellar nucleosynthesis. External processes can change the 12CO and 13CO abundances, and spatially resolved studies of the 12CO/13CO ratio are needed to quantify the effect of these processes on the globally determined values. Additionally, such studies provide important information on the conditions in the circumstellar environment. The detached-shell source R Scl, displaying CO emission from recent mass loss, in a binary-induced spiral structure as well as in a clumpy shell produced during a thermal pulse, provides a unique laboratory for studying the differences in CO isotope abundances throughout its recent evolution. We observed both the 12CO(J=3-2) and the 13CO(J=3-2) line using ALMA. We find significant variations in the 12CO/13CO intensity ratios and consequently in the abundance ratios. The average CO isotope abundance ratio is at least a factor three lower in the shell (~19) than that in the present-day (<300 years) mass loss (>60). Additionally, variations in the ratio of more than an order of magnitude are found in the shell itself. We attribute these variations to the competition between selective dissociation and isotope fractionation in the shell, of which large parts cannot be warmer than ~35 K. However, we also find that the 12CO/13CO ratio in the present-day mass loss is significantly higher than the 12C/13C ratio determined in the stellar photosphere from molecular tracers (~19). The origin of this discrepancy is still unclear, but we speculate that it is due to an embedded source of UV-radiation that is primarily photo-dissociating 13CO. This radiation source could be the hitherto hidden companion. Alternatively, the UV-radiation could originate from an active chromosphere of R Scl itself....
△ Less
Submitted 16 August, 2013;
originally announced August 2013.
-
Analysis of microtubule motion due to drag from kinesin walkers
Authors:
J. M. Deutsch,
M. E. Brunner,
William M. Saxton
Abstract:
We analyze the nonlinear waves that propagate on a microtubule that is tethered at its minus end due to kinesin walking on it, as is seen during the fluid mixing caused by cytoplasmic streaming in Drosophila oocytes.The model we use assumes that the microtubule can be modeled as an elastic string in a viscous medium. The effect of the kinesin is to apply a force tangential to the microtubule and w…
▽ More
We analyze the nonlinear waves that propagate on a microtubule that is tethered at its minus end due to kinesin walking on it, as is seen during the fluid mixing caused by cytoplasmic streaming in Drosophila oocytes.The model we use assumes that the microtubule can be modeled as an elastic string in a viscous medium. The effect of the kinesin is to apply a force tangential to the microtubule and we also consider the addition of a uniform cytoplasmic velocity field. We show that travelling wave solutions exist and analyze their properties. There exist scale invariant families of solutions and solutions can exist that are flat or helical. The relationship between the period and wavelength is obtained by both analytic and numerical means. Numerical implementation of the equation of motion verifies our analytical predictions.
△ Less
Submitted 9 July, 2012; v1 submitted 24 February, 2011;
originally announced February 2011.
-
The mechanics of a microscopic mixer: microtubules and cytoplasmic streaming in Drosophila oocytes
Authors:
J. M. Deutsch,
M. E. Brunner,
William M. Saxton
Abstract:
Large scale motion of cytoplasm called cytoplasmic streaming occurs in some large eukaryotic cells to stir the cell's constituents. In Drosophila oocytes, microtubules have been observed to undergo undulating motion, curving to form travelling waves during cytoplasmic streaming. Here we show that this wave-like motion can be understood physically as due to the hydrodynamic drag of streaming impell…
▽ More
Large scale motion of cytoplasm called cytoplasmic streaming occurs in some large eukaryotic cells to stir the cell's constituents. In Drosophila oocytes, microtubules have been observed to undergo undulating motion, curving to form travelling waves during cytoplasmic streaming. Here we show that this wave-like motion can be understood physically as due to the hydrodynamic drag of streaming impellers attached to kinesin motors moving toward the plus-ends of microtubules whose minus ends are anchored to the cell cortex. The tangential forces applied to such microtubules by kinesin give rise to bending and leads to chiral symmetry breaking causing the microtubules to propagate long travelling waves. The waves are reminiscent of those seen in flagellar motion but of a much longer time scale and by a different physical mechanism. We show how kinesin movement can produce a bulk flow of cytoplasm surrounding a microtubule with the range of flow greatly enhanced by the effect of hydrodynamic coupling between impellers. That is, a relatively small number of motors can move a large amount of fluid. The chaotic nature of the fluid motion of cytoplasm caused by kinesin movement along constantly changing microtubule trajectories is important as it greatly enhances the efficiency of mixing. Existing data on in vitro microtubule gliding assays also show this chiral instability in two dimensions and an analysis of this gives quantitative estimates for the forces exerted by motors and the drag coefficient.
△ Less
Submitted 9 July, 2012; v1 submitted 11 January, 2011;
originally announced January 2011.
-
Momentum-space electronic structures and charge orders of high-temperature superconductors Ca2-xNaxCuO2Cl2 and Bi2Sr2CaCu2O8+delta
Authors:
Jianqiao Meng,
M. Brunner,
K. -H. Kim,
H. -G. Lee,
S. -I. Lee,
J. S. Wen,
Z. J. Xu,
G. D. Gu,
G. -H. Gweon
Abstract:
We study the electronic structure of Ca2-xNaxCuO2Cl2 and Bi2Sr2CaCu2O8+d samples in a wide range of do**, using angle-resolved photoemission spectroscopy, with emphasis on on the Fermi surface (FS) in the near anti-nodal region. The "nesting wave vector", i.e., the wave vector that connects two nearly flat pieces of the Fermi surface in the anti-nodal region, reveals a universal monotonic decrea…
▽ More
We study the electronic structure of Ca2-xNaxCuO2Cl2 and Bi2Sr2CaCu2O8+d samples in a wide range of do**, using angle-resolved photoemission spectroscopy, with emphasis on on the Fermi surface (FS) in the near anti-nodal region. The "nesting wave vector", i.e., the wave vector that connects two nearly flat pieces of the Fermi surface in the anti-nodal region, reveals a universal monotonic decrease in magnitude as a function of do**. Comparing our results to the charge order recently observed by scanning tunneling spectroscopy (STS), we conclude that the FS nesting and the charge order pattern seen in STS do not have a direct relationship. Therefore,the charge order likely arises due to strong correlation physics rather than FS nesting physics.
△ Less
Submitted 1 September, 2011; v1 submitted 26 October, 2010;
originally announced October 2010.
-
Ideal Linear Chain Polymers with Fixed Angular Momentum
Authors:
Matthew Brunner,
J. M. Deutsch
Abstract:
The statistical mechanics of a linear non-interacting polymer chain with a large number of monomers is considered with fixed angular momentum. The radius of gyration for a linear polymer is derived exactly by functional integration. This result is then compared to simulations done with a large number of non-interacting rigid links at fixed angular momentum. The simulation agrees with the theory up…
▽ More
The statistical mechanics of a linear non-interacting polymer chain with a large number of monomers is considered with fixed angular momentum. The radius of gyration for a linear polymer is derived exactly by functional integration. This result is then compared to simulations done with a large number of non-interacting rigid links at fixed angular momentum. The simulation agrees with the theory up to finite size corrections. The simulations are also used to investigate the anisotropic nature of a spinning polymer. We find universal scaling of the polymer size along the direction of the angular momentum, as a function of rescaled angular momentum.
△ Less
Submitted 21 August, 2010;
originally announced August 2010.
-
Abelian state-closed subgroups of automorphisms of m-ary trees
Authors:
Andrew M. Brunner,
Said N. Sidki
Abstract:
The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a fini…
▽ More
The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a finitely generated pro-m group. The group A splits over its torsion subgroup. We study in detail the case where A* corresponds to a cyclic Z_m[[x]]-module and when m is a prime number, we show A* to be conjugate by a tree automorphism to one of two specific types of groups.
△ Less
Submitted 22 October, 2009; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Quantum fluctuation theorems in the strong dam** limit
Authors:
Sebastian Deffner,
Michael Brunner,
Eric Lutz
Abstract:
We consider a driven quantum particle in the strong friction regime described by the quantum Smoluchowski equation. We derive Crooks and Jarzynski type relations for the reduced quantum system by properly generalizing the entropy production to take into account the non-Gibbsian character of the equilibrium distribution. In the case of a nonequilibrium steady state, we obtain a quantum version of t…
▽ More
We consider a driven quantum particle in the strong friction regime described by the quantum Smoluchowski equation. We derive Crooks and Jarzynski type relations for the reduced quantum system by properly generalizing the entropy production to take into account the non-Gibbsian character of the equilibrium distribution. In the case of a nonequilibrium steady state, we obtain a quantum version of the Hatano-Sasa relation. We, further, propose an experiment with driven Josephson junctions that would allow to investigate nonequilibrium entropy fluctuations in overdamped quantum systems.
△ Less
Submitted 16 November, 2010; v1 submitted 11 February, 2009;
originally announced February 2009.
-
Three-body interactions in colloidal systems
Authors:
J. Dobnikar,
M. Brunner,
H. H. von Grünberg,
C. Bechinger
Abstract:
We present the first direct measurement of three-body interactions in a colloidal system comprised of three charged colloidal particles. Two of the particles have been confined by means of a scanned laser tweezers to a line-shaped optical trap where they diffused due to thermal fluctuations. Upon the approach of a third particle, attractive three-body interactions have been observed. The results…
▽ More
We present the first direct measurement of three-body interactions in a colloidal system comprised of three charged colloidal particles. Two of the particles have been confined by means of a scanned laser tweezers to a line-shaped optical trap where they diffused due to thermal fluctuations. Upon the approach of a third particle, attractive three-body interactions have been observed. The results are in qualitative agreement with additionally performed nonlinear Poissson-Boltzmann calculations, which also allow us to investigate the microionic density distributions in the neighborhood of the interacting colloidal particles.
△ Less
Submitted 25 January, 2008;
originally announced January 2008.
-
Three- and four-body interactions in colloidal systems
Authors:
J. Dobnikar,
M. Brunner,
Jörg Baumgartl,
H. H. von Grünberg,
C. Bechinger
Abstract:
Three-body and four-body interactions have been directly measured in a colloidal system comprised of three (or four) charged colloidal particles. Two of the particles have been confined by means of a scanned laser tweezers to a line-shaped optical trap where they diffused due to thermal fluctuations. By means of an additional focused optical trap a third particle has been approached and attracti…
▽ More
Three-body and four-body interactions have been directly measured in a colloidal system comprised of three (or four) charged colloidal particles. Two of the particles have been confined by means of a scanned laser tweezers to a line-shaped optical trap where they diffused due to thermal fluctuations. By means of an additional focused optical trap a third particle has been approached and attractive three-body interactions have been observed. These observations are in qualitative agreement with additionally performed nonlinear Poissson-Boltzmann calculations. Two configurations of four particles have been studied experimentally as well and in both cases a repulsive four-body interaction term has been observed.
△ Less
Submitted 25 January, 2008;
originally announced January 2008.
-
Direct measurement of three-body interactions
Authors:
M. Brunner,
J. Dobnikar,
H. H. von Grünberg,
C. Bechinger
Abstract:
Three-body interactions have been measured among three charged colloidal particles in deionized solvent. Two of the particles have been confined to an optical line-trap while the third one was approached by means of a focused laser beam. The experimentally determined three-body interactions are attractive and roughly of the same magnitude and range as the pair-interactions. In addition, numerica…
▽ More
Three-body interactions have been measured among three charged colloidal particles in deionized solvent. Two of the particles have been confined to an optical line-trap while the third one was approached by means of a focused laser beam. The experimentally determined three-body interactions are attractive and roughly of the same magnitude and range as the pair-interactions. In addition, numerical calculations have been performed, which show good agreement with the experimental results.
△ Less
Submitted 25 January, 2008;
originally announced January 2008.
-
Measuring the equation of state of a hard-disc fluid
Authors:
M. Brunner,
C. Bechinger,
U. Herz,
H. H. von Grunberg
Abstract:
We use video microscopy to study a two-dimensional (2D) model fluid of charged colloidal particles suspended in water and compute the pressure from the measured particle configurations. Direct experimental control over the particle density by means of optical tweezers allows the precise measurement of pressure as a function of density. We compare our data with theoretical predictions for the equ…
▽ More
We use video microscopy to study a two-dimensional (2D) model fluid of charged colloidal particles suspended in water and compute the pressure from the measured particle configurations. Direct experimental control over the particle density by means of optical tweezers allows the precise measurement of pressure as a function of density. We compare our data with theoretical predictions for the equation of state, the pair-correlation function and the compressibility of a hard-disc fluid and find good agreement, both for the fluid and the solid phase. In particular the location of the transition point agrees well with results from Monte Carlo simulations.
△ Less
Submitted 3 July, 2003; v1 submitted 28 May, 2003;
originally announced May 2003.
-
On the nature of long-range contributions to pair interactions between charged colloids in two dimensions
Authors:
Vladimir Lobaskin,
Matthias Brunner,
Clemens Bechinger,
Hans Hennig von Gruenberg
Abstract:
We perform a detailed analysis of solutions of the inverse problem applied to experimentally measured two-dimensional radial distribution functions for highly charged latex dispersions. The experiments are carried out at high colloidal densities and under low-salt conditions. At the highest studied densities, the extracted effective pair potentials contain long-range attractive part. At the same…
▽ More
We perform a detailed analysis of solutions of the inverse problem applied to experimentally measured two-dimensional radial distribution functions for highly charged latex dispersions. The experiments are carried out at high colloidal densities and under low-salt conditions. At the highest studied densities, the extracted effective pair potentials contain long-range attractive part. At the same time, we find that for the best distribution functions available the range of stability of the solutions is limited by the nearest neighbour distance between the colloidal particles. Moreover, the measured pair distribution functions can be explained by purely repulsive pair potentials contained in the stable part of the solution.
△ Less
Submitted 10 July, 2003; v1 submitted 2 April, 2003;
originally announced April 2003.
-
Mass gap in compact U(1) Model in (2+1) dimensions
Authors:
Mushtaq Loan,
Michael Brunner,
Chris Hamer
Abstract:
A numerical study of low-lying glueball masses of compact U(1) lattice gauge theory in (2+1) dimensions is performed using Standard Path integral Monte Carlo techniques. The masses are extracted, at fixed (low) temperature, from simulations on anisotropic lattices, with temporal lattice spacing much smaller than the spatial ones. Convincing evidence of the scaling behaviour in the antisymmetric…
▽ More
A numerical study of low-lying glueball masses of compact U(1) lattice gauge theory in (2+1) dimensions is performed using Standard Path integral Monte Carlo techniques. The masses are extracted, at fixed (low) temperature, from simulations on anisotropic lattices, with temporal lattice spacing much smaller than the spatial ones. Convincing evidence of the scaling behaviour in the antisymmetric mass gap is observed over the range $1.4<β<2.25$. The observed behaviour is very consistent with asymptotic form predicted by G{\" o}pfert and Mack. Extrapolations are made to the "Hamiltonian" limit, and the results are compared with previous estimates obtained by many other Hamiltonian studies.
△ Less
Submitted 26 September, 2002;
originally announced September 2002.
-
Path Integral Monte Carlo Approach to the U(1) Lattice Gauge Theory in (2+1) Dimensions
Authors:
Mushtaq Loan,
Michael Brunner,
Clare Sloggett,
Chris Hamer
Abstract:
Path Integral Monte Carlo simulations have been performed for U(1) lattice gauge theory in (2+1) dimensions on anisotropic lattices. We extractthe static quark potential, the string tension and the low-lying "glueball" spectrum.The Euclidean string tension and mass gap decrease exponentially at weakcoupling in excellent agreement with the predictions of Polyakov and G{\" o}pfert and Mack, but th…
▽ More
Path Integral Monte Carlo simulations have been performed for U(1) lattice gauge theory in (2+1) dimensions on anisotropic lattices. We extractthe static quark potential, the string tension and the low-lying "glueball" spectrum.The Euclidean string tension and mass gap decrease exponentially at weakcoupling in excellent agreement with the predictions of Polyakov and G{\" o}pfert and Mack, but their magnitudes are five times bigger than predicted. Extrapolations are made to the extreme anisotropic or Hamiltonian limit, and comparisons are made with previous estimates obtained in the Hamiltonian formulation.
△ Less
Submitted 28 August, 2003; v1 submitted 26 September, 2002;
originally announced September 2002.
-
Static quark potential and string tension for compact U(1) in (2+1) dimensions
Authors:
Mushtaq Loan,
Michael Brunner,
Chris Hamer
Abstract:
Compact U(1) lattice gauge theory in (2+1) dimensions is studied on anisotropic lattices using Standard Path Integral Monte Carlo techniques. We extract the static quark potential and the string tension from 1.0 <= Dtau <= 0.333 simulations at 1.0 <= beta <= 3.0. Estimating the actual value of the renormalization constant, (c = 44), we observe the evidence of scaling in the string tension for 1.…
▽ More
Compact U(1) lattice gauge theory in (2+1) dimensions is studied on anisotropic lattices using Standard Path Integral Monte Carlo techniques. We extract the static quark potential and the string tension from 1.0 <= Dtau <= 0.333 simulations at 1.0 <= beta <= 3.0. Estimating the actual value of the renormalization constant, (c = 44), we observe the evidence of scaling in the string tension for 1.4142 <= beta <= 2.5; with the asymptotic behaviour in the large-beta limit given by K sqrt(beta) = e^(-2.494 beta +2.29). Extrapolations are made to the extreme anisotropic or "Hamiltonian" limit, and comparisons are made with previous estimates obtained by various other methods in the Hamiltonian formulation.
△ Less
Submitted 25 August, 2002;
originally announced August 2002.
-
Single hole dynamics in the t-J model on two- and three-leg ladders
Authors:
Michael Brunner,
Sylvain Capponi,
Fakher F. Assaad,
Alejandro Muramatsu
Abstract:
The dynamics of a single hole in the t-J model on two- (2LL) and three- (3LL) leg ladders is studied using a recently developed quantum Monte Carlo algorithm. For the 2LL it is shown that in addition to the most pronounced features of the spectral function, well described by the limit of strong coupling along the rungs, a clear shadow band appears in the antibonding channel. Moreover, both the b…
▽ More
The dynamics of a single hole in the t-J model on two- (2LL) and three- (3LL) leg ladders is studied using a recently developed quantum Monte Carlo algorithm. For the 2LL it is shown that in addition to the most pronounced features of the spectral function, well described by the limit of strong coupling along the rungs, a clear shadow band appears in the antibonding channel. Moreover, both the bonding band and its shadow have a finite quasiparticle (QP) weight in the thermodynamic limit. For strong coupling along the rungs of the 3LL, the low-energy spectrum in the antisymmetric channel is similar to a one-dimensional chain, whereas in the two symmetric channels it resembles the 2LL. The QP weight vanishes in the antisymmetric channel, but is finite in the symmetric one.
△ Less
Submitted 30 January, 2001;
originally announced January 2001.
-
Single hole dynamics in the t-J model on a square lattice
Authors:
Michael Brunner,
Fakher F. Assaad,
Alejandro Muramatsu
Abstract:
We present quantum Monte Carlo (QMC) simulations for a single hole in a t-J model from J=0.4t to J=4t on square lattices with up to 24 x 24 sites. The lower edge of the spectrum is directly extracted from the imaginary time Green's function. In agreement with earlier calculations, we find flat bands around $(0,\pmπ)$, $(\pmπ,0)$ and the minimum of the dispersion at $(\pmπ/2,\pmπ/2)$. For small J…
▽ More
We present quantum Monte Carlo (QMC) simulations for a single hole in a t-J model from J=0.4t to J=4t on square lattices with up to 24 x 24 sites. The lower edge of the spectrum is directly extracted from the imaginary time Green's function. In agreement with earlier calculations, we find flat bands around $(0,\pmπ)$, $(\pmπ,0)$ and the minimum of the dispersion at $(\pmπ/2,\pmπ/2)$. For small J both self-consistent Born approximation and series expansions give a bandwidth for the lower edge of the spectrum in agreement with the simulations, whereas for J/t > 1, only series expansions agree quantitatively with our QMC results. This band corresponds to a coherent quasiparticle. This is shown by a finite size scaling of the quasiparticle weight $Z(\vec k)$ that leads to a finite result in the thermodynamic limit for the considered values of $J/t$. The spectral function $A(\vec k, ω)$ is obtained from the imaginary time Green's function via the maximum entropy method. Resonances above the lowest edge of the spectrum are identified, whose J-dependence is quantitatively described by string excitations up to J/t=2.
△ Less
Submitted 21 February, 2000;
originally announced February 2000.
-
Single hole dynamics in the one dimensional t-J model
Authors:
Michael Brunner,
Fakher F. Assaad,
Alejandro Muramatsu
Abstract:
We present a new finite-temperature quantum Monte Carlo algorithm to compute imaginary-time Green functions for a single hole in the t-J model on non-frustrated lattices. Spectral functions are then obtained with the Maximum Entropy method. Simulations of the one-dimensional case show that a simple charge-spin separation Ansatz is able to describe the overall features of the spectral function ov…
▽ More
We present a new finite-temperature quantum Monte Carlo algorithm to compute imaginary-time Green functions for a single hole in the t-J model on non-frustrated lattices. Spectral functions are then obtained with the Maximum Entropy method. Simulations of the one-dimensional case show that a simple charge-spin separation Ansatz is able to describe the overall features of the spectral function over the whole energy range for values of J/t from 1/3 to 4. This includes the bandwidth W \sim 4t + J and the compact support of the spectral function. The quasiparticle weight Z_k is computed on lattices up to L=96 sites, and scales as Z_k\propto L^{-1/2}.
△ Less
Submitted 12 April, 1999;
originally announced April 1999.