Quantum non-malleability and authentication

In encryption, non-malleability is a highly desirable property: it ensures that adversaries cannot manipulate the plaintext by acting on the ciphertext. Ambainis, Bouda and Winter gave a definition of non-malleability for the encryption of quantum data. In this work, we show that this definition is too weak, as it allows adversaries to "inject" plaintexts of their choice into the ciphertext. We give a new definition of quantum non-malleability which resolves this problem. Our definition is expressed in terms of entropic quantities, considers stronger adversaries, and does not assume secrecy. Rather, we prove that quantum non-malleability implies secrecy; this is in stark contrast to the classical setting, where the two properties are completely independent. For unitary schemes, our notion of non-malleability is equivalent to encryption with a two-design (and hence also to the definition of Ambainis et al.). Our techniques also yield new results regarding the closely-related task of quantum authentication. We show that "total authentication" (a notion recently proposed by Garg, Yuen and Zhandry) can be satisfied with two-designs, a significant improvement over the eight-design construction of Garg et al. We also show that, under a mild adaptation of the rejection procedure, both total authentication and our notion of non-malleability yield quantum authentication as defined by Dupuis, Nielsen and Salvail.Comment: 20+13 pages, one figure. v2: published version plus extra material. v3: references added and update

Generalized Entropies

We study an entropy measure for quantum systems that generalizes the von Neumann entropy as well as its classical counterpart, the Gibbs or Shannon entropy. The entropy measure is based on hypothesis testing and has an elegant formulation as a semidefinite program, a type of convex optimization. After establishing a few basic properties, we prove upper and lower bounds in terms of the smooth entropies, a family of entropy measures that is used to characterize a wide range of operational quantities. From the formulation as a semidefinite program, we also prove a result on decomposition of hypothesis tests, which leads to a chain rule for the entropy.Comment: 21 page

Spin Anisotropy and Slow Dynamics in Spin Glasses

We report on an extensive study of the influence of spin anisotropy on spin glass aging dynamics. New temperature cycle experiments allow us to compare quantitatively the memory effect in four Heisenberg spin glasses with various degrees of random anisotropy and one Ising spin glass. The sharpness of the memory effect appears to decrease continuously with the spin anisotropy. Besides, the spin glass coherence length is determined by magnetic field change experiments for the first time in the Ising sample. For three representative samples, from Heisenberg to Ising spin glasses, we can consistently account for both sets of experiments (temperature cycle and magnetic field change) using a single expression for the growth of the coherence length with time.Comment: 4 pages and 4 figures - Service de Physique de l'Etat Condense CNRS URA 2464), DSM/DRECAM, CEA Saclay, Franc

Implementation of barycentric resampling for continuous wave searches in gravitational wave data

We describe an efficient implementation of a coherent statistic for continuous gravitational wave searches from neutron stars. The algorithm works by transforming the data taken by a gravitational wave detector from a moving Earth bound frame to one that sits at the Solar System barycenter. Many practical difficulties arise in the implementation of this algorithm, some of which have not been discussed previously. These difficulties include constraints of small computer memory, discreteness of the data, losses due to interpolation and gaps in real data. This implementation is considerably more efficient than previous implementations of these kinds of searches on Laser Interferometer Gravitational Wave (LIGO) detector data.Comment: 10 pages, 3 figure

Coupling Lattice Boltzmann and Molecular Dynamics models for dense fluids

We propose a hybrid model, coupling Lattice Boltzmann and Molecular Dynamics models, for the simulation of dense fluids. Time and length scales are decoupled by using an iterative Schwarz domain decomposition algorithm. The MD and LB formulations communicate via the exchange of velocities and velocity gradients at the interface. We validate the present LB-MD model in simulations of flows of liquid argon past and through a carbon nanotube. Comparisons with existing hybrid algorithms and with reference MD solutions demonstrate the validity of the present approach.Comment: 14 pages, 5 figure

Holomorphic Simplicity Constraints for 4d Riemannian Spinfoam Models

