Searcharxiv⌕ Search

arXiv subjects

Ke Wang

Publications and source records attributed to Ke Wang.

At least 55 records · Page 3Linked to original sources

OccluRank: Controllable Occlusion-Aware Layout-to-Image Generation by Adding Just an Ordinal Rank

Layout-to-image generation enables explicit spatial control through bounding-box layouts, yet bounding boxes specify only instance locations and cannot represent their occlusion order. Existing methods may rely on additional geometric conditions, employ complex inference procedures, or aggregate independently constructed instance representations without explicitly modeling their occlusion-dependent interactions. We propose OccluRank, a simple and controllable occlusion-aware layout-to-image framework that augments each bounding box with only one ordinal rank. OccluRank encodes the user-specified occlusion order through lightweight rank-based conditioning and introduces an Order-aware Instance Interaction (OII) module to jointly update rank-conditioned instance representations before aggregation. This allows the specified order to guide information exchange among occluding instances without additional geometric inputs or specialized inference-time optimization. We further construct OccluLayout, a synthetic training dataset whose occlusion order and amodal annotations are derived directly from known scene geometry rather than estimated from partially occluded images using auxiliary prediction models. For comprehensive evaluation, we introduce OccluLayout-Bench, which uses multiple multimodal large language model evaluators to assess instance presence, spatial layout, attributes, and occlusion order, together with FID for overall image quality. Experiments show that OccluRank more reliably preserves target instances, follows specified layouts, and realizes desired occlusion relationships while maintaining comparable attribute consistency and overall image quality.

cs.CV↗

ALOHA IRDCs Molecular Line Follow-up: I. Gas properties and kinematics

Infrared Dark Clouds are ideal sites for investigating the initial conditions of massive star and cluster formation. The A Lei Of the Habitat and Assembly of Infrared Dark Clouds (ALOHA IRDCs), a James Clerk Maxwell Telescope (JCMT) Large Program, has mapped nearby IRDCs with SCUBA-2. Complementary molecular line observations are needed to characterise the physical, kinematic, and chemical properties of the dense gas. We aim to determine the thermal, kinematic, and chemical properties of clumps identified in the ALOHA IRDCs, and to assess their evolutionary status and level of star-forming activity. We performed single-pointing K-band and W-band observations towards 56 ALOHA IRDCs clumps using the Effelsberg 100-m and Yebes 40-m telescopes, respectively. We derived NH3 kinetic temperatures using the hyperfine group ratio (HFGR) method and identified infall and shock signatures from HCO+, H13CO+, SiO, and HNCO profiles. Water masers and NH2D emission were used as complementary tracers of chemical evolution and star formation. The clumps exhibit kinetic temperatures of 15-29 K. We detect NH2D emission towards 18 sources, with NH2D centroid velocities consistent with NH3, indicating both species trace the same dense gas component. More than half of the clumps display blue-asymmetric HCO+ profiles, identifying them as infall candidates. Water masers are detected in 22 sources, with prominent velocity ranges and variability. Broad SiO emission (>~20 km/s) indicates strong shocks, while narrower extents (<~6km/s) likely trace large-scale interactions or low-velocity shocks. The widespread infall signatures, shock tracers, masers, and NH2D emission suggest that relatively quiescent, chemically young material can coexist with dynamically active gas affected by early protostellar feedback, providing insight into the coupled physical and chemical evolution of massive IRDC clumps.

astro-ph.GA↗

Impact of a Cold Dark Matter Halo on Magnetic Reconnection and Energy Extraction from Kerr-like Black Holes

Recently, Comisso and Asenjo introduced a new energy extraction mechanism based on magnetic reconnection. In this paper, we investigate the power and efficiency of magnetic reconnection energy extraction in a rotating black hole surrounded by a cold dark matter halo. We first examine the properties of the underlying spacetime and its physical quantities, including the event horizon, photon sphere, and ergosphere. We then analyze the allowed energy extraction region and the corresponding energy extraction efficiency for circular orbits. Our results show that energy extraction is feasible for black holes with a spin parameter.

gr-qc↗

Magnetic Reconnection and Energy Extraction from a Rotating Black Hole in the Einstein-AdS SU(N)-Nonlinear Sigma Model

