title: ExoSpikeNet: A Light Curve Analysis Based Spiking Neural Network for Exoplanet Detection

abstract: Exoplanets are celestial bodies orbiting stars beyond our Solar System. Although historically they posed detection challenges, Kepler's data has revolutionized our understanding. By analyzing flux values from the Kepler Mission, we investigate the intricate patterns in starlight that may indicate the presence of exoplanets. This study investigates a novel approach for exoplanet classification using Spiking Neural Networks (SNNs) applied to data obtained from the NASA Kepler mission. SNNs offer a unique advantage by mimicking the spiking behavior of neurons in the brain, allowing for more nuanced and biologically inspired processing of temporal data. Experimental results demonstrate the efficacy of the proposed SNN architecture, excelling in various performance metrics such as accuracy, F1 score, precision, and recall.


title: Undergraduate Robotics Education with General Instructors using a Student-Centered Personalized Learning Framework

abstract: Recent advancements in robotics, including applications like self-driving cars, unmanned systems, and medical robots, have had a significant impact on the job market. On one hand, big robotics companies offer training programs based on the job requirements. However, these training programs may not be as beneficial as general robotics programs offered by universities or community colleges. On the other hand, community colleges and universities face challenges with required resources, especially qualified instructors, to offer students advanced robotics education. Furthermore, the diverse backgrounds of undergraduate students present additional challenges. Some students bring extensive industry experiences, while others are newcomers to the field. To address these challenges, we propose a student-centered personalized learning framework for robotics. This framework allows a general instructor to teach undergraduate-level robotics courses by breaking down course topics into smaller components with well-defined topic dependencies, structured as a graph. This modular approach enables students to choose their learning path, catering to their unique preferences and pace. Moreover, our framework's flexibility allows for easy customization of teaching materials to meet the specific needs of host institutions. In addition to teaching materials, a frequently-asked-questions document would be prepared for a general instructor. If students' robotics questions cannot be answered by the instructor, the answers to these questions may be included in this document. For questions not covered in this document, we can gather and address them through collaboration with the robotics community and course content creators. Our user study results demonstrate the promise of this method in delivering undergraduate-level robotics education tailored to individual learning outcomes and preferences.


title: A Generic Layer Pruning Method for Signal Modulation Recognition Deep Learning Models

abstract: With the successful application of deep learning in communications systems, deep neural networks are becoming the preferred method for signal classification. Although these models yield impressive results, they often come with high computational complexity and large model sizes, which hinders their practical deployment in communication systems. To address this challenge, we propose a novel layer pruning method. Specifically, we decompose the model into several consecutive blocks, each containing consecutive layers with similar semantics. Then, we identify layers that need to be preserved within each block based on their contribution. Finally, we reassemble the pruned blocks and fine-tune the compact model. Extensive experiments on five datasets demonstrate the efficiency and effectiveness of our method over a variety of state-of-the-art baselines, including layer pruning and channel pruning methods.


title: Maesaka-Seki-Watanabe's formula for multiple harmonic $q$-sums

abstract: Maesaka, Seki, and Watanabe recently discovered an equality called the MSW formula. This paper provides a $q$-analogue of the MSW formula. It discusses the new proof of the duality relation for finite multiple harmonic $q$-series at primitive roots of unity via $q$-analogue of the MSW formula. This paper also gives a $q$-analogue of Yamamoto's generalization of the MSW formula for Schur type.


title: Prediction of the Dark Fermion Mass using Multicritical-Point Principle

abstract: This paper proposes a method to determine the effective potential using the multicritical-point principle (MPP) under the additional scalar field. The MPP is applied to the model in which a singlet dark fermion and a singlet real scalar field are added to the Standard Model (SM) to predict the dark fermion mass. As a result, the dark fermion mass is predicted to be about $866$--$937$ GeV.


title: Counteracting Duration Bias in Video Recommendation via Counterfactual Watch Time

abstract: In video recommendation, an ongoing effort is to satisfy users' personalized information needs by leveraging their logged watch time. However, watch time prediction suffers from duration bias, hindering its ability to reflect users' interests accurately. Existing label-correction approaches attempt to uncover user interests through grouping and normalizing observed watch time according to video duration. Although effective to some extent, we found that these approaches regard completely played records (i.e., a user watches the entire video) as equally high interest, which deviates from what we observed on real datasets: users have varied explicit feedback proportion when completely playing videos. In this paper, we introduce the counterfactual watch time(CWT), the potential watch time a user would spend on the video if its duration is sufficiently long. Analysis shows that the duration bias is caused by the truncation of CWT due to the video duration limitation, which usually occurs on those completely played records. Besides, a Counterfactual Watch Model (CWM) is proposed, revealing that CWT equals the time users get the maximum benefit from video recommender systems. Moreover, a cost-based transform function is defined to transform the CWT into the estimation of user interest, and the model can be learned by optimizing a counterfactual likelihood function defined over observed user watch times. Extensive experiments on three real video recommendation datasets and online A/B testing demonstrated that CWM effectively enhanced video recommendation accuracy and counteracted the duration bias.


title: Large Language Model Unlearning via Embedding-Corrupted Prompts

abstract: Large language models (LLMs) have advanced to encompass extensive knowledge across diverse domains. Yet controlling what a large language model should not know is important for ensuring alignment and thus safe use. However, accurately and efficiently unlearning knowledge from an LLM remains challenging due to the potential collateral damage caused by the fuzzy boundary between retention and forgetting, and the large computational requirements for optimization across state-of-the-art models with hundreds of billions of parameters. In this work, we present Embedding-COrrupted (ECO) Prompts, a lightweight unlearning framework for large language models to address both the challenges of knowledge entanglement and unlearning efficiency. Instead of relying on the LLM itself to unlearn, we enforce an unlearned state during inference by employing a prompt classifier to identify and safeguard prompts to forget. We learn corruptions added to prompt embeddings via zeroth order optimization toward the unlearning objective offline and corrupt prompts flagged by the classifier during inference. We find that these embedding-corrupted prompts not only lead to desirable outputs that satisfy the unlearning objective but also closely approximate the output from a model that has never been trained on the data intended for forgetting. Through extensive experiments on unlearning, we demonstrate the superiority of our method in achieving promising unlearning at nearly zero side effects in general domains and domains closely related to the unlearned ones. Additionally, we highlight the scalability of our method to 100 LLMs, ranging from 0.5B to 236B parameters, incurring no additional cost as the number of parameters increases.


title: Hardware Implementation of Soft Mapper/Demappers in Iterative EP-based Receivers

abstract: This paper presents a comprehensive study and implementations onto FPGA device of an Expectation Propagation (EP)-based receiver for QPSK, 8-PSK, and 16-QAM. To the best of our knowledge, this is the first for this kind of receiver. The receiver implements a Frequency Domain (FD) Self-Iterated Linear Equalizer (SILE), where EP is used to approximate the true posterior distribution of the transmitted symbols with a simpler distribution. Analytical approximations for the EP feedback generation process and the three constellations are applied to lessen the complexity of the soft mapper/demapper architectures. The simulation results demonstrate that the fixed-point version performs comparably to the floating-point. Moreover, implementation results show the efficiency in terms of FPGA resource usage of the proposed architecture.


title: Defining and Detecting Vulnerability in Human Evaluation Guidelines: A Preliminary Study Towards Reliable NLG Evaluation

abstract: Human evaluation serves as the gold standard for assessing the quality of Natural Language Generation (NLG) systems. Nevertheless, the evaluation guideline, as a pivotal element ensuring reliable and reproducible human assessment, has received limited attention.Our investigation revealed that only 29.84% of recent papers involving human evaluation at top conferences release their evaluation guidelines, with vulnerabilities identified in 77.09% of these guidelines. Unreliable evaluation guidelines can yield inaccurate assessment outcomes, potentially impeding the advancement of NLG in the right direction. To address these challenges, we take an initial step towards reliable evaluation guidelines and propose the first human evaluation guideline dataset by collecting annotations of guidelines extracted from existing papers as well as generated via Large Language Models (LLMs). We then introduce a taxonomy of eight vulnerabilities and formulate a principle for composing evaluation guidelines. Furthermore, a method for detecting guideline vulnerabilities has been explored using LLMs, and we offer a set of recommendations to enhance reliability in human evaluation. The annotated human evaluation guideline dataset and code for the vulnerability detection method are publicly available online.


title: Characterizing Unsafe Code Encapsulation In Real-world Rust Systems

abstract: Interior unsafe is an essential design paradigm advocated by the Rust community in system software development. However, there is little official guidance or few best practices regarding how to encapsulate unsafe code and achieve interior unsafe. The problem is critical because the Rust compiler is incapable of verifying the soundness of a safe function containing unsafe code. Falsely declaring an interior unsafe function as safe may undermine the fundamental memory-safety guarantee of Rust. To address this issue, this paper studies how interior unsafe is achieved in practice, aiming to identify best practices to guide Rust code design concerning unsafe code encapsulation. Specifically, we propose a novel unsafety isolation graph to model the essential usage and encapsulation of unsafe code. Based on the graph, we further propose four major isolation types and nine structural patterns to split a graph into several small self-contained subgraphs. These subgraphs can serve as useful audit units for examining the soundness of unsafe code encapsulation. We applied our approach to four real-world Rust projects. The experimental results demonstrate that our method is effective in characterizing their encapsulation code. Additionally, we identified two common issues in these projects that could complicate soundness verification or incur unsoundness issues.


title: IFTD: Image Feature Triangle Descriptor for Loop Detection in Driving Scenes

abstract: In this work, we propose a fast and robust Image Feature Triangle Descriptor (IFTD) based on the STD method, aimed at improving the efficiency and accuracy of place recognition in driving scenarios. We extract keypoints from BEV projection image of point cloud and construct these keypoints into triangle descriptors. By matching these feature triangles, we achieved precise place recognition and calculated the 4-DOF pose estimation between two keyframes. Furthermore, we employ image similarity inspection to perform the final place recognition. Experimental results on three public datasets demonstrate that our IFTD can achieve greater robustness and accuracy than state-of-the-art methods with low computational overhead.


