Bounds on Quantum Correlations in Bell Inequality Experiments

Bell inequality violation is one of the most widely known manifestations of entanglement in quantum mechanics; indicating that experiments on physically separated quantum mechanical systems cannot be given a local realistic description. However, despite the importance of Bell inequalities, it is not known in general how to determine whether a given entangled state will violate a Bell inequality. This is because one can choose to make many different measurements on a quantum system to test any given Bell inequality and the optimization over measurements is a high-dimensional variational problem. In order to better understand this problem we present algorithms that provide, for a given quantum state, both a lower bound and an upper bound on the maximal expectation value of a Bell operator. Both bounds apply techniques from convex optimization and the methodology for creating upper bounds allows them to be systematically improved. In many cases these bounds determine measurements that would demonstrate violation of the Bell inequality or provide a bound that rules out the possibility of a violation. Examples are given to illustrate how these algorithms can be used to conclude definitively if some quantum states violate a given Bell inequality.Comment: 13 pages, 1 table, 2 figures. Updated version as published in PR

Mirror formation control in the vicinity of an asteroid

Two strategies are presented for the positioning and control of a spacecraft formation designed to focus sunlight onto a point on the surface of asteroid, thereby sublimating the material and ejecting debris creating thrust. In the first approach, the formation is located at artficial equilibrium points around the asteroid and controlled using the force from the solar radiation pressure. The second approach determines the optimal periodic formation orbits, subject to the gravitational perturbations from the asteroid, the solar radiation pressure and the control acceleration derived from a control law

Properties of continuous Fourier extension of the discrete cosine transform and its multidimensional generalization

A versatile method is described for the practical computation of the discrete Fourier transforms (DFT) of a continuous function $g(t)$ given by its values $g_{j}$ at the points of a uniform grid $F_{N}$ generated by conjugacy classes of elements of finite adjoint order $N$ in the fundamental region $F$ of compact semisimple Lie groups. The present implementation of the method is for the groups SU(2), when $F$ is reduced to a one-dimensional segment, and for $SU(2)\times ... \times SU(2)$ in multidimensional cases. This simplest case turns out to result in a transform known as discrete cosine transform (DCT), which is often considered to be simply a specific type of the standard DFT. Here we show that the DCT is very different from the standard DFT when the properties of the continuous extensions of these two discrete transforms from the discrete grid points $t_j; j=0,1, ... N$ to all points $t \in F$ are considered. (A) Unlike the continuous extension of the DFT, the continuous extension of (the inverse) DCT, called CEDCT, closely approximates $g(t)$ between the grid points $t_j$. (B) For increasing $N$, the derivative of CEDCT converges to the derivative of $g(t)$. And (C), for CEDCT the principle of locality is valid. Finally, we use the continuous extension of 2-dimensional DCT to illustrate its potential for interpolation, as well as for the data compression of 2D images.Comment: submitted to JMP on April 3, 2003; still waiting for the referee's Repor

Numerical Integration of Nonlinear Wave Equations for General Relativity

A second-order numerical implementation is given for recently derived nonlinear wave equations for general relativity. The Gowdy T$^3$ cosmology is used as a test bed for studying the accuracy and convergence of simulations of one-dimensional nonlinear waves. The complete freedom in space-time slicing in the present formulation is exploited to compute in the Gowdy line-element. Second-order convergence is found by direct comparison of the results with either analytical solutions for polarized waves, or solutions obtained from Gowdy's reduced wave equations for the more general unpolarized waves. Some directions for extensions are discussed.Comment: 19 pages (LaTex), 3 figures (ps

Analytic, Group-Theoretic Density Profiles for Confined, Correlated N-Body Systems

Confined quantum systems involving $N$ identical interacting particles are to be found in many areas of physics, including condensed matter, atomic and chemical physics. A beyond-mean-field perturbation method that is applicable, in principle, to weakly, intermediate, and strongly-interacting systems has been set forth by the authors in a previous series of papers. Dimensional perturbation theory was used, and in conjunction with group theory, an analytic beyond-mean-field correlated wave function at lowest order for a system under spherical confinement with a general two-body interaction was derived. In the present paper, we use this analytic wave function to derive the corresponding lowest-order, analytic density profile and apply it to the example of a Bose-Einstein condensate.Comment: 15 pages, 2 figures, accepted by Physics Review A. This document was submitted after responding to a reviewer's comment

