SearcharxivSearch

arXiv subjects

Jeongho Bang

Publications and source records attributed to Jeongho Bang.

At least 19 recordsLinked to original sources

Hayden--Preskill recovery at finite temperature on a quantum processor: dynamics and initial state from the SYK model

In the original Hayden--Preskill recovery, the post-injection scrambler and initial state are {\it not related}. We extend this setup in two ways: by using a SWAP gate so that the scrambler and initial state are {\it related}, and by considering recovery at {\it finite} temperature. For this modified protocol, we show that the information is successfully recovered in the sense that the postselection probability is non-negligible and the conditional fidelity is large. We find that both the postselection probability and the conditional fidelity are proportional to temperature, reflecting the reduced entanglement of the initial state at lower temperatures. We also derive their late-time analytic estimates under the assumption of uniform operator spreading and show that they agree well with the numerical results. This demonstrates that strong scrambling is important for successful information recovery. Implementing the protocol on an IBM superconducting processor using a binary sparse SYK Hamiltonian with $N = 8$ Majoranas, we observe that the data retain the qualitative recovery dynamics and that a SWAP-based error-mitigation scheme improves both the postselection probability and the conditional fidelity.

hep-th

Exact No Signaling in Time without Temporal Classicality

No signaling in time (NSIT) has often been treated as the clean operational remnant of noninvasive measurability. If an earlier measurement leaves every later marginal unchanged, the temporal process appears classical. We show that this inference is false. We introduce common fixed points (CFPs) of nonselective measurement channels as an exact mechanism that erases all marginal evidence of invasiveness while preserving disturbed outcome conditioned branches. For a qutrit ring subject to a local degenerate Luders measurement, we solve the full CFP manifold analytically. Every state on this manifold satisfies exact pairwise NSIT, yet every nontrivial member violates a Leggett Garg inequality, including the maximally mixed state. The violation is governed by finite branch displacement, not by residual signaling. Hidden variable reconstruction, entropic witnesses, protocol landscape scans, noise robustness, and finite shot simulations show that exact NSIT certifies only the disappearance of marginal signals after outcome erasure, not the existence of a classical temporal history.

quant-ph

Hidden Complex Structure in Quotient-Space Real Quantum Mechanics

Barrios Hita et al. [Phys. Rev. Lett. $\bf{136}$, 240202 (2026)] argued that quantum mechanics can be formulated over the real numbers by replacing the tensor-product postulate with a quotient-space construction, and concluded that complex numbers are therefore a matter of convenience. We show that the operational content of this construction is not that of a generic real Hilbert-space theory. Empirical equivalence requires a distinguished real linear operator $J$ with $J^2 = -\mathbb{1}$, and all physical effects, instruments, and dynamics must preserve the corresponding $SO(2)$ gauge. Moreover, the composite-system rule is a balanced tensor product over this hidden complex structure, not the ordinary tensor product over $\mathbb{R}$. In multipartite network scenarios, this changes the meaning of source independence: canonical real representatives are not source-factorizable in the usual tensor-product sense. Thus, the construction is best understood as standard complex quantum mechanics written in real notation, not as an independent real-amplitude theory. This clarifies what is, and is not, excluded by experiments testing the necessity of complex numbers.

quant-ph

Breaking the One-Dimensional Expressibility-Trainability Tradeoff

Expressive parameterized quantum circuits (PQCs) are often designed under a dilemma: the growth of expressibility and entangling power (EP) that improves Hilbert-space coverage is also expected to randomize an ansatz and activate barren-plateau (BP) conditions. We show that this dilemma is not a one-dimensional tradeoff. The usual picture collapses three inequivalent objects -- parameter-ensemble coverage, fixed-circuit entangling response, and local gradient moments -- into one scalar narrative. For a fixed circuit probed by Haar-product inputs, EP is a global two-copy mean of the output-entanglement distribution, whereas entangling-power deviation (EPD) is a global four-copy fluctuation descriptor. Gradient variance, however, is a local two-copy contraction selected by a parameter light cone and a cost observable. This moment hierarchy yields an analytic separation: equal EP need not imply equal trainability, as witnessed by equal-EP circuits with different EPDs and different gradient variances. These separations turn EP and EPD into a two-dial design rule for PQC ansatzes: EP measures how far the circuit has moved along the coverage dial, while EPD monitors whether input-dependent variability remains. We find that ansatz routes can reach high, Haar-like coverage before EPD and gradient variance collapse, showing that coverage and BP activation are distinct crossover events. The EP/EPD framework thus breaks the apparent one-dimensional expressibility-trainability tradeoff into a practical design rule: search for highly expressive PQCs in the window where coverage is high but BP-like homogenization has not yet erased trainable structure.