title: On Annotation-free Optimization of Video Coding for Machines

abstract: Today, image and video data is not only viewed by humans, but also automatically analyzed by computer vision algorithms. However, current coding standards are optimized for human perception. Emerging from this, research on video coding for machines tries to develop coding methods designed for machines as information sink. Since many of these algorithms are based on neural networks, most proposals for video coding for machines build upon neural compression. So far, optimizing the compression by applying the task loss of the analysis network, for which ground truth data is needed, is achieving the best coding performance. But ground truth data is difficult to obtain and thus an optimization without ground truth is preferred. In this paper, we present an annotation-free optimization strategy for video coding for machines. We measure the distortion by calculating the task loss of the analysis network. Therefore, the predictions on the compressed image are compared with the predictions on the original image, instead of the ground truth data. Our results show that this strategy can even outperform training with ground truth data with rate savings of up to 7.5 %. By using the non-annotated training data, the rate gains can be further increased up to 8.2 %.


title: Representation-protected topology of spin-singlet $s$-wave superconductors

abstract: We show that spin-singlet $s$-wave multi-band superconductors have a topological phase protected by rotation symmetry and time-reversal symmetry without spin-orbit coupling in two and three dimensions. This topological phase, an example of a representation-protected topological phase, has a $\mathbb{Z}_2$ topological index and is stable as long as the bands at the Fermi energy are formed by a doublet of orbital states with finite angular momenta. In the limit of weak superconducting pair potential, the $\mathbb{Z}_2$ index gives a Fermi-surface formula and is related to the winding number of three-dimensional strong topological superconductors of class CI. We present a model of a topological $s_{\pm}$-wave superconductor that has gapless surface states with a quadratic dispersion and suggest a connection with iron-based superconductors.


title: Simple yet Sharp Sensitivity Analysis for Any Contrast Under Unmeasured Confounding

abstract: We extend our previous work on sensitivity analysis for the risk ratio and difference contrasts under unmeasured confounding to any contrast. We prove that the bounds produced are still arbitrarily sharp, i.e. practically attainable. We illustrate the usability of the bounds with real data.


title: Global-in-time energy stability: a powerful analysis tool for the gradient flow problem without maximum principle or Lipschitz assumption

abstract: Before proving (unconditional) energy stability for gradient flows, most existing studies either require a strong Lipschitz condition regarding the non-linearity or certain $L^{\infty}$ bounds on the numerical solutions (the maximum principle). However, proving energy stability without such premises is a very challenging task. In this paper, we aim to develop a novel analytical tool, namely global-in-time energy stability, to demonstrate energy dissipation without assuming any strong Lipschitz condition or $L^{\infty}$ boundedness. The fourth-order-in-space Swift-Hohenberg equation is used to elucidate the theoretical results in detail. We also propose a temporal second-order accurate scheme for efficiently solving such a strongly stiff equation. Furthermore, we present the corresponding optimal $L^2$ error estimate and provide several numerical simulations to demonstrate the dynamics.


title: Bound vertices of longest paths between two vertices in cubic graphs

abstract: Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. Let $H$ be a subgraph of a graph $G$. A vertex $v$ of $H$ is said to be $H$-bound if all the neighbors of $v$ in $G$ lie in $H$. Recently, Zhan has made the more general conjecture that in a $k$-connected graph, every longest path $P$ between two vertices contains at least $k-1$ internal $P$-bound vertices. In this paper, we prove that Zhan's conjecture holds for $2$-connected cubic graphs. This conclusion generalizes a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{129} (2018) 148--157]. Furthermore, we prove that if the two vertices are adjacent, Zhan's conjecture holds for $3$-connected cubic graphs, from which we deduce that every longest cycle in a $3$-connected cubic graph has at least two chords. This strengthens a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{71} (1997) 211--214].


title: Supertranslation ambiguity in post-Minkowskian expansion

abstract: The supertranslation ambiguity of angular momentum is a long-standing problem in general relativity. In the context of post-Minkowskian expansion, the supertranslation ambiguity arises the puzzle of the angular momentum loss to start at ${\cal O}(G^2)$ or at ${\cal O}(G^3)$ in gravitational scattering. In this paper, we propose a generic prescription to fix the supertranslation ambiguity at the linear order in post-Minkowskian expansion which will uniquely determine the angular momentum loss. The proposal is self-contained in the post-Minkowskian expansion and involves only null infinity data.


title: DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis

abstract: Testing is a major approach to ensuring the quality of deep learning (DL) libraries. Existing testing techniques commonly adopt differential testing to relieve the need for test oracle construction. However, these techniques are limited in finding implementations that offer the same functionality and generating diverse test inputs for differential testing. This paper introduces DLLens, a novel differential testing technique for DL library testing. Our insight is that APIs in different DL libraries are commonly designed to accomplish various computations for the same set of published DL algorithms. Although the mapping of these APIs is not often one-to-one, we observe that their computations can be mutually simulated after proper composition and adaptation. The use of these simulation counterparts facilitates differential testing for the detection of functional DL library bugs. Leveraging the insight, we propose DLLens as a novel mechanism that utilizes a large language model (LLM) to synthesize valid counterparts of DL library APIs. To generate diverse test inputs, DLLens incorporates a static analysis method aided by LLM to extract path constraints from all execution paths in each API and its counterpart's implementations. These path constraints are then used to guide the generation of diverse test inputs. We evaluate DLLens on two popular DL libraries, TensorFlow and PyTorch. Our evaluation shows that DLLens can synthesize counterparts for more than twice as many APIs found by state-of-the-art techniques on these libraries. Moreover, DLLens can extract 26.7% more constraints and detect 2.5 times as many bugs as state-of-the-art techniques. DLLens has successfully found 56 bugs in recent TensorFlow and PyTorch libraries. Among them, 41 are previously unknown, 39 of which have been confirmed by developers after reporting, and 19 of those confirmed bugs have been fixed by developers.


title: Making peace with random phases: Ab initio conical intersection dynamics in random gauges

abstract: Ab initio modeling of conical intersection dynamics is crucial for various photochemical, photophysical, and biological processes. However, adiabatic electronic states obtained from electronic structure computations involve random phases, or more generally, random gauge fixings, which hampers the modeling of nonadiabatic molecular dynamics. Here we develop a random-gauge local diabatic representation that allows an exact modeling of conical intersection dynamics directly using the adiabatic electronic states with phases randomly assigned during the electronic structure computations. Its utility is demonstrated by an exact ab initio modeling of the two-dimensional Shin-Metiu model with and without an external magnetic field. Our results provide a simple approach to integrating the electronic structure computations into non-adiabatic quantum dynamics, thus paving the way for ab initio modeling of conical intersection dynamics.


title: Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks

abstract: We present Elevator, a novel algorithm for hub samplingin peer-to-peer networks, enabling the construction of overlays with atopology between a random graph and a star network, and networksthat have both hubs and are resilient to failures. Our approach emergesfrom principles of preferential attachment, forming hubs spontaneously,offering an innovative solution for decentralized networks that can benefituse cases requiring a network with both low diameter and resilience tofailures.


title: Inverse scattering problem for third order differential operators on the whole axis

abstract: Inverse scattering problem for an operator, which is a sum of the operator of the third derivative and of an operator of multiplication by a real function, is solved. The main closed system of equations of inverse problem is obtained. This system contains scattering coefficients and bound state elements as independent parameters. Form of the simplest reflectionless potential (analogous to soliton) is found.


title: Ents: An Efficient Three-party Training Framework for Decision Trees by Communication Optimization

abstract: Multi-party training frameworks for decision trees based on secure multi-party computation enable multiple parties to train high-performance models on distributed private data with privacy preservation. The training process essentially involves frequent dataset splitting according to the splitting criterion (e.g. Gini impurity). However, existing multi-party training frameworks for decision trees demonstrate communication inefficiency due to the following issues: (1) They suffer from huge communication overhead in securely splitting a dataset with continuous attributes. (2) They suffer from huge communication overhead due to performing almost all the computations on a large ring to accommodate the secure computations for the splitting criterion. In this paper, we are motivated to present an efficient three-party training framework, namely Ents, for decision trees by communication optimization. For the first issue, we present a series of training protocols based on the secure radix sort protocols to efficiently and securely split a dataset with continuous attributes. For the second issue, we propose an efficient share conversion protocol to convert shares between a small ring and a large ring to reduce the communication overhead incurred by performing almost all the computations on a large ring. Experimental results from eight widely used datasets show that Ents outperforms state-of-the-art frameworks by $5.5\times \sim 9.3\times$ in communication sizes and $3.9\times \sim 5.3\times$ in communication rounds. In terms of training time, Ents yields an improvement of $3.5\times \sim 6.7\times$. To demonstrate its practicality, Ents requires less than three hours to securely train a decision tree on a widely used real-world dataset (Skin Segmentation) with more than 245,000 samples in the WAN setting.


title: Multi-Teacher Multi-Objective Meta-Learning for Zero-Shot Hyperspectral Band Selection

abstract: Band selection plays a crucial role in hyperspectral image classification by removing redundant and noisy bands and retaining discriminative ones. However, most existing deep learning-based methods are aimed at dealing with a specific band selection dataset, and need to retrain parameters for new datasets, which significantly limits their generalizability.To address this issue, a novel multi-teacher multi-objective meta-learning network (M$^3$BS) is proposed for zero-shot hyperspectral band selection. In M$^3$BS, a generalizable graph convolution network (GCN) is constructed to generate dataset-agnostic base, and extract compatible meta-knowledge from multiple band selection tasks. To enhance the ability of meta-knowledge extraction, multiple band selection teachers are introduced to provide diverse high-quality experiences.strategy Finally, subsequent classification tasks are attached and jointly optimized with multi-teacher band selection tasks through multi-objective meta-learning in an end-to-end trainable way. Multi-objective meta-learning guarantees to coordinate diverse optimization objectives automatically and adapt to various datasets simultaneously. Once the optimization is accomplished, the acquired meta-knowledge can be directly transferred to unseen datasets without any retraining or fine-tuning. Experimental results demonstrate the effectiveness and efficiency of our proposed method on par with state-of-the-art baselines for zero-shot hyperspectral band selection.