In the present study, we analyze the power and efficiency of energy extraction via magnetic reconnection in the rotating Einstein-AdS-SU($N$)-NLSM black hole, both in the circular-orbit regime and in the plunging region. Initially, we define the background properties of this spacetime, and then analyze the physical quantities such as the size of the ergoregion, the event horizon, and the boundaries of the ergosphere. We analyze the magnetic reconnection process within circular orbits. We plot energy-extraction parameter diagrams and analyze the power and efficiency of energy extraction. Our results indicate that energy extraction remains feasible even at a spin parameter as low as $0.7$, significantly below previously reported thresholds, and the extracted power can exceed that of the Blandford-Znajek mechanism with specific constraints. The coupling constant $K$, AdS radius $l$ and the flavors number $N$, collectively participate in lowering the spin threshold for energy extraction. Consequently, we further investigate the permissible energy extraction region for the energy extraction mechanism in the plunging region, as well as the corresponding power output and efficiency. We observe that the energy extraction is possible even at a spin as low as $0.2$. Importantly, the parameters $N,~K$ and $l$ mainly contribute to lowering the energy extraction spin threshold. This behavior is similar to that in circular orbits. Finally, comparing the plunging region with the circular orbits, we observe that the energy extraction power in the plunging region is higher than in the circular orbits.

gr-qc↗

SuperCoder: Assembly Program Superoptimization with Large Language Models

Superoptimization is the task of transforming a program into a faster one, and ideally the very fastest possible one, while preserving its input-output behavior. In this work, we investigate whether large language models (LLMs) can serve as superoptimizers, generating assembly programs that outperform code already optimized by industry-standard compilers in end-to-end runtime. We construct the first large-scale benchmark for this problem, consisting of 8,072 assembly programs averaging 130 lines, in contrast to prior datasets restricted to 2-15 straight-line, loop-free programs. We evaluate 23 LLMs on this benchmark and find that the strongest baseline, Claude-opus-4, achieves a 51.5% test-passing rate and a 1.43x average speedup over gcc -O3. To further enhance performance, we fine-tune models with reinforcement learning, optimizing a reward function that integrates correctness and performance speedup. Starting from Qwen2.5-Coder-7B-Instruct (61.4% correctness, 1.10x speedup), the fine-tuned model SuperCoder attains 95.0% correctness and 1.46x average speedup, with additional improvement enabled by Best-of-N sampling and iterative refinement. Our results demonstrate, for the first time, that LLMs can be applied as superoptimizers for assembly programs, establishing a foundation for future research in program performance optimization beyond compiler heuristics.

cs.CL↗

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis

Program verification relies on loop invariants, yet automatically discovering strong invariants remains a long-standing challenge. We investigate whether large language models (LLMs) can accelerate program verification by generating useful loop invariants. We introduce Quokka, a framework for LLM-based invariant synthesis with soundness guarantees and state-of-the-art performance. Unlike prior work that treats LLM outputs as noisy symbolic material requiring substantial post-processing, Quokka adopts a simpler algorithm design that directly validates whether each LLM-generated invariant helps prove the target assertion. We construct a benchmark of 866 evaluation instances and 3589 training instances derived from SV-COMP, and evaluate 9 LLMs spanning multiple model families. We demonstrate that supervised fine-tuning and Best-of-N sampling yield measurable improvements, and we show that Quokka consistently outperforms prior LLM-based verifiers. Our code and data are publicly available at https://github.com/Anjiang-Wei/Quokka

cs.PL↗

Implicit Likelihood Inference and $z$-Binned Reconstruction of Dark Energy $w(z)$

In this paper, to reconstruct the equation of state (EOS) of dark energy (DE) $w(z)$ with the redshift binning method, we first introduce a $w_i$CDM model with a piecewise-constant EOS in $7$ redshift bins. Then, we turn to the Learning the Universe Implicit Likelihood Inference (LtU-ILI) pipeline to perform a multi-round ILI of $w_i$ from the cosmological data combination, including $TT$, $TE$, $EE$ and lensing power spectra of Planck 2018, distance ratios of DESI DR2 and corrected apparent magnitudes of SNIa from Pantheon+ sample. More precisely, we build the Cosmic Microwave Background (CMB) power spectrum, Baryon Acoustic Oscillation (BAO) distance ratio and Type Ia Supernovae (SNIa) apparent magnitude simulators by $\mathtt{CLASS}$ and embed them into the LtU-ILI pipeline. And, using Sequential Neural Likelihood Estimation (SNLE), we sequentially train neural networks with $6$ rounds of total $6\times20000$ simulations to target a ``black box'' likelihood of our forward model $w_i$CDM. Finally, with the estimated posteriors of $w_i$, we find that except for the unconstrained $w_5$ and $w_6$ (the last two bins), our reconstruction of $w(z)$ marginally favors dynamical DE in the first bin and is consistent with the cosmological constant at $68\%$ C.L. in the other bins.

