title: Dynamic Transformer Architecture for Continual Learning of Multimodal Tasks

abstract: Transformer neural networks are increasingly replacing prior architectures in a wide range of applications in different data modalities. The increasing size and computational demands of fine-tuning large pre-trained transformer neural networks pose significant challenges for the widespread adoption of these models for applications that demand on-edge computing. To tackle this challenge, continual learning (CL) emerges as a solution by facilitating the transfer of knowledge across tasks that arrive sequentially for an autonomously learning agent. However, current CL methods mainly focus on learning tasks that are exclusively vision-based or language-based. We propose a transformer-based CL framework focusing on learning tasks that involve both vision and language, known as Vision-and-Language (VaL) tasks. Due to the success of transformers in other modalities, our architecture has the potential to be used in multimodal learning settings. In our framework, we benefit from introducing extra parameters to a base transformer to specialize the network for each task. As a result, we enable dynamic model expansion to learn several tasks in a sequence. We also use knowledge distillation to benefit from relevant past experiences to learn the current task more efficiently. Our proposed method, Task Attentive Multimodal Continual Learning (TAM-CL), allows for the exchange of information between tasks while mitigating the problem of catastrophic forgetting. Notably, our approach is scalable, incurring minimal memory and time overhead. TAM-CL achieves state-of-the-art (SOTA) performance on challenging multimodal tasks


title: Analytic Formulas for Alternating Projection Sequences for the Positive Semidefinite Cone and an Application to Convergence Analysis

abstract: We find analytic formulas for the alternating projection method for the cone $\mathbb{S}^n_+$ of positive semidefinite matrices and an affine subspace. More precisely, we find recursive relations on parameters representing a sequence constructed by the alternating projection method. By applying the formulas, we analyze the alternating projection method in detail and show that the upper bound given by the singularity degree is actually tight when the alternating projection method is applied to $\mathbb{S}^3_+$ and a $3$-plane whose intersection is a singleton and has singularity degree $2$.


title: The quaternionic Maass Spezialschar on split $\mathrm{SO}(8)$

abstract: The classical Maass Spezialschar is a Hecke-stable subspace of the level one holomorphic Siegel modular forms of genus two, i.e., on $\mathrm{Sp}_4$, cut out by certain linear relations between the Fourier coefficients. It is a theorem of Andrianov, Maass, and Zagier, that the classical Maass Spezialschar is exactly equal to the space of Saito-Kurokawa lifts. We study an analogous space of quaternionic modular forms on split $\mathrm{SO}_8$, and prove the analogue of the Andrianov-Maass-Zagier theorem. Our main tool for proving this theorem is the development of a theory of a Fourier-Jacobi expansion of quaternionic modular forms on orthogonal groups.


title: Online Data-Driven Adaptive Control for Unknown Linear Time-Varying Systems

abstract: This paper proposes a novel online data-driven adaptive control for unknown linear time-varying systems. Initialized with an empirical feedback gain, the algorithm periodically updates this gain based on the data collected over a short time window before each update. Meanwhile, the stability of the closed-loop system is analyzed in detail, which shows that under some mild assumptions, the proposed online data-driven adaptive control scheme can guarantee practical global exponential stability. Finally, the proposed algorithm is demonstrated by numerical simulations and its performance is compared with other control algorithms for unknown linear time-varying systems.


title: FabHacks: Transform Everyday Objects into Functional Fixtures

abstract: Storage, organizing, and decorating are an important part of home design. While one can buy commercial items for many of these tasks, this can be costly, and re-use is more sustainable. An alternative is a "home hack", a functional assembly that can be constructed from existing household items. However, coming up with such hacks requires combining objects to make a physically valid design, which might be difficult to test if they are large, require nailing or screwing something to the wall, or the designer has mobility limitations. In this work, we present a design and visualization system for creating workable functional assemblies, FabHacks, which is based on a solver-aided domain-specific language (S-DSL) FabHaL. By analyzing existing home hacks shared online, we create a design abstraction for connecting household items using predefined types of connections. We provide a UI for FabHaL that can be used to design assemblies that fulfill a given specification. Our system leverages a physics-based solver that takes an assembly design and finds its expected physical configuration. Our validation includes a user study showing that users can create assemblies successfully using our UI and explore a range of designs.


title: Analytical Framework for Effective Degrees of Freedom in Near-Field XL-MIMO

abstract: In this paper, we develop an effective degrees of freedom (EDoF) performance analysis framework specifically tailored for near-field XL-MIMO systems. We explore five representative distinct XL-MIMO hardware designs, including uniform planar array (UPA)-based with point antennas, two-dimensional (2D) continuous aperture (CAP) plane-based, UPA-based with patch antennas, uniform linear array (ULA)-based, and one-dimensional (1D) CAP line segment-based XL-MIMO systems. Our analysis encompasses two near-field channel models: the scalar and dyadic Green's function-based channel models. More importantly, when applying the scalar Green's function-based channel, we derive EDoF expressions in the closed-form, characterizing the impacts of the physical size of the transceiver, the transmitting distance, and the carrier frequency. In our numerical results, we evaluate and compare the EDoF performance across all examined XL-MIMO designs, confirming the accuracy of our proposed closed-form expressions. Furthermore, we observe that with an increasing number of antennas, the EDoF performance for both UPA-based and ULA-based systems approaches that of 2D CAP plane and 1D CAP line segment-based systems, respectively. Moreover, we unveil that the EDoF performance for near-field XL-MIMO systems is predominantly determined by the array aperture size rather than the sheer number of antennas.


title: Improved confidence intervals for nonlinear mixed-effects and nonparametric regression models

abstract: Statistical inference for high dimensional parameters (HDPs) can be based on their intrinsic correlation; that is, parameters that are close spatially or temporally tend to have more similar values. This is why nonlinear mixed-effects models (NMMs) are commonly (and appropriately) used for models with HDPs. Conversely, in many practical applications of NMM, the random effects (REs) are actually correlated HDPs that should remain constant during repeated sampling for frequentist inference. In both scenarios, the inference should be conditional on REs, instead of marginal inference by integrating out REs. In this paper, we first summarize recent theory of conditional inference for NMM, and then propose a bias-corrected RE predictor and confidence interval (CI). We also extend this methodology to accommodate the case where some REs are not associated with data. Simulation studies indicate that this new approach leads to substantial improvement in the conditional coverage rate of RE CIs, including CIs for smooth functions in generalized additive models, as compared to the existing method based on marginal inference.


title: GEM: Boost Simple Network for Glass Surface Segmentation via Segment Anything Model and Data Synthesis

abstract: Detecting glass regions is a challenging task due to the ambiguity of their transparency and reflection properties. These transparent glasses share the visual appearance of both transmitted arbitrary background scenes and reflected objects, thus having no fixed patterns.Recent visual foundation models, which are trained on vast amounts of data, have manifested stunning performance in terms of image perception and image generation. To segment glass surfaces with higher accuracy, we make full use of two visual foundation models: Segment Anything (SAM) and Stable Diffusion.Specifically, we devise a simple glass surface segmentor named GEM, which only consists of a SAM backbone, a simple feature pyramid, a discerning query selection module, and a mask decoder. The discerning query selection can adaptively identify glass surface features, assigning them as initialized queries in the mask decoder. We also propose a Synthetic but photorealistic large-scale Glass Surface Detection dataset dubbed S-GSD via diffusion model with four different scales, which contain 1x, 5x, 10x, and 20x of the original real data size. This dataset is a feasible source for transfer learning. The scale of synthetic data has positive impacts on transfer learning, while the improvement will gradually saturate as the amount of data increases. Extensive experiments demonstrate that GEM achieves a new state-of-the-art on the GSD-S validation set (IoU +2.1%). Codes and datasets are available at: https://github.com/isbrycee/GEM-Glass-Segmentor.


title: Isotope engineering of carrier mobility via Fr\"ohlich electron-phonon interaction

abstract: Isotope effects on phonon properties and transport have been predicted and observed for decades. However, despite the crucial impact of electron-phonon interactions, the effect of isotopes on electron transport remains largely unexplored. Here, by using first-principles calculations, we theoretically predict that the electron mobility of lithium hydride (LiH) can increase by up to ~100% as $^3\rm{H}$ is replaced with $^1\rm{H}$. This remarkable phenomenon is primarily attributed to the isotope engineering of the Fr\"ohlich interaction by the mass-induced line shift of the longitudinal optical (LO) phonons. Notably, the isotope-dependent absorption of LO phonons dominates while the isotope-insensitive emission process is mostly suppressed due to energy conservation. We further propose general guidelines for evaluating isotope effects on carrier transport in different materials.


title: Five ethical principles for generative AI in scientific research

abstract: Generative artificial intelligence tools like large language models are rapidly transforming academic research and real world applications. However, discussions on ethical guidelines for generative AI in science remain fragmented, underscoring the urgent need for consensus based standards. This paper offers an initial framework by developing analyses and mitigation strategies across five key themes: understanding model limitations regarding truthfulness and bias; respecting privacy, confidentiality, and copyright; avoiding plagiarism and policy violations when incorporating model output; ensuring applications provide overall benefit; and using AI transparently and reproducibly. Common scenarios are outlined to demonstrate potential ethical violations. We argue that global consensus coupled with professional training and reasonable enforcement are critical to promoting the benefits of AI while safeguarding research integrity.


title: Ransomware threat mitigation through network traffic analysis and machine learning techniques

abstract: In recent years, there has been a noticeable increase in cyberattacks using ransomware. Attackers use this malicious software to break into networks and harm computer systems. This has caused significant and lasting damage to various organizations, including government, private companies, and regular users. These attacks often lead to the loss or exposure of sensitive information, disruptions in normal operations, and persistent vulnerabilities. This paper focuses on a method for recognizing and identifying ransomware in computer networks. The approach relies on using machine learning algorithms and analyzing the patterns of network traffic. By collecting and studying this traffic, and then applying machine learning models, we can accurately identify and detect ransomware. The results of implementing this method show that machine learning algorithms can effectively pinpoint ransomware based on network traffic, achieving high levels of precision and accuracy.


