title: Mixing Solutions in Bitcoin and Ethereum Ecosystems: A Review and Tutorial

abstract: This manuscript presents an exhaustive review of blockchain-based mixing services, aiming to fill the existing gap between academic innovations and real-world implementations. Starting with an identification of the core functionalities and techniques employed by mixing services, the paper delves into detailed explanations of these operational mechanisms. It further outlines an evaluation framework tailored for a rigorous assessment, highlighting the key vulnerabilities and strengths of various solutions. In addition, the study identifies potential attack vectors that compromise these services. The paper explores the dual nature of mixing services, while they contribute to the preservation of privacy, a cornerstone of blockchain technologies, they can also facilitate illicit activities. By addressing key research questions, this study not only offers a comprehensive overview of the current state of mixing services but also sets the stage for future academic discourse in this evolving field.


title: HowToCaption: Prompting LLMs to Transform Video Annotations at Scale

abstract: Instructional videos are an excellent source for learning multimodal representations by leveraging video-subtitle pairs extracted with automatic speech recognition systems (ASR) from the audio signal in the videos. However, in contrast to human-annotated captions, both speech and subtitles naturally differ from the visual content of the videos and thus provide only noisy supervision for multimodal learning. As a result, large-scale annotation-free web video training data remains sub-optimal for training text-video models. In this work, we propose to leverage the capability of large language models (LLMs) to obtain fine-grained video descriptions aligned with videos. Specifically, we prompt an LLM to create plausible video descriptions based on ASR narrations of the video for a large-scale instructional video dataset. To this end, we introduce a prompting method that is able to take into account a longer text of subtitles, allowing us to capture context beyond a single sentence. To align the captions to the video temporally, we prompt the LLM to generate timestamps for each produced caption based on the subtitles. In this way, we obtain human-style video captions at scale without human supervision. We apply our method to the subtitles of the HowTo100M dataset, creating a new large-scale dataset, HowToCaption. Our evaluation shows that the resulting captions not only significantly improve the performance over many different benchmark datasets for text-video retrieval but also lead to a disentangling of textual narration from the audio, boosting performance in text-video-audio tasks.


title: WAIT: Feature Warping for Animation to Illustration video Translation using GANs

abstract: In this paper, we explore a new domain for video-to-video translation. Motivated by the availability of animation movies that are adopted from illustrated books for children, we aim to stylize these videos with the style of the original illustrations. Current state-of-the-art video-to-video translation models rely on having a video sequence or a single style image to stylize an input video. We introduce a new problem for video stylizing where an unordered set of images are used. This is a challenging task for two reasons: i) we do not have the advantage of temporal consistency as in video sequences; ii) it is more difficult to obtain consistent styles for video frames from a set of unordered images compared to using a single image. Most of the video-to-video translation methods are built on an image-to-image translation model, and integrate additional networks such as optical flow, or temporal predictors to capture temporal relations. These additional networks make the model training and inference complicated and slow down the process. To ensure temporal coherency in video-to-video style transfer, we propose a new generator network with feature warping layers which overcomes the limitations of the previous methods. We show the effectiveness of our method on three datasets both qualitatively and quantitatively. Code and pretrained models are available at https://github.com/giddyyupp/wait.


title: Electronic transport through the phtalocyanine molecule in atomic contacts Co

abstract: The effect of magnetic STM-tip on electronic, magnetic and electronic transport properties through the molecule junction STM-tip-Co/CoPc/Co(111), has been investigated by mean of ab initio electronic structure calculations. The spin transition has been studied by varying the distance (passing from the tunneling regime to the contact regime) between the tip and the CoPc molecule in both configurations, parallel and anti-parallel. Our calculation shows that the transition of spin of the Co atom of CoPc molecule has led to a change of the sign of the Magneto-Resistance (MR). It is also shown that the characteristic I-V has been influenced by this spin-transition of central atom of CoPc molecule.


title: Entanglement transition in rod packings

abstract: Random packings of stiff rods are self-supporting mechanical structures stabilized by long range interactions induced by contacts. To understand the geometrical and topological complexity of the packings, we deploy X-ray computerized tomography to unveil the structure of the packing. This allows us to define and directly visualize the spatial variations in the entanglement, a mesoscopic field that characterizes the local average crossing number, a measure of the topological complexity of the packing. We show that the entanglement field has information that is distinct from the density, orientational order, and contact distribution of the packing. We find that increasing the aspect ratio of the constituent rods in a packing leads to a proliferation of regions of strong entanglement that eventually percolate through the system, and this is correlated with a sharp transition in the mechanical response of the packing. We conclude with a tentative entanglement phase diagram for the mechanical response of dense rod packings that is likely relevant for a broad range of problems that goes beyond our specific study.


title: Bargain your share: The role of workers bargaining power for labor share, with reference to transition economies

abstract: The objective of the paper is to understand the role of workers bargaining for the labor share in transition economies. We rely on a share-capital schedule, whereby workers bargaining power is represented as a move off the schedule. Quantitative indicators of bargaining power are amended with own-constructed qualitative indices from textual information describing the legal enabling environment for bargaining in each country. Multiple data constraints impose reliance on a cross-sectional empirical model estimated with IV methods, whereby former unionization rates and the time since the adoption of the ILO Collective Bargaining Convention are used as exogenous instruments. The sample is composed of 23 industrial branches in 69 countries, of which 28 transition ones. In general, we find the stronger bargaining power to influence higher labor share, when the former is measured either quantitatively or qualitatively. On the contrary, higher bargaining power results in lower labor share in transition economies. This is likely a matter of delayed response to wage pushes, reconciled with the increasing role of MNCs which did not confront the workers power rise per se, but introduced automation and changed market structure amid labor-market flexibilization, which eventually deferred bargaining power-s positive effect on labor share.


title: Spacelike minimal surfaces in R^4_1 through of a $\theta$-Family

abstract: In this paper we introduce a $\theta$-family of spacelike surfaces in the Lorentz-Minkowski space R^4_1 based in two complex valued functions $a(w), \mu(w)$, which when they are holomorphic we will be dealing with a family of spacelike minimal surfaces. The $\theta$-family is such that it connects spacelike minimal surfaces in R^3_1 to spacelike minimal surfaces in R^3. We study the family through of the curvature and we prove that the family preserves planar points and moreover, that the existence of planar points corresponds to the existence of solutions of equation |a_w(w)|^2 =0. We also show that if a pair of surfaces are associated through of a $\theta$-family then they can not be complete surfaces. As applications we focus to one type of graph surfaces in R^4_1 and we prove that if the imaginary part of $a(w)$ is zero at least in a point then the surface cannot assume local representations of that type of graph. Several explicit examples are given.


title: Are Generation Z Less Car-centric Than Millennials? A Nationwide Analysis Through the Lens of Youth Licensing

abstract: The debate on whether young Americans are becoming less reliant on automobiles is still ongoing. This research compares driver's license acquisition patterns between Millennials and their succeeding Generation Z during late adolescence. It also examines factors influencing teenagers' decisions to obtain driver's licenses. The findings suggest that the decline in licensing rates may be attributed in part to generational shifts in attitudes and cultural changes, such as Generation Z's inclination toward educational trips and their digital upbringing. This research underscores the implications for planners, practitioners, and policymakers in adapting to potential shifts in American car culture.


title: An Information Theory Approach to the Stock and Cryptocurrency Market: A Statistical Equilibrium Perspective

abstract: We study the stochastic structure of cryptocurrency rates of returns as compared to stock returns by focusing on the associated cross-sectional distributions. We build two datasets. The first comprises forty-six major cryptocurrencies, and the second includes all the companies listed in the S&P 500. We collect individual data from January 2017 until December 2022. We then apply the Quantal Response Statistical Equilibrium (QRSE) model to recover the cross-sectional frequency distribution of the daily returns of cryptocurrencies and S&P 500 companies. We study the stochastic structure of these two markets and the properties of investors' behavior over bear and bull trends. Finally, we compare the degree of informational efficiency of these two markets.


title: Existence and construction of non-loose knots

abstract: In this paper we give necessary and sufficient conditions for a knot type to admit non-loose Legendrian and transverse representatives in some overtwisted contact structure, classify all non-loose rational unknots in lens spaces, and discuss conditions under which non-looseness is preserved under cabling.


title: On the quantum theory of light interacting with nano-materials

abstract: The fundamental processes of absorption, stimulated and spontaneous emission, and elastic as well as inelastic scattering involving light and atoms, molecules, and nano-particles have been studied for decades using both classical and quantum theories. While providing an overview of the subject, this paper presents a streamlined approach to studying atom-photon interactions in the context of modern quantum optics in the hope of providing guidance for applications in the general area of molecular and nano-photonic machines.


title: Faithful Knowledge Graph Explanations for Commonsense Reasoning

abstract: The fusion of language models (LMs) and knowledge graphs (KGs) is widely used in commonsense question answering, but generating faithful explanations remains challenging. Current methods often overlook path decoding faithfulness, leading to divergence between graph encoder outputs and model predictions. We identify confounding effects and LM-KG misalignment as key factors causing spurious explanations. To address this, we introduce the LM-KG Fidelity metric to assess KG representation reliability and propose the LM-KG Distribution-aware Alignment (\textit{LKDA}) algorithm to improve explanation faithfulness. Without ground truth, we evaluate KG explanations using the proposed Fidelity-Sparsity Trade-off Curve. Experiments on CommonsenseQA and OpenBookQA show that LKDA significantly enhances explanation fidelity and model performance, highlighting the need to address distributional misalignment for reliable commonsense reasoning.


title: Interference Networks with Random User Activity and Heterogeneous Delay Constraints

