Search

We investigate spontaneous scalarization in the Einstein-Born-Infeld-Scalar (EBIS) model with asymptotically AdS boundary conditions, revealing novel dynamical critical phenomena in black hole evolution. Through numerical analysis, we discover a distinctive ``flip" phenomenon where the scalar field exhibits critical transitions between different stable configurations. These transitions manifest in two forms: a single flip under variations in initial perturbation amplitude or scalar-electromagnetic coupling, and a double flip when varying black hole charge. Near critical points, the system displays universal relaxation behavior characterized by logarithmic scaling of relaxation time, $\tau \propto \ln |p - p_s|$, where $p_s$ denotes the critical initial amplitude. We demonstrate that these transitions arise from the system's approach to unstable AdS-Born-Infeld black hole configurations, which serve as separatrices between distinct stable phases. The Born-Infeld parameter plays a crucial role in this dynamics, with scalar hair vanishing in the strong nonlinearity limit. These results reveal fundamental aspects of black hole phase transitions in theories with nonlinear electromagnetic couplings and provide new insights into critical phenomena in gravitational systems., Comment: 28 pages, 12 figures

We challenge the prevailing emphasis on bifurcations as the primary mechanism behind many abrupt changes in complex systems and propose an alternative, more universally applicable explanation based on non-normal dynamics. We demonstrate that linear or approximately linear stochastic systems near a dynamical attractor exhibit transient repulsive dynamics - termed pseudo-bifurcations - when interacting components are sufficiently asymmetric and hierarchically organized, i.e., non-normal. These pseudo-bifurcations produce early-warning signals commonly linked to bifurcations, such as dimension reduction, critical slowing down, and increased variance. Furthermore, we show that, as actual bifurcations approach, non-normal transients also emerge, complicating their distinction and potentially creating a bias that suggests the system is much closer to a critical point than it actually is. We support our analytical derivations by empirically demonstrating that the brain exhibits clear signs of such non-normal transients during epileptic seizures. Many systems suspected of approaching critical bifurcation points should be reconsidered, as non-normal dynamics offer a more generic explanation for the observed phenomena across natural, physical, and social systems.

In complex missions such as search and rescue,robots must make intelligent decisions in unknown environments, relying on their ability to perceive and understand their surroundings. High-quality and real-time reconstruction enhances situational awareness and is crucial for intelligent robotics. Traditional methods often struggle with poor scene representation or are too slow for real-time use. Inspired by the efficacy of 3D Gaussian Splatting (3DGS), we propose a hierarchical planning framework for fast and high-fidelity active reconstruction. Our method evaluates completion and quality gain to adaptively guide reconstruction, integrating global and local planning for efficiency. Experiments in simulated and real-world environments show our approach outperforms existing real-time methods.

In recent years, there has been an increased interest in tools that establish \emph{incorrectness} rather than correctness of program properties. In this work we build on this approach by developing a novel methodology to prove incorrectness of \emph{semantic typing} properties of functional programs, extending the incorrectness approach to the model theory of functional program typing. We define a semantic type refuter which refutes semantic typings for a simple functional language. We prove our refuter is co-recursively enumerable, and that it is sound and complete with respect to a semantic typing notion. An initial implementation is described which uses symbolic evaluation to efficiently find type errors over a functional language with a rich type system.

In recent years, the development of robots capable of operating in both aerial and aquatic environments has gained significant attention. This study presents the design and fabrication of a novel aerial-aquatic locomotion robot (AALR). Inspired by the diving beetle, the AALR incorporates a biomimetic propulsion mechanism with power and recovery strokes. The variable stiffness propulsion module (VSPM) uses low melting point alloy (LMPA) and variable stiffness joints (VSJ) to achieve efficient aquatic locomotion while reduce harm to marine life. The AALR's innovative design integrates the VSPM into the arms of a traditional quadrotor, allowing for effective aerial-aquatic locomotion. The VSPM adjusts joint stiffness through temperature control, meeting locomotion requirements in both aerial and aquatic modes. A dynamic model for the VSPM was developed, with optimized dimensional parameters to increase propulsion force. Experiments focused on aquatic mode analysis and demonstrated the AALR's swimming capability, achieving a maximum swimming speed of 77 mm/s underwater. The results confirm the AALR's effective performance in water environment, highlighting its potential for versatile, eco-friendly operations., Comment: 8 pages, 10 figures, ICRA

We study some problems on self similar solutions to the Fujita equation when $p>(n+2)/(n-2)$, especially, the characterization of constant solutions by the energy. Motivated by recent advances in mean curvature flows, we introduce the notion of $F-$functional, $F$-stability and entropy for solutions of supercritical Fujita equation. Using these tools, we prove that among bounded positive self similar solutions, the constant solution has the lowest entropy. Furthermore, there is also a gap between the entropy of constant and non-constant solutions. As an application of these results, we prove that if $p>(n+2)/(n-2)$, then the blow up set of type I blow up solutions is the union of a $(n-1)-$ rectifiable set and a set of Hausdorff dimension at most $n-3$., Comment: 59 pages; comments welcome