title: On the half life of $^{71}$Ge and the Gallium Anomaly

abstract: Recent discussions about the origin of the Gallium Anomaly have motivated a remeasurement of the half life of $^{71}$Ge. We have conducted three separate measurements using dedicated planar Ge detectors: one with $^{55}$Fe as a standard, one with $^{57}$Co as a standard, and one stand alone 71Ge measurement. Our results yield a half life of 11.468 +- 0.008 days, which is consistent with but significantly more precise than the currently accepted value. With this experiment, the potential explanation of the Gallium Anomaly being due to an unexpectedly long $^{71}$Ge half life has been ruled out, leaving the origin of the anomaly as an open question.


title: Applications of Tao General Difference in Discrete Domain

abstract: Numerical difference computation is one of the cores and indispensable in the modern digital era. Tao general difference (TGD) is a novel theory and approach to difference computation for discrete sequences and arrays in multidimensional space. Built on the solid theoretical foundation of the general difference in a finite interval, the TGD operators demonstrate exceptional signal processing capabilities in real-world applications. A novel smoothness property of a sequence is defined on the first- and second TGD. This property is used to denoise one-dimensional signals, where the noise is the non-smooth points in the sequence. Meanwhile, the center of the gradient in a finite interval can be accurately location via TGD calculation. This solves a traditional challenge in computer vision, which is the precise localization of image edges with noise robustness. Furthermore, the power of TGD operators extends to spatio-temporal edge detection in three-dimensional arrays, enabling the identification of kinetic edges in video data. These diverse applications highlight the properties of TGD in discrete domain and the significant promise of TGD for the computation across signal processing, image analysis, and video analytic.


title: STAC: Leveraging Spatio-Temporal Data Associations For Efficient Cross-Camera Streaming and Analytics

abstract: We propose an efficient cross-cameras surveillance system called,STAC, that leverages spatio-temporal associations between multiple cameras to provide real-time analytics and inference under constrained network environments. STAC is built using the proposed omni-scale feature learning people reidentification (reid) algorithm that allows accurate detection, tracking and re-identification of people across cameras using the spatio-temporal characteristics of video frames. We integrate STAC with frame filtering and state-of-the-art compression for streaming technique (that is, ffmpeg libx264 codec) to remove redundant information from cross-camera frames. This helps in optimizing the cost of video transmission as well as compute/processing, while maintaining high accuracy for real-time query inference. The introduction of AICity Challenge 2023 Data [1] by NVIDIA has allowed exploration of systems utilizing multi-camera people tracking algorithms. We evaluate the performance of STAC using this dataset to measure the accuracy metrics and inference rate for reid. Additionally, we quantify the reduction in video streams achieved through frame filtering and compression using FFmpeg compared to the raw camera streams. For completeness, we make available our repository to reproduce the results, available at https://github.com/VolodymyrVakhniuk/CS444_Final_Project.


title: SoK: Where's the "up"?! A Comprehensive (bottom-up) Study on the Security of Arm Cortex-M Systems

abstract: Arm Cortex-M processors are the most widely used 32-bit microcontrollers among embedded and Internet-of-Things devices. Despite the widespread usage, there has been little effort in summarizing their hardware security features, characterizing the limitations and vulnerabilities of their hardware and software stack, and systematizing the research on securing these systems. The goals and contributions of this paper are multi-fold. First, we analyze the hardware security limitations and issues of Cortex-M systems. Second, we conducted a deep study of the software stack designed for Cortex-M and revealed its limitations, which is accompanied by an empirical analysis of 1,797 real-world firmware. Third, we categorize the reported bugs in Cortex-M software systems. Finally, we systematize the efforts that aim at securing Cortex-M systems and evaluate them in terms of the protections they offer, runtime performance, required hardware features, etc. Based on the insights, we develop a set of recommendations for the research community and MCU software developers.


title: Benchmarking with MIMIC-IV, an irregular, spare clinical time series dataset

abstract: Electronic health record (EHR) is more and more popular, and it comes with applying machine learning solutions to resolve various problems in the domain. This growing research area also raises the need for EHRs accessibility. Medical Information Mart for Intensive Care (MIMIC) dataset is a popular, public, and free EHR dataset in a raw format that has been used in numerous studies. However, despite of its popularity, it is lacking benchmarking work, especially with recent state of the art works in the field of deep learning with time-series tabular data. The aim of this work is to fill this lack by providing a benchmark for latest version of MIMIC dataset, MIMIC-IV. We also give a detailed literature survey about studies that has been already done for MIIMIC-III.


title: Improved Construction of Robust Gray Code

abstract: A robust Gray code, formally introduced by (Lolck and Pagh, SODA 2024), is a Gray code that additionally has the property that, given a noisy version of the encoding of an integer $j$, it is possible to reconstruct $\hat{j}$ so that $|j - \hat{j}|$ is small with high probability. That work presented a transformation that transforms a binary code $C$ of rate $R$ to a robust Gray code with rate $\Omega(R)$, where the constant in the $\Omega(\cdot)$ can be at most $1/4$. We improve upon their construction by presenting a transformation from a (linear) binary code $C$ to a robust Gray code with similar robustness guarantees, but with rate that can approach $R/2$.


title: Adaptive Block Sparse Regularization under Arbitrary Linear Transform

abstract: We propose a convex and fast signal reconstruction method for block sparsity under arbitrary linear transform with unknown block structure. The proposed method is a generalization of the similar existing method and can reconstruct signals with block sparsity under non-invertible transforms, unlike the existing method. Our work broadens the scope of block sparse regularization, enabling more versatile and powerful applications across various signal processing domains. We derive an iterative algorithm for solving proposed method and provide conditions for its convergence to the optimal solution. Numerical experiments demonstrate the effectiveness of the proposed method.


title: SkipViT: Speeding Up Vision Transformers with a Token-Level Skip Connection

abstract: Vision transformers are known to be more computationally and data-intensive than CNN models. These transformer models such as ViT, require all the input image tokens to learn the relationship among them. However, many of these tokens are not informative and may contain irrelevant information such as unrelated background or unimportant scenery. These tokens are overlooked by the multi-head self-attention (MHSA), resulting in many redundant and unnecessary computations in MHSA and the feed-forward network (FFN). In this work, we propose a method to optimize the amount of unnecessary interactions between unimportant tokens by separating and sending them through a different low-cost computational path. Our method does not add any parameters to the ViT model and aims to find the best trade-off between training throughput and achieving a 0% loss in the Top-1 accuracy of the final model. Our experimental results on training ViT-small from scratch show that SkipViT is capable of effectively dropping 55% of the tokens while gaining more than 13% training throughput and maintaining classification accuracy at the level of the baseline model on Huawei Ascend910A.


title: Integral Operator Approaches for Scattered Data Fitting on Spheres

abstract: This paper focuses on scattered data fitting problems on spheres. We study the approximation performance of a class of weighted spectral filter algorithms, including Tikhonov regularization, Landaweber iteration, spectral cut-off, and iterated Tikhonov, in fitting noisy data with possibly unbounded random noise. For the analysis, we develop an integral operator approach that can be regarded as an extension of the widely used sampling inequality approach and norming set method in the community of scattered data fitting. After providing an equivalence between the operator differences and quadrature rules, we succeed in deriving optimal Sobolev-type error estimates of weighted spectral filter algorithms. Our derived error estimates do not suffer from the saturation phenomenon for Tikhonov regularization in the literature, native-space-barrier for existing error analysis and adapts to different embedding spaces. We also propose a divide-and-conquer scheme to equip weighted spectral filter algorithms to reduce their computational burden and present the optimal approximation error bounds.


title: Multi-Trigger Backdoor Attacks: More Triggers, More Threats

abstract: Backdoor attacks have emerged as a primary threat to (pre-)training and deployment of deep neural networks (DNNs). While backdoor attacks have been extensively studied in a body of works, most of them were focused on single-trigger attacks that poison a dataset using a single type of trigger. Arguably, real-world backdoor attacks can be much more complex, e.g., the existence of multiple adversaries for the same dataset if it is of high value. In this work, we investigate the practical threat of backdoor attacks under the setting of \textbf{multi-trigger attacks} where multiple adversaries leverage different types of triggers to poison the same dataset. By proposing and investigating three types of multi-trigger attacks, including parallel, sequential, and hybrid attacks, we provide a set of important understandings of the coexisting, overwriting, and cross-activating effects between different triggers on the same dataset. Moreover, we show that single-trigger attacks tend to cause overly optimistic views of the security of current defense techniques, as all examined defense methods struggle to defend against multi-trigger attacks. Finally, we create a multi-trigger backdoor poisoning dataset to help future evaluation of backdoor attacks and defenses. Although our work is purely empirical, we hope it can help steer backdoor research toward more realistic settings.


title: A Survey on 3D Skeleton Based Person Re-Identification: Approaches, Designs, Challenges, and Future Directions

abstract: Person re-identification via 3D skeletons is an important emerging research area that triggers great interest in the pattern recognition community. With distinctive advantages for many application scenarios, a great diversity of 3D skeleton based person re-identification (SRID) methods have been proposed in recent years, effectively addressing prominent problems in skeleton modeling and feature learning. Despite recent advances, to the best of our knowledge, little effort has been made to comprehensively summarize these studies and their challenges. In this paper, we attempt to fill this gap by providing a systematic survey on current SRID approaches, model designs, challenges, and future directions. Specifically, we first formulate the SRID problem, and propose a taxonomy of SRID research with a summary of benchmark datasets, commonly-used model architectures, and an analytical review of different methods' characteristics. Then, we elaborate on the design principles of SRID models from multiple aspects to offer key insights for model improvement. Finally, we identify critical challenges confronting current studies and discuss several promising directions for future research of SRID.


title: A smart granular intruder

