Search

The Ultra Weak Variational Formulation (UWVF) is a special Trefftz discontinuous Galerkin method, here applied to the time-harmonic Maxwell's equations. The method uses superpositions of plane waves to represent solutions element-wise on a finite element mesh. We focus on our parallel UWVF implementation, called ParMax, emphasizing high-order solutions in the presence of scatterers with piecewise smooth boundaries. We explain the incorporation of curved surface triangles into the UWVF, necessitating quadrature for system matrix assembly. We also show how to implement a total field and scattered field approach, together with the transmission conditions across an interface to handle resistive sheets. We note also that a wide variety of element shapes can be used, that the elements can be large compared to the wavelength of the radiation, and that a low memory version is easy to implement (although computationally costly). Our contributions are illustrated through numerical examples demonstrating the efficiency enhancement achieved by curved elements in the UWVF. The method accurately handles resistive screens, as well as perfect electric conductor and penetrable scatterers. By employing large curved elements and the low memory approach, we successfully simulated X-band frequency scattering from an aircraft. These innovations demonstrate the practicality of the UWVF for industrial applications.

We consider the lattice of supercharacter theories, in the sense of Diaconis and Isaacs, of the cyclic group of order n. We find necessary and sufficient conditions on n for that lattice to be upper or lower semimodular., Comment: 18 pages, 2 figures

The question of determining the maximal number of mutually unbiased bases in dimension six has received much attention since their introduction to quantum information theory, but a definitive answer has still not been found. In this paper we move away from the traditional analytic approach and use a numerical approach to attempt to determine this number. We numerically minimise a non-negative function of a set of N+1 orthonormal bases in dimension d which only evaluates to zero if the bases are mutually unbiased. As a result we find strong evidence that (as has been conjectured elsewhere) there are no more than three mutually unbiased bases in dimension six., Comment: 4 pages, 2 figures, some minor changes made

The subsystem compatibility problem, which concerns the question of whether a set of subsystem states are compatible with a state of the entire system, has received much study. Here we attack the problem from a new angle, utilising the ideas of convexity that have been successfully employed against the separability problem. Analogously to an entanglement witness, we introduce the idea of a compatibility witness, and prove a number of properties about these objects. We show that the subsystem compatibility problem can be solved numerically and efficiently using semidefinite programming, and that the numerical results from this solution can be used to extract exact analytic results, an idea which we use to disprove a conjecture about the subsystem problem made by Butterley et al. [Found. Phys. 36 83 (2006)]. Finally, we consider how the ideas can be used to tackle some important variants of the compatibility problem; in particular, the case of identical particles (known as N-representability in the case of fermions) is considered., Comment: 12 pages APS format, some minor changes made

We give a criterion for a positive mapping on the space of operators on a Hilbert space to be indecomposable. We show that this criterion can be applied to two families of positive maps. These families of maps can then be used to form separability criteria for bipartite quantum states that can detect the entanglement of bound entangled quantum states., Comment: 16 pages, LaTeX

The cluster state model for quantum computation [Phys. Rev. Lett. 86, 5188] outlines a scheme that allows one to use measurement on a large set of entangled quantum systems in what is known as a cluster state to undertake quantum computations. The model itself and many works dedicated to it involve using entangled qubits. In this paper we consider the issue of using entangled qudits instead. We present a complete framework for cluster state quantum computation using qudits, which not only contains the features of the original qubit model but also contains the new idea of adaptive computation: via a change in the classical computation that helps to correct the errors that are inherent in the model, the implemented quantum computation can be changed. This feature arises through the extra degrees of freedom that appear when using qudits. Finally, for prime dimensions, we give a very explicit description of the model, making use of mutually unbiased bases., Comment: 26 pages, 9 figures, LaTeX. Some streamlining of presentation and improved example. To appear in Quantum Information and Computation

The reduction criterion is a well known necessary condition for separable states, and states violating this condition are entangled and also 1-distillable. In this paper we introduce a new set of necessary conditions for separability of multipartite states, obtained from a set of positive but not completely positive maps. These conditions can be thought of as generalisations of the reduction criterion to multipartite systems. We use tripartite Werner states as an example to investigate the entanglement detecting powers of some of these new conditions, and we also look at what these conditions mean in terms of distillation. Finally, we show that these maps can be used to give a partial solution to the subsystem problem, as described in Ref. [14]., Comment: 6 pages, 1 figure, RevTeX