title: Construction of Hyper-Relational Knowledge Graphs Using Pre-Trained Large Language Models

abstract: Extracting hyper-relations is crucial for constructing comprehensive knowledge graphs, but there are limited supervised methods available for this task. To address this gap, we introduce a zero-shot prompt-based method using OpenAI's GPT-3.5 model for extracting hyper-relational knowledge from text. Comparing our model with a baseline, we achieved promising results, with a recall of 0.77. Although our precision is currently lower, a detailed analysis of the model outputs has uncovered potential pathways for future research in this area.


title: On the Convergence of A Data-Driven Regularized Stochastic Gradient Descent for Nonlinear Ill-Posed Problems

abstract: Stochastic gradient descent (SGD) is a promising method for solving large-scale inverse problems, due to its excellent scalability with respect to data size. In this work, we analyze a new data-driven regularized stochastic gradient descent for the efficient numerical solution of a class of nonlinear ill-posed inverse problems in infinite dimensional Hilbert spaces. At each step of the iteration, the method randomly selects one equation from the nonlinear system combined with a corresponding equation from the learned system based on training data to obtain a stochastic estimate of the gradient and then performs a descent step with the estimated gradient. We prove the regularizing property of this method under the tangential cone condition and a priori parameter choice and then derive the convergence rates under the additional source condition and range invariance conditions. Several numerical experiments are provided to complement the analysis.


title: Locomotion Generation for a Rat Robot based on Environmental Changes via Reinforcement Learning

abstract: This research focuses on developing reinforcement learning approaches for the locomotion generation of small-size quadruped robots. The rat robot NeRmo is employed as the experimental platform. Due to the constrained volume, small-size quadruped robots typically possess fewer and weaker sensors, resulting in difficulty in accurately perceiving and responding to environmental changes. In this context, insufficient and imprecise feedback data from sensors makes it difficult to generate adaptive locomotion based on reinforcement learning. To overcome these challenges, this paper proposes a novel reinforcement learning approach that focuses on extracting effective perceptual information to enhance the environmental adaptability of small-size quadruped robots. According to the frequency of a robot's gait stride, key information of sensor data is analyzed utilizing sinusoidal functions derived from Fourier transform results. Additionally, a multifunctional reward mechanism is proposed to generate adaptive locomotion in different tasks. Extensive simulations are conducted to assess the effectiveness of the proposed reinforcement learning approach in generating rat robot locomotion in various environments. The experiment results illustrate the capability of the proposed approach to maintain stable locomotion of a rat robot across different terrains, including ramps, stairs, and spiral stairs.


title: EMIE-MAP: Large-Scale Road Surface Reconstruction Based on Explicit Mesh and Implicit Encoding

abstract: Road surface reconstruction plays a vital role in autonomous driving systems, enabling road lane perception and high-precision mapping. Recently, neural implicit encoding has achieved remarkable results in scene representation, particularly in the realistic rendering of scene textures. However, it faces challenges in directly representing geometric information for large-scale scenes. To address this, we propose EMIE-MAP, a novel method for large-scale road surface reconstruction based on explicit mesh and implicit encoding. The road geometry is represented using explicit mesh, where each vertex stores implicit encoding representing the color and semantic information. To overcome the difficulty in optimizing road elevation, we introduce a trajectory-based elevation initialization and an elevation residual learning method based on Multi-Layer Perceptron (MLP). Additionally, by employing implicit encoding and multi-camera color MLPs decoding, we achieve separate modeling of scene physical properties and camera characteristics, allowing surround-view reconstruction compatible with different camera models. Our method achieves remarkable road surface reconstruction performance in a variety of real-world challenging scenarios.


title: Deep Medial Voxels: Learned Medial Axis Approximations for Anatomical Shape Modeling

abstract: Shape reconstruction from imaging volumes is a recurring need in medical image analysis. Common workflows start with a segmentation step, followed by careful post-processing and,finally, ad hoc meshing algorithms. As this sequence can be timeconsuming, neural networks are trained to reconstruct shapes through template deformation. These networks deliver state-ofthe-art results without manual intervention, but, so far, they have primarily been evaluated on anatomical shapes with little topological variety between individuals. In contrast, other works favor learning implicit shape models, which have multiple benefits for meshing and visualization. Our work follows this direction by introducing deep medial voxels, a semi-implicit representation that faithfully approximates the topological skeleton from imaging volumes and eventually leads to shape reconstruction via convolution surfaces. Our reconstruction technique shows potential for both visualization and computer simulations.


title: PAON: A New Neuron Model using Pad\'e Approximants

abstract: Convolutional neural networks (CNN) are built upon the classical McCulloch-Pitts neuron model, which is essentially a linear model, where the nonlinearity is provided by a separate activation function. Several researchers have proposed enhanced neuron models, including quadratic neurons, generalized operational neurons, generative neurons, and super neurons, with stronger nonlinearity than that provided by the pointwise activation function. There has also been a proposal to use Pade approximation as a generalized activation function. In this paper, we introduce a brand new neuron model called Pade neurons (Paons), inspired by the Pade approximants, which is the best mathematical approximation of a transcendental function as a ratio of polynomials with different orders. We show that Paons are a super set of all other proposed neuron models. Hence, the basic neuron in any known CNN model can be replaced by Paons. In this paper, we extend the well-known ResNet to PadeNet (built by Paons) to demonstrate the concept. Our experiments on the single-image super-resolution task show that PadeNets can obtain better results than competing architectures.


title: SETA: Semantic-Aware Token Augmentation for Domain Generalization

abstract: Domain generalization (DG) aims to enhance the model robustness against domain shifts without accessing target domains. A prevalent category of methods for DG is data augmentation, which focuses on generating virtual samples to simulate domain shifts. However, existing augmentation techniques in DG are mainly tailored for convolutional neural networks (CNNs), with limited exploration in token-based architectures, i.e., vision transformer (ViT) and multi-layer perceptrons (MLP) models. In this paper, we study the impact of prior CNN-based augmentation methods on token-based models, revealing their performance is suboptimal due to the lack of incentivizing the model to learn holistic shape information. To tackle the issue, we propose the SEmantic-aware Token Augmentation (SETA) method. SETA transforms token features by perturbing local edge cues while preserving global shape features, thereby enhancing the model learning of shape information. To further enhance the generalization ability of the model, we introduce two stylized variants of our method combined with two state-of-the-art style augmentation methods in DG. We provide a theoretical insight into our method, demonstrating its effectiveness in reducing the generalization risk bound. Comprehensive experiments on five benchmarks prove that our method achieves SOTA performances across various ViT and MLP architectures. Our code is available at https://github.com/lingeringlight/SETA.


title: Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus

abstract: The existing methods for evaluating the inference abilities of Large Language Models (LLMs) have been results-centric, making it difficult to assess the inference process. We introduce a new approach using the Abstract and Reasoning Corpus (ARC) dataset to evaluate the inference and contextual understanding abilities of large language models in a process-centric manner. ARC demands rigorous logical structures for problem-solving, making it a benchmark that facilitates the comparison of model inference abilities with humans. Experimental results confirm that while large language models possess weak inference abilities, they still lag in terms of logical coherence, compositionality, and productivity. Our experiments highlight the reasoning capabilities of LLMs, proposing development paths for achieving human-level reasoning.


title: In-situ observation of field-induced nano-protrusion growth on a carbon-coated tungsten nanotip

abstract: Nano-protrusion (NP) on metal surface and its inevitable contamination layer under high electric field is often considered as the primary precursor that leads to vacuum breakdown, which plays an extremely detrimental effect for high energy physics equipment and many other devices. Yet, the NP growth has never been experimentally observed. Here, we conduct field emission (FE) measurements along with in-situ Transmission Electron Microscopy (TEM) imaging of an amorphous-carbon (a-C) coated tungsten nanotip at various nanoscale vacuum gap distances. We find that under certain conditions, the FE current-voltage (I-V) curves switch abruptly into an enhanced-current state, implying the growth of an NP. We then run field emission simulations, demonstrating that the temporary enhanced-current I-V is perfectly consistent with the hypothesis that a NP has grown at the apex of the tip. This hypothesis is also confirmed by the repeatable in-situ observation of such a nano-protrusion and its continued growth during successive FE measurements in TEM. We tentatively attribute this phenomenon to field-induced biased diffusion of surface a-C atoms, after performing a finite element analysis that excludes the alternative possibility of field-induced plastic deformation.


title: Low-Cost Privacy-Aware Decentralized Learning

abstract: This paper introduces ZIP-DL, a novel privacy-aware decentralized learning (DL) algorithm that exploits correlated noise to provide strong privacy protection against a local adversary while yielding efficient convergence guarantees for a low communication cost. The progressive neutralization of the added noise during the distributed aggregation process results in ZIP-DL fostering a high model accuracy under privacy guarantees. ZIP-DL further uses a single communication round between each gradient descent, thus minimizing communication overhead. We provide theoretical guarantees for both convergence speed and privacy guarantees, thereby making ZIP-DL applicable to practical scenarios. Our extensive experimental study shows that ZIP-DL significantly outperforms the state-of-the-art in terms of vulnerability/accuracy trade-off. In particular, ZIP-DL (i) reduces the efficacy of linkability attacks by up to 52 percentage points compared to baseline DL, (ii) improves accuracy by up to 37 percent w.r.t. the state-of-the-art privacy-preserving mechanism operating under the same threat model as ours, when configured to provide the same protection against membership inference attacks, and (iii) reduces communication by up to 10.5x against the same competitor for the same level of protection.


title: OpenOcc: Open Vocabulary 3D Scene Reconstruction via Occupancy Representation