abstract: To answer the call for a new theoretical framework to simultaneously accommodate random user activity and heterogeneous delay traffic in Internet of Things (IoT) systems, in this paper we propose coding schemes and information-theoretic converse results for the transmission of heterogeneous delay traffic over interference networks with random user activity and random data arrivals. The heterogeneous traffic is composed of delay-tolerant traffic and delay-sensitive traffic where only the former can benefit from transmitter and receiver cooperation since the latter is subject to stringent decoding delays. The total number of cooperation rounds at transmitter and receiver sides is limited to $\D$ rounds. Each transmitter is active with probability $\rho \in [0,1]$. We consider two different models for the arrival of the mixed-delay traffic: in Model~$1$, each active transmitter sends a delay-tolerant message, and with probability $\rho_f \in [0,1]$ also transmits an additional delay-sensitive message; in Model~$2$, each active transmitter sends either a delay-sensitive message with probability $\rho_f$ or a delay-tolerant message with probability $1-\rho_f$. We derive inner and outer bounds on the fundamental per-user multiplexing gain (MG) region of the symmetric Wyner network as well as inner bounds on the fundamental MG region of the hexagonal model. Our inner and outer bounds are generally very close and coincide in special cases. They also show that when both transmitters and receivers can cooperate, then under Model~$1$, transmitting delay-sensitive messages hardly causes any penalty on the sum per-user MG, and under Model~$2$, operating at large delay-sensitive per-user MGs incurs no penalty on the delay-tolerant per-user MG and thus increases the sum per-user MG.


title: $H$-RANSAC, an algorithmic variant for Homography image transform from featureless point sets: application to video-based football analytics

abstract: Estimating homography matrix between two images has various applications like image stitching or image mosaicing and spatial information retrieval from multiple camera views, but has been proved to be a complicated problem, especially in cases of radically different camera poses and zoom factors. Many relevant approaches have been proposed, utilizing direct feature based, or deep learning methodologies. In this paper, we propose a generalized RANSAC algorithm, H-RANSAC, to retrieve homography image transformations from sets of points without descriptive local feature vectors and point pairing. We allow the points to be optionally labelled in two classes. We propose a robust criterion that rejects implausible point selection before each iteration of RANSAC, based on the type of the quadrilaterals formed by random point pair selection (convex or concave and (non)-self-intersecting). A similar post-hoc criterion rejects implausible homography transformations is included at the end of each iteration. The expected maximum iterations of $H$-RANSAC are derived for different probabilities of success, according to the number of points per image and per class, and the percentage of outliers. The proposed methodology is tested on a large dataset of images acquired by 12 cameras during real football matches, where radically different views at each timestamp are to be matched. Comparisons with state-of-the-art implementations of RANSAC combined with classic and deep learning image salient point detection indicates the superiority of the proposed $H$-RANSAC, in terms of average reprojection error and number of successfully processed pairs of frames, rendering it the method of choice in cases of image homography alignment with few tens of points, while local features are not available, or not descriptive enough. The implementation of $H$-RANSAC is available in https://github.com/gnousias/H-RANSAC


title: Enhancing nonclassical properties of quantum states of light using linear optics

abstract: In this letter, we present a simple and versatile scheme for enhancing the nonclassical properties of light states using only linear optics and photodetectors. By combining a coherent state $|\alpha\rangle$ and an arbitrary pure state of light $|\phi\rangle$ (excluding coherent states) at two beam splitters, we show that the amplitude $\alpha$ of the coherent state can be tuned to filter out specific Fock components and generate states of light with enhanced nonclassical features. We provide two examples of input states and demonstrate the effectiveness of our scheme in enhancing the sub-Poissonian statistics or the quadrature squeezing of the output states.


title: Analyzing Zero-Shot Abilities of Vision-Language Models on Video Understanding Tasks

abstract: Foundational multimodal models pre-trained on large scale image-text pairs or video-text pairs or both have shown strong generalization abilities on downstream tasks. However unlike image-text models, pretraining video-text models is always not feasible due to the difficulty in collecting large-scale clean and aligned data, and exponential computational costs involved in the pretraining phase. Therefore, the pertinent question to ask is: Can image-text models be adapted to video tasks and is there any benefit to using these models over pretraining directly on videos? In this work, we focus on this question by proposing a detailed study on the generalization abilities of image-text models when evaluated on video understanding tasks in a zero-shot setting. We investigate 9 foundational image-text models on a diverse set of video tasks that include video action recognition (video AR), video retrieval (video RT), video question answering (video QA), video multiple choice (video MC) and video captioning (video CP). Our experiments show that image-text models exhibit impressive performance on video AR, video RT and video MC. Furthermore, they perform moderately on video captioning and poorly on video QA. These findings shed a light on the benefits of adapting foundational image-text models to an array of video tasks while avoiding the costly pretraining step.


title: On Accelerating Diffusion-based Molecular Conformation Generation in SE(3)-invariant Space

abstract: Diffusion-based generative models in SE(3)-invariant space have demonstrated promising performance in molecular conformation generation, but typically require solving stochastic differential equations (SDEs) with thousands of update steps. Till now, it remains unclear how to effectively accelerate this procedure explicitly in SE(3)-invariant space, which greatly hinders its wide application in the real world. In this paper, we systematically study the diffusion mechanism in SE(3)-invariant space via the lens of approximate errors induced by existing methods. Thereby, we develop more precise approximate in SE(3) in the context of projected differential equations. Theoretical analysis is further provided as well as empirical proof relating hyper-parameters with such errors. Altogether, we propose a novel acceleration scheme for generating molecular conformations in SE(3)-invariant space. Experimentally, our scheme can generate high-quality conformations with 50x--100x speedup compared to existing methods.


title: Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks

abstract: The reliable deployment of neural networks in control systems requires rigorous robustness guarantees. In this paper, we obtain tight robustness certificates over convex attack sets for min-max representations of ReLU neural networks by developing a convex reformulation of the nonconvex certification problem. This is done by "lifting" the problem to an infinite-dimensional optimization over probability measures, leveraging recent results in distributionally robust optimization to solve for an optimal discrete distribution, and proving that solutions of the original nonconvex problem are generated by the discrete distribution under mild boundedness, nonredundancy, and Slater conditions. As a consequence, optimal (worst-case) attacks against the model may be solved for exactly. This contrasts prior state-of-the-art that either requires expensive branch-and-bound schemes or loose relaxation techniques. Experiments on robust control and MNIST image classification examples highlight the benefits of our approach.


title: Is Arrow's Dictator a Drinker?

abstract: We critique the formulation of Arrow's no-dictator condition to show that it does not correspond to the accepted informal/intuitive interpretation. This has implications for the theorem's scope of applicability.


title: SWAP: Sparse Entropic Wasserstein Regression for Robust Network Pruning

abstract: This study addresses the challenge of inaccurate gradients in computing the empirical Fisher Information Matrix during neural network pruning. We introduce SWAP, a formulation of Entropic Wasserstein regression (EWR) for pruning, capitalizing on the geometric properties of the optimal transport problem. The ``swap'' of the commonly used linear regression with the EWR in optimization is analytically demonstrated to offer noise mitigation effects by incorporating neighborhood interpolation across data points with only marginal additional computational cost. The unique strength of SWAP is its intrinsic ability to balance noise reduction and covariance information preservation effectively. Extensive experiments performed on various networks and datasets show comparable performance of SWAP with state-of-the-art (SoTA) network pruning algorithms. Our proposed method outperforms the SoTA when the network size or the target sparsity is large, the gain is even larger with the existence of noisy gradients, possibly from noisy data, analog memory, or adversarial attacks. Notably, our proposed method achieves a gain of 6% improvement in accuracy and 8% improvement in testing loss for MobileNetV1 with less than one-fourth of the network parameters remaining.


title: The Conditional Prediction Function: A Novel Technique to Control False Discovery Rate for Complex Models

abstract: In modern scientific research, the objective is often to identify which variables are associated with an outcome among a large class of potential predictors. This goal can be achieved by selecting variables in a manner that controls the the false discovery rate (FDR), the proportion of irrelevant predictors among the selections. Knockoff filtering is a cutting-edge approach to variable selection that provides FDR control. Existing knockoff statistics frequently employ linear models to assess relationships between features and the response, but the linearity assumption is often violated in real world applications. This may result in poor power to detect truly prognostic variables. We introduce a knockoff statistic based on the conditional prediction function (CPF), which can pair with state-of-art machine learning predictive models, such as deep neural networks. The CPF statistics can capture the nonlinear relationships between predictors and outcomes while also accounting for correlation between features. We illustrate the capability of the CPF statistics to provide superior power over common knockoff statistics with continuous, categorical, and survival outcomes using repeated simulations. Knockoff filtering with the CPF statistics is demonstrated using (1) a residential building dataset to select predictors for the actual sales prices and (2) the TCGA dataset to select genes that are correlated with disease staging in lung cancer patients.


title: Single Qubit Multi-Party Transmission Using Universal Symmetric Quantum Cloning

abstract: We consider the hypothetical quantum network case where Alice wishes to transmit one qubit of information (specifically a pure quantum state) to $M$ parties, where $M$ is some large number. The remote receivers locally perform single qubit quantum state tomography on the transmitted qubits in order to compute the quantum state within some error rate (dependent on the tomography technique and number of qubits used). We show that with the use of an intermediate optimal symmetric universal quantum cloning machine (between Alice and the remote receivers) as a repeater-type node in a hypothetical quantum network, Alice can send significantly fewer qubits compared to direct transmission of the message qubits to each of the $M$ remote receivers. This is possible due to two properties of quantum cloning. The first being that single qubit quantum clones retain the same angle, in the Bloch sphere representation, as the initial quantum state. This means that if the mixed state of the quantum clone can be computed to high enough accuracy, the pure quantum state can be computed by extrapolating that vector to the surface of the Bloch sphere. The second property is that the state overlap of approximate quantum clones, with respect to the original pure quantum state, quickly converges (specifically for $1 \rightarrow M$ the limit of the fidelity as M goes to infinity is $\frac{2}{3}$). This means that Alice can prepare a constant number of qubits (which are then passed through the quantum cloning machine) in order to achieve a desired error rate, if $M$ is large enough. Combined, these two properties mean that for large $M$, Alice can prepare orders of magnitude fewer qubits in order to achieve the same single qubit transmission accuracy compared to the naive direct qubit transmission approach.