astro-ph.CO↗

Thinking in Scales: Accelerating Gigapixel Pathology Image Analysis via Adaptive Continuous Reasoning

Traditional whole slide image (WSI) analysis methods typically rely on the multiple instance learning (MIL) paradigm, which extracts patch-level features at high magnification and aggregates them for slide-level prediction. However, such exhaustive patch-level processing is computationally expensive, severely limiting the efficiency and scalability of WSI analysis. To address this challenge, we propose PathCTM (a Pathology-oriented Continuous Thought Model) that enables token-efficient scale-space continuous reasoning for gigapixel WSIs. PathCTM formulates diagnostic inference as a dynamic sequential information pursuit. It progressively transitions from low-magnification global to high-magnification local inspection, and adaptively terminates inference when sufficient evidence is gathered to effectively bound decision uncertainty. Specifically, it uses conditional computation for dynamic scale switching with attention-guided region pruning, coupled with confidence-aware early stopping. Extensive experiments demonstrate that, compared with standard MIL-based methods, PathCTM reduces the number of required image patches by 95.95% and shortens inference time by approximately 95.62%, while maintaining AUC without degradation. Code is available at https://github.com/JSGe-AI/PathCTM.

cs.CV↗

Magnetic Reconnection and Energy Extraction from a Rotating Black Hole in a Four-dimensional Einstein-Gauss-Bonnet Gravity

Recently, Comisso and Asenjo proposed a new mechanism for energy extraction based on magnetic reconnection of plasma within the ergosphere. In this paper, we analyze the power and efficiency of energy extraction through magnetic reconnection in a rotating four-dimensional Einstein-Gauss-Bonnet gravity black hole. Firstly, we analyze the background properties of this spacetime and its physical quantities, including the event horizon, the boundary of the ergosphere, and the size of the ergosphere. We analyze the magnetic reconnection in circular orbits and investigate the energy extraction region, as well as the power and efficiency of energy extraction. Our results indicate that energy extraction remains feasible even for a low spin parameter of $0.4$, which is well below the previously reported threshold. We also find that the energy extraction power exceeds that of the Blandford-Znajek mechanism. The Gauss-Bonnet coupling parameters $α$ lower the spin threshold for energy extraction. Similarly, we analyze the energy extraction region in the plunging regime, together with the corresponding power and efficiency. We find that energy extraction is possible even for a low spin parameter as $0.22$. We also observe that the Gauss-Bonnet coupling parameter $α$ further lowers the spin threshold. This behavior is consistent with that observed in the circular orbit case. Finally, we compare the energy extraction power in the plunging and circular orbit regimes and find that the plunging regime yields a higher energy extraction power than the circular orbit case.

gr-qc↗

EvoHIL: Self-Evolving Reward and Flow-Matched Policy Optimization for Robust Human-in-the-Loop Reinforcement Learning

Human-in-the-loop reinforcement learning (HIL-RL) enables robots to learn contact-rich manipulation from limited real-world interaction, but deployment exposes three coupled limitations: static visual reward models fail under scene changes; independently sampled actions cause temporally inconsistent motion; and vision-based policies remain sensitive to appearance shifts. We present EvoHIL, a unified framework that adapts the reward model, action generator, and visual do main within a staged human-in-the-loop learning process. First, self-evolving reward (SER) adapts the success classifier from human-confirmed positives and provisional weak negatives. Second, Action Flow Stabilization (AFS) generates temporally coherent action chunks through flow matching, grounding policy updates in executed action prefixes and demonstrated behavior. Third, retention-aware offline fine-tuning replays relit interaction data while anchoring the AFS actor-critic to prior behavior, adapting the visual domain without additional robot interaction. Across six manipulation tasks on Franka FR3 and SO-101 arms under a controlled lighting shift, EvoHIL improves task success, agreement with human-confirmation labels, motion smoothness, and completion time relative to human-in-the-loop and imitation baselines.Project page: https://anonymous4366.github.io/EvoHIL/

cs.RO↗

Investigations of MWISP Bubbles: Identification and Analysis of Enclosed Molecular Bubbles by Weight Fields

