SearcharxivSearch

arXiv subjects

Jaeha Lee

Publications and source records attributed to Jaeha Lee.

At least 19 recordsLinked to original sources

An AI Scientist that Doesn't Drift: Taste, Structure, and Falsifiable Findings in a Quadruped Navigation Research Loop

Autonomous research loops driven by large language models can run machine-learning experiments at scale but tend to drift toward local refinements of whichever metric they optimise rather than testing the hypotheses that motivate the experiments. We address this structurally and present an AI Scientist for studying generalisation in quadruped robot navigation policies in simulation. Building on the autoresearch paradigm of Karpathy, our loop adds three components: an immutable experiment card that pairs each iteration's prediction with its outcome under a fixed schema, so a falsified hypothesis cannot be retconned; specialised subagents restricted to mechanical roles; and kkanbu, a preference oracle that holds the user's research taste as a typed knowledge graph and is the only component permitted to make subjective judgements. To isolate the oracle we run the identical loop twice across eleven research streams, with and without kkanbu. Neither arm drifts: both falsify roughly three quarters of their own hypotheses, and the best trained policy comes from the oracle-less arm. What the oracle changes is direction, not score: it alone explores test-time adaptation, it authored the winning designs where its arm led, and it carried lessons across streams that the other arm repeatedly re-derived. The scaffold keeps the loop honest; kkanbu decides where it looks.

cs.AI

Local Determinacy of Quantum Master Equations and a Mechanical Interpretation of the Multi-Mode Jaynes-Cummings and Central Spin Models

We propose a novel formulation of master equations for open systems wherein the evolution of a state is determined solely by its local behaviour at any point of time. Specifically, our formulation allows for a local interpretation of the workings of beyond-Markovian dynamics as opposed to the more common conception that non-Markovian state evolution is affected by its cumulative past history. Quite interestingly, local determinacy is found prevalent in quantum dynamics. We illustrate the advantages of our coordinate-free formulation with exact analyses on two physically relevant models.

quant-ph

Dualistic operational characterization of device-dependent correlation sets via convex analysis in the $(2,m,2)$ Bell scenario

We analyze device-dependent correlation sets generated by fixed local dichotomic measurements for two-qubit systems in the $(2,m,2)$ Bell scenario. We consider three fundamental state spaces for the composite system: the separable state space, the standard quantum state space, and the maximal tensor-product state space, which contains beyond-quantum states compatible with local quantum measurements. We formulate the corresponding correlation sets for general fixed dichotomic measurements and, in the traceless case, derive particularly simple explicit formulae for their support and gauge functions. These functions furnish dual operational characterizations of the three correlation sets: the support functions give optimal witnesses for entanglement and beyond-quantum states, whereas the gauge functions quantify the robustness of these detections against depolarizing noise. We further derive convex-hull representations that elucidate the extremal structures of the correlation sets and the physical states realizing them, showing in particular that extremal quantum correlations are realized by maximally entangled states. The fundamental limits of these dual operational tasks are governed solely by the smaller of the numbers of linearly independent measurement directions available to Alice and Bob. When both parties have three linearly independent measurement directions, our entanglement criterion detects Werner states up to the optimal PPT threshold $p_{\mathrm{crit}}=2/3$. For beyond-quantum-state detection, a nontrivial separation from the quantum set occurs only under the same measurement condition; in that case, the same optimal noise threshold is attained for an extremal state in the maximal tensor-product state space.

quant-ph

On the operational and algebraic quantum correlations

We investigate the intrinsic ambiguity in the definition of correlation functions arising from the inevitable invasiveness of quantum measurements. While algebraic correlations defined as expectation values of products of observables are widely used, their relationship to operational ones defined through actual measurement procedures remain unclear. We demonstrate that the differences among various definitions of correlation functions and those among their underlying (quasi-)joint probability distributions are bounded above by a quantitative measure of measurement invasiveness. We further obtain a lower bound on the discrepancy among operational and algebraic (quasi-)joint probability distributions, providing a new form of the uncertainty relation. In addition, we identify an equivalence condition under which operational and algebraic correlations coincide. As an application, we analyze the quantum violation of the Leggett-Garg inequality and clarify the structural origin of the equivalence among different approaches to observing the violation, including sequential projective measurements and weak-measurement. Our results provide an operational foundation for the commonly used algebraic concepts of quantum theory.

quant-ph

Exploring the holographic entropy cone via reinforcement learning

