arXiv subjects

Hamza Fawzi

Publications and source records attributed to Hamza Fawzi.

At least 19 recordsLinked to original sources

arXiv2026

Automated near-term quantum algorithm discovery for molecular ground states

Designing quantum algorithms is a complex and counterintuitive task, making it an ideal candidate for AI-driven algorithm discovery. To this end, we employ the Hive, an AI platform for program synthesis, which utilises large language models to drive a highly distributed evolutionary process for discovering new algorithms. We focus on the ground state problem in quantum chemistry, and discover efficient quantum heuristic algorithms that solve it for molecules LiH, H2O, and F2 while exhibiting significant reductions in quantum resources relative to state-of-the-art near-term quantum algorithms. Further, we perform an interpretability study on the discovered algorithms and identify the key functions responsible for the efficiency gains. Finally, we benchmark the Hive-discovered circuits on the Quantinuum System Model H2 quantum computer and identify minimum system requirements for chemical precision. We envision that this novel approach to quantum algorithm discovery applies to other domains beyond chemistry, as well as to designing quantum algorithms for fault-tolerant quantum computers.

quant-ph↗

arXiv2026

Fast convergence of Majorana Propagation for weakly interacting fermions

Simulating the time dynamics of an observable under Hamiltonian evolution is one of the most promising candidates for quantum advantage as we do not expect efficient classical algorithms for this problem except in restricted settings. Here, we introduce such a setting by showing that Majorana Propagation, a simple algorithm combining Trotter steps and truncations, efficiently finds a low-degree approximation of the time-evolved observable as soon as such an approximation exists. This provides the first provable guarantee about Majorana Propagation for Hamiltonian evolution. As an application of this result, we prove that Majorana Propagation can efficiently simulate the time dynamics of any sparse quartic Hamiltonian up to time $t_{\text{max}}(u)$ depending on the interaction strength $u$. For a time horizon $t \leq t_{\text{max}}(u)$, the runtime of the algorithm is $N^{O(\log(t/\varepsilon))}$ where $N$ is the number of Majorana modes and $\varepsilon$ is the error measured in the normalized Frobenius norm. Importantly, in the limit of small $u$, $t_{\text{max}}(u)$ goes to $+\infty$, formalizing the intuition that the algorithm is accurate at all times when the Hamiltonian is quadratic.

quant-ph↗

arXiv2025

Exact algorithms for quadratic optimization over roots of unity

We consider the problem of optimizing a multivariate quadratic function where each decision variable is constrained to be a complex $m$'th root of unity. Such problems have applications in signal processing, MIMO detection, and the computation of ground states in statistical physics, among others. Our contributions in this paper are twofold. We first study the convergence of the sum-of-squares hierarchy and prove its convergence to the exact solution after only $\lfloor n/2\rfloor+1$ levels (as opposed to $n$ levels). Our proof follows and generalizes the techniques and results used for the binary $m=2$ case developed by Fawzi, Saunderson, Parrilo. Second, we construct an integer binary reformulation of the problem based on zonotopes which reduces by half the number of binary variables in the simple reformulation. We show on numerical experiments that this reformulation can result in significant speedups (up to 10x) in solution time.

math.OC↗

arXiv2025

Convergence of linear programming hierarchies for Gibbs states of spin systems

We consider the problem of computing expectation values of local functions under the Gibbs distribution of a spin system. In particular, we study two families of linear programming hierarchies for this problem. The first hierarchy imposes local spin flip equalities and has been considered in the bootstrap literature in high energy physics. For this hierarchy, we prove fast convergence under a spatial mixing (decay of correlations) condition. This condition is satisfied for example above the critical temperature for Ising models on a $d$-dimensional grid. The second hierarchy is based on a Markov chain having the Gibbs state as a fixed point and has been studied in the optimization literature and more recently in the bootstrap literature. For this hierarchy, we prove fast convergence provided the Markov chain mixes rapidly. Both hierarchies lead to an $\varepsilon$-approximation for local expectation values using a linear program of size quasi-polynomial in $n/\varepsilon$, where $n$ is the total number of sites, provided the interactions can be embedded in a $d$-dimensional grid with constant $d$. Compared to standard Monte Carlo methods, an advantage of this approach is that it always (i.e., for any system) outputs rigorous upper and lower bounds on the expectation value of interest, without needing an a priori analysis of the convergence speed.

math.OC↗

arXiv2025

Adversarial quantum channel discrimination