abstract: 3D reconstruction has been widely used in autonomous navigation fields of mobile robotics. However, the former research can only provide the basic geometry structure without the capability of open-world scene understanding, limiting advanced tasks like human interaction and visual navigation. Moreover, traditional 3D scene understanding approaches rely on expensive labeled 3D datasets to train a model for a single task with supervision. Thus, geometric reconstruction with zero-shot scene understanding i.e. Open vocabulary 3D Understanding and Reconstruction, is crucial for the future development of mobile robots. In this paper, we propose OpenOcc, a novel framework unifying the 3D scene reconstruction and open vocabulary understanding with neural radiance fields. We model the geometric structure of the scene with occupancy representation and distill the pre-trained open vocabulary model into a 3D language field via volume rendering for zero-shot inference. Furthermore, a novel semantic-aware confidence propagation (SCP) method has been proposed to relieve the issue of language field representation degeneracy caused by inconsistent measurements in distilled features. Experimental results show that our approach achieves competitive performance in 3D scene understanding tasks, especially for small and long-tail objects.


title: Machine Learning LSST 3x2pt analyses -- forecasting the impact of systematics on cosmological constraints using neural networks

abstract: Validating modeling choices through simulated analyses and quantifying the impact of different systematic effects will form a major computational bottleneck in the preparation for 3$\times$2 analysis with Stage-IV surveys such as Vera Rubin Observatory's Legacy Survey of Space and Time (LSST). We can significantly reduce the computational requirements by using machine learning based emulators, which allow us to run fast inference while maintaining the full realism of the data analysis pipeline. In this paper, we use such an emulator to run simulated 3$\times$2 (cosmic shear, galaxy-galaxy lensing, and galaxy clustering) analyses for mock LSST-Y1/Y3/Y6/Y10 surveys and study the impact of various systematic effects (galaxy bias, intrinsic alignment, baryonic physics, shear calibration and photo-$z$ uncertainties). Closely following the DESC Science Requirement Document (with several updates) our main findings are: {\it a)} The largest contribution to the `systematic error budget' of LSST 3$\times$2 analysis comes from galaxy bias uncertainties, while the contribution of baryonic and shear calibration uncertainties are significantly less important. {\it b)} Tighter constraints on intrinsic alignment and photo-$z$ parameters can improve cosmological constraints noticeably, which illustrates synergies of LSST and spectroscopic surveys. {\it c)} The scale cuts adopted in the DESC SRD may be too conservative and pushing to smaller scales can increase cosmological information significantly. {\it d)} We investigate the impact of photo-$z$ outliers on 3$\times$2 pt analysis and find that we need to determine the outlier fraction to within $5-10\%$ accuracy to ensure robust cosmological analysis. We caution that these findings depend on analysis choices (parameterizations, priors, scale cuts) and can change for different settings.


title: Is It Really You Who Forgot the Password? When Account Recovery Meets Risk-Based Authentication

abstract: Risk-based authentication (RBA) is used in online services to protect user accounts from unauthorized takeover. RBA commonly uses contextual features that indicate a suspicious login attempt when the characteristic attributes of the login context deviate from known and thus expected values. Previous research on RBA and anomaly detection in authentication has mainly focused on the login process. However, recent attacks have revealed vulnerabilities in other parts of the authentication process, specifically in the account recovery function. Consequently, to ensure comprehensive authentication security, the use of anomaly detection in the context of account recovery must also be investigated. This paper presents the first study to investigate risk-based account recovery (RBAR) in the wild. We analyzed the adoption of RBAR by five prominent online services (that are known to use RBA). Our findings confirm the use of RBAR at Google, LinkedIn, and Amazon. Furthermore, we provide insights into the different RBAR mechanisms of these services and explore the impact of multi-factor authentication on them. Based on our findings, we create a first maturity model for RBAR challenges. The goal of our work is to help developers, administrators, and policy-makers gain an initial understanding of RBAR and to encourage further research in this direction.


title: Identification of mechanisms of magnetic transitions using an efficient method for converging on first order saddle points

abstract: A method for locating first order saddle points on the energy surface of magnetic systems is described and several applications presented. The starting point of the iterative algorithm involved in the method can be anywhere, even close to a local energy minimum representing an initial state of a magnetic system and, in contrast to chain-of-states methods, the final state need not be specified. Convergence on the saddle points is guided by a negative energy gradient whose component along the minimum mode of the system is inverted, effectively transforming the neighbourhood of the saddle point to that of a local minimum. The method requires only the lowest two eigenvalues and corresponding eigenvectors of the Hessian of the system's energy and they are found using a quasi-Newton limited-memory Broyden-Fletcher-Goldfarb-Shanno solver for the minimization of the Rayleigh quotient without evaluation of the Hessian itself. The efficient implementation of the method and its linear scaling with the system size make it applicable to large systems. Applications are presented to transitions in systems that reveal significant complexity of co-existing magnetic states, such as skyrmions, skyrmion bags, skyrmion tubes, chiral bobbers and globules.


title: Loop Special Relativity: Kaluza-Klein area metric as a line element for stringy events

abstract: Let a physical event constitute a simple loop in spacetime. This in turn calls for a generalized loop line element (= distance$^2$ between two neighboring loops) capable of restoring, at the shrinking loop limit, the special relativistic line element (= distance$^2$ between the two neighboring center-of-masses, respectively). Sticking at first stage to a flat Euclidean/Minkowski background, one is led to such a preliminary loop line element, where the role of coordinates is played by the oriented cross-sections projected by the loop event. Such cross-sections are generically center-of-mass independent, unless (owing to a topological term) the loop events are intrinsically wrapped around a Kaluza-Klein like compact fifth dimension. Serendipitously, it is the Kaluza-Klein ingredient which, on top of its traditional assignments, is shown to govern the extension of Pythagoras theorem to loop space. Associated with $M_4 \otimes S_1$ is then a 10-dim loop spacetime metric, whose 4-dim center-of-mass core term is supplemented by a 6-dim Maxwell-style fine structure. The imperative inclusion of a positive (say Nambu-Goto) string tension within the framework of Loop Special Relativity is fingerprinted by a low periodicity breathing mode. Nash global isometric embedding is conjectured to play a major role in the construction of Loop General Relativity.


title: Magnetic properties of an individual Magnetospirillum gryphiswaldense cell

abstract: Many bacteria share the fascinating ability to sense Earth's magnetic field -- a process known as magnetotaxis. These bacteria synthesize magnetic nanoparticles, called magnetosomes, within their own cell body and arrange them to form a linear magnetic chain. The chain, which behaves like a compass needle, aligns the microorganisms with the geomagnetic field. Here, we measure the magnetic hysteresis of an individual bacterium of the species Magnetospirillum gryphiswaldense via ultrasensitive torque magnetometry. These measurements, in combination with transmission electron microscopy and micromagnetic simulations, reveal the magnetic configurations of the magnetosomes, their progression as a function of applied field, as well as the total remanent magnetic moment and effective magnetic anisotropy of a chain within a single bacterium. Knowledge of magnetic properties is crucial both for understanding the mechanisms behind magnetotaxis and for the design of systems exploiting magnetotactic bacteria in biomedical applications.


title: Counting-Stars: A Multi-evidence, Position-aware, and Scalable Benchmark for Evaluating Long-Context Large Language Models

abstract: While recent research endeavors have focused on developing Large Language Models (LLMs) with robust long-context capabilities, due to the lack of long-context benchmarks, relatively little is known about how well the performance of long-context LLMs. To address this gap, we propose a multi-evidence, position-aware, and scalable benchmark for evaluating long-context LLMs, named Counting-Stars, which evaluates long-context LLMs by using two tasks: multi-evidence acquisition and multi-evidence reasoning. Based on the Counting-Stars test, we conduct experiments to evaluate long-context LLMs (i.e., GPT-4 Turbo, Gemini 1.5 Pro, Claude3 Opus, GLM-4, and Moonshot-v1). Experimental results demonstrate that Gemini 1.5 Pro achieves the best overall results, while the performance of GPT-4 Turbo is the most stable across various tasks. Furthermore, our analysis of these LLMs, which are extended to handle long-context scenarios, indicates that there is potential for improvement as the length of the input context and the intricacy of the tasks are increasing.


title: Federated Modality-specific Encoders and Multimodal Anchors for Personalized Brain Tumor Segmentation

abstract: Most existing federated learning (FL) methods for medical image analysis only considered intramodal heterogeneity, limiting their applicability to multimodal imaging applications. In practice, it is not uncommon that some FL participants only possess a subset of the complete imaging modalities, posing inter-modal heterogeneity as a challenge to effectively training a global model on all participants' data. In addition, each participant would expect to obtain a personalized model tailored for its local data characteristics from the FL in such a scenario. In this work, we propose a new FL framework with federated modality-specific encoders and multimodal anchors (FedMEMA) to simultaneously address the two concurrent issues. Above all, FedMEMA employs an exclusive encoder for each modality to account for the inter-modal heterogeneity in the first place. In the meantime, while the encoders are shared by the participants, the decoders are personalized to meet individual needs. Specifically, a server with full-modal data employs a fusion decoder to aggregate and fuse representations from all modality-specific encoders, thus bridging the modalities to optimize the encoders via backpropagation reversely. Meanwhile, multiple anchors are extracted from the fused multimodal representations and distributed to the clients in addition to the encoder parameters. On the other end, the clients with incomplete modalities calibrate their missing-modal representations toward the global full-modal anchors via scaled dot-product cross-attention, making up the information loss due to absent modalities while adapting the representations of present ones. FedMEMA is validated on the BraTS 2020 benchmark for multimodal brain tumor segmentation. Results show that it outperforms various up-to-date methods for multimodal and personalized FL and that its novel designs are effective. Our code is available.


title: Debris disks around main-sequence stars

abstract: 'Debris disks' are collections of small bodies around stars, such as the Asteroid Belt and Kuiper Belt in our Solar System. These disks are composed of objects smaller than planets, including asteroids, comets, dust, and dwarf planets. We detect debris disks around a significant fraction of stars, and these disks appear to be common components of planetary systems. Extrasolar debris disks have a broad range of locations, shapes and features. This chapter provides an introduction to debris disks around main-sequence stars. It summarises our understanding of the field, and covers a wide range of concepts from observations and theory. It describes how we detect extrasolar debris disks, what we see, and what these observations tell us. It also describes how debris disks evolve, and how they interact with planets. The chapter concludes by discussing several unsolved questions in debris-disk science.