Recently, many works have proposed various financial large language models (FinLLMs) by pre-training from scratch or fine-tuning open-sourced LLMs on financial corpora. However, existing FinLLMs exhibit unsatisfactory performance in understanding financial text when numeric variables are involved in questions. In this paper, we propose a novel LLM, called numeric-sensitive large language model (NumLLM), for Chinese finance. We first construct a financial corpus from financial textbooks which is essential for improving numeric capability of LLMs during fine-tuning. After that, we train two individual low-rank adaptation (LoRA) modules by fine-tuning on our constructed financial corpus. One module is for adapting general-purpose LLMs to financial domain, and the other module is for enhancing the ability of NumLLM to understand financial text with numeric variables. Lastly, we merge the two LoRA modules into the foundation model to obtain NumLLM for inference. Experiments on financial question-answering benchmark show that NumLLM can boost the performance of the foundation model and can achieve the best overall performance compared to all baselines, on both numeric and non-numeric questions.

Online construction of open-ended language scenes is crucial for robotic applications, where open-vocabulary interactive scene understanding is required. Recently, neural implicit representation has provided a promising direction for online interactive mapping. However, implementing open-vocabulary scene understanding capability into online neural implicit mapping still faces three challenges: lack of local scene updating ability, blurry spatial hierarchical semantic segmentation and difficulty in maintaining multi-view consistency. To this end, we proposed O2V-mapping, which utilizes voxel-based language and geometric features to create an open-vocabulary field, thus allowing for local updates during online training process. Additionally, we leverage a foundational model for image segmentation to extract language features on object-level entities, achieving clear segmentation boundaries and hierarchical semantic features. For the purpose of preserving consistency in 3D object properties across different viewpoints, we propose a spatial adaptive voxel adjustment mechanism and a multi-view weight selection method. Extensive experiments on open-vocabulary object localization and semantic segmentation demonstrate that O2V-mapping achieves online construction of language scenes while enhancing accuracy, outperforming the previous SOTA method.

Online dense mapping of urban scenes forms a fundamental cornerstone for scene understanding and navigation of autonomous vehicles. Recent advancements in mapping methods are mainly based on NeRF, whose rendering speed is too slow to meet online requirements. 3D Gaussian Splatting (3DGS), with its rendering speed hundreds of times faster than NeRF, holds greater potential in online dense mapping. However, integrating 3DGS into a street-view dense mapping framework still faces two challenges, including incomplete reconstruction due to the absence of geometric information beyond the LiDAR coverage area and extensive computation for reconstruction in large urban scenes. To this end, we propose HGS-Mapping, an online dense mapping framework in unbounded large-scale scenes. To attain complete construction, our framework introduces Hybrid Gaussian Representation, which models different parts of the entire scene using Gaussians with distinct properties. Furthermore, we employ a hybrid Gaussian initialization mechanism and an adaptive update method to achieve high-fidelity and rapid reconstruction. To the best of our knowledge, we are the first to integrate Gaussian representation into online dense mapping of urban scenes. Our approach achieves SOTA reconstruction accuracy while only employing 66% number of Gaussians, leading to 20% faster reconstruction speed.

A body area network (BAN) involving wearable sensors populated around the human body can continuously monitor physiological signals, finding applications in personal healthcare and athletic evaluation. Existing near-field communication (NFC)-enabled BAN solutions, while facilitating reliable and secure interconnection among battery-free sensors, face challenges such as limited spectral stability against external interference. Here we demonstrate a textile metamaterial featuring a coaxially-shielded internal structure designed to mitigate interference from extraneous loadings. The metamaterial can be patterned onto clothing to form a scalable, customizable network, enabling communication between NFC-enabled devices and developed battery-free textile NFC sensing nodes placed within the network. Proof of concept demonstration shows the metamaterial's robustness against mechanical deformation and exposure to lossy, conductive saline solutions, underscoring its potential applications in wet environments, particularly in athletic activities involving water or significant perspiration, offering insights for the future development of radio frequency components for a robust BAN at the system level.

Blockchains have popularized automated market makers (AMMs). An AMM exchange is an application running on a blockchain which maintains a pool of crypto-assets and automatically trades assets with users governed by some pricing function that prices the assets based on their relative demand/supply. AMMs have created an important challenge commonly known as the Miner Extractable Value (MEV). In particular, the miners who control the contents and ordering of transactions in a block can extract value by front-running and back-running users' transactions, leading to arbitrage opportunities that guarantee them risk-free returns. In this paper, we consider how to design AMM mechanisms that eliminate MEV opportunities. Specifically, we propose a new AMM mechanism that processes all transactions contained within a block in a batch. We show that our new mechanism satisfies two tiers of guarantees. First, for legacy blockchains where each block is proposed by a single (possibly rotating) miner, we prove that our mechanism satisfies arbitrage resilience, i.e., a miner cannot gain risk-free profit. Moreover, we also guarantee fair treatment among all transactions within the same block, such that the miner is unable to sell off favorable positions in the block to users or arbitragers. Second, for blockchains where the block proposal process is decentralized and offers sequencing-fairness, we prove a stronger notion called incentive compatibility -- roughly speaking, we guarantee that any individual user's best response is to follow the honest strategy., Comment: 1 title page and 23 pages for the main body

