Almost One Bit Violation for the Additivity of the Minimum Output Entropy

In a previous paper, we proved that, in the appropriate asymptotic regime, the limit of the collection of possible eigenvalues of output states of a random quantum channel is a deterministic, compact set K_k,t. We also showed that the set K_k,t is obtained, up to an intersection, as the unit ball of the dual of a free compression norm. In this paper, we identify the maximum of \({\ell^p}\) norms on the set K_k,t and prove that the maximum is attained on a vector of shape (a, b, . . . , b) where a > b. In particular, we compute the precise limit value of the minimum output entropy of a single random quantum channel. As a corollary, we show that for any \({\varepsilon > 0}\), it is possible to obtain a violation for the additivity of the minimum output entropy for an output dimension as low as 183, and that for appropriate choice of parameters, the violation can be as large as \({\log 2 -\varepsilon}\). Conversely, our result implies that, with probability one in the limit, one does not obtain a violation of additivity using conjugate random quantum channels and the Bell state, in dimension 182 and less.     

The minimum Rényi entropy output of a quantum channel is locally additive

We show that the minimum Rényi entropy output of a quantum channel is locally additive for Rényi parameter \(\alpha >1\). While our work extends the results of Gour and Friedland (IEEE Trans. Inf. Theory 59(1):603, 2012) (in which local additivity was proven for \(\alpha =1\)), it is based on several new techniques that incorporate the multiplicative nature of \(\ell _p\)-norms, in contrast to the additivity property of the von-Neumann entropy. Our results demonstrate that the counterexamples to the Rényi additivity conjectures exhibit purely global effects of quantum channels. Interestingly, the approach presented here cannot be extended to Rényi entropies with parameter \(\alpha <1\).     

Entropic Fluctuations of Quantum Dynamical Semigroups

We study a class of finite dimensional quantum dynamical semigroups $\{\mathrm {e}^{t\mathcal{L}}\}_{t\geq0}$ whose generators $\mathcal{L}$ are sums of Lindbladians satisfying the detailed balance condition. Such semigroups arise in the weak coupling (van Hove) limit of Hamiltonian dynamical systems describing open quantum systems out of equilibrium. We prove a general entropic fluctuation theorem for this class of semigroups by relating the cumulant generating function of entropy transport to the spectrum of a family of deformations of the generator ${\mathcal{L}}$ . We show that, besides the celebrated Evans-Searles symmetry, this cumulant generating function also satisfies the translation symmetry recently discovered by Andrieux et al., and that in the linear regime near equilibrium these two symmetries yield Kubo’s and Onsager’s linear response relations.     

Interpretation of Quantum Nonlocality by Conformal Quantum Geometrodynamics

The principles and methods of the Conformal Quantum Geometrodynamics (CQG) based on the Weyl’s differential geometry are presented. The theory applied to the case of the relativistic single quantum spin \(\frac{1}{2}\) leads a novel and unconventional derivation of Dirac’s equation. The further extension of the theory to the case of two spins \(\frac{1}{2}\) in EPR entangled state and to the related violation of Bell’s inequalities leads, by a non relativistic analysis, to an insightful resolution of the enigma implied by quantum nonlocality.     

Weak Multiplicativity for Random Quantum Channels

It is known that random quantum channels exhibit significant violations of multiplicativity of maximum output p-norms for any p > 1. In this work, we show that a weaker variant of multiplicativity nevertheless holds for these channels. For any constant p > 1, given a random quantum channel ${\mathcal{N}}$ (i.e. a channel whose Stinespring representation corresponds to a random subspace S), we show that with high probability the maximum output p-norm of ${\mathcal{N}^{\otimes n}}$ decays exponentially with n. The proof is based on relaxing the maximum output ∞-norm of ${\mathcal{N}}$ to the operator norm of the partial transpose of the projector onto S, then calculating upper bounds on this quantity using ideas from random matrix theory.     

Bounds of the Pinsker and Fannes Types on the Tsallis Relative Entropy