title: Reduced Basis method for finite volume simulations of parabolic PDEs applied to porous media flows

abstract: Numerical simulations are a highly valuable tool to evaluate the impact of the uncertainties of various modelparameters, and to optimize e.g. injection-production scenarios in the context of underground storage (of CO2typically). Finite volume approximations of Darcy's parabolic model for flows in porous media are typically runmany times, for many values of parameters like permeability and porosity, at costly computational efforts.We study the relevance of reduced basis methods as a way to lower the overall simulation cost of finite volumeapproximations to Darcy's parabolic model for flows in porous media for different values of the parameters suchas permeability. In the context of underground gas storage (of CO2 typically) in saline aquifers, our aim isto evaluate quickly, for many parameter values, the flux along some interior boundaries near the well injectionarea-regarded as a quantity of interest-. To this end, we construct reduced bases by a standard POD-Greedyalgorithm. Our POD-Greedy algorithm uses a new goal-oriented error estimator designed from a discrete space-time energy norm independent of the parameter. We provide some numerical experiments that validate theefficiency of the proposed estimator.


title: DemosaicFormer: Coarse-to-Fine Demosaicing Network for HybridEVS Camera

abstract: Hybrid Event-Based Vision Sensor (HybridEVS) is a novel sensor integrating traditional frame-based and event-based sensors, offering substantial benefits for applications requiring low-light, high dynamic range, and low-latency environments, such as smartphones and wearable devices. Despite its potential, the lack of Image signal processing (ISP) pipeline specifically designed for HybridEVS poses a significant challenge. To address this challenge, in this study, we propose a coarse-to-fine framework named DemosaicFormer which comprises coarse demosaicing and pixel correction. Coarse demosaicing network is designed to produce a preliminary high-quality estimate of the RGB image from the HybridEVS raw data while the pixel correction network enhances the performance of image restoration and mitigates the impact of defective pixels. Our key innovation is the design of a Multi-Scale Gating Module (MSGM) applying the integration of cross-scale features, which allows feature information to flow between different scales. Additionally, the adoption of progressive training and data augmentation strategies further improves model's robustness and effectiveness. Experimental results show superior performance against the existing methods both qualitatively and visually, and our DemosaicFormer achieves the best performance in terms of all the evaluation metrics in the MIPI 2024 challenge on Demosaic for Hybridevs Camera. The code is available at https://github.com/QUEAHREN/DemosaicFormer.


title: Spatial-Frequency Dual Progressive Attention Network For Medical Image Segmentation

abstract: In medical images, various types of lesions often manifest significant differences in their shape and texture. Accurate medical image segmentation demands deep learning models with robust capabilities in multi-scale and boundary feature learning. However, previous networks still have limitations in addressing the above issues. Firstly, previous networks simultaneously fuse multi-level features or employ deep supervision to enhance multi-scale learning. However, this may lead to feature redundancy and excessive computational overhead, which is not conducive to network training and clinical deployment. Secondly, the majority of medical image segmentation networks exclusively learn features in the spatial domain, disregarding the abundant global information in the frequency domain. This results in a bias towards low-frequency components, neglecting crucial high-frequency information. To address these problems, we introduce SF-UNet, a spatial-frequency dual-domain attention network. It comprises two main components: the Multi-scale Progressive Channel Attention (MPCA) block, which progressively extract multi-scale features across adjacent encoder layers, and the lightweight Frequency-Spatial Attention (FSA) block, with only 0.05M parameters, enabling concurrent learning of texture and boundary features from both spatial and frequency domains. We validate the effectiveness of the proposed SF-UNet on three public datasets. Experimental results show that compared to previous state-of-the-art (SOTA) medical image segmentation networks, SF-UNet achieves the best performance, and achieves up to 9.4\% and 10.78\% improvement in DSC and IOU. Codes will be released at https://github.com/nkicsl/SF-UNet.


title: DPSW-Sketch: A Differentially Private Sketch Framework for Frequency Estimation over Sliding Windows (Technical Report)

abstract: The sliding window model of computation captures scenarios in which data are continually arriving in the form of a stream, and only the most recent $w$ items are used for analysis. In this setting, an algorithm needs to accurately track some desired statistics over the sliding window using a small space. When data streams contain sensitive information about individuals, the algorithm is also urgently needed to provide a provable guarantee of privacy. In this paper, we focus on the two fundamental problems of privately (1) estimating the frequency of an arbitrary item and (2) identifying the most frequent items (i.e., \emph{heavy hitters}), in the sliding window model. We propose \textsc{DPSW-Sketch}, a sliding window framework based on the count-min sketch that not only satisfies differential privacy over the stream but also approximates the results for frequency and heavy-hitter queries within bounded errors in sublinear time and space w.r.t.~$w$. Extensive experiments on five real-world and synthetic datasets show that \textsc{DPSW-Sketch} provides significantly better utility-privacy trade-offs than state-of-the-art methods.


title: Dataset and Lessons Learned from the 2024 SaTML LLM Capture-the-Flag Competition

abstract: Large language model systems face important security risks from maliciously crafted messages that aim to overwrite the system's original instructions or leak private data. To study this problem, we organized a capture-the-flag competition at IEEE SaTML 2024, where the flag is a secret string in the LLM system prompt. The competition was organized in two phases. In the first phase, teams developed defenses to prevent the model from leaking the secret. During the second phase, teams were challenged to extract the secrets hidden for defenses proposed by the other teams. This report summarizes the main insights from the competition. Notably, we found that all defenses were bypassed at least once, highlighting the difficulty of designing a successful defense and the necessity for additional research to protect LLM systems. To foster future research in this direction, we compiled a dataset with over 137k multi-turn attack chats and open-sourced the platform.


title: How Interpretable Are Interpretable Graph Neural Networks?

abstract: Interpretable graph neural networks (XGNNs ) are widely adopted in various scientific applications involving graph-structured data. Existing XGNNs predominantly adopt the attention-based mechanism to learn edge or node importance for extracting and making predictions with the interpretable subgraph. However, the representational properties and limitations of these methods remain inadequately explored. In this work, we present a theoretical framework that formulates interpretable subgraph learning with the multilinear extension of the subgraph distribution, coined as subgraph multilinear extension (SubMT). Extracting the desired interpretable subgraph requires an accurate approximation of SubMT, yet we find that the existing XGNNs can have a huge gap in fitting SubMT. Consequently, the SubMT approximation failure will lead to the degenerated interpretability of the extracted subgraphs. To mitigate the issue, we design a new XGNN architecture called Graph Multilinear neT (GMT), which is provably more powerful in approximating SubMT. We empirically validate our theoretical findings on a number of graph classification benchmarks. The results demonstrate that GMT outperforms the state-of-the-art up to 10% in terms of both interpretability and generalizability across 12 regular and geometric graph benchmarks.


title: Ab initio calculations with a new local chiral N3LO nucleon-nucleon force

abstract: Ab initio calculations have achieved remarkable success in nuclear structure studies. Numerous works highlight the pivotal role of three-body forces in nuclear ab initio calculations. Concurrently, efforts have been made to replicate these calculations using only realistic nucleon-nucleon (NN) interactions. A novel local chiral next-to-next-to-next-to-leading order (N3LO) NN interaction, distinct due to its weaker tensor force, has recently been established. This paper applies this local NN interaction in ab initio frameworks to calculate the low-lying spectra of p-shell light nuclei, particularly 10B, ground-state energies and shell evolution in oxygen isotopes. Results are compared with calculations utilizing nonlocal chiral N3LO NN and chiral NN +3N interactions. The ab initio calculations with the local N N potential accurately describe the spectra of p-shell nuclei, notably the 10B. Additionally, the neutron drip line for oxygen isotopes, with 24O as the drip line nucleus, is accurately reproduced in ab initio calculations with the local NN interaction. Calculations with the local NN interaction also reproduce the subshell closure at N = 14 and 16, albeit with a stronger shell gap compared to experimental data. However, the calculated charge radii based on the local NN interaction are underestimated compared with experimental data, which is similar to results from the nonlocal NN interaction. Consequently, the present ab initio calculations further indicate significant spin-orbit splitting effects with the new local NN potential, suggesting that 3N forces remain an important consideration.


title: Light rings and causality for nonsingular ultracompact objects sourced by nonlinear electrodynamics

abstract: We study observational signatures of nonsingular ultracompact objects regularized by nonlinear electrodynamics. The phenomenon of birefringence causes photons of different polarizations to propagate with respect to two distinct metrics, which manifests itself in the appearance of additional light rings surrounding the ultracompact object. We analyze the observational consequences of this result and illustrate our findings based on three regular black hole models commonly considered in the literature. We find that nonsingular horizonless ultracompact objects sourced by nonlinear electrodynamics possess an odd number of light rings and discuss the viability of this effective description of their properties. In addition, we compare the phase velocities of polarized light rays propagating in nonsingular geometries sourced by nonlinear electrodynamics to the corresponding phase velocity in the Schwarzschild spacetime and demonstrate that regularizing the singularity by means of a theory that does not adhere to the Maxwell weak-field limit may lead to the emergence of acausal regions.


title: Weak interaction axial form factors of the octet baryons in nuclear medium

