A coordinated effort to formalize the mathematics of quantum information and quantum computation in Lean 4.
Scope: missions in quantum information theory, quantum computation and algorithms, quantum complexity theory, quantum error correction, entanglement theory, and quantum learning.
1230 missions
By sending systems in specially prepared quantum states, two parties can communicate without an eavesdropper being able to listen. The technique, called quantum cryptography, enables one to verify that the state of the quantum system has not been tampered with, and thus one can obtain privacy regardless of the power of the eavesdropper. All previous…
Thermal attenuator channels model the decoherence of quantum systems interacting with a thermal bath, e.g., a two-level system subject to thermal noise and an electromagnetic signal travelling through a fiber or in free-space. Hence determining the quantum capacity of these channels is an outstanding open problem for quantum computation and communication.…
The existence of quantum error correcting codes is one of the most counterintuitive and potentially technologically important discoveries of quantum information theory. However, standard error correction refers to abstract quantum information, i.e., information that is independent of the physical incarnation of the systems used for storing the information.…
We prove an upper bound on the private capacity of the single-mode noiseless bosonic wiretap channel. Combined with a previous lower bound, we obtain the low photon-number asymptotic expression for the private capacity. We then show that the multiple-mode noiseless bosonic wiretap channel is equivalent to parallel single-mode channels, hence the single-mode…
We consider the problem of determining the achievable region of parameters for universal asymmetric quantum cloning. Measuring the cloning performance with the figure of merit of singlet fraction, we show that the physical region is a union of ellipses in the plane. Equivalently, we characterize the parameter region of quantum state compatibility of…
The readout of a classical memory can be modelled as a problem of quantum channel discrimination, where a decoder retrieves information by distinguishing the different quantum channels encoded in each cell of the memory [S. Pirandola, Phys. Rev. Lett. 106, 090504 (2011)]. In the case of optical memories, such as CDs and DVDs, this discrimination involves…
Port-based teleportation (PBT) is a protocol of quantum teleportation in which a receiver does not have to apply correction to the transmitted state. In this protocol two spatially separated parties can teleport an unknown quantum state only by exploiting joint measurements on number of shared dimensional maximally entangled states (resource state)…
Non-classical states of light field have been exploited to provide marvellous results in quantum information science. Effectiveness of nonclassical states depends on whether physical parameter as signal is continuous or digital. Here we present an investigation on the potential of quasi Bell state of entangled coherent states in quantum reading of the…
Motivated by the desirability of universal composability, we analyze in terms of L_1 distinguishability the task of secret key generation from a joint random variable. Under this secrecy criterion, using the Renyi entropy of order 1+s for s in [0,1, we derive a new upper bound of Eve's distinguishability under the application of the universal2 hash…
Quantum Machine Learning (QML) models are aimed at learning from data encoded in quantum states. Recently, it has been shown that models with little to no inductive biases (i.e., with no assumptions about the problem embedded in the model) are likely to have trainability and generalization issues, especially for large problem sizes. As such, it is…
The ideal realization of quantum teleportation relies on having access to a maximally entangled state; however, in practice, such an ideal state is typically not available and one can instead only realize an approximate teleportation. With this in mind, we present a method to quantify the performance of approximate teleportation when using an arbitrary…
The quantum version of a fundamental entropic data-processing inequality is presented. It establishes a lower bound for the entropy that can be generated in the output channels of a scattering process, which involves a collection of independent input bosonic modes (e.g., the modes of the electromagnetic field). The impact of this inequality in quantum…
We obtain the general formula for the optimal rate at which singlets can be distilled from any given noisy and arbitrarily correlated entanglement resource, by means of local operations and classical communication (LOCC). Our formula, obtained by employing the quantum information spectrum method, reduces to that derived by Devetak and Winter, in the special…
Formalism of discrete noncommutative Fourier transform is developed and applied to the study of Weyl-covariant channels. We then extend a result in quant-ph/0509126 concerning a bound of the maximal output 2-norm of a Weyl-covariant channel. A class of channels which attain the bound is introduced, for which the multiplicativity of the maximal output 2-norm…
Quantum error correction and symmetries play central roles in quantum information science and physics. It is known that quantum error-correcting codes covariant with respect to continuous symmetries cannot correct erasure errors perfectly (an important case being the Eastin-Knill theorem), in contrast to the case without symmetry constraints. Furthermore,…
Port-based teleportation (PBT), introduced in 2008, is a type of quantum teleportation protocol which transmits the state to the receiver without requiring any corrections on the receiver's side. Evaluating the performance of PBT was computationally intractable and previous attempts succeeded only with small systems. We study PBT protocols and fully…
We investigate some basic scenarios in which a given set of bipartite quantum states may consistently arise as the set of reduced states of a global N-partite quantum state. Intuitively, we say that the multipartite state "joins" the underlying correlations. Determining whether, for a given set of states and a given joining structure, a compatible N-partite…
We consider two remote parties connected to a relay by two quantum channels. To generate a secret key, they transmit coherent states to the relay, where the states are subject to a continuous-variable (CV) Bell detection. We study the ideal case where Alice's channel is lossless, i.e., the relay is locally situated in her lab and the Bell detection is…
This work analyses the performance of quantum circuits and general processes to transform uses of an arbitrary unitary operation into another unitary operation . When the desired function a homomorphism, i.e., , it is known that optimal average fidelity is attainable by parallel circuits and indefinite causality does not provide any…
With growing success in experimental implementations it is critical to identify a "gold standard" for quantum information processing, a single measure of distance that can be used to compare and contrast different experiments. We enumerate a set of criteria such a distance measure must satisfy to be both experimentally and theoretically meaningful. We then…
The Renyi entropy is a generalization of the usual concept of entropy which depends on a parameter q. In fact, Renyi entropy is closely related to free energy. Suppose we start with a system in thermal equilibrium and then suddenly divide the temperature by q. Then the maximum amount of work the system can do as it moves to equilibrium at the new…
We prove additivity of the minimal conditional entropy associated with a quantum channel Phi, represented by a completely positive (CP), trace-preserving map, when the infimum of S(gamma_{12}) - S(gamma_1) is restricted to states of the form gamma_{12} = (I \ot Phi)(| psi >< psi |). We show that this follows from multiplicativity of the completely bounded…
We study non-asymptotic fundamental limits for transmitting classical information over memoryless quantum channels, i.e. we investigate the amount of classical information that can be transmitted when a quantum channel is used a finite number of times and a fixed, non-vanishing average error is permissible. We consider the classical capacity of quantum…
A usual code for quantum wiretap channel requires an auxiliary random variable subject to the perfect uniform distribution. However, it is difficult to prepare such an auxiliary random variable. We propose a code that requires only an auxiliary random variable subject to a non-uniform distribution instead of the perfect uniform distribution. Further, we…
In this paper we introduce principal 2-bundles and show how they are classified by non-abelian Cech cohomology. Moreover, we show that their gauge 2-groups can be described by 2-group-valued functors, much like in classical bundle theory. Using this, we show that, under some mild requirements, these gauge 2-groups possess a natural smooth structure. In the…
| Rank | Contributor | Accepted solutions | Submitted problems |
|---|---|---|---|
| 1 | fizzyinc3 | 2874 | 72 |
| 2 | shivm | 412 | 12 |
| 3 | Mazecto | 256 | 251 |
| 4 | marwahaha | 144 | 197 |
| 5 | Nickrobbins95 | 142 | 47 |
| 6 | kmehltretter82 | 138 | 5 |
| 7 | Ethan Cheung Wang | 137 | 0 |
| 8 | Mrnaiq | 92 | 19 |
| 9 | Alien60 | 86 | 89 |
| 10 | mrfancypants | 76 | 0 |