quant-ph

No Reference-Free Generalization in Quantum Machine Learning

Quantum machine learning is often motivated by the exponentially large state space of quantum systems, but this promise leaves a basic generalization problem unresolved: how can a learner assign different meanings to unseen quantum directions when the training data provide no preferred basis, measurement frame, or other orienting structure? We address this identifiability problem by formulating supervised learning without an external quantum reference frame, so that predictions cannot depend on an arbitrary choice of Hilbert-space coordinates. This requirement forces the learned classifier to preserve every unitary symmetry left unbroken by the training data. We prove that whenever the training states fail to span the full Hilbert space, all pure states orthogonal to their span must receive the same prediction -- even when those states are mutually orthogonal and perfectly distinguishable once an appropriate measurement is supplied. The limitation is therefore not caused by state discrimination, optimization, or computational power, but by missing reference information. We further establish a robust version under weak symmetry breaking and show that learning generic unstructured concepts on multiqubit systems requires exponentially many independently oriented training directions. Numerical illustrations visualize the resulting prediction collapse and its controlled relaxation. Our results identify feature maps, measurement bases, Hamiltonians, locality, symmetry priors, architectures, and sufficiently diverse training states as operational resources for generalization. The central implication is that Hilbert-space dimension alone is not a learnable feature space: successful QML must specify the physical structure that gives unseen quantum directions semantic meaning.

quant-ph

First-Quantized Relativistic Quantum Simulation with Periodic and Dirichlet Boundary Conditions

In this work, we present a methodology for first-quantized relativistic quantum simulation on one-dimensional finite domains under the two boundary conditions most commonly used in lattice models: periodic boundary conditions (PBC) and Dirichlet boundary conditions (DBC). Starting from the positive-energy relativistic kinetic operator, we construct weakly relativistic lattice Hamiltonians whose leading correction requires the boundary-consistent discretized momentum moments $\langle \hat{P}^{2}\rangle$ and $\langle \hat{P}^{4}\rangle$. These moments are reconstructed in the PBC Hamiltonian from moments of a unitary cyclic translation while the DBC Hamiltonian uses the open-chain finite-difference. In a qubit-register implementation, it can be evaluated as the corresponding cyclic translation estimator plus boundary-local terms that remove the unphysical wrap-around link. The resulting energy-estimation workflow uses translation measurements for the kinetic terms, a small number of endpoints and near-endpoints overlap probabilities for DBC, and position-basis sampling for diagonal potentials. We valdate the framework of the relativistic quantum simulation in various benchmark potentials such as no potential and a cosine potential for PBC as well as an infinite square well and a harmonic potential for DBC, with finite-shot sampling tests. These benchmarks show good agreement between the estimator reconstruction and direct matrix evaluation while separating the finite-grid discretization, weak-relativistic truncation, and measurement errors.

quant-ph

Quantum Occam Learning: Sample-Supported Expressibility for Circuit-Based Quantum Learning

