A Computational Comparison of Optimization Methods for the Golomb Ruler Problem

The Golomb ruler problem is defined as follows: Given a positive integer n, locate n marks on a ruler such that the distance between any two distinct pair of marks are different from each other and the total length of the ruler is minimized. The Golomb ruler problem has applications in information theory, astronomy and communications, and it can be seen as a challenge for combinatorial optimization algorithms. Although constructing high quality rulers is well-studied, proving optimality is a far more challenging task. In this paper, we provide a computational comparison of different optimization paradigms, each using a different model (linear integer, constraint programming and quadratic integer) to certify that a given Golomb ruler is optimal. We propose several enhancements to improve the computational performance of each method by exploring bound tightening, valid inequalities, cutting planes and branching strategies. We conclude that a certain quadratic integer programming model solved through a Benders decomposition and strengthened by two types of valid inequalities performs the best in terms of solution time for small-sized Golomb ruler problem instances. On the other hand, a constraint programming model improved by range reduction and a particular branching strategy could have more potential to solve larger size instances due to its promising parallelization features

Non-supersymmetric heterotic model building

We investigate orbifold and smooth Calabi-Yau compactifications of the non-supersymmetric heterotic SO(16)xSO(16) string. We focus on such Calabi-Yau backgrounds in order to recycle commonly employed techniques, like index theorems and cohomology theory, to determine both the fermionic and bosonic 4D spectra. We argue that the N=0 theory never leads to tachyons on smooth Calabi-Yaus in the large volume approximation. As twisted tachyons may arise on certain singular orbifolds, we conjecture that such tachyonic states are lifted in the full blow-up. We perform model searches on selected orbifold geometries. In particular, we construct an explicit example of a Standard Model-like theory with three generations and a single Higgs field.Comment: 1+30 pages latex, 11 tables; v2: references and minor revisions added, matches version published in JHE

Peccei-Quinn invariant extension of the NMSSM

We study a Peccei-Quinn invariant extension of the next-to-minimal supersymmetric Standard Model (NMSSM), which turns out to be free from the tadpole and domain wall problems. Having a non-renormalizable coupling to the axion superfield, the SM singlet added to the Higgs sector can naturally generate an effective Higgs mu term around the weak scale. In the model, the lightest neutralino is dominated by the singlino, which gets a mass only through mixing with the neutral Higgsinos. We explore the phenomenological consequences resulting from the existence of such a relatively light neutralino. The coupling of the SM singlet to the Higgs doublets is constrained by the experimental bound on the invisible Z-boson decay width. Under this constraint, we examine the properties of the SM-like Higgs boson paying attention to its mass and decays. We also demonstrate a UV completion of the model in SU(5) grand unified theory with a missing-partner mechanism.Comment: 22 pages, 3 figures; published versio

Reporting conditionals with modals

Conditionals and modals work in tandem in some instances of practical reasoning, or decision making. Consider the following example (from Kratzer 2012): a. I want to become a mayor. b. (q) I will become a mayor only if (p) I go to the pub. c. Therefore, I should go to the pub. Given what the cogniser wants (a) and the relevant circumstances (b), the conclusion that the cogniser goes to the pub comes out as necessary. Hence, the presence of the necessity modal should in (c). Indeed, given the context of (a), the necessity modal in (c) is simply a reflection of the necessity of p for q, which is overtly represented by the use of the ‘only if p, q’ construction. This chapter looks into whether indirect reports of conditionals – in particular, indirect reports which involve the use of a modal verb – are sensitive to the necessity of p for q in cases where necessity is not overtly represented in a conditional, as in ‘if p, q’ formulations. We report on two online experiments into the relation between (i) perceived necessity or sufficiency of the truth of a conditional antecedent for the truth of the consequent, and (ii) the formulation of an indirect report of a conditional with necessity or possibility modals (have to, should, could). In Experiment 1, the ‘necessity/sufficiency of p for q’ variable was manipulated by contextually altering the number of alternative antecedents (e.g. Cummins et al. 1991; Thompson 1994; Politzer 2003). It was found that modals used in indirect reports of ‘if p, q’ conditionals co-vary with the number of alternative antecedents in predictable ways. This suggests that modals used in indirect reports of ‘if p, q’ conditionals may be a diagnostic for biconditional versus material interpretations of conditionals. The aim of Experiment 2 was to find out whether the results of Experiment 1 could be replicated in contexts which lower/eliminate the believability of the conditionals. It was found that manipulating the believability variable has no reliable effect on the results

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

The role of spectrophotometry in the diagnosis of melanoma

Background. Spectrophotometry (SPT) could represent a promising technique for the diagnosis of cutaneous melanoma (CM) at earlier stages of the disease. Starting from our experience, we further assessed the role of SPT in CM early detection. Methods. During a health campaign for malignant melanoma at National Cancer Institute of Naples, we identified a subset of 54 lesions to be addressed to surgical excision and histological examination. Before surgery, all patients were investigated by clinical and epiluminescence microscopy (ELM) screenings; selected lesions underwent spectrophotometer analysis. For SPT, we used a video spectrophotometer imaging system (Spectroshade® MHT S.p.A., Verona, Italy). Results. Among the 54 patients harbouring cutaneous pigmented lesions, we performed comparison between results from the SPT screening and the histological diagnoses as well as evaluation of both sensitivity and specificity in detecting CM using either SPT or conventional approaches. For all pigmented lesions, agreement between histology and SPT classification was 57.4%. The sensitivity and specificity of SPT in detecting melanoma were 66.6% and 76.2%, respectively. Conclusions. Although SPT is still considered as a valuable diagnostic tool for CM, its low accuracy, sensitivity, and specificity represent the main hamper for the introduction of such a methodology in clinical practice. Dermoscopy remains the best diagnostic tool for the preoperative diagnosis of pigmented skin lesions

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration