arXiv subjects

Jason Pollack

Publications and source records attributed to Jason Pollack.

At least 19 recordsLinked to original sources

arXiv2026

The Optimal Rate Function in Covariant Quantum State Tomography

The problem of quantum tomography is to estimate an unknown quantum state $\rho$ from a measurement of $n$ copies of $\rho$. One can ask which tomography protocol, i.e.\ which choice of multi-copy measurement, gives the best possible estimate of $\rho$. To do so, we characterize tomography protocols by their \emph{rate function}, which governs the exponential rate at which a protocol assigns probability to a particular estimate $\sigma$ of the true state $\rho$. This rate function is a quantum mechanical generalization of the classical relative entropy between the true state and its estimate, and depends on the choice of protocol. It is bounded by the quantum relative entropy, and we show that this bound is sharp: for any $\rho$ and $\sigma$ we construct a family of protocols whose rate functions converge to the quantum relative entropy $D(\sigma\|\rho)$. We consider the family of covariant tomography protocols; these are the basis independent state estimation schemes that assume no prior information about $\rho$ and $\sigma$. Keyl described a specific tomography protocol based on Schur sampling, and conjectured that among all covariant tomography protocols it has the largest possible rate function for all $\sigma$ and $\rho$. We prove this conjecture. The resulting rate function is an annealed version of quantum relative entropy, due to the cost of learning the eigenbasis in covariant quantum state tomography.

quant-ph↗

arXiv2026

Fidelity-Aware Frequency Allocation and Transpilation Co-Design for Tunable Coupler Quantum Systems

Frequency crowding is a fundamental limitation in superconducting quantum architectures, particularly in tunable-coupler systems. We present a framework that explicitly models both coherent spectator-induced errors and incoherent lifetime effects through an error budgeting approach. Using this model, we analyze how frequency crowding impacts gate fidelity as module size and connectivity scale, and formulate a constrained optimization problem to assign qubit and coupler frequencies under realistic separation and hardware constraints. We demonstrate scalable frequency allocation strategies that minimize spectator-induced errors. We further show that increasing qubit count and coupling density within a module leads to a fidelity-connectivity tradeoff. To explore the benefits at the system scale, we have developed a noise-aware transpilation approach called FINESSE, which minimizes error by selecting high-fidelity paths that satisfy connectivity via SWAP insertion while jointly optimizing downstream gate execution. We demonstrate this physics-informed architecture-transpilation co-design approach for a SNAIL-based third-order coupler that natively realizes the $\sqrt{iSWAP}$ basis with frequency aware gate fidelities. On SNAIL architectures, FINESSE achieves an average 8.9% reduction in log-infidelity cost and 6.8% reduction in circuit depth vs. SABRE. We also compare results on IBM Brisbane's architecture.

quant-ph↗

arXiv2026

GSC-QEMit: A Telemetry-Driven Hierarchical Forecast-and-Bandit Framework for Adaptive Quantum Error Mitigation

Quantum error mitigation (QEM) is essential for extracting reliable results from near-term quantum devices, yet practical deployments must balance mitigation strength against runtime overhead under time-varying noise. We introduce \emph{GSC-QEMit}, a telemetry-driven, \textbf{context--forecast--bandit} framework for \emph{adaptive} mitigation that switches between lightweight suppression and heavier intervention as drift evolves. GSC-QEMit composes three coupled modules: (G) a Growing Hierarchical Self-Organizing Map (GHSOM) that clusters streaming telemetry into operating contexts; (S) an uncertainty-aware subsampled Gaussian-process forecaster that predicts short-horizon fidelity degradation; and (C) a cost-aware contextual multi-armed bandit (CMAB) that selects mitigation actions via Thompson sampling with explicit intervention cost. We evaluate GSC-QEMit on benchmark circuit families (GHZ, Quantum Fourier Transform, and Grover search) under nonstationary noise regimes simulated in Qiskit Aer, using an instrumented testbed where action labels correspond to graded mitigation intensity. Across Clifford, non-Clifford, and structured workloads, GSC-QEMit improves average logical fidelity by \textbf{+9.0\%} relative to unmitigated execution while reducing unnecessary heavy interventions by reserving them for inferred noise spikes. The resulting policies exhibit a favorable fidelity--cost trade-off and transfer across the evaluated workloads without circuit-specific tuning.

quant-ph↗

arXiv2026

Asymptotically Optimal Quantum Universal Quickest Change Detection

This paper investigates the quickest change detection of quantum states in a universal setting: specifically, where the post-change quantum state is not known a priori. We establish the asymptotic optimality of a two-stage approach in terms of worst average delay to detection. The first stage employs block POVMs with classical outputs that preserve quantum relative entropy to arbitrary precision. The second stage leverages a recently proposed windowed-CUSUM algorithm that is known to be asymptotically optimal for quickest change detection with an unknown post-change distribution in the classical setting.