We develop a reinforcement learning algorithm to study the holographic entropy cone. Given a target entropy vector, our algorithm searches for a graph realization whose min-cut entropies match the target vector. If the target vector does not admit such a graph realization, it must lie outside the cone, in which case the algorithm finds a graph whose corresponding entropy vector most nearly approximates the target and allows us to probe the location of the facets. For the $\sf N=3$ cone, we confirm that our algorithm successfully rediscovers monogamy of mutual information beginning with a target vector outside the holographic entropy cone. We then apply the algorithm to the $\sf N=6$ cone, analyzing the 6 "mystery" extreme rays of the subadditivity cone from arXiv:2412.15364 that satisfy all known holographic entropy inequalities yet lacked graph realizations. We found realizations for 3 of them, proving they are genuine extreme rays of the holographic entropy cone, while providing evidence that the remaining 3 are not realizable, implying unknown holographic inequalities exist for $\sf N=6$.

hep-th

Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO

Recent efforts have extended the capabilities of transformers in logical reasoning and symbolic computations. In this work, we investigate their capacity for non-linear latent pattern discovery in the context of functional decomposition, focusing on the challenging algebraic task of multivariate polynomial decomposition. This problem, with widespread applications in science and engineering, is proved to be NP-hard, and demands both precision and insight. Our contributions are threefold: First, we develop a synthetic data generation pipeline providing fine-grained control over problem complexity. Second, we train transformer models via supervised learning and evaluate them across four key dimensions involving scaling behavior and generalizability. Third, we propose Beam Grouped Relative Policy Optimization (BGRPO), a rank-aware reinforcement learning method suitable for hard algebraic problems. Finetuning with BGRPO improves accuracy while reducing beam width by up to half, resulting in approximately 75% lower inference compute. Additionally, our model demonstrates competitive performance in polynomial simplification, outperforming Mathematica in various cases.

cs.LG

Multi-Turn Jailbreaks Are Simpler Than They Seem

While defenses against single-turn jailbreak attacks on Large Language Models (LLMs) have improved significantly, multi-turn jailbreaks remain a persistent vulnerability, often achieving success rates exceeding 70% against models optimized for single-turn protection. This work presents an empirical analysis of automated multi-turn jailbreak attacks across state-of-the-art models including GPT-4, Claude, and Gemini variants, using the StrongREJECT benchmark. Our findings challenge the perceived sophistication of multi-turn attacks: when accounting for the attacker's ability to learn from how models refuse harmful requests, multi-turn jailbreaking approaches are approximately equivalent to simply resampling single-turn attacks multiple times. Moreover, attack success is correlated among similar models, making it easier to jailbreak newly released ones. Additionally, for reasoning models, we find surprisingly that higher reasoning effort often leads to higher attack success rates. Our results have important implications for AI safety evaluation and the design of jailbreak-resistant systems. We release the source code at https://github.com/diogo-cruz/multi_turn_simpler

cs.LG

Beyond Robertson-Schr\"odinger: A General Uncertainty Relation Unveiling Hidden Noncommutative Trade-offs

We report a universal improvement to the standard Robertson--Schr\"odinger uncertainty relation. Our result shows that the Robertson--Schr\"odinger lower bound can be supplemented by a new noncommutativity-induced term. This term represents a previously overlooked quantum contribution and becomes more pronounced as the state becomes more mixed. Moreover, it is expressed as the expectation value of a positive observable, namely the squared modulus of the commutator, and therefore preserves the direct, experimentally accessible character of the Robertson--Schr\"odinger relation. For two-level quantum systems, our relation becomes an \emph{exact equality} for \emph{any} state and \emph{any} pair of observables, thereby ensuring the tightness of the bound in the strongest possible sense. The relation also yields, as a corollary, a complete proof of a general uncertainty bound that had previously been supported only by numerical evidence.

quant-ph

A Necessary and Sufficient Condition for Quantum Realizability of Correlations for Arbitrary Normalized Observables in the Clauser--Horne--Shimony--Holt Setup

We establish a necessary and sufficient condition for the existence of a quantum state that reproduces given correlation values in the Clauser--Horne--Shimony--Holt (CHSH) setup for any fixed normalized observables. This result addresses a fundamental question shared by both local realism and quantum mechanics: under what conditions a given set of observed data can be reproduced by a physical model. While previous studies have mainly addressed conditions for correlations achievable without specifying the measurement settings, our result gives a finer characterization by treating the observables as fixed in advance. The resulting quantum condition strengthens previously known constraints, such as Tsirel'son's inequalities and the Tsirel'son--Landau inequality, by characterizing statistical constraints explicitly for each specified set of observables. In particular, we show that our condition applies to Bell's original scenario and reveals that whether Bell's original inequality is violated depends sensitively on the chosen observables. More broadly, this perspective offers new insights into how quantum violations of local realism depend on the measurement settings.

