90 research outputs found
-Coloring Parameterized by Pathwidth is {XNLP}-complete
We show that the -Coloring problem is complete for the class XNLP whenparameterized by the pathwidth of the input graph. Besides determining theprecise parameterized complexity of this problem, this implies that b-Coloringparameterized by pathwidth is -hard for all , and resolves theparameterized complexity of -Coloring parameterized by treewidth.<br
Fixed-Parameter Tractability of Directed Multicut with Three Terminal Pairs Parameterized by the Size of the Cutset: Twin-width Meets Flow-Augmentation
We show fixed-parameter tractability of the Directed Multicut problem withthree terminal pairs (with a randomized algorithm). This problem, given adirected graph , pairs of vertices (called terminals) ,, and , and an integer , asks to find a set of at most non-terminal vertices in that intersect all -paths, all-paths, and all -paths. The parameterized complexity of thiscase has been open since Chitnis, Cygan, Hajiaghayi, and Marx provedfixed-parameter tractability of the 2-terminal-pairs case at SODA 2012, andPilipczuk and Wahlstr\"{o}m proved the W[1]-hardness of the 4-terminal-pairscase at SODA 2016. On the technical side, we use two recent developments in parameterizedalgorithms. Using the technique of directed flow-augmentation [Kim, Kratsch,Pilipczuk, Wahlstr\"{o}m, STOC 2022] we cast the problem as a CSP problem withfew variables and constraints over a large ordered domain.We observe that thisproblem can be in turn encoded as an FO model-checking task over a structureconsisting of a few 0-1 matrices. We look at this problem through the lenses oftwin-width, a recently introduced structural parameter [Bonnet, Kim,Thomass\'{e}, Watrigant, FOCS 2020]: By a recent characterization [Bonnet,Giocanti, Ossona de Mendes, Simon, Thomass\'{e}, Toru\'{n}czyk, STOC 2022] thesaid FO model-checking task can be done in FPT time if the said matrices havebounded grid rank. To complete the proof, we show an irrelevant vertex rule: Ifany of the matrices in the said encoding has a large grid minor, a vertexcorresponding to the ``middle'' box in the grid minor can be proclaimedirrelevant -- not contained in the sought solution -- and thus reduced.<br
Correlated Prompt Fission Data in Transport Simulations
Detailed information on the fission process can be inferred from the
observation, modeling and theoretical understanding of prompt fission neutron
and -ray~observables. Beyond simple average quantities, the study of
distributions and correlations in prompt data, e.g., multiplicity-dependent
neutron and \gray~spectra, angular distributions of the emitted particles,
-, -, and -~correlations, can place stringent
constraints on fission models and parameters that would otherwise be free to be
tuned separately to represent individual fission observables. The FREYA~and
CGMF~codes have been developed to follow the sequential emissions of prompt
neutrons and -rays~from the initial excited fission fragments produced
right after scission. Both codes implement Monte Carlo techniques to sample
initial fission fragment configurations in mass, charge and kinetic energy and
sample probabilities of neutron and ~emission at each stage of the
decay. This approach naturally leads to using simple but powerful statistical
techniques to infer distributions and correlations among many observables and
model parameters. The comparison of model calculations with experimental data
provides a rich arena for testing various nuclear physics models such as those
related to the nuclear structure and level densities of neutron-rich nuclei,
the -ray~strength functions of dipole and quadrupole transitions, the
mechanism for dividing the excitation energy between the two nascent fragments
near scission, and the mechanisms behind the production of angular momentum in
the fragments, etc. Beyond the obvious interest from a fundamental physics
point of view, such studies are also important for addressing data needs in
various nuclear applications. (See text for full abstract.)Comment: 39 pages, 57 figure files, published in Eur. Phys. J. A, reference
added this versio
A new measurement of antineutrino oscillation with the full detector configuration at Daya Bay
We report a new measurement of electron antineutrino disappearance using the
fully-constructed Daya Bay Reactor Neutrino Experiment. The final two of eight
antineutrino detectors were installed in the summer of 2012. Including the 404
days of data collected from October 2012 to November 2013 resulted in a total
exposure of 6.910 GW-ton-days, a 3.6 times increase over
our previous results. Improvements in energy calibration limited variations
between detectors to 0.2%. Removal of six Am-C radioactive
calibration sources reduced the background by a factor of two for the detectors
in the experimental hall furthest from the reactors. Direct prediction of the
antineutrino signal in the far detectors based on the measurements in the near
detectors explicitly minimized the dependence of the measurement on models of
reactor antineutrino emission. The uncertainties in our estimates of
and were halved as a result of these
improvements. Analysis of the relative antineutrino rates and energy spectra
between detectors gave and eV in the three-neutrino
framework.Comment: Updated to match final published versio
New measurement of via neutron capture on hydrogen at Daya Bay
This article reports an improved independent measurement of neutrino mixing
angle at the Daya Bay Reactor Neutrino Experiment. Electron
antineutrinos were identified by inverse -decays with the emitted
neutron captured by hydrogen, yielding a data-set with principally distinct
uncertainties from that with neutrons captured by gadolinium. With the final
two of eight antineutrino detectors installed, this study used 621 days of data
including the previously reported 217-day data set with six detectors. The
dominant statistical uncertainty was reduced by 49%. Intensive studies of the
cosmogenic muon-induced Li and fast neutron backgrounds and the
neutron-capture energy selection efficiency, resulted in a reduction of the
systematic uncertainty by 26%. The deficit in the detected number of
antineutrinos at the far detectors relative to the expected number based on the
near detectors yielded in the
three-neutrino-oscillation framework. The combination of this result with the
gadolinium-capture result is also reported.Comment: 26 pages, 23 figure
- …