title: LLM as a System Service on Mobile Devices

abstract: Being more powerful and intrusive into user-device interactions, LLMs are eager for on-device execution to better preserve user privacy. In this work, we propose a new paradigm of mobile AI: LLM as a system service on mobile devices (LLMaaS). Unlike traditional DNNs that execute in a stateless manner, such a system service is stateful: LLMs execution often needs to maintain persistent states (mainly KV cache) across multiple invocations. To minimize the LLM context switching overhead under tight device memory budget, this work presents LLMS, which decouples the memory management of app and LLM contexts with a key idea of fine-grained, chunk-wise, globally-optimized KV cache compression and swapping. By fully leveraging KV cache's unique characteristics, it proposes three novel techniques: (1) Tolerance-Aware Compression: it compresses chunks based on their measured accuracy tolerance to compression. (2) IO-Recompute Pipelined Loading: it introduces recompute to swapping-in for acceleration. (3) Chunk Lifecycle Management: it optimizes the memory activities of chunks with an ahead-of-time swapping-out and an LCTRU (Least Compression-Tolerable and Recently-Used) queue based eviction. In evaluations conducted on well-established traces and various edge devices, \sys reduces context switching latency by up to 2 orders of magnitude when compared to competitive baseline solutions.


title: Fluid Antenna for Mobile Edge Computing

abstract: In the evolving environment of mobile edge computing (MEC), optimizing system performance to meet the growing demand for low-latency computing services is a top priority. Integrating fluidic antenna (FA) technology into MEC networks provides a new approach to address this challenge. This letter proposes an FA-enabled MEC scheme that aims to minimize the total system delay by leveraging the mobility of FA to enhance channel conditions and improve computational offloading efficiency. By establishing an optimization problem focusing on the joint optimization of computation offloading and antenna positioning, we introduce an alternating iterative algorithm based on the interior point method and particle swarm optimization (IPPSO). Numerical results demonstrate the advantages of our proposed scheme compared to traditional fixed antenna positions, showing significant improvements in transmission rates and reductions in delays. The proposed IPPSO algorithm exhibits robust convergence properties, further validating the effectiveness of our method.


title: How Far Are We on the Decision-Making of LLMs? Evaluating LLMs' Gaming Ability in Multi-Agent Environments

abstract: Decision-making, a complicated task requiring various types of abilities, presents an excellent framework for assessing Large Language Models (LLMs). Our research investigates LLMs' decision-making capabilities through the lens of a well-established field, Game Theory. We focus specifically on games that support the participation of more than two agents simultaneously. Subsequently, we introduce our framework, GAMA-Bench, including eight classical multi-agent games. We design a scoring scheme to assess a model's performance in these games quantitatively. Through GAMA-Bench, we investigate LLMs' robustness, generalizability, and enhancement strategies. Results reveal that while GPT-3.5 shows satisfying robustness, its generalizability is relatively limited. However, its performance can be improved through approaches such as Chain-of-Thought. Additionally, we conduct evaluations across various LLMs and find that GPT-4 outperforms other models on GAMA-Bench, achieving a score of 60.5. Moreover, Gemini-1.0-Pro and GPT-3.5 (0613, 1106, 0125) demonstrate similar intelligence on GAMA-Bench. The code and experimental results are made publicly available via https://github.com/CUHK-ARISE/GAMABench.


title: Dynamic Tuning Towards Parameter and Inference Efficiency for ViT Adaptation

abstract: Existing parameter-efficient fine-tuning (PEFT) methods have achieved significant success on vision transformers (ViTs) adaptation by improving parameter efficiency. However, the exploration of enhancing inference efficiency during adaptation remains underexplored. This limits the broader application of pre-trained ViT models, especially when the model is computationally extensive. In this paper, we propose Dynamic Tuning (DyT), a novel approach to improve both parameter and inference efficiency for ViT adaptation. Specifically, besides using the lightweight adapter modules, we propose a token dispatcher to distinguish informative tokens from less important ones, allowing the latter to dynamically skip the original block, thereby reducing the redundant computation during inference. Additionally, we explore multiple design variants to find the best practice of DyT. Finally, inspired by the mixture-of-experts (MoE) mechanism, we introduce an enhanced adapter to further boost the adaptation performance. We validate DyT across various tasks, including image/video recognition and semantic segmentation. For instance, DyT achieves comparable or even superior performance compared to existing PEFT methods while evoking only 71%-85% of their FLOPs on the VTAB-1K benchmark.


title: Sensing-Enhanced Channel Estimation for Near-Field XL-MIMO Systems

abstract: Future sixth-generation (6G) systems are expected to leverage extremely large-scale multiple-input multiple-output (XL-MIMO) technology, which significantly expands the range of the near-field region. The spherical wavefront characteristics in the near field introduce additional degrees of freedom (DoFs), namely distance and angle, into the channel model, which leads to unique challenges in channel estimation (CE). In this paper, we propose a new sensing-enhanced uplink CE scheme for near-field XL-MIMO, which notably reduces the required quantity of baseband samples and the dictionary size. In particular, we first propose a sensing method that can be accomplished in a single time slot. It employs power sensors embedded within the antenna elements to measure the received power pattern rather than baseband samples. A time inversion algorithm is then proposed to precisely estimate the locations of users and scatterers, which offers a substantially lower computational complexity. Based on the estimated locations from sensing, a novel dictionary is then proposed by considering the eigen-problem based on the near-field transmission model, which facilitates efficient near-field CE with less baseband sampling and a more lightweight dictionary. Moreover, we derive the general form of the eigenvectors associated with the near-field channel matrix, revealing their noteworthy connection to the discrete prolate spheroidal sequence (DPSS). Simulation results unveil that the proposed time inversion algorithm achieves accurate localization with power measurements only, and remarkably outperforms various widely-adopted algorithms in terms of computational complexity. Furthermore, the proposed eigen-dictionary considerably improves the accuracy in CE with a compact dictionary size and a drastic reduction in baseband samples by up to 77%.


title: Metaphor Understanding Challenge Dataset for LLMs

abstract: Metaphors in natural language are a reflection of fundamental cognitive processes such as analogical reasoning and categorisation, and are deeply rooted in everyday communication. Metaphor understanding is therefore an essential task for large language models (LLMs). We release the Metaphor Understanding Challenge Dataset (MUNCH), designed to evaluate the metaphor understanding capabilities of LLMs. The dataset provides over 10k paraphrases for sentences containing metaphor use, as well as 1.5k instances containing inapt paraphrases. The inapt paraphrases were carefully selected to serve as control to determine whether the model indeed performs full metaphor interpretation or rather resorts to lexical similarity. All apt and inapt paraphrases were manually annotated. The metaphorical sentences cover natural metaphor uses across 4 genres (academic, news, fiction, and conversation), and they exhibit different levels of novelty. Experiments with LLaMA and GPT-3.5 demonstrate that MUNCH presents a challenging task for LLMs. The dataset is freely accessible at https://github.com/xiaoyuisrain/metaphor-understanding-challenge.


title: A Simple 2-Approximation Algorithm For Minimum Manhattan Network Problem

abstract: Given a n points in two dimensional space, a Manhattan Network G is a network that connects all n points with either horizontal or vertical edges, with the property that for any two point in G should be connected by a Manhattan path and distance between this two points is equal to Manhattan Distance. The Minimum Manhattan Network problem is to find a Manhattan network with minimum network length, i.e., summation of all line segment in network should be minimize. In this paper, we proposed a 2-approximation algorithm with time complexity O(|E|lgN) where |E| is the number of edges and N is the number of nodes. Using randomly generated datasets, we compare our result with the optimal one.


title: Aerial Lifting: Neural Urban Semantic and Building Instance Lifting from Aerial Imagery

abstract: We present a neural radiance field method for urban-scale semantic and building-level instance segmentation from aerial images by lifting noisy 2D labels to 3D. This is a challenging problem due to two primary reasons. Firstly, objects in urban aerial images exhibit substantial variations in size, including buildings, cars, and roads, which pose a significant challenge for accurate 2D segmentation. Secondly, the 2D labels generated by existing segmentation methods suffer from the multi-view inconsistency problem, especially in the case of aerial images, where each image captures only a small portion of the entire scene. To overcome these limitations, we first introduce a scale-adaptive semantic label fusion strategy that enhances the segmentation of objects of varying sizes by combining labels predicted from different altitudes, harnessing the novel-view synthesis capabilities of NeRF. We then introduce a novel cross-view instance label grouping strategy based on the 3D scene representation to mitigate the multi-view inconsistency problem in the 2D instance labels. Furthermore, we exploit multi-view reconstructed depth priors to improve the geometric quality of the reconstructed radiance field, resulting in enhanced segmentation results. Experiments on multiple real-world urban-scale datasets demonstrate that our approach outperforms existing methods, highlighting its effectiveness.


title: Polarization multistates in composite ferroelectrics

abstract: Going beyond the bistability paradigm of the charge polarizations in ferroelectrics is highly desired for ferroelectric memory devices toward ultra-high density information storage. Here, we propose to build multistates in composite ferroelectrics, which have both the intrinsic and sliding-induced polarizations. We illustrate the concept in H-stacking bilayers of 1T'' transition-metal dichalcogenides by first-principle calculations. We find that there is at least one order of magnitude difference in the energy barriers between these two types polarizations, which suggests that the external electric fields required to flipping them are significantly different. This difference allows for a novel flipping mechanism involving layer sliding and layer-by-layer flipping for the transforming of the polarization states. As a result, sextuple switchable states can be achieved for the 1T'' bilayers by properly controlling electrical field. Our study provides a new route to design polarization multistates for developing next-generation memory devices.


title: The error in the prime number theorem in short intervals

abstract: Using a new smoothing argument, we establish explicit versions of the prime number theorem in short intervals and consider the limiting behaviour of this result.


title: Cyclotron line evolution revealed with pulse-to-pulse analysis in the 2020 outburst of 1A 0535+262