We introduce a new framework for quantum channel discrimination in an adversarial setting, where the tester plays against an adversary. We show that in asymmetric hypothesis testing, the optimal type-II error exponent is precisely characterized by a new notion of quantum channel divergence (termed the minimum output channel divergence). This serves as a direct analog of the quantum Stein's lemma in this new framework, and complements previous studies on ``best-case'' channel discrimination, thereby providing a complete understanding of the ultimate limits of quantum channel discrimination. Notably, the optimal error exponent can be achieved by simple non-adaptive adversarial strategies, and despite the need for regularization, it remains efficiently computable and satisfies the strong converse property in general. Furthermore, we show that entropy accumulation, a powerful tool in quantum cryptography, can be reframed as an adversarial channel discrimination problem, establishing a new connection between quantum information theory and quantum cryptography.

quant-ph↗

arXiv2025

Classical Estimation of the Free Energy and Quantum Gibbs Sampling from the Markov Entropy Decomposition

We revisit the Markov Entropy Decomposition, a classical convex relaxation algorithm introduced by Poulin and Hastings to approximate the free energy in quantum spin lattices. We identify a sufficient condition for its convergence, namely the decay of the effective interaction. The effective interaction, also known as Hamiltonians of mean force, is a widely established correlation measure, and we show our decay condition in 1D at any temperature as well as in the high-temperature regime under a certain commutativity condition on the Hamiltonian building on existing results. This yields polynomial and quasi-polynomial time approximation algorithms in these settings, respectively. Furthermore, the decay of the effective interaction implies the decay of the conditional mutual information for the Gibbs state of the system. We then use this fact to devise a rounding scheme that maps the solution of the convex relaxation to a global state and show that the scheme can be efficiently implemented on a quantum computer, thus proving efficiency of quantum Gibbs sampling under our assumption of decay of the effective interaction.

quant-ph↗

arXiv2025

Efficient approximation of regularized relative entropies and applications

The quantum relative entropy is a fundamental quantity in quantum information science, characterizing the distinguishability between two quantum states. However, this quantity is not additive in general for correlated quantum states, necessitating regularization for precise characterization of the operational tasks of interest. Recently, we proposed the study of the regularized relative entropy between two sequences of sets of quantum states in [arXiv:2411.04035], which captures a general framework for a wide range of quantum information tasks. Here, we show that given suitable structural assumptions and efficient descriptions of the sets, the regularized relative entropy can be efficiently approximated within an additive error by a quantum relative entropy program of polynomial size. This applies in particular to the regularized relative entropy in adversarial quantum channel discrimination. Moreover, we apply the idea of efficient approximation to quantum resource theories. In particular, when the set of interest does not directly satisfy the required structural assumptions, it can be relaxed to one that does. This provides improved and efficient bounds for the entanglement cost of quantum states and channels, entanglement distillation and magic state distillation. Numerical results demonstrate improvements even for the first level of approximation.

quant-ph↗

arXiv2025

Uhlmann's theorem for measured divergences

Uhlmann's theorem is a cornerstone of quantum information theory, stating that for any quantum state $\rho_{AB}$ and any state $\sigma_A$, there exists an extension $\sigma_{AB}$ of $\sigma_A$ such that the fidelity between $\rho_{AB}$ and $\sigma_{AB}$ equals the fidelity between their marginals $\rho_A$ and $\sigma_A$. This property underpins many results and applications in quantum information science. In this work, we generalize Uhlmann's theorem to a broad class of measured $f$-divergences, including the measured $\alpha$-R\'enyi divergences for all $\alpha \geq 0$. The well-known Uhlmann's theorem for the fidelity corresponds to the special case $\alpha = \frac{1}{2}$. Since most commonly used quantum R\'enyi divergences, including the Petz and sandwiched R\'enyi divergences, cannot satisfy this property (except for degenerate cases). This fundamentally distinguishes measured $f$-divergences from other quantum divergences and highlights their unique mathematical structure.

quant-ph↗

arXiv2025

Operator convexity along lines, self-concordance, and sandwiched R\'enyi entropies

Barrier methods play a central role in the theory and practice of convex optimization. One of the most general and successful analyses of barrier methods for convex optimization, due to Nesterov and Nemirovskii, relies on the notion of self-concordance. While an extremely powerful concept, proving self-concordance of barrier functions can be very difficult. In this paper we give a simple way to verify that the natural logarithmic barrier of a convex nonlinear constraint is self-concordant via the theory of operator convex functions. Namely, we show that if a convex function is operator convex along any one-dimensional restriction, then the natural logarithmic barrier of its epigraph is self-concordant. We apply this technique to construct self-concordant barriers for the epigraphs of functions arising in quantum information theory. Notably, we apply this to the sandwiched R\'enyi entropy function, for which no self-concordant barrier was known before. Additionally, we utilize our sufficient condition to provide simplified proofs for previously established self-concordance results for the noncommutative perspective of operator convex functions. An implementation of the convex cones considered in this paper is now available in our open source interior-point solver QICS.

