arXiv subjects

Yifan Zhou

Publications and source records attributed to Yifan Zhou.

At least 19 recordsLinked to original sources

arXiv2026

Searching for Circumplanetary Dust in the Cavity of the AB Aurigae Disk with ALMA

The young intermediate-mass star AB Aurigae is surrounded by a transition disk whose cavity contains several proposed protoplanets, including the debated source "AB Aur b" at a projected separation of $\approx 0.6$ arcsec ($\approx 93$ au). To search for circumplanetary material associated with these candidates, we have obtained the most sensitive ($\sim 20$ $μ$Jy/beam rms) and highest angular resolution ($\sim 30$ mas) ALMA Band 7 (0.88 mm) observations of AB Aur to date. We recover the asymmetric dust ring in the continuum emission peaking at $\sim 0.9$ arcsec ($\sim 140$ au) and compact emission at the stellar position, but detect no point source at the location of AB Aur b or any of the other proposed protoplanet candidates down to a $3σ$ limit of $60$ $μ$Jy. For optically thin emission, this corresponds to a dust mass of $\lesssim 0.0059 M_\oplus$ (for a dust temperature of 40 K), comparable to the circumplanetary disk around PDS 70 c. The $^{12}$CO emission fills the continuum cavity, revealing inner spiral structure and a clear rotation pattern. The gas at the position of AB Aur b is smoothly connected to the ambient disk with no localized excess or obvious kinematic deviation. If any proposed candidates are accreting, their circumplanetary material must have a low dust mass, a small physical size, dust that is optically thick, or a dearth of large mm-emitting grains.

astro-ph.EP↗

arXiv2026

SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation

In industrial practice, AI-generated programmable logic controller (PLC) code must integrate with existing projects and implement the required behavior across scan cycles. Compilation alone does not establish runtime behavior, and subsequent edits can invalidate earlier verification results. We present SemaPLC, a project-grounded, verification-gated agent harness for PLC code generation. The harness combines project context and reusable PLC skills with specification review, compilation, and live-runtime validation. Its completion gate requires recorded checks to meet acceptance criteria for the current implementation. Edits invalidate previous verdicts, and failed checks guide bounded repair. We evaluate SemaPLC on 117 independent-POU tasks and 65 project-context tasks across seven language-model backbones. SemaPLC outperforms the evaluated baselines on both metrics for every backbone. Its mean verified-pass rate and dynamic score reach 72.6% and 52.2, exceeding the strongest baseline means by 8.7% points and 20.8 points, respectively. Verification-layer and failure analyses reveal how build recovery and output observability affect end-to-end results and identify behavioral errors that remain after compilation. We apply the harness in KUKA's iiQworks product environment for PLC development and discuss engineering lessons for its industrial integration and deployment. The industrial use indicates the agent assistance substantially improves PLC development efficiency by 45%.

cs.SE↗

arXiv2026

A Model to Map Brown Dwarf Companions to White Dwarfs in Partial Secondary Eclipse

Eclipse mapping is a well-established technique for constraining the spatial emission of hot Jupiter exoplanets. Brown dwarfs in ultra-short orbits around white dwarfs are an analog to hot Jupiters that can only ever be eclipsed within a limited range of latitudes. We adapt the eigenmapping method to disentangle the signals from the ever- and never-occulted regions. The result of this signal separation is a super-position of map structures, yielding sharp boundaries at the occultation region. We introduce a model that penalizes the harmonic complexity of the model map with Tikhonov regularization, whose parameters are tuned to reproduce the fit quality of the eigenmapping model. We use JWST NIRSpec/PRISM full-orbit observations of the eclipsing WD 1202-024 system as a template to construct and run injection-recovery tests on simulated light curves, isolating both latitudinal structures as well as emission from a physically-realistic general circulation model (GCM). In the latter, the narrow equatorial jet driven by the BD's rapid rotation manifests as an eclipse depth asymmetry, which our model reproduces as a latitude-dependent phase offset. Such a model, however, is only statistically preferred at approximately $3 \times$ the signal-to-noise ratio of the JWST data. When fitting to the actual JWST data of WD 1202, the full-phase eigenbasis model is statistically preferred. However, the resulting model map of WD 1202 B does not resemble the GCM predictions, with a concentrated day-side hotspot at the sub-stellar point with an angular size $\approx 15^\circ$. Interpreting this result more carefully requires follow-up work to disentangle systematics from true emission signals. This model framework provides a means to detect emission features from these rare types of eclipses, and ultimately to test predictions of models of atmospheric circulation across hot Jupiters and their BD analogs.

