Parametric correlations versus fidelity decay: the symmetry breaking case

We derive fidelity decay and parametric energy correlations for random matrix ensembles where time--reversal invariance of the original Hamiltonian is broken by the perturbation. Like in the case of a symmetry conserving perturbation a simple relation between both quantities can be established.Comment: 8 pages, 8 figure

SSDB spaces and maximal monotonicity

In this paper, we develop some of the theory of SSD spaces and SSDB spaces, and deduce some results on maximally monotone multifunctions on a reflexive Banach space.Comment: 16 pages. Written version of the talk given at IX ISORA in Lima, Peru, October 200

A hill-sliding strategy for initialization of Gaussian clusters in the multidimensional space

A hill sliding technique was devised to extract Gaussian clusters from the multivariate probability density estimate of sample data for the first step of iterative unsupervised classification. Each cluster was assumed to posses a unimodal normal distribution. A clustering function proposed distinguished elements of a cluster under formation from the rest in the feature space. Initial clusters were extracted one by one according to the hill sliding tactics. A dimensionless cluster compactness parameter was proposed as a universal measure of cluster goodness and used satisfactorily in test runs with LANDSAT multispectral scanner data. The normalized divergence, defined by the cluster divergence divided by the entropy of the entire sample data, was utilized as a general separability measure between clusters. An overall clustering objective function was set forth in terms of cluster covariance matrices, from which the cluster compactness measure could be deduced. Minimal improvement of initial data partitioning was evaluated by this objective function in eliminating scattered sparse data points. The hill sliding clustering technique developed herein has the potential applicability to decomposition any multivariate mixture distribution into a number of unimodal distributions when an appropriate distribution function to the data set is employed

Ising Deconfinement Transition Between Feshbach-Resonant Superfluids

We investigate the phase diagram of bosons interacting via Feshbach-resonant pairing interactions in a one-dimensional lattice. Using large scale density matrix renormalization group (DMRG) and field theory techniques we explore the atomic and molecular correlations in this low-dimensional setting. We provide compelling evidence for an Ising deconfinement transition occurring between distinct superfluids and extract the Ising order parameter and correlation length of this unusual superfluid transition. This is supported by results for the entanglement entropy which reveal both the location of the transition and critical Ising degrees of freedom on the phase boundary.Comment: 4 pages, 4 figure

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

Magnetic Properties of the Second Mott Lobe in Pairing Hamiltonians

We explore the Mott insulating state of single-band bosonic pairing Hamiltonians using analytical approaches and large scale density matrix renormalization group calculations. We focus on the second Mott lobe which exhibits a magnetic quantum phase transition in the Ising universality class. We use this feature to discuss the behavior of a range of physical observables within the framework of the 1D quantum Ising model and the strongly anisotropic Heisenberg model. This includes the properties of local expectation values and correlation functions both at and away from criticality. Depending on the microscopic interactions it is possible to achieve either antiferromagnetic or ferromagnetic exchange interactions and we highlight the possibility of observing the E8 mass spectrum for the critical Ising model in a longitudinal magnetic field.Comment: 14 pages, 15 figure

Global versus local billiard level dynamics: The limits of universality

Level dynamics measurements have been performed in a Sinai microwave billiard as a function of a single length, as well as in rectangular billiards with randomly distributed disks as a function of the position of one disk. In the first case the field distribution is changed globally, and velocity distributions and autocorrelation functions are well described by universal functions derived by Simons and Altshuler. In the second case the field distribution is changed locally. Here another type of universal correlations is observed. It can be derived under the assumption that chaotic wave functions may be described by a random superposition of plane waves

Using Alloy to model-check visual design notations

This paper explores the process of validation for the abstract syntax of a graphical notation. We define an unified specification for five of the UML diagrams used by the Discovery Method and, in this document, we illustrate how diagrams can be represented in Alloy and checked against our specification in order to know if these are valid under the Discovery notation.Comment: 8 page

Z2SAL: a translation-based model checker for Z

Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data