abstract: It has been recently reported that irregular objects sink irregularly when released in a granular medium: a subtle lack of symmetry in the density or shape of a macroscopic object may produce a large tilting and deviation from the vertical path when released from the free surface of a granular bed. This can be inconvenient -- even catastrophic -- in scenarios ranging from buildings to space rovers. Here, we take advantage of the high sensitivity of granular intruders to shape asymmetry: we introduce a granular intruder equipped with an inflatable bladder that protrudes from the intruder's surface as an autonomous response to an unwanted tilting. So, the intruder's symmetry is only slightly manipulated, resulting in the rectification of the undesired tilting. Our smart intruder is even able to rectify its settling path when perturbed by an external element, like a vertical wall. The general concept introduced here can be potentially expanded to real-life scenarios, such as ``smart foundations'' to mitigate the inclination of constructions on a partially fluidized soil.


title: Together We Go Further: LLMs and IDE Static Analysis for Extract Method Refactoring

abstract: Long methods that encapsulate multiple responsibilities within a single method are challenging to maintain. Choosing which statements to extract into new methods has been the target of many research tools. Despite steady improvements, these tools often fail to generate refactorings that align with developers' preferences and acceptance criteria. Given that Large Language Models (LLMs) have been trained on large code corpora, if we harness their familiarity with the way developers form functions, we could suggest refactorings that developers are likely to accept. In this paper, we advance the science and practice of refactoring by synergistically combining the insights of LLMs with the power of IDEs to perform Extract Method (EM). Our formative study on 1752 EM scenarios revealed that LLMs are very effective for giving expert suggestions, yet they are unreliable: up to 76.3% of the suggestions are hallucinations. We designed a novel approach that removes hallucinations from the candidates suggested by LLMs, then further enhances and ranks suggestions based on static analysis techniques from program slicing, and finally leverages the IDE to execute refactorings correctly. We implemented this approach in an IntelliJ IDEA plugin called EM-Assist. We empirically evaluated EM-Assist on a diverse corpus that replicates 1752 actual refactorings from open-source projects. We found that EM-Assist outperforms previous state of the art tools: EM-Assist suggests the developerperformed refactoring in 53.4% of cases, improving over the recall rate of 39.4% for previous best-in-class tools. Furthermore, we conducted firehouse surveys with 16 industrial developers and suggested refactorings on their recent commits. 81.3% of them agreed with the recommendations provided by EM-Assist.


title: SupplyGraph: A Benchmark Dataset for Supply Chain Planning using Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have gained traction across different domains such as transportation, bio-informatics, language processing, and computer vision. However, there is a noticeable absence of research on applying GNNs to supply chain networks. Supply chain networks are inherently graph-like in structure, making them prime candidates for applying GNN methodologies. This opens up a world of possibilities for optimizing, predicting, and solving even the most complex supply chain problems. A major setback in this approach lies in the absence of real-world benchmark datasets to facilitate the research and resolution of supply chain problems using GNNs. To address the issue, we present a real-world benchmark dataset for temporal tasks, obtained from one of the leading FMCG companies in Bangladesh, focusing on supply chain planning for production purposes. The dataset includes temporal data as node features to enable sales predictions, production planning, and the identification of factory issues. By utilizing this dataset, researchers can employ GNNs to address numerous supply chain problems, thereby advancing the field of supply chain analytics and planning. Source: https://github.com/CIOL-SUST/SupplyGraph


title: Two Laplacians for the resistance distance matrix of a graph

abstract: In this paper, we present two new matrices, namely the resistance Laplacian and resistance signless Laplacian matrix of a connected graph. We provide a generalized form of these matrices for different classes of graphs, including the complete graph, complete bipartite graph, and cycle. We investigate the spectral properties of these matrices, analyzing their eigenvalues and eigenvectors. Moreover, we introduce a concept similar to graph energy and define it as the resistance Laplacian energy of a graph and further discuss some bounds for this energy.


title: Uniqueness of Regular Tangent Cones for Immersed Stable Hypersurfaces

abstract: We establish uniqueness and regularity results for tangent cones (at a point or at infinity) with isolated singularities arising from a given immersed stable minimal hypersurface with suitably small (non-immersed) singular set. In particular, our results allow the tangent cone to occur with any integer multiplicity.


title: On the origin of metal-insulator transitions in the parent compounds of ruthenium-pnictide superconductors

abstract: We study the interplay of the structural phase transition, flat electronic band dispersion, and metal-to-insulator transition (MIT) in the parent compounds of the Ru-pnictide superconductors by using first-principles calculations. Our electron and phonon calculations reveal that Ru(P,As) undergo MIT accompanied by orthorhombic to monoclinic distortion at low temperature, but RuSb stays orthorhombic and metallic in agreement with the experimental findings. We find that although small monoclinic distortion can remove the van Hove singularity at the Fermi level, it does not immediately gap out the Fermi surface and a large value of monoclinic distortion is necessary for a clear MIT suggesting the possibility of an intermediate pseudogapped monoclinic metallic phase. Furthermore, we predict a light-induced two-step insulator-to-metal and structural transitions in the monoclinic phases of RuP and RuAs, which can be tested in future ultrafast pump-probe experiments as an alternative ideal play ground to VO$_2$.


title: Feedback-based Quantum Algorithm Inspired by Counterdiabatic Driving

abstract: In recent quantum algorithmic developments, a feedback-based approach has shown promise for preparing quantum many-body system ground states and solving combinatorial optimization problems. This method utilizes quantum Lyapunov control to iteratively construct quantum circuits. Here, we propose a substantial enhancement by integrating quantum Lyapunov control with the counterdiabatic driving protocol, a key concept from quantum adiabaticity. Our approach introduces an additional control field inspired by counterdiabatic driving. We apply our algorithm to prepare ground states in one-dimensional quantum Ising spin chains. Comprehensive simulations demonstrate a remarkable acceleration in population transfer to low-energy states within a significantly reduced time frame compared to conventional feedback-based quantum algorithms. This acceleration translates to a reduced quantum circuit depth, a critical metric for potential quantum computer implementation. We validate our algorithm on the IBM cloud computer, highlighting its efficacy in expediting quantum computations for many-body systems and combinatorial optimization problems.


title: Adaptive Least Mean Squares Graph Neural Networks and Online Graph Signal Estimation

abstract: The online prediction of multivariate signals, existing simultaneously in space and time, from noisy partial observations is a fundamental task in numerous applications. We propose an efficient Neural Network architecture for the online estimation of time-varying graph signals named the Adaptive Least Mean Squares Graph Neural Networks (LMS-GNN). LMS-GNN aims to capture the time variation and bridge the cross-space-time interactions under the condition that signals are corrupted by noise and missing values. The LMS-GNN is a combination of adaptive graph filters and Graph Neural Networks (GNN). At each time step, the forward propagation of LMS-GNN is similar to adaptive graph filters where the output is based on the error between the observation and the prediction similar to GNN. The filter coefficients are updated via backpropagation as in GNN. Experimenting on real-world temperature data reveals that our LMS-GNN achieves more accurate online predictions compared to graph-based methods like adaptive graph filters and graph convolutional neural networks.


title: A Practical Probabilistic Benchmark for AI Weather Models

abstract: Since the weather is chaotic, forecasts aim to predict the distribution of future states rather than make a single prediction. Recently, multiple data driven weather models have emerged claiming breakthroughs in skill. However, these have mostly been benchmarked using deterministic skill scores, and little is known about their probabilistic skill. Unfortunately, it is hard to fairly compare AI weather models in a probabilistic sense, since variations in choice of ensemble initialization, definition of state, and noise injection methodology become confounding. Moreover, even obtaining ensemble forecast baselines is a substantial engineering challenge given the data volumes involved. We sidestep both problems by applying a decades-old idea -- lagged ensembles -- whereby an ensemble can be constructed from a moderately-sized library of deterministic forecasts. This allows the first parameter-free intercomparison of leading AI weather models' probabilistic skill against an operational baseline. The results reveal that two leading AI weather models, i.e. GraphCast and Pangu, are tied on the probabilistic CRPS metric even though the former outperforms the latter in deterministic scoring. We also reveal how multiple time-step loss functions, which many data-driven weather models have employed, are counter-productive: they improve deterministic metrics at the cost of increased dissipation, deteriorating probabilistic skill. This is confirmed through ablations applied to a spherical Fourier Neural Operator (SFNO) approach to AI weather forecasting. Separate SFNO ablations modulating effective resolution reveal it has a useful effect on ensemble dispersion relevant to achieving good ensemble calibration. We hope these and forthcoming insights from lagged ensembles can help guide the development of AI weather forecasts and have thus shared the diagnostic code.


title: On $2$-integral Cayley graphs

abstract: In this paper, we introduce the concept of $k$-integral graphs. A graph $\Gamma$ is called $k$-integral if the extension degree of the splitting field of the characteristic polynomial of $\Gamma$ over rational field $\mathbb Q$ is equal to $k$. We prove that for any positive integers $k$ and $\Delta$, the set of all finite connected graphs with algebraic degree at most $k$ and maximum degree at most $\Delta$ is finite. We study $2$-integral Cayley graphs over finite groups $G$ with respect to Cayley sets which are a union of conjugacy classes of $G$. Among other general results, we completely characterize all finite abelian groups having a connected $2$-integral Cayley graph with valency $2,3,4$ and $5$. Furthermore, we classify the finite groups $G$ that all Cayley graphs over $G$ with bounded valency are $2$-integral.


title: ParaTransCNN: Parallelized TransCNN Encoder for Medical Image Segmentation