astro-ph.EP↗

arXiv2026

MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery

Large language model (LLM) agents are increasingly applied to long-horizon tasks such as scientific discovery and machine learning engineering (MLE), where sustained self-evolution becomes a key capability. However, existing MLE agents suffer from isolated exploration, inefficient experience reuse, and lack of hierarchical control, which together hinder long-horizon optimization. We present MLEvolve, an LLM-based self-evolving multi-agent framework for end-to-end machine learning algorithm discovery. By extending tree search to Progressive MCGS, MLEvolve enables cross-branch information flow through graph-based reference edges and gradually shifts the search from broad exploration to focused exploitation with an entropy-inspired progressive schedule. To allow the agent to evolve with accumulated experience, we introduce Retrospective Memory, which combines a cold-start domain knowledge base with a dynamic global memory for task-specific experience retrieval and reuse. For stable long-horizon iteration, we further decouple strategic planning from code generation with adaptive coding modes. Evaluation on MLE-Bench shows that MLEvolve achieves state-of-the-art performance across multiple dimensions including average medal rate and valid submission rate under a 12-hour budget (half the standard runtime). Moreover, MLEvolve also outperforms specialized algorithm discovery methods including AlphaEvolve on mathematical algorithm optimization tasks, demonstrating strong cross-domain generalization. Code is available at https://github.com/InternScience/MLEvolve.

cs.AI↗

arXiv2026

SpatialBrain: Spatial Intelligence Growing from Experience

Spatial reasoning requires more than access to geometric tools: a reasoner must decide when direct observation is sufficient and when to reconstruct, measure, or change reference frames. We present SpatialBrain, a framework that retains experience about these decisions while keeping its vision-language backbone fixed. The key distinction is between evidence about a scene and experience about how to reason with that evidence. 3DFusionMemory fuses current-scene observations into queryable spatial relations. A Spatial Skill Library provides reusable tool procedures, and Spatial Cognition associates task conditions with experience about when and how to use memory and skills. Completed trajectories are abstracted into process records and consolidated between task blocks, allowing later decisions to draw on earlier execution without transferring scene coordinates or reference answers. Across five spatial-reasoning benchmarks, SpatialBrain improves on direct answers from the same backbone on four and ties on the fifth. Component comparisons, experience-coverage curves, and traced resource decisions characterize how the framework accumulates and uses these resources.

cs.AI↗

arXiv2026

Queue-Aware ISAC Power Allocation Under Imperfect CSI: Integer-Service Analysis and Anchored Lyapunov Look-Ahead

We study power allocation for a multiuser integrated sensing and communication (ISAC) downlink with bursty queues and imperfect channel state information (CSI). Starting from a long-run utility--backlog objective, we derive its common task reward and online score. Integer departures are represented by threshold events of indefinite Gaussian quadratic forms, accounting for estimation error in both signal and interference. Their moments give the conditional one-slot task reward and characterize the error of an efficient plug-in score. An anchored quadratic Lyapunov look-ahead corrects its reward-greedy action with a bounded nominal loss. Across five CSI-error levels, the rule reduces mean queue exceedance by 27.4--43.9\% (0.49--0.99 percentage points) relative to the plug-in maximizer, with mean reward loss below 0.01 per slot. The rule achieves higher reward and lower exceedance than DPP, SAC and PPO; its advantage over freshly retrained learning baselines extends to five configurations with 9--23 power-allocation variables using fixed candidate budgets. For the seven-variable system, a fused implementation reproduces all 25 confirmation trajectories and achieves a one-core p99 decision time of 0.274--0.311\,ms.

cs.NI↗

arXiv2026

Mid-infrared Imaging of SR 12 c with JWST/MIRI: Grain Growth in an Evolved Circumplanetary Disk