math.OC↗

arXiv2024

Generalized quantum asymptotic equipartition

The asymptotic equipartition property (AEP) states that in the limit of a large number of independent and identically distributed (i.i.d.) random experiments, the output sequence is virtually certain to come from the typical set, each member of which is almost equally likely. This property is a form of the law of large numbers and lies at the heart of information theory. In this work, we prove a generalized quantum AEP beyond the i.i.d. framework where the random samples are drawn from two sets of quantum states. In particular, under suitable assumptions on the sets, we prove that all operationally relevant divergences converge to the quantum relative entropy between the sets. More specifically, both the quantum hypothesis testing relative entropy and the smoothed max-relative entropy approach the regularized relative entropy between the sets. Notably, the asymptotic limit has explicit convergence guarantees and can be efficiently estimated through convex optimization programs, despite the regularization, provided that the sets have efficient descriptions. The generalized AEP directly implies a new quantum Stein's lemma for conducting quantum hypothesis testing between two sets of quantum states. Combined with the accompanying work [IEEE TIT 72(4):2330-2342 (2026)], this addresses open questions raised by Brandao et al. [IEEE TIT 66(8):5037-5054 (2020)] and Mosonyi et al. [IEEE TIT 68(2):1032-1067 (2022)], which seek a Stein's lemma with computational efficiency. Moreover, we propose a new framework for quantum resource theory in which state transformations are performed without requiring precise characterization of the states being manipulated, making it more robust to imperfections. We demonstrate the reversibility (also referred to as the second law) of such a theory and identify the regularized relative entropy as the unique measure of the resource in this new framework.

quant-ph↗

arXiv2024

Certified algorithms for quantum Hamiltonian learning via energy-entropy inequalities

We consider the problem of learning the Hamiltonian of a quantum system from estimates of Gibbs-state expectation values. Various methods for achieving this task were proposed recently, both from a practical and theoretical point of view. On the one hand, some practical algorithms have been implemented and used to analyze experimental data but these algorithms often lack correctness guarantees or fail to scale to large systems. On the other hand, theoretical algorithms with provable asymptotic efficiency guarantees have been proposed, but they seem challenging to implement. Recently, a semidefinite family of Hamiltonian learning algorithms was proposed which was numerically demonstrated to scale well into the 100-qubit regime, but provided no provable accuracy guarantees. We build on this work in two ways, by extending it to provide certified a posteriori lower and upper bounds on the parameters to be learned, and by proving a priori convergence in the special case where the Hamiltonian is commuting.

quant-ph↗

arXiv2024

QICS: Quantum Information Conic Solver

We introduce QICS (Quantum Information Conic Solver), an open-source primal-dual interior point solver fully implemented in Python, which is focused on solving optimization problems arising in quantum information theory. QICS has the ability to solve optimization problems involving the quantum relative entropy, noncommutative perspectives of operator convex functions, and related functions. It also includes an efficient semidefinite programming solver which exploits sparsity, as well as support for Hermitian matrices. QICS is also currently supported by the Python optimization modelling software PICOS. This paper aims to document the implementation details of the algorithm and cone oracles used in QICS, and serve as a reference guide for the software. Additionally, we showcase extensive numerical experiments which demonstrate that QICS outperforms state-of-the-art quantum relative entropy programming solvers, and has comparable performance to state-of-the-art semidefinite programming solvers.

math.OC↗

arXiv2024

Interior Point Methods for Structured Quantum Relative Entropy Optimization Problems

Quantum relative entropy optimization refers to a class of convex problems in which a linear functional is minimized over an affine section of the epigraph of the quantum relative entropy function. Recently, the self-concordance of a natural barrier function was proved for this set, and various implementations of interior-point methods have been made available to solve this class of optimization problems. In this paper, we show how common structures arising from applications in quantum information theory can be exploited to improve the efficiency of solving quantum relative entropy optimization problems using interior-point methods. First, we show that the natural barrier function for the epigraph of the quantum relative entropy composed with positive linear operators is self-concordant, even when these linear operators map to singular matrices. Compared to modelling problems using the full quantum relative entropy cone, this allows us to remove redundant log-determinant expressions from the barrier function and reduce the overall barrier parameter. Second, we show how certain slices of the quantum relative entropy cone exhibit useful properties which should be exploited whenever possible to perform certain key steps of interior-point methods more efficiently. We demonstrate how these methods can be applied to applications in quantum information theory, including quantifying quantum key rates, quantum rate-distortion functions, quantum channel capacities, and the ground state energy of Hamiltonians. Our numerical results show that these techniques improve computation times by up to several orders of magnitude, and allow previously intractable problems to be solved.

quant-ph↗