A central principle in quantum machine learning is that an ansatz should be expressive enough to represent the quantum data of interest. Yet, the expressibility is statistically meaningful only insofar as it can be learned from finitely many copies of an unknown quantum state. In this work, we develop an information-theoretic Occam theory for quantum data generated by finite-size quantum circuits. For the class $S_{n,G}$ of $n$-qubit pure states preparable with at most $G$ two-qubit gates, a metric-entropy argument gives the realizable sample law $\widetilde{\Theta}(G/\epsilon^2)$ in the circuit-limited regime. For an arbitrary source $\hat{\rho}$, we introduce the best $G$-gate approximation error $d_G(\hat{\rho})$ and the approximate circuit complexity $C_\eta(\hat{\rho})$. We prove an agnostic quantum Occam theorem: with $M$ copies, one can learn up to the best $G$-gate approximation error plus a statistical penalty $\widetilde{O}(\sqrt{G/M})$. We then remove the need to know $G$ in advance through an adaptive model-selection theorem whose oracle inequality selects the circuit complexity justified by the data. Matching lower bounds yield a sample-supported expressibility law: at trace-distance accuracy $\epsilon$, $M$ samples can support only $G_{\rm supported} \simeq M\epsilon^2$ gates, up to logarithmic factors and tomography saturation at $2^n$. Thus, the circuit complexity becomes an adaptive statistical resource rather than a static promise. Our framework turns bounded circuit complexity into a model-selection principle for quantum machine learning.

quant-ph

Learning with Active Quantum Subspaces: Scalable Hybrid Advantage without Full Quantum Data-Encoding

We study whether quantum learning advantage can persist without fully embedding a large classical input into a highly superposed quantum state. To address this question, we introduce active quantum subspace data-encoding, in which only an information-bearing subset of the input is lifted to a quantum representation while the remaining variables stay classical. For this model, we define a projected hybrid readout and prove three structural results. First, the projected hybrid kernel is positive semidefinite and its sample regularized dimension is bounded by the number of projected observables, so the dimension blow-up of naive global kernels is avoided. Second, we give a necessary and sufficient criterion for improvement over a purely classical predictor in squared loss: the projected quantum sector must contain a direction that lies outside the classical feature span and correlates with the classical residual. Third, in a realizable noisy-oracle setting, we derive a PAC sample-complexity bound proportional to the inverse square of the oracle reliability. We then show, for a canonical Clifford active-subspace family under local dephasing noise, that this reliability can remain inverse-polynomial even when the encoding gate complexity grows polynomially with system size. Hence, the polynomial encoding cost does not by itself destroy the hybrid learning advantage. A sixty-four-qubit family and a synthetic contextual classification task illustrate how one projected quantum feature can compress a useful high-order interaction into a low-dimensional hybrid model. Our results generalize QRAM-free hybrid learning and provide a scalable route toward NISQ-compatible quantum advantage without full quantum data-encoding.

quant-ph

Causal Fisher-Information Inequalities: Classical Causal Model Falsification and Metrological Advantage

Fisher-information inequalities have recently been used as operational witnesses of nonclassical metrological behavior, but their physical meaning is often tied to a particular narrative, such as, segmented dynamics or discrete trajectories. We show that a broader interpretation is available and, in fact, more natural: once an experiment is assumed to admit a classical causal model specified by a directed acyclic graph, conditional independences, and modular parameter dependence, the corresponding Fisher informations are forced to obey causal Fisher-information inequalities (CFIIs). The backbone result is a causal-path series law: for an additive causal parameter that propagates through a classical path $A \to C \to B$, the inverse Fisher information behaves as an information resistance and must add in series. Consequently, any CFII violation is a rigorous falsification of the entire classical causal model class. We then show that the violation is automatically a metrological resource certificate, because it implies a precision that no member of the classical causal class can attain. The gain mechanism is identified as Fisher-information synergy, i.e. off-diagonal score correlations that classical modularity forbids. A single-qubit coherent-rotation example demonstrates the deterministic CFII violation, estimator-level achievability of the resulting gain, robustness against split-optimized classical benchmarks, and a chain-amplified advantage in long causal decompositions. Finally, an AI-assisted adversarial finite-data stress test shows that the witness remains certifiable under the realistic visibility loss and readout error, while optimized modular classical causal models saturate but do not cross the CFII frontier.

quant-ph

Neural Information Causality