The physical properties of circumplanetary disks offer insights into the formation of giant planets and their satellites. The circumbinary planetary-mass companion SR 12 c (1200 au from SR 12 AB) hosts an isolated dust disk directly detected with ALMA. We present JWST/MIRI imaging of SR 12 c from 5.6 to 21 $μ$m and analyze its spectral energy distribution from infrared to submillimeter wavelengths. Phenomenologically, the dust disk can be described by a two-component blackbody with large contrasts in characteristic temperatures and radii. Physically motivated models with varied geometries and heating mechanisms suggest a predominantly flat, irradiation-heated disk with a smaller contribution from viscous dissipation. The disk is inferred to be compact, with an inner radius of ~3 $R_{\rm Jup}$. The outer radius is only loosely constrained, with a characteristic value of ~3 au. The lack of strong 10 $μ$m excess emission suggests significant grain growth and dust settling. We also find that SR 12 c is broadly consistent with the empirical star-disk scaling relations, providing context for its possible formation pathway. These results demonstrate the power of combining mid-infrared and submillimeter observations with disk modeling to better understand the physical properties of circumplanetary disks.

astro-ph.EP↗

arXiv2026

On the (In)stability of Adaptive Fee Mechanisms in Multi-Chain Systems

EIP-1559 has become the dominant transaction fee mechanism in permissionless blockchains, regulating scarce block space through an adaptive base fee. The design balances a trade-off between responsiveness to demand fluctuations and stability of long-term resource usage. On a single chain, this trade-off is well understood and empirically stable. In multi-chain systems, however, cross-chain flows introduce delayed economic interactions across otherwise independent fee markets. These interactions alter the control dynamics and create stability risks that existing models do not capture. Deployed systems have already polarized. Polkadot enforces conservative update rates, effectively disabling fee adaptivity and reverting the market to inefficient first-price auctions. Cosmos adopts aggressive update rates without formal guarantees. To fill this gap, we propose a control-theoretic framework that formalizes multi-chain fee markets as a nonlinear dynamical system with delayed feedback. We identify delay-amplified over-correction as the structural root of instability. Experiments show that cross-chain coupling erodes stability relative to monolithic blockchains, reducing the safe parameter space for base fee update rates by up to 84.8%. Moreover, instability propagates across chains, contaminating the otherwise stable peer chains. At Ethereum's update rate, which leaves a monolithic chain stable, the multi-chain system exhibits extreme load oscillation between full and near-empty blocks, with over half of all blocks at full capacity. Mainstream Cosmos chains already exceed their safe bounds under their default configurations, and the resulting load oscillation raises their block failure rate by an order of magnitude. Guided by this mechanism, we design a lightweight protocol-level mitigation that removes the over-correction and stabilizes dynamics in multi-chain environments.

cs.CR↗

arXiv2026

DeSpatial: The devil of Agentic Spatial Reasoning Lies in 3D Itself

Spatial agents have access to reconstruction and segmentation tools, yet inconsistent predictions and fragmented object identities can prevent their outputs from becoming reliable 3D scene information. A simple oracle experiment exposes this perception bottleneck: replacing tool-predicted perception with ground-truth 3D bounding boxes raises an agent to nearly full score across five object-centric VSI-Bench tasks, while retaining the same reasoning tools. Motivated by this finding, we believe the devil of spatial reasoning lies in 3D itself, and introduce DeSpatial(Devil of Spatial), which explicitly decomposes spatial understanding into perception and reasoning. DeSpatial has a shared 3D perception tool to reconcile independent perception outputs into a unified, metric, gravity-aligned 3D scene. This perception tool has two core components: a) a joint segmentation--depth co-refinement module that consolidates masks of the same object and removes projection artifacts caused by inconsistent segmentation and depth within a single frame; b) a cross-view instance fusion module that consolidate voxel-overlapping instances but not allowed to merge same-frame instances. This fusion module additionally fuses spatially disjoint fragments caused by insufficient multi-view observations, by checking their 3D structure and source mask appearance. After receiving the complete and unified 3D scene information, the agent chooses reasoning or computational tools to solve the spatial problem. DeSpatial achieves leading performance on VSI-Bench, MindCube-Tiny, and ViewSpatial, with additional long-video results on VSI-SUPER, revealing the bottleneck of spatial understanding lies in a precise 3D perception itself.

cs.CV↗

arXiv2026

Dynamically Coupled Three-dimensional Cloud-Chemistry in Rapidly Rotating Irradiated Atmospheres: an Application to the Compact White Dwarf-Brown Dwarf system ZTFJ0038+2030