abstract: We study the axial-vector and the induced pseudoscalar form factors associated with the weak transitions between the octet baryon members in nuclear medium, using a covariant constituent quark model. We extend previous calculations of the axial transition form factors from the vacuum (free space) to the nuclear medium (symmetric nuclear matter). The extension of the model to the nuclear medium takes into account the modifications of the properties of hadrons in the medium (masses and coupling constants), as determined by the quark-meson coupling model. The axial-vector ($G_A$) and the induced pseudoscalar ($G_P$) form factors are evaluated for different values of the nuclear density $\rho$ in terms of the square transfer momentum $q^2= -Q^2$. We conclude that in general the $G_A$ and $G_P$ form factors are reduced in the nuclear medium. The reduction is stronger for light baryons and high densities. The medium modifications are milder for the heavier octet baryons, particularly at large $Q^2$. The calculations presented here can be used to estimate the cross sections of neutrino and antineutrino scattering with nucleus, and neutrino and antineutrino scattering with hyperons bound to a nucleus, as well as those in the cores of compact stars.


title: Multicriteria Adjustable Robustness

abstract: Multicriteria adjustable robust optimization (MARO) problems arise in a wide variety of practical settings, for example, in the design of a building's energy supply. However, no general approaches, neither for the characterization of solutions to this problem class, nor potential solution methods, are available in the literature so far. We give different definitions for efficient solutions to MARO problems and look at three computational concepts to deal with the problems. These computational concepts can also be understood as additional solution definitions. We assess the advantages and disadvantages of the different computational approaches and analyze their connections to our initial definitions of MARO-efficiency. We observe that an $\varepsilon$-constraint inspired first-scalarize-then-robustify computational approach is beneficial because it provides an efficient set that is easy to understand for decision makers and provides tight bounds on the worst-case evaluation for a particular efficient solution. In contrast, a weighted sum first-scalarize-then-robustify approach keeps the problem structure more simple but is only beneficial if the desired trade-off between objectives is already known because the efficient set might look ambiguous. Further, we demonstrate that a first-robustify procedure only gives bad bounds and can be too optimistic as well as too pessimistic.


title: Charge ordered phases in the hole-doped triangular Mott insulator 4Hb-TaS2

abstract: 4Hb-TaS2 has been proposed to possess unconventional superconductivity with broken time reveral symmetry due to distinctive layered structure, featuring a heterojunction between a 2D triangular Mott insulator and a charge density wave metal. However, since a frustrated spin state in the correlated insulating layer is susceptible to charge ordering with carrier doping, it is required to investigate the charge distribution driven by inter-layer charge transfer to understand its superconductivity. Here, we use scanning tunneling microscopy and spectroscopy (STM/S) to investigate the charge ordered phases of 1T-TaS2 layers within 4Hb-TaS2, explicitly focusing on the non-half-filled regime. Our STS results show an energy gap which exhibits an out-of-phase relation with the charge density. We ascribe the competition between on-site and nonlocal Coulomb repulsion as the driving force for the charge-ordered insulating phase of a doped triangular Mott insulator. In addition, we discuss the role of the insulating layer in the enhanced superconductivity of 4Hb-TaS2.


title: Accurate Explanation Model for Image Classifiers using Class Association Embedding

abstract: Image classification is a primary task in data analysis where explainable models are crucially demanded in various applications. Although amounts of methods have been proposed to obtain explainable knowledge from the black-box classifiers, these approaches lack the efficiency of extracting global knowledge regarding the classification task, thus is vulnerable to local traps and often leads to poor accuracy. In this study, we propose a generative explanation model that combines the advantages of global and local knowledge for explaining image classifiers. We develop a representation learning method called class association embedding (CAE), which encodes each sample into a pair of separated class-associated and individual codes. Recombining the individual code of a given sample with altered class-associated code leads to a synthetic real-looking sample with preserved individual characters but modified class-associated features and possibly flipped class assignments. A building-block coherency feature extraction algorithm is proposed that efficiently separates class-associated features from individual ones. The extracted feature space forms a low-dimensional manifold that visualizes the classification decision patterns. Explanation on each individual sample can be then achieved in a counter-factual generation manner which continuously modifies the sample in one direction, by shifting its class-associated code along a guided path, until its classification outcome is changed. We compare our method with state-of-the-art ones on explaining image classification tasks in the form of saliency maps, demonstrating that our method achieves higher accuracies. The code is available at https://github.com/xrt11/XAI-CODE.


title: Toward a Method to Generate Capability Ontologies from Natural Language Descriptions

abstract: To achieve a flexible and adaptable system, capability ontologies are increasingly leveraged to describe functions in a machine-interpretable way. However, modeling such complex ontological descriptions is still a manual and error-prone task that requires a significant amount of effort and ontology expertise. This contribution presents an innovative method to automate capability ontology modeling using Large Language Models (LLMs), which have proven to be well suited for such tasks. Our approach requires only a natural language description of a capability, which is then automatically inserted into a predefined prompt using a few-shot prompting technique. After prompting an LLM, the resulting capability ontology is automatically verified through various steps in a loop with the LLM to check the overall correctness of the capability ontology. First, a syntax check is performed, then a check for contradictions, and finally a check for hallucinations and missing ontology elements. Our method greatly reduces manual effort, as only the initial natural language description and a final human review and possible correction are necessary, thereby streamlining the capability ontology generation process.


title: High-temperature threshold of damage of SiC by swift heavy ions

abstract: At ambient conditions, SiC is known to be resistant to irradiation with swift heavy ions (SHI) decelerating in the electronic stopping regime. However, there is no experimental data on the SiC irradiation at elevated temperatures. To investigate this problem, we evaluate the stability of SiC to SHI impacts at high temperatures up to 2200 K. We apply the combination of the Monte-Carlo code TREKIS-3, describing excitation of the electronic and atomic systems using temperature-dependent scattering cross-sections, with molecular-dynamic modeling of the lattice response to the excitation. We demonstrate that increasing irradiation temperature increases the energy transferred to the atomic lattice from the excited electronic system. This material heating leads to formation of a stable nanometric damaged core along the trajectory of 710 MeV Bi ion when the irradiation temperature overcomes the threshold of ~1800 K. In this case, a chain of nanometric voids along the ion trajectory forms due to the mass transport from the track core by edge dislocations. Voids of larger sizes appear at higher irradiation temperatures. At lower irradiation temperatures, the damaged regions recrystallize completely within ~100 ps after the ion passage.


title: Political Leaning Inference through Plurinational Scenarios

abstract: Social media users express their political preferences via interaction with other users, by spontaneous declarations or by participation in communities within the network. This makes a social network such as Twitter a valuable data source to study computational science approaches to political learning inference. In this work we focus on three diverse regions in Spain (Basque Country, Catalonia and Galicia) to explore various methods for multi-party categorization, required to analyze evolving and complex political landscapes, and compare it with binary left-right approaches. We use a two-step method involving unsupervised user representations obtained from the retweets and their subsequent use for political leaning detection. Comprehensive experimentation on a newly collected and curated dataset comprising labeled users and their interactions demonstrate the effectiveness of using Relational Embeddings as representation method for political ideology detection in both binary and multi-party frameworks, even with limited training data. Finally, data visualization illustrates the ability of the Relational Embeddings to capture intricate intra-group and inter-group political affinities.


title: Compressive Beam Alignment for Indoor Millimeter-Wave Systems

abstract: The dynamic nature of indoor environments poses unique challenges for next-generation millimeter-wave (mmwave) connectivity. These challenges arise from blockages due to mobile obstacles, mm-wave signal scattering caused by indoor surfaces, and imperfections in phased antenna arrays. Consequently, traditional compressed sensing (CS) techniques for beam alignment become ineffective in practice under such settings. This paper proposes a novel beam alignment technique suited for mm-wave systems operating in indoor environments. The proposed technique exploits the energy compaction property of the discrete cosine transform to compressively sense and identify the strongest cluster locations in the transform domain for robust beamforming. Experimental results at 60 GHz demonstrate successful beam alignment with limited measurements even in the presence of partial blockages during the beam training phase.


title: Real-world Image Dehazing with Coherence-based Label Generator and Cooperative Unfolding Network

