arXiv ScienceSearch

arXiv subjects

Boning Li

Publications and source records attributed to Boning Li.

At least 19 recordsLinked to original sources

GPU-CFR: 80x Faster Counterfactual Regret Minimization by Compiling the Game to Static Dataflow and CUDA Graph Replay

Counterfactual regret minimization (CFR) is one of the few large numerical workloads that still runs faster on CPUs than on GPUs. Each iteration sweeps a game tree with up to billions of states in millions of small, interdependent gather and scatter steps issued through a generic tree interface. On a GPU every kernel finishes in microseconds, so kernel launches and framework dispatch dominate the run time, and prior GPU implementations have lost to optimized CPU code. We observe that for a fixed game, everything about a CFR iteration except the numerical values is known before the first iteration runs. We propose GPU-CFR, a compiler and runtime built on this observation. It compiles any game once into static dataflow: flat edge and information-set arrays, precomputed indices, and depth-level batched passes fix the entire operation sequence, and only solver state changes between iterations. Static chance folding, depth-level execution blocks, and a dual-lane reach buffer cut the number of framework operations by up to 18.1x. Because shapes, indices, and buffer addresses never change, CUDA Graph Replay records the iteration once and replays it with a single graph launch. On one A100, across an eight-game suite that spans card games, dice games, and board games, GPU-CFR runs 29.8--80.4x faster than the fastest prior GPU CFR on the same accelerator, and 14--258x faster than LiteEFG, one of the fastest open-source CPU implementations, on the four largest games. The compiled representation carries most of that margin: on eight CPU threads with no accelerator it is already 2.2--51.1x faster than the GPU baseline. On the CPU the optimized path reproduces the reference iterates bitwise, and tree construction and graph capture pay for themselves within the first solve. GPU-CFR beats every CPU and GPU baseline on the mid-to-large games of the suite without changing the update rule.

cs.DC

Abstraction Agent

Information abstraction, which groups strategically similar private states into a tractable number of buckets, is essential for scaling game-solving algorithms to large imperfect-information games. Constructing effective abstractions, however, has traditionally required domain-specific evaluators such as hand-strength calculators or equity estimators, which demand expert knowledge and engineering effort and are unavailable for most less-studied games. We propose the Abstraction Agent, a zero-shot pipeline that uses a large language model (LLM) to discover continuous strategic features from a natural-language game description, score private states on these features, and cluster them into abstraction buckets, without any game-specific evaluator, training data, or game-tree traversal during abstraction construction. The pipeline runs in four phases: feature discovery with calibration anchors, batched private-state scoring, correlation-based feature selection, and $k$-means clustering. The resulting abstractions reduce lifted-strategy exploitability by up to 62% relative to an expected-hand-strength baseline on heads-up no-limit Texas hold'em (HUNL) turn endgames, and beat a scalar rank baseline at every granularity on ROVER Trials, an original game absent from any pretraining corpus. Beyond these quantitative benchmarks, the pipeline transfers with unchanged prompts to four-card Pot-Limit Omaha, HUNL preflop and flop, and Riichi Mahjong, where the discovered features track each game's recognized strategic concepts. This is structured knowledge elicitation: converting implicit strategic knowledge in LLM parameters into explicit numerical features for downstream algorithmic computation. The code is available at https://github.com/lbn187/AbstractionAgent.

cs.MA

ICM Out! Better Tournament Strategy from Computed Continuations, vs. Solvers and LLMs

