Cable Tree Wiring -- Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints

Cable trees are used in industrial products to transmit energy and information between different product parts. To this date, they are mostly assembled by humans and only few automated manufacturing solutions exist using complex robotic machines. For these machines, the wiring plan has to be translated into a wiring sequence of cable plugging operations to be followed by the machine. In this paper, we study and formalize the problem of deriving the optimal wiring sequence for a given layout of a cable tree. We summarize our investigations to model this cable tree wiring Problem (CTW) as a traveling salesman problem with atomic, soft atomic, and disjunctive precedence constraints as well as tour-dependent edge costs such that it can be solved by state-of-the-art constraint programming (CP), Optimization Modulo Theories (OMT), and mixed-integer programming (MIP) solvers. It is further shown, how the CTW problem can be viewed as a soft version of the coupled tasks scheduling problem. We discuss various modeling variants for the problem, prove its NP-hardness, and empirically compare CP, OMT, and MIP solvers on a benchmark set of 278 instances. The complete benchmark set with all models and instance data is available on github and is accepted for inclusion in the MiniZinc challenge 2020

Stirring Strongly Coupled Plasma

We determine the energy it takes to move a test quark along a circle of radius L with angular frequency w through the strongly coupled plasma of N=4 supersymmetric Yang-Mills (SYM) theory. We find that for most values of L and w the energy deposited by stirring the plasma in this way is governed either by the drag force acting on a test quark moving through the plasma in a straight line with speed v=Lw or by the energy radiated by a quark in circular motion in the absence of any plasma, whichever is larger. There is a continuous crossover from the drag-dominated regime to the radiation-dominated regime. In the crossover regime we find evidence for significant destructive interference between energy loss due to drag and that due to radiation as if in vacuum. The rotating quark thus serves as a model system in which the relative strength of, and interplay between, two different mechanisms of parton energy loss is accessible via a controlled classical gravity calculation. We close by speculating on the implications of our results for a quark that is moving through the plasma in a straight line while decelerating, although in this case the classical calculation breaks down at the same value of the deceleration at which the radiation-dominated regime sets in.Comment: 27 pages LaTex, 5 figure

Design and performance of the multiplexing spectrometer CAMEA

The cold neutron multiplexing secondary spectrometer CAMEA (Continuous Angle Multiple Energy Analysis) was commissioned at the Swiss spallation neutron source SINQ at the Paul Scherrer Institut at the end of 2018. The spectrometer is optimised for an efficient data collection in the horizontal scattering plane, allowing for detailed and rapid mapping of excitations under extreme conditions. The novel design consists of consecutive, upward scattering analyzer arcs underneath an array of position sensitive detectors mounted inside a low permeability stainless-steel vacuum vessel. The construction of the world's first continuous angle multiple energy analysis instrument required novel solutions to many technical challenges, including analyzer mounting, vacuum connectors, and instrument movement. These were solved by extensive prototype experiments and in-house developments. Here we present a technical overview of the spectrometer describing in detail the engineering solutions and present our first experimental data taken during the commissioning. Our results demonstrate the tremendous gains in data collection rate for this novel type of spectrometer design

A limiting velocity for quarkonium propagation in a strongly coupled plasma via AdS/CFT

We study the dispersion relations of mesons in a particular hot strongly coupled supersymmetric gauge theory plasma. We find that at large momentum k the dispersion relations become omega = v_0 k + a + b/k + ..., where the limiting velocity v_0 is the same for mesons with any quantum numbers and depends only on the ratio of the temperature to the quark mass T/m_q. We compute a and b in terms of the meson quantum numbers and T/m_q. The limiting meson velocity v_0 becomes much smaller than the speed of light at temperatures below but close to T_diss, the temperature above which no meson bound states at rest in the plasma are found. From our result for v_0, we find that the temperature above which no meson bound states with velocity v exist is T_diss(v) \simeq (1-v^2)^(1/4) T_diss, up to few percent corrections.We thus confirm by direct calculation of meson dispersion relations a result inferred indirectly in previous work via analysis of the screening length between a static quark and antiquark in a moving plasma. Although we do not do our calculations in QCD, we argue that the qualitative features of the dispersion relation we compute, including in particular the relation between dissociation temperature and meson velocity, may apply to bottomonium and charmonium mesons propagating in the strongly coupled plasma of QCD. We discuss how our results can contribute to understanding quarkonium physics in heavy ion collisions.Comment: 57 pages, 12 figures; references adde

Genomic Relationships, Novel Loci, and Pleiotropic Mechanisms across Eight Psychiatric Disorders

Genetic influences on psychiatric disorders transcend diagnostic boundaries, suggesting substantial pleiotropy of contributing loci. However, the nature and mechanisms of these pleiotropic effects remain unclear. We performed analyses of 232,964 cases and 494,162 controls from genome-wide studies of anorexia nervosa, attention-deficit/hyper-activity disorder, autism spectrum disorder, bipolar disorder, major depression, obsessive-compulsive disorder, schizophrenia, and Tourette syndrome. Genetic correlation analyses revealed a meaningful structure within the eight disorders, identifying three groups of inter-related disorders. Meta-analysis across these eight disorders detected 109 loci associated with at least two psychiatric disorders, including 23 loci with pleiotropic effects on four or more disorders and 11 loci with antagonistic effects on multiple disorders. The pleiotropic loci are located within genes that show heightened expression in the brain throughout the lifespan, beginning prenatally in the second trimester, and play prominent roles in neurodevelopmental processes. These findings have important implications for psychiatric nosology, drug development, and risk prediction.Peer reviewe

Dissecting the Shared Genetic Architecture of Suicide Attempt, Psychiatric Disorders, and Known Risk Factors

Background Suicide is a leading cause of death worldwide, and nonfatal suicide attempts, which occur far more frequently, are a major source of disability and social and economic burden. Both have substantial genetic etiology, which is partially shared and partially distinct from that of related psychiatric disorders. Methods We conducted a genome-wide association study (GWAS) of 29,782 suicide attempt (SA) cases and 519,961 controls in the International Suicide Genetics Consortium (ISGC). The GWAS of SA was conditioned on psychiatric disorders using GWAS summary statistics via multitrait-based conditional and joint analysis, to remove genetic effects on SA mediated by psychiatric disorders. We investigated the shared and divergent genetic architectures of SA, psychiatric disorders, and other known risk factors. Results Two loci reached genome-wide significance for SA: the major histocompatibility complex and an intergenic locus on chromosome 7, the latter of which remained associated with SA after conditioning on psychiatric disorders and replicated in an independent cohort from the Million Veteran Program. This locus has been implicated in risk-taking behavior, smoking, and insomnia. SA showed strong genetic correlation with psychiatric disorders, particularly major depression, and also with smoking, pain, risk-taking behavior, sleep disturbances, lower educational attainment, reproductive traits, lower socioeconomic status, and poorer general health. After conditioning on psychiatric disorders, the genetic correlations between SA and psychiatric disorders decreased, whereas those with nonpsychiatric traits remained largely unchanged. Conclusions Our results identify a risk locus that contributes more strongly to SA than other phenotypes and suggest a shared underlying biology between SA and known risk factors that is not mediated by psychiatric disorders.Peer reviewe