abstract: Real-world Image Dehazing (RID) aims to alleviate haze-induced degradation in real-world settings. This task remains challenging due to the complexities in accurately modeling real haze distributions and the scarcity of paired real-world data. To address these challenges, we first introduce a cooperative unfolding network that jointly models atmospheric scattering and image scenes, effectively integrating physical knowledge into deep networks to restore haze-contaminated details. Additionally, we propose the first RID-oriented iterative mean-teacher framework, termed the Coherence-based Label Generator, to generate high-quality pseudo labels for network training. Specifically, we provide an optimal label pool to store the best pseudo-labels during network training, leveraging both global and local coherence to select high-quality candidates and assign weights to prioritize haze-free regions. We verify the effectiveness of our method, with experiments demonstrating that it achieves state-of-the-art performance on RID tasks. Code will be available at \url{https://github.com/cnyvfang/CORUN-Colabator}.


title: Better than Random: Reliable NLG Human Evaluation with Constrained Active Sampling

abstract: Human evaluation is viewed as a reliable evaluation method for NLG which is expensive and time-consuming. To save labor and costs, researchers usually perform human evaluation on a small subset of data sampled from the whole dataset in practice. However, different selection subsets will lead to different rankings of the systems. To give a more correct inter-system ranking and make the gold standard human evaluation more reliable, we propose a Constrained Active Sampling Framework (CASF) for reliable human judgment. CASF operates through a Learner, a Systematic Sampler and a Constrained Controller to select representative samples for getting a more correct inter-system ranking.Experiment results on 137 real NLG evaluation setups with 44 human evaluation metrics across 16 datasets and 5 NLG tasks demonstrate CASF receives 93.18% top-ranked system recognition accuracy and ranks first or ranks second on 90.91% of the human metrics with 0.83 overall inter-system ranking Kendall correlation.Code and data are publicly available online.


title: On Siegel results about the zeros of the auxiliary function of Riemann

abstract: We state and give complete proof of the results of Siegel about the zeros of the auxiliary function of Riemann $\mathop{\mathcal R}(s)$. We point out the importance of the determination of the limit to the left of the zeros of $\mathop{\mathcal R}(s)$ with positive imaginary part, obtaining the term $-\sqrt{T/2\pi}P(\sqrt{T/2\pi})$ that would explain the periodic behaviour observed with the statistical study of the zeros of $\mathop{\mathcal R}(s)$. We precise also the connection of the position on the zeros of $\mathop{\mathcal R}(s)$ with the zeros of $\zeta(s)$ in the critical line.


title: LibriTTS-P: A Corpus with Speaking Style and Speaker Identity Prompts for Text-to-Speech and Style Captioning

abstract: We introduce LibriTTS-P, a new corpus based on LibriTTS-R that includes utterance-level descriptions (i.e., prompts) of speaking style and speaker-level prompts of speaker characteristics. We employ a hybrid approach to construct prompt annotations: (1) manual annotations that capture human perceptions of speaker characteristics and (2) synthetic annotations on speaking style. Compared to existing English prompt datasets, our corpus provides more diverse prompt annotations for all speakers of LibriTTS-R. Experimental results for prompt-based controllable TTS demonstrate that the TTS model trained with LibriTTS-P achieves higher naturalness than the model using the conventional dataset. Furthermore, the results for style captioning tasks show that the model utilizing LibriTTS-P generates 2.5 times more accurate words than the model using a conventional dataset. Our corpus, LibriTTS-P, is available at https://github.com/line/LibriTTS-P.


title: Guiding In-Context Learning of LLMs through Quality Estimation for Machine Translation

abstract: The quality of output from large language models (LLMs), particularly in machine translation (MT), is closely tied to the quality of in-context examples (ICEs) provided along with the query, i.e., the text to translate. The effectiveness of these ICEs is influenced by various factors, such as the domain of the source text, the order in which the ICEs are presented, the number of these examples, and the prompt templates used. Naturally, selecting the most impactful ICEs depends on understanding how these affect the resulting translation quality, which ultimately relies on translation references or human judgment. This paper presents a novel methodology for in-context learning (ICL) that relies on a search algorithm guided by domain-specific quality estimation (QE). Leveraging the XGLM model, our methodology estimates the resulting translation quality without the need for translation references, selecting effective ICEs for MT to maximize translation quality. Our results demonstrate significant improvements over existing ICL methods and higher translation performance compared to fine-tuning a pre-trained language model (PLM), specifically mBART-50.


title: It Takes Two: On the Seamlessness between Reward and Policy Model in RLHF

abstract: Reinforcement Learning from Human Feedback (RLHF) involves training policy models (PMs) and reward models (RMs) to align language models with human preferences. Instead of focusing solely on PMs and RMs independently, we propose to examine their interactions during fine-tuning, introducing the concept of seamlessness. Our study starts with observing the saturation phenomenon, where continual improvements in RM and PM do not translate into RLHF progress. Our analysis shows that RMs fail to assign proper scores to PM responses, resulting in a 35% mismatch rate with human preferences, highlighting a significant discrepancy between PM and RM. To measure seamlessness between PM and RM without human effort, we propose an automatic metric, SEAM. SEAM quantifies the discrepancies between PM and RM judgments induced by data samples. We validate the effectiveness of SEAM in data selection and model augmentation. Our experiments demonstrate that (1) using SEAM-filtered data for RL training improves RLHF performance by 4.5%, and (2) SEAM-guided model augmentation results in a 4% performance improvement over standard augmentation methods.


title: Expected value and a Cayley-Menger formula for the generalized earth mover's distance

abstract: The earth mover's distance (EMD), also known as the 1-Wasserstein metric, measures the minimum amount of work required to transform one probability distribution into another. The EMD can be naturally generalized to measure the "distance" between any number (say $d$) of distributions. In previous work (2021), we found a recursive formula for the expected value of the generalized EMD, assuming the uniform distribution on the standard $n$-simplex. This recursion, however, was computationally expensive, requiring $\binom{d+n}{d}$ iterations. The main result of the present paper is a nonrecursive formula for this expected value, expressed as the integral of a certain polynomial of degree at most $dn$. As a secondary result, we resolve an unanswered problem by giving a formula for the generalized EMD in terms of pairwise EMDs; this can be viewed as an analogue of the Cayley-Menger determinant formula that gives the hypervolume of a simplex in terms of its edge lengths.


title: Unique Security and Privacy Threats of Large Language Model: A Comprehensive Survey

abstract: With the rapid development of artificial intelligence, large language models (LLMs) have made remarkable advancements in natural language processing. These models are trained on vast datasets to exhibit powerful language understanding and generation capabilities across various applications, including machine translation, chatbots, and agents. However, LLMs have revealed a variety of privacy and security issues throughout their life cycle, drawing significant academic and industrial attention. Moreover, the risks faced by LLMs differ significantly from those encountered by traditional language models. Given that current surveys lack a clear taxonomy of unique threat models across diverse scenarios, we emphasize the unique privacy and security threats associated with five specific scenarios: pre-training, fine-tuning, retrieval-augmented generation systems, deployment, and LLM-based agents. Addressing the characteristics of each risk, this survey outlines potential threats and countermeasures. Research on attack and defense situations can offer feasible research directions, enabling more areas to benefit from LLMs.


title: Development Status of Wideband Millimeter-Wave Receivers for LMT-FINER

abstract: Spectroscopic observations of the far-infrared [O III] and [C II] lines present a pathway to explore the mechanisms of the emergence of massive galaxies in the epoch of reionization and beyond, which is one of the most fundamental questions in astronomy. To address this question, the Far-Infrared Nebular Emission Receiver (FINER) project is developing two wideband dual-polarization sideband-separating heterodyne receivers at 120--210 GHz and 210--360 GHz for the Large Millimeter Telescope (LMT) in Mexico. Compared with Atacama Large Millimeter/submillimeter Array (ALMA), LMT provides 40% of ALMA's light-collecting area and a similar atmospheric transmittance, but FINER plans to have an instantaneous intermediate frequency (IF) of 3--21 GHz per sideband per polarization which is five times wider than current ALMA's bandwidth. Therefore, FINER is going to offer cutting-edge spectral scanning capability in the next several years. The project is currently in an active development phase. In this proceeding, the latest development status for FINER, including the optics, wideband waveguide components as well as low-noise superconductor-insulator-superconductor (SIS) mixers is reported.


title: FINER: Far-Infrared Nebular Emission Receiver for the Large Millimeter Telescope

abstract: Unveiling the emergence and prevalence of massive/bright galaxies during the epoch of reionization and beyond, within the first 600 million years of the Universe, stands as a pivotal pursuit in astronomy. Remarkable progress has been made by JWST in identifying an immense population of bright galaxies, which hints at exceptionally efficient galaxy assembly processes. However, the underlying physical mechanisms propelling their rapid growth remain unclear. With this in mind, millimeter and submillimeter-wave spectroscopic observations of redshifted far-infrared spectral lines, particularly the [O III] 88 micron and [C II] 158 micron lines, offers a crucial pathway to address this fundamental query. To this end, we develop a dual-polarization sideband-separating superconductor-insulator-superconductor (SIS) mixer receiver, FINER, for the Large Millimeter Telescope (LMT) situated in Mexico. Harnessing advancements from ALMA's wideband sensitivity upgrade (WSU) technology, FINER covers radio frequencies spanning 120-360 GHz, delivering an instantaneous intermediate frequency (IF) of 3-21 GHz per sideband per polarization, which is followed by a set of 10.24 GHz-wide digital spectrometers. At 40% of ALMA's light-collecting area, the LMT's similar atmospheric transmittance and FINER's 5 times wider bandwidth compared to ALMA culminate in an unparalleled spectral scanning capability in the northern hemisphere, paving the way for finer spectral-resolution detection of distant galaxies.


title: Multivariate Log-based Anomaly Detection for Distributed Database

abstract: Distributed databases are fundamental infrastructures of today's large-scale software systems such as cloud systems. Detecting anomalies in distributed databases is essential for maintaining software availability. Existing approaches, predominantly developed using Loghub-a comprehensive collection of log datasets from various systems-lack datasets specifically tailored to distributed databases, which exhibit unique anomalies. Additionally, there's a notable absence of datasets encompassing multi-anomaly, multi-node logs. Consequently, models built upon these datasets, primarily designed for standalone systems, are inadequate for distributed databases, and the prevalent method of deeming an entire cluster anomalous based on irregularities in a single node leads to a high false-positive rate. This paper addresses the unique anomalies and multivariate nature of logs in distributed databases. We expose the first open-sourced, comprehensive dataset with multivariate logs from distributed databases. Utilizing this dataset, we conduct an extensive study to identify multiple database anomalies and to assess the effectiveness of state-of-the-art anomaly detection using multivariate log data. Our findings reveal that relying solely on logs from a single node is insufficient for accurate anomaly detection on distributed database. Leveraging these insights, we propose MultiLog, an innovative multivariate log-based anomaly detection approach tailored for distributed databases. Our experiments, based on this novel dataset, demonstrate MultiLog's superiority, outperforming existing state-of-the-art methods by approximately 12%.


title: Wakefield-driven filamentation of warm beams in plasma

abstract: Charged and quasi-neutral beams propagating through an unmagnetised plasma are subject to numerous collisionless instabilities on the small scale of the plasma skin depth. The electrostatic two-stream instability, driven by longitudinal and transverse wakefields, dominates for dilute beams. This leads to modulation of the beam along the propagation direction and, for wide beams, transverse filamentation. A three-dimensional spatiotemporal two-stream theory for warm beams with a finite extent is developed. Unlike the cold beam limit, diffusion due to a finite emittance gives rise to a dominant wavenumber, and a cut-off wavenumber above which filamentation is suppressed. Particle-in-cell simulations give excellent agreement with the theoretical model. This work provides deeper insights into the effect of diffusion on filamentation of finite beams, crucial for comprehending plasma-based accelerators in laboratory and cosmic settings.


title: A 10.24-GHz-wide digital spectrometer array system for LMT-FINER: system design and laboratory performance verification

abstract: For efficient spectroscopic redshift identification of early galaxies in the northern hemisphere, we aim to combine the Large Millimeter Telescope (LMT) with a wide-band heterodyne receiver, FINER, which will cover radio frequencies of 120--360 GHz and offer a 3--21 GHz intermediate frequency (IF) per sideband and polarization. To take full advantage of such wide IFs, we present a novel 10.24-GHz-wide digital spectrometer, DRS4 (Elecs Industry Co., Ltd.). It incorporates 20.48 Gsps samplers with an FPGA-based digital signal processing module. To mitigate the noise contamination from the image sideband, it is equipped with a digital sideband separation function to improve the sideband rejection up to 25 dB. Laboratory performance evaluations show that it exhibits an Allan time of at least ~100 s and a total power dynamic range of at least 7 dB. These results demonstrate its capability of instantaneously wide-band spectroscopy toward high-redshift galaxies with position-switching observations.


title: Heuristic Learning with Graph Neural Networks: A Unified Framework for Link Prediction

abstract: Link prediction is a fundamental task in graph learning, inherently shaped by the topology of the graph. While traditional heuristics are grounded in graph topology, they encounter challenges in generalizing across diverse graphs. Recent research efforts have aimed to leverage the potential of heuristics, yet a unified formulation accommodating both local and global heuristics remains undiscovered. Drawing insights from the fact that both local and global heuristics can be represented by adjacency matrix multiplications, we propose a unified matrix formulation to accommodate and generalize various heuristics. We further propose the Heuristic Learning Graph Neural Network (HL-GNN) to efficiently implement the formulation. HL-GNN adopts intra-layer propagation and inter-layer connections, allowing it to reach a depth of around 20 layers with lower time complexity than GCN. Extensive experiments on the Planetoid, Amazon, and OGB datasets underscore the effectiveness and efficiency of HL-GNN. It outperforms existing methods by a large margin in prediction performance. Additionally, HL-GNN is several orders of magnitude faster than heuristic-inspired methods while requiring only a few trainable parameters. The case study further demonstrates that the generalized heuristics and learned weights are highly interpretable.


title: Reinforcement Learning for High-Level Strategic Control in Tower Defense Games

abstract: In strategy games, one of the most important aspects of game design is maintaining a sense of challenge for players. Many mobile titles feature quick gameplay loops that allow players to progress steadily, requiring an abundance of levels and puzzles to prevent them from reaching the end too quickly. As with any content creation, testing and validation are essential to ensure engaging gameplay mechanics, enjoyable game assets, and playable levels. In this paper, we propose an automated approach that can be leveraged for gameplay testing and validation that combines traditional scripted methods with reinforcement learning, reaping the benefits of both approaches while adapting to new situations similarly to how a human player would. We test our solution on a popular tower defense game, Plants vs. Zombies. The results show that combining a learned approach, such as reinforcement learning, with a scripted AI produces a higher-performing and more robust agent than using only heuristic AI, achieving a 57.12% success rate compared to 47.95% in a set of 40 levels. Moreover, the results demonstrate the difficulty of training a general agent for this type of puzzle-like game.


title: Towards Accelerating Real-Time Path Tracing with Foveated Framework

abstract: Path tracing is one of the most widespread rendering techniques for high-end graphics fidelity. However, the slow convergence time and presence of intensive noises make it infeasible for numerous real-time applications where physically corrected photorealistic effects are salient. Additionally, the increased demand for pixel density, geometric complexity, advanced material, and multiple lights hinder the algorithm from attaining an interactive frame rate for real-time applications. To address these issues, we developed a framework to accelerate path tracing through foveated rendering, a robust technique that leverages human vision. Our dynamic foveated path-tracing framework integrates fixation data and selectively lowers the rendering resolution towards the periphery. The framework is built on NVIDIA's OptiX 7.5 API with CUDA 12.1, serving as the base of future foveated path tracing research. Through comprehensive experimentation, we demonstrated the effectiveness of our framework in this paper. Depending on the scene complexity, our solution can significantly enhance rendering performance up to a factor of 25 without any notable visual differences. We further evaluated the framework using a structured error map algorithm with variable sample numbers and foveated area size.


title: Quantitative analysis and its applications for Keller-Segel type systems

abstract: In this paper, we utilize the De Giorgi iteration to quantitatively analyze the upper bound of solutions for Keller-Segel type systems. The refined upper bound estimate presented here has broad applications in determining large time behaviours of weak solutions and improving the regularity for models involving the $p$-Laplace operator. To demonstrate the applicability of our findings, we investigate the asymptotic stability of a chemotaxis model with nonlinear signal production and a chemotaxis-Navier-Stokes model with a logistic source. Additionally, within the context of $p$-Laplacian diffusion, we establish H\"{o}lder continuity for a chemotaxis-haptotaxis model and a chemotaxis-Stokes model.


title: Meta-Learning Neural Procedural Biases

abstract: The goal of few-shot learning is to generalize and achieve high performance on new unseen learning tasks, where each task has only a limited number of examples available. Gradient-based meta-learning attempts to address this challenging task by learning how to learn new tasks by embedding inductive biases informed by prior learning experiences into the components of the learning algorithm. In this work, we build upon prior research and propose Neural Procedural Bias Meta-Learning (NPBML), a novel framework designed to meta-learn task-adaptive procedural biases. Our approach aims to consolidate recent advancements in meta-learned initializations, optimizers, and loss functions by learning them simultaneously and making them adapt to each individual task to maximize the strength of the learned inductive biases. This imbues each learning task with a unique set of procedural biases which is specifically designed and selected to attain strong learning performance in only a few gradient steps. The experimental results show that by meta-learning the procedural biases of a neural network, we can induce strong inductive biases towards a distribution of learning tasks, enabling robust learning performance across many well-established few-shot learning benchmarks.


title: On the density patch problem for the 2-D inhomogeneous Navier-Stokes equations

abstract: In this paper, we first construct a class of global strong solutions for the 2-D inhomogeneous Navier-Stokes equations under very general assumption that the initial density is only bounded and the initial velocity is in $H^1(\mathbb{R}^2)$. With suitable assumptions on the initial density, which includes the case of density patch and vacuum bubbles, we prove that Lions' s weak solution is the same as the strong solution with the same initial data. In particular, this gives a complete resolution of the density patch problem proposed by Lions: {\it for the density patch data $\rho_0=1_{D}$ with a smooth bounded domain $D\subset\mathbb{R}^2$, the regularity of $D$ is preserved by the time evolution of Lions's weak solution.}