quant-ph↗

arXiv2025

Monogamy of Mutual Information in Graph States

The monogamy of mutual information (MMI) is a quantum entropy inequality that enforces the non-positivity of tripartite information. We investigate the failure of MMI in graph states as a forbidden-subgraph phenomenon, conjecturing that every MMI-violating graph state is local-Clifford equivalent to one whose graph contains a four-star subgraph. We construct a family of star-like graphs whose states fail a specific class of MMI instances, and extend this analysis to general star topologies. Deriving adjacency matrix constraints that fix the MMI evaluation for these instances and interpreting them physically, we prove the forbidden-subgraph conjecture for this family of graphs. Finally, through an exhaustive search over graph representatives for all $8$-qubit stabilizer entropy vectors, we establish that MMI failure is not reducible to the cases within our scope.

quant-ph↗

arXiv2025

Approximate quantum error correction, eigenstate thermalization and the chaos bound

Quantum error correction, thermalization, and quantum chaos are fundamental aspects of quantum many-body physics that have each developed largely independently, despite their deep conceptual overlap. In this work, we establish a precise link between all three in systems that satisfy the eigenstate thermalization hypothesis (ETH) and exhibit a well-defined hierarchy of time scales between dissipation and scrambling. Building on the ETH matrix ansatz and the structure of the out-of-time-order correlator (OTOC), we show that the chaos bound directly constrains the error of an approximate quantum error-correcting code. This establishes a quantitative relation between information scrambling, thermalization, and correctability. Furthermore, we derive bounds on dynamical fluctuations around the infinite-time average and on fluctuation-dissipation relations, expressed in terms of both the code error and the Lyapunov exponent. Our results reveal how the limits of quantum chaos constrain information preservation in thermalizing quantum systems.

quant-ph↗

arXiv2025

Thermal reconstruction of chaotic quantum many-body systems

Thermal states are thermal with respect to a fixed Hamiltonian. How much information about this Hamiltonian can we ``bootstrap'' from the subsystems of a thermal state? We attack the problem by positioning it as a subspecies of the quantum marginal problem. In states that obey the quantum Markov property, the Petz recovery map captures the knowledge of the larger system inherent in a subsystem. We use the conditional mutual information to check the goodness of Petz recovery, analytically in a random-matrix-theory-inspired hopping model and numerically in an Ising-like spin chain model. We observe different behavior in chaotic versus integrable phases of the model: in the chaotic phase, the reconstruction works well at both very low and very high temperatures, with some intermediate critical temperature at which reconstruction works worst, whereas in the integrable phase reconstruction breaks down at low temperatures.

quant-ph↗

arXiv2025

Uniqueness of Complementary Recovery in Holographic Error-Correcting Codes

Holographic codes are a type of error-correcting code with extra geometric structure ensured by a ``complementary recovery'' property: given a division of the physical Hilbert space $\mathcal{H}$ into $\mathcal{H}_A$ and $\mathcal{H}_{\bar A}$, and an algebra of physical operators $\mathcal{M}\subseteq (\mathcal{L}(\mathcal{H}_A)\otimes I_{\mathcal{H}_{\bar A}})$, the logical operators in $\mathcal{L}(\mathcal{H}_L)\simeq \mathcal{L}(P\mathcal{H})$ which can be created by acting in $\mathcal{M}$ are identical to the logical operators whose expectation values cannot be altered by acting in the commutant $\mathcal{M}^\prime$, and vice versa. In arXiv:2110.14691, a uniqueness theorem was stated: the only possible tuple of (code, bipartition, algebra) which can exhibit complementary recovery is the maximal one $\mathcal{M}=P(\mathcal{L}(\mathcal{H}_A)\otimes I_{\mathcal{H}_{\bar A}})P$. We point out a counterexample to this result, using a ``non-adjacent'' bipartition of a four-qubit code proposed in arXiv:2110.14691. We show that the failure of uniqueness is due to a failure to enforce error correction against erasure of $\mathcal{H}_{\bar A}$, which requires enforcing the algebraic Knill-Laflamme condition $[P E_i^\dagger E_j P,\mathcal{M}]=0$ for each pair of error operators. When we add the additional requirement that $\mathcal{M}$ be correctable with respect to this channel, uniqueness is restored, and we re-prove the theorem of arXiv:2110.14691 with this added assumption. We present the list of bipartitions of the ``atomic'' holographic codes in arXiv:2110.14691 in which the correctability assumption can be violated.