Clouds and disequilibrium chemistry shape the observable properties of substellar and planetary atmospheres, and JWST time-resolved spectroscopy now enables direct tests of their three-dimensional structures. We present an update to the 3D atmospheric framework ADAM, coupling the dynamical core to a miniature kinetic chemistry scheme (mini-chem) and a saturation-relaxation tracer cloud module. Using this framework, we investigate the atmosphere of the brown dwarf orbiting the white dwarf ZTFJ0038+2030 in a 10-hour orbit. The brown dwarf receives stellar irradiation comparable to its internal heat flux, placing the atmosphere in a regime where the circulation is characterized by a standing Matsuno--Gill wave response and equatorial superrotation. Rapid rotation confines these structures closer to the equator, producing more symmetric broadband light curves with smaller hotspot offsets than canonical hot Jupiters, in agreement with recent JWST observations of this system. Although most species are globally homogenized, rapid rotation limits global-scale horizontal mixing and allows circulation-driven vertical transport to maintain strong CO and CO$_2$ inhomogeneities in the photosphere. These chemical inhomogeneities produce asymmetric phase curves in the CO and CO$_2$ absorption bands, which could qualitatively explain the observed CO$_2$ light-curve asymmetry. When clouds are included, Na$_2$S clouds dominate the photosphere and weaken the large-scale circulation, lowering photospheric CO and CO$_2$ abundances, while MgSiO$_3$ and Fe clouds rain out at deeper levels. Because the dominant Na$_2$S clouds reside mostly above the quench region, cloud-driven convection has limited impact on the quenched abundances, which are instead regulated mainly by large-scale circulation.

astro-ph.EP↗

arXiv2026

Asymmetric nightside CO2 features, inefficient heat transport, and precise evolutionary constraints: Spectroscopic phase curves reveal the past and present of a white dwarf-brown dwarf binary

We present the first JWST phase curve of a white dwarf-brown dwarf binary, a NIRSpec PRISM observation of ZTFJ0038+2030. Short-period white dwarf-brown dwarf binaries provide unique laboratories to probe substellar atmospheres. Tidal locking drives hot Jupiter-like atmospheric dynamics in the brown dwarf. The system's formation history offers a window into planetary systems around post-main-sequence stars. We obtain a full-orbit phase curve of ZTF0038, including a total eclipse of the white dwarf, which enables us to separate the two components' emission throughout the entire orbit, and we model the brown dwarf's phase-resolved emission spectra using substellar atmosphere forward models and atmospheric retrievals. The PRISM spectrum covers ~80% of the brown dwarf's bolometric emission, enabling a nearly model-independent energy balance calculation, which yields a day-to-nightside heat transport efficiency of <10%. Inefficient heat redistribution is further supported by the phase curve shape and the nightside spectrum closely resembling non-irradiated mid-to-late T dwarfs. The spectroscopic phase curves reveal a stark nightside asymmetry associated with a strong CO2 absorption feature at 4.2 um, while the retrieved abundances indicate a longitudinally homogeneous distribution of CO2 as well as all other key species detected in the atmosphere. The precise internal luminosity measurement of the brown dwarf informs both the age of the WD-BD system (7.5-8.8 Gyr) and indicates a low common-envelope ejection efficiency. These data illustrate the exquisite opportunity to probe the three-dimensional processes of substellar atmospheres, connect substellar and exoplanet atmospheres, and probe the evolution of post-main-sequence planetary systems using WD-BDs.

astro-ph.SR↗

arXiv2026

DeCoPrune: Efficient KV-Cache Pruning for Autoregressive Video Diffusion via Denoising Consistency

Autoregressive video diffusion supports streaming generation and interactive control, but its KV cache grows continuously with the generated history. Existing compression strategies either discard history using fixed windows or select tokens through local attention and similarity signals, which do not directly measure whether the current chunk contributes information beyond the retained context. We introduce DeCoPrune, a training-free method that treats cache compression as a denoising-consistency problem. We find empirically that denoising difficulty provides a useful proxy for a token's value in long-term retention: tokens with larger step-to-final discrepancies tend to carry visual evidence that is less predictable from the retained context. DeCoPrune measures each current-chunk token's denoising difficulty using the discrepancy between its intermediate clean prediction and final denoised value, retaining high-discrepancy tokens in the long-term cache while pruning those with low discrepancy. To evaluate information retention, we introduce CMBench, comprising 58 approximately one-minute generated or real-world context episodes and 116 Reappear or Revisit continuation tasks that require recalling specific previously observed objects or scenes. Experiments with LingBot World v2 show that DeCoPrune preserves near-FullKV long-range recall while pruning over 85% of historical KV tokens and accelerating continuation generation by over $4\times$, substantially outperforming the evaluated compression baselines at comparable budgets. These results indicate that denoising consistency can serve as a model-intrinsic signal for retaining long-range information while reducing autoregressive inference cost. Our project homepage is https://decoprune.github.io. The code is available at https://github.com/DeCoPrune/CMBench, and the benchmark at https://huggingface.co/datasets/Aoraku/CMBench.