abstract: The convolutional neural network-based methods have become more and more popular for medical image segmentation due to their outstanding performance. However, they struggle with capturing long-range dependencies, which are essential for accurately modeling global contextual correlations. Thanks to the ability to model long-range dependencies by expanding the receptive field, the transformer-based methods have gained prominence. Inspired by this, we propose an advanced 2D feature extraction method by combining the convolutional neural network and Transformer architectures. More specifically, we introduce a parallelized encoder structure, where one branch uses ResNet to extract local information from images, while the other branch uses Transformer to extract global information. Furthermore, we integrate pyramid structures into the Transformer to extract global information at varying resolutions, especially in intensive prediction tasks. To efficiently utilize the different information in the parallelized encoder at the decoder stage, we use a channel attention module to merge the features of the encoder and propagate them through skip connections and bottlenecks. Intensive numerical experiments are performed on both aortic vessel tree, cardiac, and multi-organ datasets. By comparing with state-of-the-art medical image segmentation methods, our method is shown with better segmentation accuracy, especially on small organs. The code is publicly available on https://github.com/HongkunSun/ParaTransCNN.


title: Construction of Locally Repairable Array Codes with Optimal Repair Bandwidth under the Rack-Aware Storage Model

abstract: In this paper, we discuss codes for distributed storage systems with hierarchical repair properties. Specifically, we devote attention to the repair problem of the rack-aware storage model with locality, aiming to enhance the system's ability to repair a small number of erasures within each rack by locality and efficiently handling a rack erasure with a small repair bandwidth. By employing the regenerating coding technique, we construct a family of array codes with $(r,u-r+1)$-locality, where the $u$ nodes of each repair set are systematically organized into a rack. When the number of failures is less than $u - r + 1$, these failures can be repaired without counting the system bandwidth. In cases where the number of failures exceeds the locality, the failed nodes within a single rack can be recovered with optimal cross-rack bandwidth.


title: Zero-inflated Smoothing Spline (ZISS) Models for Individual-level Single-cell Temporal Data

abstract: Recent advancements in single-cell RNA-sequencing (scRNA-seq) have enhanced our understanding of cell heterogeneity at a high resolution. With the ability to sequence over 10,000 cells per hour, researchers can collect large scRNA-seq datasets for different participants, offering an opportunity to study the temporal progression of individual-level single-cell data. However, the presence of excessive zeros, a common issue in scRNA-seq, significantly impacts regression/association analysis, potentially leading to biased estimates in downstream analysis. Addressing these challenges, we introduce the Zero Inflated Smoothing Spline (ZISS) method, specifically designed to model single-cell temporal data. The ZISS method encompasses two components for modeling gene expression patterns over time and handling excessive zeros. Our approach employs the smoothing spline ANOVA model, providing robust estimates of mean functions and zero probabilities for irregularly observed single-cell temporal data compared to existing methods in our simulation studies and real data analysis.


title: $n\text{-}Lie_d$ Operad and its Koszul Dual

abstract: We study the operad $n\text{-}Lie_d$, whose algebras are graded $n$-Lie algebras with degree $d$ $n$-arity operations, which were introduced in Nambu mechanics and later studied in the algebraic setting with Filippov. We compute the Koszul dual of $n\text{-}Lie_d$, called $n\text{-}Com_{-d+n-2}$, whose relations are derived from the Specht module $S^{(n,n-1)}$ for a partition $(n,n-1)$ of $2n-1$. The intrinsic connection between these two operads come from the eigenvalues of the sequence of graphs $\{\mathcal{O}_n\}_{n\geq 0}$, called the Odd graphs, whose spectrum is related to the lower triangular sequence $\{\mathcal{E}_{r,n}\}$, called the Catalan triangle.


title: Effect of the ${\rm^{15}N(p,\alpha)^{12}C}$ reaction on the kinetic energy release of water molecule fragmentation

abstract: In this work, we investigated the effect of ${\rm^{15}N(p,\alpha)^{12}C}$ reaction produced by the collision between proton and ammonia monohydrate on the kinetic energy release (KER) of water molecule fragmentation. After the occurrence of the nuclear reaction, it was found that the charge states $q$ and the flight speeds $v$ are the main factors affecting the KER of water molecule fragmentation. With the value of $q/v$ increases, the KER distribution gets wider and the peak position changes more pronounced. The energy gained by each fragment is related to the mass of the fragment and the distance of the fragment from the nuclear reaction. In this study, the fragments with smaller masses and the distances far away from the nuclear reaction get higher energies. The fragments of water molecules getting higher energy may induce other factors affecting the radiotherapy effect, which needs more detailed investigations in the future.


title: How We Refute Claims: Automatic Fact-Checking through Flaw Identification and Explanation

abstract: Automated fact-checking is a crucial task in the governance of internet content. Although various studies utilize advanced models to tackle this issue, a significant gap persists in addressing complex real-world rumors and deceptive claims. To address this challenge, this paper explores the novel task of flaw-oriented fact-checking, including aspect generation and flaw identification. We also introduce RefuteClaim, a new framework designed specifically for this task. Given the absence of an existing dataset, we present FlawCheck, a dataset created by extracting and transforming insights from expert reviews into relevant aspects and identified flaws. The experimental results underscore the efficacy of RefuteClaim, particularly in classifying and elucidating false claims.


title: Multi-Robot Relative Pose Estimation in SE(2) with Observability Analysis: A Comparison of Extended Kalman Filtering and Robust Pose Graph Optimization

abstract: In this study, we address multi-robot localization issues, with a specific focus on cooperative localization and observability analysis of relative pose estimation. Cooperative localization involves enhancing each robot's information through a communication network and message passing. If odometry data from a target robot can be transmitted to the ego robot, observability of their relative pose estimation can be achieved through range-only or bearing-only measurements, provided both robots have non-zero linear velocities. In cases where odometry data from a target robot are not directly transmitted but estimated by the ego robot, both range and bearing measurements are necessary to ensure observability of relative pose estimation. For ROS/Gazebo simulations, we explore four sensing and communication structures. We compare extended Kalman filtering (EKF) and pose graph optimization (PGO) estimation using different robust loss functions (filtering and smoothing with varying batch sizes of sliding windows) in terms of estimation accuracy. In hardware experiments, two Turtlebot3 equipped with UWB modules are used for real-world inter-robot relative pose estimation, applying both EKF and PGO and comparing their performance.


title: On Generalized Sub-Gaussian Canonical Processes and Their Applications

abstract: We obtain the tail probability of generalized sub-Gaussian canonical processes. It can be viewed as a variant of the Bernstein-type inequality in the i.i.d case, and we further get a tighter bound of concentration inequality through uniformly randomized techniques. A concentration inequality for general functions involving independent random variables is also derived as an extension. As for applications, we derive convergence results for principal component analysis and the Rademacher complexities method.


title: Learning Online Belief Prediction for Efficient POMDP Planning in Autonomous Driving

abstract: Effective decision-making in autonomous driving relies on accurate inference of other traffic agents' future behaviors. To achieve this, we propose an online belief-update-based behavior prediction model and an efficient planner for Partially Observable Markov Decision Processes (POMDPs). We develop a Transformer-based prediction model, enhanced with a recurrent neural memory model, to dynamically update latent belief state and infer the intentions of other agents. The model can also integrate the ego vehicle's intentions to reflect closed-loop interactions among agents, and it learns from both offline data and online interactions. For planning, we employ a Monte-Carlo Tree Search (MCTS) planner with macro actions, which reduces computational complexity by searching over temporally extended action steps. Inside the MCTS planner, we use predicted long-term multi-modal trajectories to approximate future updates, which eliminates iterative belief updating and improves the running efficiency. Our approach also incorporates deep Q-learning (DQN) as a search prior, which significantly improves the performance of the MCTS planner. Experimental results from simulated environments validate the effectiveness of our proposed method. The online belief update model can significantly enhance the accuracy and temporal consistency of predictions, leading to improved decision-making performance. Employing DQN as a search prior in the MCTS planner considerably boosts its performance and outperforms an imitation learning-based prior. Additionally, we show that the MCTS planning with macro actions substantially outperforms the vanilla method in terms of performance and efficiency.


title: UNSEE: Unsupervised Non-contrastive Sentence Embeddings

abstract: We present UNSEE: Unsupervised Non-Contrastive Sentence Embeddings, a novel approach that outperforms SimCSE in the Massive Text Embedding benchmark. Our exploration begins by addressing the challenge of representation collapse, a phenomenon observed when contrastive objectives in SimCSE are replaced with non-contrastive objectives. To counter this issue, we propose a straightforward solution known as the target network, effectively mitigating representation collapse. The introduction of the target network allows us to leverage non-contrastive objectives, maintaining training stability while achieving performance improvements comparable to contrastive objectives. Our method has achieved peak performance in non-contrastive sentence embeddings through meticulous fine-tuning and optimization. This comprehensive effort has yielded superior sentence representation models, showcasing the effectiveness of our approach.


title: Floorplanning of VLSI by Mixed-Variable Optimization

abstract: By formulating the floorplanning of VLSI as a mixed-variable optimization problem, this paper proposes to solve it by memetic algorithms, where the discrete orientation variables are addressed by the distribution evolutionary algorithm based on a population of probability model (DEA-PPM), and the continuous coordination variables are optimized by the conjugate sub-gradient algorithm (CSA). Accordingly, the fixed-outline floorplanning algorithm based on CSA and DEA-PPM (FFA-CD) and the floorplanning algorithm with golden section strategy (FA-GSS) are proposed for the floorplanning problems with and without fixed-outline constraint. %FF-CD is committed to optimizing wirelength targets within a fixed profile. FA-GSS uses the Golden Section strategy to optimize both wirelength and area targets. The CSA is used to solve the proposed non-smooth optimization model, and the DEA-PPM is used to explore the module rotation scheme to enhance the flexibility of the algorithm. Numerical experiments on GSRC test circuits show that the proposed algorithms are superior to some celebrated B*-tree based floorplanning algorithms, and are expected to be applied to large-scale floorplanning problems due to their low time complexity.


title: Gaussian Splashing: Dynamic Fluid Synthesis with Gaussian Splatting