The Independent Chip Model (ICM) converts tournament chips into reference prize equity, and policies are routinely constructed against those values. Because ICM reads only stack sizes, it omits action order, blind obligations, and seat rotation, and it does not price the elimination pressure a big stack puts on the short stacks it can bust. Those omissions can alter the successor-state contrasts that determine a move. We introduce Strategic-Continuation Optimization (SCO), a policy-construction method that enumerates current-hand outcomes, maps them to successor states, prices those states with continuation values computed from the finite tournament model, and optimizes and freezes the resulting current-hand policy. The fixed-ICM comparison policy changes one thing only: the same optimizer solves the same game with successor states priced by analytic ICM, so the two policies differ only through that pricing. We evaluate the resulting policies in a three-player jam/fold tournament with a \$1M prize pool. Relative to the frozen strategic-continuation benchmark, analytic ICM has \$9{,}036 mean absolute value error across all 2,838 state--seat entries. That value error rewrites the ranges it prices: measured against each decision point's own fixed-ICM jam range, SCO moves the jam frequency by an average of 14.08\%. To price those different moves, we compare all 946 states and three policy owners while changing only the focal policy and holding both opponents and the continuation evaluator fixed. The policy produced by SCO earns \$214.33 more prize equity per hand on average and is favored in 2,433 of 2,838 matched units. The ordering survives replacing the solver-built opponent with two LLMs and with a family of non-modeling threshold players. This value-to-policy-to-cost chain shows directly when ICM becomes an inadequate objective for tournament strategy construction.

cs.AI

Solver-Guided Reasoning for Mixed-Equilibrium Strategies

Reasoning in large language models (LLMs) is often grounded in human text, human demonstrations, and human-generated rationales. For equilibrium reasoning in complex games, however, relying on human data can be suboptimal. In fact, human play is often guided by intuition and heuristics and can deviate substantially from game equilibrium. This discrepancy is amplified in games with mixed-strategy equilibria, where human data is heavily biased toward pure strategies. Consequently, conditioning LLMs on this data yields weak game strategies. To grant LLMs the reasoning capacity in games, in this work, we study how to elicit equilibrium play using solver output. We propose Mixed-Strategy Decision Tree (MDT), which articulates the silent optimality of the equilibrium into sparse strategic rules that both humans and LLMs could understand. Using solver output rather than human annotation allows us to extend the input to arbitrarily new states and continuations. We instantiate this study on No-Limit Texas Hold'em by querying a solver oracle for over \textbf{250 million mixed-strategy decisions}; MDT together with other techniques \textbf{reduces the $\ell_1$ distance to the equilibrium by $52.6\%$} across $8$ different LLM configurations. A Route-only ablation tests the incremental contribution of the shadow-based contrast, while complete River-endgame and Liar's Dice experiments evaluate strategic fidelity and portability beyond the original NLH communication setting.

cs.LG

AV-AIVAT: 74x Cheaper Agent Evaluation with Certified Anytime-Valid Stopping in Imperfect-Information Games

Deciding which of two agents is stronger means playing games until skill outweighs luck, and every game costs money, model inference, or expert time. Since the number of games needed is unknown, fixed-budget evaluations either keep paying after the result is settled or stop before the agents can be told apart, while naive optional stopping with an ordinary confidence interval invalidates the stated level. We make such an evaluation stop as soon as its evidence suffices, with the guarantee intact. The Action-Informed Value Assessment Tool (AIVAT) reduces variance in imperfect-information games through conditional mean-zero corrections, by a median $54\times$ across 15 LLM agent configurations spanning 71,439 paired Heads-Up No-Limit Hold'em (HUNL) hands, but does not say when to stop. We combine AIVAT with continuously monitored Confidence Sequences (CSs) into anytime-valid AIVAT (AV-AIVAT), whose online value model learns only from past games so that no game scores its own correction. At the nominal 95\% level and a target precision of $\pm1$ Big Blind, raw outcomes need a median $74\times$ as many hands as AIVAT-corrected outcomes to stop under the Asymptotic CS (AsympCS). Exact finite-sample certification uses the Empirical-Bernstein CS (EB-CS), which needs an independently justified bound on corrected payoffs. We establish such a bound structurally for Leduc hold'em and characterize a width floor set by the CS's bet cap and that bound, which governs how much of a variance gain becomes earlier stopping; the descriptive HUNL EB-CS runs show a median $1.37\times$ stopping-time ratio. AV-AIVAT turns variance reduction into efficient, auditable early stopping while separating asymptotic screening from exact certification, so an evaluation can stop the moment its evidence suffices and hand a third party everything needed to recheck the verdict at that very stopping time.

cs.GT

Agents That Certify Their Own Exploits: Confidence-Scheduled Restricted Responses for Safe Opponent Exploitation

