2,952 research outputs found
Synchronization Problems in Automata without Non-trivial Cycles
We study the computational complexity of various problems related to
synchronization of weakly acyclic automata, a subclass of widely studied
aperiodic automata. We provide upper and lower bounds on the length of a
shortest word synchronizing a weakly acyclic automaton or, more generally, a
subset of its states, and show that the problem of approximating this length is
hard. We investigate the complexity of finding a synchronizing set of states of
maximum size. We also show inapproximability of the problem of computing the
rank of a subset of states in a binary weakly acyclic automaton and prove that
several problems related to recognizing a synchronizing subset of states in
such automata are NP-complete.Comment: Extended and corrected version, including arXiv:1608.00889.
Conference version was published at CIAA 2017, LNCS vol. 10329, pages
188-200, 201
Recommended from our members
Search for lepton-flavour-violating decays of Higgs-like bosons.
A search is presented for a Higgs-like boson with mass in the range 45 to 195 GeV/c2 decaying into a muon and a tau lepton. The dataset consists of proton-proton interactions at a centre-of-mass energy of 8 TeV , collected by the LHCb experiment, corresponding to an integrated luminosity of 2 fb-1 . The tau leptons are reconstructed in both leptonic and hadronic decay channels. An upper limit on the production cross-section multiplied by the branching fraction at 95% confidence level is set and ranges from 22 pb for a boson mass of 45 GeV/c2 to 4 pb for a mass of 195 GeV/c2
Superhard CrN/MoN films with multilayer architecture
Main regularities of the formation of microstructure and properties ofmultilayer nanostructured CrN/MoN films
with periodically changing architecture of layers were considered. Coatings were fabricated by vacuum-arc evaporation of the cathodes (Arc-PVD) in nitrogen atmosphere (pN was 0.4, 0.09 and 0.03 Pa). CrN and γ-Mo2N nitride phases with fcc lattices and a small volume of metastable MoNx cubic phase were formed in the films at pN = 0.4 Pa. The decrease of pN to 0.09 Pa causes the formation of β-Cr2N hexagonal phase. Preferential crystallographic orientation changes from [311] to [111] and [200] when bias voltage Ub is −20, −150 and −300 V respectively. The nanocrystallites size in coatings with bilayer thickness λ = 44 nm decreases to 5.8 nm. The microdeformation grows from 0.4 to 2.3% when Ub changes to −20 V. Coatings show high hardness of 38–42 GPa and H/E = 0.107. In a couple with results of tribological tests, coatings demonstrate strong wear resistance, which makes them appropriate and promising for industrial applications as protective ones. The effect of deposition conditions (pN, Ub, λ) on composition, structure, hardness, toughness and wear resistance was studied to achieve superior mechanical and physical properties of coatings with long lifetime in harsh environment.State budget programs of Ukraine, grant numbers 0116U002621, 0115U000682, 0116U006816; SFRH/BD/ 129614/2017; NORTE-01-0145-FEDER-022096info:eu-repo/semantics/publishedVersio
Observation of two new baryon resonances
Two structures are observed close to the kinematic threshold in the mass spectrum in a sample of proton-proton collision data, corresponding
to an integrated luminosity of 3.0 fb recorded by the LHCb experiment.
In the quark model, two baryonic resonances with quark content are
expected in this mass region: the spin-parity and
states, denoted and .
Interpreting the structures as these resonances, we measure the mass
differences and the width of the heavier state to be
MeV,
MeV,
MeV, where the first and second
uncertainties are statistical and systematic, respectively. The width of the
lighter state is consistent with zero, and we place an upper limit of
MeV at 95% confidence level. Relative
production rates of these states are also reported.Comment: 17 pages, 2 figure
Measurement of the mass and lifetime of the baryon
A proton-proton collision data sample, corresponding to an integrated
luminosity of 3 fb collected by LHCb at and 8 TeV, is used
to reconstruct , decays. Using the , decay mode for calibration, the lifetime ratio and absolute
lifetime of the baryon are measured to be \begin{align*}
\frac{\tau_{\Omega_b^-}}{\tau_{\Xi_b^-}} &= 1.11\pm0.16\pm0.03, \\
\tau_{\Omega_b^-} &= 1.78\pm0.26\pm0.05\pm0.06~{\rm ps}, \end{align*} where the
uncertainties are statistical, systematic and from the calibration mode (for
only). A measurement is also made of the mass difference,
, and the corresponding mass, which
yields \begin{align*} m_{\Omega_b^-}-m_{\Xi_b^-} &= 247.4\pm3.2\pm0.5~{\rm
MeV}/c^2, \\ m_{\Omega_b^-} &= 6045.1\pm3.2\pm 0.5\pm0.6~{\rm MeV}/c^2.
\end{align*} These results are consistent with previous measurements.Comment: 11 pages, 5 figures, All figures and tables, along with any
supplementary material and additional information, are available at
https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-008.htm
Study of and decays and determination of the CKM angle
We report a study of the suppressed and favored
decays, where the neutral meson is detected
through its decays to the and CP-even and
final states. The measurement is carried out using a proton-proton
collision data sample collected by the LHCb experiment, corresponding to an
integrated luminosity of 3.0~fb. We observe the first significant
signals in the CP-even final states of the meson for both the suppressed
and favored modes, as well as
in the doubly Cabibbo-suppressed final state of the decay. Evidence for the ADS suppressed decay , with , is also presented. From the observed
yields in the , and their
charge conjugate decay modes, we measure the value of the weak phase to be
. This is one of the most precise
single-measurement determinations of to date.Comment: 22 pages, 9 figures; All figures and tables, along with any
supplementary material and additional information, are available at
https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-020.htm
Study of the production of and hadrons in collisions and first measurement of the branching fraction
The product of the () differential production
cross-section and the branching fraction of the decay () is
measured as a function of the beauty hadron transverse momentum, ,
and rapidity, . The kinematic region of the measurements is and . The measurements use a data sample
corresponding to an integrated luminosity of collected by the
LHCb detector in collisions at centre-of-mass energies in 2011 and in 2012. Based on previous LHCb
results of the fragmentation fraction ratio, , the
branching fraction of the decay is
measured to be \begin{equation*} \mathcal{B}(\Lambda_b^0\rightarrow J/\psi
pK^-)= (3.17\pm0.04\pm0.07\pm0.34^{+0.45}_{-0.28})\times10^{-4},
\end{equation*} where the first uncertainty is statistical, the second is
systematic, the third is due to the uncertainty on the branching fraction of
the decay , and the
fourth is due to the knowledge of . The sum of the
asymmetries in the production and decay between and
is also measured as a function of and .
The previously published branching fraction of , relative to that of , is updated.
The branching fractions of are determined.Comment: 29 pages, 19figures. All figures and tables, along with any
supplementary material and additional information, are available at
https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-032.htm
Study of decays to the final state and evidence for the decay
A study of decays is performed for the first time
using data corresponding to an integrated luminosity of 3.0
collected by the LHCb experiment in collisions at centre-of-mass energies
of and TeV. Evidence for the decay
is reported with a significance of 4.0 standard deviations, resulting in the
measurement of
to
be .
Here denotes a branching fraction while and
are the production cross-sections for and mesons.
An indication of weak annihilation is found for the region
, with a significance of
2.4 standard deviations.Comment: All figures and tables, along with any supplementary material and
additional information, are available at
https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-022.html,
link to supplemental material inserted in the reference
- …