title: AugUndo: Scaling Up Augmentations for Unsupervised Depth Completion

abstract: Unsupervised depth completion methods are trained by minimizing sparse depth and image reconstruction error. Block artifacts from resampling, intensity saturation, and occlusions are amongst the many undesirable by-products of common data augmentation schemes that affect image reconstruction quality, and thus the training signal. Hence, typical augmentations on images viewed as essential to training pipelines in other vision tasks have seen limited use beyond small image intensity changes and flipping. The sparse depth modality have seen even less as intensity transformations alter the scale of the 3D scene, and geometric transformations may decimate the sparse points during resampling. We propose a method that unlocks a wide range of previously-infeasible geometric augmentations for unsupervised depth completion. This is achieved by reversing, or ``undo"-ing, geometric transformations to the coordinates of the output depth, warping the depth map back to the original reference frame. This enables computing the reconstruction losses using the original images and sparse depth maps, eliminating the pitfalls of naive loss computation on the augmented inputs. This simple yet effective strategy allows us to scale up augmentations to boost performance. We demonstrate our method on indoor (VOID) and outdoor (KITTI) datasets where we improve upon three existing methods by an average of 11.75% across both datasets.


title: The inhomogeneous multispecies PushTASEP: Dynamics and symmetry

abstract: We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions.

categories: math.PR cond-mat.stat-mech math-ph math.CO math.MP


title: Phase- and angle-sensitive terahertz hot-electron bolometric plasmonic detectors based on FETs with graphene channel and composite h-BN/black-P/h-BN gate layer

abstract: We propose and analyze the terahertz (THz) bolometric vector detectors based on the graphene-channel field-effect transistors (GC-FET) with the black-P gate barrier layer or with the composite b-BN/black-P/b-BN gate layer. The phase difference between the signal received by the FET source and drain substantially affects the plasmonic resonances. This results in a resonant variation of the detector response on the incoming THz signal phase shift and the THz radiation angle of incidence.


title: Automatic Bill of Materials

abstract: Ensuring the security of software supply chains requires reliable identification of upstream dependencies. We present the Automatic Bill of Materials, or ABOM, a technique for embedding dependency metadata in binaries at compile time. Rather than relying on developers to explicitly enumerate dependency names and versions, ABOM embeds a hash of each distinct input source code file into the binary emitted by a compiler. Hashes are stored in Compressed Bloom Filters, highly space-efficient probabilistic data structures, which enable querying for the presence of dependencies without the possibility of false negatives. If leveraged across the ecosystem, ABOMs provide a zero-touch, backwards-compatible, drop-in solution for fast supply chain attack detection in real-world, language-independent software.


title: Decoding Modular Reconfigurable Robots: A Survey on Mechanisms and Design

abstract: The intrinsic modularity and reconfigurability of modular reconfigurable robots (MRR) confer advantages such as versatility, fault tolerance, and economic efficacy, thereby showcasing considerable potential across diverse applications. The continuous evolution of the technology landscape and the emergence of diverse conceptual designs have generated multiple MRR categories, each described by its respective morphology or capability characteristics, leading to some ambiguity in the taxonomy. This paper conducts a comprehensive survey encompassing the entirety of MRR hardware and design, spanning from the inception in 1985 to 2023. This paper introduces an innovative, unified conceptual framework for understanding MRR hardware, which encompasses three pivotal elements: connectors, actuators, and homogeneity. Through the utilization of this trilateral framework, this paper provide an intuitive understanding of the diverse spectrum of MRR hardware iterations while systematically deciphering and classifying the entire range, offering a more structured perspective. This survey elucidates the fundamental attributes characterizing MRRs and their compositional aspects, providinig insights into their design, technology, functionality, and categorization. Augmented by the proposed trilateral framework, this paper also elaborates on the trajectory of evolution, prevailing trends, principal challenges, and potential prospects within the field of MRRs.


title: Explore the Effect of Data Selection on Poison Efficiency in Backdoor Attacks

abstract: As the number of parameters in Deep Neural Networks (DNNs) scales, the thirst for training data also increases. To save costs, it has become common for users and enterprises to delegate time-consuming data collection to third parties. Unfortunately, recent research has shown that this practice raises the risk of DNNs being exposed to backdoor attacks. Specifically, an attacker can maliciously control the behavior of a trained model by poisoning a small portion of the training data. In this study, we focus on improving the poisoning efficiency of backdoor attacks from the sample selection perspective. The existing attack methods construct such poisoned samples by randomly selecting some clean data from the benign set and then embedding a trigger into them. However, this random selection strategy ignores that each sample may contribute differently to the backdoor injection, thereby reducing the poisoning efficiency. To address the above problem, a new selection strategy named Improved Filtering and Updating Strategy (FUS++) is proposed. Specifically, we adopt the forgetting events of the samples to indicate the contribution of different poisoned samples and use the curvature of the loss surface to analyses the effectiveness of this phenomenon. Accordingly, we combine forgetting events and curvature of different samples to conduct a simple yet efficient sample selection strategy. The experimental results on image classification (CIFAR-10, CIFAR-100, ImageNet-10), text classification (AG News), audio classification (ESC-50), and age regression (Facial Age) consistently demonstrate the effectiveness of the proposed strategy: the attack performance using FUS++ is significantly higher than that using random selection for the same poisoning ratio.


title: Economics unchained: Investigating the role of cryptocurrency, blockchain and intricacies of Bitcoin price fluctuations

abstract: This research paper presents a thorough economic analysis of Bitcoin and its impact. We delve into fundamental principles, and technological evolution into a prominent decentralized digital currency. Analysing Bitcoin's economic dynamics, we explore aspects such as transaction volume, market capitalization, mining activities, and macro trends. Moreover, we investigate Bitcoin's role in economy ecosystem, considering its implications on traditional financial systems, monetary policies, and financial inclusivity. We utilize statistical and analytical tools to assess equilibrium , market behaviour, and economic . Insights from this analysis provide a comprehensive understanding of Bitcoin's economic significance and its transformative potential in shaping the future of global finance. This research contributes to informed decision-making for individuals, institutions, and policymakers navigating the evolving landscape of decentralized finance.


title: Zero-filter limit issue for the Camassa-Holm equation in Besov spaces

abstract: In this paper, we focus on zero-filter limit problem for the Camassa-Holm equation in the more general Besov spaces. We prove that the solution of the Camassa-Holm equation converges strongly in $L^\infty(0,T;B^s_{2,r}(\R))$ to the inviscid Burgers equation as the filter parameter $\alpha$ tends to zero with the given initial data $u_0\in B^s_{2,r}(\R)$. Moreover, we also show that the zero-filter limit for the Camassa-Holm equation does not converges uniformly with respect to the initial data in $B^s_{2,r}(\R)$.


title: Staged Depthwise Correlation and Feature Fusion for Siamese Object Tracking

abstract: In this work, we propose a novel staged depthwise correlation and feature fusion network, named DCFFNet, to further optimize the feature extraction for visual tracking. We build our deep tracker upon a siamese network architecture, which is offline trained from scratch on multiple large-scale datasets in an end-to-end manner. The model contains a core component, that is, depthwise correlation and feature fusion module (correlation-fusion module), which facilitates model to learn a set of optimal weights for a specific object by utilizing ensembles of multi-level features from lower and higher layers and multi-channel semantics on the same layer. We combine the modified ResNet-50 with the proposed correlation-fusion layer to constitute the feature extractor of our model. In training process, we find the training of model become more stable, that benifits from the correlation-fusion module. For comprehensive evaluations of performance, we implement our tracker on the popular benchmarks, including OTB100, VOT2018 and LaSOT. Extensive experiment results demonstrate that our proposed method achieves favorably competitive performance against many leading trackers in terms of accuracy and precision, while satisfying the real-time requirements of applications.


title: Large Language Model-Aware In-Context Learning for Code Generation

abstract: Large language models (LLMs) have shown impressive in-context learning (ICL) ability in code generation. LLMs take a prompt consisting of requirement-code examples and a new requirement as input, and output new programs. Existing studies have found that ICL is highly dominated by the examples and thus arises research on example selection. However, existing approaches randomly select examples or only consider the textual similarity of requirements to retrieve, leading to sub-optimal performance. In this paper, we propose a novel learning-based selection approach named LAIL (LLM-Aware In-context Learning) for code generation. Given a candidate example, we exploit LLMs themselves to estimate it by considering the generation probabilities of ground-truth programs given a requirement and the example. We then label candidate examples as positive or negative through the probability feedback. Based on the labeled data, we import a contrastive learning objective to train an effective retriever that acquires the preference of LLMs in code generation. We apply LAIL to three LLMs and evaluate it on three representative datasets (e.g., MBJP, MBPP, and MBCPP). LATA outperforms the state-of-the-art baselines by 11.58%, 6.89%, and 5.07% on CodeGen, and 4.38%, 2.85%, and 2.74% on GPT-3.5 in terms of Pass@1, respectively.


title: From Torch to Projector: Fundamental Tradeoff of Integrated Sensing and Communications

abstract: Sensing and communications (S&C) have been historically developed in parallel. In recent decade, they have been evolving from separation to integration, giving rise to the integrated sensing and communications (ISAC) paradigm, that has been recognized as one of the six key 6G usage scenarios. Despite the plethora of research works dedicated to ISAC signal processing, the fundamental performance limits of S&C remain widely unexplored in an ISAC system. In this tutorial paper, we attempt to summarize the recent research findings in characterizing the performance boundary of ISAC systems and the resulting S&C tradeoff from an information-theoretical viewpoint. We begin with a folklore "torch metaphor" that depicts the resource competition mechanism of S&C. Then, we elaborate on the fundamental capacity-distortion (C-D) theory, indicating the incompleteness of this metaphor. Towards that end, we further elaborate on the S&C tradeoff by discussing a special case within the C-D framework, namely the Cramer-Rao bound (CRB)-rate region. In particular, S&C have preference discrepancies over both the subspace occupied by the transmitted signal and the adopted codebook, leading to a "projector metaphor" complementary to the ISAC torch analogy. We also present two practical design examples by leveraging the lessons learned from fundamental theories. Finally, we conclude the paper by identifying a number of open challenges.


