11,331 research outputs found
Hard thermal loops in the real-time formalism
We present a systematic discussion of Braaten and Pisarski's hard thermal
loop (HTL) effective theory within the framework of the real-time
(Schwinger-Keldysh) formalism. As is well known, the standard imaginary-time
HTL amplitudes for hot gauge theory express the polarization of a medium made
out of nonabelian charged point-particles; we show that the complete real-time
HTL theory includes, in addition, a second set of amplitudes which account for
Gaussian fluctuations in the charge distributions, but nothing else. We give a
concise set of graphical rules which generate both set of functions, and
discuss its relation to classical plasma physics.Comment: 14 pages, 6 figure
A fluid flow perspective on the diagenesis of Te Aute limestones
Pliocene cool-water, bioclastic Te Aute limestones in East Coast Basin, New Zealand, accumulated either in shelfal shoal areas or about structurally shallow growth fold structures in the tectonically active accretionary forearc prism. Up to five stages of carbonate cementation are recognised, based on cement sequence-stratigraphic concepts, that formed on the seafloor during exposure of the limestones before burial, during burial, uplift, and deformation. Two principal fluid types are identified--topography-driven meteoric fluids and compaction-driven fluids. We have developed conceptual and quantitative models that attempt to relate the physical characteristics of fluid flow to the cement paragenesis. In particular, we have simulated the effects of uplift of the axial ranges bordering East Coast Basin in terms of the degree of penetration of a meteoric wedge into the basin. The dynamics of meteoric flow changed dramatically during uplift over the last 2 m.y. such that the modelled extent of the meteoric wedge is at least 40 km across the basin, and the penetration depth 1500 m or more corresponding with measured freshwater intersections in some oil wells. Cement-fluid relationships include: (1) true marine cements that precipitated in areas remote from shallow freshwater lenses; (2) pre-compaction cements that formed in shallow freshwater lenses beneath limestone "islands"; (3) post-compaction cements derived from compaction-driven flow during burial; (4) early uplift-related fracture-fill cements formed during deformation of the accretionary prism and uplift of the axial ranges; and (5) late uplift-related cements associated with uplift into a shallow meteoric regime
Heavy Quark Thermalization in Classical Lattice Gauge Theory: Lessons for Strongly-Coupled QCD
Thermalization of a heavy quark near rest is controlled by the correlator of
two electric fields along a temporal Wilson line. We address this correlator
within real-time, classical lattice Yang-Mills theory, and elaborate on the
analogies that exist with the dynamics of hot QCD. In the weak-coupling limit,
it can be shown analytically that the dynamics on the two sides are closely
related to each other. For intermediate couplings, we carry out
non-perturbative simulations within the classical theory, showing that the
leading term in the weak-coupling expansion significantly underestimates the
heavy quark thermalization rate. Our analytic and numerical results also yield
a general understanding concerning the overall shape of the spectral function
corresponding to the electric field correlator, which may be helpful in
subsequent efforts to reconstruct it from Euclidean lattice Monte Carlo
simulations.Comment: 22 pages. v2: a reference and clarifications added; published versio
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions
The aim of this paper is to design the polynomial construction of a finite
recognizer for hairpin completions of regular languages. This is achieved by
considering completions as new expression operators and by applying derivation
techniques to the associated extended expressions called hairpin expressions.
More precisely, we extend partial derivation of regular expressions to
two-sided partial derivation of hairpin expressions and we show how to deduce a
recognizer for a hairpin expression from its two-sided derived term automaton,
providing an alternative proof of the fact that hairpin completions of regular
languages are linear context-free.Comment: 28 page
A Study of Non-Neutral Networks with Usage-based Prices
Hahn and Wallsten wrote that network neutrality "usually means that broadband
service providers charge consumers only once for Internet access, do not favor
one content provider over another, and do not charge content providers for
sending information over broadband lines to end users." In this paper we study
the implications of non-neutral behaviors under a simple model of linear
demand-response to usage-based prices. We take into account advertising
revenues and consider both cooperative and non-cooperative scenarios. In
particular, we model the impact of side-payments between service and content
providers. We also consider the effect of service discrimination by access
providers, as well as an extension of our model to non-monopolistic content
providers
On the Hierarchy of Block Deterministic Languages
A regular language is -lookahead deterministic (resp. -block
deterministic) if it is specified by a -lookahead deterministic (resp.
-block deterministic) regular expression. These two subclasses of regular
languages have been respectively introduced by Han and Wood (-lookahead
determinism) and by Giammarresi et al. (-block determinism) as a possible
extension of one-unambiguous languages defined and characterized by
Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the
inclusion links of these families. We first show that each -block
deterministic language is the alphabetic image of some one-unambiguous
language. Moreover, we show that the conversion from a minimal DFA of a
-block deterministic regular language to a -block deterministic automaton
not only requires state elimination, and that the proof given by Han and Wood
of a proper hierarchy in -block deterministic languages based on this result
is erroneous. Despite these results, we show by giving a parameterized family
that there is a proper hierarchy in -block deterministic regular languages.
We also prove that there is a proper hierarchy in -lookahead deterministic
regular languages by studying particular properties of unary regular
expressions. Finally, using our valid results, we confirm that the family of
-block deterministic regular languages is strictly included into the one of
-lookahead deterministic regular languages by showing that any -block
deterministic unary language is one-unambiguous
An Intuitive Automated Modelling Interface for Systems Biology
We introduce a natural language interface for building stochastic pi calculus
models of biological systems. In this language, complex constructs describing
biochemical events are built from basic primitives of association, dissociation
and transformation. This language thus allows us to model biochemical systems
modularly by describing their dynamics in a narrative-style language, while
making amendments, refinements and extensions on the models easy. We
demonstrate the language on a model of Fc-gamma receptor phosphorylation during
phagocytosis. We provide a tool implementation of the translation into a
stochastic pi calculus language, Microsoft Research's SPiM
Superpropagator and superconformal invariants
We construct a superpropagator in maximally supersymmetric Yang-Mills theory
which is invariant off-shell under a chiral half of supersymmetries. Motivated
by the duality with scattering amplitudes in this theory, we apply this
superpropagator to supersymmeytric Wilson loop on polygonal contours. By
performing explicit one-loop calculations we confirm the absence of anomalies
and verify the duality between the object under study and NMHV amplitudes.Comment: 8 pages, 3 figure
Alien Registration- Caron, Ernest S. (Lewiston, Androscoggin County)
https://digitalmaine.com/alien_docs/29726/thumbnail.jp
- âŠ