Query-separated computation forces a representation to play an operational role: data are encoded before a query is known, and a later decoder can answer only through the intermediate interface. In this regime the representation functions as a message rather than merely as a feature map. We formalize this observation by embedding information causality (IC) into representation learning, obtaining a framework called neural information causality (Neural-IC). The revised formulation separates two logically distinct statements. First, every query-separated architecture induces a random-access communication experiment and obeys the embedding inequality $I_{\mathrm{N\text{-}RAC}}\le I(\vec a:H,B)$. Second, any independently certified physical capacity bound on the interface, such as a hard $m$-bit alphabet, a finite-precision register, or a power-constrained noisy channel, implies $I_{\mathrm{N\text{-}RAC}}\le C_H$. This separation avoids treating capacity as a post hoc definition and makes Neural-IC an operational diagnostic for query leakage, precision leakage, and episode-specific memory. We also provide an exact one-bit classical RAC benchmark, showing explicitly that the relevant quantum enhancement is not total information beyond the bottleneck, but fair query-conditioned access. For CHSH-type correlation layers, nested Neural-RAC protocols multiply correlation biases across depth; requiring stability of a one-bit bottleneck for arbitrary depth selects the Tsirelson threshold. We extend the analysis to asymmetric seed biases, to multi-capacity finite-depth phase diagrams, and to correlated data via a conditional information score. Controlled simulations, including straight-through binary bottlenecks and deliberately leaky ablations, verify that apparent violations are accounted for by broken query separation or undercounted capacity.

quant-ph

Finite Imaginary-Time Evolution for Polynomial Unconstrained Binary Optimization

Imaginary-time evolution is a standard primitive for ground-state preparation but is nonunitary, precluding direct quantum implementation. We develop Finite Imaginary-Time Evolution (FinITE), a finite-beta construction for diagonal Pauli-Z cost Hamiltonians arising from polynomial unconstrained binary optimization (PUBO) instances, including QUBO and HUBO cases. FinITE uses the linear-combination-of-unitaries (LCU) framework to implement a scaled imaginary-time propagator. The commuting Pauli-Z structure makes termwise block-encodings compose without product-formula error, and higher-order Pauli-Z terms are handled directly without quadratization. The structure yields an exact finite-beta identity between the LCU success probability and the ground-subspace fidelity. Combined with a gap-based fidelity lower bound, the identity yields a closed-form sufficient imaginary-time threshold beta-star for a chosen target fidelity. The threshold depends on estimates of the spectral gap and the initial ground-subspace overlap. Because the LCU success event is flagged by a known ancilla outcome, we integrate fixed-point amplitude amplification with an explicit query-complexity bound. Statevector simulations verify the identity on a five-vertex MaxCut (QUBO) and an eight-qubit cubic HUBO instance, and shot-based simulations on the MaxCut instance illustrate the predicted finite-beta threshold and amplification procedure.

quant-ph

Universality cost of non-Gaussian enhancement in continuous-variable quantum teleportation: A fidelity--deviation trade-off

Continuous-variable (CV) quantum teleportation is usually benchmarked by average fidelity, but when the teleportation is repeatedly used within optical networks or measurement-based architectures, uniformity across the input ensemble becomes equally important. We analyze this issue using two complementary figures of merit: the average fidelity and the fidelity deviation, which quantifies the input dependence of the single-shot teleportation fidelity. We prove that any deterministic unity-gain teleportation channel that is displacement covariant has vanishing fidelity deviation for coherent-state benchmarking, irrespective of whether the shared entangled resource is Gaussian or non-Gaussian. Nonzero deviation therefore diagnoses covariance breaking rather than non-Gaussianity. We then show that when a protocol raises the average fidelity through input-selective conditioning, the deviation generically increases in tandem, giving a quantitative universality cost. As a concrete example, we study teleportation enhanced by the so-called measurement-based noiseless linear amplification, where a heralded filter acts on the Bell-measurement record. The resulting trade-off among average fidelity, fidelity deviation, and success probability shows that stronger filtering can improve the conditional fidelity only by concentrating the successful events in favored regions of phase space, thereby suppressing the success probability and reducing input uniformity. Our results provide an operational framework for distinguishing genuine channel improvement from selectivity-driven post-selected advantage and suggest that the probabilistic CV teleportation should be assessed with average quality, universality, and heralding rate treated on an equal footing.

