-
Towards a resolution of the spin alignment problem
Authors:
Mohammad A. Alhejji,
Emanuel Knill
Abstract:
Consider minimizing the entropy of a mixture of states by choosing each state subject to constraints. If the spectrum of each state is fixed, we expect that in order to reduce the entropy of the mixture, we should make the states less distinguishable in some sense. Here, we study a class of optimization problems that are inspired by this situation and shed light on the relevant notions of distingu…
▽ More
Consider minimizing the entropy of a mixture of states by choosing each state subject to constraints. If the spectrum of each state is fixed, we expect that in order to reduce the entropy of the mixture, we should make the states less distinguishable in some sense. Here, we study a class of optimization problems that are inspired by this situation and shed light on the relevant notions of distinguishability. The motivation for our study is the recently introduced spin alignment conjecture. In the original version of the underlying problem, each state in the mixture is constrained to be a freely chosen state on a subset of $n$ qubits tensored with a fixed state $Q$ on each of the qubits in the complement. According to the conjecture, the entropy of the mixture is minimized by choosing the freely chosen state in each term to be a tensor product of projectors onto a fixed maximal eigenvector of $Q$, which maximally "aligns" the terms in the mixture. We generalize this problem in several ways. First, instead of minimizing entropy, we consider maximizing arbitrary unitarily invariant convex functions such as Fan norms and Schatten norms. To formalize and generalize the conjectured required alignment, we define alignment as a preorder on tuples of self-adjoint operators that is induced by majorization. We prove the generalized conjecture for Schatten norms of integer order, for the case where the freely chosen states are constrained to be classical, and for the case where only two states contribute to the mixture and $Q$ is proportional to a projector. The last case fits into a more general situation where we give explicit conditions for maximal alignment. The spin alignment problem has a natural "dual" formulation, versions of which have further generalizations that we introduce.
△ Less
Submitted 5 March, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Some Problems Concerning Quantum Channels and Entropies
Authors:
Mohammad A. Alhejji
Abstract:
Fundamental limits on communication rates over quantum channels are given by mathematical expressions involving entropic formulas. Often, it is unclear if these expressions are computable. This thesis describes contributions to the study of optimizing and approximating entropic formulas over relevant subsets of quantum states. It also describes progress on a quantum erasure simulation problem in t…
▽ More
Fundamental limits on communication rates over quantum channels are given by mathematical expressions involving entropic formulas. Often, it is unclear if these expressions are computable. This thesis describes contributions to the study of optimizing and approximating entropic formulas over relevant subsets of quantum states. It also describes progress on a quantum erasure simulation problem in the high noise regime.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
Device-independent Randomness Expansion with Entangled Photons
Authors:
Lynden K. Shalm,
Yanbao Zhang,
Joshua C. Bienfang,
Collin Schlager,
Martin J. Stevens,
Michael D. Mazurek,
Carlos Abellán,
Waldimar Amaya,
Morgan W. Mitchell,
Mohammad A. Alhejji,
Honghao Fu,
Joel Ornstein,
Richard P. Mirin,
Sae Woo Nam,
Emanuel Knill
Abstract:
With the growing availability of experimental loophole-free Bell tests, it has become possible to implement a new class of device-independent random number generators whose output can be certified to be uniformly random without requiring a detailed model of the quantum devices used. However, all of these experiments require many input bits in order to certify a small number of output bits, and it…
▽ More
With the growing availability of experimental loophole-free Bell tests, it has become possible to implement a new class of device-independent random number generators whose output can be certified to be uniformly random without requiring a detailed model of the quantum devices used. However, all of these experiments require many input bits in order to certify a small number of output bits, and it is an outstanding challenge to develop a system that generates more randomness than is consumed. Here, we devise a device-independent spot-checking protocol that consumes only uniform bits without requiring any additional bits with a specific bias. Implemented with a photonic loophole-free Bell test, we can produce 24% more certified output bits (1,181,264,237) than consumed input bits (953,301,640). The experiment ran for 91.0 hours, creating randomness at an average rate of 3606 bits/s with a soundness error bounded by $5.7\times 10^{-7}$ in the presence of classical side information. Our system will allow for greater trust in public sources of randomness, such as randomness beacons, and may one day enable high-quality private sources of randomness as the device footprint shrinks.
△ Less
Submitted 20 October, 2021; v1 submitted 23 December, 2019;
originally announced December 2019.
-
Playing Games with Multiple Access Channels
Authors:
Felix Leditzky,
Mohammad A. Alhejji,
Joshua Levin,
Graeme Smith
Abstract:
Communication networks have multiple users, each sending and receiving messages. A multiple access channel (MAC) models multiple senders transmitting to a single receiver, such as the uplink from many mobile phones to a single base station. The optimal performance of a MAC is quantified by a capacity region of simultaneously achievable communication rates. We study the two-sender classical MAC, th…
▽ More
Communication networks have multiple users, each sending and receiving messages. A multiple access channel (MAC) models multiple senders transmitting to a single receiver, such as the uplink from many mobile phones to a single base station. The optimal performance of a MAC is quantified by a capacity region of simultaneously achievable communication rates. We study the two-sender classical MAC, the simplest and best-understood network, and find a surprising richness in both a classical and quantum context. First, we find that quantum entanglement shared between senders can substantially boost the capacity of a classical MAC. Second, we find that optimal performance of a MAC with bounded-size inputs may require unbounded amounts of entanglement. Third, determining whether a perfect communication rate is achievable using finite-dimensional entanglement is undecidable. Finally, we show that evaluating the capacity region of a two-sender classical MAC is in fact NP-hard.
△ Less
Submitted 31 March, 2020; v1 submitted 5 September, 2019;
originally announced September 2019.
-
A Tight Uniform Continuity Bound for Equivocation
Authors:
Mohammad A. Alhejji,
Graeme Smith
Abstract:
We prove a tight uniform continuity bound for the conditional Shannon entropy of discrete finitely supported random variables in terms of total variation distance.
We prove a tight uniform continuity bound for the conditional Shannon entropy of discrete finitely supported random variables in terms of total variation distance.
△ Less
Submitted 14 July, 2020; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Monotonicity Under Local Operations: Linear Entropic Formulas
Authors:
Mohammad A. Alhejji,
Graeme Smith
Abstract:
All correlation measures, classical and quantum, must be monotonic under local operations. In this paper, we characterize monotonic formulas that are linear combinations of the von Neumann entropies associated with the quantum state of a physical system that has n parts. We show that these formulas form a polyhedral convex cone, which we call the monotonicity cone, and enumerate its facets. We ill…
▽ More
All correlation measures, classical and quantum, must be monotonic under local operations. In this paper, we characterize monotonic formulas that are linear combinations of the von Neumann entropies associated with the quantum state of a physical system that has n parts. We show that these formulas form a polyhedral convex cone, which we call the monotonicity cone, and enumerate its facets. We illustrate its structure and prove that it is equivalent to the cone of monotonic formulas implied by strong subadditivity. We explicitly compute its extremal rays for n up to 5. We also consider the symmetric monotonicity cone, in which the formulas are required to be invariant under subsystem permutations. We describe this cone fully for all n. In addition, we show that these results hold even when states and operations are constrained to be classical.
△ Less
Submitted 3 January, 2020; v1 submitted 19 November, 2018;
originally announced November 2018.