title: Crystal: Introspective Reasoners Reinforced with Self-Feedback

abstract: Extensive work has shown that the performance and interpretability of commonsense reasoning can be improved via knowledge-augmented reasoning methods, where the knowledge that underpins the reasoning process is explicitly verbalized and utilized. However, existing implementations, including "chain-of-thought" and its variants, fall short in capturing the introspective nature of knowledge required in commonsense reasoning, and in accounting for the mutual adaptation between the generation and utilization of knowledge. We propose a novel method to develop an introspective commonsense reasoner, Crystal. To tackle commonsense problems, it first introspects for knowledge statements related to the given question, and subsequently makes an informed prediction that is grounded in the previously introspected knowledge. The knowledge introspection and knowledge-grounded reasoning modes of the model are tuned via reinforcement learning to mutually adapt, where the reward derives from the feedback given by the model itself. Experiments show that Crystal significantly outperforms both the standard supervised finetuning and chain-of-thought distilled methods, and enhances the transparency of the commonsense reasoning process. Our work ultimately validates the feasibility and potential of reinforcing a neural model with self-feedback.


title: Robust Multivariate Detection and Estimation with Fault Frequency Content Information

abstract: This paper studies the problem of fault detection and estimation (FDE) for linear time-invariant (LTI) systems with a particular focus on frequency content information of faults, possibly as multiple disjoint continuum ranges, and under both disturbances and stochastic noise. To ensure the worst-case fault sensitivity in the considered frequency ranges and mitigate the effects of disturbances and noise, an optimization framework incorporating a mixed H_/H2 performance index is developed to compute the optimal detection filter. Moreover, a thresholding rule is proposed to guarantee both the false alarm rate (FAR) and the fault detection rate (FDR). Next, shifting attention to fault estimation in specific frequency ranges, an exact reformulation of the optimal estimation filter design using the restricted Hinf performance index is derived, which is inherently non-convex. However, focusing on finite frequency samples and fixed poles, a lower bound is established via a highly tractable quadratic programming (QP) problem. This lower bound together with an alternating optimization (AO) approach to the original estimation problem leads to a suboptimality gap for the overall estimation filter design. The effectiveness of the proposed approaches is validated through a synthetic non-minimum phase system and an application of the multi-area power system.


title: An Optimal Unequal Error Protection LDPC Coded Recording System

abstract: For efficient modulation and error control coding, the deliberate flipping approach imposes the run-length-limited(RLL) constraint by bit error before recording. From the read side, a high coding rate limits the correcting capability of RLL bit error. In this paper, we study the low-density parity-check (LDPC) coding for RLL constrained recording system based on the Unequal Error Protection (UEP) coding scheme design. The UEP capability of irregular LDPC codes is used for recovering flipped bits. We provide an allocation technique to limit the occurrence of flipped bits on the bit with robust correction capability. In addition, we consider the signal labeling design to decrease the number of nearest neighbors to enhance the robust bit. We also apply the density evolution technique to the proposed system for evaluating the code performances. In addition, we utilize the EXIT characteristic to reveal the decoding behavior of the recommended code distribution. Finally, the optimization approach for the best distribution is proven by differential evolution for the proposed system.


title: Markov Chain Monte Carlo Significance Tests

abstract: Monte Carlo significance tests are a general tool that produce p-values by generating samples from the null distribution. However, Monte Carlo tests are limited to null hypothesis which we can exactly sample from. Markov chain Monte Carlo (MCMC) significance tests are a way to produce statistical valid p-values for null hypothesis we can only approximately sample from. These methods were first introduced by Besag and Clifford in 1989 and make no assumptions on the mixing time of the MCMC procedure. Here we review the two methods of Besag and Clifford and introduce a new method that unifies the existing procedures. We use simple examples to highlight the difference between MCMC significance tests and standard Monte Carlo tests based on exact sampling. We also survey a range of contemporary applications in the literature including goodness-of-fit testing for the Rasch model, tests for detecting gerrymandering [8] and a permutation based test of conditional independence [3].


title: Crystal-GFN: sampling crystals with desirable properties and constraints

abstract: Accelerating material discovery holds the potential to greatly help mitigate the climate crisis. Discovering new solid-state materials such as electrocatalysts, super-ionic conductors or photovoltaic materials can have a crucial impact, for instance, in improving the efficiency of renewable energy production and storage. In this paper, we introduce Crystal-GFN, a generative model of crystal structures that sequentially samples structural properties of crystalline materials, namely the space group, composition and lattice parameters. This domain-inspired approach enables the flexible incorporation of physical and structural hard constraints, as well as the use of any available predictive model of a desired physicochemical property as an objective function. To design stable materials, one must target the candidates with the lowest formation energy. Here, we use as objective the formation energy per atom of a crystal structure predicted by a new proxy machine learning model trained on MatBench. The results demonstrate that Crystal-GFN is able to sample highly diverse crystals with low (median -3.1 eV/atom) predicted formation energy.


title: Further results on generalized cellular automata

abstract: Given a finite set $A$ and a group homomorphism $\phi : H \to G$, a $\phi$-cellular automaton is a function $\mathcal{T} : A^G \to A^H$ that is continuous with respect to the prodiscrete topologies and $\phi$-equivariant in the sense that $h \cdot \mathcal{T}(x) = \mathcal{T}( \phi(h) \cdot x)$, for all $x \in A^G, h \in H$, where $\cdot$ denotes the shift actions of $G$ and $H$ on $A^G$ and $A^H$, respectively. When $G=H$ and $\phi = \text{id}$, the definition of $\text{id}$-cellular automata coincides with the classical definition of cellular automata. The purpose of this paper is to expand the theory of $\phi$-cellular automata by focusing on the differences and similarities with their classical counterparts. After discussing some basic results, we introduce the following definition: a $\phi$-cellular automaton $\mathcal{T} : A^G \to A^H$ has the unique homomorphism property (UHP) if $\mathcal{T}$ is not $\psi$-equivariant for any group homomorphism $\psi : H \to G$, $\psi \neq \phi$. We show that if the difference set $\Delta(\phi, \psi)$ is infinite, then $\mathcal{T}$ is not $\psi$-equivariant; it follows that when $G$ is torsion-free abelian, every non-constant $\mathcal{T}$ has the UHP. Furthermore, inspired by the theory of classical cellular automata, we study $\phi$-cellular automata over quotient groups, as well as their restriction and induction to subgroups and supergroups, respectively.


title: Coulomb interaction-driven entanglement of electrons on helium

abstract: The generation and evolution of entanglement in quantum many-body systems is an active area of research that spans multiple fields, from quantum information science to the simulation of quantum many-body systems encountered in condensed matter, subatomic physics, and quantum chemistry. Motivated by recent experiments exploring quantum information processing systems with electrons trapped above the surface of cryogenic noble gas substrates, we theoretically investigate the generation of \emph{motional} entanglement between two electrons via their unscreened Coulomb interaction. The model system consists of two electrons confined in separate electrostatic traps which establish microwave frequency quantized states of their motion. We compute the motional energy spectra of the electrons, as well as their entanglement, by diagonalizing the model Hamiltonian with respect to a single-particle Hartree product basis. This computational procedure can in turn be employed for device design and guidance of experimental implementations. In particular, the theoretical tools developed here can be used for fine tuning and optimization of control parameters in future experiments with electrons trapped above the surface of superfluid helium or solid neon.


title: Large Language Models Only Pass Primary School Exams in Indonesia: A Comprehensive Test on IndoMMLU

abstract: Although large language models (LLMs) are often pre-trained on large-scale multilingual texts, their reasoning abilities and real-world knowledge are mainly evaluated based on English datasets. Assessing LLM capabilities beyond English is increasingly vital but hindered due to the lack of suitable datasets. In this work, we introduce IndoMMLU, the first multi-task language understanding benchmark for Indonesian culture and languages, which consists of questions from primary school to university entrance exams in Indonesia. By employing professional teachers, we obtain 14,981 questions across 64 tasks and education levels, with 46% of the questions focusing on assessing proficiency in the Indonesian language and knowledge of nine local languages and cultures in Indonesia. Our empirical evaluations show that GPT-3.5 only manages to pass the Indonesian primary school level, with limited knowledge of local Indonesian languages and culture. Other smaller models such as BLOOMZ and Falcon perform at even lower levels.


title: DISCOVER: Making Vision Networks Interpretable via Competition and Dissection

abstract: Modern deep networks are highly complex and their inferential outcome very hard to interpret. This is a serious obstacle to their transparent deployment in safety-critical or bias-aware applications. This work contributes to post-hoc interpretability, and specifically Network Dissection. Our goal is to present a framework that makes it easier to discover the individual functionality of each neuron in a network trained on a vision task; discovery is performed in terms of textual description generation. To achieve this objective, we leverage: (i) recent advances in multimodal vision-text models and (ii) network layers founded upon the novel concept of stochastic local competition between linear units. In this setting, only a small subset of layer neurons are activated for a given input, leading to extremely high activation sparsity (as low as only $\approx 4\%$). Crucially, our proposed method infers (sparse) neuron activation patterns that enables the neurons to activate/specialize to inputs with specific characteristics, diversifying their individual functionality. This capacity of our method supercharges the potential of dissection processes: human understandable descriptions are generated only for the very few active neurons, thus facilitating the direct investigation of the network's decision process. As we experimentally show, our approach: (i) yields Vision Networks that retain or improve classification performance, and (ii) realizes a principled framework for text-based description and examination of the generated neuronal representations.


title: Diff-Transfer: Model-based Robotic Manipulation Skill Transfer via Differentiable Physics Simulation

