Simulating quantum effects of cosmological expansion using a static ion trap

We propose a new experimental testbed that uses ions in the collective ground state of a static trap for studying the analog of quantum-field effects in cosmological spacetimes, including the Gibbons-Hawking effect for a single detector in de Sitter spacetime, as well as the possibility of modeling inflationary structure formation and the entanglement signature of de Sitter spacetime. To date, proposals for using trapped ions in analog gravity experiments have simulated the effect of gravity on the field modes by directly manipulating the ions' motion. In contrast, by associating laboratory time with conformal time in the simulated universe, we can encode the full effect of curvature in the modulation of the laser used to couple the ions' vibrational motion and electronic states. This model simplifies the experimental requirements for modeling the analog of an expanding universe using trapped ions and enlarges the validity of the ion-trap analogy to a wide range of interesting cases.Comment: (v2) revisions based on referee comments, figure added for clarity; (v1) 17 pages, no figure

Projected Gromov-Witten varieties in cominuscule spaces

A projected Gromov-Witten variety is the union of all rational curves of fixed degree that meet two opposite Schubert varieties in a homogeneous space X = G/P. When X is cominuscule we prove that the map from a related Gromov-Witten variety is cohomologically trivial. This implies that all (3 point, genus zero) K-theoretic Gromov-Witten invariants of X are determined by the projected Gromov-Witten varieties, which extends an earlier result of Knutson, Lam, and Speyer. Our proof uses that any projected Gromov-Witten variety in a cominuscule space is also a projected Richardson variety.Comment: 13 page

Power laws, scale invariance, and generalized Frobenius series: Applications to Newtonian and TOV stars near criticality

We present a self-contained formalism for analyzing scale invariant differential equations. We first cast the scale invariant model into its equidimensional and autonomous forms, find its fixed points, and then obtain power-law background solutions. After linearizing about these fixed points, we find a second linearized solution, which provides a distinct collection of power laws characterizing the deviations from the fixed point. We prove that generically there will be a region surrounding the fixed point in which the complete general solution can be represented as a generalized Frobenius-like power series with exponents that are integer multiples of the exponents arising in the linearized problem. This Frobenius-like series can be viewed as a variant of Liapunov's expansion theorem. As specific examples we apply these ideas to Newtonian and relativistic isothermal stars and demonstrate (both numerically and analytically) that the solution exhibits oscillatory power-law behaviour as the star approaches the point of collapse. These series solutions extend classical results. (Lane, Emden, and Chandrasekhar in the Newtonian case; Harrison, Thorne, Wakano, and Wheeler in the relativistic case.) We also indicate how to extend these ideas to situations where fixed points may not exist -- either due to ``monotone'' flow or due to the presence of limit cycles. Monotone flow generically leads to logarithmic deviations from scaling, while limit cycles generally lead to discrete self-similar solutions.Comment: 35 pages; IJMPA style fil

Complexity of colouring problems restricted to unichord-free and \{square,unichord\}-free graphs

A \emph{unichord} in a graph is an edge that is the unique chord of a cycle. A \emph{square} is an induced cycle on four vertices. A graph is \emph{unichord-free} if none of its edges is a unichord. We give a slight restatement of a known structure theorem for unichord-free graphs and use it to show that, with the only exception of the complete graph $K_4$, every square-free, unichord-free graph of maximum degree~3 can be total-coloured with four colours. Our proof can be turned into a polynomial time algorithm that actually outputs the colouring. This settles the class of square-free, unichord-free graphs as a class for which edge-colouring is NP-complete but total-colouring is polynomial

From Bell's Theorem to Secure Quantum Key Distribution

Any Quantum Key Distribution (QKD) protocol consists first of sequences of measurements that produce some correlation between classical data. We show that these correlation data must violate some Bell inequality in order to contain distillable secrecy, if not they could be produced by quantum measurements performed on a separable state of larger dimension. We introduce a new QKD protocol and prove its security against any individual attack by an adversary only limited by the no-signaling condition.Comment: 5 pages, 2 figures, REVTEX

Bell inequalities for three systems and arbitrarily many measurement outcomes

We present a family of Bell inequalities for three parties and arbitrarily many outcomes, which can be seen as a natural generalization of the Mermin Bell inequality. For a small number of outcomes, we verify that our inequalities define facets of the polytope of local correlations. We investigate the quantum violations of these inequalities, in particular with respect to the Hilbert space dimension. We provide strong evidence that the maximal quantum violation can only be reached using systems with local Hilbert space dimension exceeding the number of measurement outcomes. This suggests that our inequalities can be used as multipartite dimension witnesses.Comment: v1 6 pages, 4 tables; v2 Published version with minor typos correcte

Quantum correlations and secret bits

It is shown that (i) all entangled states can be mapped by single-copy measurements into probability distributions containing secret correlations, and (ii) if a probability distribution obtained from a quantum state contains secret correlations, then this state has to be entangled. These results prove the existence of a two-way connection between secret and quantum correlations in the process of preparation. They also imply that either it is possible to map any bound entangled state into a distillable probability distribution or bipartite bound information exists.Comment: 4 pages, published versio