abstract: We demonstrate the feasibility of integrating physics-based animations of solids and fluids with 3D Gaussian Splatting (3DGS) to create novel effects in virtual scenes reconstructed using 3DGS. Leveraging the coherence of the Gaussian splatting and position-based dynamics (PBD) in the underlying representation, we manage rendering, view synthesis, and the dynamics of solids and fluids in a cohesive manner. Similar to Gaussian shader, we enhance each Gaussian kernel with an added normal, aligning the kernel's orientation with the surface normal to refine the PBD simulation. This approach effectively eliminates spiky noises that arise from rotational deformation in solids. It also allows us to integrate physically based rendering to augment the dynamic surface reflections on fluids. Consequently, our framework is capable of realistically reproducing surface highlights on dynamic fluids and facilitating interactions between scene objects and fluids from new views. For more information, please visit our project page at \url{https://amysteriouscat.github.io/GaussianSplashing/}.


title: You Only Look Bottom-Up for Monocular 3D Object Detection

abstract: Monocular 3D Object Detection is an essential task for autonomous driving. Meanwhile, accurate 3D object detection from pure images is very challenging due to the loss of depth information. Most existing image-based methods infer objects' location in 3D space based on their 2D sizes on the image plane, which usually ignores the intrinsic position clues from images, leading to unsatisfactory performances. Motivated by the fact that humans could leverage the bottom-up positional clues to locate objects in 3D space from a single image, in this paper, we explore the position modeling from the image feature column and propose a new method named You Only Look Bottum-Up (YOLOBU). Specifically, our YOLOBU leverages Column-based Cross Attention to determine how much a pixel contributes to pixels above it. Next, the Row-based Reverse Cumulative Sum (RRCS) is introduced to build the connections of pixels in the bottom-up direction. Our YOLOBU fully explores the position clues for monocular 3D detection via building the relationship of pixels from the bottom-up way. Extensive experiments on the KITTI dataset demonstrate the effectiveness and superiority of our method.


title: A method of photometric data extraction for asteroids from time-domain surveys

abstract: The lightcurves of asteroids are essential for determining their physical characteristics, including shape, spin, size, and surface composition. However, most asteroids are missing some of these basic physical parameters due to lack of photometric data. Although a few telescopes or surveys are specially designed for photometric lightcurve observations of asteroids, many ground-based and space-based sky surveys for hunting new exoplanets, transient events, etc., should capture numerous small Solar System objects. This will benefit the physical studies of these objects. In order to extract data of these moving objects from time-domain photometric surveys, we have developed a new method using the model tree algorithm in the field of machine learning. A dedicated module is built to automatically identify moving objects in dataset, and extract their photometric and astrometric data. As the first application of this novel method, we have analyzed data in five fields of the Yunnan-Hong Kong wide field photometric (YNHK) survey, from which 538 lightcurves of 211 asteroids are successfully extracted. Meanwhile, we also tested the method based on the data from NASA's Transiting Exoplanet Survey Satellite, and the result proves the reliability of our method. With derived lightcurves of 13 asteroids from the YNHK survey, we have determined their synodic spin periods, among which the periods of 4 asteroids are estimated for the first time. In future, we are going to apply this method to search for small objects in the outer part of the Solar System from the Chinese Space Station Telescope survey.


title: Localization of Dummy Data Injection Attacks in Power Systems Considering Incomplete Topological Information: A Spatio-Temporal Graph Wavelet Convolutional Neural Network Approach

abstract: The emergence of novel the dummy data injection attack (DDIA) poses a severe threat to the secure and stable operation of power systems. These attacks are particularly perilous due to the minimal Euclidean spatial separation between the injected malicious data and legitimate data, rendering their precise detection challenging using conventional distance-based methods. Furthermore, existing research predominantly focuses on various machine learning techniques, often analyzing the temporal data sequences post-attack or relying solely on Euclidean spatial characteristics. Unfortunately, this approach tends to overlook the inherent topological correlations within the non-Euclidean spatial attributes of power grid data, consequently leading to diminished accuracy in attack localization. To address this issue, this study takes a comprehensive approach. Initially, it examines the underlying principles of these new DDIAs on power systems. Here, an intricate mathematical model of the DDIA is designed, accounting for incomplete topological knowledge and alternating current (AC) state estimation from an attacker's perspective. Subsequently, by integrating a priori knowledge of grid topology and considering the temporal correlations within measurement data and the topology-dependent attributes of the power grid, this study introduces temporal and spatial attention matrices. These matrices adaptively capture the spatio-temporal correlations within the attacks. Leveraging gated stacked causal convolution and graph wavelet sparse convolution, the study jointly extracts spatio-temporal DDIA features. Finally, the research proposes a DDIA localization method based on spatio-temporal graph neural networks. The accuracy and effectiveness of the DDIA model are rigorously demonstrated through comprehensive analytical cases.


title: Equilibration of a Polycation-Anionic Surfactant Mixture at the Water-Vapor Interface

abstract: The adsorption of concentrated polydiallyldimethylammonium chloride, PDADMAC-sodium lauryl ether sulfate (SLES) mixtures at the water-vapor interface has been studied by different surface tension techniques and dilational viscoelasticity measurements. This work tries to shed light on the way in which the formation of polyelectrolyte-surfactant complexes in the bulk affects the interfacial properties of mixtures formed by a polycation and an oppositely charged surfactant. The results are discussed in terms of a two-step adsorption-equilibration of PDADMAC-SLES complexes at the interface, with the initial stages involving the diffusion of kinetically trapped aggregates formed in the bulk to the interface followed by the dissociation and spreading of such aggregates at the interface. This latter process becomes the main contribution to the surface tension decrease. This work aids our understanding of the most fundamental basis of the physicochemical behavior of concentrated polyelectrolyte-surfactant mixtures which present complex bulk and interfacial interactions with interest in both basic and applied sciences.


title: Music Auto-Tagging with Robust Music Representation Learned via Domain Adversarial Training

abstract: Music auto-tagging is crucial for enhancing music discovery and recommendation. Existing models in Music Information Retrieval (MIR) struggle with real-world noise such as environmental and speech sounds in multimedia content. This study proposes a method inspired by speech-related tasks to enhance music auto-tagging performance in noisy settings. The approach integrates Domain Adversarial Training (DAT) into the music domain, enabling robust music representations that withstand noise. Unlike previous research, this approach involves an additional pretraining phase for the domain classifier, to avoid performance degradation in the subsequent phase. Adding various synthesized noisy music data improves the model's generalization across different noise levels. The proposed architecture demonstrates enhanced performance in music auto-tagging by effectively utilizing unlabeled noisy music data. Additional experiments with supplementary unlabeled data further improves the model's performance, underscoring its robust generalization capabilities and broad applicability.


title: Neutrino Reconstruction in TRIDENT Based on Graph Neural Network

abstract: TRopIcal DEep-sea Neutrino Telescope (TRIDENT) is a next-generation neutrino telescope to be located in the South China Sea. With a large detector volume and the use of advanced hybrid digital optical modules (hDOMs), TRIDENT aims to discover multiple astrophysical neutrino sources and probe all-flavor neutrino physics. The reconstruction resolution of primary neutrinos is on the critical path to these scientific goals. We have developed a novel reconstruction method based on graph neural network (GNN) for TRIDENT. In this paper, we present the reconstruction performance of the GNN-based approach on both track- and shower-like neutrino events in TRIDENT.


title: Study of the Liquid/Vapor Interfacial Properties of Concentrated Polyelectrolyte-Surfactant Mixtures Using Surface Tensiometry and Neutron Reflectometry: Equilibrium, Adsorption Kinetics and Dilational Rheology

abstract: The adsorption of mixtures of poly(diallyldimethylammonium chloride) (PDADMAC) and sodium N-lauroyl-N-methyltaurate (SLMT) at the water / vapor interface has been studied using drop profile tensiometry and neutron reflectometry. This study sheds light on the mechanisms involved in the adsorption of polyelectrolyte-oppositely charged surfactants by the characterization of both equilibrium and dynamics features associated with the layer formation at the fluid interface. The results are discussed in terms of an adsorption-equilibration of the interfacial layers as a two-step process: the initial stages involve the adsorption of polyelectrolyte-surfactant complexes formed in the bulk, and a subsequent stage involves reorganization of the interface. This work contributes to the understanding of the physico-chemical features of systems that undergo complex bulk and interfacial interactions with importance in science and technology.


title: Energetic particle modes in burning plasmas

abstract: In this work, we present a novel kind of energetic particle modes with frequencies in the range of thermal ion diamagnetic and/or transit frequencies in burning plasmas. It is shown that the continuum structure can be broken by the energetic particles. In addition, the mode destabilization does not require the energetic particle drive to overcome the continuum damping, which indicates that they are much easier to be excited and thus manifest themselves as wide-band modes. Based on the analysis, a switch or even an oscillation between phases of discrete eigenmodes and wide-band modes can be predicted.


title: Physico-chemical study of polymer mixtures formed by a polycation and a zwitterionic copolymer in aqueous solution and upon adsorption onto negatively charged surfaces

abstract: The adsorption of mixtures of charged polymers onto solid surfaces presents a big interest in different technological and industrial fields, and in particular, in cosmetics. This requires to deepen on the most fundamental physico-chemical bases governing the deposition, which is generally correlated to the interactions occurring in solution. This work explores the interaction in solution of model polymer mixtures formed by a cationic homopolymer (poly(diallyl-dimethyl-ammonium chloride), PDADMAC) and a zwitterionic copolymer (copolymer of acrylic acid, 3-Trimethylammonium propyl methacrylamide chloride and acrylamide, Merquat 2003), and the adsorption of such mixtures onto negatively charged surfaces. The analysis of the interactions occurring in solution between both polymers performed using dynamic light scattering (DLS), electrophoretic mobility and viscosity measurements, combined with the study of the deposition of the layers of mixtures containing different weight fractions of each polymer using ellipsometry and quartz crystal microbalance with dissipation monitoring (QCM-D) has shown that the interpolymer complexes formed in solution, and their composition, governs the deposition onto the solid surface and the tribological properties of the adsorbed layers as shown the Surface Force Apparatus (SFA) experiments, allowing for a control of the physico-chemical properties and structure of the layers. Furthermore, the use of Self Consistent Mean Fields Calculations (SCF) confirms the picture obtained from the experimental studies of the adsorbed layers, providing a prediction of the distribution of the polymer chains within the adsorbed layers. It is expected that this study can help on the understanding of the correlations existing between the behavior of future associations of innovative and eco-sustainable polymers and their adsorption processes onto solid surface.


