arXiv subjects

Seokho Jeong

Publications and source records attributed to Seokho Jeong.

10 recordsLinked to original sources

arXiv2026

ResidualAuth: What Authorization State Must Language Agents Preserve under Revocable Delegation?

Tool-using language agents can delegate and revoke permissions while acting through external services. We show that two authorization histories can have identical current permissions and identical all-pairs reachability yet require opposite decisions after the same direct-edge revocation. We formalize the information needed to preserve such distinctions as a residual authorization state. We prove that exponentially many future-distinct states can share one fixed transitive closure, and give exact or tight asymptotic bounds on the state required by an exact monitor as delegation redundancy varies. ResidualAuth compiles these constructions into paired language-agent episodes. Across four open-weight models, a fixed 256-token summary solved 0-2/16 pairs, sham reads solved 0/16, and authenticated current-query reads solved 15-16/16. In a separate held-out online-memory diagnostic, exact ledger serializations fit all 128 four-coordinate pairs at both 768 and 1,024 tokens. At either cap, factually supported model-written memories sufficient for every prespecified continuation solved at most 1/128 pairs per model. A hard gate reduced eight observed unauthorized effects to zero without changing the preceding attempts. These results distinguish required authorization state, usable decision information, online state maintenance, and effect mediation.

cs.AI↗

arXiv2026

Emergent Behavior Is Robust to Communication Delays at the Cost of Slower System Evolution

Previous works have shown that strong coupling among heterogeneous agents enforces practical synchronization, leading to collective behavior governed by emergent dynamics. However, it remains an open question whether emergent behavior persists in the presence of communication delays, as high-gain methods are typically sensitive to delays. To address this problem, we instead slow down the agent dynamics, reproducing the synchronization mechanism of strong coupling on a slow time scale. As a result, the emergence of collective behavior is guaranteed despite arbitrary constant communication delays. This, however, comes at a cost: delays induce a derivative-like term, thereby scaling down the vector field of the emergent dynamics. The amount of the scaling is explicitly characterized as a function of the coupling weights and the delay lengths. We further suggest that this delay-induced slowdown, which is of independent interest, may be a general feature of diffusive coupling under suitable assumptions.

eess.SY↗

arXiv2026

Enhanced Maximum Independent Set Preparation with Rydberg Atoms Guided by the Spectral Gap

Adiabatic quantum computation with Rydberg atoms provides a natural route for solving combinatorial optimization problems such as the maximum independent set (MIS). However, its performance is fundamentally limited by the reduction of the spectral gap with increasing system size and connectivity, which induces population leakage from the ground state during finite-time evolution. Here we introduce the Adjusted Detuning for Ground-Energy Leakage Blockade (ADGLB), a spectral-gap-guided schedule engineering method that modifies the laser detuning profile to suppress leakage without introducing additional Hamiltonian terms or iterative optimization loops. We experimentally benchmark ADGLB on a quasi-one-dimensional chain of $N=10$ atoms, and the MIS preparation probability increases substantially compared with the standard adiabatic schedule. Furthermore, we show that the schedule optimized for smaller instances can be directly applied to larger two-dimensional triangular lattices with $N=25$ and $N=37$. With a small heuristic offset, the method also remains effective for instances with higher hardness parameters. These findings demonstrate that spectral-gap-guided schedule engineering offers a scalable and hardware-efficient strategy for enhancing adiabatic quantum optimization on neutral-atom platforms.

quant-ph↗

arXiv2025

Quantum-Enhanced Simulated Annealing Using Rydberg Atoms