title: Critical norm blow-up for the energy supercritical nonlinear heat equation

abstract: We address the critical norm blow-up problem for the nonlinear heat equation $u_t-\Delta u=|u|^{p-1}u$ in $\mathbf{R}^n\times(0,T)$. In the supercritical range $p>(n+2)/(n-2)$, we prove that if the maximal existence time $T$ is finite, then $\lim_{t\to T}\|u(\cdot,t)\|_{L^{n(p-1)/2}(\mathbf{R}^n)} =\infty$ without assuming extra conditions such as radial symmetry or the type of blow-up.


title: UniTime: A Language-Empowered Unified Model for Cross-Domain Time Series Forecasting

abstract: Multivariate time series forecasting plays a pivotal role in contemporary web technologies. In contrast to conventional methods that involve creating dedicated models for specific time series application domains, this research advocates for a unified model paradigm that transcends domain boundaries. However, learning an effective cross-domain model presents the following challenges. First, various domains exhibit disparities in data characteristics, e.g., the number of variables, posing hurdles for existing models that impose inflexible constraints on these factors. Second, the model may encounter difficulties in distinguishing data from various domains, leading to suboptimal performance in our assessments. Third, the diverse convergence rates of time series domains can also result in compromised empirical performance. To address these issues, we propose UniTime for effective cross-domain time series learning. Concretely, UniTime can flexibly adapt to data with varying characteristics. It also uses domain instructions and a Language-TS Transformer to offer identification information and align two modalities. In addition, UniTime employs masking to alleviate domain convergence speed imbalance issues. Our extensive experiments demonstrate the effectiveness of UniTime in advancing state-of-the-art forecasting performance and zero-shot transferability.


title: Existence of steady Navier-Stokes flows exterior to an infinite cylinder

abstract: We consider the 3D steady Navier-Stokes system on the exterior of an infinite cylinder under the action of an external force. We are concerned with the class of solutions in which the velocity field is vertically uniform and at rest at horizontal infinity. This configuration includes the 2D exterior problem for the steady Navier-Stokes system known to have characteristic difficulties. We prove the existence of solutions in the above class for a given nonsymmetric external force with suitable decay. The proof can be adapted to the 2D problem and gives a generalization of H. (2023) in view of the regularity of solutions.


title: When can transformers reason with abstract symbols?

abstract: We investigate the capabilities of transformer models on relational reasoning tasks. In these tasks, models are trained on a set of strings encoding abstract relations, and are then tested out-of-distribution on data that contains symbols that did not appear in the training dataset. We prove that for any relational reasoning task in a large family of tasks, transformers learn the abstract relations and generalize to the test set when trained by gradient descent on sufficiently large quantities of training data. This is in contrast to classical fully-connected networks, which we prove fail to learn to reason. Our results inspire modifications of the transformer architecture that add only two trainable parameters per head, and that we empirically demonstrate improve data efficiency for learning to reason.


title: EX-FEVER: A Dataset for Multi-hop Explainable Fact Verification

abstract: Fact verification aims to automatically probe the veracity of a claim based on several pieces of evidence. Existing works are always engaging in accuracy improvement, let alone explainability, a critical capability of fact verification systems. Constructing an explainable fact verification system in a complex multi-hop scenario is consistently impeded by the absence of a relevant, high-quality dataset. Previous datasets either suffer from excessive simplification or fail to incorporate essential considerations for explainability. To address this, we present EXFEVER, a pioneering dataset for multi-hop explainable fact verification. With over 60,000 claims involving 2-hop and 3-hop reasoning, each is created by summarizing and modifying information from hyperlinked Wikipedia documents. Each instance is accompanied by a veracity label and an explanation that outlines the reasoning path supporting the veracity classification. Additionally, we demonstrate a novel baseline system on our EX-FEVER dataset, showcasing document retrieval, explanation generation, and claim verification, and validate the significance of our dataset. Furthermore, we highlight the potential of utilizing Large Language Models in the fact verification task. We hope our dataset could make a significant contribution by providing ample opportunities to explore the integration of natural language explanations in the domain of fact verification.


title: Beyond Segmentation: Road Network Generation with Multi-Modal LLMs

abstract: This paper introduces an innovative approach to road network generation through the utilization of a multi-modal Large Language Model (LLM). Our model is specifically designed to process aerial images of road layouts and produce detailed, navigable road networks within the input images. The core innovation of our system lies in the unique training methodology employed for the large language model to generate road networks as its output. This approach draws inspiration from the BLIP-2 architecture arXiv:2301.12597, leveraging pre-trained frozen image encoders and large language models to create a versatile multi-modal LLM. Our work also offers an alternative to the reasoning segmentation method proposed in the LISA paper arXiv:2308.00692. By training the large language model with our approach, the necessity for generating binary segmentation masks, as suggested in the LISA paper arXiv:2308.00692, is effectively eliminated. Experimental results underscore the efficacy of our multi-modal LLM in providing precise and valuable navigational guidance. This research represents a significant stride in bolstering autonomous navigation systems, especially in road network scenarios, where accurate guidance is of paramount importance.


title: New Benchmarks for Asian Facial Recognition Tasks: Face Classification with Large Foundation Models

abstract: The face classification system is an important tool for recognizing personal identity properly. This paper introduces a new Large-Scale Korean Influencer Dataset named KoIn. Our presented dataset contains many real-world photos of Korean celebrities in various environments that might contain stage lighting, backup dancers, and background objects. These various images can be useful for training classification models classifying K-influencers. Most of the images in our proposed dataset have been collected from social network services (SNS) such as Instagram. Our dataset, KoIn, contains over 100,000 K-influencer photos from over 100 Korean celebrity classes. Moreover, our dataset provides additional hard case samples such as images including human faces with masks and hats. We note that the hard case samples are greatly useful in evaluating the robustness of the classification systems. We have extensively conducted several experiments utilizing various classification models to validate the effectiveness of our proposed dataset. Specifically, we demonstrate that recent state-of-the-art (SOTA) foundation architectures show decent classification performance when trained on our proposed dataset. In this paper, we also analyze the robustness performance against hard case samples of large-scale foundation models when we fine-tune the foundation models on the normal cases of the proposed dataset, KoIn. Our presented dataset and codes will be publicly available at https://github.com/dukong1/KoIn_Benchmark_Dataset.


title: MoEmo Vision Transformer: Integrating Cross-Attention and Movement Vectors in 3D Pose Estimation for HRI Emotion Detection

abstract: Emotion detection presents challenges to intelligent human-robot interaction (HRI). Foundational deep learning techniques used in emotion detection are limited by information-constrained datasets or models that lack the necessary complexity to learn interactions between input data elements, such as the the variance of human emotions across different contexts. In the current effort, we introduce 1) MoEmo (Motion to Emotion), a cross-attention vision transformer (ViT) for human emotion detection within robotics systems based on 3D human pose estimations across various contexts, and 2) a data set that offers full-body videos of human movement and corresponding emotion labels based on human gestures and environmental contexts. Compared to existing approaches, our method effectively leverages the subtle connections between movement vectors of gestures and environmental contexts through the use of cross-attention on the extracted movement vectors of full-body human gestures/poses and feature maps of environmental contexts. We implement a cross-attention fusion model to combine movement vectors and environment contexts into a joint representation to derive emotion estimation. Leveraging our Naturalistic Motion Database, we train the MoEmo system to jointly analyze motion and context, yielding emotion detection that outperforms the current state-of-the-art.


title: Genome hybridization: A universal way for the origin and diversification of organelles as well as the origin and speciation of eukaryotes

abstract: The origin of organelles (mitochondrion, chloroplast and nucleus) remains enigmatic. The endosymbiotic hypothesis that chloroplasts, mitochondria and nuclei descend from the endosymbiotic cyanobacterium, bacterium and archaebacterium respectively is dominant yet uncompelling, while our discovery of de novo organelle biogenesis in the cyanobacterium TDX16 that had acquired the genome of its green algal host Haematococcus pluvialis overturns this hypothesis. In light of organelle biogenesis in the cyanobacterium TDX16 in combination with the relevant cellular and molecular evidence, we propose genome hybridization hypothesis (GHH) that the origin of organelles and origin of eukaryotes as well as the diversification of organelles and speciation of eukaryotes are unified and achieved by genome hybridization: the endosymbiotic cyanobacteria or bacteria obtain genomes of their archaebacterial or eukaryotic hosts and hybridize with their own ones resulting in expanded genomes containing a mixture of hybrid prokaryotic genes and eukaryotic genes, and thus the cyanobacteria or bacteria have to compartmentalize to accommodate different genes for specialized function of photosynthesis (chloroplast), respiration (mitochondrion) and DNA preservation (nucleus), and consequently turn into photosynthetic or heterotrophic eukaryotes. Accordingly, eukaryotes and their organelles are of multiple origin, while the formation of cancer cells is the speciation of eukaryotes as cancer cells are new species of unicellular eukaryotes arising from bacteria. Therefore, GHH provides a theoretical framework unifying evolutionary biology, cancer biology and cell biology and directing the integrated multidisciplinary research.


abstract: Climate change has led to an increased frequency of natural disasters such as floods and cyclones. This emphasizes the importance of effective disaster monitoring. In response, the remote sensing community has explored change detection methods. These methods are primarily categorized into supervised techniques, which yield precise results but come with high labeling costs, and unsupervised techniques, which eliminate the need for labeling but involve intricate hyperparameter tuning. To address these challenges, we propose a novel unsupervised change detection method named Prototype-oriented Unsupervised Change Detection for Disaster Management (PUCD). PUCD captures changes by comparing features from pre-event, post-event, and prototype-oriented change synthesis images via a foundational model, and refines results using the Segment Anything Model (SAM). Although PUCD is an unsupervised change detection, it does not require complex hyperparameter tuning. We evaluate PUCD framework on the LEVIR-Extension dataset and the disaster dataset and it achieves state-of-the-art performance compared to other methods on the LEVIR-Extension dataset.


