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.

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.