Sharpness versus robustness of the percolation transition in 2D contact processes

We study versions of the contact process with three states, and with infections occurring at a rate depending on the overall infection density. Motivated by a model described in [17] for vegetation patterns in arid landscapes, we focus on percolation under invariant measures of such processes. We prove that the percolation transition is sharp (for one of our models this requires a reasonable assumption). This is shown to contradict a form of 'robust critical behaviour' with power law cluster size distribution for a range of parameter values, as suggested in [17].Comment: 31 pages, to appear in Stochastic Processes and their Application

Non-Perturbative U(1) Gauge Theory at Finite Temperature

For compact U(1) lattice gauge theory (LGT) we have performed a finite size scaling analysis on $N_{\tau} N_s^3$ lattices for $N_{\tau}$ fixed by extrapolating spatial volumes of size $N_s\le 18$ to $N_s\to\infty$. Within the numerical accuracy of the thus obtained fits we find for $N_{\tau}=4$, 5 and~6 second order critical exponents, which exhibit no obvious $N_{\tau}$ dependence. The exponents are consistent with 3d Gaussian values, but not with either first order transitions or the universality class of the 3d XY model. As the 3d Gaussian fixed point is known to be unstable, the scenario of a yet unidentified non-trivial fixed point close to the 3d Gaussian emerges as one of the possible explanations.Comment: Extended version after referee reports. 6 pages, 6 figure

Thruster Allocation for Dynamical Positioning

Positioning a vessel at a fixed position in deep water is of great importance when working offshore. In recent years a Dynamical Positioning (DP) system was developed at Marin [2]. After the measurement of the current position and external forces (like waves, wind etc.), each thruster of the vessel is actively controlled to hold the desired location. In this paper we focus on the allocation process to determine the settings for each thruster that results in the minimal total power and thus fuel consumption. The mathematical formulation of this situation leads to a nonlinear optimization problem with equality and inequality constraints, which can be solved by applying Lagrange multipliers. We give three approaches: first of all, the full problem was solved using the MATLAB fmincon routine with the solution from the linearised problem as a starting point. This implementation, with robust handling of the situations where the thrusters are overloaded, lead to promising results: an average reduction in fuel consumption of approximately two percent. However, further analysis proved useful. A second approach changes the set of variables and so reduces the number of equations. The third and last approach solves the Lagrange equations with an iterative method on the linearized Lagrange problem

Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern

Crosscutting is usually described in terms of scattering and tangling. However, the distinction between these concepts is vague, which could lead to ambiguous statements. Sometimes, precise definitions are required, e.g. for the formal identification of crosscutting concerns. We propose a conceptual framework for formalizing these concepts based on a crosscutting pattern that shows the mapping between elements at two levels, e.g. concerns and representations of concerns. The definitions of the concepts are formalized in terms of linear algebra, and visualized with matrices and matrix operations. In this way, crosscutting can be clearly distinguished from scattering and tangling. Using linear algebra, we demonstrate that our definition generalizes other definitions of crosscutting as described by Masuhara & Kiczales [21] and Tonella and Ceccato [28]. The framework can be applied across several refinement levels assuring traceability of crosscutting concerns. Usability of the framework is illustrated by means of applying it to several areas such as change impact analysis, identification of crosscutting at early phases of software development and in the area of model driven software development

Glassy behavior induced by geometrical frustration in a hard-core lattice gas model

We introduce a hard-core lattice-gas model on generalized Bethe lattices and investigate analytically and numerically its compaction behavior. If compactified slowly, the system undergoes a first-order crystallization transition. If compactified much faster, the system stays in a meta-stable liquid state and undergoes a glass transition under further compaction. We show that this behavior is induced by geometrical frustration which appears due to the existence of short loops in the generalized Bethe lattices. We also compare our results to numerical simulations of a three-dimensional analog of the model.Comment: 7 pages, 4 figures, revised versio

Collective chemotactic dynamics in the presence of self-generated fluid flows

In micro-swimmer suspensions locomotion necessarily generates fluid motion, and it is known that such flows can lead to collective behavior from unbiased swimming. We examine the complementary problem of how chemotaxis is affected by self-generated flows. A kinetic theory coupling run-and-tumble chemotaxis to the flows of collective swimming shows separate branches of chemotactic and hydrodynamic instabilities for isotropic suspensions, the first driving aggregation, the second producing increased orientational order in suspensions of "pushers" and maximal disorder in suspensions of "pullers". Nonlinear simulations show that hydrodynamic interactions can limit and modify chemotactically-driven aggregation dynamics. In puller suspensions the dynamics form aggregates that are mutually-repelling due to the non-trivial flows. In pusher suspensions chemotactic aggregation can lead to destabilizing flows that fragment the regions of aggregation.Comment: 4 page

Monte Carlo simulation and global optimization without parameters

We propose a new ensemble for Monte Carlo simulations, in which each state is assigned a statistical weight $1/k$, where $k$ is the number of states with smaller or equal energy. This ensemble has robust ergodicity properties and gives significant weight to the ground state, making it effective for hard optimization problems. It can be used to find free energies at all temperatures and picks up aspects of critical behaviour (if present) without any parameter tuning. We test it on the travelling salesperson problem, the Edwards-Anderson spin glass and the triangular antiferromagnet.Comment: 10 pages with 3 Postscript figures, to appear in Phys. Rev. Lett