An agent playing a Nash-equilibrium strategy in a two-player zero-sum imperfect-information game secures the game value but forfeits the additional value offered by a flawed opponent. Diffuse deviations pose a particular challenge: binary release rules may gather too little evidence to act, while a full best response to an incomplete opponent model can be highly exploitable. We introduce \emph{budget-constrained confidence-scheduled restricted responses} (CS-RNR), the first opponent-exploitation method whose safety guarantee is a certificate the agent computes on the strategy it actually deploys, so that every exploit it commits to is one it has audited itself. The method tracks pooled action frequencies with anytime-valid confidence sequences and treats a frequency as exploitable only once its interval separates from an equilibrium reference. The confirmed deviations define a conservative opponent model, which a restricted-response solve turns into candidate counter-strategies over a grid of pin levels. Before deployment, each complete candidate is evaluated by a full-tree best response. The resulting certificate is compared with a user-specified budget and committed atomically with the strategy. Because this check is performed on the played strategy, model quality determines the exploitation achieved while the certificate controls reference-relative expected loss. In Leduc hold'em, CS-RNR obtains $6.2\times$ the steady-state gain of a money-verified binary gate while keeping every deployed strategy within budget. A trajectory mixture using the same estimator reaches $13.6\times$ the budget. Across Leduc, Liar's Dice, and 5-rank Leduc, all $36{,}000$ audited hands satisfy the reported certificate tolerance.

cs.GT

Correlated Chance Sampling for Monte Carlo Counterfactual Regret Minimization

Monte Carlo Counterfactual Regret Minimization (MCCFR) repeatedly allocates chance outcomes while its strategy evolves, yet standard sampling draws those outcomes independently on every visit. We introduce Correlated Chance Sampling MCCFR (CCS-MCCFR), a drop-in replacement that assigns each concrete chance node a persistent randomized Weyl stream and maps its phases through the node's chance distribution. Each fixed-index draw has the correct marginal law, while the first $N$ draws consumed during $N$ visits to one concrete node achieve deterministic local frequency error $O(\!\log(N+1)/N)$, compared with the $O(N^{-1/2})$ expected scale of i.i.d. frequencies. We further establish unbiasedness along fixed strategy trajectories, isolate adaptive phase selection through a conditional scalar bound, and show that a per-traversal reset variant retains the standard $O(1/\sqrt{T})$ External Sampling guarantee. In paired experiments, CCS-MCCFR reduces final exploitability by 19.05\% to 34.01\% across Kuhn poker and four Leduc poker configurations, with every paired-bootstrap confidence interval above zero, and by a significant 4.27\% on Goofspiel-4. The gain survives to 3M Leduc node touches and combines with Linear CFR to reach the lowest measured exploitability. The sampler introduces no new hyperparameters and no measurable time overhead, so CCS-MCCFR turns a one-line change to the chance sampler into explicit local guarantees and large exploitability reductions across tabular poker.

cs.GT

PokerSkill: LLMs Can Play Expert-Level Poker without Training or Solvers

Poker is a landmark challenge for artificial intelligence. The dominant approach relies on equilibrium solvers built on counterfactual regret minimization, requiring millions of core-hours of training. Large Language Models (LLMs) possess extensive poker knowledge but perform far below solver-based agents when asked to play directly. Traditional rule-based poker agents are interpretable and training-free, but their strategic ceiling remains far below equilibrium play. We introduce \textbf{PokerSkill}, a training-free and solver-free framework that bridges this gap by using detailed rule-based poker skills as a structured action-grounding interface for LLMs. A deterministic context engine analyzes the current state and retrieves only the relevant fragments from a layered skill library, which is entirely designed by human poker experts, constraining the LLM's choice to reasonable actions. Against GTOWizard, a state-of-the-art GTO benchmark, GPT-5.5 XHigh with PokerSkill achieves $-57 \pm 21$ mbb/hand, Claude Opus 4.6 achieves $-80 \pm 29$ mbb/hand and Claude Opus 4.7 achieves $-87\pm 64$ mbb/hand, reducing losses by 49--61\% compared to default-prompt baselines and outperforming the strong bot Slumbot. Our key finding is that rule-based skills alone do not constitute a strong strategy, and LLMs alone cannot play well, but their combination yields an agent that requires neither training nor solver access yet competes with systems built on millions of core-hours of computation. To our knowledge, this is the first demonstration of an LLM achieving competitive performance in a complex imperfect-information game without game-specific training or solver queries. Code is available at https://github.com/lbn187/PokerSkill.

