6,559 research outputs found
On the mechanical derivation of loop invariants
We describe an iterative algorithm for mechanically deriving loop invariants for the purpose of proving the partial correctness of programs. The algorithm is based on resolution and a novel unskolemization technique for deriving logical consequences of first-order formulas. Our method is complete in the sense that if a loop invariant exists for a loop in a given first-order language relative to a given finite set of first-order axioms, then the algorithm produces a loop invariant for that loop which can be used for proving the partial correctness of the program. Existing techniques in the literature are not complete
Differential Equations for Two-Loop Four-Point Functions
At variance with fully inclusive quantities, which have been computed already
at the two- or three-loop level, most exclusive observables are still known
only at one-loop, as further progress was hampered so far by the greater
computational problems encountered in the study of multi-leg amplitudes beyond
one loop. We show in this paper how the use of tools already employed in
inclusive calculations can be suitably extended to the computation of loop
integrals appearing in the virtual corrections to exclusive observables, namely
two-loop four-point functions with massless propagators and up to one off-shell
leg. We find that multi-leg integrals, in addition to integration-by-parts
identities, obey also identities resulting from Lorentz-invariance. The
combined set of these identities can be used to reduce the large number of
integrals appearing in an actual calculation to a small number of master
integrals. We then write down explicitly the differential equations in the
external invariants fulfilled by these master integrals, and point out that the
equations can be used as an efficient method of evaluating the master integrals
themselves. We outline strategies for the solution of the differential
equations, and demonstrate the application of the method on several examples.Comment: 26 pages, LaTeX; some explanatory comments added; several typos
correcte
FQHE on curved backgrounds, free fields and large N
We study the free energy of the Laughlin state on curved backgrounds,
starting from the free field representation. A simple argument, based on the
computation of the gravitational effective action from the transformation
properties of Green functions under the change of the metric, allows to compute
the first three terms of the expansion in large magnetic field. The leading and
subleading contributions are given by the Aubin-Yau and Mabuchi functionals
respectively, whereas the Liouville action appears at next-to-next-to-leading
order. We also derive a path integral representation for the remainder terms.
They correspond to a large mass expansion for a related interacting scalar
field theory and are thus given by local polynomials in curvature invariants.Comment: 14 pages; v3: conformal spin rescaled, minor change
The quark-gluon plasma, turbulence, and quantum mechanics
Quark-gluon plasmas formed in heavy ion collisions at high energies are well
described by ideal classical fluid equations with nearly zero viscosity. It is
believed that a similar fluid permeated the entire universe at about three
microseconds after the big bang. The estimated Reynolds number for this
quark-gluon plasma at 3 microseconds is approximately 10^19. The possibility
that quantum mechanics may be an emergent property of a turbulent proto-fluid
is tentatively explored. A simple relativistic fluid equation which is
consistent with general relativity and is based on a cosmic dust model is
studied. A proper time transformation transforms it into an inviscid Burgers
equation. This is analyzed numerically using a spectral method. Soliton-like
solutions are demonstrated for this system, and these interact with the known
ergodic behavior of the fluid to yield a stochastic and chaotic system which is
time reversible. Various similarities to quantum mechanics are explored.Comment: 41 pages. Content changes in the azimuthal soliton sectio
- …