3,044 research outputs found
Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata
We show the surprising result that the cutpoint isolation problem is decidable for probabilistic finite automata where input words are taken from a letter-bounded context-free language. A context-free language is letter-bounded when for some finite where each letter is distinct. A cutpoint is isolated when it cannot be approached arbitrarily closely. The decidability of this problem is in marked contrast to the situation for the (strict) emptiness problem for PFA which is undecidable under the even more severe restrictions of PFA with polynomial ambiguity, commutative matrices and input over a letter-bounded language as well as to the injectivity problem which is undecidable for PFA over letter-bounded languages. We provide a constructive nondeterministic algorithm to solve the cutpoint isolation problem, which holds even when the PFA is exponentially ambiguous. We also show that the problem is at least NP-hard and use our decision procedure to solve several related problems
Polynomially Ambiguous Probabilistic Automata on Restricted Languages
We consider the computability and complexity of decision questions for Probabilistic Finite Automata (PFA) with sub-exponential ambiguity. We show that the emptiness problem for non-strict cut-points of polynomially ambiguous PFA remains undecidable even when the input word is over a bounded language and all PFA transition matrices are commutative. In doing so, we introduce a new technique based upon the Turakainen construction of a PFA from a Weighted Finite Automata which can be used to generate PFA of lower dimensions and of subexponential ambiguity. We also study freeness/injectivity problems for polynomially ambiguous PFA and study the border of decidability and tractability for various cases
Towards Uniform Online Spherical Tessellations
The problem of uniformly placing N points onto a sphere finds applications in many areas. For example, points on the sphere correspond to unit quaternions as well as to the group of rotations SO(3) and the online version of generating uniform rotations (known as âincremental generationâ) plays a crucial role in a large number of engineering applications ranging from robotics and aeronautics to computer graphics. An online version of this problem was recently studied with respect to the gap ratio as a measure of uniformity. The first online algorithm of Chen et al. was upper-bounded by 5.99 and later improved to 3.69, which is achieved by considering a circumscribed dodecahedron followed by a recursive decomposition of each face. In this paper we provide a more efficient tessellation technique based on the regular icosahedron, which improves the upper-bound for the online version of this problem, decreasing it to approximately 2.84. Moreover, we show that the lower bound for the gap ratio of placing at least three points is 1.618 and for at least four points is no less than 1.726
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages
There has been much research into freeness properties of
finitely generated matrix semigroups under various constraints, mainly
related to the dimensions of the generator matrices and the semiring over
which the matrices are defined. A recent paper has also investigated freeness
properties of matrices within a bounded language of matrices, which
are of the form M1M2 · · · Mk â F
nĂn
for some semiring F [9]. Most freeness
problems have been shown to be undecidable starting from dimension
three, even for upper-triangular matrices over the natural numbers.
There are many open problems still remaining in dimension two.
We introduce a notion of freeness and ambiguity for scalar reachability
problems in matrix semigroups and bounded languages of matrices.
Scalar reachability concerns the set {Ï
TMÏ |M â S}, where Ï, Ï â F
n
are vectors and S is a finitely generated matrix semigroup. Ambiguity
and freeness problems are defined in terms of uniqueness of factorizations
leading to each scalar. We show various undecidability results
Decision questions for probabilistic automata on small alphabets
We study the emptiness and λ-reachability problems for unary and binary Probabilistic Finite Automata (PFA) and characterise the complexity of these problems in terms of the degree of ambiguity of the automaton and the size of its alphabet. Our main result is that emptiness and λ-reachability are solvable in EXPTIME for polynomially ambiguous unary PFA and if, in addition, the transition matrix is over {0, 1}, we show they are in NP. In contrast to the Skolem-hardness of the λ-reachability and emptiness problems for exponentially ambiguous unary PFA, we show that these problems are NP-hard even for finitely ambiguous unary PFA. We also show that the value of a polynomially ambiguous PFA can be computed in EXPTIME. For binary polynomially ambiguous PFA with commuting transition matrices, we prove NP-hardness of the λ-reachability (dimension 9), nonstrict emptiness (dimension 37) and strict emptiness (dimension 40) problems
Decision Questions for Probabilistic Automata on Small Alphabets
We study the emptiness and λ-reachability problems for unary and binary Probabilistic Finite Automata (PFA) and characterise the complexity of these problems in terms of the degree of ambiguity of the automaton and the size of its alphabet. Our main result is that emptiness and λ-reachability are solvable in EXPTIME for polynomially ambiguous unary PFA and if, in addition, the transition matrix is over {0, 1}, we show they are in NP. In contrast to the Skolem-hardness of the λ-reachability and emptiness problems for exponentially ambiguous unary PFA, we show that these problems are NP-hard even for finitely ambiguous unary PFA. For binary polynomially ambiguous PFA with commuting transition matrices, we prove NP-hardness of the λ-reachability (dimension 9), nonstrict emptiness (dimension 37) and strict emptiness (dimension 40) problems
Stellar Disk Truncations: Where do we stand ?
In the light of several recent developments we revisit the phenomenon of
galactic stellar disk truncations. Even 25 years since the first paper on outer
breaks in the radial light profiles of spiral galaxies, their origin is still
unclear. The two most promising explanations are that these 'outer edges'
either trace the maximum angular momentum during the galaxy formation epoch, or
are associated with global star formation thresholds. Depending on their true
physical nature, these outer edges may represent an improved size
characteristic (e.g., as compared to D_25) and might contain fossil evidence
imprinted by the galaxy formation and evolutionary history. We will address
several observational aspects of disk truncations: their existence, not only in
normal HSB galaxies, but also in LSB and even dwarf galaxies; their detailed
shape, not sharp cut-offs as thought before, but in fact demarcating the start
of a region with a steeper exponential distribution of starlight; their
possible association with bars; as well as problems related to the
line-of-sight integration for edge-on galaxies (the main targets for truncation
searches so far). Taken together, these observations currently favour the
star-formation threshold model, but more work is necessary to implement the
truncations as adequate parameters characterising galactic disks.Comment: LaTeX, 10 pages, 6 figures, presented at the "Penetrating Bars
through Masks of Cosmic Dust" conference in South Africa, proceedings
published by Kluwer, and edited by Block, D.L., Freeman, K.C., Puerari, I., &
Groess, R; v3 to match published versio
Unique Decipherability in Formal Languages
We consider several language-theoretic aspects of various notions of unique decipherability (or unique factorization) in formal languages. Given a language L at some position within the Chomsky hierarchy, we investigate the language of words UD(L) in L^* that have unique factorization over L. We also consider similar notions for weaker forms of unique decipherability, such as numerically decipherable words ND(L), multiset decipherable words MSD(L) and set decipherable words SD(L). Although these notions of unique factorization have been considered before, it appears that the languages of words having these properties have not been positioned in the Chomsky hierarchy up until now. We show that UF(L), ND(L), MSD(L) and SD(L) need not be context-free if L is context-free. In fact ND(L) and MSD(L) need not be context-free even if L is finite, although UD(L) and SD(L) are regular in this case. We show that if L is context-sensitive, then so are UD(L), ND(L), MSD(L) and SD(L). We also prove that the membership problem (resp., emptiness problem) for these classes is PSPACE-complete (resp., undecidable). We finally determine upper and lower bounds on the length of the shortest word of L^* not having the various forms of unique decipherability into elements of L
Marked long-term decline in ambient CO mixing ratio in SE England, 1997â2014:Evidence of policy success in improving air quality
Atmospheric CO at Egham in SE England has shown a marked and progressive decline since 1997, following adoption of strict controls on emissions. The Egham site is uniquely positioned to allow both assessment and comparison of âclean Atlantic backgroundâ air and CO-enriched air downwind from the London conurbation. The decline is strongest (approximately 50ppb per year) in the 1997â2003 period but continues post 2003. A âlocal CO incrementâ can be identified as the residual after subtraction of contemporary background Atlantic CO mixing ratios from measured values at Egham. This increment, which is primarily from regional sources (during anticyclonic or northerly winds) or from the European continent (with easterly air mass origins), has significant seasonality, but overall has declined steadily since 1997. On many days of the year CO measured at Egham is now not far above Atlantic background levels measured at Mace Head (Ireland). The results are consistent with MOPITT satellite observations and âbottom-upâ inventory results. Comparison with urban and regional background CO mixing ratios in Hong Kong demonstrates the importance of regional, as opposed to local reduction of CO emission. The Egham record implies that controls on emissions subsequent to legislation have been extremely successful in the UK
Continuous Cell Lines from the European Biting Midge Culicoides nubeculosus (Meigen, 1830)
Culicoides biting midges (Diptera: Ceratopogonidae) transmit arboviruses of veterinary or medical importance, including bluetongue virus (BTV) and Schmallenberg virus, as well as causing severe irritation to livestock and humans. Arthropod cell lines are essential laboratory research tools for the isolation and propagation of vector-borne pathogens and the investigation of host-vector-pathogen interactions. Here we report the establishment of two continuous cell lines, CNE/LULS44 and CNE/LULS47, from embryos of Culicoides nubeculosus, a midge distributed throughout the Western Palearctic region. Species origin of the cultured cells was confirmed by polymerase chain reaction (PCR) amplification and sequencing of a fragment of the cytochrome oxidase 1 gene, and the absence of bacterial contamination was confirmed by bacterial 16S rRNA PCR. Both lines have been successfully cryopreserved and resuscitated. The majority of cells examined in both lines had the expected diploid chromosome number of 2n = 6. Transmission electron microscopy of CNE/LULS44 cells revealed the presence of large mitochondria within cells of a diverse population, while arrays of virus-like particles were not seen. CNE/LULS44 cells supported replication of a strain of BTV serotype 1, but not of a strain of serotype 26 which is not known to be insect-transmitted. These new cell lines will expand the scope of research on Culicoides-borne pathogens. View Full-Tex
- âŠ