title: GPT-Prompt Controlled Diffusion for Weakly-Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation (WSSS), aiming to train segmentation models solely using image-level labels, has received significant attention. Existing approaches mainly concentrate on creating high-quality pseudo labels by utilizing existing images and their corresponding image-level labels. However, the quality of pseudo labels degrades significantly when the size of available dataset is limited. Thus, in this paper, we tackle this problem from a different view by introducing a novel approach called GPT-Prompt Controlled Diffusion (GPCD) for data augmentation. This approach enhances the current labeled datasets by augmenting with a variety of images, achieved through controlled diffusion guided by GPT prompts. In this process, the existing images and image-level labels provide the necessary control information, where GPT is employed to enrich the prompts, leading to the generation of diverse backgrounds. Moreover, we integrate data source information as tokens into the Vision Transformer (ViT) framework. These tokens are specifically designed to improve the ability of downstream WSSS framework to recognize the origins of augmented images. Our proposed GPCD approach clearly surpasses existing state-of-the-art methods. This effect is more obvious when the amount of available data is small, demonstrating the effectiveness of our method.


title: CAPro: Webly Supervised Learning with Cross-Modality Aligned Prototypes

abstract: Webly supervised learning has attracted increasing attention for its effectiveness in exploring publicly accessible data at scale without manual annotation. However, most existing methods of learning with web datasets are faced with challenges from label noise, and they have limited assumptions on clean samples under various noise. For instance, web images retrieved with queries of tiger cat (a cat species) and drumstick (a musical instrument) are almost dominated by images of tigers and chickens, which exacerbates the challenge of fine-grained visual concept learning. In this case, exploiting both web images and their associated texts is a requisite solution to combat real-world noise. In this paper, we propose Cross-modality Aligned Prototypes (CAPro), a unified prototypical contrastive learning framework to learn visual representations with correct semantics. For one thing, we leverage textual prototypes, which stem from the distinct concept definition of classes, to select clean images by text matching and thus disambiguate the formation of visual prototypes. For another, to handle missing and mismatched noisy texts, we resort to the visual feature space to complete and enhance individual texts and thereafter improve text matching. Such semantically aligned visual prototypes are further polished up with high-quality samples, and engaged in both cluster regularization and noise removal. Besides, we propose collective bootstrapping to encourage smoother and wiser label reference from appearance-similar instances in a manner of dictionary look-up. Extensive experiments on WebVision1k and NUS-WIDE (Web) demonstrate that CAPro well handles realistic noise under both single-label and multi-label scenarios. CAPro achieves new state-of-the-art performance and exhibits robustness to open-set recognition. Codes are available at https://github.com/yuleiqin/capro.


title: Diversifying the Mixture-of-Experts Representation for Language Models with Orthogonal Optimizer

abstract: The Mixture of Experts (MoE) has emerged as a highly successful technique in deep learning, based on the principle of divide-and-conquer to maximize model capacity without significant additional computational cost. Even in the era of large-scale language models (LLMs), MoE continues to play a crucial role, as some researchers have indicated that GPT-4 adopts the MoE structure to ensure diverse inference results. However, MoE is susceptible to performance degeneracy, particularly evident in the issues of imbalance and homogeneous representation among experts. While previous studies have extensively addressed the problem of imbalance, the challenge of homogeneous representation remains unresolved. In this study, we shed light on the homogeneous representation problem, wherein experts in the MoE fail to specialize and lack diversity, leading to frustratingly high similarities in their representations (up to 99% in a well-performed MoE model). This problem restricts the expressive power of the MoE and, we argue, contradicts its original intention. To tackle this issue, we propose a straightforward yet highly effective solution: OMoE, an orthogonal expert optimizer. Additionally, we introduce an alternating training strategy that encourages each expert to update in a direction orthogonal to the subspace spanned by other experts. Our algorithm facilitates MoE training in two key ways: firstly, it explicitly enhances representation diversity, and secondly, it implicitly fosters interaction between experts during orthogonal weights computation. Through extensive experiments, we demonstrate that our proposed optimization algorithm significantly improves the performance of fine-tuning the MoE model on the GLUE benchmark, SuperGLUE benchmark, question-answering task, and name entity recognition tasks.


title: Seminormal Rings (following Thierry Coquand)

abstract: The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this result given by Thierry Coquand in the paper: On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006).


title: DropMix: Better Graph Contrastive Learning with Harder Negative Samples

abstract: While generating better negative samples for contrastive learning has been widely studied in the areas of CV and NLP, very few work has focused on graph-structured data. Recently, Mixup has been introduced to synthesize hard negative samples in graph contrastive learning (GCL). However, due to the unsupervised learning nature of GCL, without the help of soft labels, directly mixing representations of samples could inadvertently lead to the information loss of the original hard negative and further adversely affect the quality of the newly generated harder negative. To address the problem, in this paper, we propose a novel method DropMix to synthesize harder negative samples, which consists of two main steps. Specifically, we first select some hard negative samples by measuring their hardness from both local and global views in the graph simultaneously. After that, we mix hard negatives only on partial representation dimensions to generate harder ones and decrease the information loss caused by Mixup. We conduct extensive experiments to verify the effectiveness of DropMix on six benchmark datasets. Our results show that our method can lead to better GCL performance. Our data and codes are publicly available at https://github.com/Mayueq/DropMix-Code.


title: Improving Access to Justice for the Indian Population: A Benchmark for Evaluating Translation of Legal Text to Indian Languages

abstract: Most legal text in the Indian judiciary is written in complex English due to historical reasons. However, only about 10% of the Indian population is comfortable in reading English. Hence legal text needs to be made available in various Indian languages, possibly by translating the available legal text from English. Though there has been a lot of research on translation to and between Indian languages, to our knowledge, there has not been much prior work on such translation in the legal domain. In this work, we construct the first high-quality legal parallel corpus containing aligned text units in English and nine Indian languages, that includes several low-resource languages. We also benchmark the performance of a wide variety of Machine Translation (MT) systems over this corpus, including commercial MT systems, open-source MT systems and Large Language Models. Through a comprehensive survey by Law practitioners, we check how satisfied they are with the translations by some of these MT systems, and how well automatic MT evaluation metrics agree with the opinions of Law practitioners.


title: Pseudo-Bayesian Optimization

abstract: Bayesian Optimization is a popular approach for optimizing expensive black-box functions. Its key idea is to use a surrogate model to approximate the objective and, importantly, quantify the associated uncertainty that allows a sequential search of query points that balance exploitation-exploration. Gaussian process (GP) has been a primary candidate for the surrogate model, thanks to its Bayesian-principled uncertainty quantification power and modeling flexibility. However, its challenges have also spurred an array of alternatives whose convergence properties could be more opaque. Motivated by these, we study in this paper an axiomatic framework that elicits the minimal requirements to guarantee black-box optimization convergence that could apply beyond GP-based methods. Moreover, we leverage the design freedom in our framework, which we call Pseudo-Bayesian Optimization, to construct empirically superior algorithms. In particular, we show how using simple local regression, and a suitable "randomized prior" construction to quantify uncertainty, not only guarantees convergence but also consistently outperforms state-of-the-art benchmarks in examples ranging from high-dimensional synthetic experiments to realistic hyperparameter tuning and robotic applications.


title: VLIS: Unimodal Language Models Guide Multimodal Language Generation

abstract: Multimodal language generation, which leverages the synergy of language and vision, is a rapidly expanding field. However, existing vision-language models face challenges in tasks that require complex linguistic understanding. To address this issue, we introduce Visual-Language models as Importance Sampling weights (VLIS), a novel framework that combines the visual conditioning capability of vision-language models with the language understanding of unimodal text-only language models without further training. It extracts pointwise mutual information of each image and text from a visual-language model and uses the value as an importance sampling weight to adjust the token likelihood from a text-only model. VLIS improves vision-language models on diverse tasks, including commonsense understanding (WHOOPS, OK-VQA, and ScienceQA) and complex text generation (Concadia, Image Paragraph Captioning, and ROCStories). Our results suggest that VLIS represents a promising new direction for multimodal language generation.


title: Moments of non-normal number fields -- II

abstract: Suppose $K$ is a number field and $a_K(m)$ is the number of integral ideals of norm equal to $m$ in $K$, then for any integer $l$, we asymptotically evaluate the sum \[ \sum_{m\leqslant T} a_K^l(m) \] as $T\to\infty$. We also consider the moments of the corresponding Dedekind zeta function. We prove lower bounds of expected order of magnitude and slightly improve the known upper bound for the second moment in the non-Galois case.


title: Cell-Free Massive MIMO Surveillance Systems

abstract: Wireless surveillance, in which untrusted communications links are proactively monitored by legitimate agencies, has started to garner a lot of interest for enhancing the national security. In this paper, we propose a new cell-free massive multiple-input multiple-output (CF-mMIMO) wireless surveillance system, where a large number of distributed multi-antenna aided legitimate monitoring nodes (MNs) embark on either observing or jamming untrusted communication links. To facilitate concurrent observing and jamming, a subset of the MNs is selected for monitoring the untrusted transmitters (UTs), while the remaining MNs are selected for jamming the untrusted receivers (URs). We analyze the performance of CF-mMIMO wireless surveillance and derive a closed-form expression for the monitoring success probability of MNs. We then propose a greedy algorithm for the observing vs, jamming mode assignment of MNs, followed by the conception of a jamming transmit power allocation algorithm for maximizing the minimum monitoring success probability concerning all the UT and UR pairs based on the associated long-term channel state information knowledge. In conclusion, our proposed CF-mMIMO system is capable of significantly improving the performance of the MNs compared to that of the state-of-the-art baseline. In scenarios of a mediocre number of MNs, our proposed scheme provides an 11-fold improvement in the minimum monitoring success probability compared to its co-located mMIMO benchmarker.


