55,527 research outputs found
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
Timelike Compton scattering: exclusive photoproduction of lepton pairs
We investigate the exclusive photoproduction of a heavy timelike photon which
decays into a lepton pair, gamma p -> l+ l- p. This can be seen as the analog
of deeply virtual Compton scattering, and we argue that the two processes are
complementary for studying generalized parton distributions in the nucleon. In
an unpolarized experiment the angular distribution of the leptons readily
provides access to the real part of the Compton amplitude. We estimate the
possible size of this effect in kinematics where the Compton process should be
dominated by quark exchange.Comment: 31 pages, 17 figure
Study of infrared evaluation in qualification and failure analysis of semiconductor devices Final report, 28 Jun. 1967 - 10 Jun. 1969
Techniques for providing infrared data for use in failure analysis of semiconductor device
Stable boundary conditions for Cartesian grid calculations
The inviscid Euler equations in complicated geometries are solved using a Cartesian grid. This requires solid wall boundary conditions in the irregular grid cells near the boundary. Since these cells may be orders of magnitude smaller than the regular grid cells, stability is a primary concern. An approach to this problem is presented and its use is illustrated
The study of infrared evaluation in qualification and failure analysis of semiconductor devices Interim progress report, 28 Apr. - 28 Jul. 1968
Infrared display techniques and acceptance criteria for microcircuit qualification and semiconductor device failure analysi
Hunting Local Mixmaster Dynamics in Spatially Inhomogeneous Cosmologies
Heuristic arguments and numerical simulations support the Belinskii et al
(BKL) claim that the approach to the singularity in generic gravitational
collapse is characterized by local Mixmaster dynamics (LMD). Here, one way to
identify LMD in collapsing spatially inhomogeneous cosmologies is explored. By
writing the metric of one spacetime in the standard variables of another,
signatures for LMD may be found. Such signatures for the dynamics of spatially
homogeneous Mixmaster models in the variables of U(1)-symmetric cosmologies are
reviewed. Similar constructions for U(1)-symmetric spacetimes in terms of the
dynamics of generic -symmetric spacetime are presented.Comment: 17 pages, 5 figures. Contribution to CQG Special Issue "A Spacetime
Safari: Essays in Honour of Vincent Moncrief
From Koszul duality to Poincar\'e duality
We discuss the notion of Poincar\'e duality for graded algebras and its
connections with the Koszul duality for quadratic Koszul algebras. The
relevance of the Poincar\'e duality is pointed out for the existence of twisted
potentials associated to Koszul algebras as well as for the extraction of a
good generalization of Lie algebras among the quadratic-linear algebras.Comment: Dedicated to Raymond Stora. 27 page
Representation theory of super Yang-Mills algebras
We study in this article the representation theory of a family of super
algebras, called the \emph{super Yang-Mills algebras}, by exploiting the
Kirillov orbit method \textit{\`a la Dixmier} for nilpotent super Lie algebras.
These super algebras are a generalization of the so-called \emph{Yang-Mills
algebras}, introduced by A. Connes and M. Dubois-Violette in \cite{CD02}, but
in fact they appear as a "background independent" formulation of supersymmetric
gauge theory considered in physics, in a similar way as Yang-Mills algebras do
the same for the usual gauge theory. Our main result states that, under certain
hypotheses, all Clifford-Weyl super algebras \Cliff_{q}(k) \otimes A_{p}(k),
for , or and , appear as a quotient of all super
Yang-Mills algebras, for and . This provides thus a family
of representations of the super Yang-Mills algebras
Does the quark-gluon plasma contain stable hadronic bubbles?
We calculate the thermodynamic potential of bubbles of hadrons embedded in
quark-gluon plasma, and of droplets of quark-gluon plasma embedded in hadron
phase. This is a generalization of our previous results to the case of non-zero
chemical potentials. As in the zero chemical potential case, we find that a
quark-gluon plasma in thermodynamic equilibrium may contain stable bubbles of
hadrons of radius fm. The calculations are performed within the
MIT Bag model, using an improved multiple reflection expansion. The results are
of relevance for neutron star phenomenology and for ultrarelativistic heavy ion
collisions.Comment: 12 pages including 8 figures. To appear in Phys. Rev.
CP Violation and Arrows of Time Evolution of a Neutral or Meson from an Incoherent to a Coherent State
We study the evolution of a neutral meson prepared as an incoherent equal
mixture of and . Denoting the density matrix by \rho(t) =
{1/2} N(t) [\1 + \vec{\zeta}(t) \cdot \vec{\sigma} ] , the norm of the state
is found to decrease monotonically from one to zero, while the magnitude
of the Stokes vector increases monotonically from zero to
one. This property qualifies these observables as arrows of time. Requiring
monotonic behaviour of for arbitrary values of and
yields a bound on the CP-violating overlap , which is similar to, but weaker than, the known unitarity
bound. A similar requirement on yields a new bound,
which is particularly effective in limiting
the CP-violating overlap in the - system. We obtain the Stokes
parameter which shows how the average strangeness of the beam
evolves from zero to . The evolution of the Stokes vector from
to has a resemblance to an order
parameter of a system undergoing spontaneous symmetry breaking.Comment: 13 pages, 6 figures. Inserted conon "." in title; minor change in
text. To appear in Physical review
- âŠ