arXiv2023

Certified algorithms for equilibrium states of local quantum Hamiltonians

Predicting observables in equilibrium states is a central yet notoriously hard question in quantum many-body systems. In the physically relevant thermodynamic limit, certain mathematical formulations of this task have even been shown to result in undecidable problems. Using a finite-size scaling of algorithms devised for finite systems often fails due to the lack of certified convergence bounds for this limit. In this work, we design certified algorithms for computing expectation values of observables in the equilibrium states of local quantum Hamiltonians, both at zero and positive temperature. Importantly, our algorithms output rigorous lower and upper bounds on these values. This allows us to show that expectation values of local observables can be approximated in finite time, contrasting related undecidability results. When the Hamiltonian is commuting on a 2-dimensional lattice, we prove fast convergence of the hierarchy at high temperature and as a result for a desired precision $\varepsilon$, local observables can be approximated by a convex optimization program of quasi-polynomial size in $1/\varepsilon$.

quant-ph↗

arXiv2023

Efficient Computation of the Quantum Rate-Distortion Function

The quantum rate-distortion function plays a fundamental role in quantum information theory, however there is currently no practical algorithm which can efficiently compute this function to high accuracy for moderate channel dimensions. In this paper, we show how symmetry reduction can significantly simplify common instances of the entanglement-assisted quantum rate-distortion problems. This allows us to better understand the properties of the quantum channels which obtain the optimal rate-distortion trade-off, while also allowing for more efficient computation of the quantum rate-distortion function regardless of the numerical algorithm being used. Additionally, we propose an inexact variant of the mirror descent algorithm to compute the quantum rate-distortion function with provable sublinear convergence rates. We show how this mirror descent algorithm is related to Blahut-Arimoto and expectation-maximization methods previously used to solve similar problems in information theory. Using these techniques, we present the first numerical experiments to compute a multi-qubit quantum rate-distortion function, and show that our proposed algorithm solves faster and to higher accuracy when compared to existing methods.

quant-ph↗

arXiv2023

A Bregman Proximal Perspective on Classical and Quantum Blahut-Arimoto Algorithms

The Blahut-Arimoto algorithm is a well-known method to compute classical channel capacities and rate-distortion functions. Recent works have extended this algorithm to compute various quantum analogs of these quantities. In this paper, we show how these Blahut-Arimoto algorithms are special instances of mirror descent, which is a type of Bregman proximal method, and a well-studied generalization of gradient descent for constrained convex optimization. Using recently developed convex analysis tools, we show how analysis based on relative smoothness and strong convexity recovers known sublinear and linear convergence rates for Blahut-Arimoto algorithms. This Bregman proximal viewpoint allows us to derive related algorithms with similar convergence guarantees to solve problems in information theory for which Blahut-Arimoto-type algorithms are not directly applicable. We apply this framework to compute energy-constrained classical and quantum channel capacities, classical and quantum rate-distortion functions, and approximations of the relative entropy of entanglement, all with provable convergence guarantees.

cs.IT↗

arXiv2023

Rational approximations of operator monotone and operator convex functions

Operator convex functions defined on the positive half-line play a prominent role in the theory of quantum information, where they are used to define quantum $f$-divergences. Such functions admit integral representations in terms of rational functions. Obtaining high-quality rational approximants of operator convex functions is particularly useful for solving optimization problems involving quantum $f$-divergences using semidefinite programming. In this paper we study the quality of rational approximations of operator convex (and operator monotone) functions. Our main theoretical results are precise global bounds on the error of local Pad\'e-like approximants, as well as minimax approximants, with respect to different weight functions. While the error of Pad\'e-like approximants depends inverse polynomially on the degree of the approximant, the error of minimax approximants has root exponential dependence and we give detailed estimates of the exponents in both cases. We also explain how minimax approximants can be obtained in practice using the differential correction algorithm.

math.OC↗

arXiv2023

Entropy Constraints for Ground Energy Optimization

We study the use of von Neumann entropy constraints for obtaining lower bounds on the ground energy of quantum many-body systems. Known methods for obtaining certificates on the ground energy typically use consistency of local observables and are expressed as semidefinite programming relaxations. The local marginals defined by such a relaxation do not necessarily satisfy entropy inequalities that follow from the existence of a global state. Here, we propose to add such entropy constraints that lead to tighter convex relaxations for the ground energy problem. We give analytical and numerical results illustrating the advantages of such entropy constraints. We also show limitations of the entropy constraints we construct: they are implied by doubling the number of sites in the relaxation and as a result they can at best lead to a quadratic improvement in terms of the matrix sizes of the variables. We explain the relation to a method for approximating the free energy known as the Markov Entropy Decomposition method.

quant-ph↗