SearcharxivSearch

arXiv subjects

Hyunho Cha

Publications and source records attributed to Hyunho Cha.

At least 19 recordsLinked to original sources

Disjoint Bell measurements enable near-projective GHZ certification

Certifying multipartite entangled states is a basic task in quantum information processing, but the achievable copy complexity depends crucially on the measurements available to the verifier. The strongest possible certification measurement for a known pure target state $|\psi\rangle$ is the two-outcome projector $\{|\psi\rangle\langle\psi|,\mathsf{I}-|\psi\rangle\langle\psi|\}$, which is copy-optimal but often experimentally unrealistic or outside the intended measurement model. In this work, we introduce BM-Cert, a single-copy verification protocol for the $n$-qubit Greenberger--Horne--Zeilinger (GHZ) state using only disjoint two-qubit Bell-basis measurements, together with one single-qubit $X$-basis measurement when $n$ is odd. Surprisingly, a simple combinatorial effect yields perfect completeness and a verification spectral gap $\nu_\mathrm{BM}(n)=1-O(1/n)$, so our depth-2 protocol already approaches the ideal projective verification asymptotically as $n$ grows. This contrasts with local Pauli GHZ verification, whose optimal spectral gap remains bounded away from $1$. Thus, allowing only two-qubit entangling measurements on disjoint pairs is enough to achieve asymptotically ideal projective certification. The same Bell-matching outcomes also yield BM-Fid, an unbiased estimator of the GHZ fidelity whose leading Hoeffding coefficient in the sample complexity tends to the ideal value achieved by direct projection. For the open-boundary linear nearest neighbor setting, we further introduce Brick-Cert, a disjoint 2-local certification protocol whose spectral gap $4/5$ is optimal within that restricted architecture.

quant-ph

Counting anticommuting Pauli pairs in linear time

Many quantum computing workflows manipulate long lists of Pauli strings. A basic classical subroutine involves taking $m$ Pauli strings on $n$ qubits, each of weight bounded by a constant, to determine if they are pairwise commuting, identify any counterexamples, or calculate the exact number of anticommuting unordered pairs. The standard general-purpose route represents Pauli strings in binary symplectic form and checks pairs in $O(m^2)$ time. Here, we provide an $O(m)$ algorithm for the bounded locality regime. It maintains counts of all labeled subpatterns of previously inserted strings and answers each new string query by a subset zeta identity. Our algorithm is particularly useful for processing large collections of Pauli strings within the bounded locality regime.

quant-ph

End-to-End Neural and Quantum Transcoding for Compressed Latent Representation under Channel Noise

Recent advancements in quantum computing highlight the need for efficient encoding of classical data into quantum states to ensure robust quantum information processing. Traditional encoding schemes often impose impractical requirements about the knowledge of quantum states and lack adaptability to noisy quantum channels and broader tasks. To address these limitations, we propose a novel end-to-end learnable quantum transcoding scheme explicitly optimized for compactness and robustness in noisy quantum communication scenarios. Our approach integrates neural network-based data compression with Cholesky decomposition-based quantum encoding and bypasses full density matrix reconstruction. Through normalized quantum observables, our method enables efficient tomography and achieves high reconstruction and classification performance even under extreme noise conditions.

quant-ph

Toward the Goldilocks blind compression of quantum states

Quantum autoencoders (QAEs) are learning architectures that compress quantum data into a low-dimensional latent state while preserving the information needed for reconstruction. We study blind single-copy compression of quantum states through a $k$-qubit bottleneck and investigate the minimal circuit width required to attain the information-theoretic optimum under average infidelity. Between the conventional architecture, which is narrow but nonuniversal, and fully general \emph{completely positive and trace preserving} (CPTP) realizations, which are universal but overparameterized, we identify a \emph{Goldilocks} regime. We prove that for every distribution of pure $n$-qubit states, there exists a QAE with exactly $k$ encoder ancillas and $n$ decoder ancillas that achieves the optimal fidelity over all CPTP encoder--decoder pairs. The encoder-side statement is sharp in that we construct source families for which every optimal scheme necessarily uses at least $k$ encoder ancillas, thereby determining the universal encoder threshold exactly. On the decoder side, we show that isometric decoders are exactly optimal for several analytically tractable source families, but we also exhibit an explicit counterexample demonstrating that decoder isometry is not universally sufficient. Nevertheless, numerical experiments indicate that the performance gap is practically negligible.

