242 research outputs found
Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks
We introduce a variant of the deterministic rendezvous problem for a pair of
heterogeneous agents operating in an undirected graph, which differ in the time
they require to traverse particular edges of the graph. Each agent knows the
complete topology of the graph and the initial positions of both agents. The
agent also knows its own traversal times for all of the edges of the graph, but
is unaware of the corresponding traversal times for the other agent. The goal
of the agents is to meet on an edge or a node of the graph. In this scenario,
we study the time required by the agents to meet, compared to the meeting time
in the offline scenario in which the agents have complete knowledge
about each others speed characteristics. When no additional assumptions are
made, we show that rendezvous in our model can be achieved after time in a -node graph, and that such time is essentially in some cases
the best possible. However, we prove that the rendezvous time can be reduced to
when the agents are allowed to exchange bits of
information at the start of the rendezvous process. We then show that under
some natural assumption about the traversal times of edges, the hardness of the
heterogeneous rendezvous problem can be substantially decreased, both in terms
of time required for rendezvous without communication, and the communication
complexity of achieving rendezvous in time
Harmonic Superspaces in Low Dimensions
Harmonic superspaces for spacetimes of dimension are constructed.
Some applications are given.Comment: 16, kcl-th-94-15. Two further references have been added (12 and 13)
and a few typographical errors have been correcte
Quantisation of twistor theory by cocycle twist
We present the main ingredients of twistor theory leading up to and including
the Penrose-Ward transform in a coordinate algebra form which we can then
`quantise' by means of a functorial cocycle twist. The quantum algebras for the
conformal group, twistor space CP^3, compactified Minkowski space CMh and the
twistor correspondence space are obtained along with their canonical quantum
differential calculi, both in a local form and in a global *-algebra
formulation which even in the classical commutative case provides a useful
alternative to the formulation in terms of projective varieties. We outline how
the Penrose-Ward transform then quantises. As an example, we show that the
pull-back of the tautological bundle on CMh pulls back to the basic instanton
on S^4\subset CMh and that this observation quantises to obtain the
Connes-Landi instanton on \theta-deformed S^4 as the pull-back of the
tautological bundle on our \theta-deformed CMh. We likewise quantise the
fibration CP^3--> S^4 and use it to construct the bundle on \theta-deformed
CP^3 that maps over under the transform to the \theta-deformed instanton.Comment: 68 pages 0 figures. Significant revision now has detailed formulae
for classical and quantum CP^
Conformal Einstein equations and Cartan conformal connection
Necessary and sufficient conditions for a space-time to be conformal to an
Einstein space-time are interpreted in terms of curvature restrictions for the
corresponding Cartan conformal connection
Differential Calculi on Some Quantum Prehomogeneous Vector Spaces
This paper is devoted to study of differential calculi over quadratic
algebras, which arise in the theory of quantum bounded symmetric domains. We
prove that in the quantum case dimensions of the homogeneous components of the
graded vector spaces of k-forms are the same as in the classical case. This
result is well-known for quantum matrices.
The quadratic algebras, which we consider in the present paper, are
q-analogues of the polynomial algebras on prehomogeneous vector spaces of
commutative parabolic type. This enables us to prove that the de Rham complex
is isomorphic to the dual of a quantum analogue of the generalized
Bernstein-Gelfand-Gelfand resolution.Comment: LaTeX2e, 51 pages; changed conten
-Algebras, the BV Formalism, and Classical Fields
We summarise some of our recent works on -algebras and quasi-groups
with regard to higher principal bundles and their applications in twistor
theory and gauge theory. In particular, after a lightning review of
-algebras, we discuss their Maurer-Cartan theory and explain that any
classical field theory admitting an action can be reformulated in this context
with the help of the Batalin-Vilkovisky formalism. As examples, we explore
higher Chern-Simons theory and Yang-Mills theory. We also explain how these
ideas can be combined with those of twistor theory to formulate maximally
superconformal gauge theories in four and six dimensions by means of
-quasi-isomorphisms, and we propose a twistor space action.Comment: 19 pages, Contribution to Proceedings of LMS/EPSRC Durham Symposium
Higher Structures in M-Theory, August 201
Gathering in Dynamic Rings
The gathering problem requires a set of mobile agents, arbitrarily positioned
at different nodes of a network to group within finite time at the same
location, not fixed in advanced.
The extensive existing literature on this problem shares the same fundamental
assumption: the topological structure does not change during the rendezvous or
the gathering; this is true also for those investigations that consider faulty
nodes. In other words, they only consider static graphs. In this paper we start
the investigation of gathering in dynamic graphs, that is networks where the
topology changes continuously and at unpredictable locations.
We study the feasibility of gathering mobile agents, identical and without
explicit communication capabilities, in a dynamic ring of anonymous nodes; the
class of dynamics we consider is the classic 1-interval-connectivity.
We focus on the impact that factors such as chirality (i.e., a common sense
of orientation) and cross detection (i.e., the ability to detect, when
traversing an edge, whether some agent is traversing it in the other
direction), have on the solvability of the problem. We provide a complete
characterization of the classes of initial configurations from which the
gathering problem is solvable in presence and in absence of cross detection and
of chirality. The feasibility results of the characterization are all
constructive: we provide distributed algorithms that allow the agents to
gather. In particular, the protocols for gathering with cross detection are
time optimal. We also show that cross detection is a powerful computational
element.
We prove that, without chirality, knowledge of the ring size is strictly more
powerful than knowledge of the number of agents; on the other hand, with
chirality, knowledge of n can be substituted by knowledge of k, yielding the
same classes of feasible initial configurations
Two dimensional Sen connections and quasi-local energy-momentum
The recently constructed two dimensional Sen connection is applied in the
problem of quasi-local energy-momentum in general relativity. First it is shown
that, because of one of the two 2 dimensional Sen--Witten identities, Penrose's
quasi-local charge integral can be expressed as a Nester--Witten integral.Then,
to find the appropriate spinor propagation laws to the Nester--Witten integral,
all the possible first order linear differential operators that can be
constructed only from the irreducible chiral parts of the Sen operator alone
are determined and examined. It is only the holomorphy or anti-holomorphy
operator that can define acceptable propagation laws. The 2 dimensional Sen
connection thus naturally defines a quasi-local energy-momentum, which is
precisely that of Dougan and Mason. Then provided the dominant energy condition
holds and the 2-sphere S is convex we show that the next statements are
equivalent: i. the quasi-local mass (energy-momentum) associated with S is
zero; ii.the Cauchy development is a pp-wave geometry with pure
radiation ( is flat), where is a spacelike hypersurface
whose boundary is S; iii. there exist a Sen--constant spinor field (two spinor
fields) on S. Thus the pp-wave Cauchy developments can be characterized by the
geometry of a two rather than a three dimensional submanifold.Comment: 20 pages, Plain Tex, I
Almost optimal asynchronous rendezvous in infinite multidimensional grids
Two anonymous mobile agents (robots) moving in an asynchronous manner have to meet in an infinite grid of dimension δ> 0, starting from two arbitrary positions at distance at most d. Since the problem is clearly infeasible in such general setting, we assume that the grid is embedded in a δ-dimensional Euclidean space and that each agent knows the Cartesian coordinates of its own initial position (but not the one of the other agent). We design an algorithm permitting the agents to meet after traversing a trajectory of length O(d δ polylog d). This bound for the case of 2d-grids subsumes the main result of [12]. The algorithm is almost optimal, since the Ω(d δ) lower bound is straightforward. Further, we apply our rendezvous method to the following network design problem. The ports of the δ-dimensional grid have to be set such that two anonymous agents starting at distance at most d from each other will always meet, moving in an asynchronous manner, after traversing a O(d δ polylog d) length trajectory. We can also apply our method to a version of the geometric rendezvous problem. Two anonymous agents move asynchronously in the δ-dimensional Euclidean space. The agents have the radii of visibility of r1 and r2, respectively. Each agent knows only its own initial position and its own radius of visibility. The agents meet when one agent is visible to the other one. We propose an algorithm designing the trajectory of each agent, so that they always meet after traveling a total distance of O( ( d)), where r = min(r1, r2) and for r ≥ 1. r)δpolylog ( d r
The kernel of the edth operators on higher-genus spacelike two-surfaces
The dimension of the kernels of the edth and edth-prime operators on closed,
orientable spacelike 2-surfaces with arbitrary genus is calculated, and some of
its mathematical and physical consequences are discussed.Comment: 12 page
- …