2,497 research outputs found
Bifurcations and singularities for coupled oscillators with inertia and frustration
We prove that any non zero inertia, however small, is able to change the
nature of the synchronization transition in Kuramoto-like models, either from
continuous to discontinuous, or from discontinuous to continuous. This result
is obtained through an unstable manifold expansion in the spirit of J.D.
Crawford, which features singularities in the vicinity of the bifurcation. Far
from being unwanted artifacts, these singularities actually control the
qualitative behavior of the system. Our numerical tests fully support this
picture.Comment: 10 pages, 2 figure
Mean Field Control for Efficient Mixing of Energy Loads
We pose an engineering challenge of controlling an Ensemble of Energy Devices
via coordinated, implementation-light and randomized on/off switching as a
problem in Non-Equilibrium Statistical Mechanics. We show that Mean Field
Control} with nonlinear feedback on the cumulative consumption, assumed
available to the aggregator via direct physical measurements of the energy
flow, allows the ensemble to recover from its use in the Demand Response
regime, i.e. transition to a statistical steady state, significantly faster
than in the case of the fixed feedback. Moreover when the nonlinearity is
sufficiently strong, one observes the phenomenon of "super-relaxation" -- where
the total instantaneous energy consumption of the ensemble transitions to the
steady state much faster than the underlying probability distribution of the
devices over their state space, while also leaving almost no devices outside of
the comfort zone.Comment: 7 pages, 5 figure
Spreading of Perturbations in Long-Range Interacting Classical Lattice Models
Lieb-Robinson-type bounds are reported for a large class of classical
Hamiltonian lattice models. By a suitable rescaling of energy or time, such
bounds can be constructed for interactions of arbitrarily long range. The bound
quantifies the dependence of the system's dynamics on a perturbation of the
initial state. The effect of the perturbation is found to be effectively
restricted to the interior of a causal region of logarithmic shape, with only
small, algebraically decaying effects in the exterior. A refined bound, sharper
than conventional Lieb-Robinson bounds, is required to correctly capture the
shape of the causal region, as confirmed by numerical results for classical
long-range chains. We discuss the relevance of our findings for the
relaxation to equilibrium of long-range interacting lattice models.Comment: 4+6 pages, 3+2 figure
Paralinearization of the Dirichlet to Neumann operator, and regularity of three-dimensional water waves
This paper is concerned with a priori regularity for
three-dimensional doubly periodic travelling gravity waves whose fundamental
domain is a symmetric diamond. The existence of such waves was a long standing
open problem solved recently by Iooss and Plotnikov. The main difficulty is
that, unlike conventional free boundary problems, the reduced boundary system
is not elliptic for three-dimensional pure gravity waves, which leads to small
divisors problems. Our main result asserts that sufficiently smooth diamond
waves which satisfy a diophantine condition are automatically . In
particular, we prove that the solutions defined by Iooss and Plotnikov are
. Two notable technical aspects are that (i) no smallness condition
is required and (ii) we obtain an exact paralinearization formula for the
Dirichlet to Neumann operator.Comment: Corrected versio
Onset of synchronization in networks of second-order Kuramoto oscillators with delayed coupling: Exact results and application to phase-locked loops
We consider the inertial Kuramoto model of globally coupled oscillators
characterized by both their phase and angular velocity, in which there is a
time delay in the interaction between the oscillators. Besides the academic
interest, we show that the model can be related to a network of phase-locked
loops widely used in electronic circuits for generating a stable frequency at
multiples of an input frequency. We study the model for a generic choice of the
natural frequency distribution of the oscillators, to elucidate how a
synchronized phase bifurcates from an incoherent phase as the coupling constant
between the oscillators is tuned. We show that in contrast to the case with no
delay, here the system in the stationary state may exhibit either a subcritical
or a supercritical bifurcation between a synchronized and an incoherent phase,
which is dictated by the value of the delay present in the interaction and the
precise value of inertia of the oscillators. Our theoretical analysis,
performed in the limit , is based on an unstable manifold
expansion in the vicinity of the bifurcation, which we apply to the kinetic
equation satisfied by the single-oscillator distribution function. We check our
results by performing direct numerical integration of the dynamics for large
, and highlight the subtleties arising from having a finite number of
oscillators.Comment: 15 pages, 4 figures; v2: 16 pages, 5 figures, published versio
Termination Detection of Local Computations
Contrary to the sequential world, the processes involved in a distributed
system do not necessarily know when a computation is globally finished. This
paper investigates the problem of the detection of the termination of local
computations. We define four types of termination detection: no detection,
detection of the local termination, detection by a distributed observer,
detection of the global termination. We give a complete characterisation
(except in the local termination detection case where a partial one is given)
for each of this termination detection and show that they define a strict
hierarchy. These results emphasise the difference between computability of a
distributed task and termination detection. Furthermore, these
characterisations encompass all standard criteria that are usually formulated :
topological restriction (tree, rings, or triangu- lated networks ...),
topological knowledge (size, diameter ...), and local knowledge to distinguish
nodes (identities, sense of direction). These results are now presented as
corollaries of generalising theorems. As a very special and important case, the
techniques are also applied to the election problem. Though given in the model
of local computations, these results can give qualitative insight for similar
results in other standard models. The necessary conditions involve graphs
covering and quasi-covering; the sufficient conditions (constructive local
computations) are based upon an enumeration algorithm of Mazurkiewicz and a
stable properties detection algorithm of Szymanski, Shi and Prywes
- …