We study the semidefinite programs (SDPs) of quantum information whose variables are density operators, measurement operators, or unbounded positive semidefinite operators, together with their thermodynamic regularizations by the von Neumann, Fermi-Dirac, and Bose-Einstein entropies, which have been associated with Boltzmann, Fermi-Dirac, and Bose-Einstein statistics, respectively. We find that this correspondence is exact: the Fermi-Dirac and Bose-Einstein regularized SDPs coincide with the constrained free-energy minimization of an ideal Fermi or Bose gas whose Hamiltonian and non-commuting charges are the second quantizations of the SDP data and whose one-body density matrix is the SDP variable, while the Boltzmann framework corresponds to the single-particle case. We show that the three frameworks can be unified under one framework, in which each entropy-regularized dual is, up to a term linear in the chemical potentials, the grand potential of the corresponding system; the duals are unconstrained and concave in the chemical-potential vector, with gradient and Hessian given by thermal expectation values that hybrid quantum-classical algorithms can estimate. We further identify the Fermi-Dirac and Bose-Einstein relative entropies with the Umegaki relative entropy between quasi-free states, which yields their monotonicity under gauge-covariant Gaussian channels. The result places a wide class of SDPs and their solvers within the thermodynamics of ideal quantum gases and points to extensions to interacting gases.
Comments
v2: 7 pages of main text, 10 pages of appendices; new second-quantization results
We study the semidefinite programs (SDPs) of quantum information whose variables are density operators, measurement operators, or unbounded positive semidefinite operators, together with their thermodynamic regularizations by the von Neumann, Fermi-Dirac, and Bose-Einstein entropies, which have been associated with Boltzmann, Fermi-Dirac, and Bose-Einstein statistics, respectively. We find that this correspondence is exact: the Fermi-Dirac and Bose-Einstein regularized SDPs coincide with the constrained free-energy minimization of an ideal Fermi or Bose gas whose Hamiltonian and non-commuting charges are the second quantizations of the SDP data and whose one-body density matrix is the SDP variable, while the Boltzmann framework corresponds to the single-particle case. We show that the three frameworks can be unified under one framework, in which each entropy-regularized dual is, up to a term linear in the chemical potentials, the grand potential of the corresponding system; the duals are unconstrained and concave in the chemical-potential vector, with gradient and Hessian given by thermal expectation values that hybrid quantum-classical algorithms can estimate. We further identify the Fermi-Dirac and Bose-Einstein relative entropies with the Umegaki relative entropy between quasi-free states, which yields their monotonicity under gauge-covariant Gaussian channels. The result places a wide class of SDPs and their solvers within the thermodynamics of ideal quantum gases and points to extensions to interacting gases.
We establish that semidefinite programs (SDPs) over the unbounded positive semidefinite cone are mathematically equivalent to thermodynamic systems of independent bosonic modes: the eigenvalues of the optimization variable play the role of expected occupation numbers, the linear objective plays the role of total expected energy, and the linear equality constraints play the role of conserved non-commuting charges. Building on this perspective, we recast general SDPs as bosonic free-energy minimization problems at strictly positive temperature, regularized by the Bose-Einstein entropy; the original SDP is recovered in the zero-temperature limit. The optimal primal variable takes the form of a Bose-Einstein thermal operator parametrized by the dual variables. We prove an approximation-error bound that depends on the ground-space degeneracy and the spectral gap of the dual slack operator, improving on the linear-in-dimension worst-case duality gap of interior-point methods. We also introduce the Bose-Einstein quantum relative entropy as a Bregman divergence on the unbounded positive semidefinite cone, generated by the negative Bose-Einstein entropy. We propose it as a natural divergence for unnormalized positive operators, for which the standard Umegaki relative entropy can become negative, and we show that it satisfies a restricted monotonicity property under affine maps modeling bosonic Gaussian channels. Finally, we develop hybrid quantum-classical algorithms for the regularized SDP using only Hamiltonian simulation, Hadamard tests, and classical sampling, and bound their runtime in closed form. Unlike existing quantum SDP solvers, whose runtimes scale polynomially with an a priori upper bound on the primal trace, our framework operates directly on the unbounded cone, replacing this bound with a dependence on the spectral structure of the dual slack operator.
Quantum thermodynamics offers a unifying interpretation for a wide class of semidefinite programs (SDPs) that arise in quantum information. Three SDP variable constraints, namely trace-one density operators, operator-bounded measurements, and the unbounded positive semidefinite cone, admit thermodynamic regularizations associated with Boltzmann, Fermi-Dirac, and Bose-Einstein statistics, respectively. In each case the entropy-regularized dual is unconstrained and concave in a chemical-potential vector, and the primal optimum is a thermal operator of the matched statistics. The dual gradient and Hessian are thermal expectation values, enabling new hybrid quantum-classical algorithms for solving a wide variety of SDPs.
In quantum thermodynamics, a system is described by a Hamiltonian and a list of non-commuting charges representing conserved quantities like particle number or electric charge, and an important goal is to determine the system's minimum energy in the presence of these conserved charges. In optimization theory, a semi-definite program (SDP) involves a linear objective function optimized over the cone of positive semi-definite operators intersected with an affine space. These problems arise from differing motivations in the physics and optimization communities and are phrased using very different terminology, yet they are essentially identical mathematically. By adopting Jaynes' mindset motivated by quantum thermodynamics, we observe that minimizing free energy in the aforementioned thermodynamics problem, instead of energy, leads to an elegant solution in terms of a dual chemical potential maximization problem that is concave in the chemical potential parameters. As such, one can employ standard (stochastic) gradient ascent methods to find the optimal values of these parameters, and these methods are guaranteed to converge quickly. At low temperature, the minimum free energy provides an excellent approximation for the minimum energy. We then show how this Jaynes-inspired gradient-ascent approach can be used in both first- and second-order classical and hybrid quantum-classical algorithms for minimizing energy, and equivalently, how it can be used for solving SDPs, with guarantees on the runtimes of the algorithms. The approach discussed here is well grounded in quantum thermodynamics and, as such, provides physical motivation underpinning why algorithms published fifty years after Jaynes' seminal work, including the matrix multiplicative weights update method, the matrix exponentiated gradient update method, and their quantum algorithmic generalizations, perform well at solving SDPs.
Quantum measurements are the means by which we recover messages encoded into quantum states. They are at the forefront of quantum hypothesis testing, wherein the goal is to perform an optimal measurement for arriving at a correct conclusion. Mathematically, a measurement operator is Hermitian with eigenvalues in [0,1]. By noticing that this constraint on each eigenvalue is the same as that imposed on fermions by the Pauli exclusion principle, we interpret every eigenmode of a measurement operator as an independent effective fermionic mode. Under this perspective, various objective functions in quantum hypothesis testing can be viewed as the total expected energy associated with these fermionic occupation numbers. By instead fixing a temperature and minimizing the total expected fermionic free energy, we find that optimal measurements for these modified objective functions are Fermi-Dirac thermal measurements, wherein their eigenvalues are specified by Fermi-Dirac distributions. In the low-temperature limit, their performance closely approximates that of optimal measurements for quantum hypothesis testing, and we show that their parameters can be learned by classical or hybrid quantum-classical optimization algorithms. This leads to a new quantum machine-learning model, termed Fermi-Dirac machines, consisting of parameterized Fermi-Dirac thermal measurements-an alternative to quantum Boltzmann machines based on thermal states. Beyond hypothesis testing, we show how general semidefinite optimization problems can be solved using this approach, leading to a novel paradigm for semidefinite optimization on quantum computers, in which the goal is to implement thermal measurements rather than prepare thermal states. Finally, we propose quantum algorithms for implementing Fermi-Dirac thermal measurements, and we also propose second-order hybrid quantum-classical optimization algorithms.
Abstract Chapter 11 presents a statistical mechanical treatment of the quantum ideal gases, i.e., the ideal Boltzmann, fermion, and boson gases. The discussion begins with the microscopic description and the solution of the eigenvalue problem for a quantum ideal gas. It is argued that calculating the partition function is most readily accomplished in the grand canonical ensemble using a second-quantized formulation. When the particles are distinguishable, the equation of state is identical to that of a classical ideal gas. For fermions and bosons, however, the problem of computing thermodynamic properties is significantly more complex and can only be solved exactly in certain limits. Away from these limits approximations are needed and are discussed in detail. The relevant distributions - the Fermi-Dirac and Bose-Einstein distributions are derived. The local density approximation of density functional theory is derived for the ideal electron gas. For the ideal boson gas, the phenomenon of Bose-Einstein condensation is discussed
In this work, improvements are introduced to the current models of the ideal Fermi gas and the ideal Bose gas by incorporating the quantum nature of phase space, which is directly linked to the uncertainty principle. These improved models build upon the recently developed concepts of quantum phase space (QPS) and the QPS representation of quantum mechanics. The Hamiltonian operator for a gas particle and its eigenstates are first determined, and quantum statistical mechanics is used to derive the thermodynamic properties of the ideal gas. Analytic expressions for thermodynamic quantities—including the grand canonical potential, particle number, internal energy, von Neumann entropy, and pressure—are derived, along with the corresponding thermodynamic equations of state for both bosons and fermions. These corrections are particularly significant at low temperatures and in confined volumes, where quantum effects related to system geometry, such as shape and size, become significant. The results also establish a direct link between thermodynamic functions and the quantum statistical variances of momentum. Importantly, the improved models recover well-known classical relations of the ideal gas in the high-temperature and large-volume limits, ensuring consistency with classical physics. By addressing quantum corrections and their thermodynamic implications, this work provides a foundation for further applications in nanoscale systems, quantum gases, low-temperature physics, ultracold physics, and astrophysics.