Blog
Bidirectional Task-Motion Planning Based on Hierarchical Reinforcement Learning for Strategic Confrontation
In swarm robotics, confrontation scenarios, including strategic confrontations, require efficient decision-making that integrates discrete commands and continuous actions. Traditional task and motion planning methods separate decision-making into two layers, but their unidirectional structure fails to capture the interdependence between these layers, limiting...
Defects, Sound Damping, and the Boson Peak in Amorphous Solids
Two nearly universal and anomalous properties of glasses, the peak in the specific heat and plateau of the thermal conductivity, occur around the same temperature. This coincidence suggests that the two phenomena are related. Both effects can be rationalized by assuming Rayleigh...
Cryptoanalysis of a public key exchange based on circulant matrix over digital semiring
We present a cryptanalysis of a key exchange protocol based on the digital semiring. For this purpose, we find the maximal solution of a linear system over such semiring, and use the properties of circulant matrix to demonstrate that the protocol is...
Measurement of the time-integrated $CP$ asymmetry in $D^0 \to K^0_{\rm S} K^0_{\rm S}$ decays using opposite-side flavor tagging at Belle and Belle II
We measure the time-integrated $CP$ asymmetry in $D^0 \to K^0_{\rm S} K^0_{\rm S}$ decays reconstructed in $e^+e^-\to c{\overline c}$ events collected by the Belle and Belle II experiments. The corresponding data samples have integrated luminosities of 980 and 428 fb${}^{-1}$, respectively. To...
Branch-and-Bound Algorithms as Polynomial-time Approximation Schemes
Branch-and-bound algorithms (B&B) and polynomial-time approximation schemes (PTAS) are two seemingly distant areas of combinatorial optimization. We intend to (partially) bridge the gap between them while expanding the boundary of theoretical knowledge on the B&B framework. Branch-and-bound algorithms typically guarantee that an...
Optimal body force for heat transfer in turbulent vertical heated pipe flow
As buoyancy can help drive a flow, the vertical heated-pipe arrangement is widely used in thermal engineering applications. However, buoyancy suppresses and can even laminarise turbulence in the flow, thereby seriously damaging the heat transfer, measured by the Nusselt number Nu. As...
The accretion disk and neutrino pair annihilation process of Barrow-modified Black Hole
This paper attempts to clarify the deep consequences of Barrow fractal black hole spacetime configurations caused by quantum gravity on neutrino pair annihilation and accretion disk dynamics. We systematically derive the analytical expression for the innermost stable circular orbit (ISCO) radius ($r_{\text{ISCO}}\propto...
Leveraging differentiable programming in the inverse problem of neutron stars
Neutron stars (NSs) probe the high-density regime of the nuclear equation of state (EOS). However, inferring the EOS from observations of NSs is a computationally challenging task. In this work, we efficiently solve this inverse problem by leveraging differential programming in two...
Dynamic Early Exit in Reasoning Models
Recent advances in large reasoning language models (LRLMs) rely on test-time scaling, which extends long chain-of-thought (CoT) generation to solve complex tasks. However, overthinking in long CoT not only slows down the efficiency of problem solving, but also risks accuracy loss due...
SUPRA: Subspace Parameterized Attention for Neural Operator on General Domains
Neural operators are efficient surrogate models for solving partial differential equations (PDEs), but their key components face challenges: (1) in order to improve accuracy, attention mechanisms suffer from computational inefficiency on large-scale meshes, and (2) spectral convolutions rely on the Fast Fourier...