Pinsker’s and Fannes’ type bounds on the Tsallis relative entropy are derived. The monotonicity property of the quantum f -divergence is used fot its estimation from below. For order $\alpha \in (0,1)$ , a family of lower bounds of Pinsker type is obtained. For $\alpha >1$ and the commutative case, upper continuity bounds on the relative entropy in terms of the minimal probability in its second argument are derived. Both the lower and upper bounds presented are reformulated for the case of Rényi’s entropies. The Fano inequality is extended to Tsallis’ entropies for all $\alpha >0$ . The deduced bounds on the Tsallis conditional entropy are used to obtain inequalities of Fannes’ type.     

Pesin’s Entropy Formula for Systems Between C^1 and C^{1+\alpha }

In this article we give a new observation of Pesin’s entropy formula, motivated from Mañé’s proof of (Ergod Theory Dyn Sys 1:95–102, 1981). Let \(M\) be a compact Riemann manifold and \(f:\,M\rightarrow M\) be a \(C^1\) diffeomorphism on \(M\) . If \(\mu \) is an \(f\) -invariant probability measure which is absolutely continuous relative to Lebesgue measure and nonuniformly-H \(\ddot{\text {o}}\) lder-continuous(see Definition 1.1), then we have Pesin’s entropy formula, i.e., the metric entropy \(h_\mu (f)\) satisfies $$\begin{aligned} h_{\mu }(f)=\int \sum _{\lambda _i(x)> 0}\lambda _i(x)d\mu , \end{aligned}$$ where \(\lambda _1(x)\ge \lambda _2(x)\ge \cdots \ge \lambda _{dim\,M}(x)\) are the Lyapunov exponents at \(x\) with respect to \(\mu .\) Nonuniformly-H \(\ddot{\text {o}}\) lder-continuous is a new notion from probabilistic perspective weaker than \(C^{1+\alpha }.\)      

Approximation of the naive black hole degeneracy

In 1996, Rovelli suggested a connection between black hole entropy and the area spectrum. Using this formalism and a theorem we prove in this paper, we briefly show the procedure to calculate the quantum corrections to the Bekenstein–Hawking entropy. One can do this by two steps. First, one can calculate the “naive” black hole degeneracy without the projection constraint (in case of the $U(1)$ symmetry reduced framework) or the $SU(2)$ invariant subspace constraint (in case of the fully $SU(2)$ framework). Second, then one can impose the projection constraint or the $SU(2)$ invariant subspace constraint, obtaining logarithmic corrections to the Bekenstein–Hawking entropy. In this paper, we focus on the first step and show that we obtain infinite relations between the area spectrum and the naive black hole degeneracy. Promoting the naive black hole degeneracy into its approximation, we obtain the full solution to the infinite relations.     

Kochen-Specker Theorem in Krein Space

The well known Kochen-Specker’s theorem (Kochen and Specker J. Math. Mech. 17:59–87, 1967) is devoted to the problem of hidden variables in quantum mechanics. In the paper we present a geometric proof for an indefinite analogy of Kochen-Specker’s theorem. On the real three-dimensional Krein space there exists unique two-valued probability measure.     

Noncommutative Geometry of the Moyal Plane: Translation Isometries, Connes’ Distance on Coherent States, Pythagoras Equality

We study the metric aspect of the Moyal plane from Connes’ noncommutative geometry point of view. First, we compute Connes’ spectral distance associated with the natural isometric action of ${\mathbb{R}^2}$ R 2 on the algebra of the Moyal plane ${\mathcal{A}}$ A . We show that the distance between any state of ${\mathcal{A}}$ A and any of its translated states is precisely the amplitude of the translation. As a consequence, we obtain the spectral distance between coherent states of the quantum harmonic oscillator as the Euclidean distance on the plane. We investigate the classical limit, showing that the set of coherent states equipped with Connes’ spectral distance tends towards the Euclidean plane as the parameter of deformation goes to zero. The extension of these results to the action of the symplectic group is also discussed, with particular emphasis on the orbits of coherent states under rotations. Second, we compute the spectral distance in the double Moyal plane, intended as the product of (the minimal unitization of) ${\mathcal{A}}$ A by ${\mathbb{C}^2}$ C 2 . We show that on the set of states obtained by translation of an arbitrary state of ${\mathcal{A}}$ A , this distance is given by the Pythagoras theorem. On the way, we prove some Pythagoras inequalities for the product of arbitrary unital and non-degenerate spectral triples. Applied to the Doplicher- Fredenhagen-Roberts model of quantum spacetime [DFR], these two theorems show that Connes’ spectral distance and the DFR quantum length coincide on the set of states of optimal localization.     