cs.AI

Real-Time Parallel Counterfactual Regret Minimization

Counterfactual Regret Minimization (CFR) is the dominant algorithmic family for solving large imperfect-information games, underpinning breakthroughs such as Libratus and Pluribus in No-Limit Texas Hold'em poker. In real-time game-playing systems, the solver must compute a near-equilibrium strategy within a strict time budget of only a few seconds per decision, and the number of CFR iterations completed in this window directly determines play strength. We present \textbf{Parallel CFR}, the first parallelization framework for real-time depth-limited CFR solving that seamlessly integrates pruning, abstraction, and advanced CFR variants. We decompose each CFR iteration into a pipeline of seven stages and identify two orthogonal dimensions of parallelism: \emph{by information set} and \emph{by tree node}. Leaf node evaluation is offloaded to GPUs via batched neural network inference, creating a heterogeneous CPU--GPU pipeline. Experiments on Heads-Up No-Limit Texas Hold'em demonstrate that Parallel CFR achieves $3.3$--$3.4\times$ speedup over the single-threaded baseline on postflop streets, with per-iteration time of ${\sim}47$--$54$~ms on a depth-limited game tree with over $1$ billion histories. All experiments run on a single desktop-class device (NVIDIA DGX Spark), enabling hundreds of CFR iterations within a typical real-time decision budget without requiring datacenter-scale infrastructure.

cs.GT

Effective, Efficient, and General Information Abstraction for Imperfect-Information Extensive-Form Games

Information abstraction reduces the computational cost of solving imperfect-information games by clustering information sets into a smaller number of \emph{buckets}. Existing methods either rely on domain-specific features such as rank or equity, which are inapplicable to games with non-standard payoff structures, or require expensive offline neural-network training on billions of samples. We propose \textbf{Warm-up Expected Value-based Abstraction (WEVA)}, a simple yet effective alternative: run a small number of Counterfactual Regret Minimization (CFR) iterations on the full game as a \emph{warm-up} phase, extract per-hand expected value features at every decision node, form a depth-weighted multi-node feature vector, and apply $k$-means++ clustering to obtain the abstraction mapping. WEVA requires no domain knowledge, no pre-training, and incurs only a small overhead on top of the abstract-game solve. Experiments on three structurally diverse games, with different bucket numbers and CFR variants, show that WEVA consistently outperforms equity-based and rank-based abstractions, reducing exploitability by up to over $80\%$. Surprisingly, as few as $W{=}10$ warm-up iterations already produce abstractions that outperform existing information abstraction methods in most settings. These results establish WEVA as an \emph{effective, efficient, and general} approach to information abstraction in imperfect-information extensive-form games.

cs.GT

Enhancing Spin Coherence of Optically-Addressed Molecular Qubit by Nuclear Spin Hyperpolarization

Optically addressable molecular triplet spins provide a chemically tunable platform for quantum application, but their coherence is often limited by interactions with surrounding spin baths. Here we demonstrate controlled suppression of nuclear-bath-induced decoherence in photoexcited triplet spins of pentacene co-crystallized in high-purity naphthalene single crystals. By hyperpolarizing the proton spin bath through triplet dynamic nuclear polarization (triplet-DNP), magnetic noise generated by the nuclear spins is suppressed, leading to an extension of the electron spin transverse coherence time. Experimentally, we observe a 25\% enhancement of the spin-echo decay time with $60\%$ polarization of the proton spin bath. The measured scaling of the spin-echo decay time ($T_2$) with nuclear polarization quantitatively follows the predicted dependence derived from the polarization-controlled nuclear second moment. Both the enhancement and the absolute value of the coherence time are quantitatively reproduced by cluster correlation expansion (CCE) simulations. These results establish nuclear spin hyperpolarization as a general and actively tunable approach to engineering coherence in molecular qubits. This work provides a broadly applicable design framework for high-coherence molecular and solid-state spin systems.

