Abstract:The interplay between the quantum state space and a specific set of measurements can be effectively captured by examining the set of jointly attainable expectation values. This set is commonly referred to as the (convex) joint numerical range. In this work, we explore geometric properties of this construct for measurements represented by tensor products of Pauli observables, also known as Pauli strings. The structure of pairwise commutation and anticommutation relations among a set of Pauli strings determines a graph $G$, sometimes also called the frustration graph. We investigate the connection between the parameters of this graph and the structure of minimal ellipsoids encompassing the joint numerical range. Such an outer approximation can be very practical since ellipsoids can be handled analytically even in high dimensions. We find counterexamples to a conjecture from [C. de Gois, K. Hansenne and O. Gühne, <a class="link-https" data-arxiv-id="2207.02197" href="https://arxiv.org/abs/2207.02197">arXiv:2207.02197</a>], and answer an open question in [M. B. Hastings and R. O'Donnell, Proc. STOC 2022, pp. 776-789], which implies a new graph parameter that we call $\beta(G)$. Besides, we develop this approach in different directions, such as comparison with graph-theoretic approaches in other fields, applications in quantum information theory, numerical methods, properties of the new graph parameter, etc. Our approach suggests many open questions that we discuss briefly at the end.

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to explore the relationship between the joint numerical range of Pauli strings and their graph parameters. Specifically, the authors focus on how to limit the joint numerical range of Pauli strings through the geometric properties of graphs, and further study the connection between these geometric properties and the minimum ellipsoid. ### Main problems and goals 1. **Explore geometric properties**: - Study the geometric properties of the joint numerical range of Pauli strings, especially its minimum - containing ellipsoid. - Describe these geometric properties through graph parameters (such as the independence number, Lovász number, etc.). 2. **Verify conjectures and answer open questions**: - Verify and refute the conjecture proposed by de Gois, Hansenne, and Gühne in [Phys. Rev. A 107, 062211 (2023)] regarding the independence number describing the minimum radius. - Answer an open question proposed by Hastings and O’Donnell in [Proc. STOC 2022, pp. 776 - 789], introducing a new graph parameter β(G). 3. **Apply to practical problems**: - Provide new methods for estimating the ground - state energy of many - body Hamiltonians, especially providing lower - bound estimates of the ground - state energy. - These methods are of great significance for fields such as quantum computing, quantum communication protocols, and spin systems in condensed - matter physics. ### Key formulas and concepts - **Joint numerical range**: \[ J(S)=\{(\langle S_1\rangle_\rho,\ldots,\langle S_n\rangle_\rho)\mid\rho\in D(H)\} \] where $D(H)$ represents all density matrices on the Hilbert space $H$. - **Minimum ellipsoid**: \[ J(S)\subseteq E_r(w) \] where $E_r(w)$ is an $m$-dimensional ellipsoid, and the length of the principal axis is $r / \sqrt{w_i}$, and $w=(w_1,\ldots,w_m)$ is a positive weight vector. - **Non - linear optimization problem**: \[ r^2\geq\sup_{\rho}\sum_i w_i\langle S_i\rangle_\rho^2 \] - **New graph parameter**: \[ \beta(G, w)=\text{radius of the minimum ellipsoid} \] ### Conclusion By introducing the new graph parameter β(G, w), the authors not only verify and refute some existing conjectures, but also provide new methods for estimating the ground - state energy. This not only makes important contributions to quantum information theory, but also provides new perspectives and tools for graph theory and algebraic analysis.

Bounding the joint numerical range of Pauli strings by graph parameters

Dynamics Of The Bounds Of Squared Concurrence (Vol 79, 032306, 2009)

Optimizing the Fundamental Eigenvalue Gap of Quantum Graphs

Quantum Statistics and Spacetime Topology: Quantum Surgery Formulas

Fluctuations, uncertainty relations, and the geometry of quantum state manifolds

On the Quantum Chromatic Numbers of Small Graphs

Complementarity between quantum entanglement, geometrical and dynamical appearances in N spin-$1/2$ system under all-range Ising model

Quantum ergodicity on the Bruhat-Tits building for $\text{PGL}(3, F)$ in the Benjamini-Schramm limit

Entanglement, quantum correlators and connectivity in graph states

Bounding and approximating parabolas for the spectrum of Heisenberg spin systems

Joint Product Numerical Range and Geometry of Reduced Density Matrices

Two convergent NPA-like hierarchies for the quantum bilocal scenario

Pfaffian structure of the eigenvector overlap for the symplectic Ginibre ensemble

Quantum geometry beyond projective single bands

Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients

Experimental Test of Quantum Correlations from Platonic Graphs

Quantum many-body simulations with PauliStrings.jl

Limitations and Separations in the Quantum Sum-of-squares, and the Quantum Knapsack Problem

Numerical ranges and geometry in quantum information: Entanglement, uncertainty relations, phase transitions, and state interconversion

The spin-half Heisenberg antiferromagnet on two Archimedian lattices: From the bounce lattice to the maple-leaf lattice and beyond

Many-body magic via Pauli-Markov chains -- from criticality to gauge theories