Tracks from hell - when finding a proof may be easier than checking it

We consider the popular smartphone game Trainyard: a puzzle game that requires the player to lay down tracks in order to route colored trains from departure stations to suitable arrival stations. While it is already known [Almanza et al., FUN 2016] that the problem of finding a solution to a given Trainyard instance (i.e., game level) is NP-hard, determining the computational complexity of checking whether a candidate solution (i.e., a track layout) solves the level was left as an open problem. In this paper we prove that this verification problem is PSPACE-complete, thus implying that Trainyard players might not only have a hard time finding solutions to a given level, but they might even be unable to efficiently recognize them

Extending Holding Time for Hot Foods

Humidifying the air inside a hot holding cabinet can greatly extend the holding time for hot foods by retarding the quality degradation of the food due to moisture loss. Not all cabinets are equally effective in maintaining temperature and humidity. A rudimentary understanding of how heat and moisture are transferred to the food will help operators select the cabinet that best meets operation’s needs. The authors address what works and why

The Use of Thermal Capacity in Measuring the Effectiveness of Meals on Wheels Transport Containers

The Meals on Wheels (MOW) program is designed to help combat hunger in persons needing assistance. MOW has a duty not only to provide food but also to ensure that it reaches eligible clients safely. Given the population that MOW serves, transporting food safely takes on increased importance. This experiment focused on the major food safety issue of maintaining temperature integrity through the use of transport containers. For containers that did not contain electric heating elements, several factors influenced how fast the food temperature fell. Those factors included the U-value and size of the container as well as how many meals were in the container. As predicted, the smaller the U-value, the longer it took the temperature to fall. Larger containers did better at maintaining food temperatures, provided they were fully loaded. In general, fully loaded small and medium containers were better at maintaining food temperatures than larger containers loaded with the same number of meals

Search for long-lived particles decaying in the CMS end cap muon detectors in proton-proton collisions at √s = 13 TeV

Artículo escrito por un elevado número de autores, solo se referencian el que aparece en primer lugar, el nombre del grupo de colaboración, si le hubiere, y los autores pertenecientes a la UAMA search for long-lived particles (LLPs) produced in decays of standard model (SM) Higgs bosons is presented. The data sample consists of 137 fb−1 of proton-proton collisions at √s p = 13 TeV, recorded at the LHC in 2016–2018. A novel technique is employed to reconstruct decays of LLPs in the end cap muon detectors. The search is sensitive to a broad range of LLP decay modes and to masses as low as a few GeV. No excess of events above the SM background is observed. The most stringent limits to date on the branching fraction of the Higgs boson to LLPs subsequently decaying to quarks and ꞇ+ꞇ− are found for proper decay lengths greater than 6, 20, and 40 m, for LLP masses of 7, 15, and 40 GeV, respectivel

Search for high-mass resonances decaying to a jet and a Lorentz-boosted resonance in proton-proton collisions at √s = 13 TeV

A search is reported for high-mass hadronic resonances that decay to a parton and a Lorentz-boosted resonance, which in turn decays into a pair of partons. The search is based on data collected with the CMS detector at the LHC in proton-proton collisions at √s = 13TeV, corresponding to an integrated luminosity of 138fb−1. The boosted resonance is reconstructed as a single wide jet with substructure consistent with a two-body decay. The high-mass resonance is thus considered as a dijet system. The jet substructure information and the kinematic properties of cascade resonance decays are exploited to disentangle the signal from the large quantum chromodynamics multijet background. The dijet mass spectrum is analyzed for the presence of new high-mass resonances, and is found to be consistent with the standard model background predictions. Results are interpreted in a warped extra dimension model where the high-mass resonance is a Kaluza–Klein gluon, the boosted resonance is a radion, and the final state partons are all gluons. Limits on the production cross section are set as a function of the Kaluza–Klein gluon and radion masses. These limits exclude at 95% confidence level models with Kaluza–Klein gluon masses in the range 2.0 to 4.3 TeV and radion masses in the range 0.20 to 0.74 TeV. By exploring a novel experimental signature, the observed limits on the Kaluza–Klein gluon mass are extended by up to about 1 TeV compared to previous searche

Entropy production and fluctuation theorems for monitored quantum systems under imperfect detection

The thermodynamic behavior of Markovian open quantum systems can be described at the level of fluctuations by using continuous monitoring approaches. However, practical applications require assessing imperfect detection schemes, where the definition of main thermodynamic quantities becomes subtle and universal fluctuation relations are unknown. Here we fill this gap by deriving a universal fluctuation relation that links entropy production in ideal and in inefficient monitoring setups. This provides a suitable estimator of dissipation using imperfect detection records that lower bounds the underlying entropy production at the level of single trajectories. We illustrate our findings with a driven-dissipative two-level system following quantum jump trajectories.Comment: 5 + 10 pages, 2 figures. The two first authors contributed equally to this wor