Quantum Key Distribution using Continuous-variable non-Gaussian States

In this work we present a quantum key distribution protocol using continuous-variable non-Gaussian states, homodyne detection and post-selection. The employed signal states are the Photon Added then Subtracted Coherent States (PASCS) in which one photon is added and subsequently one photon is subtracted. We analyze the performance of our protocol, compared to a coherent state based protocol, for two different attacks that could be carried out by the eavesdropper (Eve). We calculate the secret key rate transmission in a lossy line for a superior channel (beam-splitter) attack, and we show that we may increase the secret key generation rate by using the non-Gaussian PASCS rather than coherent states. We also consider the simultaneous quadrature measurement (intercept-resend) attack and we show that the efficiency of Eve's attack is substantially reduced if PASCS are used as signal states.Comment: We have included an analysis of the simultaneous quadrature measurement attack plus 2 figures; we have also clarified some point

Alice in wonderland: experimental jurisprudence on the internal point of view

Humans have this extraordinary cognitive ability: They imagine inexistent objects, they treat them as if they were real, and by doing so they make them real. They thus give rise to a shared institutional reality that enables them to cooperate in ways that would be impossible otherwise. In this paper, we would like to revisit the account that HLA Hart gives of the practice of collective acceptance that makes a legal system possible. We try to provide an explanation of what Hart calls the 'internal point of view', on the basis of experiments on institutional concepts, drawing on the paradigm known as 'embodied cognition'. Experts and non-experts in law rated the role of several cognitive dimensions for a list of words referring to two kinds of abstract concepts (institutional and theoretical/scientific) and two kinds of concrete ones (food and artifact). Institutional concepts were distinguished into pure-institutional (e.g., 'contract', 'state', 'property') and meta-institutional (e.g., 'norm', 'duty', 'justice'). The results provide an empirical account of how our way of thinking about institutions changes as we acquire expertise in the legal field, thus shading light on the cognitive underpinnings of the 'internal point of view'

Biopolymer gels with "physical" cross-links: gelation kinetics, aging, heterogeneous dynamics, and macroscopic mechanical properties

Alginate is a natural biopolymer that forms, in the presence of divalent cations, ionic-bound gels typifying a large class of biological gels stabilized by non-covalent cross-links, and displaying a consistent restructuring kinetics. We investigate the kinetics of formation and aging of alginate gels by slow permeation of a curing CaCl2 agent by means of photon correlation imaging, a novel optical technique that allows obtaining the microscopic dynamics of the sample, while retaining at the same time the spatial resolution of imaging techniques. Specifically, the gelling kinetics displays a peculiar non-diffusive behavior, and the subsequent restructuring of the gel structure shares several features in common with the aging of colloidal gels, in particular for what concerns the occurrence of heterogeneous dynamics effects. A comparative analysis of the gel macroscopic mechanical properties at different aging stages further highlights distinctive effects arising from the non-permanent nature of the bonds

A feasible algorithm for typing in Elementary Affine Logic

We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type system we consider (denoted EAL*) is a variant without sharing and without polymorphism. Our algorithm improves over the ones already known in that it offers a better complexity bound: if a simple type derivation for the term t is given our algorithm performs EAL* type inference in polynomial time.Comment: 20 page

Bipartite quantum channels using multipartite cluster-type entangled coherent states

We propose a particular encoding for bipartite entangled states derived from multipartite cluster-type entangled coherent states (CTECSs). We investigate the effects of amplitude damping on the entanglement content of this bipartite state, as well as its usefulness as a quantum channel for teleportation. We find interesting relationships among the amplitude of the coherent states constituting the CTECSs, the number of subsystems forming the logical qubits (redundancy), and the extent to which amplitude damping affects the entanglement of the channel. For instance, in the sense of sudden death of entanglement, given a fixed value of the initial coherent state amplitude, the entanglement life span is shortened if redundancy is increased.Comment: 6 pages, 3 figures, REVTeX 4.1, BibTe