Identifying sources of global contention in constraint satisfaction search

Much work has been done on learning from failure in search to boost solving of combinatorial problems, such as clause-learning and clause-weighting in boolean satisfiability (SAT), nogood and explanation-based learning, and constraint weighting in constraint satisfaction problems (CSPs). Many of the top solvers in SAT use clause learning to good effect. A similar approach (nogood learning) has not had as large an impact in CSPs. Constraint weighting is a less fine-grained approach where the information learnt gives an approximation as to which variables may be the sources of greatest contention. In this work we present two methods for learning from search using restarts, in order to identify these critical variables prior to solving. Both methods are based on the conflict-directed heuristic (weighted-degree heuristic) introduced by Boussemart et al. and are aimed at producing a better-informed version of the heuristic by gathering information through restarting and probing of the search space prior to solving, while minimizing the overhead of these restarts. We further examine the impact of different sampling strategies and different measurements of contention, and assess different restarting strategies for the heuristic. Finally, two applications for constraint weighting are considered in detail: dynamic constraint satisfaction problems and unary resource scheduling problems.

Pyramidal quantum dots: single and entangled photon sources and correlation studies

Practical realisation of quantum information science is a challenge being addressed by researchers employing various technologies. One of them is based on quantum dots (QD), usually referred to as artificial atoms. Being capable to emit single and polarization entangled photons, they are attractive as sources of quantum bits (qubits) which can be relatively easily integrated into photonic circuits using conventional semiconductor technologies. However, the dominant self-assembled QD systems suffer from asymmetry related problems which modify the energetic structure. The main issue is the degeneracy lifting (the fine-structure splitting, FSS) of an optically allowed neutral exciton state which participates in a polarization-entanglement realisation scheme. The FSS complicates polarization-entanglement detection unless a particular FSS manipulation technique is utilized to reduce it to vanishing values, or a careful selection of intrinsically good candidates from the vast number of QDs is carried out, preventing the possibility of constructing vast arrays of emitters on the same sample. In this work, site-controlled InGaAs QDs grown on (111)B oriented GaAs substrates prepatterned with 7.5 μm pitch tetrahedrons were studied in order to overcome QD asymmetry related problems. By exploiting an intrinsically high rotational symmetry, pyramidal QDs were shown as polarization-entangled photon sources emitting photons with the fidelity of the expected maximally entangled state as high as 0.721. It is the first site-controlled QD system of entangled photon emitters. Moreover, the density of such emitters was found to be as high as 15% in some areas: the density much higher than in any other QD system. The associated physical phenomena (e.g., carrier dynamic, QD energetic structure) were studied, as well, by different techniques: photon correlation spectroscopy, polarization-resolved microphotoluminescence and magneto-photoluminescence.

X-ray and optical studies of soft x-ray transients in M31

Soft X-ray transients (SXTs) are a subgroup of low-mass X-ray binaries consisting of a neutron star or a black hole and a companion low-mass star. SXTs exhibit a sudden outburst by increasing the luminosity from ∼ 1033 to ∼ 1036−38ergs1. After spending a few months in outburst, SXTs switch back to quiescence. Optical study of the binary system during the quiescence state of SXTs provides an opportunity to discriminate between BH binaries and neutron star binaries. The first part ot this research is composed of result of 10 years joint project between Hubble space telescope and Chandra, to study SXTs in M31. The other part of this thesis focused on the light curve of bright SXTs in M31. Disc irradiation is thought to be capable of explaining the global behaviour of the light curves of SXTs. Depending on the strength of the central X-ray emission in irradiating the disc, the light curve may exhibit an exponential or a linear decay. The model predicts that in brighter transients a transition from exponential decline to a linear one may be detectable. In this study, having excluded super-soft sources and hard X-ray transients, a sample of bright SXTs in M31 (Lpeak > 1038ergs1) has been studied. The expected change in the shape of the decay function is only observed in two of the light curves from the six light curves in the sample. Also, a systematic correlation between the shape of the light curve and the X-ray luminosity has not been seen.

The Vikings in ninth-century Ireland: Sources and settlements

Archaeological excavations, particularly those of the last fifty years, have greatly advanced our understanding of Viking settlement in Ireland, and this study sets out to present a complementary analysis of the historical sources. Increasingly, evidence suggests that Viking occupation encompassed a more diverse range of settlement types than previously acknowledged. Major urban excavations such as those carried out in Dublin and Waterford, are now complemented by small scale excavations and studies of sites such as: Cherrywood, Co Dublin, a rural settlement; Beginish, Co Kerry, a maritime haven; Truska, Co Galway, a possible farmstead; longphort-settlements at Dunrally, Co Laois and Athlunkard, Co Limerick; and significant Viking settlements at Woodstown, Co Waterford and at Annagassan, Co Louth. This thesis sets out to examine patterns of Viking settlement in ninth-century Ireland; an interdisciplinary approach is adopted that attempts to combine evidence from both the extant primary sources and the archaeological evidence. It is argued that the Vikings had bases in Ireland even in the earliest period of activity 795-836, traditionally characterised as the ‘hit-and-run’ phase. The downturn discernible in Viking-related annalistic entries occurs at a time when there are increased references to Viking settlements in the Irish annals; therefore, it is proposed that this change in the ninth-century recorded pattern of Viking activity reflects their increased involvement in trade and settlement. To support this hypothesis, the evidence for settlement, settlement patterns and trade at Dublin and Waterford in the ninth century is then discussed.