abstract: We present a detailed analysis of the X-ray luminosity (Lx) dependence of the cyclotron absorption line energy (Ecyc) for the X-ray binary pulsar 1A 0535+262 during its 2020 giant outburst based on pulse-to-pulse analysis. By applying this technique to high cadence observations of Insight-HXMT, we reveal the most comprehensive Ecyc-Lx correlation across a broad luminosity range of ~(0.03-1.3)*10^38 erg/s. Apart from the positive and negative correlations between cyclotron line energy and luminosity at Lx~(1-3)*10^37 erg/s and ~(7-13)*10^37 erg/s, which are expected from the typical subcritical and supercritical accretion regimes, respectively, a plateau in the correlation is also detected at ~(3-7)*10^37 erg/s^-1. Moreover, at the lowest luminosity level (Lx<10^37 erg/s), the positive Ecyc-Lx correlation seems to be broken, and the pulse profile also occurs a significant transition. These discoveries provide the first complete view on the correlation between luminosity and the centriod energy of the cyclotron line, and therefore are relevant for understanding how accretion onto magnetized neutron stars depends on luminosity.


title: Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

abstract: We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications. The algorithm exploits dynamical symmetries to construct lean abstractions to avoid redundant computations during synthesis. Our proposed algorithm adds another layer of abstraction over the common grid-based discrete abstraction before solving the synthesis problem. It combines each set of grid cells that are at a similar relative position from the targets and nearby obstacles, defined by the symmetries, into a single abstract state. It uses this layer of abstraction to guide the order by which actions are explored during synthesis over the grid-based abstraction. We demonstrate the potential of our algorithm by synthesizing a reach-avoid controller for a 3-dimensional ship model with translation and rotation symmetries in the special Euclidean group SE(2).


title: HVDistill: Transferring Knowledge from Images to Point Clouds via Unsupervised Hybrid-View Distillation

abstract: We present a hybrid-view-based knowledge distillation framework, termed HVDistill, to guide the feature learning of a point cloud neural network with a pre-trained image network in an unsupervised manner. By exploiting the geometric relationship between RGB cameras and LiDAR sensors, the correspondence between the two modalities based on both image-plane view and bird-eye view can be established, which facilitates representation learning. Specifically, the image-plane correspondences can be simply obtained by projecting the point clouds, while the bird-eye-view correspondences can be achieved by lifting pixels to the 3D space with the predicted depths under the supervision of projected point clouds. The image teacher networks provide rich semantics from the image-plane view and meanwhile acquire geometric information from the bird-eye view. Indeed, image features from the two views naturally complement each other and together can ameliorate the learned feature representation of the point cloud student networks. Moreover, with a self-supervised pre-trained 2D network, HVDistill requires neither 2D nor 3D annotations. We pre-train our model on nuScenes dataset and transfer it to several downstream tasks on nuScenes, SemanticKITTI, and KITTI datasets for evaluation. Extensive experimental results show that our method achieves consistent improvements over the baseline trained from scratch and significantly outperforms the existing schemes. Codes are available at git@github.com:zhangsha1024/HVDistill.git.


title: TCNet: Continuous Sign Language Recognition from Trajectories and Correlated Regions

abstract: A key challenge in continuous sign language recognition (CSLR) is to efficiently capture long-range spatial interactions over time from the video input. To address this challenge, we propose TCNet, a hybrid network that effectively models spatio-temporal information from Trajectories and Correlated regions. TCNet's trajectory module transforms frames into aligned trajectories composed of continuous visual tokens. In addition, for a query token, self-attention is learned along the trajectory. As such, our network can also focus on fine-grained spatio-temporal patterns, such as finger movements, of a specific region in motion. TCNet's correlation module uses a novel dynamic attention mechanism that filters out irrelevant frame regions. Additionally, it assigns dynamic key-value tokens from correlated regions to each query. Both innovations significantly reduce the computation cost and memory. We perform experiments on four large-scale datasets: PHOENIX14, PHOENIX14-T, CSL, and CSL-Daily, respectively. Our results demonstrate that TCNet consistently achieves state-of-the-art performance. For example, we improve over the previous state-of-the-art by 1.5% and 1.0% word error rate on PHOENIX14 and PHOENIX14-T, respectively.


title: Detecting immersed obstacle in Stokes fluid flow using the coupled complex boundary method

abstract: A non-conventional shape optimization approach is introduced to address the identification of an obstacle immersed in a fluid described by the Stokes equation within a larger bounded domain, relying on boundary measurements on the accessible surface. The approach employs tools from shape optimization, utilizing the coupled complex boundary method to transform the over-specified problem into a complex boundary value problem by incorporating a complex Robin boundary condition. This condition is derived by coupling the Dirichlet and Neumann boundary conditions along the accessible boundary. The identification of the obstacle involves optimizing a cost function constructed based on the imaginary part of the solution across the entire domain. The subsequent calculation of the shape gradient of this cost function, rigorously performed via the rearrangement method, enables the iterative solution of the optimization problem using a Sobolev gradient descent algorithm. The feasibility of the method is illustrated through numerical experiments in both two and three spatial dimensions, demonstrating its effectiveness in reconstructing obstacles with pronounced concavities under high-level noise-contaminated data, all without perimeter or volume functional penalization.


title: Heat transport at the nanoscale and ultralow temperatures -- implications for quantum technologies

abstract: In this perspective, we discuss thermal imbalance and the associated electron-mediated thermal transport in quantum electronic devices at very low temperatures. We first present the theoretical approaches describing heat transport in nanoscale conductors at low temperatures, in which quantum confinement and interactions play an important role. We then discuss the experimental techniques for generating and measuring heat currents and temperature gradients on the nanoscale. Eventually we review the most important quantum effects on heat transport, and discuss implications for quantum technologies and future directions in the field.


title: Evaluating Text-to-Image Synthesis: Survey and Taxonomy of Image Quality Metrics

abstract: Recent advances in text-to-image synthesis enabled through a combination of language and vision foundation models have led to a proliferation of the tools available and an increased attention to the field. When conducting text-to-image synthesis, a central goal is to ensure that the content between text and image is aligned. As such, there exist numerous evaluation metrics that aim to mimic human judgement. However, it is often unclear which metric to use for evaluating text-to-image synthesis systems as their evaluation is highly nuanced. In this work, we provide a comprehensive overview of existing text-to-image evaluation metrics. Based on our findings, we propose a new taxonomy for categorizing these metrics. Our taxonomy is grounded in the assumption that there are two main quality criteria, namely compositionality and generality, which ideally map to human preferences. Ultimately, we derive guidelines for practitioners conducting text-to-image evaluation, discuss open challenges of evaluation mechanisms, and surface limitations of current metrics.


title: Discovery of self-assembled Ru/Si heterostructures with unique periodic nanostripe patterns boosting hydrogen evolution

abstract: Two-dimensional (2D) heterostructuring is a versatile methodology for designing nanoarchitecture catalytic systems that allow for reconstruction and modulation of interfaces and electronic structures. However, catalysts with such structures are extremely scarce due to limited synthetic strategies. Here, we report a highly ordered 2D Ru/Si nano-heterostructures (RSHS) by acid etching of the LaRuSi electride. RSHS shows a superior electrocatalytic activity for hydrogen evolution with an overpotential of 14 mV at 10 mA/cm2 in alkaline media. Both experimental analysis and first-principles calculations demonstrate that the electronic states of Ru can be tuned by strong interactions of the interfacial Ru-Si, leading to an optimized hydrogen adsorption energy. Moreover, due to the synergistic effect of Ru and Si, the energy barrier of water dissociation is significantly reduced. The unique nanostripe structure with abundant interfaces in RSHS will provide a paradigm for construction of efficient catalysts with tunable electronic states and dual active sites.


title: Logarithmic correction to the entropy of black holes in STU supergravity

abstract: The leading quantum-gravitational correction to the black hole entropy is known to be a universal logarithmic term. In this study, we investigate the logarithmic corrections for the black holes in the STU supergravity models, which are a bosonic truncation into a specific class of $U(1)^2$-charged Einstein-Maxwell-dilaton theory. We demonstrate how the entire Kerr-Newman-AdS and Kerr-Newman family of black holes can be recovered within the gauged and ungauged STU supergravity models as special embedding choices in 4D. Logarithmic corrections are computed using two distinct Euclidean quantum gravity setups for extremal and non-extremal limits of all embedded rotating, static, charged, and neutral black holes. Our calculations employ the on-shell heat kernel method based Seeley-DeWitt expansion computations. Notably, all the AdS$_4$ results exhibit a confirmed non-topological nature as compared to the flat counterparts, offering a natural and more comprehensive "infrared window into the microstates'' of black holes.


title: Nonconcave Robust Utility Maximization under Projective Determinacy

abstract: We study a robust utility maximization problem in a general discrete-time frictionless market. The investor is assumed to have a random, nonconcave and nondecreasing utility function, which may or may not be finite on the whole real-line. She also faces model ambiguity on her beliefs about the market, which is modeled through a set of priors. We prove, using only primal methods, the existence of an optimal investment strategy when the utility function is also upper-semicontinuous. For that, we introduce the new notion of projectively measurable functions. We show basic properties of these functions as stability under sums, differences, products, suprema, infima and compositions but also assuming the set-theoretical axiom of Projective Determinacy (PD) stability under integration and existence of $\epsilon$-optimal selectors. We consider projectively measurable random utility function and price process and assume that the graphs of the sets of local priors are projective sets. Our other assumptions are stated on a prior-by-prior basis and correspond to generally accepted assumptions in the literature on markets without ambiguity.


title: Beyond directed hypergraphs: heterogeneous hypergraphs and spectral centralities

abstract: The study of hypergraphs has received a lot of attention over the past few years, however up until recently there has been no interest in systems where higher order interactions are not undirected. In this article we introduce the notion of heterogeneous hypergraphs from an algebraic point of view, which have traditional directed hypergraphs as a particular case. We furthermore analytically study the spectral centralities associated to some types of heterogeneous hypergraphs, extending previously defined eigenvector-like centrality measures to this new realm. We supplement the analytical arguments with some numerical comparisons of pairwise and higher order rankings, and we construct directed higher order networks from real data.