cs.CV↗

arXiv2026

Quantum Krylov Linear Solving Beyond Global Conditioning via Spectral Compression and Directional Stability

Global condition-number dependence can substantially overestimate the difficulty of preparing normalized quantum linear-system solutions. Many existing beyond-conditioning approaches are favorable when globally ill-conditioned directions have limited relevance to the target solution. Here we study a harder regime for time-evolution quantum Krylov linear solving (QKS), where a vanishing eigenvalue remains solution-relevant and must be retained. We identify a QKS regime in which the solution-relevant spectrum is compressed into a compact reduced space where the ill-conditioning is concentrated along a soft direction aligned with the solution, so that normalization removes the divergent amplification along that direction and leaves only a bounded transverse response. Consequently, the normalized-state complexity need not inherit the divergence of the global condition number. Our contributions are threefold: (1) We show that the solution-relevant information admits a compact and stable QKS representation, with bounded subspace dimension, evolution time, and reconstruction overhead as the relevant eigenvalue vanishes. (2) We show that normalized-state difficulty is governed by whether inverse amplification changes the solution direction, rather than by the small eigenvalue alone; even an arbitrarily ill-conditioned reduced system can remain directionally stable when the amplification is solution-aligned. (3) We prove that this stability persists under finite projected-system errors and transfers to the actual QKS output, yielding an end-to-end complexity bound without inverse dependence on the retained small eigenvalue. An explicit separation family further shows that a full inverse-amplification criterion can diverge while the corresponding QKS quantities remain bounded.

quant-ph↗

arXiv2026

Information Potential: A Variational Approach to Quantum Information Complexity

Quantum information complexity (QIC), introduced by Touchette [Touchette, STOC 2015], has been shown to be one of the most powerful methods for proving quantum communication complexity and has also been shown to be equal to amortized quantum communication complexity. Unfortunately, QIC is generally hard to analyze because it is a sum of quantum conditional mutual information terms, which are difficult to estimate. In this work, we introduce a new variational approach, the information potential, for analyzing QIC and proving quantum communication lower bounds inspired by the resolvent representation for quantum relative entropy. This approach connects the QIC of individual messages to a quadratic form, making it more amenable and thus enables us to bound the cumulative positive increments of the potential throughout an interactive quantum protocol by its QIC. Lower bounds on the growth of the potential therefore translate into lower bounds on both QIC and quantum communication complexity. As an application, we give an optimal $Ω(1/r)$ lower bound on the QIC of the two-bit $\mathsf{AND}$ function as well as an optimal $Ω(n/r)$ lower bound on the quantum communication complexity of $r$-round Set-Disjointness, answering an open problem in~[Braverman, Garg, Ko, Mao, Touchette FOCS 2015]. Moreover, we further prove a direct-sum theorem for bounded-round quantum communication complexity of Set Disjointness. With the tight bound on the QIC of $\mathsf{AND}$ function, we further establish a nearly tight tradeoff for the asymmetric quantum communication complexity of $\mathsf{Set} \mathsf{Disjointness}$: $(q_A+1)(q_B+1)=Ω(n)$, where $q_A$ and $q_B$ denote the total numbers of qubits sent by Alice and Bob, respectively.

quant-ph↗

arXiv2026

Implicit Q-learning-bootstrapped ant colony optimization for maritime moving-target observation scheduling with agile satellites