abstract: The capability to transfer mastered skills to accomplish a range of similar yet novel tasks is crucial for intelligent robots. In this work, we introduce $\textit{Diff-Transfer}$, a novel framework leveraging differentiable physics simulation to efficiently transfer robotic skills. Specifically, $\textit{Diff-Transfer}$ discovers a feasible path within the task space that brings the source task to the target task. At each pair of adjacent points along this task path, which is two sub-tasks, $\textit{Diff-Transfer}$ adapts known actions from one sub-task to tackle the other sub-task successfully. The adaptation is guided by the gradient information from differentiable physics simulations. We propose a novel path-planning method to generate sub-tasks, leveraging $Q$-learning with a task-level state and reward. We implement our framework in simulation experiments and execute four challenging transfer tasks on robotic manipulation, demonstrating the efficacy of $\textit{Diff-Transfer}$ through comprehensive experiments. Supplementary and Videos are on the website https://sites.google.com/view/difftransfer


title: Coupled linear Schr\"odinger equations: Control and stabilization results

abstract: This article presents some controllability and stabilization results for a system of two coupled linear Schr\"odinger equations in the one-dimensional case where the state components are interacting through the Kirchhoff boundary conditions. Considering the system in a bounded domain, the null boundary controllability result is shown. The result is achieved thanks to a new Carleman estimate, which ensures a boundary observation. Additionally, this boundary observation together with some trace estimates, helps us to use the Gramian approach, with a suitable choice of feedback law, to prove that the system under consideration decays exponentially to zero at least as fast as the function $e^{-2\omega t}$ for some $\omega>0$.


title: A Chapter on Celestial Holography

abstract: The Celestial Holography program encompasses recent efforts to understand the flat space hologram in terms of a CFT living on the celestial sphere. A key development instigating these efforts came from understanding how soft limits of scattering encode infinite dimensional symmetry enhancements corresponding to the asymptotic symmetry group of the bulk spacetime. Historically, the construction of the bulk-boundary dual pair has followed bottom up approach matching symmetries on both sides. Recently, however, there has been exciting progress in formulating top down descriptions using insights from twisted holography. This chapter reviews salient aspects of the celestial construction, the status of the dictionary, and active research directions. This is a preprint version of a chapter prepared for the Encyclopedia of Mathematical Physics 2nd edition.


title: Algorithms for the Ridesharing with Profit Constraint Problem

abstract: Mobility-on-demand (MoD) ridesharing is a promising way to improve the occupancy rate of personal vehicles and reduce traffic congestion and emissions. Maximizing the number of passengers served and maximizing a profit target are major optimization goals in MoD ridesharing. We study the ridesharing with profit constraint problem (labeled as RPC) which considers both optimization goals altogether: maximize the total number of passengers subject to an overall drivers' profit target. We give a mathematical formulation for the RPC problem. We present a polynomial-time exact algorithm framework (including two practical implementations of the algorithm) and a (1/2)-approximation algorithm for the case that each vehicle serves at most one passenger. We propose a (2/3*lambda)-approximation algorithm for the case that each vehicle serves at most lambda >= 2 passengers. Our algorithms revolve around the idea of maximum cardinality matching in bipartite graphs and hypergraphs (set packing) with general edge weight. Based on a real-world ridesharing dataset in Chicago City and price schemes of Uber, we conduct an extensive empirical study on our model and algorithms. Experimental results show that practical price schemes can be incorporated into our model, our exact algorithms are efficient, and our approximation algorithms achieve about 90% of optimal solutions, in the number of passengers served.


title: UBSea: A Unified Community Detection Framework

abstract: Detecting communities in networks and graphs is an important task across many disciplines such as statistics, social science and engineering. There are generally three different kinds of mixing patterns for the case of two communities: assortative mixing, disassortative mixing and core-periphery structure. Modularity optimization is a classical way for fitting network models with communities. However, it can only deal with assortative mixing and disassortative mixing when the mixing pattern is known and fails to discover the core-periphery structure. In this paper, we extend modularity in a strategic way and propose a new framework based on Unified Bigroups Standadized Edge-count Analysis (UBSea). It can address all the formerly mentioned community mixing structures. In addition, this new framework is able to automatically choose the mixing type to fit the networks. Simulation studies show that the new framework has superb performance in a wide range of settings under the stochastic block model and the degree-corrected stochastic block model. We show that the new approach produces consistent estimate of the communities under a suitable signal-to-noise-ratio condition, for the case of a block model with two communities, for both undirected and directed networks. The new method is illustrated through applications to several real-world datasets.


title: Statistical Guarantees for Variational Autoencoders using PAC-Bayesian Theory

abstract: Since their inception, Variational Autoencoders (VAEs) have become central in machine learning. Despite their widespread use, numerous questions regarding their theoretical properties remain open. Using PAC-Bayesian theory, this work develops statistical guarantees for VAEs. First, we derive the first PAC-Bayesian bound for posterior distributions conditioned on individual samples from the data-generating distribution. Then, we utilize this result to develop generalization guarantees for the VAE's reconstruction loss, as well as upper bounds on the distance between the input and the regenerated distributions. More importantly, we provide upper bounds on the Wasserstein distance between the input distribution and the distribution defined by the VAE's generative model.


title: Linear Least Squares Estimation of Fiber-Longitudinal Optical Power Profile

abstract: This paper presents a linear least squares method for fiber-longitudinal power profile estimation (PPE), which estimates an optical signal power distribution throughout a fiber-optic link at a coherent receiver. The method finds the global optimum in least square estimation of longitudinal power profiles, thus closely matching true optical power profiles and locating loss anomalies in a link with high spatial resolution. Experimental results show that the method achieves accurate PPE with an RMS error from OTDR of 0.18 dB. Consequently, it successfully identifies a loss anomaly as small as 0.77 dB, demonstrating the potential of a coherent receiver in locating even splice and connector losses. The method is also evaluated under a WDM condition with optimal system fiber launch power, highlighting its feasibility for use in operations. Furthermore, a fundamental limit for stable estimation and spatial resolution of least-squares-based PPE is quantitatively discussed in relation to the ill-posedness of PPE by evaluating the condition number of a nonlinear perturbation matrix.


title: Quantum Computing and Visualization: A Disruptive Technological Change Ahead

abstract: The focus of this Visualization Viewpoints article is to provide some background on Quantum Computing (QC), to explore ideas related to how visualization helps in understanding QC, and examine how QC might be useful for visualization with the growth and maturation of both technologies in the future. In a quickly evolving technology landscape, QC is emerging as a promising pathway to overcome the growth limits in classical computing. In some cases, QC platforms offer the potential to vastly outperform the familiar classical computer by solving problems more quickly or that may be intractable on any known classical platform. As further performance gains for classical computing platforms are limited by diminishing Moore's Law scaling, QC platforms might be viewed as a potential successor to the current field of exascale-class platforms. While present-day QC hardware platforms are still limited in scale, the field of quantum computing is robust and rapidly advancing in terms of hardware capabilities, software environments for developing quantum algorithms, and educational programs for training the next generation of scientists and engineers. After a brief introduction to QC concepts, the focus of this article is to explore the interplay between the fields of visualization and QC. First, visualization has played a role in QC by providing the means to show representations of the quantum state of single-qubits in superposition states and multiple-qubits in entangled states. Second, there are a number of ways in which the field of visual data exploration and analysis may potentially benefit from this disruptive new technology though there are challenges going forward.


title: Anisotropic field-induced changes in the superconducting order parameter of UTe2

abstract: UTe2 is a newly discovered unconventional superconductor, where electron Cooper pairs combine into a spin-triplet ground state. Here we report the specific heat C(H,T) of a high-quality single crystal of UTe2 with a single specific heat anomaly at the superconducting transition temperature T_c {\approx} 2 K and a small zero-field residual Sommerfeld coefficient {\gamma}_0 = C/T (T=0) = 10 mJ/mol-K^2. We applied magnetic field up to 12 T along the three principal crystallographic axes of UTe2 to probe the nature of the superconducting state. The evolution of the residual Sommerfeld coefficient as a function of magnetic field, {\gamma}_0 (H), is highly anisotropic and reveals distinct regions. In magnetic field up to 4 T applied along a, b, and c axes, we find {\gamma}_0{\approx}{\alpha}_i {\square}H, with i=a,b,c, as expected for an unconventional superconductor with nodes (zeros) of the superconducting order parameter on the Fermi surface. A pronounced kink in {\gamma}_0(H), however, is observed at roughly 4 T for field applied along both a and b axes, whereas a smooth change from square-root to linear behaviour is observed at 4 T for H//c. These results strongly indicate that a zero-field ground state is stable up to 4 T and undergoes a field-induced evolution above 4 T. {\alpha_c} > {\alpha_a} > {\alpha_b}, indicating that the nodes in the low-field state are predominantly located in the vicinity of the a-b plane. The modification of the order parameter is strongest when field is applied in the a-b plane, which causes nodes to move away from the direction of the applied field. Both d_(B_2u)+id_(B_1u) and d_(B_2u)+id_(A_u) two-component order parameters can account for our observations, with d_(B_2u)+id_(B_1u) a more likely candidate. In either scenario, our measurements indicate that B_2u is the primary superconducting order parameter in UTe2.


title: Terahertz phonon engineering and spectroscopy with van der Waals heterostructures