quant-ph

Angular fractals in thermal QFT

We show that thermal effective field theory controls the long-distance expansion of the partition function of a $d$-dimensional QFT, with an insertion of any finite-order spatial isometry. Consequently, the thermal partition function on a sphere displays a fractal-like structure as a function of angular twist, reminiscent of the behavior of a modular form near the real line. As an example application, we find that for CFTs, the effective free energy of even-spin minus odd-spin operators at high temperature is smaller than the usual free energy by a factor of $1/2^d$. Near certain rational angles, the partition function receives subleading contributions from "Kaluza-Klein vortex defects" in the thermal EFT, which we classify. We illustrate our results with examples in free and holographic theories, and also discuss nonperturbative corrections from worldline instantons.

hep-th

Universal Asymptotics for High Energy CFT Data

Equilibrium finite temperature observables of a CFT can be described by a local effective action for background fields -- a "thermal effective action." This effective action determines the asymptotic density of states of a CFT as a detailed function of dimension and spin. We discuss subleading perturbative and nonperturbative corrections to the density, comparing with free and holographic examples. We furthermore show how to use the thermal effective action on more complicated geometries at special locations called "hot spots." The hot spot idea makes a prediction for a CFT partition function on a higher-dimensional version of a genus-2 Riemann surface, in a particular high temperature limit. By decomposing the partition function into a novel higher-dimensional version of genus-2 conformal blocks (which we compute at large scaling dimension), we extract the asymptotic density of heavy-heavy-heavy OPE coefficients in a higher-dimensional CFT. We also compute asymptotics of thermal 1-point functions using the same techniques.

hep-th

Indistinguishability between quantum randomness and pseudo-randomness under efficiently calculable randomness measures

We present a no-go theorem for the distinguishability between quantum random numbers (i.e., random numbers generated quantum mechanically) and pseudo-random numbers (i.e., random numbers generated algorithmically). The theorem states that one cannot distinguish these two types of random numbers if the quantum random numbers are efficiently classically simulatable and the randomness measure used for the distinction is efficiently computable. We derive this theorem by using the properties of cryptographic pseudo-random number generators, which are believed to exist in the field of cryptography. Our theorem is found to be consistent with the analyses on the actual data of quantum random numbers generated by the IBM Quantum and also those obtained in the Innsbruck experiment for the Bell test, where the degrees of randomness of these two set of quantum random numbers turn out to be essentially indistinguishable from those of the corresponding pseudo-random numbers. Previous observations on the algorithmic randomness of quantum random numbers are also discussed and reinterpreted in terms of our theorems and data analyses.

quant-ph

A Universal Formulation of Uncertainty Relation for Error and Disturbance

We present a universal formulation of uncertainty relation valid for any conceivable quantum measurement and the resultant observation (observer) effect of statistical nature. Owing to its simplicity and operational tangibility, our general relation is also experimentally verifiable. Our relation violates the traditional na{ï}ve bound $\hbar/2$ for the position-momentum measurement while respecting Heisenberg's original philosophy of the uncertainty principle. Our error-disturbance relation admits a parallel formulation to our relation for errors, which also embraces the standard Kennard--Robertson (Schr{ö}dinger) relation as a special case; this attains a unified picture of the three orthodox realms of uncertainty regarding quantum indeterminacy, measurement, and observation effect within a single framework.

quant-ph

Advantages of the Kirkwood-Dirac distribution among general quasi-probabilities for finite-state quantum systems

We investigate features of the quasi-joint-probability distribution for finite-state quantum systems, especially the two-state and three-state quantum systems, comparing different types of quasi-joint-probability distributions based on the general framework of quasi-classicalization. We show from two perspectives that the Kirkwood-Dirac distribution is the quasi-joint-probability distribution that behaves nicely for the finite-state quantum systems. One is the similarity to the genuine probability and the other is the information that we can obtain from the quasi-probability. By introducing the concept of the possible values of observables, we show for the finite-state quantum systems that the Kirkwood-Dirac distribution behaves more similarly to the genuine probability distribution in contrast to most of the other quasi-probabilities including the Wigner function. We also prove that the states of the two-state and three-state quantum systems can be completely distinguished by the Kirkwood-Dirac distribution of only two directions of the spin and point out for the two-state system that the imaginary part of the quasi-probability is essential for the distinguishability of the state.