Molecular bubbles are widely used as tracers of stellar feedback; yet, their identification in spectral-line surveys remains challenging because both cavity morphology and kinematic structure must be assessed consistently in position--position--velocity (PPV) space. We present the Bubble-Weight Fields (BWFields) framework, a PPV-based method that for the first time enables the automated and objective identification and analysis of enclosed molecular bubbles directly from spectral-line data cubes. BWFields constructs a bubble-weight field, $W_{l,b,v}$, which encodes cumulative evidence for cavity interiors by aggregating topological signatures across multiple signal-to-noise tiers and velocity-integration scales. Contiguous cavity interiors are segmented as weight-clumps and associated with surrounding molecular gas, linking candidate bubbles to the structure of their host clouds. Shell morphology is characterized using radial intensity profiles and emission-defined intensity skeletons, which capture the shell geometry as traced by the observed emission. Bubble kinematics are quantified using azimuthally sampled position-velocity (PV) diagnostics, along with a turbulence-normalized expansion significance, which serves as a direct measure of the expansion-like velocity organisation. Applied to MWISP $^{13}$CO observations of the G17 region, BWFields identifies a population of bubble candidates with a broad range of morphologies and velocity structures in complex environments. BWFields establishes a scalable and physically interpretable framework for molecular-bubble studies in large surveys, enabling systematic investigations of stellar feedback in the Galactic interstellar medium.

astro-ph.GA↗

Extracting Energy from a Non-Kerr Rotating Spacetime with an Anomalous Quadrupole Moment via Magnetic Reconnection

This paper investigates how to extract energy from a non-Kerr rotating spacetime with an anomalous quadrupole moment via the magnetic reconnection mechanism. Unlike many other rotating spacetimes, this spacetime possesses closed timelike curves, and the corresponding spacetime regions must be excluded when extracting energy. After introducing the event horizon, ergosphere, and closed timelike curves of this spacetime, we deeply analyze the energy per unit enthalpy at infinity for accelerated and decelerated plasmas, the allowed region for energy extraction, and the power and efficiency of energy extraction. The results show that energy extraction is possible for both positive and negative anomalous quadrupole moments, but a positive and small anomalous quadrupole moment corresponds to higher power and efficiency of energy extraction.

gr-qc↗

Non-Quantum-Critical Routes to Magnetic Superconductivity

Electronic superconductivity is most commonly understood to be associated with magnetic quantum criticality. This framework is natural when a quantum critical point is present below the peak of the $T_c$ dome, but it is less satisfactory in the many systems where electronic superconductivity appears without a visible quantum critical point (QCP). Why and where does superconductivity emerge in such cases, given that its condensation energy is generally much smaller than the energy scale of the magnetic order itself? Here we develop an energetic perspective of this non-quantum-critical route to electronic superconductivity. When magnetic order becomes incipient but cannot be fully realized, the opening of a pairing gap lowers the free-energy cost of the nearby fluctuating magnetic state. This means that pairing can become strongest where long range order first becomes fragile. As a result, the strongest pairing tendency can sometimes occur at the edge of the superconducting dome closest to the loss of magnetism, even when $T_c$ itself is relatively small there. The relevant organizing principle is therefore not quantum criticality itself, but proximity to unrealized or disappearing magnetic order. Because many unconventional superconductors show no clear QCP, this perspective provides an alternative framework for understanding the phase diagram of a large class of electronic superconductors and may help identify new superconducting materials.

cond-mat.supr-con↗

Commutator relators of one-relator groups do not force Hopficity, residual finiteness, or automaticity

Let $G=F/\langle\langle r\rangle\rangle$ be a one-relator group with the relator $r\in [F,F]$ or $r=[u,v] ~(u,v\in F)$, where $F$ is a finitely generated free group. Baumslag asked whether $G$ is Hopfian, residually finite or automatic. In the case of $r\in[F,F]$, a negative answer to the residual finiteness and automaticity has already been obtained by a result of Olshanskii. In this note, we construct a family of one-relator groups $$G_m=\left\langle a,t\ \middle|\ [t,a[a,t]^{-m}]\right\rangle,$$ whose relators are commutators, each of which has a Baumslag-Solitar subgroup as a retract. These groups provide negative answers to these three questions in both cases.

math.GR↗

Repetitive Penrose Process in Rastall Rotating Black Holes Immersed in Quintessence Dark Energy

