Exact analytic results for single level current and curvature distribution functions are derived in a framework of a 2×2 random matrix model. Current and curvature are defined as the first and second derivatives of energy with respect to a time–reversal symmetry breaking parameter (magnetic flux). The applicability of the obtained distributions for the spectral statistic of disordered metals is...

This paper introduces six ways for handling a chain of lexicographic ordering constraint between the origins of identical orthotopes (e.g., rectangles, boxes, hyper-rectangles) subject to the fact that they should not pairwise overlap. While the first two ways deal with the integration of a chain of lexicographic ordering constraint within a generic geometric constraint kernel, the four latter ...

Symmetry is an important feature of many constraint programs. We show that any problem symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. This simple but powerful idea can be used in a number of different ways. We describe one application within model restarts, a search technique desi...