Homeless drug users' awareness and risk perception of peer "Take Home Naloxone" use – a qualitative study

BACKGROUND Peer use of take home naloxone has the potential to reduce drug related deaths. There appears to be a paucity of research amongst homeless drug users on the topic. This study explores the acceptability and potential risk of peer use of naloxone amongst homeless drug users. From the findings the most feasible model for future treatment provision is suggested. METHODS In depth face-to-face interviews conducted in one primary care centre and two voluntary organisation centres providing services to homeless drug users in a large UK cosmopolitan city. Interviews recorded, transcribed and analysed thematically by framework techniques. RESULTS Homeless people recognise signs of a heroin overdose and many are prepared to take responsibility to give naloxone, providing prior training and support is provided. Previous reports of the theoretical potential for abuse and malicious use may have been overplayed. CONCLUSION There is insufficient evidence to recommend providing "over the counter" take home naloxone" to UK homeless injecting drug users. However a programme of peer use of take home naloxone amongst homeless drug users could be feasible providing prior training is provided. Peer education within a health promotion framework will optimise success as current professionally led health promotion initiatives are failing to have a positive impact amongst homeless drug users

The Leeds Evaluation of Efficacy of Detoxification Study (LEEDS) project: An open-label pragmatic randomised control trial comparing the efficacy of differing therapeutic agents for primary care detoxification from either street heroin or methadone [ISRCTN07752728]

BACKGROUND: Heroin is a synthetic opioid with an extensive illicit market leading to large numbers of people becoming addicted. Heroin users often present to community treatment services requesting detoxification and in the UK various agents are used to control symptoms of withdrawal. Dissatisfaction with methadone detoxification [8] has lead to the use of clonidine, lofexidine, buprenorphine and dihydrocodeine; however, there remains limited evaluative research. In Leeds, a city of 700,000 people in the North of England, dihydrocodeine is the detoxification agent of choice. Sublingual buprenorphine, however, is being introduced. The comparative value of these two drugs for helping people successfully and comfortably withdraw from heroin has never been compared in a randomised trial. Additionally, there is a paucity of research evaluating interventions among drug users in the primary care setting. This study seeks to address this by randomising drug users presenting in primary care to receive either dihydrocodeine or buprenorphine. METHODS/DESIGN: The Leeds Evaluation of Efficacy of Detoxification Study (LEEDS) project is a pragmatic randomised trial which will compare the open use of buprenorphine with dihydrocodeine for illicit opiate detoxification, in the UK primary care setting. The LEEDS project will involve consenting adults and will be run in specialist general practice surgeries throughout Leeds. The primary outcome will be the results of a urine opiate screening at the end of the detoxification regimen. Adverse effects and limited data to three and six months will be acquired

Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models

A computation scheme for solving elliptic boundary value problems with axially symmetric confining potentials using different sets of one-parameter basis functions is presented. The efficiency of the proposed symbolic-numerical algorithms implemented in Maple is shown by examples of spheroidal quantum dot models, for which energy spectra and eigenfunctions versus the spheroid aspect ratio were calculated within the conventional effective mass approximation. Critical values of the aspect ratio, at which the discrete spectrum of models with finite-wall potentials is transformed into a continuous one in strong dimensional quantization regime, were revealed using the exact and adiabatic classifications.Comment: 6 figures, Submitted to Proc. of The 12th International Workshop on Computer Algebra in Scientific Computing (CASC 2010) Tsakhkadzor, Armenia, September 5 - 12, 201

Incompatible sets of gradients and metastability

We give a mathematical analysis of a concept of metastability induced by incompatibility. The physical setting is a single parent phase, just about to undergo transformation to a product phase of lower energy density. Under certain conditions of incompatibility of the energy wells of this energy density, we show that the parent phase is metastable in a strong sense, namely it is a local minimizer of the free energy in an $L^1$ neighbourhood of its deformation. The reason behind this result is that, due to the incompatibility of the energy wells, a small nucleus of the product phase is necessarily accompanied by a stressed transition layer whose energetic cost exceeds the energy lowering capacity of the nucleus. We define and characterize incompatible sets of matrices, in terms of which the transition layer estimate at the heart of the proof of metastability is expressed. Finally we discuss connections with experiment and place this concept of metastability in the wider context of recent theoretical and experimental research on metastability and hysteresis.Comment: Archive for Rational Mechanics and Analysis, to appea