quant-ph

Online Estimation of Partial Transpose Moments via Fast Classical Updates

Partial-transpose (PT) moments are among the most practically relevant nonlinear quantities accessible from local Pauli classical shadows, because they directly underpin mixed-state entanglement certification and recent PT-moment-based phase diagnostics. The online framework of Marso \emph{et al.} rewrote the exact PT-moment statistic into a fixed-memory recurrence that updates a small collection of accumulated matrices after each new shadow snapshot. Its update cost is independent of the shot number, but each step treats the incoming partially transposed snapshot as a generic dense matrix. Therefore, the arithmetic cost scales cubically with the dimension of the Hilbert space. We show that the same estimator can be updated exactly in subcubic time per shot while retaining the same memory. The key point is that the accumulated matrices become dense, but the fresh partially transposed snapshot still factorizes into local factors. Right-multiplication by that factorized snapshot can therefore be executed by exact column-pair sweeps. For the second PT moment, we further optimize the process by utilizing a Pauli basis update.

quant-ph

Spectral Minimax Direct Fidelity Estimation for Generic Target States

Direct fidelity estimation benefits from tailoring measurements to a fixed target, but the operator-aware shadow importance sampling (OASIS) method optimizes an outcome-wise linear-program surrogate rather than the exact worst-case variance over physical states. We propose an exact spectral replacement for arbitrary target states under the same non-adaptive single-copy measurement model. Specifically, we characterize unbiased linear estimators by a single operator identity, determine the state-wise optimal sampling law for fixed reconstruction coefficients, and convert the exact minimax problem into a semidefinite program. The resulting offline design and online estimator are presented as an algorithm and implemented with local Pauli measurements. Numerical simulations under depolarizing noise demonstrate that our exact spectral optimization outperforms the OASIS surrogate in terms of estimation variance.

quant-ph

Verifying random matrix product states with autoregressive local measurements

Matrix product states (MPS) are a central language for one-dimensional quantum matter and a practical target for near-term quantum simulators and variational algorithms. Yet, while substantial effort has focused on preparing MPS with shallow circuits, scalable methods to \emph{verify} that a many-body device has actually produced the intended state remain underdeveloped. Direct fidelity estimation (DFE) relies only on local Pauli measurements, but in many-body settings it suffers an exponential classical overhead from the preprocessing needed to sample Pauli strings. We eliminate this obstacle by introducing an \emph{autoregressive} importance sampler that draws Pauli strings sequentially from efficiently computable conditional distributions, reducing the per-shot classical overhead to linear scaling in the number of qubits. We further develop a grouped extension that constructs qubit-wise commuting measurement settings via a \emph{sorting string} and simultaneously estimates the entire commuting group from a single setting, significantly reducing estimator variance while preserving efficient postprocessing. Our approach extends naturally to matrix product operators (MPO), enabling scalable verification of tensor-network states and observables in long one-dimensional quantum systems. We utilize random MPS as a natural benchmark for generic 1D entangled states.

quant-ph

Optimal dense materialization of the stabilizer formalism without polynomial overhead

Stabilizer states and Clifford transformations constitute the exactly tractable backbone of quantum information science, from error correction and fault tolerance to benchmarking and simulation. Although these objects admit compact classical descriptions, many physical and computational workflows still require their explicit dense forms such as a full wavefunction for a stabilizer state or a full matrix for a Clifford transformation. In such explicit output tasks, exponential scaling is unavoidable because the outputs themselves have sizes $2^n$ and $4^n$. The fundamental question is therefore whether compact stabilizer and Clifford descriptions can be expanded with no additional polynomial overhead. Here we answer this question affirmatively. We present optimal algorithms that materialize an $n$-qubit stabilizer state vector in $O(2^n)$ time and a full dense Clifford matrix in $O(4^n)$ time. The same framework also yields an optimal conversion from standard stabilizer check matrices to state vectors and, for every fixed odd prime qudit dimension $\ell$, gives $O(\ell^n)$-time materialization of qudit stabilizer states. As an additional compact-to-compact result, we design a sign-aware Four Russians method for converting stabilizer check matrices to quadratic forms faster than Gaussian elimination. These results close the asymptotic gap between compact descriptions of the stabilizer formalism and their dense representations.

