24,286 research outputs found
Monopole confinement by flux tube
We revisit Nambu's model of quark confinement by a tube of magnetic flux,
with two additional features. The quarks are taken to be magnetic monopoles
external to the tube, which seal the ends, and are also taken to be fermions.
This ensures that the model is inconsistent unless there are at least two
species of fermions being confined.Comment: 7pp; brief additions relating monopole strength to winding number,
and discussion on length of stable flux tube; one reference adde
Quantitative multi-objective verification for probabilistic systems
We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performance metrics. Quantitative properties of these models are expressed in a specification language that incorporates probabilistic safety and liveness properties, expected total cost or reward, and supports multiple objectives of these types. We propose and implement an efficient verification framework for such properties and then present two distinct applications of it: firstly, controller synthesis subject to multiple quantitative objectives; and, secondly, quantitative compositional verification. The practical applicability of both approaches is illustrated with experimental results from several large case studies
Spherical collapse of a heat conducting fluid in higher dimensions without horizon
We consider a scenario where the interior spacetime,described by a heat
conducting fluid sphere is matched to a Vaidya metric in higher
dimensions.Interestingly we get a class of solutions, where following heat
radiation the boundary surface collapses without the appearance of an event
horizon at any stage and this happens with reasonable properties of matter
field.The non-occurrence of a horizon is due to the fact that the rate of mass
loss exactly counterbalanced by the fall of boundary radius.Evidently this
poses a counter example to the so-called cosmic censorship hypothesis.Two
explicit examples of this class of solutions are also given and it is observed
that the rate of collapse is delayed with the introduction of extra
dimensions.The work extends to higher dimensions our previous investigation in
4D.Comment: 6 page
Percentile Queries in Multi-Dimensional Markov Decision Processes
Markov decision processes (MDPs) with multi-dimensional weights are useful to
analyze systems with multiple objectives that may be conflicting and require
the analysis of trade-offs. We study the complexity of percentile queries in
such MDPs and give algorithms to synthesize strategies that enforce such
constraints. Given a multi-dimensional weighted MDP and a quantitative payoff
function , thresholds (one per dimension), and probability thresholds
, we show how to compute a single strategy to enforce that for all
dimensions , the probability of outcomes satisfying is at least . We consider classical quantitative payoffs from
the literature (sup, inf, lim sup, lim inf, mean-payoff, truncated sum,
discounted sum). Our work extends to the quantitative case the multi-objective
model checking problem studied by Etessami et al. in unweighted MDPs.Comment: Extended version of CAV 2015 pape
Star Cluster Formation from Turbulent Clumps. I. The Fast Formation Limit
We investigate the formation and early evolution of star clusters assuming
that they form from a turbulent starless clump of given mass bounded inside a
parent self-gravitating molecular cloud characterized by a particular mass
surface density. As a first step we assume instantaneous star cluster formation
and gas expulsion. We draw our initial conditions from observed properties of
starless clumps. We follow the early evolution of the clusters up to 20 Myr,
investigating effects of different star formation efficiencies, primordial
binary fractions and eccentricities and primordial mass segregation levels. We
investigate clumps with initial masses of
embedded in ambient cloud environments with mass surface densities,
and . We show that these models
of fast star cluster formation result, in the fiducial case, in clusters that
expand rapidly, even considering only the bound members. Clusters formed from
higher environments tend to expand more quickly, so are
soon larger than clusters born from lower conditions. To
form a young cluster of a given age, stellar mass and mass surface density,
these models need to assume a parent molecular clump that is many times denser,
which is unrealistic compared to observed systems. We also show that in these
models the initial binary properties are only slightly modified by
interactions, meaning that binary properties, e.g., at 20 Myr, are very similar
to those at birth. With this study we set up the basis of future work where we
will investigate more realistic models of star formation compared to this
instantaneous, baseline case.Comment: 25 pages, 19 figures. Accepted by Ap
- âŠ