title: CapsLorentzNet: Integrating Physics Inspired Features with Graph Convolution

abstract: With the advent of advanced machine learning techniques, boosted object tagging has witnessed significant progress. In this article, we take this field further by introducing novel architectural modifications compatible with a wide array of Graph Neural Network (GNN) architectures. Our approach advocates for integrating capsule layers, replacing the conventional decoding blocks in standard GNNs. These capsules are a group of neurons with vector activations. The orientation of these vectors represents important properties of the objects under study, with their magnitude characterizing whether the object under study belongs to the class represented by the capsule. Moreover, capsule networks incorporate a regularization by reconstruction mechanism, facilitating the seamless integration of expert-designed high-level features into the analysis. We have studied the usefulness of our architecture with the LorentzNet architecture for quark-gluon tagging. Here, we have replaced the decoding block of LorentzNet with a capsulated decoding block and have called the resulting architecture CapsLorentzNet. Our new architecture can enhance the performance of LorentzNet by 20 \% for the quark-gluon tagging task.


title: Sound Event Detection and Localization with Distance Estimation

abstract: Sound Event Detection and Localization (SELD) is a combined task of identifying sound events and their corresponding direction-of-arrival (DOA). While this task has numerous applications and has been extensively researched in recent years, it fails to provide full information about the sound source position. In this paper, we overcome this problem by extending the task to Sound Event Detection, Localization with Distance Estimation (3D SELD). We study two ways of integrating distance estimation within the SELD core - a multi-task approach, in which the problem is tackled by a separate model output, and a single-task approach obtained by extending the multi-ACCDOA method to include distance information. We investigate both methods for the Ambisonic and binaural versions of STARSS23: Sony-TAU Realistic Spatial Soundscapes 2023. Moreover, our study involves experiments on the loss function related to the distance estimation part. Our results show that it is possible to perform 3D SELD without any degradation of performance in sound event detection and DOA estimation.


title: A meshless and binless approach to compute statistics in 3D Ensemble PTV