title: A Portfolio Rebalancing Approach for the Indian Stock Market

abstract: This chapter presents a calendar rebalancing approach to portfolios of stocks in the Indian stock market. Ten important sectors of the Indian economy are first selected. For each of these sectors, the top ten stocks are identified based on their free-float market capitalization values. Using the ten stocks in each sector, a sector-specific portfolio is designed. In this study, the historical stock prices are used from January 4, 2021, to September 20, 2023 (NSE Website). The portfolios are designed based on the training data from January 4, 2021 to June 30, 2022. The performances of the portfolios are tested over the period from July 1, 2022, to September 20, 2023. The calendar rebalancing approach presented in the chapter is based on a yearly rebalancing method. However, the method presented is perfectly flexible and can be adapted for weekly or monthly rebalancing. The rebalanced portfolios for the ten sectors are analyzed in detail for their performances. The performance results are not only indicative of the relative performances of the sectors over the training (i.e., in-sample) data and test (out-of-sample) data, but they also reflect the overall effectiveness of the proposed portfolio rebalancing approach.


title: Regularity of Solutions to a Class of Degenerate Cross Diffusion Systems of $m$ Equations

abstract: We study the regularity of weak solutions and the global existence of classical to cross-diffusion systems of $m$ equations on $N$-dimensional domains ($m,N\ge2$).


title: Rethinking Relation Classification with Graph Meaning Representations

abstract: In the field of natural language understanding, the intersection of neural models and graph meaning representations (GMRs) remains a compelling area of research. Despite the growing interest, a critical gap persists in understanding the exact influence of GMRs, particularly concerning relation extraction tasks. Addressing this, we introduce DAGNN-plus, a simple and parameter-efficient neural architecture designed to decouple contextual representation learning from structural information propagation. Coupled with various sequence encoders and GMRs, this architecture provides a foundation for systematic experimentation on two English and two Chinese datasets. Our empirical analysis utilizes four different graph formalisms and nine parsers. The results yield a nuanced understanding of GMRs, showing improvements in three out of the four datasets, particularly favoring English over Chinese due to highly accurate parsers. Interestingly, GMRs appear less effective in literary-domain datasets compared to general-domain datasets. These findings lay the groundwork for better-informed design of GMRs and parsers to improve relation classification, which is expected to tangibly impact the future trajectory of natural language understanding research.


title: RSVP: Customer Intent Detection via Agent Response Contrastive and Generative Pre-Training

abstract: The dialogue systems in customer services have been developed with neural models to provide users with precise answers and round-the-clock support in task-oriented conversations by detecting customer intents based on their utterances. Existing intent detection approaches have highly relied on adaptively pre-training language models with large-scale datasets, yet the predominant cost of data collection may hinder their superiority. In addition, they neglect the information within the conversational responses of the agents, which have a lower collection cost, but are significant to customer intent as agents must tailor their replies based on the customers' intent. In this paper, we propose RSVP, a self-supervised framework dedicated to task-oriented dialogues, which utilizes agent responses for pre-training in a two-stage manner. Specifically, we introduce two pre-training tasks to incorporate the relations of utterance-response pairs: 1) Response Retrieval by selecting a correct response from a batch of candidates, and 2) Response Generation by mimicking agents to generate the response to a given utterance. Our benchmark results for two real-world customer service datasets show that RSVP significantly outperforms the state-of-the-art baselines by 4.95% for accuracy, 3.4% for MRR@3, and 2.75% for MRR@5 on average. Extensive case studies are investigated to show the validity of incorporating agent responses into the pre-training stage.


title: Worst-Case Analysis is Maximum-A-Posteriori Estimation

abstract: The worst-case resource usage of a program can provide useful information for many software-engineering tasks, such as performance optimization and algorithmic-complexity-vulnerability discovery. This paper presents a generic, adaptive, and sound fuzzing framework, called DSE-SMC, for estimating worst-case resource usage. DSE-SMC is generic because it is black-box as long as the user provides an interface for retrieving resource-usage information on a given input; adaptive because it automatically balances between exploration and exploitation of candidate inputs; and sound because it is guaranteed to converge to the true resource-usage distribution of the analyzed program. DSE-SMC is built upon a key observation: resource accumulation in a program is isomorphic to the soft-conditioning mechanism in Bayesian probabilistic programming; thus, worst-case resource analysis is isomorphic to the maximum-a-posteriori-estimation problem of Bayesian statistics. DSE-SMC incorporates sequential Monte Carlo (SMC) -- a generic framework for Bayesian inference -- with adaptive evolutionary fuzzing algorithms, in a sound manner, i.e., DSE-SMC asymptotically converges to the posterior distribution induced by resource-usage behavior of the analyzed program. Experimental evaluation on Java applications demonstrates that DSE-SMC is significantly more effective than existing black-box fuzzing methods for worst-case analysis.


title: The general Kastler-Kalau-Walze type theorem and the Dabrowski-Sitarz-Zalecki type theorem for odd dimensional manifold with boundary

abstract: In this paper, we give the proof of the general Kastler-Kalau-Walze type theorem and the Dabrowski-Sitarz-Zalecki type theorem on odd dimensional compact manifolds with boundary.


title: CBARF: Cascaded Bundle-Adjusting Neural Radiance Fields from Imperfect Camera Poses

abstract: Existing volumetric neural rendering techniques, such as Neural Radiance Fields (NeRF), face limitations in synthesizing high-quality novel views when the camera poses of input images are imperfect. To address this issue, we propose a novel 3D reconstruction framework that enables simultaneous optimization of camera poses, dubbed CBARF (Cascaded Bundle-Adjusting NeRF).In a nutshell, our framework optimizes camera poses in a coarse-to-fine manner and then reconstructs scenes based on the rectified poses. It is observed that the initialization of camera poses has a significant impact on the performance of bundle-adjustment (BA). Therefore, we cascade multiple BA modules at different scales to progressively improve the camera poses. Meanwhile, we develop a neighbor-replacement strategy to further optimize the results of BA in each stage. In this step, we introduce a novel criterion to effectively identify poorly estimated camera poses. Then we replace them with the poses of neighboring cameras, thus further eliminating the impact of inaccurate camera poses. Once camera poses have been optimized, we employ a density voxel grid to generate high-quality 3D reconstructed scenes and images in novel views. Experimental results demonstrate that our CBARF model achieves state-of-the-art performance in both pose optimization and novel view synthesis, especially in the existence of large camera pose noise.


title: A global view on star formation: The GLOSTAR Galactic plane survey. IX. Radio Source Catalog III: 2<l<28, 36<l<40, 56<l<60 and |b|<1, VLA B-configuration