The Microscopic Foundations of Vlasov Theory for Jellium-Like Newtonian N-Body Systems

The kinetic equations of Vlasov theory, in the weak formulation, are rigorously shown to govern the $N\rightarrow \infty $ limit of the Newtonian dynamics of $D\ge 2$ -dimensional $N$ -body systems with attractive harmonic pair interactions and locally integrable repulsive inverse power law pair interactions, provided a mild higher moment hypothesis on the forces (which is shown to propagate globally in time for each $N$ ) will hold uniformly in $N$ at later times if it holds uniformly in $N$ initially (the uniformity in $N$ of this moment condition is demonstrated to hold for an open set of initial data). Logarithmic interactions are included as a limiting case. The proof is based on the Liouville equation, more precisely the first member of the pertinent BBGKY hierarchy, and does not invoke the Hewitt–Savage theorem, nor any regularization of the interactions. In addition, a rigorous proof of the virial theorem and of some of its interesting ramifications is given.     

Smooth Crossed Products of Rieffel’s Deformations

Assume ${\mathcal{A}}$ is a Fréchet algebra equipped with a smooth isometric action of a vector group V, and consider Rieffel’s deformation ${\mathcal{A}_J}$ of ${\mathcal{A}}$ . We construct an explicit isomorphism between the smooth crossed products ${V\ltimes\mathcal{A}_J}$ and ${V\ltimes\mathcal{A}}$ . When combined with the Elliott–Natsume–Nest isomorphism, this immediately implies that the periodic cyclic cohomology is invariant under deformation. Specializing to the case of smooth subalgebras of C^*-algebras, we also get a simple proof of equivalence of Rieffel’s and Kasprzak’s approaches to deformation.     

Quantum tunneling of Park black hole in IR modified Ho\check{\mathrm{r}}ava gravity with cosmological constant

In this paper, we study the quantum tunneling of non-asymptotically flat Park black hole in IR modified Ho?ava gravity, as well as its thermodynamical stability. In order to calculate the quantum tunneling more comprehensively, Kraus–Parikh–Wilczek method and Hamilton–Jacoby method are used together. The results show that two methods give us the same logarithmic modified entropy, namely $S = (\alpha - \Lambda _W) A/4\alpha + \pi /\alpha \ln A/4$ . This kind of logarithmic entropy is explained well by the effect of self-gravitation in quantum tunneling picture. At tow that the thermodynamics is stable for small case ( $r_+ < r_3$ ) and unstable for large case ( $r_+ > r_3$ ) where $r_3$ is the critical position of Park solution, which is concordant with asymptotically flat case shown by Kehagias–Sfetsos (Phys. Lett. B 678:127, 2009).     

Microcanonical Analysis of the Curie–Weiss Anisotropic Quantum Heisenberg Model in a Magnetic Field

The anisotropic quantum Heisenberg model with Curie-Weiss-type interactions is studied analytically in several variants of the microcanonical ensemble. (Non)equivalence of microcanonical and canonical ensembles is investigated by studying the concavity properties of entropies. The microcanonical entropy \(s(e,\varvec{m})\) is obtained as a function of the energy \(e\) and the magnetization vector \({\varvec{m}}\) in the thermodynamic limit. Since, for this model, \(e\) is uniquely determined by \({\varvec{m}}\) , the same information can be encoded either in \(s(\varvec{m})\) or \(s(e,m_1,m_2)\) . Although these two entropies correspond to the same physical setting of fixed \(e\) and \({\varvec{m}}\) , their concavity properties differ. The entropy \(s_{{\varvec{h}}}(u)\) , describing the model at fixed total energy \(u\) and in a homogeneous external magnetic field \({\varvec{h}}\) of arbitrary direction, is obtained by reduction from the nonconcave entropy \(s(e,m_1,m_2)\) . In doing so, concavity, and therefore equivalence of ensembles, is restored. \(s_{{\varvec{h}}}(u)\) has nonanalyticities on surfaces of co-dimension 1 in the \((u,\varvec{h})\) -space. Projecting these surfaces into lower-dimensional phase diagrams, we observe that the resulting phase transition lines are situated in the positive-temperature region for some parameter values, and in the negative-temperature region for others. In the canonical setting of a system coupled to a heat bath of positive temperatures, the nonanalyticities in the microcanonical negative-temperature region cannot be observed, and this leads to a situation of effective nonequivalence even when formal equivalence holds.     