abstract: We propose a method to obtain superresolution of turbulent statistics for three-dimensional ensemble particle tracking velocimetry (EPTV). The method is ''meshless'' because it does not require the definition of a grid for computing derivatives, and it is ''binless'' because it does not require the definition of bins to compute local statistics. The method combines the constrained radial basis function (RBF) formalism introduced Sperotto et al. (Meas Sci Technol, 33:094005, 2022) with a kernel estimate approach for the ensemble averaging of the RBF regressions. The computational cost for the RBF regression is alleviated using the partition of unity method (PUM). Three test cases are considered: (1) a 1D illustrative problem on a Gaussian process, (2) a 3D synthetic test case reproducing a 3D jet-like flow, and (3) an experimental dataset collected for an underwater jet flow at $\text{Re} = 6750$ using a four-camera 3D PTV system. For each test case, the method performances are compared to traditional binning approaches such as Gaussian weighting (Ag\"u\'i and Jim\'enez, JFM, 185:447-468, 1987), local polynomial fitting (Ag\"uera et al, Meas Sci Technol, 27:124011, 2016), as well as a binned version of the RBF statistics.


title: Grothendieck-Katz conjecture

abstract: In this article we prove that linear differential equations with only algebraic solutions have zero $m$-curvature modulo $p^k$ for all except a finite number of primes $p$ and all $k,m\in\mathbb N$ with ${\rm ord}_pm!\geq k$. This provides us with a reformulation of Grothendieck-Katz conjecture with stronger hypothesis.


title: Problem space structural adversarial attacks for Network Intrusion Detection Systems based on Graph Neural Networks

abstract: Machine Learning (ML) algorithms have become increasingly popular for supporting Network Intrusion Detection Systems (NIDS). Nevertheless, extensive research has shown their vulnerability to adversarial attacks, which involve subtle perturbations to the inputs of the models aimed at compromising their performance. Recent proposals have effectively leveraged Graph Neural Networks (GNN) to produce predictions based also on the structural patterns exhibited by intrusions to enhance the detection robustness. However, the adoption of GNN-based NIDS introduces new types of risks. In this paper, we propose the first formalization of adversarial attacks specifically tailored for GNN in network intrusion detection. Moreover, we outline and model the problem space constraints that attackers need to consider to carry out feasible structural attacks in real-world scenarios. As a final contribution, we conduct an extensive experimental campaign in which we launch the proposed attacks against state-of-the-art GNN-based NIDS. Our findings demonstrate the increased robustness of the models against classical feature-based adversarial attacks, while highlighting their susceptibility to structure-based attacks.


title: BAD-Gaussians: Bundle Adjusted Deblur Gaussian Splatting

abstract: While neural rendering has demonstrated impressive capabilities in 3D scene reconstruction and novel view synthesis, it heavily relies on high-quality sharp images and accurate camera poses. Numerous approaches have been proposed to train Neural Radiance Fields (NeRF) with motion-blurred images, commonly encountered in real-world scenarios such as low-light or long-exposure conditions. However, the implicit representation of NeRF struggles to accurately recover intricate details from severely motion-blurred images and cannot achieve real-time rendering. In contrast, recent advancements in 3D Gaussian Splatting achieve high-quality 3D scene reconstruction and real-time rendering by explicitly optimizing point clouds as Gaussian spheres. In this paper, we introduce a novel approach, named BAD-Gaussians (Bundle Adjusted Deblur Gaussian Splatting), which leverages explicit Gaussian representation and handles severe motion-blurred images with inaccurate camera poses to achieve high-quality scene reconstruction. Our method models the physical image formation process of motion-blurred images and jointly learns the parameters of Gaussians while recovering camera motion trajectories during exposure time. In our experiments, we demonstrate that BAD-Gaussians not only achieves superior rendering quality compared to previous state-of-the-art deblur neural rendering methods on both synthetic and real datasets but also enables real-time rendering capabilities. Our project page and source code is available at https://lingzhezhao.github.io/BAD-Gaussians/


title: Precise measurement of the cosmic-ray spectrum and $\left \langle \ln A \right \rangle$ by LHAASO -- connecting the Galactic to the extragalactic components

abstract: Recently LHAASO Collaboration gives precise measurements of cosmic rays (CR) all particle energy spectrum and mean logarithmic mass $\left \langle \ln A \right \rangle$ from 0.3 PeV to 30 PeV. Combining the CR measurements by AMS-02 and DAMPE in space and that by LHAASO and Auger on the ground we construct a model to recover all these measurements from tens of GeV to tens of EeV. We find the LHAASO measurement is crucial in the model construction by connecting the Galactic component to the extragalactic component. The precise measurements of CR spectra for individual species by AMS-02 and DAMPE together with the newest LHAASO results clearly indicates three Galactic CR components, that is, a soft low energy background, a hard high energy component, and a local source contribution. However, the LHAASO data show that above $\sim 10^{16}$ eV a nonnegligible extragalactic component must be included. Combining the Auger results and the LHAASO results we figure out the extragalactic CRs which need at least two components at lower and higher energies. Thanks to the precise measurements by LHAASO the constraints on the model parameters are quite stringent. The spectra features and mass measurements in all energy range are all well reproduced in the model.


title: SSCAE -- Semantic, Syntactic, and Context-aware natural language Adversarial Examples generator

abstract: Machine learning models are vulnerable to maliciously crafted Adversarial Examples (AEs). Training a machine learning model with AEs improves its robustness and stability against adversarial attacks. It is essential to develop models that produce high-quality AEs. Developing such models has been much slower in natural language processing (NLP) than in areas such as computer vision. This paper introduces a practical and efficient adversarial attack model called SSCAE for \textbf{S}emantic, \textbf{S}yntactic, and \textbf{C}ontext-aware natural language \textbf{AE}s generator. SSCAE identifies important words and uses a masked language model to generate an early set of substitutions. Next, two well-known language models are employed to evaluate the initial set in terms of semantic and syntactic characteristics. We introduce (1) a dynamic threshold to capture more efficient perturbations and (2) a local greedy search to generate high-quality AEs. As a black-box method, SSCAE generates humanly imperceptible and context-aware AEs that preserve semantic consistency and the source language's syntactical and grammatical requirements. The effectiveness and superiority of the proposed SSCAE model are illustrated with fifteen comparative experiments and extensive sensitivity analysis for parameter optimization. SSCAE outperforms the existing models in all experiments while maintaining a higher semantic consistency with a lower query number and a comparable perturbation rate.


title: Towards Understanding the Relationship between In-context Learning and Compositional Generalization

abstract: According to the principle of compositional generalization, the meaning of a complex expression can be understood as a function of the meaning of its parts and of how they are combined. This principle is crucial for human language processing and also, arguably, for NLP models in the face of out-of-distribution data. However, many neural network models, including Transformers, have been shown to struggle with compositional generalization. In this paper, we hypothesize that forcing models to in-context learn can provide an inductive bias to promote compositional generalization. To test this hypothesis, we train a causal Transformer in a setting that renders ordinary learning very difficult: we present it with different orderings of the training instance and shuffle instance labels. This corresponds to training the model on all possible few-shot learning problems attainable from the dataset. The model can solve the task, however, by utilizing earlier examples to generalize to later ones (i.e. in-context learning). In evaluations on the datasets, SCAN, COGS, and GeoQuery, models trained in this manner indeed show improved compositional generalization. This indicates the usefulness of in-context learning problems as an inductive bias for generalization.


title: Agent3D-Zero: An Agent for Zero-shot 3D Understanding

abstract: The ability to understand and reason the 3D real world is a crucial milestone towards artificial general intelligence. The current common practice is to finetune Large Language Models (LLMs) with 3D data and texts to enable 3D understanding. Despite their effectiveness, these approaches are inherently limited by the scale and diversity of the available 3D data. Alternatively, in this work, we introduce Agent3D-Zero, an innovative 3D-aware agent framework addressing the 3D scene understanding in a zero-shot manner. The essence of our approach centers on reconceptualizing the challenge of 3D scene perception as a process of understanding and synthesizing insights from multiple images, inspired by how our human beings attempt to understand 3D scenes. By consolidating this idea, we propose a novel way to make use of a Large Visual Language Model (VLM) via actively selecting and analyzing a series of viewpoints for 3D understanding. Specifically, given an input 3D scene, Agent3D-Zero first processes a bird's-eye view image with custom-designed visual prompts, then iteratively chooses the next viewpoints to observe and summarize the underlying knowledge. A distinctive advantage of Agent3D-Zero is the introduction of novel visual prompts, which significantly unleash the VLMs' ability to identify the most informative viewpoints and thus facilitate observing 3D scenes. Extensive experiments demonstrate the effectiveness of the proposed framework in understanding diverse and previously unseen 3D environments.


title: Stochastic Mean Field Game for Strategic Bidding of Consumers in Congested Distribution Networks

abstract: The rapid increase of photovoltaic cells, batteries, and Electric Vehicles (EVs) in electric grids can result in congested distribution networks. An alternative to enhancing network capacity is a redispatch market, allowing Distribution System Operators (DSOs) to alleviate congested networks by asking energy consumers to change their consumption schedules. However, energy consumers can anticipate the redispatch market outcomes and strategically adjust their bids in the day-ahead market. This behaviour, known as increase-decrease gaming, can result in the exacerbation of congestion and enable energy consumers to gain windfall profits from the DSO. In this paper, we consider a two-stage problem consisting of the day-ahead market (first stage) and redispatch market (second stage). Then, we model the increase-decrease game for large populations of energy consumers in power networks using a stochastic mean field game approach. The agents (energy consumers) maximize their individual welfare in the day-ahead market with anticipation of the redispatch market. We show that all the agent strategies are ordered along their utilities and there exists a unique Nash equilibrium for this game.


title: The separativity problem in terms of varieties and diagonal reduction

abstract: We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By refining this information, we characterize separative regular rings in terms of a special type of inner inverse operation, which is defined via a single identity. This shows that the separative regular rings form a subvariety of the regular rings. The separativity problem reduces to the question of whether every element of the form $(1-aa')bac(1-a'a)$ in a regular ring is unit-regular, where $a'$ is an inner inverse for $a$. Second, it is known that separativity in exchange rings is equivalent to regular matrices over corner rings being reducible to diagonal matrices via elementary row and column operations. We show that for $2\times 2$ invertible matrices, four elementary operations are sufficient, and in general also necessary. Dropping the invertibility hypothesis, but specializing to separative regular rings, we show that three elementary row operations together with three elementary column operations are sufficient, and again in general also necessary. The separativity problem can subsequently be reframed in terms of the explicit number of operations needed to diagonally reduce.


title: Ensuring Safe and High-Quality Outputs: A Guideline Library Approach for Language Models

abstract: Large Language Models (LLMs) exhibit impressive capabilities but also present risks such as biased content generation and privacy issues. One of the current alignment techniques includes principle-driven integration, but it faces challenges arising from the imprecision of manually crafted rules and inadequate risk perception in models without safety training. To address these, we introduce Guide-Align, a two-stage approach. Initially, a safety-trained model identifies potential risks and formulates specific guidelines for various inputs, establishing a comprehensive library of guidelines and a model for input-guidelines retrieval. Subsequently, the retrieval model correlates new inputs with relevant guidelines, which guide LLMs in response generation to ensure safe and high-quality outputs, thereby aligning with human values. An additional optional stage involves fine-tuning a model with well-aligned datasets generated through the process implemented in the second stage. Our method customizes guidelines to accommodate diverse inputs, thereby enhancing the fine-grainedness and comprehensiveness of the guideline library. Furthermore, it incorporates safety expertise from a safety-trained LLM through a lightweight retrieval model. We evaluate our approach on three benchmarks, demonstrating significant improvements in LLM security and quality. Notably, our fine-tuned model, Labrador, even at 13 billion parameters, outperforms GPT-3.5-turbo and surpasses GPT-4 in alignment capabilities.


title: Terahertz Metamaterial Renormalization of Superconducting Josephson Plasmons in La$_{1.85}$Sr$_{0.15}$CuO$_4$

abstract: We investigate light-matter coupling in the cuprate superconductor La$_{1.85}$Sr$_{0.15}$Cu0$_4$ (LSCO), accomplished by adhering metamaterial resonator arrays (MRAs) to a c-axis oriented single crystal. The resonators couple to the Josephson Plasma Mode (JPM) which manifests as a plasma edge in the terahertz reflectivity in the superconducting state. Terahertz reflectivity measurements at 10K reveal a renormalization of the JPM frequency, $\omega_{jpm}$, from 1.7 THz for the bare crystal to $\sim$1 THz with the MRAs. With increasing temperature, the modified $\omega_{jpm}$ redshifts as expected for decreasing superfluid density, vanishing above T$_{c}$. The modification of the electrodynamic response arises from resonator induced screening of the longitudinal polariton response, reminiscent of plasmon-phonon coupling in doped semiconductors. Modeling reveals that the electrodynamic response is fully interpretable using classical electromagnetism. Future studies will have to contend with the large effects we observe which could obscure subtle changes that may indicate cavity-based manipulation of superconductivity. Finally, we note that our MRA/LSCO structure is a tunable epsilon-near-zero (ENZ) metamaterial that exhibits a nonlinear response arising from the c-axis Josephson tunneling coupled with the local fields of the resonators.


title: Multi-Criteria Comparison as a Method of Advancing Knowledge-Guided Machine Learning

abstract: This paper describes a generalizable model evaluation method that can be adapted to evaluate AI/ML models across multiple criteria including core scientific principles and more practical outcomes. Emerging from prediction competitions in Psychology and Decision Science, the method evaluates a group of candidate models of varying type and structure across multiple scientific, theoretic, and practical criteria. Ordinal ranking of criteria scores are evaluated using voting rules from the field of computational social choice and allow the comparison of divergent measures and types of models in a holistic evaluation. Additional advantages and applications are discussed.


title: Pessimistic Causal Reinforcement Learning with Mediators for Confounded Offline Data

abstract: In real-world scenarios, datasets collected from randomized experiments are often constrained by size, due to limitations in time and budget. As a result, leveraging large observational datasets becomes a more attractive option for achieving high-quality policy learning. However, most existing offline reinforcement learning (RL) methods depend on two key assumptions--unconfoundedness and positivity--which frequently do not hold in observational data contexts. Recognizing these challenges, we propose a novel policy learning algorithm, PESsimistic CAusal Learning (PESCAL). We utilize the mediator variable based on front-door criterion to remove the confounding bias; additionally, we adopt the pessimistic principle to address the distributional shift between the action distributions induced by candidate policies, and the behavior policy that generates the observational data. Our key observation is that, by incorporating auxiliary variables that mediate the effect of actions on system dynamics, it is sufficient to learn a lower bound of the mediator distribution function, instead of the Q-function, to partially mitigate the issue of distributional shift. This insight significantly simplifies our algorithm, by circumventing the challenging task of sequential uncertainty quantification for the estimated Q-function. Moreover, we provide theoretical guarantees for the algorithms we propose, and demonstrate their efficacy through simulations, as well as real-world experiments utilizing offline datasets from a leading ride-hailing platform.


title: Form factor for Dalitz decays from $J/\psi$ to light pseudoscalars

abstract: We calculate the form factor $M(q^2)$ for the Dalitz decay $J/\psi\to \gamma^*(q^2)\eta_{(N_f=1)}$ with $\eta_{(N_f)}$ being the SU($N_f$) flavor singlet pseudoscalar meson. The difference among the partial widths $\Gamma(J/\psi\to \gamma \eta_{(N_f)})$ at different $N_f$ can be attributed in part to the $\mathbf{U}_A(1)$ anomaly that induces a $N_f$ scaling. $M(q^2)$'s in $N_f=1,2$ are both well described by the single pole model $M(q^2)=M(0)/(1-q^2/\Lambda^2)$. Combined with the known experimental results of the Dalitz decays $J/\psi\to Pe^+e^-$, the pseudoscalar mass $m_P$ dependence of the pole parameter $\Lambda$ is approximated by $\Lambda(m_P^2)=\Lambda_1(1-m_P^2/\Lambda_2^2)$ with $\Lambda_1=2.64(4)~\mathrm{GeV}$ and $\Lambda_2=2.97(33)~\mathrm{GeV}$. These results provide inputs for future theoretical and experimental studies on the Dalitz decays $J/\psi\to Pe^+e^-$.


title: Fuzzy Rough Choquet Distances for Classification

abstract: This paper introduces a novel Choquet distance using fuzzy rough set based measures. The proposed distance measure combines the attribute information received from fuzzy rough set theory with the flexibility of the Choquet integral. This approach is designed to adeptly capture non-linear relationships within the data, acknowledging the interplay of the conditional attributes towards the decision attribute and resulting in a more flexible and accurate distance. We explore its application in the context of machine learning, with a specific emphasis on distance-based classification approaches (e.g. k-nearest neighbours). The paper examines two fuzzy rough set based measures that are based on the positive region. Moreover, we explore two procedures for monotonizing the measures derived from fuzzy rough set theory, making them suitable for use with the Choquet integral, and investigate their differences.


title: Near-Optimal Solutions of Constrained Learning Problems

abstract: With the widespread adoption of machine learning systems, the need to curtail their behavior has become increasingly apparent. This is evidenced by recent advancements towards developing models that satisfy robustness, safety, and fairness requirements. These requirements can be imposed (with generalization guarantees) by formulating constrained learning problems that can then be tackled by dual ascent algorithms. Yet, though these algorithms converge in objective value, even in non-convex settings, they cannot guarantee that their outcome is feasible. Doing so requires randomizing over all iterates, which is impractical in virtually any modern applications. Still, final iterates have been observed to perform well in practice. In this work, we address this gap between theory and practice by characterizing the constraint violation of Lagrangian minimizers associated with optimal dual variables, despite lack of convexity. To do this, we leverage the fact that non-convex, finite-dimensional constrained learning problems can be seen as parametrizations of convex, functional problems. Our results show that rich parametrizations effectively mitigate the issue of feasibility in dual methods, shedding light on prior empirical successes of dual learning. We illustrate our findings in fair learning tasks.


title: Simplified Self-homodyne Coherent System Based on Alamouti Coding and Digital Subcarrier Multiplexing

abstract: Coherent technology inherent with more availabledegrees of freedom is deemed a competitive solution for nextgeneration ultra-high-speed short-reach optical interconnects.However, the fatal barriers to implementing the conventiona.coherent system in short-reach optical interconnect are the costfootprint, and power consumption. Self-homodyne coherentsystem exhibits its potential to reduce the power consumption ofthe receiver-side digital signal processing (Rx-DSP) by deliveringthe local oscillator (LO) from the transmitter. However, anautomatic polarization controller (APC) is inevitable in the remoteLO link to avoid polarization fading, resulting in additional costsTo address the polarization fading issue, a simplified self.homodyne coherent system is proposed enabled by Alamouticoding in this paper. Benefiting from the Alamouti coding betweentwo polarizations, a polarization-insensitive receiver onlyincluding a 3dB coupler, a 90o Hybrid, and two balancedphotodiodes (BPDs)is sufficient for reception. Meanwhile, theAPC in the LO link is needless, simplifying the receiver structuresignificantly. Besides, the digital subcarrier multiplexing (DSCM)technique is also adopted to relax the computational complexity ofthe chromatic dispersion compensation (CDC), which is one of thedominant power consumption modules in Rx-DSP. Thetransmission performance of 50Gbaud 4-subcarrier 16/32OAM(4SC-16/320AM) DSCM signal based on the proposed simplifiedself-homodyne coherent system is investigated experimentallyThe results show that the bit-error-ratio(BER) performancedegradation caused by CD can be solved by increasing 4 taps inthe equalizer for 80km single mode fiber(SMF)transmissionwithout individual CDC, which operates in a low-complexitymanner.


title: Electrolubrication in flowing liquid mixtures

abstract: We describe the ``electrolubrication'' occurring in liquid mixtures confined between two charged surfaces. For a mixture of two liquids, the effective viscosity decreases markedly in the presence of a field. The origin of this reduction is field-induced phase separation, leading to the formation of two low-viscosity lubrication layers at the surfaces. These layers facilitate larger strain at a given stress. The effect is strong if the viscosities of the two liquids are sufficiently different, the volume fraction of the less viscous liquid is small, the gap between the surfaces is small, and the applied potential is large. The phase separation relies on the existence of dissociated ions in the solution. The effective viscosity is reduced by a factor $\alpha$; its maximum value is the ratio between the viscosities of the two liquids. In most liquids, $\alpha \sim1 $ -- $10$, and in mixtures of water and glycerol $\alpha \sim 80$ -- $100$ under relatively small potentials.


title: On the solution existence for collocation discretizations of time-fractional subdiffusion equations

abstract: Time-fractional parabolic equations with a Caputo time derivative of order $\alpha\in(0,1)$ are discretized in time using continuous collocation methods. For such discretizations, we give sufficient conditions for existence and uniqueness of their solutions. Two approaches are explored: the Lax-Milgram Theorem and the eigenfunction expansion. The resulting sufficient conditions, which involve certain $m\times m$ matrices (where $m$ is the order of the collocation scheme), are verified both analytically, for all $m\ge 1$ and all sets of collocation points, and computationally, for all $ m\le 20$. The semilinear case is also addressed.


title: GraphBEV: Towards Robust BEV Feature Alignment for Multi-Modal 3D Object Detection

abstract: Integrating LiDAR and camera information into Bird's-Eye-View (BEV) representation has emerged as a crucial aspect of 3D object detection in autonomous driving. However, existing methods are susceptible to the inaccurate calibration relationship between LiDAR and the camera sensor. Such inaccuracies result in errors in depth estimation for the camera branch, ultimately causing misalignment between LiDAR and camera BEV features. In this work, we propose a robust fusion framework called Graph BEV. Addressing errors caused by inaccurate point cloud projection, we introduce a Local Align module that employs neighbor-aware depth features via Graph matching. Additionally, we propose a Global Align module to rectify the misalignment between LiDAR and camera BEV features. Our Graph BEV framework achieves state-of-the-art performance, with an mAP of 70.1\%, surpassing BEV Fusion by 1.6\% on the nuscenes validation set. Importantly, our Graph BEV outperforms BEV Fusion by 8.3\% under conditions with misalignment noise.


title: Nanoscale Casimir force softening originated from surface electrons

abstract: Strong coupling between vacuum fields and quantum matter occurs at the nanoscale and broadens the horizon of light-matter interaction. Nanoscale Casimir force, as an exhibition of vacuum fields, inevitably experiences the influence of surface electrons due to their quantum character, which are ignorable in micron Casimir force. Here, we develop a three-dimensional conformal map method to tackle typical experimental configurations with surface electron contributions to Casimir force purposely and delicately included. Based on this method, we reveal that surface electrons can either enhance or suppress the nanoscale Casimir force, depending on materials and crystal facets. The mechanism is demonstrated to be the Casimir force softening, which results from surface electrons effectively altering the distance seen by the Casimir interaction. Our findings not only highlight the interaction between surface electrons and vacuum fields but also provide a recipe for theoretical and experimental investigation of nanoscale fluctuation-type problems.


title: One-sided DI-QKD secure against coherent attacks over long distances

abstract: Quantum Key Distribution (QKD) is a technique enabling provable secure communication but faces challenges in device characterization, posing potential security risks. Device-Independent (DI) QKD protocols overcome this issue by making minimal device assumptions but are limited in distance because they require high detection efficiencies, which refer to the ability of the experimental setup to detect quantum states. It is thus desirable to find quantum key distribution protocols that are based on realistic assumptions on the devices as well as implementable over long distances. In this work, we consider a one-sided DI QKD scheme with two measurements per party and show that it is secure against coherent attacks up to detection efficiencies greater than 50.1% specifically on the untrusted side. This is almost the theoretical limit achievable for protocols with two untrusted measurements. Interestingly, we also show that, by placing the source of states close to the untrusted side, our protocol is secure over distances comparable to standard QKD protocols.


title: Postselection technique for optical Quantum Key Distribution with improved de Finetti reductions

abstract: The postselection technique is an important proof technique for proving the security of quantum key distribution protocols against coherent attacks. In this work, we go through multiple steps to rigorously apply the postselection technique to optical quantum key distribution protocols. First, we place the postselection technique on a rigorous mathematical foundation by fixing a technical flaw in the original postselection paper. Second, we extend the applicability of the postselection technique to prepare-and-measure protocols by using a de Finetti reduction with a fixed marginal. Third, we show how the postselection technique can be used for decoy-state protocols by tagging the source. Finally, we extend the applicability of the postselection technique to realistic optical setups by developing a new variant of the flag-state squasher. We also improve existing de Finetti reductions, which reduce the effect of using the postselection technique on the key rate. These improvements can be more generally applied to other quantum information processing tasks. As an example to demonstrate the applicability of our work, we apply our results to the time-bin encoded three-state protocol. We observe that the postselection technique performs better than all other known proof techniques against coherent attacks.


title: Reinforcement Learning with Latent State Inference for Autonomous On-ramp Merging under Observation Delay

abstract: This paper presents a novel approach to address the challenging problem of autonomous on-ramp merging, where a self-driving vehicle needs to seamlessly integrate into a flow of vehicles on a multi-lane highway. We introduce the Lane-keeping, Lane-changing with Latent-state Inference and Safety Controller (L3IS) agent, designed to perform the on-ramp merging task safely without comprehensive knowledge about surrounding vehicles' intents or driving styles. We also present an augmentation of this agent called AL3IS that accounts for observation delays, allowing the agent to make more robust decisions in real-world environments with vehicle-to-vehicle (V2V) communication delays. By modeling the unobservable aspects of the environment through latent states, such as other drivers' intents, our approach enhances the agent's ability to adapt to dynamic traffic conditions, optimize merging maneuvers, and ensure safe interactions with other vehicles. We demonstrate the effectiveness of our method through extensive simulations generated from real traffic data and compare its performance with existing approaches. L3IS shows a 99.90% success rate in a challenging on-ramp merging case generated from the real US Highway 101 data. We further perform a sensitivity analysis on AL3IS to evaluate its robustness against varying observation delays, which demonstrates an acceptable performance of 93.84% success rate in 1-second V2V communication delay.


title: The Gersten conjecture for $p$-adic \'etale Tate twists and the $p$-adic cycle class map

abstract: We prove the Gersten conjecture for $p$-adic \'etale Tate twists for a smooth scheme $X$ in mixed characteristic. Furthermore, we revisit the cycle class map from thickened zero-cycles on the special fiber of $X$ to \'etale cohomology with coefficients in $p$-adic \'etale Tate twists previously studied in [13]. The approach we use in this article is more conceptual and works in greater generality.


title: denoiSplit: a method for joint image splitting and unsupervised denoising

abstract: In this work we present denoiSplit, a method to tackle a new analysis task, i.e. the challenge of joint semantic image splitting and unsupervised denoising. This dual approach has important applications in fluorescence microscopy, where semantic image splitting has important applications but noise does generally hinder the downstream analysis of image content. Image splitting involves dissecting an image into its distinguishable semantic structures. We show that the current state-of-the-art method for this task struggles in the presence of image noise, inadvertently also distributing the noise across the predicted outputs. The method we present here can deal with image noise by integrating an unsupervised denoising sub-task. This integration results in improved semantic image unmixing, even in the presence of notable and realistic levels of imaging noise. A key innovation in denoiSplit is the use of specifically formulated noise models and the suitable adjustment of KL-divergence loss for the high-dimensional hierarchical latent space we are training. We showcase the performance of denoiSplit across 4 tasks on real-world microscopy images. Additionally, we perform qualitative and quantitative evaluations and compare results to existing benchmarks, demonstrating the effectiveness of using denoiSplit: a single Variational Splitting Encoder-Decoder (VSE) Network using two suitable noise models to jointly perform semantic splitting and denoising.


title: Morita equivalences for Zhu's associative algebra and mode transition algebras

abstract: The mode transition algebra $\mathfrak{A}$, and $d$-th mode transition subalgebras $\mathfrak{A}_d\subset \mathfrak{A}$ are associative algebras attached to vertex operator algebras. Here, under natural assumptions, we establish Morita equivalences involving Zhu's associative algebra $\mathsf{A}$ and $\mathfrak{A}_d$. As an application, we obtain explicit expressions for higher level Zhu algebras as products of matrices, generalizing the result for the 1 dimensional Heisenberg vertex operator algebra from our previous work. This theory applies for instance, to certain VOAs with commutative, and connected Zhu algebra, and to rational vertex operator algebras. Examples are given.


title: A Wideband Distributed Massive MIMO Channel Sounder for Communication and Sensing

abstract: Channel sounding is a vital step in understanding wireless channels for the design and deployment of wireless communication systems. In this paper, we present the design and implementation of a coherent distributed massive MIMO channel sounder operating at 5-6 GHz with a bandwidth of 400 MHz based on the NI USRP X410. Through the integration of transceiver chains and RF switches, the design facilitates the use of a larger number of antennas without significant compromise in dynamic capability. Our current implementation is capable of measuring thousands of antenna combinations within tens of milliseconds. Every radio frequency switch is seamlessly integrated with a 16-element antenna array, making the antennas more practical to be transported and flexibly distributed. In addition, the channel sounder features real-time processing to reduce the data stream to the host computer and increase the signal-to-noise ratio. The design and implementation are verified through two measurements in an indoor laboratory environment. The first measurement entails a single-antenna robot as transmitter and 128 distributed receiving antennas. The second measurement demonstrates a passive sensing scenario with a walking person. We evaluate the results of both measurements using the super-resolution algorithm SAGE. The results demonstrate the great potential of the presented sounding system for providing high-quality radio channel measurements, contributing to high-resolution channel estimation, characterization, and active and passive sensing in realistic and dynamic scenarios.


title: Complete and Efficient Graph Transformers for Crystal Material Property Prediction

abstract: Crystal structures are characterized by atomic bases within a primitive unit cell that repeats along a regular lattice throughout 3D space. The periodic and infinite nature of crystals poses unique challenges for geometric graph representation learning. Specifically, constructing graphs that effectively capture the complete geometric information of crystals and handle chiral crystals remains an unsolved and challenging problem. In this paper, we introduce a novel approach that utilizes the periodic patterns of unit cells to establish the lattice-based representation for each atom, enabling efficient and expressive graph representations of crystals. Furthermore, we propose ComFormer, a SE(3) transformer designed specifically for crystalline materials. ComFormer includes two variants; namely, iComFormer that employs invariant geometric descriptors of Euclidean distances and angles, and eComFormer that utilizes equivariant vector representations. Experimental results demonstrate the state-of-the-art predictive accuracy of ComFormer variants on various tasks across three widely-used crystal benchmarks. Our code is publicly available as part of the AIRS library (https://github.com/divelab/AIRS).


title: GPT-4 as Evaluator: Evaluating Large Language Models on Pest Management in Agriculture

abstract: In the rapidly evolving field of artificial intelligence (AI), the application of large language models (LLMs) in agriculture, particularly in pest management, remains nascent. We aimed to prove the feasibility by evaluating the content of the pest management advice generated by LLMs, including the Generative Pre-trained Transformer (GPT) series from OpenAI and the FLAN series from Google. Considering the context-specific properties of agricultural advice, automatically measuring or quantifying the quality of text generated by LLMs becomes a significant challenge. We proposed an innovative approach, using GPT-4 as an evaluator, to score the generated content on Coherence, Logical Consistency, Fluency, Relevance, Comprehensibility, and Exhaustiveness. Additionally, we integrated an expert system based on crop threshold data as a baseline to obtain scores for Factual Accuracy on whether pests found in crop fields should take management action. Each model's score was weighted by percentage to obtain a final score. The results showed that GPT-3.4 and GPT-4 outperform the FLAN models in most evaluation categories. Furthermore, the use of instruction-based prompting containing domain-specific knowledge proved the feasibility of LLMs as an effective tool in agriculture, with an accuracy rate of 72%, demonstrating LLMs' effectiveness in providing pest management suggestions.


title: Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case

abstract: Single Sign-On (SSO) protocols streamline user authentication with a unified login for multiple online services, improving usability and security. One of the most common SSO protocol frameworks - the Security Assertion Markup Language V2.0 (SAML) Web SSO Profile - has been in use for more than two decades, primarily in government, education and enterprise environments. Despite its mission-critical nature, only certain deployments and configurations of the Web SSO Profile have been formally analyzed. This paper attempts to bridge this gap by performing a comprehensive formal security analysis of the SAML V2.0 SP-initiated SSO with POST/Artifact Bindings use case. Rather than focusing on a specific deployment and configuration, we closely follow the specification with the goal of capturing many different deployments allowed by the standard. Modeling and analysis is performed using Tamarin prover - state-of-the-art tool for automated verification of security protocols in the symbolic model of cryptography. Technically, we build a meta-model of the use case that we instantiate to eight different protocol variants. Using the Tamarin prover, we formally verify a number of critical security properties for those protocol variants, while identifying certain drawbacks and potential vulnerabilities.


title: Flexible control function approach under different types of dependent censoring

abstract: In this paper, we consider the problem of estimating the causal effect of an endogenous variable $Z$ on a survival time $T$ that can be subject to different types of dependent censoring. Firstly, we extend the current literature by simultaneously allowing for both independent ($A$) and dependent ($C$) censoring. Moreover, we have different parametric transformations for $T$ and $C$ that result in a more additive structure with approximately normal and homoscedastic error terms. The model is shown to be identified and a two-step estimation method is specified. It is shown that this estimator results in consistent and asymptotically normal estimates. Secondly, a goodness-of-fit test is developed to check the model's validity. To estimate the distribution of the statistic, a parametric bootstrap approach is used. Lastly, we show how the model naturally extends to a competing risks setting. Simulations are used to evaluate the finite-sample performance of the proposed methods and approaches. Moreover, we investigate two data applications regarding the effect of job training programs on unemployment duration and the effect of periodic screenings on breast cancer mortality rates.


title: Robustly Guarding Polygons

abstract: We propose precise notions of what it means to guard a domain "robustly", under a variety of models. While approximation algorithms for minimizing the number of (precise) point guards in a polygon is a notoriously challenging area of investigation, we show that imposing various degrees of robustness on the notion of visibility coverage leads to a more tractable (and realistic) problem for which we can provide approximation algorithms with constant factor guarantees.


title: Collider imprint of vector-like leptons in light of anomalous magnetic moment and neutrino data

abstract: We investigate the impact of incorporating anomaly-free representations of vector-like leptons into the Standard Model, aiming to address longstanding puzzles related to the anomalous magnetic moments of the muon and electron while maintaining consistency with neutrino masses and mixings. We find that among the various representations of vector-like leptons permitted by the Standard Model gauge symmetry, only weak doublets and singlets offer satisfactory solutions, all associated with a significantly constrained parameter space. Our analysis delves into the associated parameter space, identifying representative benchmark scenarios suitable for collider studies. These setups yield a distinctive six-lepton signature whose associated signals can easily be distinguished from the Standard Model background, providing a clear signal indicative of new physics models featuring vector-like leptons. Our work hence sheds light on the potential implications of vector-like leptons in resolving discrepancies inherent to the Standard Model, while also offering insights into experimental avenues for further exploration.


title: Context-aware LLM-based Safe Control Against Latent Risks

abstract: It is challenging for autonomous control systems to perform complex tasks in the presence of latent risks. Motivated by this challenge, this paper proposes an integrated framework that involves Large Language Models (LLMs), stochastic gradient descent (SGD), and optimization-based control. In the first phrase, the proposed framework breaks down complex tasks into a sequence of smaller subtasks, whose specifications account for contextual information and latent risks. In the second phase, these subtasks and their parameters are refined through a dual process involving LLMs and SGD. LLMs are used to generate rough guesses and failure explanations, and SGD is used to fine-tune parameters. The proposed framework is tested using simulated case studies of robots and vehicles. The experiments demonstrate that the proposed framework can mediate actions based on the context and latent risks and learn complex behaviors efficiently.


title: Symmetry-reduced Loop Quantum Gravity: Plane Waves, Flat Space and the Hamiltonian Constraint

abstract: Loop quantum gravity methods are applied to a symmetry-reduced model with homogeneity in two dimensions, derived from a Gowdy model [5,6]. The conditions for propagation of unidirectional plane gravitational waves at exactly the speed of light are set up in form of null Killing equations in terms of Ashtekar variables and imposed as operators on quantum states of the system. Due to the effective one-dimensionality, holonomies and holonomy operators appear as simple phase factors. In correspondence, state functions might be considered as U(1) elements with the usual inner product. Under the assumption of equal spacing of the eigenvalues of geometrical quantities the solutions are not normalizable in this sense. With decreasing spacing for growing eigenvalues, as introduced for example in [11], the situation becomes worse. Taking over the inner product from the genuine gauge group SU(2) of LQG renders the obtained states normalizable, nevertheless fluctuations of geometrical quantities remain divergent. In consequence, the solutions of the Killing conditions are modified, which means allowing for small fluctuations of the propagation speed, i. e. dispersion of gravitational waves. Vacuum fluctuations of Minkowski space are sketched. Finally the same methods are applied to the Hamiltonian constraint with the same result concerning normalizability. With such a modification also the constraint is not exactly satisfied any more, which indicates the necessary presence of some kind of interacting matter.