abstract: Phononic engineering at GHz frequencies form the foundation of microwave acoustic filters, high-speed acousto-optic modulators, and quantum transducers. THz phononic engineering could lead to acoustic filters and modulators at higher bandwidth and speed, as well as quantum circuits operating at higher temperatures. It can also enable new ways to manipulate and control thermal transport, as THz acoustic phonons are the main heat carriers in nonmetallic solids. Despite its potential, methods for engineering THz phonons have been little explored due to the challenges of achieving the required material control at sub-nanometer precision and efficient phonon coupling at THz frequencies. Here, we demonstrate efficient generation, detection, and manipulation of THz phonons through precise integration of atomically thin layers in van der Waals heterostructures. We employ few-layer graphene as an ultrabroadband transducer, converting fs near-infrared pulses to broadband acoustic phonon pulses with spectral content up to 3 THz. A single layer of WSe$_2$ is used as a sensor, where high-fidelity readout is enabled by the exciton-phonon coupling and strong light-matter interactions. By combining these capabilities in a single van der Waals heterostructure and detecting responses to incident mechanical waves, we performed THz phononic spectroscopy, similar to conventional optical spectroscopy which detects responses to incident electromagnetic waves. We demonstrate high-Q THz phononic cavities using hBN stacks. We further show that a single layer of WSe$_2$ embedded in hBN can efficiently block the transmission of THz phonons. By comparing our measurements to a nanomechanical model, we obtain the important force constants at the heterointerfaces. Our results could enable THz phononic metamaterials based on van der Waals heterostructures, as well as novel routes for thermal engineering.


title: SEE-MCAM: Scalable Multi-bit FeFET Content Addressable Memories for Energy Efficient Associative Search

abstract: In this work, we propose SEE-MCAM, scalable and compact multi-bit CAM (MCAM) designs that utilize the three-terminal ferroelectric FET (FeFET) as the proxy. By exploiting the multi-level-cell characteristics of FeFETs, our proposed SEE-MCAM designs enable multi-bit associative search functions and achieve better energy efficiency and performance than existing FeFET-based CAM designs. We validated the functionality of our proposed designs by achieving 3 bits per cell CAM functionality, resulting in 3x improvement in storage density. The area per bit of the proposed SEE-MCAM cell is 8% of the conventional CMOS CAM. We thoroughly investigated the scalability and robustness of the proposed design. Evaluation results suggest that the proposed 2FeFET-1T SEE-MCAM achieves 9.8x more energy efficiency and 1.6x less search latency compared to the CMOS CAM, respectively. When compared to existing MCAM designs, the proposed SEE-MCAM can achieve 8.7x and 4.9x more energy efficiency than ReRAM-based and FeFET-based MCAMs, respectively. Benchmarking results show that our approach provides up to 3 orders of magnitude improvement in speedup and energy efficiency over a GPU implementation in accelerating a novel quantized hyperdimensional computing (HDC) application.


title: Reliable Test-Time Adaptation via Agreement-on-the-Line

abstract: Test-time adaptation (TTA) methods aim to improve robustness to distribution shifts by adapting models using unlabeled data from the shifted test distribution. However, there remain unresolved challenges that undermine the reliability of TTA, which include difficulties in evaluating TTA performance, miscalibration after TTA, and unreliable hyperparameter tuning for adaptation. In this work, we make a notable and surprising observation that TTAed models strongly show the agreement-on-the-line phenomenon (Baek et al., 2022) across a wide range of distribution shifts. We find such linear trends occur consistently in a wide range of models adapted with various hyperparameters, and persist in distributions where the phenomenon fails to hold in vanilla models (i.e., before adaptation). We leverage these observations to make TTA methods more reliable in three perspectives: (i) estimating OOD accuracy (without labeled data) to determine when TTA helps and when it hurts, (ii) calibrating TTAed models without label information, and (iii) reliably determining hyperparameters for TTA without any labeled validation data. Through extensive experiments, we demonstrate that various TTA methods can be precisely evaluated, both in terms of their improvements and degradations. Moreover, our proposed methods on unsupervised calibration and hyperparameters tuning for TTA achieve results close to the ones assuming access to ground-truth labels, in terms of both OOD accuracy and calibration error.


title: Large Language Models for Spatial Trajectory Patterns Mining

abstract: Identifying anomalous human spatial trajectory patterns can indicate dynamic changes in mobility behavior with applications in domains like infectious disease monitoring and elderly care. Recent advancements in large language models (LLMs) have demonstrated their ability to reason in a manner akin to humans. This presents significant potential for analyzing temporal patterns in human mobility. In this paper, we conduct empirical studies to assess the capabilities of leading LLMs like GPT-4 and Claude-2 in detecting anomalous behaviors from mobility data, by comparing to specialized methods. Our key findings demonstrate that LLMs can attain reasonable anomaly detection performance even without any specific cues. In addition, providing contextual clues about potential irregularities could further enhances their prediction efficacy. Moreover, LLMs can provide reasonable explanations for their judgments, thereby improving transparency. Our work provides insights on the strengths and limitations of LLMs for human spatial trajectory analysis.


title: Effective Brauer-Siegel on some curves in $Y(1)^n$

abstract: We establish an effective version of Siegel's lower bounds for class numbers of imaginary quadratic fields in certain cures in $Y(1)^n$. Our proof goes through the G-functions method of Yves Andr\'e.


title: Beyond Text: A Deep Dive into Large Language Models' Ability on Understanding Graph Data

abstract: Large language models (LLMs) have achieved impressive performance on many natural language processing tasks. However, their capabilities on graph-structured data remain relatively unexplored. In this paper, we conduct a series of experiments benchmarking leading LLMs on diverse graph prediction tasks spanning node, edge, and graph levels. We aim to assess whether LLMs can effectively process graph data and leverage topological structures to enhance performance, compared to specialized graph neural networks. Through varied prompt formatting and task/dataset selection, we analyze how well LLMs can interpret and utilize graph structures. By comparing LLMs' performance with specialized graph models, we offer insights into the strengths and limitations of employing LLMs for graph analytics. Our findings provide insights into LLMs' capabilities and suggest avenues for further exploration in applying them to graph analytics.


title: Balancing Specialized and General Skills in LLMs: The Impact of Modern Tuning and Data Strategy

abstract: This paper introduces a multifaceted methodology for fine-tuning and evaluating large language models (LLMs) for specialized monetization tasks. The goal is to balance general language proficiency with domain-specific skills. The methodology has three main components: 1) Carefully blending in-domain and general-purpose data during fine-tuning to achieve an optimal balance between general and specialized capabilities; 2) Designing a comprehensive evaluation framework with 45 questions tailored to assess performance on functionally relevant dimensions like reliability, consistency, and business impact; 3) Analyzing how model size and continual training influence metrics to guide efficient resource allocation during fine-tuning. The paper details the design, data collection, analytical techniques, and results validating the proposed frameworks. It aims to provide businesses and researchers with actionable insights on effectively adapting LLMs for specialized contexts. We also intend to make public the comprehensive evaluation framework, which includes the 45 tailored questions and their respective scoring guidelines, to foster transparency and collaboration in adapting LLMs for specialized tasks.


title: Transferable Deep Clustering Model

abstract: Deep learning has shown remarkable success in the field of clustering recently. However, how to transfer a trained clustering model on a source domain to a target domain by leveraging the acquired knowledge to guide the clustering process remains challenging. Existing deep clustering methods often lack generalizability to new domains because they typically learn a group of fixed cluster centroids, which may not be optimal for the new domain distributions. In this paper, we propose a novel transferable deep clustering model that can automatically adapt the cluster centroids according to the distribution of data samples. Rather than learning a fixed set of centroids, our approach introduces a novel attention-based module that can adapt the centroids by measuring their relationship with samples. In addition, we theoretically show that our model is strictly more powerful than some classical clustering algorithms such as k-means or Gaussian Mixture Model (GMM). Experimental results on both synthetic and real-world datasets demonstrate the effectiveness and efficiency of our proposed transfer learning framework, which significantly improves the performance on target domain and reduces the computational cost.


title: OTFS based Joint Radar and Communication: Signal Analysis using the Ambiguity Function

abstract: Orthogonal time frequency space (OTFS) modulation has recently been identified as a suitable waveform for joint radar and communication systems. Focusing on the effect of data modulation on the radar sensing performance, we derive the ambiguity function (AF) of the OTFS waveform and characterize the radar global accuracy. We evaluate the behavior of the AF with respect to the distribution of the modulated data and derive an accurate approximation for the mean and variance of the AF, thus, approximating its distribution by a Rice distribution. Finally, we evaluate the global radar performance of the OTFS waveform with the OFDM waveform.


title: TEMPO: Prompt-based Generative Pre-trained Transformer for Time Series Forecasting

abstract: The past decade has witnessed significant advances in time series modeling with deep learning. While achieving state-of-the-art results, the best-performing architectures vary highly across applications and domains. Meanwhile, for natural language processing, the Generative Pre-trained Transformer (GPT) has demonstrated impressive performance via training one general-purpose model across various textual datasets. It is intriguing to explore whether GPT-type architectures can be effective for time series, capturing the intrinsic dynamic attributes and leading to significant accuracy improvements. In this paper, we propose a novel framework, TEMPO, that can effectively learn time series representations. We focus on utilizing two essential inductive biases of the time series task for pre-trained models: (i) decomposition of the complex interaction between trend, seasonal and residual components; and (ii) introducing the design of prompts to facilitate distribution adaptation in different types of time series. TEMPO expands the capability for dynamically modeling real-world temporal phenomena from data within diverse domains. Our experiments demonstrate the superior performance of TEMPO over state-of-the-art methods on zero shot setting for a number of time series benchmark datasets. This performance gain is observed not only in scenarios involving previously unseen datasets but also in scenarios with multi-modal inputs. This compelling finding highlights TEMPO's potential to constitute a foundational model-building framework.


title: Domain Knowledge Graph Construction Via A Simple Checker

abstract: With the availability of large language models, there is a growing interest for semiconductor chip design companies to leverage the technologies. For those companies, deployment of a new methodology must include two important considerations: confidentiality and scalability. In this context, this work tackles the problem of knowledge graph construction from hardware-design domain texts. We propose an oracle-checker scheme to leverage the power of GPT3.5 and demonstrate that the essence of the problem is in distillation of domain expert's background knowledge. Using RISC-V unprivileged ISA specification as an example, we explain key ideas and discuss practicality of our proposed oracle-checker approach.