Quantum-classical hybrid algorithms offer a promising strategy for tackling computationally challenging problems, such as the maximum independent set (MIS) problem that plays a crucial role in areas like network design and data analysis. This study experimentally demonstrates that a Rydberg quantum-classical hybrid algorithm, termed as quantum-enhanced simulated annealing (QESA), provides a computational time advantage over standalone simulated annealing (SA), a classical heuristic optimization method. The performance of QESA is evaluated based on the approximation ratio and the Hamming distance, relative to the graph size. The analysis shows that QESA outperforms standalone SA by leveraging a warm-start input derived from two types of Rydberg atomic array experimental data: quench evolution (QE) (implemented on the Quera Aquila machine) and adiabatic quantum computing (AQC) (using the experimental dataset archieved in K. Kim et al., Scientific Data 11, 111 (2024). Based on these results, an estimate is provided for the maximum graph size that can be handled within a one-day computational time limit on a standard personal computer. These findings suggest that QESA has the potential to offer a computational advantage over classical methods for solving complex optimization problems efficiently.

quant-ph↗

arXiv2024

Fast and reliable atom transport by optical tweezers

Movable single atoms have drawn significant attention for their potentials as flying quantum memory in non-local, dynamic quantum computing architectures. However, when dynamic optical tweezers are employed to control atoms opto-mechanically, conventional methods such as adiabatic controls and constant jerk controls are either inherently slow or induce mechanical heating, leading to atom loss over long distances or at high speeds. To address these challenges, we explore the method known as shortcuts to adiabaticity (STA) as an efficient alternative for fast and reliable atom transport control. We present a series of proof-of-concept experiments demonstrating that STA-based optical tweezer trajectories can achieve both rapid and reliable single-atom transport. These experiments include moving atoms between two locations, adjusting speeds en route, and navigating curved trajectories. Our results indicate that atoms can be transported with a constant acceleration on average over distances that is only limited by trap lifetime, while effectively suppressing vibrational heating. This makes STA methods particularly well-suited for long-distance atom transport, potentially spanning distances over centimeter scales, such as between quantum information devices.

quant-ph↗

arXiv2024

Programming higher-order interactions of Rydberg atoms

Higher-order interactions in spin-based Hamiltonians are crucial in addressing numerous fundamentally significant physical problems. In this work, Rydberg-atom graph gadgets are introduced to effectively program $K$-th order interactions within a Rydberg atom system. This approach facilitates the determination of the ground states of an Ising-type Hamiltonian, encoded to solve higher-order unconstrained optimization problems. A favorable scaling behavior, $O(N^K)$, is expected in terms of the number of atoms required for $N$-vertex hypergraph optimization problems.

quant-ph↗

arXiv2023

A Rydberg-atom approach to the integer factorization problem

The task of factoring integers poses a significant challenge in modern cryptography, and quantum computing holds the potential to efficiently address this problem compared to classical algorithms. Thus, it is crucial to develop quantum computing algorithms to address this problem. This study introduces a quantum approach that utilizes Rydberg atoms to tackle the factorization problem. Experimental demonstrations are conducted for the factorization of small composite numbers such as $6 = 2 \times 3$, $15 = 3 \times 5$, and $35 = 5 \times 7$. This approach involves employing Rydberg-atom graphs to algorithmically program binary multiplication tables, yielding many-body ground states that represent superpositions of factoring solutions. Subsequently, these states are probed using quantum adiabatic computing. Limitations of this method are discussed, specifically addressing the scalability of current Rydberg quantum computing for the intricate computational problem.

quant-ph↗

arXiv2023

Rydberg-atom graphs for quadratic unconstrained binary optimization problems

There is a growing interest in harnessing the potential of the Rydberg-atom system to address complex combinatorial optimization challenges. Here we present an experimental demonstration of how the quadratic unconstrained binary optimization (QUBO) problem can be effectively addressed using Rydberg-atom graphs. The Rydberg-atom graphs are configurations of neutral atoms organized into mathematical graphs, facilitated by programmable optical tweezers, and designed to exhibit many-body ground states that correspond to the maximum independent set (MIS) of their respective graphs. We have developed four elementary Rydberg-atom subgraph components, not only to eliminate the need of local control but also to be robust against interatomic distance errors, while serving as the building blocks sufficient for formulating generic QUBO graphs. To validate the feasibility of our approach, we have conducted a series of Rydberg-atom experiments selected to demonstrate proof-of-concept operations of these building blocks. These experiments illustrate how these components can be used to programmatically encode the QUBO problems to Rydberg-atom graphs and, by measuring their many-body ground states, how their QUBO solutions are determined subsequently.

quant-ph↗

arXiv2023

Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs

Finding a quantum computing method to solve nondeterministic polynomial time (NP)-complete problems is currently of paramount importance in quantum information science. Here an experiment is presented to demonstrate the use of Rydberg atoms to solve (i.e., to program and obtain the solution of) the satisfiability (3-SAT) problem, which is the prototypical NP-complete problem allowing general programming of all NP problems. Boolean expressions of the 3-SAT problem are programmed with the blockade interactions of Rydberg atom graphs and their many-body ground states are experimentally obtained, to determine the satisfiabilities of the given 3-SAT problem instances quantum mechanically.

quant-ph↗

arXiv2022

Rydberg wire gates for universal quantum computation

Rydberg atom arrays offer flexible geometries of strongly-interacting neutral atoms, which are useful for many quantum applications such as quantum simulation and quantum computation. Here we consider a gate-based quantum computing scheme for a Rydberg-atom array. We utilize auxiliary atoms which are used as a quantum wire to mediate controllable interactions among data-qubit atoms. We construct universal quantum gates for the data atoms, by using single-atom addressing operations. Standard one-, two-, and multi-qubit solutions are explicitly obtained as respective sequences of pulsed operations acting on individual data and wire atoms. A detailed resource estimate is provided for an experimental implementation of this scheme in a Rydberg quantum simulator.

quant-ph↗