quant-ph↗

arXiv2025

Lindblad evolution as gradient flow

We give a simple argument that, for a large class of jump operators, the Lindblad evolution can be written as a gradient flow in the space of density operators acting on a Hilbert space of dimension $D$. We give explicit expressions for the (matrix-valued) eigenvectors and eigenvalues of the Lindblad evolution using this formalism. We argue that in many cases the interpretation of the evolution is simplified by passing from the complex $D^2$-dimensional space of density operators to the real $D^2-1$-dimensional space of Bloch vectors. When jump operators are non-Hermitian the evolution is not in general gradient flow, but we show that it nevertheless resembles gradient flow in two particular ways. Importantly, the steady states of Lindbladian evolution are still determined by the potential in all cases.

quant-ph↗

arXiv2025

Towards Quantum Universal Hypothesis Testing

Hoeffding's formulation and solution to the universal hypothesis testing (UHT) problem had a profound impact on many subsequent works dealing with asymmetric hypotheses. In this work, we introduce a quantum universal hypothesis testing framework that serves as a quantum analog to Hoeffding's UHT. Motivated by Hoeffding's approach, which estimates the empirical distribution and uses it to construct the test statistic, we employ quantum state tomography to reconstruct the unknown state prior to forming the test statistic. Leveraging the concentration properties of quantum state tomography, we establish the exponential consistency of the proposed test: the type II error probability decays exponentially quickly, with the exponent determined by the trace distance between the true state and the nominal state.

cs.IT↗

arXiv2024

Towards Entropic Constraints on Quantum Speedups

Some quantum algorithms have "quantum speedups": improved time complexity as compared with the best-known classical algorithms for solving the same tasks. Can we understand what fuels these speedups from an entropic perspective? Information theory gives us a multitude of metrics we might choose from to measure how fundamentally 'quantum' is the behavior of a quantum computer running an algorithm. The entanglement entropies for subsystems of a quantum state can be analyzed for subsystems of qubits in a quantum computer throughout the running of an algorithm. Here, a framework for making this entropic analysis is constructed, and performed on a selection of quantum circuits implementing known fast quantum algorithms and subroutines: Grover search, the quantum Fourier transform, and phase estimation. Our results are largely unsatisfactory: known entropy inequalities do not suffice to identify the presence or absence of quantum speedups. Although we know our algorithms must have quantum "magic", the Ingleton inequality, which holds for all entropies of subsystems of stabilizer states, is not violated in any of our examples. In some cases, however, monogamy of mutual information, which is obeyed for product states but violated for highly entangled bipartite states such as the $GHZ$ states, fails at some point in the course of our quantum circuits.

quant-ph↗

arXiv2024

Generic ETH: Eigenstate Thermalization beyond the Microcanonical

The Eigenstate Thermalization Hypothesis (ETH) has played a key role in recent advances in the high energy and condensed matter communities. It explains how an isolated quantum system in a far-from-equilibrium initial state can evolve to a state that is indistinguishable from thermal equilibrium, with observables relaxing to almost time-independent results that can be described using traditional statistical mechanics ensembles. In this work we probe the limits of ETH, pushing it outside its prototypical applications in several directions. We design a qutrit lattice system with conserved quasilocal charge, in which we verify a form of generalized eigenstate thermalization. We also observe signatures of thermalization in states well outside microcanonical windows of both charge and energy, which we dub `generic ETH.'

quant-ph↗

arXiv2023

Bounding Entanglement Entropy with Clifford Double Cosets

Following on our previous work arXiv:2204.07593 and arXiv:2306.01043 studying the orbits of quantum states under Clifford circuits via `reachability graphs', we introduce `contracted graphs' whose vertices represent classes of quantum states with the same entropy vector. These contracted graphs represent the double cosets of the Clifford group, where the left cosets are built from the stabilizer subgroup of the starting state and the right cosets are built from the entropy-preserving operators. We study contracted graphs for stabilizer states, as well as W states and Dicke states, discussing how the diameter of a state's contracted graph constrains the `entropic diversity' of its $2$-qubit Clifford orbit. We derive an upper bound on the number of entropy vectors that can be generated using any $n$-qubit Clifford circuit, for any quantum state. We speculate on the holographic implications for the relative proximity of gravitational duals of states within the same Clifford orbit. Although we concentrate on how entropy evolves under the Clifford group, our double-coset formalism, and thus the contracted graph picture, is extendable to generic gate sets and generic state properties.

quant-ph↗

arXiv2023

Clifford Orbits from Cayley Graph Quotients