quant-ph

One-parameter counterexamples to the refined Bessis-Moussa-Villani conjecture

Positivity of matrix trace exponentials is a basic structural principle behind finite-temperature quantum statistical mechanics. The Bessis-Moussa-Villani conjecture, a central manifestation of this principle, was proved by Stahl after an influential reformulation by Lieb and Seiringer. A later refinement asks whether the normalized average over all words with $n$ letters $A$ and $m$ letters $B$ is always bounded above by $\mathrm{tr}(A^nB^m)$ and below by $\mathrm{tr}\exp(n\log A+m\log B)$. In this work, we study a specific one-parameter family $(A_x, B_x)$ and show that the correct small-$x$ invariant of a word is not its degree of fragmentation, but a weighted shortest-bridge cost on its cyclic run decomposition. Our results yield a class of counterexamples to the suggested refinement. Remarkably, the ratio of the normalized word average to the trace $\mathrm{tr}(A^nB^m)$ can become arbitrarily large.

quant-ph

Exactness of the doubly nonnegative relaxation for qubit-output quantum channels

The resource theory for nonnegativity of quantum amplitudes distinguishes completely positive completely positive (CPCP) quantum channels from the larger class of completely positive doubly nonnegative (CPDNN) quantum channels. Johnston and Sikora showed that all qubit-to-qubit quantum channels that are CPDNN are also CPCP. However, they left open the question of whether a qutrit-to-qubit quantum channel exists that is CPDNN but not CPCP. We prove that no such channel exists and, more generally, that every CPDNN quantum channel with qubit output is CPCP. Thus the doubly nonnegative relaxation is exact for all qubit-output quantum channels. Our argument yields an explicit structural picture in which, after a canonical permutation of the Choi matrix, every qubit-output CPDNN channel is determined by a nonnegative vector and a nonnegative matrix, subject to a single positive-semidefinite block constraint. This gives a complete binary-output normal form, an explicit formula for the action of the channel, and quantitative population-coherence tradeoff inequalities governing the unique output off-diagonal mode. In this sense, qubit output is the nontrivial binary regime in which trace preservation and double nonnegativity collapse the free-channel cone to a fully describable geometry.

quant-ph

Non-existence of stabilizer absolutely maximally entangled states across infinitely many configurations

We prove a general reduction theorem for stabilizer absolutely maximally entangled states in composite local dimension. If a stabilizer $\mathrm{AME}(n,D)$ state exists and $D=\prod_{i=1}^m q_i$ is the prime-power factorization of $D$, then for every nonempty subset of factors there exists a stabilizer $\mathrm{AME}\bigl(n,\prod_{i\in M} q_i\bigr)$ state. Thus any obstruction at a prime-power factor immediately obstructs stabilizer AME states in the composite dimension.

quant-ph

CHSH inequality always holds in bipartite qutrits with spin-1 observables

We resolve a conjecture of Hanotel and Loubenets concerning CHSH inequality in bipartite qutrits. It states that nonseparable pure states of two qutrits do not violate the CHSH inequality when each party is restricted to spin-1 observables. We prove a stronger result that \emph{all} bipartite states on $\mathbb{C}^3 \otimes \mathbb{C}^3$ satisfy the CHSH inequality under spin-1 measurements, regardless of whether the state is pure or mixed.

quant-ph

QFlowNet: Fast, Diverse, and Efficient Unitary Synthesis with Generative Flow Networks

Unitary Synthesis, the decomposition of a unitary matrix into a sequence of quantum gates, is a fundamental challenge in quantum compilation. Prevailing reinforcement learning (RL) approaches are often hampered by sparse reward signals, which necessitate complex reward shaping or long training times, and typically converge to a single policy, lacking solution diversity. In this work, we propose QFlowNet, a novel framework that learns efficiently from sparse signals by pairing a Generative Flow Network (GFlowNet) with Transformers. Our approach addresses two key challenges. First, the GFlowNet framework is fundamentally designed to learn a diverse policy that samples solutions proportional to their reward, overcoming the single-solution limitation of RL while offering faster inference than other generative models like diffusion. Second, the Transformers act as a powerful encoder, capturing the non-local structure of unitary matrices and compressing a high-dimensional state into a dense latent representation for the policy network. Our agent achieves an overall success rate of 99.7% on a 3-qubit benchmark(lengths 1-12) and discovers a diverse set of compact circuits, establishing QFlowNet as an efficient and diverse paradigm for unitary synthesis.