title: Normalized solutions to a class of $(2, q)$-Laplacian equations in the strongly sublinear regime

abstract: In this paper, we consider the existence and multiplicity of normalized solutions for the following $(2, q)$-Laplacian equation \begin{equation}\label{Equation} \left\{\begin{aligned} &-\Delta u-\Delta_q u+\lambda u=g(u),\quad x \in \mathbb{R}^N, &\|u\|_2^2 =c^2, \end{aligned}\right. \tag{$\mathscr E_\lambda$} \end{equation} where $1<q<N$, $\Delta_q=\operatorname{div}\left(|\nabla u|^{q-2} \nabla u\right)$ is the $q$-Laplacian operator, $\lambda$ is a Lagrange multiplier and $c>0$ is a constant. The nonlinearity $g:\mathbb{R}\rightarrow \mathbb{R}$ is continuous and the behaviour of $g$ at the origin is allowed to be strongly sublinear, i.e., $\lim \limits_{s \rightarrow 0} g(s) / s=-\infty$, which includes the logarithmic nonlinearity $$g(s)= s \log s^2.$$ We consider a family of approximating problems that can be set in $H^1\left(\mathbb{R}^N\right)\cap D^{1, q}\left(\mathbb{R}^N\right)$ and the corresponding least-energy solutions. Then, we prove that such a family of solutions converges to a least-energy solution to the original problem. Additionally, under certain assumptions about $g$ that allow us to work in a suitable subspace of $H^1\left(\mathbb{R}^N\right)\cap D^{1, q}\left(\mathbb{R}^N\right)$, we prove the existence of infinitely many solutions of the above $(2, q)$-Laplacian equation.


title: SimSAM: Simple Siamese Representations Based Semantic Affinity Matrix for Unsupervised Image Segmentation

abstract: Recent developments in self-supervised learning (SSL) have made it possible to learn data representations without the need for annotations. Inspired by the non-contrastive SSL approach (SimSiam), we introduce a novel framework SIMSAM to compute the Semantic Affinity Matrix, which is significant for unsupervised image segmentation. Given an image, SIMSAM first extracts features using pre-trained DINO-ViT, then projects the features to predict the correlations of dense features in a non-contrastive way. We show applications of the Semantic Affinity Matrix in object segmentation and semantic segmentation tasks. Our code is available at https://github.com/chandagrover/SimSAM.


title: A general solution for the response of materials under radiation and tilted magnetic field: semi-classical regime

abstract: The Berry curvature dipole is well-known to cause Hall conductivity. This study expands on previous results to demonstrate how two- and three-dimensional materials react under a tilted magnetic field in the linear and nonlinear regimes. We show how the Hall effect has a quantum origin by deriving the general form of intrinsic and extrinsic currents in materials under a tilted magnetic field. Our focus is on determining the linear and nonlinear response of two-dimensional materials. We also demonstrate that as the result of the perpendicular component of the magnetic field a classic-quantum current can occur in two-dimensional materials and topological crystalline insulators in second harmonic generation and ratchet responses. The findings of this research may provide insight into the transport characteristics of materials in the semi-classical regime and initiate a new chapter in linear and nonlinear Hall effects.


title: Holographic Superfluid Ring with a Weak Link

abstract: We explore the generation of topological defects in the course of a dynamical phase transition in a ring with a weak link, i.e., a SSS Josephson junction, from the AdS/CFT correspondence. By setting different parameters of the junction (width, steepness, depth) and the final temperature of the quench, the configurations of the charge density and condensate of the order parameters of the dual field theory are presented. Meanwhile, we observe that in the final equilibrium state, variations in parameters of the junctions only affect the configurations of the charge density and condensate of the order parameters, without altering their values outside the junction. However, variations in the final temperature will directly affect the values of the charge density and condensate of the order parameters outside of the junction. Moreover, in the final equilibrium state, we propose an analytic relation between the gauge-invariant velocity in the two superconducting states in the SSS Josephson junction, which agrees well with the numerical results.


title: Near-Field Wideband Beam Training Based on Distance-Dependent Beam Split

abstract: Near-field beam training is essential for acquiring channel state information in 6G extremely large-scale multiple input multiple output (XL-MIMO) systems. To achieve low-overhead beam training, existing method has been proposed to leverage the near-field beam split effect, which deploys true-time-delay arrays to simultaneously search multiple angles of the entire angular range in a distance ring with a single pilot. However, the method still requires exhaustive search in the distance domain, which limits its efficiency. To address the problem, we propose a distance-dependent beam-split-based beam training method to further reduce the training overheads. Specifically, we first reveal the new phenomenon of distance-dependent beam split, where by manipulating the configurations of time-delay and phase-shift, beams at different frequencies can simultaneously scan the angular domain in multiple distance rings. Leveraging the phenomenon, we propose a near-field beam training method where both different angles and distances can simultaneously be searched in one time slot. Thus, a few pilots are capable of covering the whole angle-distance space for wideband XL-MIMO. Theoretical analysis and numerical simulations are also displayed to verify the superiority of the proposed method on beamforming gain and training overhead.


title: Blowfish: Topological and statistical signatures for quantifying ambiguity in semantic search

abstract: This works reports evidence for the topological signatures of ambiguity in sentence embeddings that could be leveraged for ranking and/or explanation purposes in the context of vector search and Retrieval Augmented Generation (RAG) systems. We proposed a working definition of ambiguity and designed an experiment where we have broken down a proprietary dataset into collections of chunks of varying size - 3, 5, and 10 lines and used the different collections successively as queries and answers sets. It allowed us to test the signatures of ambiguity with removal of confounding factors. Our results show that proxy ambiguous queries (size 10 queries against size 3 documents) display different distributions of homologies 0 and 1 based features than proxy clear queries (size 5 queries against size 10 documents). We then discuss those results in terms increased manifold complexity and/or approximately discontinuous embedding submanifolds. Finally we propose a strategy to leverage those findings as a new scoring strategy of semantic similarities.


title: Interpetable Target-Feature Aggregation for Multi-Task Learning based on Bias-Variance Analysis

abstract: Multi-task learning (MTL) is a powerful machine learning paradigm designed to leverage shared knowledge across tasks to improve generalization and performance. Previous works have proposed approaches to MTL that can be divided into feature learning, focused on the identification of a common feature representation, and task clustering, where similar tasks are grouped together. In this paper, we propose an MTL approach at the intersection between task clustering and feature transformation based on a two-phase iterative aggregation of targets and features. First, we propose a bias-variance analysis for regression models with additive Gaussian noise, where we provide a general expression of the asymptotic bias and variance of a task, considering a linear regression trained on aggregated input features and an aggregated target. Then, we exploit this analysis to provide a two-phase MTL algorithm (NonLinCTFA). Firstly, this method partitions the tasks into clusters and aggregates each obtained group of targets with their mean. Then, for each aggregated task, it aggregates subsets of features with their mean in a dimensionality reduction fashion. In both phases, a key aspect is to preserve the interpretability of the reduced targets and features through the aggregation with the mean, which is further motivated by applications to Earth science. Finally, we validate the algorithms on synthetic data, showing the effect of different parameters and real-world datasets, exploring the validity of the proposed methodology on classical datasets, recent baselines, and Earth science applications.


title: A Federated Online Restless Bandit Framework for Cooperative Resource Allocation

abstract: Restless multi-armed bandits (RMABs) have been widely utilized to address resource allocation problems with Markov reward processes (MRPs). Existing works often assume that the dynamics of MRPs are known prior, which makes the RMAB problem solvable from an optimization perspective. Nevertheless, an efficient learning-based solution for RMABs with unknown system dynamics remains an open problem. In this paper, we study the cooperative resource allocation problem with unknown system dynamics of MRPs. This problem can be modeled as a multi-agent online RMAB problem, where multiple agents collaboratively learn the system dynamics while maximizing their accumulated rewards. We devise a federated online RMAB framework to mitigate the communication overhead and data privacy issue by adopting the federated learning paradigm. Based on this framework, we put forth a Federated Thompson Sampling-enabled Whittle Index (FedTSWI) algorithm to solve this multi-agent online RMAB problem. The FedTSWI algorithm enjoys a high communication and computation efficiency, and a privacy guarantee. Moreover, we derive a regret upper bound for the FedTSWI algorithm. Finally, we demonstrate the effectiveness of the proposed algorithm on the case of online multi-user multi-channel access. Numerical results show that the proposed algorithm achieves a fast convergence rate of $\mathcal{O}(\sqrt{T\log(T)})$ and better performance compared with baselines. More importantly, its sample complexity decreases with the number of agents.


title: How social reinforcement learning can lead to metastable polarisation and the voter model

abstract: Previous explanations for the persistence of polarization of opinions have typically included modelling assumptions that predispose the possibility of polarization (e.g.\ repulsive interactions). An exception is recent research showing that polarization is stable when agents form their opinions using reinforcement learning. We show that the polarization observed in this model is not stable, but exhibits consensus asymptotically with probability one. By constructing a link between the reinforcement learning model and the voter model, we argue that the observed polarization is metastable. Finally, we show that a slight modification in the learning process of the agents changes the model from being non-ergodic to being ergodic. Our results show that reinforcement learning may be a powerful method for modelling polarization in opinion dynamics, but that the tools appropriate for analysing such models crucially depend on the properties of the resulting systems. Properties which are determined by the details of the learning process.


title: An Extension of Greenwood's Formula to Variances

abstract: In this article, we introduce an estimator for the asymptotic variance of the Greenwood variance estimator, where the latter is crucial for assessing the accuracy of the Kaplan-Meier survival estimator. The result indicates that the asymptotic variance of the Greenwood variance estimator is considerably smaller than that of the Kaplan-Meier variance estimator. This finding emphasizes the robustness of the Greenwood estimator.


title: Fine Boundary Regularity For The Fractional (p,q)-Laplacian

abstract: In this article, we deal with the fine boundary regularity, a weighted H\"{o}lder regularity of weak solutions to the problem involving the fractional $(p,q)$-Laplacian denoted by \begin{eqnarray*} \begin{array}{rll} (-\Delta)_{p}^{s} u + (-\Delta)_{q}^{s} u &= f(x) &\text{ in } \Omega u&=0 &\text{ in } \mathbb{R}^N\setminus\Omega; \end{array} \end{eqnarray*} where $\Omega$ is a $C^{1,1}$ bounded domain and $2 \leq p \leq q <\infty.$ For $0<s<1$ and for non-negative data $f\in L^{\infty}(\Omega),$ we employ the nonlocal analogue of the boundary Harnack method to establish that $u/{d_{\Omega}^{s}} \in C^{\alpha}(\Bar{\Omega})$ for some $\alpha \in (0,1),$ where $d_\Omega(x)$ is the distance of $x$ from the boundary. A novel barrier construction allows us to analyse the regularity theory even in the absence of the scaling or the homogeneity properties of the operator. Additionally, we extend our idea to sign changing bounded $f$ as well and prove a fine boundary regularity for fractional $(p,q)$ Laplacian for some range of $s.$


title: Semantic-Aware Resource Allocation Based on Deep Reinforcement Learning for 5G-V2X HetNets

abstract: This letter proposes a semantic-aware resource allocation (SARA) framework with flexible duty cycle (DC) coexistence mechanism (SARADC) for 5G-V2X Heterogeneous Network (HetNets) based on deep reinforcement learning (DRL) proximal policy optimization (PPO). Specifically, we investigate V2X networks within a two-tiered HetNets structure. In response to the needs of high-speed vehicular networking in urban environments, we design a semantic communication system and introduce two resource allocation metrics: high-speed semantic transmission rate (HSR) and semantic spectrum efficiency (HSSE). Our main goal is to maximize HSSE. Additionally, we address the coexistence of vehicular users and WiFi users in 5G New Radio Unlicensed (NR-U) networks. To tackle this complex challenge, we propose a novel approach that jointly optimizes flexible DC coexistence mechanism and the allocation of resources and base stations (BSs). Unlike traditional bit transmission methods, our approach integrates the semantic communication paradigm into the communication system. Experimental results demonstrate that our proposed solution outperforms traditional bit transmission methods with traditional DC coexistence mechanism in terms of HSSE and semantic throughput (ST) for both vehicular and WiFi users.


title: Stabilizability of parabolic equations by switching controls based on point actuators

abstract: It is shown that a switching control involving a finite number of Dirac delta actuators is able to steer the state of a general class of nonautonomous parabolic equations to zero as time increases to infinity. The strategy is based on a recent feedback stabilizability result, which utilizes control forces given by linear combinations of appropriately located Dirac delta distribution actuators. Then, the existence of a stabilizing switching control with no more than one actuator active at each time instant is established. For the implementation in practice, the stabilization problem is formulated as an infinite horizon optimal control problem, with cardinality-type control constraints enforcing the switching property. Subsequently, this problem is tackled using a receding horizon framework. Its suboptimality and stabilizabilizing properties are analyzed. Numerical simulations validate the approach, illustrating its stabilizing and switching properties.


title: Scaling properties of (2+1) directed polymers in the low temperature limit

abstract: In terms of the replica method we consider the low temperature limit of (2+1) directed polymers in a random potential. The proposed approach allows to compute the scaling exponent $\theta$ of the free energy fluctuations as well as the left tail of its probability distribution function. It is argued that $\theta = 1/4$ which is slightly different from the zero-temperature numerical value which is close to $0.241$.


title: Stochastic Maximum Principle for optimal advertising models with delay and non-convex control space

abstract: In this paper we study optimal advertising problems that models the introduction of a new product into the market in the presence of carryover effects of the advertisement and with memory effects in the level of goodwill. In particular, we let the dynamics of the product goodwill to depend on the past, and also on past advertising efforts. We treat the problem by means of the stochastic Pontryagin maximum principle, that here is considered for a class of problems where in the state equation either the state or the control depend on the past. Moreover the control acts on the martingale term and the space of controls can be chosen to be non-convex. The maximum principle is thus formulated using a first-order adjoint Backward Stochastic Differential Equations (BSDEs), which can be explicitly computed due to the specific characteristics of the model, and a second-order adjoint relation.


title: Diffuse fraction as a tool for exploring the sensitivity of parametric clear-sky models to changing aerosol conditions

abstract: Aerosols' impact on the performance of a clear-sky solar irradiance model is often evaluated from the perspective of the overall accuracy of estimates. This study assesses the aerosol role in clear-sky solar irradiance modelling from a totally different perspective, namely the ability of a model to accurately separate global solar irradiance into its fundamental direct and diffuse components. In an innovative approach, the analysis is focused on the sensitivity of parametric solar irradiance models to changes in aerosol conditions. A new measure, the aerosol influence quantifier, is introduced for assessing the correlation strength between the relative variation in clear-sky diffuse fraction and the relative variation in atmospheric aerosol load. The effectiveness of the aerosol influence quantifier is explored as a tool for assessing the sensitivity of three parametric clear-sky models to variations in input aerosol data. A rather surprising result is reported, e.g. if high quality aerosol data are not available, one could potentially maximize the estimate's accuracy by using a parametric clear-sky solar irradiance model with low sensitivity to aerosol variations. In such cases, it is shown that the aerosol influence quantifier can be used as a tool for identifying an adequate model for input data with a given uncertainty.


title: Asymptotic Unbiased Sample Sampling to Speed Up Sharpness-Aware Minimization

abstract: Sharpness-Aware Minimization (SAM) has emerged as a promising approach for effectively reducing the generalization error. However, SAM incurs twice the computational cost compared to base optimizer (e.g., SGD). We propose Asymptotic Unbiased Sampling with respect to iterations to accelerate SAM (AUSAM), which maintains the model's generalization capacity while significantly enhancing computational efficiency. Concretely, we probabilistically sample a subset of data points beneficial for SAM optimization based on a theoretically guaranteed criterion, i.e., the Gradient Norm of each Sample (GNS). We further approximate the GNS by the difference in loss values before and after perturbation in SAM. As a plug-and-play, architecture-agnostic method, our approach consistently accelerates SAM across a range of tasks and networks, i.e., classification, human pose estimation and network quantization. On CIFAR10/100 and Tiny-ImageNet, AUSAM achieves results comparable to SAM while providing a speedup of over 70%. Compared to recent dynamic data pruning methods, AUSAM is better suited for SAM and excels in maintaining performance. Additionally, AUSAM accelerates optimization in human pose estimation and model quantization without sacrificing performance, demonstrating its broad practicality.


title: Efficient Adaptation in Mixed-Motive Environments via Hierarchical Opponent Modeling and Planning

abstract: Despite the recent successes of multi-agent reinforcement learning (MARL) algorithms, efficiently adapting to co-players in mixed-motive environments remains a significant challenge. One feasible approach is to hierarchically model co-players' behavior based on inferring their characteristics. However, these methods often encounter difficulties in efficient reasoning and utilization of inferred information. To address these issues, we propose Hierarchical Opponent modeling and Planning (HOP), a novel multi-agent decision-making algorithm that enables few-shot adaptation to unseen policies in mixed-motive environments. HOP is hierarchically composed of two modules: an opponent modeling module that infers others' goals and learns corresponding goal-conditioned policies, and a planning module that employs Monte Carlo Tree Search (MCTS) to identify the best response. Our approach improves efficiency by updating beliefs about others' goals both across and within episodes and by using information from the opponent modeling module to guide planning. Experimental results demonstrate that in mixed-motive environments, HOP exhibits superior few-shot adaptation capabilities when interacting with various unseen agents, and excels in self-play scenarios. Furthermore, the emergence of social intelligence during our experiments underscores the potential of our approach in complex multi-agent environments.


title: Neural Data-Enabled Predictive Control

abstract: Data-enabled predictive control (DeePC) for linear systems utilizes data matrices of recorded trajectories to directly predict new system trajectories, which is very appealing for real-life applications. In this paper we leverage the universal approximation properties of neural networks (NNs) to develop neural DeePC algorithms for nonlinear systems. Firstly, we point out that the outputs of the last hidden layer of a deep NN implicitly construct a basis in a so-called neural (feature) space, while the output linear layer performs affine interpolation in the neural space. As such, we can train off-line a deep NN using large data sets of trajectories to learn the neural basis and compute on-line a suitable affine interpolation using DeePC. Secondly, methods for guaranteeing consistency of neural DeePC and for reducing computational complexity are developed. Several neural DeePC formulations are illustrated on a nonlinear pendulum example.


title: Probing the filamentary nature of star formation in the California giant molecular cloud

abstract: Recent studies suggest that filamentary structures are representative of the initial conditions of star formation in molecular clouds and support a filament paradigm for star formation, potentially accounting for the origin of the stellar initial mass function (IMF). Using Herschel imaging observations of the California giant molecular cloud, we aim to further investigate the filament paradigm for low- to intermediate-mass star formation and to better understand the exact role of filaments in the origin of stellar masses. Using the multiscale, multiwavelength extraction method getsf, we identify starless cores, protostars, and filaments in the Herschel data set and separate these components from the background cloud contribution to determine accurate core and filament properties. Both the prestellar core mass function (CMF) and the distribution of filament masses per unit length or filament line mass function (FLMF) are consistent with power-law distributions at the high-mass end, $\Delta N/\Delta {\rm log}M\propto M^{-1.4 \pm 0.2}$ at $M > 1\,M_\odot$ for the CMF and $\Delta N/\Delta {\rm log} {M}_{\rm line} \propto {M}_{\rm line}^{-1.5\pm0.2}$ for the FLMF at $M_{\rm line} > 10\,M_\odot {\rm pc^{-1}}$, which are both consistent with the Salpeter power-law IMF. Based on these results, we propose a revised model for the origin of the CMF in filaments, whereby the global prestellar CMF in a molecular cloud arises from the integration of the CMFs generated by individual thermally supercritical filaments within the cloud. Our findings support the existence a tight connection between the FLMF and the CMF/IMF and suggests that filamentary structures represent a critical evolutionary step in establishing a Salpeter-like mass function.


title: Metasensor: a proposal for sensor evolution in robotics

abstract: Sensors play a fundamental role in achieving the complex behaviors typically found in biological organisms. However, their potential role in the design of artificial agents is often overlooked. This often results in the design of robots that are poorly adapted to the environment, compared to their biological counterparts. This paper proposes a formalization of a novel architectural component, called a metasensor, which enables a process of sensor evolution reminiscent of what occurs in living organisms. Even in online scenarios, the metasensor layer searches for the optimal interpretation of its input signals and then feeds them to the robotic agent to accomplish the assigned task.


title: A new type of $f(\mathcal{T})$ gravity from Barrow entropy

abstract: In this work, two originally separate adjustments for the Friedmann equations are concurrently considered. Firstly, the fractal structure of the black hole horizon region is imposed by the Barrow entropy. The second adjustment is the $f(\mathcal{T})$ gravity, which is based on a teleparallel framework generalization of the Einstein-Hilbert action, where $\mathcal{T}$ is the scalar torsion. This can be considered as a Barrow entropy modification of the $f(\mathcal{T})$ gravity thus yielding a new model. Gravity thermodynamics hypothesis principles are used to integrate these two models under a unified framework. We derive the modified Friedmann equation and note the corrections obtained. To understand the implications of such dual modifications, an application is analyzed and a particular $f(\mathcal{T})$ toy model is chosen for the purpose. The equation of the state parameter of the resulting model, the dimensionless density parameters of matter and dark energy, and the deceleration parameter are explored to check the viability of the new model. A discussion of the dynamic evolution of the universe follows from these results. It is seen that the results comply with the observations. The newly developed model is promising and demands further study.


title: Enhancing phase sensitivity in Mach-Zehnder interferometer with various detection schemes using SU(1,1) coherent states

abstract: Improving interferometric phase sensitivity is crucial for high-precision measurements in rapidly developing quantum technologies. The Mach-Zehnder interferometer (MZI) is a versatile tool for analyzing this phenomenon. By splitting and recombining a light beam using beam splitters, MZIs allow for precise phase sensitivity analysis using tools like the quantum Cram\'er-Rao bound (QCRB) and the quantum Fisher information (QFI). This paper analyzes the phase sensitivity of a MZI in various scenarios using different detection schemes and input states. We compare the single- and two-parameter quantum estimation and their associated QCRB for three phase-shift situations: in both arms, only in the upper arm (asymmetric), and in both arms symmetrically. We then investigate the phase sensitivity under three detection schemes: difference intensity, single-mode intensity, and balanced homodyne. Additionally, we explore the use of Perelomov and Barut-Girardello coherent states, two types of SU(1,1) coherent states, in all scenarios. Notably, we demonstrate that under optimal conditions, all detection schemes can achieve the QCRB by utilizing entangled SU(1,1) coherent states as input states.


title: Quantum Reductive Perturbation Method for Photon Propagations in a Cold Atomic Gas

abstract: We develop a quantum reductive perturbation method (RPM), a generalization of classical RPM widely used in nonlinear wave theory, to derive a simplified model (i.e. quantum nonlinear Schrodinger equation) from fully quantum Heisenberg-Langevin-Maxwell equations describingphoton propagations in a coherent cold atomic gas. The result is used to discuss two-photon bound states and optical solitons in the gas. Though a specific system is considered, the quantum RPM established here is very general and can be applied to other complex quantum nonlinear problems.