physics.chem-ph

Approaching the Limit in Multiparameter AC Magnetometry with Quantum Control

Simultaneously estimating multiple parameters at the ultimate limit is a central challenge in quantum metrology, often hindered by inherent incompatibilities in optimal estimation strategies. At its most extreme, this incompatibility culminates in a fundamental impossibility when the quantum Fisher information matrix (QFIM) becomes singular, rendering joint estimation unattainable. This is the case for a canonical problem: estimating the amplitude and frequency of an AC magnetic field, where the generators are parallel to each other. Here, we introduce a quantum control protocol that resolves this singularity. Our control protocol strategically engineers the sensor's time evolution so the generators for the two parameters become orthogonal. It not only removes the singularity but also restores the optimal scaling of precision with interrogation time for both parameters simultaneously. We experimentally validate this protocol using a nitrogen-vacancy center in diamond at room temperature, demonstrating the concurrent achievement of the optimal scaling for both parameters under realistic conditions.

quant-ph

Robust AC vector sensing at zero magnetic field with pentacene

Quantum sensors based on electronic spins have emerged as powerful probes of microwave-frequency fields. Among other solid-state platforms, spins in molecular crystals offer a range of advantages, from high spin density to functionalization via chemical tunability. Here, we demonstrate microwave vector magnetometry using the photoexcited spin triplet of deuterated pentacene molecules, operating at zero external magnetic field and room temperature. We achieve full three-dimensional microwave field reconstruction by detecting the Rabi frequencies of anisotropic spin-triplet transitions associated with two crystallographic orientations of pentacene in naphthalene crystals. We further introduce a phase alternated protocol that extends the rotating-frame coherence time by an order of magnitude and enables sensitivities of $1~\mu\mathrm{T}/\sqrt{\mathrm{Hz}}$ with sub-micrometer spatial resolution. These results establish pentacene-based molecular spins as a practical and high-performance platform for microwave quantum sensing, and the control techniques are broadly applicable to other molecular and solid-state spin systems.

cond-mat.mes-hall

Exploring the mechanisms of transverse relaxation of copper(II)-phthalocyanine spin qubits

Molecular spin qubits are promising candidates for quantum technologies, but their performance is limited by decoherence arising from diverse mechanisms. The complexity of the environment makes it challenging to identify the main source of noise and target it for mitigation. Here we present a systematic experimental and theoretical framework for analyzing the mechanisms of transverse relaxation in copper(II) phthalocyanine (CuPc) diluted into diamagnetic phthalocyanine hosts. Using pulsed EPR spectroscopy together with first-principles cluster correlation expansion simulations, we quantitatively separate the contributions from hyperfine-coupled nuclear spins, spin--lattice relaxation, and electron--electron dipolar interactions. Our detailed modeling shows that both strongly and weakly coupled nuclei contribute negligibly to $T_2$, while longitudinal dipolar interactions with electronic spins, through instantaneous and spectral diffusion, constitute the main decoherence channel even at moderate spin densities. This conclusion is validated by direct comparison between simulated spin-echo dynamics and experimental data. By providing a robust modeling and experimental approach, our work identifies favorable values of the electron spin density for quantum applications, and provides a transferable methodology for predicting ensemble coherence times. These insights will guide the design and optimization of molecular spin qubits for scalable quantum devices.

physics.chem-ph

Quantum Sensing of Copper-Phthalocyanine Electron Spins via NV Relaxometry

Molecular spin systems are promising candidates for quantum information processing and nanoscale sensing, yet their characterization at room temperature remains challenging due to fast spin decoherence. In this work, we use $T_1$ relaxometry of shallow nitrogen-vacancy (NV) centers in diamond to probe the electron spin ensemble of a polycrystalline copper phthalocyanine (CuPc) thin film. In addition to unequivocally identifying the NV-CuPc interaction thanks to its hyperfine spectrum, we further extract key parameters of the CuPc spin ensemble, including its correlation time and local lattice orientation, that cannot be measured in bulk electron resonance experiments. The analysis of our experimental results confirms that electron-electron interactions dominate the decoherence dynamics of CuPc at room temperature. Additionally, we demonstrate that the CuPc-enhanced NV relaxometry can serve as a robust method to estimate the NV depth with $\sim1$~nm precision. Our results establish NV centers as powerful probes for molecular spin systems, providing insights into molecular qubits, spin bath engineering, and hybrid quantum materials, and offering a potential pathway toward their applications such as molecular-scale quantum processors and spin-based quantum networks.