title: Equipping Language Models with Tool Use Capability for Tabular Data Analysis in Finance

abstract: Large language models (LLMs) have exhibited an array of reasoning capabilities but face challenges like error propagation and hallucination, particularly in specialised areas like finance, where data is heterogeneous, and precision is paramount. We explore the potential of language model augmentation with external tools to mitigate these limitations and offload certain reasoning steps to external tools that are more suited for the task, instead of solely depending on the LLM's inherent abilities. More concretely, using financial domain question-answering datasets, we apply supervised fine-tuning on a LLaMA-2 13B Chat model to act both as a 'task router' and 'task solver'. The 'task router' dynamically directs a question to either be answered internally by the LLM or externally via the right tool from the tool set. Our tool-equipped SFT model, Raven, demonstrates an improvement of 35.2% and 5.06% over the base model and SFT-only baselines, respectively, and is highly competitive with strong GPT-3.5 results. To the best of our knowledge, our work is the first that investigates tool augmentation of language models for the finance domain.


title: Fabrication of robust capsules by sequential assembly of polyelectrolytes onto charged liposomes

abstract: This work presents a simply methodology for coating small unilamellar liposomes bearing different degrees of positive charge with polyelectrolyte multilayers using the sequential Layer-by-Layer (LbL) deposition method. The liposomes were made of mixtures of DOPC (1,2-dioleyl-sn-glycero-3-phosphocoline) and DODAB (dimethyl dioctadecyl ammonium bromide), and coated by alternated layers of the sodium salt of poly(4-styrenesulfonate), PSS, and poly(allylamine), PAH, as polyanion and polycations, respectively. The results shows that the zeta potential of the liposomes was not very sensitive to the mole fraction of DODAB in the membrane, XD, in the range 0.3< XD<0.8. We were able to coat the liposomes with up to four polymer bilayers. The growth of the capsules size was followed by dynamic light scattering, and in some cases by cryo-TEM, with good agreement between both techniques. The thickness of the layers, measured from the hydrodynamic radius of the coated liposome, depends on the polyelectrolyte used, so that the PSS layers adopt a much more packaged conformation than the PAH layers. An interesting finding is that the PSS amount needed to reach the isoelectric point of the capsules increases linearly with the charge density of the bare liposomes, whereas the amount of PAH does not depend on it. As expected, the preparation of the multilayers has to be done in such a way that when the system is close to the isoelectric point the capsules do not aggregate. For this, we dropped the polyelectrolyte solution quickly, fast stirring and using dilute liposome suspensions. The method is very flexible and not limited to liposomes or polyelectrolyte multilayers, also coatings containing charged nanoparticles can be easily made.


title: Optimal Sparse Survival Trees

abstract: Interpretability is crucial for doctors, hospitals, pharmaceutical companies and biotechnology corporations to analyze and make decisions for high stakes problems that involve human health. Tree-based methods have been widely adopted for survival analysis due to their appealing interpretablility and their ability to capture complex relationships. However, most existing methods to produce survival trees rely on heuristic (or greedy) algorithms, which risk producing sub-optimal models. We present a dynamic-programming-with-bounds approach that finds provably-optimal sparse survival tree models, frequently in only a few seconds.


title: Accuracy of numerical relativity waveforms with respect to space-based gravitational wave detectors

abstract: As with the laser interferometer gravitational-wave observatory (LIGO), the matched filtering technique will be critical to the data analysis of gravitational wave detection by space-based detectors, including LISA, Taiji and Tianqin. Waveform templates are the basis for such matched filtering techniques. To construct ready-to-use waveform templates, numerical relativity waveforms are a starting point. Therefore, the accuracy issue of numerical relativity waveforms is critically important. There are many investigations regarding this issue with respect to LIGO. But unfortunately there are few results on this issue with respect to space-based detectors. The current paper investigates this problem. Our results indicate that the existing numerical relativity waveforms are as accurate as 99% with respect to space-based detectors, including LISA, Taiji and Tianqin. Such an accuracy level is comparable to that with respect to LIGO.


title: Efficient yet Accurate End-to-End SC Accelerator Design

abstract: Providing end-to-end stochastic computing (SC) neural network acceleration for state-of-the-art (SOTA) models has become an increasingly challenging task, requiring the pursuit of accuracy while maintaining efficiency. It also necessitates flexible support for different types and sizes of operations in models by end-to-end SC circuits. In this paper, we summarize our recent research on end-to-end SC neural network acceleration. We introduce an accurate end-to-end SC accelerator based on a deterministic coding and sorting network. In addition, we propose an SC-friendly model that combines low-precision data paths with high-precision residuals. We introduce approximate computing techniques to optimize SC nonlinear adders and provide some new SC designs for arithmetic operations required by SOTA models. Overall, our approach allows for further significant improvements in circuit efficiency, flexibility, and compatibility through circuit design and model co-optimization. The results demonstrate that the proposed end-to-end SC architecture achieves accurate and efficient neural network acceleration while flexibly accommodating model requirements, showcasing the potential of SC in neural network acceleration.


title: Non-abelian extensions and Wells exact sequences of Lie-Yamaguti algebras

abstract: The goal of the present paper is to investigate non-abelian extensions of Lie-Yamaguti algebras and explore extensibility of a pair of automorphisms about a non-abelian extension of Lie-Yamaguti algebras. First, we study non-abelian extensions of Lie-Yamaguti algebras and classify the non-abelian extensions in terms of non-abelian cohomology groups. Next, we characterize the non-abelian extensions in terms of Maurer-Cartan elements. Moreover, we discuss the equivalent conditions of the extensibility of a pair of automorphisms about a non-abelian extension of Lie-Yamaguti algebras, and derive the fundamental sequences of Wells in the context of Lie-Yamaguti algebras. Finally, we discuss the previous results in the case of abelian extensions of Lie-Yamaguti algebras.


title: Equatorial source of oblique electromagnetic ion cyclotron waves: peculiarities in the ion distribution function

abstract: Electromagnetic ion cyclotron (EMIC) waves are important for Earth's inner magnetosphere as they can effectively drive relativistic electron losses to the atmosphere and energetic (ring current) ion scattering and isotropization. EMIC waves are generated by transversely anisotropic ion populations around the equatorial source region, and for typical magnetospheric conditions this almost always produces field-aligned waves. For many specific occasions, however, oblique EMIC waves are observed, and such obliquity has been commonly attributed to the wave off-equatorial propagation in curved dipole magnetic fields. In this study, we report that very oblique EMIC waves can be directly generated at the equatorial source region. Using THEMIS spacecraft observations at the dawn flank, we show that such oblique wave generation is possible in the presence of a field-aligned thermal ion population, likely of ionospheric origin, which can reduce Landau damping of oblique EMIC waves and cyclotron generation of field-aligned waves. This generation mechanism underlines the importance of magnetosphere-ionosphere coupling processes in controlling wave characteristics in the inner magnetosphere.


title: L-AutoDA: Leveraging Large Language Models for Automated Decision-based Adversarial Attacks

abstract: In the rapidly evolving field of machine learning, adversarial attacks present a significant challenge to model robustness and security. Decision-based attacks, which only require feedback on the decision of a model rather than detailed probabilities or scores, are particularly insidious and difficult to defend against. This work introduces L-AutoDA (Large Language Model-based Automated Decision-based Adversarial Attacks), a novel approach leveraging the generative capabilities of Large Language Models (LLMs) to automate the design of these attacks. By iteratively interacting with LLMs in an evolutionary framework, L-AutoDA automatically designs competitive attack algorithms efficiently without much human effort. We demonstrate the efficacy of L-AutoDA on CIFAR-10 dataset, showing significant improvements over baseline methods in both success rate and computational efficiency. Our findings underscore the potential of language models as tools for adversarial attack generation and highlight new avenues for the development of robust AI systems.


title: Aspects of critical O$(N)$ model with boundary and defect

abstract: In this thesis, we explore the critical phenomena in the presence of extended objects, which we call defects, aiming for a better understanding of the properties of non-local objects ubiquitous in our world and a more practical and realistic study of criticality. To this end, we study the statistical O$(N)$ vector model in $(4-\epsilon)$ dimensions with three kinds of defects: a line defect constructed by smearing an O$(N)$ vector field along one direction and Dirichlet and Neumann boundaries. A conventional approach to critical phenomena would be to perform perturbative calculations using Feynman diagrams and doing renormalization group analysis. But we here also take a different but complementary approach based on three axioms that include conformal symmetry of the theory at the criticality. We apply this axiomatic framework to the critical O$(N)$ model with a defect and reproduce the perturbative results at the leading non-trivial order in $\epsilon$, substantiating the validity of our approach. Along the way, we develop and refine the axiomatic framework to derive anomalous dimensions of the composite operators on the defect that have not been accessible in the existing literature by focusing on the analyticity of the correlation functions.


title: Deep Learning with Information Fusion and Model Interpretation for Health Monitoring of Fetus based on Long-term Prenatal Electronic Fetal Heart Rate Monitoring Data

abstract: Long-term fetal heart rate (FHR) monitoring during the antepartum period, increasingly popularized by electronic FHR monitoring, represents a growing approach in FHR monitoring. This kind of continuous monitoring, in contrast to the short-term one, collects an extended period of fetal heart data. This offers a more comprehensive understanding of fetus's conditions. However, the interpretation of long-term antenatal fetal heart monitoring is still in its early stages, lacking corresponding clinical standards. Furthermore, the substantial amount of data generated by continuous monitoring imposes a significant burden on clinical work when analyzed manually. To address above challenges, this study develops an automatic analysis system named LARA (Long-term Antepartum Risk Analysis system) for continuous FHR monitoring, combining deep learning and information fusion methods. LARA's core is a well-established convolutional neural network (CNN) model. It processes long-term FHR data as input and generates a Risk Distribution Map (RDM) and Risk Index (RI) as the analysis results. We evaluate LARA on inner test dataset, the performance metrics are as follows: AUC 0.872, accuracy 0.816, specificity 0.811, sensitivity 0.806, precision 0.271, and F1 score 0.415. In our study, we observe that long-term FHR monitoring data with higher RI is more likely to result in adverse outcomes (p=0.0021). In conclusion, this study introduces LARA, the first automated analysis system for long-term FHR monitoring, initiating the further explorations into its clinical value in the future.