title: Excitable dynamics driven by mechanical feedback in biological tissues

abstract: Pulsatory activity patterns, driven by mechanochemical feedback, are prevalent in many biological systems. Here we present a theoretical framework to elucidate the mechanical origin and regulation of pulsatile activity patterns within multicellular tissues. We show that a simple mechanical feedback at the level of individual cells - activation of contractility upon stretch and subsequent inactivation upon turnover of active elements - is sufficient to explain the emergence of quiescent states, long-range wave propagation, and traveling activity pulse at the tissue-level. We find that the transition between a propagating pulse and a wave is driven by the competition between timescales associated with cellular mechanical response and geometrical disorder in the tissue. This sheds light on the fundamental role of cell packing geometry on tissue excitability and spatial propagation of activity patterns.


title: CodeTransOcean: A Comprehensive Multilingual Benchmark for Code Translation

abstract: Recent code translation techniques exploit neural machine translation models to translate source code from one programming language to another to satisfy production compatibility or to improve efficiency of codebase maintenance. Most existing code translation datasets only focus on a single pair of popular programming languages. To advance research on code translation and meet diverse requirements of real-world applications, we construct CodeTransOcean, a large-scale comprehensive benchmark that supports the largest variety of programming languages for code translation. CodeTransOcean consists of three novel multilingual datasets, namely, MultilingualTrans supporting translations between multiple popular programming languages, NicheTrans for translating between niche programming languages and popular ones, and LLMTrans for evaluating executability of translated code by large language models (LLMs). CodeTransOcean also includes a novel cross-framework dataset, DLTrans, for translating deep learning code across different frameworks. We develop multilingual modeling approaches for code translation and demonstrate their great potential in improving the translation quality of both low-resource and high-resource language pairs and boosting the training efficiency. We also propose a novel evaluation metric Debugging Success Rate@K for program-level code translation. Last but not least, we evaluate LLM ChatGPT on our datasets and investigate its potential for fuzzy execution predictions. We build baselines for CodeTransOcean and analyze challenges of code translation for guiding future research. The CodeTransOcean datasets and code are publicly available at https://github.com/WeixiangYAN/CodeTransOcean.


title: Long-term hard X-ray variability properties of Swift-BAT blazars

abstract: We present results from the first dedicated study in the time domain of the hard X-ray variability behavior of blazars on long timescales based on $\sim$13 years of continuous hard X-ray data in the 14-195 keV band. We use monthly-binned data from the recent 157-month Swift-BAT catalog to characterize the hard X-ray variability of 127 blazars and search for potential differences between the variability of BL Lacertae objects (BL Lacs) and flat-spectrum radio quasars (FSRQs). A significant portion of the blazars in the sample ($\sim$37%) do not show statistically significant hard X-ray variability on monthly timescales, which is deeply at odds with previous studies that show that blazars are highly variable in the X-rays and other energy bands on a wide range of timescales. We also find that, on average, the FSRQs and BL Lacs for which we do detect variability exhibit similar flux variability; this suggests that the variability in these FSRQs is not necessarily driven by variations in the source function of scattered external radiation arriving from extended regions, and that it is instead possibly driven by processes that lead to variations in particle injection. In addition, only five blazars in our sample show significant spectral variability in the long-term light curves. For 3 blazars, we find that a power law that changes slope on monthly timescales is sufficient to characterize the variable hard X-ray spectrum, suggesting that, at least for some bright blazars, the long-term spectra in the hard X-rays may be described in a relatively simple fashion.


title: Robust matrix completion via Novel M-estimator Functions

abstract: M-estmators including the Welsch and Cauchy have been widely adopted for robustness against outliers, but they also down-weigh the uncontaminated data. To address this issue, we devise a framework to generate a class of nonconvex functions which only down-weigh outlier-corrupted observations. Our framework is then applied to the Welsch, Cauchy and $\ell_p$-norm functions to produce the corresponding robust loss functions. Targeting on the application of robust matrix completion, efficient algorithms based on these functions are developed and their convergence is analyzed. Finally, extensive numerical results demonstrate that the proposed methods are superior to the competitors in terms of recovery accuracy and runtime.


title: A framework to generate sparsity-inducing regularizers for enhanced low-rank matrix completion

abstract: Applying half-quadratic optimization to loss functions can yield the corresponding regularizers, while these regularizers are usually not sparsity-inducing regularizers (SIRs). To solve this problem, we devise a framework to generate an SIR with closed-form proximity operator. Besides, we specify our framework using several commonly-used loss functions, and produce the corresponding SIRs, which are then adopted as nonconvex rank surrogates for low-rank matrix completion. Furthermore, algorithms based on the alternating direction method of multipliers are developed. Extensive numerical results show the effectiveness of our methods in terms of recovery performance and runtime.


title: Information-Theoretic Bounds on The Removal of Attribute-Specific Bias From Neural Networks

abstract: Ensuring a neural network is not relying on protected attributes (e.g., race, sex, age) for predictions is crucial in advancing fair and trustworthy AI. While several promising methods for removing attribute bias in neural networks have been proposed, their limitations remain under-explored. In this work, we mathematically and empirically reveal an important limitation of attribute bias removal methods in presence of strong bias. Specifically, we derive a general non-vacuous information-theoretical upper bound on the performance of any attribute bias removal method in terms of the bias strength. We provide extensive experiments on synthetic, image, and census datasets to verify the theoretical bound and its consequences in practice. Our findings show that existing attribute bias removal methods are effective only when the inherent bias in the dataset is relatively weak, thus cautioning against the use of these methods in smaller datasets where strong attribute bias can occur, and advocating the need for methods that can overcome this limitation.


title: Towards Explainable Machine Learning: The Effectiveness of Reservoir Computing in Wireless Receive Processing

abstract: Deep learning has seen a rapid adoption in a variety of wireless communications applications, including at the physical layer. While it has delivered impressive performance in tasks such as channel equalization and receive processing/symbol detection, it leaves much to be desired when it comes to explaining this superior performance. In this work, we investigate the specific task of channel equalization by applying a popular learning-based technique known as Reservoir Computing (RC), which has shown superior performance compared to conventional methods and other learning-based approaches. Specifically, we apply the echo state network (ESN) as a channel equalizer and provide a first principles-based signal processing understanding of its operation. With this groundwork, we incorporate the available domain knowledge in the form of the statistics of the wireless channel directly into the weights of the ESN model. This paves the way for optimized initialization of the ESN model weights, which are traditionally untrained and randomly initialized. Finally, we show the improvement in receive processing/symbol detection performance with this optimized initialization through simulations. This is a first step towards explainable machine learning (XML) and assigning practical model interpretability that can be utilized together with the available domain knowledge to improve performance and enhance detection reliability.


title: Electrical Characteristics of the GEC Reference Cell with Impedance Matching: A Two-Dimensional PIC/MCC Modeling Study

abstract: In this paper, the electrical characteristics of the Gaseous Electronics Conference (GEC) reference cell with impedance matching are investigated through a two-dimensional electrostatic implicit Particle-in-Cell/Monte Carlo Collision (PIC/MCC) model in an axisymmetric coordinate system. The coupling between the complex reactor geometry and the external circuit is included via an equivalent capacitance calculated from the electric energy density. The results of this model are compared with experimental measurements and other model calculations and show good agreement. This simulation obtains the plasma kinetics of the capacitively coupled discharge process at low pressure and detailed external circuit responses, including power transmission, reflection, and higher-order harmonics in the circuit, which provides important insights for impedance-matching design in semiconductor plasma processing.


title: Direct Observations of X-Rays Produced by Upward Positive Lightning

abstract: X-rays have been observed in natural downward cloud-to-ground lightning for over twenty years and in rocket-triggered lightning for slightly less. In both cases, this energetic radiation has been detected during the stepped and dart leader phases of downward negative flashes. More recently, X-rays have also been reported during the dart leader phase of upward negative flashes. In this study, we present the observations of four upward positive lightning flashes from the S\"antis Tower (2.5 km ASL) in Switzerland. These consist of the simultaneous records of electric current passing through the tower, and electric field strength and X-ray flux 20 meters from the tower base. One of the flashes was captured by a high-speed camera operating at 24,000 frames per second, stills from which are also presented. We detected X-rays during the initial phase of upward negative leader propagation, which can be associated with the leader-stepping process from electric field and current waveforms. To the best of our knowledge, this is the first time that such measurements are reported in the literature. The obtained time-synchronised data confirm that the X-ray emissions detected are associated with the initial steps of the upward negative leader. The frequency and energy of X-ray pulses appear to decrease as a function of time, with pulses disappearing altogether within the first millisecond of the leader initiation. The X-ray pulse energy appears to increase with the maximum current-derivative and the electric field change of its associated leader step. These observations contribute to improving the currently lackluster understanding of upward lightning, which is a primary source of damage to tall structures such as telecommunications towers and wind turbines, as well as airplanes during take-off and landing.


title: Towards Better Chain-of-Thought Prompting Strategies: A Survey

abstract: Chain-of-Thought (CoT), a step-wise and coherent reasoning chain, shows its impressive strength when used as a prompting strategy for large language models (LLM). Recent years, the prominent effect of CoT prompting has attracted emerging research. However, there still lacks of a systematic summary about key factors of CoT prompting and comprehensive guide for prompts utilizing. For a deeper understanding about CoT prompting, we survey on a wide range of current research, presenting a systematic and comprehensive analysis on several factors that may influence the effect of CoT prompting, and introduce how to better apply it in different applications under these discussions. We further analyze the challenges and propose some future directions about CoT prompting. This survey could provide an overall reference on related research.


title: Exploring the Usage of Chinese Pinyin in Pretraining