Maritime moving-target observation scheduling with agile Earth observation satellites is a dynamic, sequence-dependent combinatorial optimization problem. Sea-surface targets move continuously, causing feasible observation windows to vary with target motion and satellite orbital geometry. The scheduler must jointly determine task selection, satellite assignment, observation-window selection, and observation ordering under time-window, attitude-maneuvering, and onboard-resource constraints. This paper proposes an implicit Q-learning-bootstrapped ant colony optimization method, termed IQACO, for multi-satellite maritime moving-target observation scheduling. Rather than directly learning a task-selection policy, IQACO embeds an offline implicit Q-learning module into constructive ant colony optimization to adaptively adjust the pheromone factor, heuristic factor, and evaporation rate. A compact search-state representation captures pheromone distribution, current and historical-best solution quality, and iteration progress. During online scheduling, ant colony optimization constructs feasible observation sequences, while the learned policy adjusts the search behavior according to the current search state. Experiments on 14 scenarios with different scales and satellite configurations show that IQACO consistently outperforms the compared algorithms, improving the mean objective value over conventional ant colony optimization by 2.86%-9.41%. Further comparative and supplementary experiments demonstrate its effectiveness and robustness across different scheduling conditions and problem settings. These results indicate that offline value learning provides an effective adaptive search-control mechanism for constrained maritime moving-target observation scheduling.

cs.AI↗

arXiv2026

LongEmo: Towards Emotion Understanding and Reasoning in Long Videos

While recent Multimodal Large Language Models (MLLMs) have shown promise in affective computing, their reasoning capabilities are largely confined to short video clips with limited interactions. However, real-world emotions are not merely isolated instantaneous reactions but dynamic and cumulative processes deeply shaped by past experiences and ongoing events. To bridge this gap, we introduce LongEmoBench, a benchmark dedicated to emotion understanding and reasoning in long videos. It assesses progressive capabilities scaling from continuous scene interactions to complex episodic developments. Furthermore, we propose LongEmo, a novel memory-augmented agentic framework designed to tackle the immense challenges of long-range affective reasoning. LongEmo processes continuous video streams to construct an Event Memory Graph, explicitly modeling long-range dependencies and capturing emotional dynamics across discrete events. Given a question, the agent retrieves a query-relevant event stream from the graph, iteratively integrating multimodal memories and relational dependencies to deduce the final answer. Extensive evaluations of 17 representative methods reveal that they struggle significantly with emotion understanding and reasoning in long videos. In contrast, LongEmo achieves state-of-the-art performance, demonstrating the efficacy of its event-centric memory architecture.

cs.CV↗

arXiv2026

StraTA: Incentivizing Agentic Reinforcement Learning with Strategic Trajectory Abstraction

Large language models (LLMs) are increasingly used as interactive agents, but optimizing them for long-horizon decision making remains difficult because current methods are largely purely reactive, which weakens both exploration and credit assignment over extended trajectories. In this work, we present Strategic Trajectory Abstraction (StraTA), a simple framework that introduces an explicit trajectory-level strategy into agentic reinforcement learning (RL). StraTA samples a compact strategy from the initial task state, conditions subsequent actions on that strategy, and trains strategy generation and action execution jointly with a hierarchical GRPO-style rollout design, further enhanced by diverse strategy rollout and critical self-judgment. Experiments on ALFWorld, WebShop, and SciWorld show that StraTA consistently improves both sample efficiency and final performance over strong baselines. StraTA reaches success rates of 93.1% on ALFWorld and 84.2% on WebShop. On SciWorld, StraTA attains a 63.5% overall score, outperforming frontier closed-source models.

cs.CL↗

arXiv2026

Security Limits of Mining Before Validation in Nakamoto Consensus

Mining before validation allows miners to extend a newly received block before completing its validity checks, giving them a head start in the race for the next block reward. This head start, however, comes with a security risk: rejecting one invalid block also discards the honest work built on it, an effect missed when validation is treated as instantaneous. We quantify this risk in a model of Nakamoto consensus with bounded network delay and a validation-time bound independent of processing load. We establish an explicit threshold on adversarial mining power below which honest miners' fully validated chains continue to grow and agree on a stable history with high probability over any fixed observation period. We also construct an attack that repeatedly draws honest mining onto invalid branches. When the adversary produces more than one block on average during the allowed validation time, the attack can eventually remove a target block at any fixed initial confirmation depth. Combined with ordinary private mining, this attack yields a matching asymptotic bound in the fully decentralized regime, where each honest miner has negligible mining power. The results show how validation latency limits the security of mining before validation, beyond the constraint imposed by network delay.

cs.CR↗