title: On self-similar solutions of a multi-phase Stefan problem

abstract: We study self-similar solutions of a multi-phase Stefan problem, first in the case of one space variable, and then in the radial multidimensional case. In both these cases we prove that a nonlinear algebraic system for determination of the free boundaries is gradient one and the corresponding potential is an explicitly written coercive function. Therefore, there exists a minimum point of the potential, coordinates of this point determine free boundaries and provide the desired solution. Moreover, in one-dimensional case the potential is proved to be strictly convex and this implies the uniqueness of the solution. In contrary, in the multidimensional case the potential is not convex but the uniqueness of our solution remains true, it follows from the general theory. Bibliography: 3 titles.


title: Interpolation sets for dynamical systems

abstract: Originating in harmonic analysis, interpolation sets were first studied in dynamics by Glasner and Weiss in the 1980s. A set $S \subset \mathbb{N}$ is an interpolation set for a class of topological dynamical systems $\mathcal{C}$ if any bounded sequence on $S$ can be extended to a sequence that arises from a system in $\mathcal{C}$. In this paper, we provide combinatorial characterizations of interpolation sets for: $\bullet$ (totally) minimal systems; $\bullet$ topologically (weak) mixing systems; $\bullet$ strictly ergodic systems; and $\bullet$ zero entropy systems. Additionally, we prove some results on a slightly different notion, called weak interpolation sets, for several classes of systems. We also answer a question of Host, Kra, and Maass concerning the connection between sets of pointwise recurrence for distal systems and $IP$-sets.


title: Suppression of Bogoliubov momentum pairing and emergence of non-Gaussian correlations in ultracold interacting Bose gases

abstract: Strongly correlated quantum matter -- such as interacting electron systems or interacting quantum fluids -- possesses properties that cannot be understood in terms of linear fluctuations and free quasi-particles. Quantum fluctuations in these systems are indeed large and generically exhibit non-Gaussian statistics -- a property captured only by inspecting high-order correlations, whose quantitative reconstruction poses a formidable challenge to both experiments and theory alike. A prime example of correlated quantum matter is the strongly interacting Bose fluid, realized by superfluid Helium and, more recently, ultra-cold atoms. Here, we experimentally study interacting Bose gases from the weakly to the strongly interacting regime through single-atom-resolved correlations in momentum space. We observe that the Bogoliubov pairing among modes of opposite momenta, emblematic of the weakly interacting regime, is suppressed as interactions become stronger. This departure from the predictions of Bogoliubov theory signals the onset of the strongly correlated regime, as confirmed by numerical simulations that highlight the role of non-linear quantum fluctuations in our system. Additionally, our measurements unveil a non-zero four-operator cumulant at even stronger interactions, which is a direct signature of non-Gaussian correlations. These results shed light on the emergence and physical origin of non-Gaussian correlations in ensembles of interacting bosons.


title: Observation of an Abrupt 3D-2D Morphological Transition in Thin Al Layers Grown by MBE on InGaAs surface

abstract: Among superconductor/semiconductor hybrid structures, in-situ aluminum (Al) grown on InGaAs/InAs is widely pursued for the experimental realization of Majorana Zero Mode quasiparticles. This is due to the high carrier mobility, low effective mass, and large Land\'e g-factor of InAs, coupled with the relatively high value of the in-plane critical magnetic field in thin Al films. However, growing a thin, continuous Al layer using the Molecular Beam Epitaxy (MBE) is challenging due to aluminum's high surface mobility and tendency for 3D nucleation on semiconductor surfaces. A study of epitaxial Al thin film growth on In0.75Ga0.25As with MBE is presented, focusing on the effects of the Al growth rate and substrate temperature on the nucleation of Al layers. We find that for low deposition rates, 0.1 {\AA}/s and 0.5 {\AA}/s, the growth continues in 3D mode during the deposition of the nominal 100 {\AA} of Al, resulting in isolated Al islands. However, for growth rates of 1.5 {\AA}/s and above, the 3D growth mode quickly transitions into island coalescence, leading to a uniform 2D Al layer. Moreover, this transition is very abrupt, happening over an Al flux increase of less than 1%. We discuss the growth mechanisms explaining these observations. The results give new insights into the kinetics of Al deposition and show that with sufficiently high Al flux, a 2D growth on substrates at close to room temperature can be achieved already within the first few Al monolayers. This eliminates the need for complex cryogenic substrate cooling and paves the way for the development of high-quality superconductor-semiconductor interfaces in standard MBE systems.


title: Dragging of the particle spin and spin-spin coupling effect on its periapsis shift

abstract: The periapsis shift (PS) of spinning test particles in the equatorial plane of arbitrary stationary and axisymmetric spacetime is studied using the post-Newtonian method. The result is expressed as a half-integer power series of $M/p$ where $M$ is the spacetime mass and $p$ is the semilatus rectum. The coefficients of the series are polynomials of the particle spin, the asymptotic expansion coefficients of the metric functions and the eccentricity of the orbit. The particle spin is shown to have a similar effect as the Lense-Thirring (LT) effect on the PS, and both of them appear from the $(M/p)^{-3/2}$ order in the PS. The coupling between the spacetime and particle spins will increase (or decrease) the PS if they are parallel (or antiparallel). For Jupiter and Saturn rotating around the Sun and exceptionally designed satellites around Mercury and Moon, the particle spin effect can be comparable to the LT one in size. The PS in other spacetime studied are not distinguishable from that in the Kerr spacetime to the $(M/p)^{-3/2}$ order.


title: Optimal Quality and Efficiency in Adaptive Live Streaming with JND-Aware Low latency Encoding

abstract: In HTTP adaptive live streaming applications, video segments are encoded at a fixed set of bitrate-resolution pairs known as bitrate ladder. Live encoders use the fastest available encoding configuration, referred to as preset, to ensure the minimum possible latency in video encoding. However, an optimized preset and optimized number of CPU threads for each encoding instance may result in (i) increased quality and (ii) efficient CPU utilization while encoding. For low latency live encoders, the encoding speed is expected to be more than or equal to the video framerate. To this light, this paper introduces a Just Noticeable Difference (JND)-Aware Low latency Encoding Scheme (JALE), which uses random forest-based models to jointly determine the optimized encoder preset and thread count for each representation, based on video complexity features, the target encoding speed, the total number of available CPU threads, and the target encoder. Experimental results show that, on average, JALE yield a quality improvement of 1.32 dB PSNR and 5.38 VMAF points with the same bitrate, compared to the fastest preset encoding of the HTTP Live Streaming (HLS) bitrate ladder using x265 HEVC open-source encoder with eight CPU threads used for each representation. These enhancements are achieved while maintaining the desired encoding speed. Furthermore, on average, JALE results in an overall storage reduction of 72.70 %, a reduction in the total number of CPU threads used by 63.83 %, and a 37.87 % reduction in the overall encoding time, considering a JND of six VMAF points.


title: IRS Aided Millimeter-Wave Sensing and Communication: Beam Scanning, Beam Splitting, and Performance Analysis

abstract: Integrated sensing and communication (ISAC) has attracted growing interests for enabling the future 6G wireless networks, due to its capability of sharing spectrum and hardware resources between communication and sensing systems. However, existing works on ISAC usually need to modify the communication protocol to cater for the new sensing performance requirement, which may be difficult to implement in practice. In this paper, we study a new intelligent reflecting surface (IRS) aided millimeter-wave (mmWave) ISAC system by exploiting the distinct beam scanning operation in mmWave communications to achieve efficient sensing at the same time. First, we propose a two-phase ISAC protocol aided by a semi-passive IRS, consisting of beam scanning and data transmission. Specifically, in the beam scanning phase, the IRS finds the optimal beam for reflecting signals from the base station to a communication user via its passive elements. Meanwhile, the IRS directly estimates the angle of a nearby target based on echo signals from the target using its equipped active sensing element. Then, in the data transmission phase, the sensing accuracy is further improved by leveraging the data signals via possible IRS beam splitting. Next, we derive the achievable rate of the communication user as well as the Cram\'er-Rao bound and the approximate mean square error of the target angle estimation Finally, extensive simulation results are provided to verify our analysis as well as the effectiveness of the proposed scheme.


title: The groups $G_{n}^{k}$ and $2n$-gon tilings

abstract: In the present paper we discuss four ways of looking at rhombile tilings: stacking 3-dimensional cubes, elements of groups, and configurations of lines and points.


title: Energy-efficient Adaptive Video Streaming with Latency-Aware Dynamic Resolution Encoding

abstract: Traditional per-title encoding schemes aim to optimize encoding resolutions to deliver the highest perceptual quality for each representation. However, keeping the encoding time within an acceptable threshold for a smooth user experience is important to reduce the carbon footprint and energy consumption on encoding servers in video streaming applications. Toward this realization, we introduce an encoding latency-a ware dynamic resolution encoding scheme (LADRE) for adaptive video streaming applications. LADRE determines the encoding resolution for each target bitrate by utilizing a random forest-based prediction model for every video segment based on spatiotemporal features and the acceptable target latency. Experimental results show that LADRE achieves an overall average quality improvement of 0.58 dB PSNR and 0.43 dB XPSNR while maintaining the same bitrate, compared to the HTTP Live Streaming (HLS) bitrate ladder encoding of 200 s segments using the VVenC encoder, when the encoding latency for each representation is set to remain below the 200 s threshold. This is accompanied by an 84.17 % reduction in overall encoding energy consumption.