quant-ph

A dimension-independent strict submultiplicativity for the transposition map in diamond norm

We prove that there exists an absolute constant $\alpha<1$ such that for every finite dimension $d$ and every quantum channel $T$ on $\mathsf{L}(\mathbb{C}^d)$, $\left\|\Theta\circ(\mathrm{id}-T)\right\|_\diamond \le \alpha\,\left\|\Theta\right\|_\diamond\,\left\|\mathrm{id}-T\right\|_\diamond$, where $\Theta$ is the transposition map. In fact we show the explicit choice $\alpha=1/\sqrt{2}$ works.

quant-ph

Operator-aware shadow importance sampling for accurate fidelity estimation

Estimating the fidelity between an unknown quantum state and a fixed target is a fundamental task in quantum information science. Direct fidelity estimation (DFE) enables this without full tomography by sampling observables according to a target-dependent distribution. However, existing approaches face notable trade-offs. Grouping-based DFE achieves strong accuracy for small systems but suffers from exponential scaling, and its applicability is restricted to Pauli measurements. In contrast, classical-shadow-based DFE offers scalability but yields lower accuracy on structured states. In this work, we address these limitations by developing two classes of operator-aware shadow importance sampling algorithms using informationally overcomplete positive operator-valued measures. Instantiated with local Pauli measurements, our algorithm improves upon the grouping-based algorithms for Haar-random states. For structured states such as the GHZ and W states, our algorithm also eliminates the exponential memory requirements of previous grouping-based methods. Numerical experiments confirm that our methods achieve state-of-the-art performance across Haar-random, GHZ, and W targets.

quant-ph

Re-uploading quantum data: a universal function approximator for quantum inputs

Quantum data re-uploading has proved powerful for classical inputs, where repeatedly encoding features into a small circuit yields universal function approximation. Extending this idea to quantum inputs remains underexplored, as the information contained in a quantum state is not directly accessible in classical form. We propose and analyze a quantum data re-uploading architecture in which a qubit interacts sequentially with fresh copies of an arbitrary input state. The circuit can approximate any bounded continuous function using only one ancilla qubit and single-qubit measurements. By alternating entangling unitaries with mid-circuit resets of the input register, the architecture realizes a discrete cascade of completely positive and trace-preserving maps, analogous to collision models in open quantum system dynamics. Our framework provides a qubit-efficient and expressive approach to designing quantum machine learning models that operate directly on quantum data.

quant-ph

Scalable bayesian shadow tomography for quantum property estimation with set transformers

A scalable Bayesian machine learning framework is introduced for estimating scalar properties of an unknown quantum state from measurement data, which bypasses full density matrix reconstruction. This work is the first to integrate the classical shadows protocol with a permutation-invariant set transformer architecture, enabling the approach to predict and correct bias in existing estimators to approximate the true Bayesian posterior mean. Measurement outcomes are encoded as fixed-dimensional feature vectors, and the network outputs a residual correction to a baseline estimator. Scalability to large quantum systems is ensured by the polynomial dependence of input size on system size and number of measurements. On Greenberger-Horne-Zeilinger state fidelity and second-order R\'enyi entropy estimation tasks -- using random Pauli and random Clifford measurements -- this Bayesian estimator always achieves lower mean squared error than classical shadows alone, with more than a 99\% reduction in the few copy regime.

quant-ph

Structural perspectives from quantum states and measurements in optimal state discrimination

Quantum state discrimination refers to a class of techniques to identify a specific quantum state through a \textit{positive operator-valued measure}. In this work, we investigate how structural information can influence our ability to determine or bound the optimal discrimination probability. First, as background, we note that for single-qubit pure-state ensembles, pairwise fidelities determine the optimal discrimination probability, whereas in higher dimensions they do not in general. As an illustrative application of this observation, we give a closed-form fidelity-based reformulation of the optimal discrimination probability for three equiprobable single-qubit states with equal pairwise fidelities. Secondly, we show that the information of measurement operators that vanish in the optimal solution can be used to refine upper bounds on the optimal discrimination probability, often yielding tighter bounds.

quant-ph