In this work, simulation-based equations to calculate propagation constant in uniform or periodic structures (SES) are deduced and verified through simulations in various types of structures. The modeling of those structures are essentially based on field distributions from a driven-mode solver, and the field distributions are used as the input parameters of the FPPS. It allows the separation of forward and backward waves from a total wave inside such a uniform or periodic structure, and thus it can be used to calculate the propagation constants inside both uniform and periodic structures even with a strong reflection. In order to test the performance and function of the FPPS, it has been applied to a variety of typical structures, including uniform waveguides, lossfree closed structures, lossy closed structures, and open radiation structures, and compared with the results of eigenmode solvers, equivalent network methods, and spectral domain integral equation methods. The comparison shows the easy-to-use and adaptable nature of the FPPS. the FPPS. This FPPS could be also applied to open radiating structures, and even multi-dimensional periodic/uniform structures., Comment: 10 pages, 13 figures

Anatomy-specific RF receive coil arrays routinely adopted in magnetic resonance imaging (MRI) for signal acquisition, are commonly burdened by their bulky, fixed, and rigid configurations, which may impose patient discomfort, bothersome positioning, and suboptimal sensitivity in certain situations. Herein, leveraging coaxial cables' inherent flexibility and electric field confining property, for the first time, we present wireless, ultra-lightweight, coaxially-shielded MRI coils achieving a signal-to-noise ratio (SNR) comparable to or surpassing that of commercially available cutting-edge receive coil arrays with the potential for improved patient comfort, ease of implementation, and significantly reduced costs. The proposed coils demonstrate versatility by functioning both independently in form-fitting configurations, closely adapting to relatively small anatomical sites, and collectively by inductively coupling together as metamaterials, allowing for extension of the field-of-view of their coverage to encompass larger anatomical regions without compromising coil sensitivity. The wireless, coaxially-shielded MRI coils reported herein pave the way toward next generation MRI coils.

Recent advancements in metamaterials have yielded the possibility of a wireless solution to improve signal-to-noise ratio (SNR) in magnetic resonance imaging (MRI). Unlike traditional closely packed local coil arrays with rigid designs and numerous components, these lightweight, cost-effective metamaterials eliminate the need for radio frequency (RF) cabling, baluns, adapters, and interfaces. However, their clinical adoption has been limited by their low sensitivity, bulky physical footprint, and limited, specific use cases. Herein, we introduce a wearable metamaterial developed using commercially available coaxial cable, designed for a 3.0 T MRI system. This metamaterial inherits the coaxially-shielded structure of its constituent coaxial cable, effectively containing the electric field within the cable, thereby mitigating the electric coupling to its loading while ensuring safer clinical adoption, lower signal loss, and resistance to frequency shifts. Weighing only 50g, the metamaterial maximizes its sensitivity by conforming to the anatomical region of interest. MRI images acquired using this metamaterial with various pulse sequences demonstrate an up to 2-fold SNR enhancement when compared to a state-of-the-art 16-channel knee coil. This work introduces a novel paradigm for constructing metamaterials in the MRI environment, paving the way for the development of next-generation wireless MRI technology.

We establish a Liouville type result for stable solutions for a wide class of second order semilinear elliptic equations in $\mathbb{R}^{n}$ with sign-changing nonlinearity $f$. Under the hypothesis that the equation does not have any nonconstant one dimensional stable solution, and a further nondegeneracy condition of $f$ at its zero points, we show that in any dimension, stable solutions of the equation must be constant. This partially answers a question raised by Dancer., Comment: 10 pages; comments are welcome

Metamaterials hold significant promise for enhancing the imaging capabilities of MRI machines as an additive technology, due to their unique ability to enhance local magnetic fields. However, despite their potential, the metamaterials reported in the context of MRI applications have often been impractical. This impracticality arises from their predominantly flat configurations and their susceptibility to shifts in resonance frequencies, preventing them from realizing their optimal performance. Here, we introduce a computational method for designing wearable and tunable metamaterials via freeform auxetics. The proposed computational-design tools yield an approach to solving the complex circle packing problems in an interactive and efficient manner, thus facilitating the development of deployable metamaterials configured in freeform shapes. With such tools, the developed metamaterials may readily conform to a patient's kneecap, ankle, head, or any part of the body in need of imaging, and while ensuring an optimal resonance frequency, thereby paving the way for the widespread adoption of metamaterials in clinical MRI applications.