quant-ph

'Grey Galaxies' as an endpoint of the Kerr-AdS superradiant instability

Kerr-AdS$_{d+1}$ black holes for $d\geq 3$ suffer from classical superradiant instabilities over a range of masses above extremality. We conjecture that these instabilities settle down into Grey Galaxies (GGs) - a new class of coarse-grained solutions to Einstein's equations which we construct in $d=3$. Grey Galaxies are made up of a black hole with critical angular velocity $ω=1$ in the `centre' of $AdS$, surrounded by a large flat disk of thermal bulk gas that revolves around the centre of $AdS$ at the speed of light. The gas carries a finite fraction of the total energy, as its parametrically low energy density and large radius are inversely related. GGs exist at masses that extend all the way down to the unitarity bound. Their thermodynamics is that of a weakly interacting mix of Kerr-AdS black holes and the bulk gas. Their boundary stress tensor is the sum of a smooth `black hole' contribution and a peaked gas contribution that is delta function localized around the equator of the boundary sphere in the large $N$ limit. We also construct another class of solutions with the same charges; `Revolving Black Holes (RBHs)'. RBHs are macroscopically charged $SO(d,2)$ descendants of AdS-Kerr solutions, and consist of $ω=1$ black holes revolving around the centre of $AdS$ at a fixed radial location but in a quantum wave function in the angular directions. RBH solutions are marginally entropically subdominant to GG solutions and do not constitute the endpoint of the superradiant instability. Nonetheless, we argue that supersymmetric versions of these solutions have interesting implications for the spectrum of supersymmetric states in, e.g. ${\cal N}=4$ Yang-Mills theory.

hep-th

A universal formula for the density of states with continuous symmetry

We consider a $d$-dimensional unitary conformal field theory with a compact Lie group global symmetry $G$ and show that, at high temperature $T$ and on a compact Cauchy surface, the probability of a randomly chosen state being in an irreducible unitary representation $R$ of $G$ is proportional to $(\operatorname{dim}R)^2\,\exp[-c_2(R)/(b\, T^{d-1})]$. We use the spurion analysis to derive this formula and relate the constant $b$ to a domain wall tension. We also verify it for free field theories and holographic conformal field theories and compute $b$ in these cases. This generalizes the result in arXiv:2109.03838 that the probability is proportional to $(\operatorname{dim}R)^2$ when $G$ is a finite group. As a by-product of this analysis, we clarify thermodynamical properties of black holes with non-abelian hair in anti-de Sitter space.

hep-th

A Universal Formulation of Uncertainty Relation for Error-Disturbance and Local Representability of Quantum Observables

A universal formulation of the quantum uncertainty regarding quantum indeterminacy, quantum measurement, and its inevitable observer effect is presented with additional focus on the representability of quantum observables over a given state. The operational tangibility of the framework assures that the resultant general relations admit natural operational interpretations and characterisations, and thereby perhaps most importantly, their experimental verifiability. In view of the universal formulation, Heisenberg's original philosophy of the uncertainty principle, most typically exemplified in his famous gamma-ray microscope Gedankenexperiment, is revisited; it is reformulated and restated as a refined no-go theorem, albeit perhaps in a weaker form than was originally intended. The relations entail, in essence as corollaries to their special cases, several previously known relations, including most notably the standard Kennard-Robertson relation, the Arthurs-Kelly-Goodman relations for joint measurement as well as the Ozawa and the Watanabe-Sagawa-Ueda relations for error and error-disturbance.

quant-ph

A Universal Formulation of Uncertainty Relation for Errors under Local Representability

A universal formulation of uncertainty relations for quantum measurements is presented with additional focus on the representability of quantum observables by classical observables over a given state. Owing to the simplicity and operational tangibility of the framework, the resultant general relations admit natural operational interpretations and characterisations, and are thus also experimentally verifiable. In view of the universal formulation, Heisenberg's philosophy of the uncertainty principle is also revisited; it is reformulated and restated as a refined no-go theorem, albeit perhaps in a weaker form than was originally intended. In fact, the relations entail, in essence as corollaries to their special cases, several previously known relations, including most notably the Arthurs-Kelly-Goodman, Ozawa, and Watanabe-Sagawa-Ueda relations for quantum measurements. The Schr{ö}dinger relation (hence the standard Kennard-Robertson relation as its trivial corollary as well) is also shown to be a special case when the measurement is non-informative.

quant-ph