We describe the structure of the $n$-qubit Clifford group $C_n$ via Cayley graphs, whose vertices represent group elements and edges represent generators. In order to obtain the action of Clifford gates on a given quantum state, we introduce a quotient procedure. Quotienting the Cayley graph by the stabilizer subgroup of a state gives a reduced graph which depicts the state's Clifford orbit. Using this protocol for $C_2$, we reproduce and generalize the reachability graphs introduced in arXiv:2204.07593. Since the procedure is state-independent, we extend our study to non-stabilizer states, including the W and Dicke states. Our new construction provides a more precise understanding of state evolution under Clifford circuit action.

quant-ph↗

arXiv2022

Discrete Bulk Reconstruction

According to the AdS/CFT correspondence, the geometries of certain spacetimes are fully determined by quantum states that live on their boundaries -- indeed, by the von Neumann entropies of portions of those boundary states. This work investigates to what extent the geometries can be reconstructed from the entropies in polynomial time. Bouland, Fefferman, and Vazirani (2019) argued that the AdS/CFT map can be exponentially complex if one wants to reconstruct regions such as the interiors of black holes. Our main result provides a sort of converse: we show that, in the special case of a single 1D boundary, if the input data consists of a list of entropies of contiguous boundary regions, and if the entropies satisfy a single inequality called Strong Subadditivity, then we can construct a graph model for the bulk in linear time. Moreover, the bulk graph is planar, it has $O(N^2)$ vertices (the information-theoretic minimum), and it's ``universal,'' with only the edge weights depending on the specific entropies in question. From a combinatorial perspective, our problem boils down to an ``inverse'' of the famous min-cut problem: rather than being given a graph and asked to find a min-cut, here we're given the values of min-cuts separating various sets of vertices, and need to find a weighted undirected graph consistent with those values. Our solution to this problem relies on the notion of a ``bulkless'' graph, which might be of independent interest for AdS/CFT. We also make initial progress on the case of multiple 1D boundaries -- where the boundaries could be connected via wormholes -- including an upper bound of $O(N^4)$ vertices whenever a planar bulk graph exists (thus putting the problem into the complexity class $\mathsf{NP}$).

quant-ph↗

arXiv2022

An Entropic Lens on Stabilizer States

The $n$-qubit stabilizer states are those left invariant by a $2^n$-element subset of the Pauli group. The Clifford group is the group of unitaries which take stabilizer states to stabilizer states; a physically--motivated generating set, the Hadamard, phase, and CNOT gates which comprise the Clifford gates, imposes a graph structure on the set of stabilizers. We explicitly construct these structures, the "reachability graphs," at $n\le5$. When we consider only a subset of the Clifford gates, the reachability graphs separate into multiple, often complicated, connected components. Seeking an understanding of the entropic structure of the stabilizer states, which is ultimately built up by CNOT gate applications on two qubits, we are motivated to consider the restricted subgraphs built from the Hadamard and CNOT gates acting on only two of the $n$ qubits. We show how the two subgraphs already present at two qubits are embedded into more complicated subgraphs at three and four qubits. We argue that no additional types of subgraph appear beyond four qubits, but that the entropic structures within the subgraphs can grow progressively more complicated as the qubit number increases. Starting at four qubits, some of the stabilizer states have entropy vectors which are not allowed by holographic entropy inequalities. We comment on the nature of the transition between holographic and non-holographic states within the stabilizer reachability graphs.

quant-ph↗

arXiv2021

Understanding holographic error correction via unique algebras and atomic examples

We introduce a fully constructive characterisation of holographic quantum error-correcting codes. That is, given a code and an erasure error we give a recipe to explicitly compute the terms in the RT formula. Using this formalism, we employ quantum circuits to construct a number of examples of holographic codes. Our codes have nontrivial holographic properties and are simpler than existing approaches built on tensor networks. Finally, leveraging a connection between correctable and private systems we prove the uniqueness of the algebra satisfying complementary recovery. The material is presented with the goal of accessibility to researchers in quantum information with no prior background in holography.

quant-ph↗

arXiv2021

Hyper-Invariant MERA: Approximate Holographic Error Correction Codes with Power-Law Correlations

We consider a class of holographic tensor networks that are efficiently contractible variational ansatze, manifestly (approximate) quantum error correction codes, and can support power-law correlation functions. In the case when the network consists of a single type of tensor that also acts as an erasure correction code, we show that it cannot be both locally contractible and sustain power-law correlation functions. Motivated by this no-go theorem, and the desirability of local contractibility for an efficient variational ansatz, we provide guidelines for constructing networks consisting of multiple types of tensors that can support power-law correlation. We also provide an explicit construction of one such network, which approximates the holographic HaPPY pentagon code in the limit where variational parameters are taken to be small.

quant-ph↗