No Arabic abstract
We derive upper and lower bounds on the fidelity susceptibility in terms of macroscopic thermodynamical quantities, like susceptibilities and thermal average values. The quality of the bounds is checked by the exact expressions for a single spin in an external magnetic field. Their usefulness is illustrated by two examples of many-particle models which are exactly solved in the thermodynamic limit: the Dicke superradiance model and the single impurity Kondo model. It is shown that as far as divergent behavior is considered, the fidelity susceptibility and the thermodynamic susceptibility are equivalent for a large class of models exhibiting critical behavior.
A recent sequence of works, initially motivated by the study of the nonlocal properties of entanglement, demonstrate that a source of information-theoretically certified randomness can be constructed based only on two simple assumptions: the prior existence of a short random seed and the ability to ensure that two black-box devices do not communicate (i.e. are non-signaling). We call protocols achieving such certified amplification of a short random seed randomness amplifiers. We introduce a simple framework in which we initiate the systematic study of the possibilities and limitations of randomness amplifiers. Our main results include a new, improved analysis of a robust randomness amplifier with exponential expansion, as well as the first upper bounds on the maximum expansion achievable by a broad class of randomness amplifiers. In particular, we show that non-adaptive randomness amplifiers that are robust to noise cannot achieve more than doubly exponential expansion. Finally, we show that a wide class of protocols based on the use of the CHSH game can only lead to (singly) exponential expansion if adversarial devices are allowed the full power of non-signaling strategies. Our upper bound results apply to all known non-adaptive randomness amplifier constructions to date.
Brand~ao and Svore very recently gave quantum algorithms for approximately solving semidefinite programs, which in some regimes are faster than the best-possible classical algorithms in terms of the dimension $n$ of the problem and the number $m$ of constraints, but worse in terms of various other parameters. In this paper we improve their algorithms in several ways, getting better dependence on those other parameters. To this end we develop new techniques for quantum algorithms, for instance a general way to efficiently implement smooth functions of sparse Hamiltonians, and a generalized minimum-finding procedure. We also show limits on this approach to quantum SDP-solvers, for instance for combinatorial optimizations problems that have a lot of symmetry. Finally, we prove some general lower bounds showing that in the worst case, the complexity of every quantum LP-solver (and hence also SDP-solver) has to scale linearly with $mn$ when $mapprox n$, which is the same as classical.
We analyze ground-state behaviors of fidelity susceptibility (FS) and show that the FS has its own distinct dimension instead of real systems dimension in general quantum phases. The scaling relation of the FS in quantum phase transitions (QPTs) is then established on more general grounds. Depending on whether the FSs dimensions of two neighboring quantum phases are the same or not, we are able to classify QPTs into two distinct types. For the latter type, the change in the FSs dimension is a characteristic that separates two phases. As a non-trivial application to the Kitaev honeycomb model, we find that the FS is proportional to $L^2ln L$ in the gapless phase, while $L^2$ in the gapped phase. Therefore, the extra dimension of $ln L$ can be used as a characteristic of the gapless phase.
Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for showing lower bounds on the PSD-rank. All of these bounds are based on viewing a positive semidefinite factorization of a matrix $M$ as a quantum communication protocol. These lower bounds depend on the entries of the matrix and not only on its support (the zero/nonzero pattern), overcoming a limitation of some previous techniques. We compare these new lower bounds with known bounds, and give examples where the new ones are better. As an application we determine the PSD-rank of (approximations of) some common matrices.
Landauers principle provides a perspective on the physical meaning of information as well as on the minimum working cost of information processing. Whereas most studies have related the decrease in entropy during a computationally irreversible process to a lower bound of dissipated heat, recent efforts have also provided another lower bound associated with the thermodynamic fluctuation of heat. The coexistence of the two conceptually independent bounds has stimulated comparative studies of their close relationship or tightness; however, these studies were concerned with finite quantum systems that allowed the revival of erased information because of a finite recurrence time. We broaden these comparative studies further to open quantum systems with infinite recurrence times. By examining their dependence on the initial state, we find the independence of the thermodynamic bound from the initial coherence, whereas the entropic bound depends on both the initial coherence and population. A crucial role is indicated by the purity of the initial state: the entropic bound is tighter when the initial condition is sufficiently mixed, whereas the thermodynamic bound is tighter when the initial state is close to a pure state. These trends are consistent with previous results obtained for finite systems.