quant-ph

Single-shot measurement learning as a self-certifying estimator for quantum-enhanced sensing

Single-shot measurement learning (SSML) learns a compensation unitary from a one-bit success/failure record and halts after a prescribed run of consecutive successes. We recast SSML as an adaptive estimator on a parameterized sensing manifold and ask what role it can play in quantum-enhanced sensing. First, we show that the terminal run itself furnishes an intrinsic certificate of local alignment: longer terminal runs certify smaller infidelity, and near the optimum this becomes a Fisher-calibrated certificate of parameter error. Second, for compensation-type sensing families, the Bernoulli success/failure record is locally matched to the probe quantum Fisher information (QFI), so SSML preserves the probe's metrological content despite using only one classical bit per copy. In this sense, SSML makes the quantum enhancement carried by the probe operationally available in an online self-terminating protocol. Applied to GHZ/NOON probes of depth $m$, SSML retains the familiar square-root entanglement gain over product probes at fixed total resource, while an ideal multiscale architecture remains compatible with Heisenberg scaling. Monte Carlo simulations of photonic NOON-state phase sensing show the expected near-inverse decay of terminal infidelity with entangled shots, SQL-like total-resource scaling at fixed entanglement depth, the corresponding fixed-resource entanglement gain, the global limitation of a single fringe scale, and the recovery of Heisenberg-compatible behavior under ideal multiscale hand-off. These results identify SSML as a Fisher-preserving, self-certifying estimator layer for quantum-enhanced sensing.

quant-ph

Sharpening Worst-Case Error Assessment for Fault-Tolerant Quantum Computing: Fidelity and Its Deviation

Gate fidelity -- an average fidelity over all possible input states -- is the workhorse metric for benchmarking quantum gates or circuits, yet fault-tolerant quantum computing ultimately depends on the worst-case behavior, typically quantifiable by so-called the diamond distance. In the low-error regime, the coherent errors can inflate the worst-case error even when the reported gate fidelity is high, making the gate fidelity alone an unreliable proxy for fault-tolerance readiness. To capture the missing information, we introduce a companion observable -- what we dub the fidelity deviation -- that quantifies how strongly the state-dependent fidelities fluctuate across input states. Adopting such fluctuations in assessing the fault-tolerance is physically natural because some input directions are nearly unaffected while others form narrow "valleys" that dominate adversarial circuit behavior. For coherent (unitary) gate errors on two or more qubits, we show that the gate fidelity together with the fidelity deviation constrains the relevant spectral moments of the error unitary, enabling an explicit and tight certificate of the worst-case error. Both quantities are estimated directly from the same randomized input-measurement experiment, without full process tomography. We show that the fidelity and its deviation can provide an economical, operationally meaningful, and accurate standard for assessing the fault tolerance of the engineered quantum gates and circuits.

quant-ph

Physics-Aware Learnability: From Set-Theoretic Independence to Operational Constraints

Beyond binary classification, learnability can become a logically fragile notion: in EMX, even the class of all finite subsets of $[0,1]$ is learnable in some models of ZFC and not in others. We argue the paradox is operational. The standard definitions quantify over arbitrary set-theoretic learners that implicitly assume non-operational resources (infinite precision, unphysical data access, and non-representable outputs). We introduce physics-aware learnability (PL), which defines the learnability relative to an explicit access model -- a family of admissible physical protocols. Finite-precision coarse-graining reduces continuum EMX to a countable problem, via an exact pushforward/pullback reduction that preserves the EMX objective, making the independence example provably learnable with explicit $(\epsilon,\delta)$ sample complexity. For quantum data, admissible learners are exactly POVMs on $d$ copies, turning sample size into copy complexity and yielding Helstrom(-type) lower bounds. For finite no-signaling and quantum models, PL feasibility becomes linear or semidefinite and is therefore decidable.