abstract: Unlike alphabetic languages, Chinese spelling and pronunciation are different. Both characters and pinyin take an important role in Chinese language understanding. In Chinese NLP tasks, we almost adopt characters or words as model input, and few works study how to use pinyin. However, pinyin is essential in many scenarios, such as error correction and fault tolerance for ASR-introduced errors. Most of these errors are caused by the same or similar pronunciation words, and we refer to this type of error as SSP(the same or similar pronunciation) errors for short. In this work, we explore various ways of using pinyin in pretraining models and propose a new pretraining method called PmBERT. Our method uses characters and pinyin in parallel for pretraining. Through delicate pretraining tasks, the characters and pinyin representation are fused, which can enhance the error tolerance for SSP errors. We do comprehensive experiments and ablation tests to explore what makes a robust phonetic enhanced Chinese language model. The experimental results on both the constructed noise-added dataset and the public error-correction dataset demonstrate that our model is more robust compared to SOTA models.


title: Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties

abstract: Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across industries, including aerospace, automotive, and manufacturing. This paper focuses on investigating the reach-avoid problem in such systems, where the objective is to reach a goal set while avoiding unsafe states, especially in the presence of state measurement uncertainties. We propose an approach that builds upon the concept of exponential control guidance barrier functions, originally used for synthesizing continuous-time feedback controllers. We introduce a sufficient condition that, if met by a given continuous-time feedback controller, ensures the safe guidance of the system into the goal set in its sampled-data implementation, despite state measurement uncertainties. The event of reaching the goal set is determined based on state measurements obtained at the sampling time instants. Numerical examples are provided to demonstrate the validity of our theoretical developments, showcasing successful implementation in solving the reach-avoid problem in sampled-data systems with state measurement uncertainties.


title: Properly colored even cycles in edge-colored complete balanced bipartite graphs

abstract: Consider a complete balanced bipartite graph $K_{n,n}$ and let $K^c_{n,n}$ be an edge-colored version of $K_{n,n}$ that is obtained from $K_{n,n}$ by having each edge assigned a certain color. A subgraph $H$ of $K^c_{n,n}$ is called properly colored (PC) if every two adjacent edges of $H$ have distinct colors. $K_{n,n}^c$ is called properly vertex-even-pancyclic if for every vertex $u\in V(K_{n,n}^c)$ and for every even integer $k$ with $4 \leq k \leq 2n$, there exists a PC $k$-cycle containing $u$. The minimum color degree $\delta^c(K^c_{n,n})$ of $K^c_{n,n}$ is the largest integer $k$ such that for every vertex $v$, there are at least $k$ distinct colors on the edges incident to $v$. In this paper we study the existence of PC even cycles in $K_{n,n}^c$. We first show that, for every integer $t\geq 3$, every $K^c_{n,n}$ with $\delta^c(K^c_{n,n})\geq \frac{2n}{3}+t$ contains a PC 2-factor $H$ such that every cycle of $H$ has a length of at least $t$. By using the probabilistic method and absorbing technique, we use the above result to further show that, for every $\varepsilon>0$, there exists an integer $n_0(\varepsilon)$ such that every $K^c_{n,n}$ with $n\geq n_0(\varepsilon)$ is properly vertex-even-pancyclic, provided that $\delta^c(K^c_{n,n})\geq (\frac{2}{3}+\varepsilon)n$.


title: LLM4VV: Developing LLM-Driven Testsuite for Compiler Validation

abstract: Large language models (LLMs) are a new and powerful tool for a wide span of applications involving natural language and demonstrate impressive code generation abilities. The goal of this work is to automatically generate tests and use these tests to validate and verify compiler implementations of a directive-based parallel programming paradigm, OpenACC. To do so, in this paper, we explore the capabilities of state-of-the-art LLMs, including open-source LLMs -- Meta Codellama, Phind fine-tuned version of Codellama, Deepseek Deepseek Coder and closed-source LLMs -- OpenAI GPT-3.5-Turbo and GPT-4-Turbo. We further fine-tuned the open-source LLMs and GPT-3.5-Turbo using our own testsuite dataset along with using the OpenACC specification. We also explored these LLMs using various prompt engineering techniques that include code template, template with retrieval-augmented generation (RAG), one-shot example, one-shot with RAG, expressive prompt with code template and RAG. This paper highlights our findings from over 5000 tests generated via all the above mentioned methods. Our contributions include: (a) exploring the capabilities of the latest and relevant LLMs for code generation, (b) investigating fine-tuning and prompt methods, and (c) analyzing the outcome of LLMs generated tests including manually analysis of representative set of tests. We found the LLM Deepseek-Coder-33b-Instruct produced the most passing tests followed by GPT-4-Turbo.


title: Learning Many-to-Many Mapping for Unpaired Real-World Image Super-resolution and Downscaling

abstract: Learning based single image super-resolution (SISR) for real-world images has been an active research topic yet a challenging task, due to the lack of paired low-resolution (LR) and high-resolution (HR) training images. Most of the existing unsupervised real-world SISR methods adopt a two-stage training strategy by synthesizing realistic LR images from their HR counterparts first, then training the super-resolution (SR) models in a supervised manner. However, the training of image degradation and SR models in this strategy are separate, ignoring the inherent mutual dependency between downscaling and its inverse upscaling process. Additionally, the ill-posed nature of image degradation is not fully considered. In this paper, we propose an image downscaling and SR model dubbed as SDFlow, which simultaneously learns a bidirectional many-to-many mapping between real-world LR and HR images unsupervisedly. The main idea of SDFlow is to decouple image content and degradation information in the latent space, where content information distribution of LR and HR images is matched in a common latent space. Degradation information of the LR images and the high-frequency information of the HR images are fitted to an easy-to-sample conditional distribution. Experimental results on real-world image SR datasets indicate that SDFlow can generate diverse realistic LR and SR images both quantitatively and qualitatively.


title: MULTISCRIPT: Multimodal Script Learning for Supporting Open Domain Everyday Tasks

abstract: Automatically generating scripts (i.e. sequences of key steps described in text) from video demonstrations and reasoning about the subsequent steps are crucial to the modern AI virtual assistants to guide humans to complete everyday tasks, especially unfamiliar ones. However, current methods for generative script learning rely heavily on well-structured preceding steps described in text and/or images or are limited to a certain domain, resulting in a disparity with real-world user scenarios. To address these limitations, we present a new benchmark challenge -- MultiScript, with two new tasks on task-oriented multimodal script learning: (1) multimodal script generation, and (2) subsequent step prediction. For both tasks, the input consists of a target task name and a video illustrating what has been done to complete the target task, and the expected output is (1) a sequence of structured step descriptions in text based on the demonstration video, and (2) a single text description for the subsequent step, respectively. Built from WikiHow, MultiScript covers multimodal scripts in videos and text descriptions for over 6,655 human everyday tasks across 19 diverse domains. To establish baseline performance on MultiScript, we propose two knowledge-guided multimodal generative frameworks that incorporate the task-related knowledge prompted from large language models such as Vicuna. Experimental results show that our proposed approaches significantly improve over the competitive baselines.


title: Improved Active Learning via Dependent Leverage Score Sampling

abstract: We show how to obtain improved active learning methods in the agnostic (adversarial noise) setting by combining marginal leverage score sampling with non-independent sampling strategies that promote spatial coverage. In particular, we propose an easily implemented method based on the \emph{pivotal sampling algorithm}, which we test on problems motivated by learning-based methods for parametric PDEs and uncertainty quantification. In comparison to independent sampling, our method reduces the number of samples needed to reach a given target accuracy by up to $50\%$. We support our findings with two theoretical results. First, we show that any non-independent leverage score sampling method that obeys a weak \emph{one-sided $\ell_{\infty}$ independence condition} (which includes pivotal sampling) can actively learn $d$ dimensional linear functions with $O(d\log d)$ samples, matching independent sampling. This result extends recent work on matrix Chernoff bounds under $\ell_{\infty}$ independence, and may be of interest for analyzing other sampling strategies beyond pivotal sampling. Second, we show that, for the important case of polynomial regression, our pivotal method obtains an improved bound on $O(d)$ samples.


title: On Time Uniform Wong-Zakai Approximation Theorems

abstract: We consider the long time behavior of Wong-Zakai approximations of stochastic differential equations. These piecewise smooth diffusion approximations are of great importance in many areas, such as those with ordinary differential equations associated to random smooth fluctuations; e.g. robust filtering problems. In many examples, the mean error estimate bounds that have been derived in the literature can grow exponentially with respect to the time horizon. We show in a simple example that indeed mean error estimates do explode exponentially in the time parameter, i.e. in that case a Wong-Zakai approximation is only useful for extremely short time intervals. Under spectral conditions, we present some quantitative time-uniform convergence theorems, i.e. time-uniform mean error bounds, yielding what seems to be the first results of this type for Wong-Zakai diffusion approximations.


title: Multivariate Meixner polynomials as Birth and Death polynomials

abstract: Based on the framework of Plamen Iliev, multivariate Meixner polynomials are constructed explicitly as Birth and Death polynomials. They form the complete set of eigenpolynomials of a birth and death process with the birth and death rates at population $x=(x_1,\ldots,x_n)\in\mathbb{N}_0^n$ are $B_j(x)=\bigl(\beta+\sum_{i=1}^nx_j\bigr)$ and $D_j(x)=c_j^{-1}x_j$, $0<c_j$, $j=1,\ldots,n$, $\sum_{j=1}^nc_j<1$. The corresponding stationary distribution is $(\beta)_{\sum_{j=1}^nc_j}\prod_{j=1}^n(c_j^{x_j}/x_j!)(1-\sum_{j=1}^nc_j)^\beta$, the trivial $n$-variable generalisation of the orthogonality weight of the single variable Meixner polynomials. The polynomials, depending on $n+1$ parameters ($\{c_i\}$ and $\beta$), satisfy the difference equation with the coefficients $B_j(x)$ and $D_j(x)$ $j=1,\ldots,n$, which is the straightforward generalisation of the difference equation governing the single variable Meixner polynomials. The polynomials are truncated $(n+1,2n+2)$ hypergeometric functions of Aomoto-Gelfand. The polynomials and the derivation are very similar to those of the multivariate Krawtchouk polynomials reported recently.