quant-ph

Machine Learning Enables Optimization of Diamond for Quantum Applications

Spins in solid-state materials, molecules, and other chemical systems have the potential to impact the fields of quantum sensing, communication, simulation, and computing. In particular, color centers in diamond, such as negatively charged nitrogen vacancy (NV$^-$) and silicon vacancy centers (SiV$^-$), are emerging as quantum platforms poised for transition to commercial devices. A key enabler stems from the semiconductor-like platform that can be tailored at the time of growth. The large growth parameter space makes it challenging to use intuition to optimize growth conditions for quantum performance. In this paper, we use supervised machine learning to train regression models using different synthesis parameters in over 100 quantum diamond samples. We train models to optimize NV$^-$ defects in diamond for high sensitivity magnetometry. Importantly, we utilize a magnetic-field sensitivity figure of merit (FOM) for NV magnetometry and use Bayesian optimization to identify critical growth parameters that lead to a 300% improvement over an average sample and a 55% improvement over the previous champion sample. Furthermore, using Shapley importance rankings, we gain new physical insights into the most impactful growth and post-processing parameters, namely electron irradiation dose, diamond seed depth relative to the plasma, seed miscut angle, and reactor nitrogen concentration. As various quantum devices can have significantly different material requirements, advanced growth techniques such as plasma-enhanced chemical vapor deposition (PE-CVD) can provide the ability to tailor material development specifically for quantum applications.

cond-mat.mtrl-sci

Zero-field identification and control of hydrogen-related electron-nuclear spin registers in diamond

Spin defects in diamond serve as powerful building blocks for quantum technologies, especially for applications in quantum sensing and quantum networking. Electron-nuclear defects formed in the environment of optically active spins, such as the nitrogen-vacancy (NV) center, provide a resource for multi-qubit quantum registers. However, many of these defects have yet to be characterized, limiting their control and integration in quantum devices. Here, we apply two hybrid electron-nuclear spin control schemes to self-consistently characterize unknown spin defects at the single-spin level. We perform double electron-electron resonance at zero field (ZF-DEER) to extract hyperfine components and introduce a nuclear-electron-electron triple resonance (NEETR) protocol to control and identify the nuclear spin through the stronger electronic spin interaction. These results provide a guide to resolving the defect structures using ab initio calculations, leading to the identification of a new hydrogen-related defect structure as well as an accurate match to a previously identified nitrogen-related defect. We further apply our NEETR protocol to demonstrate initialization, unitary control, and long-lived coherence of the hydrogen nuclear spin qubit with $T_2 = 1.0(3)\,\mathrm{ms}$. Together, these characterization and control tools establish a framework to harness previously unknown electron-nuclear defects for quantum register applications.

quant-ph

Entanglement-assisted multiparameter estimation with a solid-state quantum sensor

Quantum multiparameter estimation promises to extend quantum advantage to the simultaneous high-precision measurements of multiple physical quantities. However, realizing this capability in practical quantum sensors under realistic conditions remains challenging due to intrinsic system imperfections. Here, we experimentally demonstrate multiparameter estimation using a nitrogen-vacancy (NV) center in diamond, a widely adopted solid-state quantum sensor. Leveraging electronic-nuclear spin entanglement and optimized Bell state measurement at room temperature, we simultaneously estimate the amplitude, detuning, and phase of a microwave drive from a single measurement sequence. Despite practical constraints, our results achieve linear sensitivity scaling for all parameters with respect to interrogation time. This work bridges the gap between foundational quantum estimation theory and real-world quantum sensing, opening pathways toward enhanced multiparameter quantum sensors suitable for diverse scientific and technological applications.

quant-ph