We investigate the repetitive Penrose process in the spacetime of a Rastall rotating black hole surrounded by a quintessence dark energy field. After reviewing the fundamental properties of the black hole geometry, we formulate the repetitive Penrose process by deriving the conservation equations governing particle splitting within the ergoregion, along with the corresponding iterative evolution equations. The physical conditions required for terminating the energy extraction iterations are established, and the minimum spin thresholds of the decay particles are analyzed to identify the critical stopping criterion. Our analysis reveals that the termination of the repetitive Penrose process is consistently governed by Particle~$0$, which possesses the highest minimum spin threshold among all decay products. Numerical results further demonstrate that the dimensionless Rastall structure parameter $\hat{N}_s$ and the Rastall coupling parameter $α$ significantly influence the evolution of the energy extraction process. At the same decay radii increasing initial values of both parameters boosts the energy utilization efficiency and energy return on investment. Specifically, smaller values of $\hat{N}_s$ enhances the energy utilization efficiency at lower decay radii, shifts the maximum extracted energy toward lower decay radii, and accelerates the depletion of the remaining extractable energy reservoir. This indicates that the repetitive Penrose process is highly favored at lower decay radii. Smaller initial values of $\hat{N}_s$ yield a larger maximum energy return on investment. Similarly, increasing $α$ enhances the energy utilization efficiency, alters the location of the peak extracted energy, and reduces the total extractable energy. But the effects of $α$ on these energetics are very small as compared to $\hat{N}_s$.

gr-qc↗

AEC-DS: Adaptive Erasure Coding with PDP-Triggered Reputation and QoS-Aware Migration for Decentralized Storage

In decentralized storage systems, audit results are often not used directly to guide later redundancy and shard-placement decisions, which can lead to inefficient resource allocation and delayed recovery. We propose AEC-DS, a closed-loop adaptive erasure coding mechanism driven by Provable Data Possession (PDP) feedback. PDP audits continuously update node reputation, while a QoS-aware migration policy adjusts shard placement according to node reliability and data priority. The policy moves high-priority shards from unstable nodes to more reliable nodes in the cold tier and penalizes unstable nodes in subsequent placement decisions. Simulations with 800 nodes and 500 files show that AEC-DS maintains 100% data durability under the evaluated fault model with a redundancy factor of 1.25x. Compared with Static-EC, Dynamic-EC, and DRD-EC, AEC-DS reduces cumulative recovery operations by 66.8%-75.2%. Ablation results further show that class migration plays a major role in preventing data loss, improving the measured loss-prevention capability by 176.8%. These results indicate that PDP feedback can connect integrity auditing with redundancy and placement adaptation, providing a practical path toward self-healing decentralized storage while accounting for the additional cost of migration.

cs.AI↗

Interface-Confined Superconductivity with Thickness-Independent Superfluid Stiffness in (Pb,Sn)Te/FeTe Bilayers

Interface-induced superconductivity in FeTe-based heterostructures provides a promising route toward topological superconductivity, yet the roles of the neighboring layers topology, symmetry, and electronic structure remain unresolved. In this work, we employ molecular beam epitaxy to grow Pb1-xSnxTe/FeTe bilayers and use angle-resolved photoemission spectroscopy to track the evolution of the Pb1-xSnxTe layer from a trivial insulator to a topological crystalline insulator hosting multiple Dirac surface states. Electrical transport measurements reveal robust superconductivity throughout the entire composition range, with a nearly constant superconducting transition temperature of ~12 K despite substantial changes in the electronic structure and topology of Pb1-xSnxTe. Double-coil mutual-inductance measurements further reveal comparable superfluid stiffness across the topological phase transition and nearly thickness-independent superfluid stiffness despite large variations in the constituent-layer thicknesses, demonstrating that superconductivity is confined near the interface. These results establish that superconductivity in FeTe-based heterostructures is largely insensitive to the topology, crystal symmetry, and detailed electronic structure of the neighboring layer, supporting a primary origin in modifications to the FeTe layer. The coexistence of interface-confined superconductivity and tunable multiple Dirac surface states in Pb1-xSnxTe/FeTe bilayers provides a versatile platform for exploring topological superconductivity and interactions among multiple Majorana zero modes.

cond-mat.supr-con↗

The science of the cycle of matter in our Galaxy with the SKA

Exploring how matter cycles through the Galaxy, from the birth of stars in dense interstellar clouds to the ejection of matter and energy during a star's final stages-requires a multi-faceted approach. Radio observations are essential to reveal the intricate interactions at play. By studying our Galaxy in detail, we can use it as a model to better understand these processes in galaxies as well. The Square Kilometre Array offers unique capabilities in wide-field, high-sensitivity, high-resolution spectroscopy and precise astrometry to revolutionise Galactic astrophysics. This chapter presents an overview of the science addressed in detail in chapters pertinent to the SKAO Science Working Group \textit{Our Galaxy}.

astro-ph.GA↗