title: The Binomial-Stirling-Eulerian Polynomials

abstract: We introduce the binomial-Stirling-Eulerian polynomials, denoted $\tilde{A}_n(x,y|{\alpha})$, which encompass binomial coefficients, Eulerian numbers and two Stirling statistics: the left-to-right minima and the right-to-left minima. When $\alpha=1$, these polynomials reduce to the binomial-Eulerian polynomials $\tilde{A}_n(x,y)$, originally named by Shareshian and Wachs and explored by Chung-Graham-Knuth and Postnikov-Reiner-Williams. We investigate the $\gamma$-positivity of $\tilde{A}_n(x,y|{\alpha})$ from two aspects: firstly by employing the grammatical calculus introduced by Chen; and secondly by constructing a new group action on permutations. These results extend the symmetric Eulerian identity found by Chung, Graham and Knuth, and the $\gamma$-positivity of $\tilde{A}_n(x,y)$ first demonstrated by Postnikov, Reiner and Williams.


title: Big Data Privacy in Emerging Market Fintech and Financial Services: A Research Agenda

abstract: The data revolution in low- and middle-income countries is quickly transforming how companies approach emerging markets. As mobile phones and mobile money proliferate, they generate new streams of data that enable innovation in consumer finance, credit, and insurance. Already, this new generation of products are being used by hundreds of millions of consumers, often to use financial services for the first time. However, the collection, analysis, and use of these data, particularly from economically disadvantaged populations, raises serious privacy concerns. This white paper describes a research agenda to advance our understanding of the problem and solution space of data privacy in emerging market fintech and financial services. We highlight five priority areas for research: conducting comprehensive landscape analyses; understanding local definitions of ``data privacy''; documenting key sources of risk, and potential technical solutions (such as differential privacy and homomorphic encryption); improving non-technical approaches to data privacy (such as policies and practices); and understanding the tradeoffs involved in deploying privacy-enhancing solutions. Taken together, we hope this research agenda will focus attention on the multi-faceted nature of privacy in emerging markets, and catalyze efforts to develop responsible and consumer-oriented approaches to data-intensive applications.


title: Understanding the Robustness of Multi-modal Contrastive Learning to Distribution Shift

abstract: Recently, multimodal contrastive learning (MMCL) approaches, such as CLIP, have achieved a remarkable success in learning representations that are robust against distribution shift and generalize to new domains. Despite the empirical success, the mechanism behind learning such generalizable representations is not understood. In this work, we rigorously analyze this problem and uncover two mechanisms behind MMCL's robustness: \emph{intra-class contrasting}, which allows the model to learn features with a high variance, and \emph{inter-class feature sharing}, where annotated details in one class help learning other classes better. Both mechanisms prevent spurious features that are over-represented in the training data to overshadow the generalizable core features. This yields superior zero-shot classification accuracy under distribution shift. Furthermore, we theoretically demonstrate the benefits of using rich captions on robustness and explore the effect of annotating different types of details in the captions. We validate our theoretical findings through experiments, including a well-designed synthetic experiment and an experiment involving training CLIP models on MSCOCO/Conceptual Captions and evaluating them on shifted ImageNets.


title: Secondary frequency control of islanded microgrid considering wind and solar stochastics

abstract: As the high penetration of wind and photovoltaic distributed generation (DG) in the microgrid, the stochastic and low inertia emerge, bringing more challenges especially when the microgrid operates in isolated islands. Nevertheless, the reserve power of DGs in deloading control mode can be utilized for frequency regulation and mitigating frequency excursion. This paper proposed a model predictive control (MPC) secondary frequency control method considering wind and solar power generation stochastics. The extended state-space matrix including unknown stochastic power disturbance is established, and a Kalman filter is used to observe the unknown disturbance. The maximum available power of wind and solar DGs is estimated for establishing real-time variable constraints that prevent DGs output power from exceeding the limits. Through setting proper weight coefficients, wind and photovoltaic DGs are given priority to participate in secondary frequency control. The distributed restorative power of each DG is obtained by solving the quadratic programming(QP) optimal problem with variable constraints. Finally, a microgrid simulation model including multiple PV and wind DGs is built and performed in various scenarios compared to the traditional secondary frequency control method. The simulation results validated that the proposed method can enhance the frequency recovery speed and reDGce the frequency deviation, especially in severe photovoltaic and wind fluctuations scenarios.


title: Tangent Weights and Invariant Curves in Type A Bow Varieties

abstract: This paper provides a complete classification of torus-invariant curves in Cherkis bow varieties of type A. We develop combinatorial codes for compact and noncompact invariant curves involving the butterfly diagrams, Young diagrams, and binary contingency tables. As a key intermediate step, we also develop a novel tangent weight formula. Finally, we apply this new machinery to example bow varieties to demonstrate how to obtain their 1-skeletons (union of fixed points and invariant curves).


title: Primes of Higher Degree

abstract: Let $K/\Q$ be a cyclic extension of number fields with Galois group $G$. We study the ideal classes of primes $\mathfrak{p}$ of $K$ of residue degree bigger than one in the class group of $K$. In particular, we explore such extensions $K/\Q$ for which there exist an integer $f>1$ such that the ideal classes of primes $\mathfrak{p}$ of $K$ of residue degree $f$ generate the full class group of $K$. It is shown that there are many such fields. These results are used to obtain information on class group of $K$; like rank of $\ell-$torsion of the class group, factors of class number, fields with class group of certain exponents, and even structure of class group in some cases. Moreover, such $f$ can be used to construct annihilators of the class groups.


title: A Trustworthy and Consistent Blockchain Oracle Scheme for Industrial Internet of Things

abstract: Blockchain provides decentralization and trustlessness features for the Industrial Internet of Things (IIoT), which expands the application scenarios of IIoT. To address the problem that the blockchain cannot actively obtain off-chain data, the blockchain oracle is proposed as a bridge between the blockchain and external data. However, the existing oracle schemes are difficult to solve the problem of low quality of service caused by frequent data changes and heterogeneous devices in IIoT, and the current oracle node selection schemes are difficult to balance security and quality of service. To tackle these problems, this paper proposes a secure and reliable oracle scheme that can obtain high-quality off-chain data. Specifically, we first design an oracle node selection algorithm based on Verifiable Random Function (VRF) and reputation mechanism to securely select high-quality nodes. Second, we propose a data filtering algorithm based on a sliding window to further improve the consistency of the collected data. We verify the security of the proposed scheme through security analysis. The experimental results show that the proposed scheme can effectively improve the service quality of the oracle.


title: The extremal process of branching Brownian motion with absorption

abstract: In this paper, we study branching Brownian motion with absorption, in which particles undergo Brownian motions with drift and are killed upon reaching the origin. We prove that the extremal process of this branching Brownian motion with absorption converges to a random shifted decorated Poisson point process. Furthermore, we show that the law of the right-most particle converges to the law of a random shifted Gumbel random variable.


title: Boundary controllability of the Korteweg-de Vries equation: The Neumann case

abstract: This article gives a necessary first step to understanding the critical set phenomenon for the Korteweg-de Vries (KdV) equation posed on interval $[0,L]$ considering the Neumann boundary conditions with only one control input. We showed that the KdV equation is controllable in the critical case, i.e., when the spatial domain $L$ belongs to the set $\mathcal{R}_c$, where $c\neq-1$ and $$ \mathcal{R}_c:=\left\{\frac{2\pi}{\sqrt{3(c+1)}}\sqrt{m^2+ml+m^2};\ m,l\in \mathbb{N}^*\right\}\cup\left\{\frac{m\pi}{\sqrt{c+1}};\ m\in \mathbb{N}^*\right\}, $$ the KdV equation is exactly controllable in $L^2(0,L)$. The result is achieved using the return method together with a fixed point argument.


title: TopicAdapt- An Inter-Corpora Topics Adaptation Approach

abstract: Topic models are popular statistical tools for detecting latent semantic topics in a text corpus. They have been utilized in various applications across different fields. However, traditional topic models have some limitations, including insensitivity to user guidance, sensitivity to the amount and quality of data, and the inability to adapt learned topics from one corpus to another. To address these challenges, this paper proposes a neural topic model, TopicAdapt, that can adapt relevant topics from a related source corpus and also discover new topics in a target corpus that are absent in the source corpus. The proposed model offers a promising approach to improve topic modeling performance in practical scenarios. Experiments over multiple datasets from diverse domains show the superiority of the proposed model against the state-of-the-art topic models.


title: Initial Task Assignment in Multi-Human Multi-Robot Teams: An Attention-enhanced Hierarchical Reinforcement Learning Approach

abstract: Multi-human multi-robot teams (MH-MR) obtain tremendous potential in tackling intricate and massive missions by merging distinct strengths and expertise of individual members. The inherent heterogeneity of these teams necessitates advanced initial task assignment (ITA) methods that align tasks with the intrinsic capabilities of team members from the outset. While existing reinforcement learning approaches show encouraging results, they might fall short in addressing the nuances of long-horizon ITA problems, particularly in settings with large-scale MH-MR teams or multifaceted tasks. To bridge this gap, we propose an attention-enhanced hierarchical reinforcement learning approach that decomposes the complex ITA problem into structured sub-problems, facilitating more efficient allocations. To bolster sub-policy learning, we introduce a hierarchical cross-attribute attention (HCA) mechanism, encouraging each sub-policy within the hierarchy to discern and leverage the specific nuances in the state space that are crucial for its respective decision-making phase. Through an extensive environmental surveillance case study, we demonstrate the benefits of our model and the HCA inside.