3,056 research outputs found
D=3, N=8 conformal supergravity and the Dragon window
We give a superspace description of D=3, N=8 supergravity. The formulation is
off-shell in the sense that the equations of motion are not implied by the
superspace constraints (but an action principle is not given). The multiplet
structure is unconventional, which we connect to the existence of a "Dragon
window", that is modules occurring in the supercurvature but not in the
supertorsion. According to Dragon's theorem this cannot happen above three
dimensions. We clarify the relevance of this window for going on the conformal
shell, and discuss some aspects of coupling to conformal matter.Comment: plain tex, 24 pp v2: minor change
On Probabilistic Applicative Bisimulation and Call-by-Value -Calculi (Long Version)
Probabilistic applicative bisimulation is a recently introduced coinductive
methodology for program equivalence in a probabilistic, higher-order, setting.
In this paper, the technique is applied to a typed, call-by-value,
lambda-calculus. Surprisingly, the obtained relation coincides with context
equivalence, contrary to what happens when call-by-name evaluation is
considered. Even more surprisingly, full-abstraction only holds in a symmetric
setting.Comment: 30 page
Properties of Semi-Chiral Superfields
Whenever the N=(2,2) supersymmetry algebra of non-linear sigma-models in two
dimensions does not close off-shell, a holomorphic two-form can be defined. The
only known superfields providing candidate auxiliary fields to achieve an
off-shell formulation are semi-chiral fields. Such a semi-chiral description is
only possible when the two-form is constant. Using an explicit example,
hyper-Kahler manifolds, we show that this is not always the case. Finally, we
give a concrete construction of semi-chiral potentials for a class of
hyper-Kahler manifolds using the duality exchanging a pair consisting of a
chiral and a twisted-chiral superfield for one semi-chiral multiplet.Comment: LaTeX, 17 page
Denominator identities for finite-dimensional Lie superalgebras and Howe duality for compact dual pairs
We provide formulas for the denominator and superdenominator of a basic
classical type Lie superalgebra for any set of positive roots. We establish a
connection between certain sets of positive roots and the theory of reductive
dual pairs of real Lie groups. As an application of our formulas, we recover
the Theta correspondence for compact dual pairs. Along the way we give an
explicit description of the real forms of basic classical type Lie
superalgebras.Comment: Latex, 75 pages. Minor corrections. Final version, to appear in the
Japanese Journal of Mathematic
Radiation reaction and renormalization in classical electrodynamics of point particle in any dimension
The effective equations of motion for a point charged particle taking account
of radiation reaction are considered in various space-time dimensions. The
divergencies steaming from the pointness of the particle are studied and the
effective renormalization procedure is proposed encompassing uniformly the
cases of all even dimensions. It is shown that in any dimension the classical
electrodynamics is a renormalizable theory if not multiplicatively beyond d=4.
For the cases of three and six dimensions the covariant analogs of the
Lorentz-Dirac equation are explicitly derived.Comment: minor changes in concluding section, misprints corrected, LaTeX2e, 15
page
BPMN task instance streaming for efficient micro-task crowdsourcing processes
The Business Process Model and Notation (BPMN) is a standard for modeling and executing business processes with human or machine tasks. The semantics of tasks is usually discrete: a task has exactly one start event and one end event; for multi-instance tasks, all instances must complete before an end event is emitted. We propose a new task type and streaming connector for crowdsourcing able to run hundreds or thousands of micro-task instances in parallel. The two constructs provide for task streaming semantics that is new to BPMN, enable the modeling and efficient enactment of complex crowdsourcing scenarios, and are applicable also beyond the special case of crowdsourcing. We implement the necessary design and runtime support on top of Crowd- Flower, demonstrate the viability of the approach via a case study, and report on a set of runtime performance experiments
- …