Starting from the reformulation of the classical phase space of Loop Quantum Gravity in terms of spinor variables and spinor networks, we build coherent spin network states and show how to use them to write the spinfoam path integral for topological BF theory in terms of Gaussian integrals in the spinors. Finally, we use this framework to revisit the simplicity constraints reducing topological BF theory to 4d Riemannian gravity. These holomorphic simplicity constraints lead us to a new spinfoam model for quantum gravity whose amplitudes are defined as the evaluation of the coherent spin networks.Comment: 4 pages. Proceedings of Loops'11, Madrid. To appear in Journal of Physics: Conference Series (JPCS

Operator product expansion coefficients from the nonperturbative functional renormalization group

Using the nonperturbative functional renormalization group (FRG) within the Blaizot-M\'endez-Galain-Wschebor approximation, we compute the operator product expansion (OPE) coefficient $c_{112}$ associated with the operators $\mathcal{O}_1\sim\varphi$ and $\mathcal{O}_2\sim\varphi^2$ in the three-dimensional $\mathrm{O}(N)$ universality class and in the Ising universality class ($N=1$) in dimensions $2 \leq d \leq 4$. When available, exact results and estimates from the conformal bootstrap and Monte-Carlo simulations compare extremely well to our results, while FRG is able to provide values across the whole range of $d$ and $N$ considered

Decoupling with unitary approximate two-designs

Consider a bipartite system, of which one subsystem, A, undergoes a physical evolution separated from the other subsystem, R. One may ask under which conditions this evolution destroys all initial correlations between the subsystems A and R, i.e. decouples the subsystems. A quantitative answer to this question is provided by decoupling theorems, which have been developed recently in the area of quantum information theory. This paper builds on preceding work, which shows that decoupling is achieved if the evolution on A consists of a typical unitary, chosen with respect to the Haar measure, followed by a process that adds sufficient decoherence. Here, we prove a generalized decoupling theorem for the case where the unitary is chosen from an approximate two-design. A main implication of this result is that decoupling is physical, in the sense that it occurs already for short sequences of random two-body interactions, which can be modeled as efficient circuits. Our decoupling result is independent of the dimension of the R system, which shows that approximate 2-designs are appropriate for decoupling even if the dimension of this system is large.Comment: Published versio

The relative influences of disorder and of frustration on the glassy dynamics in magnetic systems

The magnetisation relaxations of three different types of geometrically frustrated magnetic systems have been studied with the same experimental procedures as previously used in spin glasses. The materials investigated are Y$_2$Mo$_2$O$_7$ (pyrochlore system), SrCr$_{8.6}$Ga$_{3.4}$O$_{19}$ (piled pairs of Kagom\'e layers) and (H$_3$O)Fe$_3$(SO$_4$)$_2$(OH)$_6$ (jarosite compound). Despite a very small amount of disorder, all the samples exhibit many characteristic features of spin glass dynamics below a freezing temperature $T_g$, much smaller than their Curie-Weiss temperature $\theta$. The ageing properties of their thermoremanent magnetization can be well accounted for by the same scaling law as in spin glasses, and the values of the scaling exponents are very close. The effects of temperature variations during ageing have been specifically investigated. In the pyrochlore and the bi-Kagom\'e compounds, a decrease of temperature after some waiting period at a certain temperature $T_p$ re-initializes ageing and the evolution at the new temperature is the same as if the system were just quenched from above $T_g$. However, as the temperature is raised back to $T_p$, the sample recovers the state it had previously reached at that temperature. These features are known in spin glasses as rejuvenation and memory effects. They are clear signatures of the spin glass dynamics. In the Kagom\'e compound, there is also some rejuvenation and memory, but much larger temperature changes are needed to observe the effects. In that sense, the behaviour of this compound is quantitatively different from that of spin glasses.Comment: latex VersionCorrigee4.tex, 4 files, 3 figures, 5 pages (Proceedings of the International Conference on Highly Frustrated Magnetism (HFM2003), August 26-30, 2003, Institut Laue Langevin (ILL), Grenoble, France