cs.LG

A rigorous hybridization of variational quantum eigensolver with classical neural network

Combining variational quantum process with classical neural learning offers a flexible route to improve ground-state estimation. We establish an integrated framework that connects neural transformations, measurement statistics, and guarantees physical stability through three requirements: self-contained training, polynomial resource scaling, and variational consistency. Its constructive realization, termed \emph{unitary variational quantum-neural hybrid eigensolver}~(U-VQNHE), couples a variational quantum circuit to a neural phase function through norm-preserving post-processing. The learned transformation is evaluated from measurement records, preserves the exact variational bound, and admits range-independent concentration guarantees for independent finite-shot evaluations. Complementing this construction, we characterize the statistical and representational constraints of amplitude reweighting: sampled-support mismatch can destabilize empirical normalization, while exact distribution matching can require exponentially large dynamic range for Haar-random targets and structured ansatz--target pairs under specified near-tensorizability and mismatch conditions. Finite-shot simulations on Ising and disordered XYZ spin models demonstrate improved energy accuracy over the underlying variational quantum eigensolver and greater robustness than the amplitude-reweighting baselines. Together, these results provide a principled foundation for quantum--neural eigensolvers in which physical consistency, expressive capacity, and measurement cost are treated as a single design problem.

quant-ph

Run-length certificates in quantum learning: sample complexity and noise thresholds

Quantum learning from state samples is often benchmarked in a fixed-budget paradigm, relating error to a prescribed number of copies. We instead adopt a stopping-time viewpoint: in minimal-feedback learning, the learning completion can be defined by an online run-length certificate extracted from a one-bit-per-copy record. As an instantiation, we analyze single-shot measurement learning (SSML), introduced in [Phys. Rev. A 98, 052302 (2018)] and [Phys. Rev. Lett. 126, 170504 (2021)], which tunes a unitary and halts after $M_H$ consecutive successes. Viewing the halting as a sequential certification linking the observed counter to infidelity, we derive sample-complexity bounds that separate search (driving success probability toward unity) from certification (run statistics of consecutive successes). The resulting trade-off among $M_H$, dimension $d$, and one-bit reliability clarifies when performance is control-limited versus certificate-limited. With label-flip noise probability $q$, we find a sharp feasibility threshold: once $qM_H \gtrsim 1$, the expected halting time grows exponentially, making the learning completion impractical even under ideal control. More broadly, this shows that under severely constrained feedback, the certification can dominate sample complexity and small label noise becomes the information bottleneck. Finally, the near-optimal accuracy enabled by run-length certification aligns with the quantum-state-estimation (and equivalently, no-cloning) limits, expressed in the stopping-time terms.

quant-ph

Quantum Interference Needs Convention: Overlap-Determinability and Unified No-Superposition Principle

Quantum superposition is often phrased as the ability to add state vectors. In practice, however, the physical quantity is a ray (a rank-one projector), so each input specifies only a projector and leaves a gauge freedom in the phases of its vector representatives. This becomes a real operational barrier when one asks for a device that, given two independently prepared unknown pure states, outputs a coherent state proportional to a prescribed linear combination. We identify the missing ingredient as not probabilistic but phase-like. One needs a physical scenario that fixes a single phase convention on the relevant set of rays, so that the overlaps become well defined complex numbers. Thus, we formalize this through phase conventions and a single notion -- dubbed as "overlap-determinability." Our main theorem gives an exact equivalence: A nonzero completely positive trace-nonincreasing map that probabilistically produces superposition on a domain exists if and only if that domain is overlap-determinable. This unifies modern no-superposition results and characterizes the exceptional yes-go protocols, which succeed precisely when side information supplies the required missing resource. We then show that granting universal access to such convention-fixed overlaps destabilizes the familiar foundational and computational constraints. It enables forbidden transformations akin to quantum cloning and yields super-luminal signaling. It would also permit reflections about unknown states, leading to exponentially fast overlap amplification and a collapse of Grover's search lower bound to a logarithmic query complexity.

quant-ph