scholarly journals MAX-RELATIVE ENTROPY OF ENTANGLEMENT, ALIAS LOG ROBUSTNESS

2009 ◽  
Vol 07 (02) ◽  
pp. 475-491 ◽  
Author(s):  
NILANJANA DATTA

Properties of the max-relative entropy of entanglement, defined in Ref. 10, are investigated, and its significance as an upper bound to the one-shot rate for perfect entanglement dilution, under a particular class of quantum operations, is discussed. It is shown that it is in fact equal to another known entanglement monotone, namely the log robustness, defined in Ref. 7. It is known that the latter is not asymptotically continuous and it is not known whether it is weakly additive. However, by suitably modifying the max-relative entropy of entanglement we obtain a quantity which is seen to satisfy both these properties. In fact, the modified quantity is shown to be equal to the regularized relative entropy of entanglement.

2004 ◽  
Vol 02 (02) ◽  
pp. 273-283 ◽  
Author(s):  
LI-ZHEN JIANG

I study a family of bipartite quantum Gaussian states with three parameters, calculate Gaussian entanglement of formation analytically and the upper bound of relative entropy of entanglement, compare them with the coherent information of the states. Based on the numerical observation, I determine the relative entropy of entanglement and distillable entanglement of the states with infinitive squeezing.


2018 ◽  
Vol 19 (2) ◽  
pp. 421-450 ◽  
Author(s):  
Stephen Scully

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.


1999 ◽  
Vol 264 (4) ◽  
pp. 257-260 ◽  
Author(s):  
Matthew J. Donald ◽  
Michał Horodecki

1989 ◽  
Vol 03 (06) ◽  
pp. 471-478
Author(s):  
D.P. SANKOVICH

A model of the non-ideal Bose gas is considered. We prove the existence of condensate in the model at sufficiently low temperature. The method of majorizing estimates for the Duhamel Two Point Functions is used. The equation for the critical temperature and the upper bound for the one-particle excitations energy are obtained.


2020 ◽  
Vol 638 ◽  
pp. A1 ◽  
Author(s):  
A. Morbidelli

Context. Pebble accretion is expected to be the dominant process for the formation of massive solid planets, such as the cores of giant planets and super-Earths. So far, this process has been studied under the assumption that dust coagulates and drifts throughout the full protoplanetary disk. However, observations show that many disks are structured in rings that may be due to pressure maxima, preventing the global radial drift of the dust. Aims. We aim to study how the pebble-accretion paradigm changes if the dust is confined in a ring. Methods. Our approach is mostly analytic. We derived a formula that provides an upper bound to the growth of a planet as a function of time. We also numerically implemented the analytic formulæ to compute the growth of a planet located in a typical ring observed in the DSHARP survey, as well as in a putative ring rescaled at 5 AU. Results. Planet Type I migration is stopped in a ring, but not necessarily at its center. If the entropy-driven corotation torque is desaturated, the planet is located in a region with low dust density, which severely limits its accretion rate. If the planet is instead near the ring’s center, its accretion rate can be similar to the one it would have in a classic (ringless) disk of equivalent dust density. However, the growth rate of the planet is limited by the diffusion of dust in the ring, and the final planet mass is bounded by the total ring mass. The DSHARP rings are too far from the star to allow the formation of massive planets within the disk’s lifetime. However, a similar ring rescaled to 5 AU could lead to the formation of a planet incorporating the full ring mass in less than 1/2 My. Conclusions. The existence of rings may not be an obstacle to planet formation by pebble-accretion. However, for accretion to be effective, the resting position of the planet has to be relatively near the ring’s center, and the ring needs to be not too far from the central star. The formation of planets in rings can explain the existence of giant planets with core masses smaller than the so-called pebble isolation mass.


1985 ◽  
Vol 50 (3) ◽  
pp. 782-790 ◽  
Author(s):  
George Koletsos

Introduction. This paper contains a new proof of the Church-Rosser theorem for the typed λ-calculus, which also applies to systems with infinitely long terms.The ordinary proof of the Church-Rosser theorem for the general untyped calculus goes as follows (see [1]). If is the binary reduction relation between the terms we define the one-step reduction 1 in such a way that the following lemma is valid.Lemma. For all terms a and b we have: ab if and only if there is a sequence a = a0, …, an = b, n ≥ 0, such that aiiai + 1for 0 ≤ i < n.We then prove the Church-Rosser property for the relation 1 by induction on the length of the reductions. And by combining this result with the above lemma we obtain the Church-Rosser theorem for the relation .Unfortunately when we come to infinite terms the above lemma is not valid anymore. The difficulty is that, assuming the hypothesis for the infinitely many premises of the infinite rule, there may not exist an upper bound for the lengths n of the sequences ai = a0, …, an = bi (i < α); cf. the infinite rule (iv) in §6.A completely new idea in the case of the typed λ-calculus would be to exploit the type structure in the way Tait did in order to prove the normalization theorem. In this we succeed by defining a suitable predicate, the monovaluedness predicate, defined over the type structure and having some nice properties. The key notion permitting to define this predicate is the notion of I-form term (see below). This Tait-type proof has a merit, namely that it can be extended immediately to the case of infinite terms.


2006 ◽  
Vol 08 (04) ◽  
pp. 643-654 ◽  
Author(s):  
MATHIEU MARTIN ◽  
VINCENT MERLIN

This paper deals with the non-emptiness of the stability set for any proper voting game. We present an upper bound on the number of alternatives which guarantees the non emptiness of this solution concept. We show that this bound is greater than or equal to the one given by Le Breton and Salles (1990) for quota games.


2018 ◽  
Vol 8 (1) ◽  
Author(s):  
Laszlo Gyongyosi ◽  
Sandor Imre

AbstractA fundamental concept of the quantum Internet is quantum entanglement. In a quantum Internet scenario where the legal users of the network have different priority levels or where a differentiation of entanglement availability between the users is a necessity, an entanglement availability service is essential. Here we define the entanglement availability differentiation (EAD) service for the quantum Internet. In the proposed EAD framework, the differentiation is either made in the amount of entanglement with respect to the relative entropy of entanglement associated with the legal users, or in the time domain with respect to the amount of time that is required to establish a maximally entangled system between the legal parties. The framework provides an efficient and easily-implementable solution for the differentiation of entanglement availability in experimental quantum networking scenarios.


eLife ◽  
2015 ◽  
Vol 4 ◽  
Author(s):  
Richard C Gerkin ◽  
Jason B Castro

It was recently proposed (<xref ref-type="bibr" rid="bib2">Bushdid et al., 2014</xref>) that humans can discriminate between at least a trillion olfactory stimuli. Here we show that this claim is the result of a fragile estimation framework capable of producing nearly any result from the reported data, including values tens of orders of magnitude larger or smaller than the one originally reported in (<xref ref-type="bibr" rid="bib2">Bushdid et al., 2014</xref>). Additionally, the formula used to derive this estimate is well-known to provide an upper bound, not a lower bound as reported. That is to say, the actual claim supported by the calculation is in fact that humans can discriminate at most one trillion olfactory stimuli. We conclude that there is no evidence for the original claim.


Sign in / Sign up

Export Citation Format

Share Document