title: A Comprehensive Survey of Compression Algorithms for Language Models

abstract: How can we compress language models without sacrificing accuracy? The number of compression algorithms for language models is rapidly growing to benefit from remarkable advances of recent language models without side effects due to the gigantic size of language models, such as increased carbon emissions and expensive maintenance fees. While numerous compression algorithms have shown remarkable progress in compressing language models, it ironically becomes challenging to capture emerging trends and identify the fundamental concepts underlying them due to the excessive number of algorithms. In this paper, we survey and summarize diverse compression algorithms including pruning, quantization, knowledge distillation, low-rank approximation, parameter sharing, and efficient architecture design. We not only summarize the overall trend of diverse compression algorithms but also select representative algorithms and provide in-depth analyses of them. We discuss the value of each category of compression algorithms, and the desired properties of low-cost compression algorithms which have a significant impact due to the emergence of large language models. Finally, we introduce promising future research topics based on our survey results.


title: AniDress: Animatable Loose-Dressed Avatar from Sparse Views Using Garment Rigging Model

abstract: Recent communities have seen significant progress in building photo-realistic animatable avatars from sparse multi-view videos. However, current workflows struggle to render realistic garment dynamics for loose-fitting characters as they predominantly rely on naked body models for human modeling while leaving the garment part un-modeled. This is mainly due to that the deformations yielded by loose garments are highly non-rigid, and capturing such deformations often requires dense views as supervision. In this paper, we introduce AniDress, a novel method for generating animatable human avatars in loose clothes using very sparse multi-view videos (4-8 in our setting). To allow the capturing and appearance learning of loose garments in such a situation, we employ a virtual bone-based garment rigging model obtained from physics-based simulation data. Such a model allows us to capture and render complex garment dynamics through a set of low-dimensional bone transformations. Technically, we develop a novel method for estimating temporal coherent garment dynamics from a sparse multi-view video. To build a realistic rendering for unseen garment status using coarse estimations, a pose-driven deformable neural radiance field conditioned on both body and garment motions is introduced, providing explicit control of both parts. At test time, the new garment poses can be captured from unseen situations, derived from a physics-based or neural network-based simulator to drive unseen garment dynamics. To evaluate our approach, we create a multi-view dataset that captures loose-dressed performers with diverse motions. Experiments show that our method is able to render natural garment dynamics that deviate highly from the body and generalize well to both unseen views and poses, surpassing the performance of existing methods. The code and data will be publicly available.


title: Ergodicity of stochastic Burgers equation in unbounded domains with space-time white noise

abstract: In this paper, we investigate the stochastic Burgers equation with multiplicative noise defined on the entire real line. The equation can be expressed as follows: $$ \dfrac{\partial u}{\partial t}=\dfrac{\partial^2 u}{\partial x^2}-ku +\dfrac{1}{2}\dfrac{\partial u^2}{\partial x}+\sigma(u)\dfrac{\partial^2 W}{\partial t\partial x}. $$ The noise is characterized as space-time white noise. We establish that the solution remains uniformly bounded in time. Furthermore, by employing the Krylov-Bogolioubov theorem, we establish the existence of invariant measures for this equation. Additionally, we demonstrate the uniqueness of invariant measures by utilizing the strong Feller and irreducible properties.


title: Spin--spin interaction and magnetic Feshbach resonances in collisions of high-spin atoms with closed-shell atoms

abstract: We investigate interactions and ultracold collisions of high-spin but spherical atoms with closed-shell atoms, focussing on the example of Cr with Yb. Such a combination has only one potential energy curve but gives rise to a substantial intra-atomic spin--spin interaction, which causes Feshbach resonances due to rotationally excited states. We find such resonances are guaranteed below 250 G and can reach widths of 10s of G in favorable circumstances. We study the effect of hyperfine structure, which can create additional wide resonances at low fields. Finally, we consider isotopic substitution and show that for any realistic potential it is very likely at least one combination of commonly used isotopes will have resonances with experimentally favorable properties. Thus, this is a promising system for both molecule formation and studying quantum mixtures including dipolar species.


title: A Survey on Neural Topic Models: Methods, Applications, and Challenges

abstract: Topic models have been prevalent for decades to discover latent topics and infer topic proportions of documents in an unsupervised fashion. They have been widely used in various applications like text analysis and context recommendation. Recently, the rise of neural networks has facilitated the emergence of a new research field -- Neural Topic Models (NTMs). Different from conventional topic models, NTMs directly optimize parameters without requiring model-specific derivations. This endows NTMs with better scalability and flexibility, resulting in significant research attention and plentiful new methods and applications. In this paper, we present a comprehensive survey on neural topic models concerning methods, applications, and challenges. Specifically, we systematically organize current NTM methods according to their network structures and introduce the NTMs for various scenarios like short texts and bilingual documents. We also discuss a wide range of popular applications built on NTMs. Finally, we highlight the challenges confronted by NTMs to inspire future research. We accompany this survey with a repository for easier access to the mentioned paper resources: https://github.com/bobxwu/Paper-Neural-Topic-Models.


title: Randomized query composition and product distributions

abstract: Let R_eps denote randomized query complexity for error probability eps, and R:=R_{1/3}. In this work we investigate whether a perfect composition theorem R(f o g^n)=Omega(R(f).R(g)) holds for a relation f in {0,1}^n * S and a total inner function g:{0,1}^m \to {0, 1}. Let D^(prod) denote the maximum distributional query complexity with respect to any product (over variables) distribution. In this work we show the composition theorem R(f o g^n)=Omega(R(f).D^{prod}(g)) up to logarithmic factors. In light of the minimax theorem which states that R(g) is the maximum distributional complexity of g over any distribution, our result makes progress towards answering the composition question. We prove our result by means of a complexity measure R^(prod)_(eps) that we define for total Boolean functions. We show it to be equivalent (up to logarithmic factors) to the sabotage complexity measure RS() defined by Ben-David and Kothari (ICALP 2019): RS(g) = Theta(R^(prod)_(1/3)(g)) (up to log factors). We ask if our bound RS(g) = Omega(D^(prod)(g)) (up to log factors) is tight. We answer this question in the negative, by showing that for the NAND tree function, sabotage complexity is polynomially larger than D^(prod). Our proof yields an alternative and different derivation of the tight lower bound on the bounded error randomized query complexity of the NAND tree function (originally proved by Santha in 1985), which may be of independent interest. Our result gives an explicit polynomial separation between R and D^(prod) which, to our knowledge, was not known prior to our work.


title: Mapping graph homology to $K$-theory of Roe algebras

abstract: Given a graph $\Gamma$, one may conside the set $X$ of its vertices as a metric space by assuming that all edges have length one. We consider two versions of homology theory of $\Gamma$ and their $K$-theory counterparts -- the $K$-theory of the (uniform) Roe algebra of the metric space $X$ of vertices of $\Gamma$. We construct here a natural map from homology of $\Gamma$ to the $K$-theory of the Roe algebra of $X$, and its uniform version. We show that, when $\Gamma$ is the Cayley graph of $\mathbb Z$, the constructed maps are isomorphisms.


title: DeepGI: An Automated Approach for Gastrointestinal Tract Segmentation in MRI Scans

abstract: Gastrointestinal (GI) tract cancers pose a global health challenge, demanding precise radiotherapy planning for optimal treatment outcomes. This paper introduces a cutting-edge approach to automate the segmentation of GI tract regions in magnetic resonance imaging (MRI) scans. Leveraging advanced deep learning architectures, the proposed model integrates Inception-V4 for initial classification, UNet++ with a VGG19 encoder for 2.5D data, and Edge UNet for grayscale data segmentation. Meticulous data preprocessing, including innovative 2.5D processing, is employed to enhance adaptability, robustness, and accuracy. This work addresses the manual and time-consuming segmentation process in current radiotherapy planning, presenting a unified model that captures intricate anatomical details. The integration of diverse architectures, each specializing in unique aspects of the segmentation task, signifies a novel and comprehensive solution. This model emerges as an efficient and accurate tool for clinicians, marking a significant advancement in the field of GI tract image segmentation for radiotherapy planning.


title: Improved bounds on the interactive capacity via error pattern analysis

abstract: Any interactive protocol between a pair of parties can be reliably simulated in the presence of noise with a multiplicative overhead on the number of rounds (Schulman 1996). The reciprocal of the best (least) overhead is called the interactive capacity of the noisy channel. In this work, we present lower bounds on the interactive capacity of the binary erasure channel. Our lower bound improves the best known bound due to Ben-Yishai et al. 2021 by roughly a factor of 1.75. The improvement is due to a tighter analysis of the correctness of the simulation protocol using error pattern analysis. More precisely, instead of using the well-known technique of bounding the least number of erasures needed to make the simulation fail, we identify and bound the probability of specific erasure patterns causing simulation failure. We remark that error pattern analysis can be useful in solving other problems involving stochastic noise, such as bounding the interactive capacity of different channels.


title: A Decision Theoretic Framework for Measuring AI Reliance

abstract: Humans frequently make decisions with the aid of artificially intelligent (AI) systems. A common pattern is for the AI to recommend an action to the human who retains control over the final decision. Researchers have identified ensuring that a human has appropriate reliance on an AI as a critical component of achieving complementary performance. We argue that the current definition of appropriate reliance used in such research lacks formal statistical grounding and can lead to contradictions. We propose a formal definition of reliance, based on statistical decision theory, which separates the concepts of reliance as the probability the decision-maker follows the AI's recommendation from challenges a human may face in differentiating the signals and forming accurate beliefs about the situation. Our definition gives rise to a framework that can be used to guide the design and interpretation of studies on human-AI complementarity and reliance. Using recent AI-advised decision making studies from literature, we demonstrate how our framework can be used to separate the loss due to mis-reliance from the loss due to not accurately differentiating the signals. We evaluate these losses by comparing to a baseline and a benchmark for complementary performance defined by the expected payoff achieved by a rational decision-maker facing the same decision task as the behavioral decision-makers.