abstract: As part of the GLOSTAR (GLObal view of STAR formation in the Milky Way) survey, we present the high-resolution continuum source catalog for the regions (l = 2-28, 36-40, 56-60, &|b|<1.0), observed with the Karl G. Jansky Very Large Array (VLA) in its B-configuration. The continuum images are optimized to detect compact sources on angular scales up to 4", and have a typical noise level of 1sigma ~ 0.08mJy/beam for an angular resolution of 1", which makes GLOSTAR currently the highest resolution as well as the most sensitive radio survey of the northern Galactic plane at 4-8GHz. We extracted 13354 sources above a threshold of 5sigma and 5437 sources above 7sigma that represent the high-reliability catalog. We determined the in-band spectral index (alpha) for the sources in the 7sigma-threshold catalog. The mean value is alpha=-0.6, which indicates that the catalog is dominated by sources emitting non-thermal radio emission. We identified the most common source types detected in radio surveys: 251 HII region candidates (113 new), 282 planetary nebulae (PNe) candidates (127 new), 784 radio star candidates (581 new), and 4080 extragalactic radio source candidates (2175 new). A significant fraction of HII regions and PNe candidates have alpha<-0.1 indicating that these candidates could contain radio jets, winds or outflows from high-mass and low-mass stellar objects. We identified 245 variable radio sources by comparing the flux densities of compact sources from the GLOSTAR survey and the Co-Ordinated Radio `N' Infrared Survey for High-mass star formation (CORNISH), and find that most of them are infrared quiet. The catalog is typically 95% complete for point sources at a flux density of 0.6 mJy (i.e. typical 7sigma level) and the systematic positional uncertainty is <= 0.1". The GLOSTAR data and catalogs are available online at https://glostar.mpifr-bonn.mpg.de.


title: Leveraging Urban Big Data for Informed Business Location Decisions: A Case Study of Starbucks in Tianhe District, Guangzhou City

abstract: With the development of the information age, cities provide a large amount of data that can be analyzed and utilized to facilitate the decision-making process. Urban big data and analytics are particularly valuable in the analysis of business location decisions, providing insight and supporting informed choices. By examining data relating to commercial locations, it becomes possible to analyze various spatial characteristics and derive the feasibility of different locations. This analytical approach contributes to effective decision-making and the formulation of robust location strategies. To illustrate this, the study focuses on Starbucks cafes in the Tianhe District of Guangzhou City, China. Utilizing data visualization maps, the spatial distribution characteristics and influencing factors of Starbucks locations are analyzed. By examining the geographical coordinates of Starbucks, main distribution characteristics are identified. Through this analysis, it explores the factors influencing the spatial layout of commercial store locations, using Starbucks as a case study. The findings offer valuable insights into the management of industrial layout and the location strategies of commercial businesses in urban environments, opening avenues for further research and development in this field.


title: Exploring the Correlation between Urban Microclimate Simulation and Urban Morphology: A Case Study in Yeongdeungpo-gu, Seoul

abstract: Different social backgrounds and planning policies give rise to diverse urban morphologies. These morphologies influence urban microclimate factors and contribute to the formation of unique local microclimates, particularly in terms of outdoor temperature. In recent times, the heat island effect has gained increasing significance during the summer season. Therefore, this study aims to explore the correlation between urban microclimate simulation and urban morphology within the context of the heat island effect. Specifically, we investigate how the outside temperature varies across different types of residential buildings in Yeongdeungpo-gu, Seoul, South Korea, during the summer period. We compare temperature conditions using a multi-dimensional system of building clusters' morphological indices and employ ENVI-met software for simulation purposes. The results of the urban microclimate simulation are comprehensively analyzed, revealing a significant finding: high-rise residential buildings exhibit considerably higher outdoor temperatures compared to low-rise residential buildings. Furthermore, the presence of open spaces plays a crucial role in mitigating high neighborhood temperatures. By deriving insights from these findings, we aim to provide valuable conclusions to support city managers in making informed decisions.


title: Notes on Applicability of Explainable AI Methods to Machine Learning Models Using Features Extracted by Persistent Homology

abstract: Data analysis that uses the output of topological data analysis as input for machine learning algorithms has been the subject of extensive research. This approach offers a means of capturing the global structure of data. Persistent homology (PH), a common methodology within the field of TDA, has found wide-ranging applications in machine learning. One of the key reasons for the success of the PH-ML pipeline lies in the deterministic nature of feature extraction conducted through PH. The ability to achieve satisfactory levels of accuracy with relatively simple downstream machine learning models, when processing these extracted features, underlines the pipeline's superior interpretability. However, it must be noted that this interpretation has encountered issues. Specifically, it fails to accurately reflect the feasible parameter region in the data generation process, and the physical or chemical constraints that restrict this process. Against this backdrop, we explore the potential application of explainable AI methodologies to this PH-ML pipeline. We apply this approach to the specific problem of predicting gas adsorption in metal-organic frameworks and demonstrate that it can yield suggestive results. The codes to reproduce our results are available at https://github.com/naofumihama/xai_ph_ml


title: Negative Sampling with Adaptive Denoising Mixup for Knowledge Graph Embedding

abstract: Knowledge graph embedding (KGE) aims to map entities and relations of a knowledge graph (KG) into a low-dimensional and dense vector space via contrasting the positive and negative triples. In the training process of KGEs, negative sampling is essential to find high-quality negative triples since KGs only contain positive triples. Most existing negative sampling methods assume that non-existent triples with high scores are high-quality negative triples. However, negative triples sampled by these methods are likely to contain noise. Specifically, they ignore that non-existent triples with high scores might also be true facts due to the incompleteness of KGs, which are usually called false negative triples. To alleviate the above issue, we propose an easily pluggable denoising mixup method called DeMix, which generates high-quality triples by refining sampled negative triples in a self-supervised manner. Given a sampled unlabeled triple, DeMix firstly classifies it into a marginal pseudo-negative triple or a negative triple based on the judgment of the KGE model itself. Secondly, it selects an appropriate mixup partner for the current triple to synthesize a partially positive or a harder negative triple. Experimental results on the knowledge graph completion task show that the proposed DeMix is superior to other negative sampling techniques, ensuring corresponding KGEs a faster convergence and better link prediction results.


title: All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant

abstract: In a universal framework that expresses any market system in terms of state transition rules, we prove that every DeFi market system has an invariant function and is thus by definition a CFMM; indeed, all automated market makers (AMMs) are CFMMs. Invariants connect directly to arbitrage and to completeness, according to two fundamental equivalences. First, a DeFi market system is, we prove, arbitrage-free if and only if it has a strictly increasing invariant, where arbitrage-free means that no state can be transformed into a dominated state by any sequence of transactions. Second, the invariant is, we prove, unique if and only if the market system is complete, meaning that it allows transitions between all pairs of states in the state space, in at least one direction. Thus a necessary and sufficient condition for no-arbitrage (respectively, for completeness) is the existence of the increasing (respectively, the uniqueness of the) invariant, which, therefore, fulfills in nonlinear DeFi theory the foundational role parallel to the existence (respectively, uniqueness) of the pricing measure in the Fundamental Theorem of Asset Pricing for linear markets. Moreover, a market system is recoverable by its invariant if and only if it is complete; and in all cases, complete or incomplete, every market system has, and is recoverable by, a multi-invariant. A market system is arbitrage-free if and only if its multi-invariant is increasing. Our examples illustrate (non)existence of various specific types of arbitrage in the context of various specific types of market systems -- with or without fees, with or without liquidity operations, and with or without coordination among multiple pools -- but the fundamental theorems have full generality, applicable to any DeFi market system and to any notion of arbitrage expressible as a strict partial order.


title: Extensive air showers and atmospheric electric fields. Synergy of Space and atmospheric particle accelerators

abstract: Various particle accelerators operate in the space plasmas, filling the Galaxy with high energy particles, primary cosmic rays. Reaching the atmosphere of the earth, these particles originate extensive air showers consisting of millions of elementary particles, secondary cosmic rays, covering several large areas on the ground. During thunderstorms, strong electric fields modulate the energy spectra of secondary particles and, consequently, originate short and long particle bursts. Impulse amplifications of particle fluxes, the thunderstorm ground enhancements, TGEs manifest themselves as peaks in the time series of count rates of particle detectors, which coincide with thunderstorms, during which free electrons are accelerating and multiplied, forming electron gamma ray avalanches. Thus, electron accelerators emerging in thunderous atmospheres can significantly alter the frequency of EAS triggers.


title: Space-temporal structure of the thunderstorm ground enhancements (TGEs)

abstract: We analyzed the structure of the Thunderstorm Ground Enhancement using a particle detector network on Aragats. We performed a statistical analysis of the particle flux enhancement time series on a nanosecond time scale using the largest TGE event on record, which occurred on May 23, 2023. Our findings confirm that the TGE combines multiple Extensive Cloud Showers, or particle microbursts, that arrive independently and provide stable particle flux on a second time scale. The electron accelerator, operated by the dipole that emerges in the lower part of the thundercloud, sends a large number of electrons and gamma rays toward the Earths surface that sustains for minutes. The experimental results are supported by simulations of electron multiplication and acceleration in strong atmospheric electric fields.


title: Scale Separation of Shear-induced Criticality in Glasses

abstract: In a sheared steady state, glasses reach a nonequilibrium criticality called yielding. In this letter, we report that the qualitative nature of this nonequilibrium critical phenomenon depends on the details of the system and that responses and fluctuations are governed by different critical correlation lengths in specific situations. This scale separation of critical lengths arises when the screening of elastic propagation of mechanical signals is not negligible. We also explain that the impact of the screening effects is crucially determined by the microscopic dissipation mechanism.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Working with XR in Public: Effects on Users and Bystanders

abstract: Recent commercial off-the-shelf virtual and augmented reality devices have been promoted as tools for knowledge work and research findings show how this kind of work can benefit from the affordances of extended reality (XR). One major advantage that XR can provide is the enlarged display space that can be used to display virtual screens which is a feature already readily available in many commercial devices. This could be especially helpful in mobile contexts, in which users might not have access to their optimal physical work setup. Such situations often occur in a public setting, for example when working on a train while traveling to a business meeting. At the same time, the use of XR devices is still uncommon in public, which might impact both users and bystanders. Hence, there is a need to better understand the implications of using XR devices for work in public both on the user itself, as well as on bystanders. We report the results of a study in a university cafeteria in which participants used three different systems. In one setup they only used a laptop with a single screen, in a second setup, they combined the laptop with an optical see-through AR headset, and in the third, they combined the laptop with an immersive VR headset. In addition, we also collected 231 responses from bystanders through a questionnaire. The combined results indicate that (1) users feel safer if they can see their physical surroundings; (2) current use of XR in public makes users stand out; and (3) prior XR experience can influence how users feel when using XR in public.


title: Dynamic Link Prediction for New Nodes in Temporal Graph Networks

abstract: Modelling temporal networks for dynamic link prediction of new nodes has many real-world applications, such as providing relevant item recommendations to new customers in recommender systems and suggesting appropriate posts to new users on social platforms. Unlike old nodes, new nodes have few historical links, which poses a challenge for the dynamic link prediction task. Most existing dynamic models treat all nodes equally and are not specialized for new nodes, resulting in suboptimal performances. In this paper, we consider dynamic link prediction of new nodes as a few-shot problem and propose a novel model based on the meta-learning principle to effectively mitigate this problem. Specifically, we develop a temporal encoder with a node-level span memory to obtain a new node embedding, and then we use a predictor to determine whether the new node generates a link. To overcome the few-shot challenge, we incorporate the encoder-predictor into the meta-learning paradigm, which can learn two types of implicit information during the formation of the temporal network through span adaptation and node adaptation. The acquired implicit information can serve as model initialisation and facilitate rapid adaptation to new nodes through a fine-tuning process on just a few links. Experiments on three publicly available datasets demonstrate the superior performance of our model compared to existing state-of-the-art methods.


title: Large rank simple bundles of all homological dimensions

abstract: For $n\geq 3$ and $r\geq n$, we show that there are rank-$r$ vector bundles on $\mathbb{P}^n$ with arbitrary homological dimension. We apply the Bernstein-Gel'fand-Gel'fand correspondence to translate the vector bundle question into a problem on modules over the exterior algebra. Then, we use linear algebra to construct the desired modules.


title: FLrce: Resource-Efficient Federated Learning with Early-Stopping Strategy

abstract: Federated learning (FL) achieves great popularity in the Internet of Things (IoT) as a powerful interface to offer intelligent services to customers while maintaining data privacy. Under the orchestration of a server, edge devices (also called clients in FL) collaboratively train a global deep-learning model without sharing any local data. Nevertheless, the unequal training contributions among clients have made FL vulnerable, as clients with heavily biased datasets can easily compromise FL by sending malicious or heavily biased parameter updates. Furthermore, the resource shortage issue of edge devices also becomes a bottleneck. Due to overwhelming computation overheads generated by training deep-learning models on edge devices, and significant communication overheads for transmitting deep-learning models across the network, enormous amounts of resources are consumed in the FL process. This encompasses computation resources like energy and communication resources like bandwidth. To comprehensively address these challenges, in this paper, we present FLrce, an efficient FL framework with a relationship-based client selection and early-stopping strategy. FLrce accelerates the FL process by selecting clients with more significant effects, enabling the global model to converge to a high accuracy in fewer rounds. FLrce also leverages an early stopping mechanism that terminates FL in advance to save communication and computation resources. Experiment results show that, compared with existing efficient FL frameworks, FLrce improves the computation and communication efficiency by at least 47% and 43% respectively.


title: A Lens Finder Map to check claimed High-z Galaxies behind SMACS J0723.3-7327

abstract: The first science image released by the JWST reveals numerous galaxies in the distant background of the galaxy cluster SMACS J0723.3-7327. Some have claimed redshifts of up to $z \simeq 20$, challenging standard cosmological models for structure formation. Here, we present a lens model for SMACS J0723.3-7327 anchored on five spectroscopically-confirmed systems at $1.38 \leq z \leq 2.21$ that are multiply lensed, along with twelve other systems with proposed image counterparts sharing common colours, spectral energy distributions, and morphological features, but having unknown redshifts. Constrained only by their image positions and, where available, redshifts, our lens model correctly reproduces the positions and correctly predicts the morphologies and relative brightnesses of all these image counterparts, as well as providing geometrically-determined redshifts spanning $1.4 \lesssim z \lesssim 6.7$ for the twelve candidate multiply-lensed galaxies lacking spectroscopic measurements. From this lens model, we create a lens finder map that defines regions over which galaxies beyond a certain redshift are predicted to be multiply lensed. Applying this map to three galaxies claimed to be at $10 \lesssim z \lesssim 20$, we find no image counterparts at locations (with an uncertainty of $\sim$$0.^{\prime\prime}5$) where they ought to be sufficiently magnified to be detectable - suggesting instead that these galaxies lie at $z \lesssim 1.7-3.2$. In lieu of spectroscopy, the creation of reliable lens finder maps for cluster fields are urgently needed to test and constrain redshifts inferred from photometry for a rapidly increasing number of candidate high-$z$ galaxies found with the JWST.


title: Auto-LfD: Towards Closing the Loop for Learning from Demonstrations

abstract: Over the past few years, there have been numerous works towards advancing the generalization capability of robots, among which learning from demonstrations (LfD) has drawn much attention by virtue of its user-friendly and data-efficient nature. While many LfD solutions have been reported, a key question has not been properly addressed: how can we evaluate the generalization performance of LfD? For instance, when a robot draws a letter that needs to pass through new desired points, how does it ensure the new trajectory maintains a similar shape to the demonstration? This question becomes more relevant when a new task is significantly far from the demonstrated region. To tackle this issue, a user often resorts to manual tuning of the hyperparameters of an LfD approach until a satisfactory trajectory is attained. In this paper, we aim to provide closed-loop evaluative feedback for LfD and optimize LfD in an automatic fashion. Specifically, we consider dynamical movement primitives (DMP) and kernelized movement primitives (KMP) as examples and develop a generic optimization framework capable of measuring the generalization performance of DMP and KMP and auto-optimizing their hyperparameters without any human inputs. Evaluations including a peg-in-hole task and a pushing task on a real robot evidence the applicability of our framework.


title: SCME: A Self-Contrastive Method for Data-free and Query-Limited Model Extraction Attack

abstract: Previous studies have revealed that artificial intelligence (AI) systems are vulnerable to adversarial attacks. Among them, model extraction attacks fool the target model by generating adversarial examples on a substitute model. The core of such an attack is training a substitute model as similar to the target model as possible, where the simulation process can be categorized in a data-dependent and data-free manner. Compared with the data-dependent method, the data-free one has been proven to be more practical in the real world since it trains the substitute model with synthesized data. However, the distribution of these fake data lacks diversity and cannot detect the decision boundary of the target model well, resulting in the dissatisfactory simulation effect. Besides, these data-free techniques need a vast number of queries to train the substitute model, increasing the time and computing consumption and the risk of exposure. To solve the aforementioned problems, in this paper, we propose a novel data-free model extraction method named SCME (Self-Contrastive Model Extraction), which considers both the inter- and intra-class diversity in synthesizing fake data. In addition, SCME introduces the Mixup operation to augment the fake data, which can explore the target model's decision boundary effectively and improve the simulating capacity. Extensive experiments show that the proposed method can yield diversified fake data. Moreover, our method has shown superiority in many different attack settings under the query-limited scenario, especially for untargeted attacks, the SCME outperforms SOTA methods by 11.43\% on average for five baseline datasets.


title: Automated Detection of Cat Facial Landmarks

abstract: The field of animal affective computing is rapidly emerging, and analysis of facial expressions is a crucial aspect. One of the most significant challenges that researchers in the field currently face is the scarcity of high-quality, comprehensive datasets that allow the development of models for facial expressions analysis. One of the possible approaches is the utilisation of facial landmarks, which has been shown for humans and animals. In this paper we present a novel dataset of cat facial images annotated with bounding boxes and 48 facial landmarks grounded in cat facial anatomy. We also introduce a landmark detection convolution neural network-based model which uses a magnifying ensembe method. Our model shows excellent performance on cat faces and is generalizable to human facial landmark detection.


title: The $T_{c\bar{s}}(2900)$ as a threshold effect from the interaction of the $D^*K^*$, $D^*_s\rho$ channels

abstract: We investigate the $D^*K^*$ and $D^*_s\rho$ interaction in coupled channels within the hidden gauge formalism. A structure is developed around their thresholds, short of producing a bound state, which leads to a peak in the $D_s^+ \pi^-$ mass distribution in the $B^0 \to \bar{D}^0 D_s^+ \pi^-$ decay compatible with the experimental data. We conclude that the interaction between the $D^*K^*$ and $D^*_s\rho$ is essential to produce the cusp structure that we associate to the recently seen $T_{c\bar{s}}(2900)$, and that its experimental width is mainly due to the decay width of the $\rho$ meson. The peak obtained together with a smooth background reproduces fairly well the experimental mass distribution observed in the $B_0 \to \bar{D}^0 D_s^+ \pi^-$ decay.


title: AFLOW: Developing Adversarial Examples under Extremely Noise-limited Settings

abstract: Extensive studies have demonstrated that deep neural networks (DNNs) are vulnerable to adversarial attacks. Despite the significant progress in the attack success rate that has been made recently, the adversarial noise generated by most of the existing attack methods is still too conspicuous to the human eyes and proved to be easily detected by defense mechanisms. Resulting that these malicious examples cannot contribute to exploring the vulnerabilities of existing DNNs sufficiently. Thus, to better reveal the defects of DNNs and further help enhance their robustness under noise-limited situations, a new inconspicuous adversarial examples generation method is exactly needed to be proposed. To bridge this gap, we propose a novel Normalize Flow-based end-to-end attack framework, called AFLOW, to synthesize imperceptible adversarial examples under strict constraints. Specifically, rather than the noise-adding manner, AFLOW directly perturbs the hidden representation of the corresponding image to craft the desired adversarial examples. Compared with existing methods, extensive experiments on three benchmark datasets show that the adversarial examples built by AFLOW exhibit superiority in imperceptibility, image quality and attack capability. Even on robust models, AFLOW can still achieve higher attack results than previous methods.


title: Enhanced interfacial thermal conductance in functionalized Boron Nitride/Polylactic acid nanocomposite: A molecular dynamics study

abstract: The relatively low thermal conductivity of biodegradable polylactic acid (PLA) has limited its applications in various fields. To address this issue, the incorporation of nanofillers, such as boron nitride nanosheets (BNNSs), has emerged as an effective method to enhance PLA's thermal properties. However, the thermal conduction of polymer-based nanocomposites is strongly influenced by interfacial thermal resistance. In this study, we investigate the impact of pristine and surface-treated BNNSs on the thermal behavior of PLA using molecular dynamics simulations. To enhance interfacial interactions and reduce chain mobility during heat transfer, we chemically modify the surface of BNNSs by introducing three different functional groups (NH2, OH, and COOH) with varying polarities. Our findings suggest that oxygen-containing groups, namely OH and COOH, exhibit stronger interfacial interactions compared to the other cases. We also systematically apply different percentages of these functional groups (i.e., 2.5, 5, and 7.5) and observe that a higher number of functional groups leads to a greater improvement in interfacial thermal transport, attributed to the enhanced phonon coupling effect. To complete the discussion, we thoroughly study the influence of random and agglomerated patterns of functional groups distribution.


title: A Number Representation Systems Library Supporting New Representations Based on Morris Tapered Floating-point with Hidden Exponent Bit

abstract: The introduction of posit reopened the debate about the utility of IEEE754 in specific domains. In this context, we propose a high-level language (Scala) library that aims to reduce the effort of designing and testing new number representation systems (NRSs). The library's efficiency is tested with three new NRSs derived from Morris Tapered Floating-Point by adding a hidden exponent bit. We call these NRSs MorrisHEB, MorrisBiasHEB, and MorrisUnaryHEB, respectively. We show that they offer a better dynamic range, better decimal accuracy for unary operations, more exact results for addition (37.61% in the case of MorrisUnaryHEB), and better average decimal accuracy for inexact results on binary operations than posit and IEEE754. Going through existing benchmarks in the literature, and favorable/unfavorable examples for IEEE754/posit, we show that these new NRSs produce similar (less than one decimal accuracy difference) or even better results than IEEE754 and posit. Given the entire spectrum of results, there are arguments for MorrisBiasHEB to be used as a replacement for IEEE754 in general computations. MorrisUnaryHEB has a more populated ``golden zone'' (+13.6%) and a better dynamic range (149X) than posit, making it a candidate for machine learning computations.


title: Mitigating Cosmological Tensions via Momentum-Coupled Dark Sector Model

abstract: In this paper, we investigate the momentum coupling between early dark energy (EDE) and cold dark matter to alleviate cosmological tensions. EDE has exhibited promising efficacy in addressing the Hubble tension, but it exacerbates the large-scale structure tension. We consider the interaction between EDE and cold dark matter, introducing a pure momentum exchange between them to alleviate the large-scale structure tension introduced by the EDE model. We find that this coupling model is consistent with the EDE model, yielding a higher value for $H_0$, which can resolve the Hubble tension. Additionally, the new model exhibits a suppressive effect on structure growth, contributing to the alleviation of the large-scale structure tension. By utilizing the Markov Chain Monte Carlo method and incorporating various cosmological data, the coupling model constrains the best-fit values for $H_0$ to be $72.23$ km/s/Mpc and for $S_8$ to be 0.8192. Compared to the $\Lambda$CDM model, the new models have not fully resolved the large-scale structure tension. However, in contrast to the best-fit value of 0.8316 for $S_8$ obtained from the EDE model, the new model alleviates the negative impact of the EDE model.


title: Squashed Entanglement from Generalized Rindler Wedge

abstract: We investigate the bipartite and multipartite quantum entanglement structure in gravity and the dual holographic field theory based on the generalized Rindler wedge formalism. We deduce a separation theorem, which asserts that for subregions satisfying a certain geometric condition, the bipartite/multipartite squashed entanglement or the conditional entanglement of multipartite information vanishes, indicating that these subregions represent separable states with no quantum entanglement among them. We interpret this fact from the observer perspective in gravity and show how to probe the entanglement structure further in this framework by introducing a time cutoff in the gravitational spacetime. We also present the corresponding dual boundary field theory interpretation.


title: Model Inversion Attacks on Homogeneous and Heterogeneous Graph Neural Networks

abstract: Recently, Graph Neural Networks (GNNs), including Homogeneous Graph Neural Networks (HomoGNNs) and Heterogeneous Graph Neural Networks (HeteGNNs), have made remarkable progress in many physical scenarios, especially in communication applications. Despite achieving great success, the privacy issue of such models has also received considerable attention. Previous studies have shown that given a well-fitted target GNN, the attacker can reconstruct the sensitive training graph of this model via model inversion attacks, leading to significant privacy worries for the AI service provider. We advocate that the vulnerability comes from the target GNN itself and the prior knowledge about the shared properties in real-world graphs. Inspired by this, we propose a novel model inversion attack method on HomoGNNs and HeteGNNs, namely HomoGMI and HeteGMI. Specifically, HomoGMI and HeteGMI are gradient-descent-based optimization methods that aim to maximize the cross-entropy loss on the target GNN and the $1^{st}$ and $2^{nd}$-order proximities on the reconstructed graph. Notably, to the best of our knowledge, HeteGMI is the first attempt to perform model inversion attacks on HeteGNNs. Extensive experiments on multiple benchmarks demonstrate that the proposed method can achieve better performance than the competitors.


title: Radical bound for Zaremba's conjecture

abstract: Famous Zaremba's conjecture (1971) states that for each positive integer $q\geq2$, there exists positive integer $1\leq a <q$, coprime to $q$, such that if you expand a fraction $a/q$ into a continued fraction $a/q=[a_1,\ldots,a_n]$, all of the coefficients $a_i$'s are bounded by some absolute constant $\mathfrak k$, independent of $q$. Zaremba conjectured that this should hold for $\mathfrak k=5$. In 1986, Niederreiter proved Zaremba's conjecture for numbers of the form $q=2^n,3^n$ with $\mathfrak k=3$ and for $q=5^n$ with $\mathfrak k=4$. In this paper we prove that for each number $q\neq 2^n,3^n$, there exists $a$, coprime to $q$, such that all of the partial quotients in the continued fraction of $a/q$ are bounded by $ \operatorname{rad}(q)-1$, where $\operatorname{rad}(q)$ is the radical of an integer number, i.e. the product of all distinct prime numbers dividing $q$. In particular, this means that Zaremba's conjecture holds for numbers $q$ of the form $q=2^n3^m, n,m\in\mathbb N \cup \{0\}$ with $\mathfrak k= 5$, generalizing Neiderreiter's result. Our result also improves upon the recent result by Moshchevitin, Murphy and Shkredov on numbers of the form $q=p^n$, where $p$ is an arbitrary prime and $n$ sufficiently large.


title: Exploitation Business: Leveraging Information Asymmetry

abstract: This paper investigates the "Exploitation Business" model, which capitalizes on information asymmetry to exploit vulnerable populations. It focuses on businesses targeting non-experts or fraudsters who capitalize on information asymmetry to sell their products or services to desperate individuals. This phenomenon, also described as "profit-making activities based on informational exploitation," thrives on individuals' limited access to information, lack of expertise, and Fear of Missing Out (FOMO). The recent advancement of social media and the rising trend of fandom business have accelerated the proliferation of such exploitation business models. Discussions on the empowerment and exploitation of fans in the digital media era present a restructuring of relationships between fans and media creators, highlighting the necessity of not overlooking the exploitation of fans' free labor. This paper analyzes the various facets and impacts of exploitation business models, enriched by real-world examples from sectors like cryptocurrency and GenAI, thereby discussing their social, economic, and ethical implications. Moreover, through theoretical backgrounds and research, it explores similar themes like existing exploitation theories, commercial exploitation, and financial exploitation to gain a deeper understanding of the "Exploitation Business" subject.


title: Mean-field approach to Mid-spectrum Eigenstates of long-range interacting Quantum Systems

abstract: We study the equilibrium properties of the spin-$1/2$ XY chain with an infinite-range transverse interaction. At zero temperature, competition between the XY- and the $z$-ordered phases induced by the infinite-range interactions gives rise to a first-order transition upon increasing the transverse coupling. We show that the two gapless points of the XY model behave in fundamentally different ways: isotropic spin chains experience a first-order transition at finite coupling; maximal anisotropic chains overcome a non-algebraic phase transition at zero coupling strength. The phase diagram depicts a first-order reentrant transition that turns second-order along a tricritical line separating a paramagnetic phase from an ordered one at finite temperature. The mean-field approach captures the local properties of the eigenstates and reveals the appearance of a magnetization gap in the spectrum. Global properties, e.g., entanglement entropy, are well approximated only at spectral boundaries. The mean entanglement entropy and the level-spacing ratio deviate from the Gaussian results, revealing the interacting nature of the problem.


title: Communication Compression for Byzantine Robust Learning: New Efficient Algorithms and Improved Rates

abstract: Byzantine robustness is an essential feature of algorithms for certain distributed optimization problems, typically encountered in collaborative/federated learning. These problems are usually huge-scale, implying that communication compression is also imperative for their resolution. These factors have spurred recent algorithmic and theoretical developments in the literature of Byzantine-robust learning with compression. In this paper, we contribute to this research area in two main directions. First, we propose a new Byzantine-robust method with compression - Byz-DASHA-PAGE - and prove that the new method has better convergence rate (for non-convex and Polyak-Lojasiewicz smooth optimization problems), smaller neighborhood size in the heterogeneous case, and tolerates more Byzantine workers under over-parametrization than the previous method with SOTA theoretical convergence guarantees (Byz-VR-MARINA). Secondly, we develop the first Byzantine-robust method with communication compression and error feedback - Byz-EF21 - along with its bidirectional compression version - Byz-EF21-BC - and derive the convergence rates for these methods for non-convex and Polyak-Lojasiewicz smooth case. We test the proposed methods and illustrate our theoretical findings in the numerical experiments.


title: Pulsation in hot main sequence stars: comparison of observations with models

abstract: TESS observations of pulsating hot main sequence stars paint a very different picture from what is currently accepted. There are large numbers of delta Scuti (DSCT) stars hotter than the theoretical hot edge of the instability strip, continuing to what appear to be DSCT stars of mid-B type (historically known as Maia variables). The frequencies of maximum amplitude in DSCT stars are in poor agreement with unstable frequencies from the models. There is a well-defined upper envelope in the frequencies of maximum amplitude as a function of effective temperature for DSCT and MAIA stars which requires an explanation. The gamma Doradus (GDOR) stars should be regarded as DSCT stars with suppressed high frequencies rather than a separate class. They are found mostly among the cool DSCT stars, but occur throughout the DSCT instability strip and as early A-type stars, where they merge with the SPB variables. The mixture of DSCT and GDOR stars throughout the instability strip is one example of the unexplained large variation of frequency patterns in DSCT stars. The location of beta Cephei stars in the H-R diagram agrees quite well with the models, but the observed frequencies are generally higher than predicted. There are no discernible boundaries between the traditional classes of pulsating stars. Existing pulsation models do not describe the observations at all well and a re-evaluation is required.


title: Can LSH (Locality-Sensitive Hashing) Be Replaced by Neural Network?

abstract: With the rapid development of GPU (Graphics Processing Unit) technologies and neural networks, we can explore more appropriate data structures and algorithms. Recent progress shows that neural networks can partly replace traditional data structures. In this paper, we proposed a novel DNN (Deep Neural Network)-based learned locality-sensitive hashing, called LLSH, to efficiently and flexibly map high-dimensional data to low-dimensional space. LLSH replaces the traditional LSH (Locality-sensitive Hashing) function families with parallel multi-layer neural networks, which reduces the time and memory consumption and guarantees query accuracy simultaneously. The proposed LLSH demonstrate the feasibility of replacing the hash index with learning-based neural networks and open a new door for developers to design and configure data organization more accurately to improve information-searching performance. Extensive experiments on different types of datasets show the superiority of the proposed method in query accuracy, time consumption, and memory usage.


title: Measurement of the transverse single-spin asymmetry for forward neutron production in a wide $p_T$ range in polarized $p+p$ collisions at $\sqrt{s} = 510$ GeV

abstract: Transverse single-spin asymmetries $A_{\textrm{N}}$ of forward neutrons at pseudorapidities larger than 6 had only been studied in the transverse momentum range of $p_{\textrm{T}} < 0.4$ GeV/$c$. The RHICf Collaboration has extended the previous measurements up to 1.0 GeV/$c$ in polarized $p+p$ collisions at $\sqrt{s}~=~510$GeV, using an electromagnetic calorimeter installed in the zero-degree area of the STAR detector at the Relativistic Heavy Ion Collider. The resulting $A_{\textrm{N}}$s increase in magnitude with $p_{\textrm{T}}$ in the high longitudinal momentum fraction $x_{\textrm{F}}$ range, but reach a plateau at lower $p_{\textrm{T}}$ for lower $x_{\textrm{F}}$. For low transverse momenta the $A_{\textrm{N}}$s show little $x_{\textrm{F}}$ dependence and level off from intermediate values. For higher transverse momenta the $A_{\textrm{N}}$s show also an indication to reach a plateau at increased magnitudes. The results are consistent with previous measurements at lower collision energies, suggesting no $\sqrt{s}$ dependence of the neutron asymmetries. A theoretical model based on the interference of $\pi$ and $a_1$ exchange between two protons could partially reproduce the current results, however an additional mechanism is necessary to describe the neutron $A_{\textrm{N}}$s over the whole kinematic region measured.


title: An Alternative Approach to Inverse Z-Transform of Rational Functions

abstract: Our paper introduces a novel method for calculating the inverse $\mathcal{Z}$-transform of rational functions. Unlike some existing approaches that rely on partial fraction expansion and involve dividing by $z$, our method allows for the direct computation of the inverse $\mathcal{Z}$-transform without such division. Furthermore, our method expands the rational functions over real numbers instead of complex numbers. Hence, it doesn't need algebraic manipulations to obtain a real-valued answer. Furthermore, it aligns our method more closely with established techniques used in integral, Laplace, and Fourier transforms. In addition, it can lead to fewer calculations in some cases.


title: Radiation Tolerance of Low-Noise Photoreceivers for the LISA Space Mission

abstract: This study investigates the effects of space environmental radiation on the performance of InGaAs Quadrant Photodiodes (QPDs) and assesses their suitability for the Laser Interferometer Space Antenna (LISA) mission. QPDs of 1.0, 1.5 and 2.0 mm have been irradiated with 20 and 60 MeV protons, 0.5 and 1 MeV electrons, and Co$^{60}$ gamma. An exposure corresponding to a displacement damage equivalent fluence of $1.0 \times 10^{+12}$ p/cm$^2$ for 20 and 60 MeV protons and a total ionizing dose of 237 krad were applied, surpassing the anticipated radiation levels for the LISA mission by a factor of approximately five. Experiments were conducted to measure changes in QPD dark current, capacitance, and responsivity. The QPDs are integrated with a low-noise DC-coupled transimpedance amplifier to form the Photoreceiver (QPR). QPR noise and performance in an interferometric system like LISA were also measured. Although radiation impacted their dark current and responsivity, almost all QPDs met LISA's validation criteria and did not demonstrate any critical failure. These findings prove that the tested QPDs are promising candidates for LISA and other space-based missions.


title: ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?

abstract: Large language models (LLMs) like ChatGPT (i.e., gpt-3.5-turbo and gpt-4) exhibited remarkable advancement in a range of software engineering tasks associated with source code such as code review and code generation. In this paper, we undertake a comprehensive study by instructing ChatGPT for four prevalent vulnerability tasks: function and line-level vulnerability prediction, vulnerability classification, severity estimation, and vulnerability repair. We compare ChatGPT with state-of-the-art language models designed for software vulnerability purposes. Through an empirical assessment employing extensive real-world datasets featuring over 190,000 C/C++ functions, we found that ChatGPT achieves limited performance, trailing behind other language models in vulnerability contexts by a significant margin. The experimental outcomes highlight the challenging nature of vulnerability prediction tasks, requiring domain-specific expertise. Despite ChatGPT's substantial model scale, exceeding that of source code-pre-trained language models (e.g., CodeBERT) by a factor of 14,000, the process of fine-tuning remains imperative for ChatGPT to generalize for vulnerability prediction tasks. We publish the studied dataset, experimental prompts for ChatGPT, and experimental results at https://github.com/awsm-research/ChatGPT4Vul.


title: Spacing distribution for quantum Rabi models

abstract: The asymmetric quantum Rabi model (AQRM) is a fundamental model in quantum optics describing the interaction of light and matter. Besides its immediate physical interest, the AQRM possesses an intriguing mathematical structure which is far from being completely understood. In this paper, we focus on the distribution of the level spacing, the difference between consecutive eigenvalues of the AQRM in the limit of high energies, i.e. large quantum numbers. In the symmetric case, that is the quantum Rabi model (QRM), the spacing distribution for each parity (given by the $\mathbb{Z}_2$-symmetry) is fully clarified by an asymptotic expression derived by de Monvel and Zielinski, though some questions remain for the full spectrum spacing. However, in the general AQRM case, there is no parity decomposition for the eigenvalues. In connection with numerically exact studies for the first 40,000 eigenstates we describe the spacing distribution for the AQRM which is characterized by a new type of periodicity and symmetric behavior of the distribution with respect to the bias parameter. The results reflects the hidden symmetry of the AQRM known to appear for half-integer bias. In addition, we observe in the AQRM the excited state quantum phase transition for large values of the bias parameter, analogous to the QRM with large qubit energy, and an internal symmetry of the level spacing distribution for fixed bias. This novel symmetry is independent from the symmetry for half-integer bias and not explained by current theoretical knowledge.


title: Towards Optimal Convergence Rates for the Quantum Central Limit Theorem

abstract: Quantum central limit theorem for bosonic systems states that the sequence of states $\rho^{\boxplus n}$ obtained from the $n$-fold convolution of a centered quantum state $\rho$ converges to a quantum Gaussian state $\rho_G$ that has the same first and second moments as $\rho$. In this paper, we contribute to the problem of finding optimal rate of convergence for this theorem. We first show that if an $m$-mode quantum state has a finite moment of order $\max\{3, 2m\}$, then we have $\|\rho - \rho_G\|_1=\mathcal O(n^{-1/2})$. By giving an explicit example, we verify that this convergence rate is optimal. We also introduce a notion of Poincar\'e inequality for quantum states and show that if $\rho$ satisfies this Poincar\'e inequality, then $D(\rho\| \rho_G)= \mathcal O(n^{-1})$.


title: Parking Problem by Oblivious Mobile Robots in Infinite Grids

abstract: In this paper, the parking problem of a swarm of mobile robots has been studied. The robots are deployed at the nodes of an infinite grid, which has a subset of prefixed nodes marked as parking nodes. Each parking node p_i has a capacity of k_i which is given as input and equals the maximum number of robots a parking node can accommodate. As a solution to the parking problem, robots need to partition themselves into groups so that each parking node contains a number of robots that are equal to the capacity of the node in the final configuration. It is assumed that the number of robots in the initial configuration represents the sum of the capacities of the parking nodes. The robots are assumed to be autonomous, anonymous, homogeneous, identical and oblivious. They operate under an asynchronous scheduler. They neither have any agreement on the coordinate axes nor do they agree on a common chirality. All the initial configurations for which the problem is unsolvable have been identified. A deterministic distributed algorithm has been proposed for the remaining configurations, ensuring the solvability of the problem.


title: On $\mathscr L$-$\Pi$-property of subgroups of finite groups

abstract: Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies $\mathscr L $-$\Pi$-property in $G$ if $| G / K : N_{G / K} (HK/K)|$ is a $\pi (HK/K)$-number for all maximal $G$-invariant subgroup $K$ of $H^G$. In this paper, we study the influence of some $p$-subgroups of $G$ satisfying $\mathscr L $-$\Pi$-property on the structure of $G$.


title: Dynamic stabilization of a hydrogen premixed flame in a narrow channel

abstract: Combustion of hydrogen can help in reducing carbon-based emissions but it also poses unique challenges related to the high flame speed and Lewis number effects of the hydrogen flame. When operated with conventional burners, a hydrogen flame can flashback at higher volumetric flow rates than a methane flame due to the difference in stabilization mechanisms of the two fuels. Due to these differences, conventional burners cannot offer similar operational ranges for hydrogen than that for hydrocarbon flames. An exploration into the unique stabilization behaviour of hydrogen flames is required which could help in envisioning non-conventional burner concepts for keeping hydrogen flames stable. Stability conditions, which describe the kinematics of premixed flames with spatially and temporally changing flow parameters, are crucial for such an exploration. Stability conditions are usually hypothesized for stable flames, where a flame upon perturbation is assumed to return to its original position. Alternatively, in the case of flashback/blow-off, it refers to a flame moving upstream of the burner or being convected out of the domain. However, it is also of interest to understand how and why a flame could move to a new location when the velocity and strain fields are varying with time and space at the original and the new location. In this paper, we investigate the flame stabilization by 1) observing the hydrogen flame's upstream movement in a multi-slit configuration when a geometrical change is made, and 2) changing strain and velocity fields in a dynamic and periodic manner using numerical tools such that the unique behaviour of a hydrogen flame can be captured.


title: Unidirectional charge correlations in hole-doped cuprates

abstract: We examine charge correlations and instabilities in the pseudogap phase of high-$T_c$ cuprates modeled by $d$-density wave ordering. The latter has a gap symmetry similar to the one observed in the $d$-wave superconductor. We use $t$-$J$ model to describe the charge correlations in the presence of electron-phonon interaction. Our finding suggest that the charge instability in the normal state is dominating at an incommensurate wavevector along (1, 1) instead of (1, 0) for a realistic interaction parameter. The dominance at the diagonal wavevector is further enhanced if the coupling between electron and bond-buckling $B_{1g}$ phonon is incorporated. On the other hand, a dominating charge-density correlation develops along (1, 0) at an incommensurate wavevector in the $d$-density wave ordered state, which shows a qualitative agreement with the experiments. The correlation becomes robust only in the presence of $B_{1g}$ phonon.