7,889 research outputs found
Deformation of LeBrun's ALE metrics with negative mass
In this article we investigate deformations of a scalar-flat K\"ahler metric
on the total space of complex line bundles over CP^1 constructed by C. LeBrun.
In particular, we find that the metric is included in a one-dimensional family
of such metrics on the four-manifold, where the complex structure in the
deformation is not the standard one.Comment: 20 pages, no figure. V2: added two references, filled a gap in the
proof of Theorem 1.2. V3: corrected a wrong statement about Kuranishi family
of a Hirzebruch surface stated in the last paragraph in the proof of Theorem
1.2, and fixed a relevant error in the proof. Also added a reference [24]
about Kuranishi family of Hirzebruch surface
Double solid twistor spaces: the case of arbitrary signature
In a recent paper (math.DG/0701278) we constructed a series of new Moishezon
twistor spaces which is a kind of variant of the famous LeBrun twistor spaces.
In this paper we explicitly give projective models of another series of
Moishezon twistor spaces on nCP^2 for arbitrary n>2, which can be regarded as a
generalization of the twistor spaces of a 'double solid type' on 3CP^2 studied
by Kreussler, Kurke, Poon and the author. Similarly to the twistor spaces of
'double solid type' on 3CP^2, projective models of present twistor spaces have
a natural structure of double covering of a CP^2-bundle over CP^1. We
explicitly give a defining polynomial of the branch divisor of the double
covering whose restriction to fibers are degree four. If n>3 these are new
twistor spaces, to the best of the author's knowledge. We also compute the
dimension of the moduli space of these twistor spaces. Differently from
math.DG/0701278, the present investigation is based on analysis of
pluri-(half-)anticanonical systems of the twistor spaces.Comment: 30 pages, 3 figures; v2: title changed (the original title was
"Explicit construction of new Moishezon twistor spaces, II".
On Asynchronous Session Semantics
This paper studies a behavioural theory of the Ï-calculus with session types under the fundamental principles of the practice of distributed computing â asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard
asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with
event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics.
Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality,
is type and semantic preserving
A new type of solution of the Schr\"odinger equation on a self-similar fractal potential
Scattering a quantum particle by a self-similar fractal potential on a Cantor
set is investigated. We present a new type of solution of the functional
equation for the transfer matrix of this potential, which was derived earlier
from the Schr\"odinger equation.Comment: Latex, 4 pages, 7 eps-figures; the old figures are renewed and new
ones are adde
Program logics for homogeneous meta-programming.
A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Meta-programming has been used extensively since macros
were introduced to Lisp, yet we have little idea how formally to reason about metaprograms. This paper provides the first program logics for homogeneous metaprogramming
â using a variant of MiniMLe by Davies and Pfenning as underlying meta-programming language.We show the applicability of our approach by reasoning about example meta-programs from the literature. We also demonstrate that our logics are relatively complete in the sense of Cook, enable the inductive derivation of characteristic formulae, and exactly capture the observational properties induced by the operational semantics
- âŠ