Sharp parameter bounds for certain maximal point lenses

Starting from an $n$ -point circular gravitational lens having $3n+1$ images, Rhie (ArXiv Astrophysics e-prints, 2003) used a perturbation argument to construct an $(n+1)$ -point lens producing $5n$ images. In this work we give a concise proof of Rhie’s result, and we extend the range of parameters in Rhie’s model for which maximal lensing occurs. We also study a slightly different construction given by Bayer and Dyer (Gen Relativ Gravit 39(9):1413–1418, 2007) arising from the $(3n+1)$ -point lens. In particular, we extend their results and give sharp parameter bounds for their lens model. By a substitution of variables and parameters we show that both models are equivalent in a certain sense.     

No-Forcing and No-Matching Theorems for Classical Probability Applied to Quantum Mechanics

Correlations of spins in a system of entangled particles are inconsistent with Kolmogorov’s probability theory (KPT), provided the system is assumed to be non-contextual. In the Alice–Bob EPR paradigm, non-contextuality means that the identity of Alice’s spin (i.e., the probability space on which it is defined as a random variable) is determined only by the axis $\alpha _{i}$ chosen by Alice, irrespective of Bob’s axis $\beta _{j}$ (and vice versa). Here, we study contextual KPT models, with two properties: (1) Alice’s and Bob’s spins are identified as $A_{ij}$ and $B_{ij}$ , even though their distributions are determined by, respectively, $\alpha _{i}$ alone and $\beta _{j}$ alone, in accordance with the no-signaling requirement; and (2) the joint distributions of the spins $A_{ij},B_{ij}$ across all values of $\alpha _{i},\beta _{j}$ are constrained by fixing distributions of some subsets thereof. Of special interest among these subsets is the set of probabilistic connections, defined as the pairs $\left( A_{ij},A_{ij'}\right) $ and $\left( B_{ij},B_{i'j}\right) $ with $\alpha _{i}\not =\alpha _{i'}$ and $\beta _{j}\not =\beta _{j'}$ (the non-contextuality assumption is obtained as a special case of connections, with zero probabilities of $A_{ij}\not =A_{ij'}$ and $B_{ij}\not =B_{i'j}$ ). Thus, one can achieve a complete KPT characterization of the Bell-type inequalities, or Tsirelson’s inequalities, by specifying the distributions of probabilistic connections compatible with those and only those spin pairs $\left( A_{ij},B_{ij}\right) $ that are subject to these inequalities. We show, however, that quantum-mechanical (QM) constraints are special. No-forcing theorem says that if a set of probabilistic connections is not compatible with correlations violating QM, then it is compatible only with the classical–mechanical correlations. No-matching theorem says that there are no subsets of the spin variables $A_{ij},B_{ij}$ whose distributions can be fixed to be compatible with and only with QM-compliant correlations.     

Measurement of permanent electric dipole moments of charged hadrons in storage rings

Permanent Electric Dipole Moments (EDMs) of elementary particles violate two fundamental symmetries: time reversal invariance ( $\mathcal{T}$ ) and parity ( $\mathcal{P}$ ). Assuming the $\mathcal{CPT}$ theorem this implies $\mathcal{CP}$ violation. The $\mathcal{CP}$ violation of the Standard Model is orders of magnitude too small to be observed experimentally in EDMs in the foreseeable future. It is also way too small to explain the asymmetry in abundance of matter and anti-matter in our universe. Hence, other mechanisms of $\mathcal{CP}$ violation outside the realm of the Standard Model are searched for and could result in measurable EDMs. Up to now most of the EDM measurements were done with neutral particles. With new techniques it is now possible to perform dedicated EDM experiments with charged hadrons at storage rings where polarized particles are exposed to an electric field. If an EDM exists the spin vector will experience a torque resulting in change of the original spin direction which can be determined with the help of a polarimeter. Although the principle of the measurement is simple, the smallness of the expected effect makes this a challenging experiment requiring new developments in various experimental areas. Complementary efforts to measure EDMs of proton, deuteron and light nuclei are pursued at Brookhaven National Laboratory and at Forschungszentrum Jülich with an ultimate goal to reach a sensitivity of 10^???29 e·cm.     

Coupled-Channels Approach and Simple Models in the Theory of Exotic Atom Formation

Atomic collisions of slow negative particles X ^? (μ^?, $\bar p$ , etc.) are considered using coupled channels semiclassical approximation that takes into account 2- and 3-particle channels. Analytical expression for differential elastic cross section is proposed. Differential cross section reveals essential quantum interference effects. Inelastic $\bar p$ –Ne and $\bar p$ –Ar cross sections are considered using model potentials.     

Geometric Discord of Non-X-Structured State under Decoherence Channels

We investigate the level surfaces of geometric discord under some typical kinds of decoherence channels for a class of two-qubit states with the Bloch vectors \(\overset {\rightharpoonup }{r}\) and \(\overset {\rightharpoonup }{s}\) in z and x direction respectively. The surfaces of geometric discord are composed of three interaction ”cylinders” along three orthogonal directions of \(\overset {\rightharpoonup }{c}_{1}\) , \(\overset {\rightharpoonup }{c}_{2}\) and \(\overset {\rightharpoonup }{c}_{3}\) . We study the different images corresponding to different values of geometric discord, the Bloch vectors as well as p. In the phase damping channel, the geometric discord keeps constant over a period of time, furthermore the geometric discord and the quantum discord have the same sudden change point for Non-X-structured state.     

The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes

The Sasaki adjunction, which formally encodes the logicality that different authors tried to attach to the Sasaki hook as a ‘quantum implicative connective,’ has a fundamental dynamic nature and encodes the so-called ‘causal duality’ (Coecke et al., 2001) for the particular case of a quantum measurement with a projector as corresponding self-adjoint operator. The action of the Sasaki hook ( $a\xrightarrow{S} - $ ) for fixed antecedent a assigns to some property “the weakest cause before the measurement of actuality of that property after the measurement,” i.e., ( $a\xrightarrow{S}b$ ) is the weakest property that guarantees actuality of b after performing the measurement represented by the projector that has the ‘subspace a’ as eigenstates for eigenvalue 1, say, the measurement that ‘tests’ a. The logicality attributable to quantum systems contains a fundamentally dynamic ingredient: Causal duality actually provides a new dynamic interpretation of orthomodularity. We also reconsider the status of the Sasaki hook within ‘dynamic (operational) quantum logic,’ what leads us to the claim made in the title of this paper. The Sasaki adjunction has a physical significance in terms of causal duality. The labeled dynamic hooks (forwardly and backwardly) that encode quantum measurements, act on properties as $(a_1 \xrightarrow{{\varphi _a }}a_2 ): = (a_1 \to _L (a\xrightarrow{S}a_2 ))$ and $(a_1 \xleftarrow{{\varphi _a }}a_2 ): = ((a\xrightarrow{S}a_2 ) \to _L a_1 )$ , taking values in the ‘disjunctive extension’ $DI(L)$ of the property lattice L, where $a \in L$ is the tested property and $( - \to _L - )$ is the Heyting implication that lives on DI(L). Since these hooks $( - \xrightarrow{{\varphi _a }} - )$ and $( - \xleftarrow{{\varphi _a }} - )$ extend to DI(L)×DI(L) they constitute internal operations. The transition from either classical or constructive/intuitionistic logic to quantum logic entails besides the introduction of an additional unary connective ‘operational resolution’ (Coecke, 2002a) the shift from a binary connective implication to a ternary connective where two of the arguments refer to qualities of the system and the third, the new one, to an obtained outcome (in a measurement)