title: PropSegmEnt: A Large-Scale Corpus for Proposition-Level Segmentation and Entailment Recognition

abstract: The widely studied task of Natural Language Inference (NLI) requires a system to recognize whether one piece of text is textually entailed by another, i.e. whether the entirety of its meaning can be inferred from the other. In current NLI datasets and models, textual entailment relations are typically defined on the sentence- or paragraph-level. However, even a simple sentence often contains multiple propositions, i.e. distinct units of meaning conveyed by the sentence. As these propositions can carry different truth values in the context of a given premise, we argue for the need to recognize the textual entailment relation of each proposition in a sentence individually. We propose PropSegmEnt, a corpus of over 45K propositions annotated by expert human raters. Our dataset structure resembles the tasks of (1) segmenting sentences within a document to the set of propositions, and (2) classifying the entailment relation of each proposition with respect to a different yet topically-aligned document, i.e. documents describing the same event or entity. We establish strong baselines for the segmentation and entailment tasks. Through case studies on summary hallucination detection and document-level NLI, we demonstrate that our conceptual framework is potentially useful for understanding and explaining the compositionality of NLI labels.


title: Metallicity Gradient of Barred Galaxies with TYPHOON

abstract: Bars play an important role in mixing material in the inner regions of galaxies and stimulating radial migration. Previous observations have found evidence for the impact of a bar on metallicity gradients but the effect is still inconclusive. We use the TYPHOON/PrISM survey to investigate the metallicity gradients along and beyond the bar region across the entire star-forming disk of five nearby galaxies. Using emission line diagrams to identify star-forming spaxels, we recover the global metallicity gradients ranging from -0.0162 to -0.073 dex/kpc with evidence that the galactic bars act as an agent in affecting in-situ star formation as well as the motions of gas and stars. We observe cases with a `shallow-steep' metallicity radial profile, with evidence of the bar flattening the metallicity gradients inside the bar region (NGC~5068 and NGC~1566) and also note instances where the bar appears to drive a steeper metallicity gradient producing `steep-shallow' metallicity profiles (NGC~1365 and NGC~1744). For NGC~2835, a `steep-shallow' metallicity gradient break occurs at a distance $\sim$ 4 times the bar radius, which is more likely driven by gas accretion to the outskirt of the galaxy instead of the bar. The variation of metallicity gradients around the bar region traces the fluctuations of star formation rate surface density in NGC~1365, NGC~1566 and NGC~1744. A larger sample combined with hydrodynamical simulations is required to further explore the diversity and the relative importance of different ISM mixing mechanisms on the gas-phase metallicity gradients in local galaxies.


title: Modelling the CO streamers in the explosive ejection of Orion BN/KL region

abstract: We present reactive gasdynamic, axisymmetric simulations of dense, high velocity clumps for modelling the CO streamers observed in Orion BN/KL. We have considered 15 chemical species, a cooling function for atomic and molecular gas, and heating through cosmic rays. Our numerical simulations explore different ejection velocities, interstellar medium density configurations, and CO content. Using the CO density and temperature, we have calculated the CO ($J=2\to1$) emissivity, and have built CO maps and spatially resolved line profiles, allowing us to see the CO emitting regions of the streamers and to obtain position velocity diagrams to compare with observations. We find that in order to reproduce the images and line profiles of the BN/KL CO streamers and H$_2$ fingers, we need to have clumps that first travel within a dense cloud core, and then emerge into a lower-density environment.


title: Stokes structure of mild difference modules

abstract: We introduce a category of filtered sheaves on a circle to describe the Stokes phenomenon of linear difference equations with mild singularity. The main result is a mild difference analog of the Riemann-Hilbert correspondence for germs of meromorphic connections in one complex variable by Deligne-Malgrange.


title: CoRRPUS: Code-based Structured Prompting for Neurosymbolic Story Understanding

abstract: Story generation and understanding -- as with all NLG/NLU tasks -- has seen a surge in neurosymbolic work. Researchers have recognized that, while large language models (LLMs) have tremendous utility, they can be augmented with symbolic means to be even better and to make up for any flaws that the neural networks might have. However, symbolic methods are extremely costly in terms of the amount of time and expertise needed to create them. In this work, we capitalize on state-of-the-art Code-LLMs, such as Codex, to bootstrap the use of symbolic methods for tracking the state of stories and aiding in story understanding. We show that our CoRRPUS system and abstracted prompting procedures can beat current state-of-the-art structured LLM techniques on pre-existing story understanding tasks (bAbI Task 2 and Re^3) with minimal hand engineering. We hope that this work can help highlight the importance of symbolic representations and specialized prompting for LLMs as these models require some guidance for performing reasoning tasks properly.


title: JASMINE: Arabic GPT Models for Few-Shot Learning

abstract: Scholarship on generative pretraining (GPT) remains acutely Anglocentric, leaving serious gaps in our understanding of the whole class of autoregressive models. For example, we have little knowledge about the potential of these models and their societal impacts in diverse linguistic and cultural settings. We alleviate this issue for Arabic, a wide collection of languages and dialectal varieties with more than 400 million population, by introducing JASMINE. JASMINE is a suite of powerful Arabic autoregressive Transformer language models ranging in size between 300 million-6.7 billion parameters pretrained on a large and diverse dataset (~ 235 GB of text). We also carefully design and release a comprehensive benchmark for both automated and human evaluation of Arabic autoregressive models, with coverage of potential social biases, harms, and toxicity. Using our novel benchmark, we evaluate JASMINE extensively showing powerful performance intrinsically as well as in few-shot learning on a wide range of NLP tasks. We aim to responsibly release our models and evaluation benchmark with interested researchers, along with code for experimenting with them.


title: Legendre theorems for a class of partitions with initial repetitions

abstract: Partitions with initial repetitions were introduced by George Andrews. We consider a subclass of these partitions and find Legendre theorems associated with their respective partition functions. The results in turn provide partition theoretic interpretations of some Rogers-Ramanujan identities due to Lucy J. Slater.


title: Circular flows in mono-directed signed graphs

abstract: In this paper the concept of circular $r$-flows in a mono-directed signed graph $(G, \sigma)$ is introduced. That is a pair $(D, f)$, where $D$ is an orientation on $G$ and $f: E(G)\to (-r,r)$ satisfies that $|f(e)|\in [1, r-1]$ for each positive edge $e$ and $|f(e)|\in [0, \frac{r}{2}-1]\cup [\frac{r}{2}+1, r)$ for each negative edge $e$, and the total in-flow equals the total out-flow at each vertex. The circular flow index of a signed graph $(G, \sigma)$ with no positive bridge, denoted $\Phi_c(G,\sigma)$, is the minimum $r$ such that $(G, \sigma)$ admits a circular $r$-flow. This is the dual notion of circular colorings and circular chromatic numbers of signed graphs recently introduced in [Circular chromatic number of signed graphs. R. Naserasr, Z. Wang, and X. Zhu. Electronic Journal of Combinatorics, 28(2)(2021), \#P2.44], and is distinct from the concept of circular flows in bi-directed graphs associated to signed graphs studied in the literature. We give several equivalent definitions, study basic properties of circular flows in mono-directed signed graphs, explore relations with flows in graphs, and focus on upper bounds on $\Phi_c(G,\sigma)$ in terms of the edge-connectivity of $G$. Meanwhile, we note that for the particular values of $r_{_k}=\frac{2k}{k-1}$, and when restricted to two natural subclasses of signed graphs, the existence of a circular $r_{_k} $-flow is strongly connected with the existence of a modulo $k$-orientation, and in case of planar graphs, based on duality, with the homomorphisms to $C_{-k}$.


title: ORCA: A Challenging Benchmark for Arabic Language Understanding

abstract: Due to their crucial role in all NLP, several benchmarks have been proposed to evaluate pretrained language models. In spite of these efforts, no public benchmark of diverse nature currently exists for evaluation of Arabic. This makes it challenging to measure progress for both Arabic and multilingual language models. This challenge is compounded by the fact that any benchmark targeting Arabic needs to take into account the fact that Arabic is not a single language but rather a collection of languages and varieties. In this work, we introduce ORCA, a publicly available benchmark for Arabic language understanding evaluation. ORCA is carefully constructed to cover diverse Arabic varieties and a wide range of challenging Arabic understanding tasks exploiting 60 different datasets across seven NLU task clusters. To measure current progress in Arabic NLU, we use ORCA to offer a comprehensive comparison between 18 multilingual and Arabic language models. We also provide a public leaderboard with a unified single-number evaluation metric (ORCA score) to facilitate future research.


title: The construction of $\epsilon$-splitting map

abstract: For a geodesic ball with non-negative Ricci curvature and almost maximal volume, without using compactness argument, we construct an $\epsilon$-splitting map on a concentric geodesic ball with uniformly small radius. There are two new technical points in our proof. The first one is the way of finding $n$ directional points by induction and stratified almost Gou-Gu Theorem. The other one is the error estimates of projections, which guarantee the $n$ directional points we find really determine $n$ different directions.


title: Critical quantum sensing based on the Jaynes-Cummings model with a squeezing drive

abstract: Quantum sensing improves the accuracy of measurements of relevant parameters by exploiting the unique properties of quantum systems. The divergent susceptibility of physical systems near a critical point for quantum phase transition enables criticality-enhanced quantum sensing. The quantum Rabi model (QRM), composed of a single qubit coupled to a single bosonic field, represents a good candidate for realizing such critical enhancement for its simplicity, but it is experimentally challenging to achieve the ultrastrong qubit-field coupling required to realize the critical phenomena. In this work, we explore an alternative to construct the analog of the QRM for the sensing, exploiting the criticality appearing in the Jaynes-Cummings (JC) model whose bosonic field is parametrically driven, not necessitating the ultrastrong coupling condition thus to some extent relaxing the requirement for the practical implementation.


title: WOCS 4540: Detailed Analysis of a Very Long Orbital Period Blue Straggler

abstract: WOCS 4540 is the longest orbital period ($P_{\rm orb}=3030$ days) blue straggler (BSS) - white dwarf (WD) pair in the old open cluster NGC 188 . It also contains one of the most luminous BSS in the cluster. Prior \textit{Hubble Space Telescope} COS spectroscopy measured a WD mass of 0.53 $M_{\odot}$, indicative of a carbon-oxygen WD and suggesting previous mass transfer from an asymptotic branch giant (AGB). Detailed modeling of the system evolution, including red giant branch phase wind mass transfer, AGB wind Roche-lobe overflow and regular Roche-lobe overflow, is done with Modules for Experiments in Stellar Astrophysics. The best-fit model produces excellent agreement with a wide array of observational constraints on the BSS, the WD and the binary system. To produce the observed luminosity and effective temperature of the BSS, all three donor mass-transfer mechanisms contribute similarly to build a 1.5 $M_{\odot}$ BSS. The overall mass-transfer efficiency is 55%. Regular Roche-lobe overflow occurs only during the largest AGB thermal pulse, but yields a very high accretion rate at 75% efficiency and briefly (less than 1 Myr) a very high luminosity boost from the accretor.


title: AgAsk: An Agent to Help Answer Farmer's Questions From Scientific Documents

abstract: Decisions in agriculture are increasingly data-driven; however, valuable agricultural knowledge is often locked away in free-text reports, manuals and journal articles. Specialised search systems are needed that can mine agricultural information to provide relevant answers to users' questions. This paper presents AgAsk -- an agent able to answer natural language agriculture questions by mining scientific documents. We carefully survey and analyse farmers' information needs. On the basis of these needs we release an information retrieval test collection comprising real questions, a large collection of scientific documents split in passages, and ground truth relevance assessments indicating which passages are relevant to each question. We implement and evaluate a number of information retrieval models to answer farmers questions, including two state-of-the-art neural ranking models. We show that neural rankers are highly effective at matching passages to questions in this context. Finally, we propose a deployment architecture for AgAsk that includes a client based on the Telegram messaging platform and retrieval model deployed on commodity hardware. The test collection we provide is intended to stimulate more research in methods to match natural language to answers in scientific documents. While the retrieval models were evaluated in the agriculture domain, they are generalisable and of interest to others working on similar problems. The test collection is available at: \url{https://github.com/ielab/agvaluate}.


title: Shakebot: A Low-cost, Open-source Robotic Shake Table for Earthquake Research and Education

abstract: Shake tables provide a critical tool for simulating earthquake events and testing the response of structures to seismic forces. However, existing shake tables are either expensive or proprietary. This paper presents the design and implementation of a low-cost, open-source shake table named Shakebot for earthquake engineering research and education, built using Robot Operating System (ROS) and robotic concepts. The Shakebot adapts affordable and high-accuracy components from 3D printers, particularly a closed-loop stepper motor for actuation and a toothed belt for transmission. The stepper motor enables the bed to reach a maximum horizontal acceleration of 11.8 m/s^2 (1.2 g), and velocity of 0.5 m/s, with a 2 kg specimen. The Shakebot is equipped with an accelerometer and a high frame-rate camera for bed motion estimation. The low cost and easy use make the Shakebot accessible to a wide range of users, including students, educators, and researchers in low-resource settings. An important application of the Shakebot is to examine the dynamics of precariously balanced rocks (PBRs), which are negative indicators of earthquakes in nature. Our earlier research built a virtual shake robot in simulation for the PBR study. The Shakebot provides an approach to validate the simulation through physical experiments. The ROS-based perception and motion software facilitates the code transition from our virtual shake robot to the physical Shakebot. The reuse of the control programs ensures that the implemented ground motions are consistent for both the simulation and physical experiments, which is critical to validate our simulation experiments.


title: Learning List-Level Domain-Invariant Representations for Ranking

abstract: Domain adaptation aims to transfer the knowledge learned on (data-rich) source domains to (low-resource) target domains, and a popular method is invariant representation learning, which matches and aligns the data distributions on the feature space. Although this method is studied extensively and applied on classification and regression problems, its adoption on ranking problems is sporadic, and the few existing implementations lack theoretical justifications. This paper revisits invariant representation learning for ranking. Upon reviewing prior work, we found that they implement what we call item-level alignment, which aligns the distributions of the items being ranked from all lists in aggregate but ignores their list structure. However, the list structure should be leveraged, because it is intrinsic to ranking problems where the data and the metrics are defined and computed on lists, not the items by themselves. To close this discrepancy, we propose list-level alignment -- learning domain-invariant representations at the higher level of lists. The benefits are twofold: it leads to the first domain adaptation generalization bound for ranking, in turn providing theoretical support for the proposed method, and it achieves better empirical transfer performance for unsupervised domain adaptation on ranking tasks, including passage reranking.


title: Reward Bonuses with Gain Scheduling Inspired by Iterative Deepening Search

abstract: This paper introduces a novel method of adding intrinsic bonuses to task-oriented reward function in order to efficiently facilitate reinforcement learning search. While various bonuses have been designed to date, they are analogous to the depth-first and breadth-first search algorithms in graph theory. This paper, therefore, first designs two bonuses for each of them. Then, a heuristic gain scheduling is applied to the designed bonuses, inspired by the iterative deepening search, which is known to inherit the advantages of the two search algorithms. The proposed method is expected to allow agent to efficiently reach the best solution in deeper states by gradually exploring unknown states. In three locomotion tasks with dense rewards and three simple tasks with sparse rewards, it is shown that the two types of bonuses contribute to the performance improvement of the different tasks complementarily. In addition, by combining them with the proposed gain scheduling, all tasks can be accomplished with high performance.


title: Class Prototype-based Cleaner for Label Noise Learning

abstract: Semi-supervised learning based methods are current SOTA solutions to the noisy-label learning problem, which rely on learning an unsupervised label cleaner first to divide the training samples into a labeled set for clean data and an unlabeled set for noise data. Typically, the cleaner is obtained via fitting a mixture model to the distribution of per-sample training losses. However, the modeling procedure is \emph{class agnostic} and assumes the loss distributions of clean and noise samples are the same across different classes. Unfortunately, in practice, such an assumption does not always hold due to the varying learning difficulty of different classes, thus leading to sub-optimal label noise partition criteria. In this work, we reveal this long-ignored problem and propose a simple yet effective solution, named \textbf{C}lass \textbf{P}rototype-based label noise \textbf{C}leaner (\textbf{CPC}). Unlike previous works treating all the classes equally, CPC fully considers loss distribution heterogeneity and applies class-aware modulation to partition the clean and noise data. CPC takes advantage of loss distribution modeling and intra-class consistency regularization in feature space simultaneously and thus can better distinguish clean and noise labels. We theoretically justify the effectiveness of our method by explaining it from the Expectation-Maximization (EM) framework. Extensive experiments are conducted on the noisy-label benchmarks CIFAR-10, CIFAR-100, Clothing1M and WebVision. The results show that CPC consistently brings about performance improvement across all benchmarks. Codes and pre-trained models will be released at \url{https://github.com/hjjpku/CPC.git}.


title: How Does Beam Search improve Span-Level Confidence Estimation in Generative Sequence Labeling?

abstract: Sequence labeling is a core task in text understanding for IE/IR systems. Text generation models have increasingly become the go-to solution for such tasks (e.g., entity extraction and dialog slot filling). While most research has focused on the labeling accuracy, a key aspect -- of vital practical importance -- has slipped through the cracks: understanding model confidence. More specifically, we lack a principled understanding of how to reliably gauge the confidence of a model in its predictions for each labeled span. This paper aims to provide some empirical insights on estimating model confidence for generative sequence labeling. Most notably, we find that simply using the decoder's output probabilities \textbf{is not} the best in realizing well-calibrated confidence estimates. As verified over six public datasets of different tasks, we show that our proposed approach -- which leverages statistics from top-$k$ predictions by a beam search -- significantly reduces calibration errors of the predictions of a generative sequence labeling model.


title: A stochastic method to compute the $L^2$ localisation landscape

abstract: The $L^2$ localisation landscape of L. Herviou and J. H. Bardarson is a generalisation of the localisation landscape of M. Filoche and S. Mayboroda. We propose a stochastic method to compute the $L^2$ localisation landscape that enables the calculation of landscapes using sparse matrix methods. We also propose an energy filtering of the $L^2$ landscape which can be used to focus on eigenstates with energies in any chosen range of the energy spectrum. We demonstrate the utility of these suggestions by applying the $L^2$ landscape to Anderson's model of localisation in one and two dimensions, and also to localisation in a model of the quantum Hall effect.


title: Uncontrolled Lexical Exposure Leads to Overestimation of Compositional Generalization in Pretrained Models

abstract: Human linguistic capacity is often characterized by compositionality and the generalization it enables -- human learners can produce and comprehend novel complex expressions by composing known parts. Several benchmarks exploit distributional control across training and test to gauge compositional generalization, where certain lexical items only occur in limited contexts during training. While recent work using these benchmarks suggests that pretrained models achieve impressive generalization performance, we argue that exposure to pretraining data may break the aforementioned distributional control. Using the COGS benchmark of Kim and Linzen (2020), we test two modified evaluation setups that control for this issue: (1) substituting context-controlled lexical items with novel character sequences, and (2) substituting them with special tokens represented by novel embeddings. We find that both of these setups lead to lower generalization performance in T5 (Raffel et al., 2020), suggesting that previously reported results have been overestimated due to uncontrolled lexical exposure during pretraining. The performance degradation is more extreme with novel embeddings, and the degradation increases with the amount of pretraining data, highlighting an interesting case of inverse scaling.


title: ImPaKT: A Dataset for Open-Schema Knowledge Base Construction

abstract: Large language models have ushered in a golden age of semantic parsing. The seq2seq paradigm allows for open-schema and abstractive attribute and relation extraction given only small amounts of finetuning data. Language model pretraining has simultaneously enabled great strides in natural language inference, reasoning about entailment and implication in free text. These advances motivate us to construct ImPaKT, a dataset for open-schema information extraction, consisting of around 2500 text snippets from the C4 corpus, in the shopping domain (product buying guides), professionally annotated with extracted attributes, types, attribute summaries (attribute schema discovery from idiosyncratic text), many-to-one relations between compound and atomic attributes, and implication relations. We release this data in hope that it will be useful in fine tuning semantic parsers for information extraction and knowledge base construction across a variety of domains. We evaluate the power of this approach by fine-tuning the open source UL2 language model on a subset of the dataset, extracting a set of implication relations from a corpus of product buying guides, and conducting human evaluations of the resulting predictions.


title: Probing The Unitarity of Quantum Evolution Through Periodic Driving

abstract: As quantum computers and simulators begin to produce results that cannot be verified classically, it becomes imperative to develop a variety of tools to detect and diagnose experimental errors on these devices. While state or process tomography is a natural way to characterize sources of experimental error, the intense measurement requirements make these strategies infeasible in all but the smallest of quantum systems. In this work, we formulate signatures of unitary evolution based on specific properties of periodically driven quantum systems. The absence of these signatures indicates a break either in the unitarity or periodicity condition on the evolution. We experimentally detect incoherent error on a trapped-ion quantum computer using these signatures. Our method is based on repeated measurements of a single observable, making this a low-cost evaluation of error with measurement requirements that scales according to the character of the dynamics, rather than the system size.


title: Low-Light Image and Video Enhancement: A Comprehensive Survey and Beyond

abstract: This paper presents a comprehensive survey of low-light image and video enhancement, addressing two primary challenges in the field. The first challenge is the prevalence of mixed over-/under-exposed images, which are not adequately addressed by existing methods. In response, this work introduces two enhanced variants of the SICE dataset: SICE_Grad and SICE_Mix, designed to better represent these complexities. The second challenge is the scarcity of suitable low-light video datasets for training and testing. To address this, the paper introduces the Night Wenzhou dataset, a large-scale, high-resolution video collection that features challenging fast-moving aerial scenes and streetscapes with varied illuminations and degradation. This study also conducts an extensive analysis of key techniques and performs comparative experiments using the proposed and current benchmark datasets. The survey concludes by highlighting emerging applications, discussing unresolved challenges, and suggesting future research directions within the LLIE community. The datasets are available at https://github.com/ShenZheng2000/LLIE_Survey.


title: MultiInstruct: Improving Multi-Modal Zero-Shot Learning via Instruction Tuning

abstract: Instruction tuning, a new learning paradigm that fine-tunes pre-trained language models on tasks specified through instructions, has shown promising zero-shot performance on various natural language processing tasks. However, it has yet to be explored for vision and multimodal tasks. In this work, we introduce MUL-TIINSTRUCT, the first multimodal instruction tuning benchmark dataset that consists of 62 diverse multimodal tasks in a unified seq-to-seq format covering 10 broad categories. The tasks are derived from 21 existing open-source datasets and each task is equipped with 5 expert-written instructions. We take OFA as the base pre-trained model for multimodal instruction tuning, and to further improve its zero-shot performance, we explore multiple transfer learning strategies to leverage the large-scale NATURAL INSTRUCTIONS dataset. Experimental results demonstrate strong zero-shot performance on various unseen multimodal tasks and the benefit of transfer learning from a text-only instruction dataset. We also design a new evaluation metric - Sensitivity, to evaluate how sensitive the model is to the variety of instructions. Our results indicate that fine-tuning the model on a diverse set of tasks and instructions leads to a reduced sensitivity to variations in instructions for each task.


title: Towards Efficient Visual Simplification of Computational Graphs in Deep Neural Networks

abstract: A computational graph in a deep neural network (DNN) denotes a specific data flow diagram (DFD) composed of many tensors and operators. Existing toolkits for visualizing computational graphs are not applicable when the structure is highly complicated and large-scale (e.g., BERT [1]). To address this problem, we propose leveraging a suite of visual simplification techniques, including a cycle-removing method, a module-based edge-pruning algorithm, and an isomorphic subgraph stacking strategy. We design and implement an interactive visualization system that is suitable for computational graphs with up to 10 thousand elements. Experimental results and usage scenarios demonstrate that our tool reduces 60% elements on average and hence enhances the performance for recognizing and diagnosing DNN models. Our contributions are integrated into an open-source DNN visualization toolkit, namely, MindInsight [2].


title: An efficient quantum algorithm for simulating polynomial differential equations

abstract: We present an efficient quantum algorithm to simulate nonlinear differential equations with polynomial vector fields of arbitrary degree on quantum platforms. Models of physical systems that are governed by ordinary differential equations (ODEs) or partial differential equation (PDEs) can be challenging to solve on classical computers due to high dimensionality, stiffness, nonlinearities, and sensitive dependence to initial conditions. For sparse $n$-dimensional linear ODEs, quantum algorithms have been developed which can produce a quantum state proportional to the solution in poly(log(nx)) time using the quantum linear systems algorithm (QLSA). Recently, this framework was extended to systems of nonlinear ODEs with quadratic polynomial vector fields by applying Carleman linearization that enables the embedding of the quadratic system into an approximate linear form. A detailed complexity analysis was conducted which showed significant computational advantage under certain conditions. We present an extension of this algorithm to deal with systems of nonlinear ODEs with $k$-th degree polynomial vector fields for arbitrary (finite) values of $k$. The steps involve: 1) mapping the $k$-th degree polynomial ODE to a higher dimensional quadratic polynomial ODE; 2) applying Carleman linearization to transform the quadratic ODE to an infinite-dimensional system of linear ODEs; 3) truncating and discretizing the linear ODE and solving using the forward Euler method and QLSA. Alternatively, one could apply Carleman linearization directly to the $k$-th degree polynomial ODE, resulting in a system of infinite-dimensional linear ODEs, and then apply step 3. This solution route can be computationally more efficient. We present detailed complexity analysis of the proposed algorithms, prove polynomial scaling of runtime on $k$ and demonstrate the framework on an example.


title: Identification and classification of TESS variable stars

abstract: Visual classification of the variability classes of over 120,000 Kepler, K2 and TESS stars is presented. The sample is mainly based on stars with known spectral types. Since variability classification often requires the location of the star in the H--R diagram, a catalogue of effective temperatures was compiled. Luminosities were estimated from Gaia DR3 parallaxes. The different classes of variable found in this survey are discussed. Examples of light curves and periodograms for common variability classes are shown. A catalogue of projected rotational velocities is also included.


title: Hierarchically branched diffusion models leverage dataset structure for class-conditional generation

abstract: Class-labeled datasets, particularly those common in scientific domains, are rife with internal structure, yet current class-conditional diffusion models ignore these relationships and implicitly diffuse on all classes in a flat fashion. To leverage this structure, we propose hierarchically branched diffusion models as a novel framework for class-conditional generation. Branched diffusion models rely on the same diffusion process as traditional models, but learn reverse diffusion separately for each branch of a hierarchy. We highlight several advantages of branched diffusion models over the current state-of-the-art methods for class-conditional diffusion, including extension to novel classes in a continual-learning setting, a more sophisticated form of analogy-based conditional generation (i.e. transmutation), and a novel interpretability into the generation process. We extensively evaluate branched diffusion models on several benchmark and large real-world scientific datasets spanning many data modalities.


title: Mining User-aware Multi-relations for Fake News Detection in Large Scale Online Social Networks

abstract: Users' involvement in creating and propagating news is a vital aspect of fake news detection in online social networks. Intuitively, credible users are more likely to share trustworthy news, while untrusted users have a higher probability of spreading untrustworthy news. In this paper, we construct a dual-layer graph (i.e., the news layer and the user layer) to extract multiple relations of news and users in social networks to derive rich information for detecting fake news. Based on the dual-layer graph, we propose a fake news detection model named Us-DeFake. It learns the propagation features of news in the news layer and the interaction features of users in the user layer. Through the inter-layer in the graph, Us-DeFake fuses the user signals that contain credibility information into the news features, to provide distinctive user-aware embeddings of news for fake news detection. The training process conducts on multiple dual-layer subgraphs obtained by a graph sampler to scale Us-DeFake in large scale social networks. Extensive experiments on real-world datasets illustrate the superiority of Us-DeFake which outperforms all baselines, and the users' credibility signals learned by interaction relation can notably improve the performance of our model.


title: Minimum Phase Linear Antenna Array Design

abstract: The paper considers the design of minimum phase discrete linear arrays. The paper introduces recent advances for the design of minimum phase Finite Impulse Response filters, as applied to the design of minimum phase linear arrays. The minimum phase linear array is demonstrated to require the least number of elements of all linear arrays that are able to achieve a given magnitude pattern specification. Three example designs are presented and compared to results from the literature.


title: Restriction of Uniform Crossnorms

abstract: Consider the space $B[X\otimes_\alpha Y]$ of operators on the tensors product ${X\otimes_\alpha Y}$ of normed spaces $X$ and $Y$ equipped with a uniform crossnorm ${\|\cdot\|_\alpha}$$.$ Take the induced uniform norm on $B[X\otimes_\alpha Y]$ and consider its restriction to the tensor product ${B[X]\otimes B[Y]}$ of the algebra of operators $B[X]$ and $B[Y].$ It is proved that such a restriction is a reasonable crossnorm on ${B[X]\otimes B[Y]}$.


title: On $J$-folded alcove paths and combinatorial representations of affine Hecke algebras

abstract: We introduce the combinatorial model of $J$-folded alcove paths in an affine Weyl group and construct representations of affine Hecke algebras using this model. We study boundedness of these representations, and we state conjectures linking our combinatorial formulae to Kazhdan-Lusztig theory and Opdam's Plancherel Theorem.


title: Orbital- and spin-phase variability in the X-ray emission from the accreting pulsar Cen X-3

abstract: We analyzed 39 ks NuSTAR observation data of the high mass X-ray binary Cen X-3 in order to investigate the orbital- and spin-phase spectral variability. The observation covers the orbital phase of $\Phi=0.199$-$0.414$ of the source, where $\Phi=0$ corresponds to the mid-eclipse. The orbital-phase-resolved spectroscopy revealed that low energy photons are more dominant for the spectral fluctuation, and a large part of the variability can be explained in terms of absorption by clumps of stellar wind. The spin-phase-resolved spectroscopy together with energy-resolved pulse profiles, on the other hand, presented large flux variations in high energy bands, which suggests that the origin of the variability is the different efficiency of Comptonization inside the accretion column. The energy band which includes Fe emission lines or cyclotron resonance scattering feature (CRSF) shows distinct variability compared to the nearby bands. The Fe lines show low variability along the spin phase, which indicates that the emission regions are apart from the neutron star. The central energy and strength of the CRSF are both positively correlated with the spin-phase-resolved flux, which suggests that the emitted photons face stronger magnetic fields and deeper absorption when they come from high-flux regions. We also examined the independence of the orbital- and spin-phase variability. They showed no correlation with each other and were highly independent, which implies the accretion stream is stable during the observation.


title: Distinguishing between Regular and Chaotic orbits of Flows by the Weighted Birkhoff Average

abstract: This paper investigates the utility of the weighted Birkhoff average (WBA) for distinguishing between regular and chaotic orbits of flows, extending previous results that applied the WBA to maps. It is shown that the WBA can be super-convergent for flows when the dynamics and phase space function are smooth, and the dynamics is conjugate to a rigid rotation with Diophantine rotation vector. The dependence of the accuracy of the average on orbit length and width of the weight function width are investigated. In practice, the average achieves machine precision of the rotation frequency of quasiperiodic orbits for an integration time of O(10^3) periods. The contrasting, relatively slow convergence for chaotic trajectories allows an efficient discrimination criterion. Three example systems are studied: a two-wave Hamiltonian system, a quasiperiodically forced, dissipative system that has a strange attractor with no positive Lyapunov exponents, and a model for magnetic field line flow.


title: Can NLI Provide Proper Indirect Supervision for Low-resource Biomedical Relation Extraction?

abstract: Two key obstacles in biomedical relation extraction (RE) are the scarcity of annotations and the prevalence of instances without explicitly pre-defined labels due to low annotation coverage. Existing approaches, which treat biomedical RE as a multi-class classification task, often result in poor generalization in low-resource settings and do not have the ability to make selective prediction on unknown cases but give a guess from seen relations, hindering the applicability of those approaches. We present NBR, which converts biomedical RE as natural language inference formulation through indirect supervision. By converting relations to natural language hypotheses, NBR is capable of exploiting semantic cues to alleviate annotation scarcity. By incorporating a ranking-based loss that implicitly calibrates abstinent instances, NBR learns a clearer decision boundary and is instructed to abstain on uncertain instances. Extensive experiments on three widely-used biomedical RE benchmarks, namely ChemProt, DDI and GAD, verify the effectiveness of NBR in both full-set and low-resource regimes. Our analysis demonstrates that indirect supervision benefits biomedical RE even when a domain gap exists, and combining NLI knowledge with biomedical knowledge leads to the best performance gains.


title: SERENGETI: Massively Multilingual Language Models for Africa

abstract: Multilingual pretrained language models (mPLMs) acquire valuable, generalizable linguistic information during pretraining and have advanced the state of the art on task-specific finetuning. To date, only ~31 out of ~2,000 African languages are covered in existing language models. We ameliorate this limitation by developing SERENGETI, a massively multilingual language model that covers 517 African languages and language varieties. We evaluate our novel models on eight natural language understanding tasks across 20 datasets, comparing to 4 mPLMs that cover 4-23 African languages. SERENGETI outperforms other models on 11 datasets across the eights tasks, achieving 82.27 average F_1. We also perform analyses of errors from our models, which allows us to investigate the influence of language genealogy and linguistic similarity when the models are applied under zero-shot settings. We will publicly release our models for research.\footnote{\href{https://github.com/UBC-NLP/serengeti}{https://github.com/UBC-NLP/serengeti}}


title: Multi-hop Evidence Retrieval for Cross-document Relation Extraction

abstract: Relation Extraction (RE) has been extended to cross-document scenarios because many relations are not simply described in a single document. This inevitably brings the challenge of efficient open-space evidence retrieval to support the inference of cross-document relations, along with the challenge of multi-hop reasoning on top of entities and evidence scattered in an open set of documents. To combat these challenges, we propose MR.COD (Multi-hop evidence retrieval for Cross-document relation extraction), which is a multi-hop evidence retrieval method based on evidence path mining and ranking. We explore multiple variants of retrievers to show evidence retrieval is essential in cross-document RE. We also propose a contextual dense retriever for this setting. Experiments on CodRED show that evidence retrieval with MR.COD effectively acquires crossdocument evidence and boosts end-to-end RE performance in both closed and open settings.


title: Interactive Task Encoding System for Learning-from-Observation

abstract: We present the Interactive Task Encoding System (ITES) for teaching robots to perform manipulative tasks. ITES is designed as an input system for the Learning-from-Observation (LfO) framework, which enables household robots to be programmed using few-shot human demonstrations without the need for coding. In contrast to previous LfO systems that rely solely on visual demonstrations, ITES leverages both verbal instructions and interaction to enhance recognition robustness, thus enabling multimodal LfO. ITES identifies tasks from verbal instructions and extracts parameters from visual demonstrations. Meanwhile, the recognition result was reviewed by the user for interactive correction. Evaluations conducted on a real robot demonstrate the successful teaching of multiple operations for several scenarios, suggesting the usefulness of ITES for multimodal LfO. The source code is available at https://github.com/microsoft/symbolic-robot-teaching-interface.


title: GraphIX: Graph-based In silico XAI(explainable artificial intelligence) for drug repositioning from biopharmaceutical network

abstract: Drug repositioning holds great promise because it can reduce the time and cost of new drug development. While drug repositioning can omit various R&D processes, confirming pharmacological effects on biomolecules is essential for application to new diseases. Biomedical explainability in a drug repositioning model can support appropriate insights in subsequent in-depth studies. However, the validity of the XAI methodology is still under debate, and the effectiveness of XAI in drug repositioning prediction applications remains unclear. In this study, we propose GraphIX, an explainable drug repositioning framework using biological networks, and quantitatively evaluate its explainability. GraphIX first learns the network weights and node features using a graph neural network from known drug indication and knowledge graph that consists of three types of nodes (but not given node type information): disease, drug, and protein. Analysis of the post-learning features showed that node types that were not known to the model beforehand are distinguished through the learning process based on the graph structure. From the learned weights and features, GraphIX then predicts the disease-drug association and calculates the contribution values of the nodes located in the neighborhood of the predicted disease and drug. We hypothesized that the neighboring protein node to which the model gave a high contribution is important in understanding the actual pharmacological effects. Quantitative evaluation of the validity of protein nodes' contribution using a real-world database showed that the high contribution proteins shown by GraphIX are reasonable as a mechanism of drug action. GraphIX is a framework for evidence-based drug discovery that can present to users new disease-drug associations and identify the protein important for understanding its pharmacological effects from a large and complex knowledge base.


title: Multi-modal Molecule Structure-text Model for Text-based Retrieval and Editing

abstract: There is increasing adoption of artificial intelligence in drug discovery. However, existing studies use machine learning to mainly utilize the chemical structures of molecules but ignore the vast textual knowledge available in chemistry. Incorporating textual knowledge enables us to realize new drug design objectives, adapt to text-based instructions and predict complex biological activities. Here we present a multi-modal molecule structure-text model, MoleculeSTM, by jointly learning molecules' chemical structures and textual descriptions via a contrastive learning strategy. To train MoleculeSTM, we construct a large multi-modal dataset, namely, PubChemSTM, with over 280,000 chemical structure-text pairs. To demonstrate the effectiveness and utility of MoleculeSTM, we design two challenging zero-shot tasks based on text instructions, including structure-text retrieval and molecule editing. MoleculeSTM has two main properties: open vocabulary and compositionality via natural language. In experiments, MoleculeSTM obtains the state-of-the-art generalization ability to novel biochemical concepts across various benchmarks.


title: Inference for Model Misspecification in Interest Rate Term Structure using Functional Principal Component Analysis

abstract: Level, slope, and curvature are three commonly-believed principal components in interest rate term structure and are thus widely used in modeling. This paper characterizes the heterogeneity of how misspecified such models are through time. Presenting the orthonormal basis in the Nelson-Siegel model interpretable as the three factors, we design two nonparametric tests for whether the basis is equivalent to the data-driven functional principal component basis underlying the yield curve dynamics, considering the ordering of eigenfunctions or not, respectively. Eventually, we discover high dispersion between the two bases when rare events occur, suggesting occasional misspecification even if the model is overall expressive.


title: OpineSum: Entailment-based self-training for abstractive opinion summarization

abstract: A typical product or place often has hundreds of reviews, and summarization of these texts is an important and challenging problem. Recent progress on abstractive summarization in domains such as news has been driven by supervised systems trained on hundreds of thousands of news articles paired with human-written summaries. However for opinion texts, such large scale datasets are rarely available. Unsupervised methods, self-training, and few-shot learning approaches bridge that gap. In this work, we present a novel self-training approach, OpineSum, for abstractive opinion summarization. The summaries in this approach are built using a novel application of textual entailment and capture the consensus of opinions across the various reviews for an item. This method can be used to obtain silver-standard summaries on a large scale and train both unsupervised and few-shot abstractive summarization systems. OpineSum achieves state-of-the-art performance in both settings.


title: Reconstruction Probing

abstract: We propose reconstruction probing, a new analysis method for contextualized representations based on reconstruction probabilities in masked language models (MLMs). This method relies on comparing the reconstruction probabilities of tokens in a given sequence when conditioned on the representation of a single token that has been fully contextualized and when conditioned on only the decontextualized lexical prior of the model. This comparison can be understood as quantifying the contribution of contextualization towards reconstruction -- the difference in the reconstruction probabilities can only be attributed to the representational change of the single token induced by contextualization. We apply this analysis to three MLMs and find that contextualization boosts reconstructability of tokens that are close to the token being reconstructed in terms of linear and syntactic distance. Furthermore, we extend our analysis to finer-grained decomposition of contextualized representations, and we find that these boosts are largely attributable to static and positional embeddings at the input layer.


title: Resource Utilization Monitoring for Raw Data Query Processing

abstract: Scientific experiments, simulations, and modern applications generate large amounts of data. Data is stored in raw format to avoid the high loading time of traditional database management systems. Researchers have proposed many techniques to improve query execution time for raw data and reduce data loading time for traditional systems. The core of all the proposed techniques is efficient utilization of resources by processing only required data or reducing operations on data. The processed data caching in the main memory or disk can resolve this issue and avoid repeated processing of data. However, limitations of resources like main memory space, storage IO speeds, and additional storage space requirements on disk need to be considered to provide reliable and scalable solutions for cloud or in-house deployments. This paper presents improvements to the raw data query processing framework by integrating a resource monitoring module. The experiments were performed using a scientific dataset known Sloan Digital Sky Survey (SDSS). Analysis of monitored resources revealed that sampling queries had the lowest resource utilization. The PostgresRAW can answer simple 0-JOIN queries faster than PostgreSQL. While one or more JOIN complex queries need to be answered using PostgreSQL to reduce workload execution time (WET). The results section discusses resource requirements of simple, complex, and sampling type queries. The result analysis of query types and resource utilization patterns assisted in proposing Query Complexity Aware (QCA) and Resource Utilization Aware (RUA) data partitioning techniques for raw engines and DBMS to reduce cost or data to result time.


title: Joint Beamforming and PD Orientation Design for Mobile Visible Light Communications

abstract: In this paper, we propose joint beamforming and photo-detector (PD) orientation (BO) optimization schemes for mobile visible light communication (VLC) with the orientation adjustable receiver (OAR). Since VLC is sensitive to line-of-sight propagation, we first establish the OAR model and the human body blockage model for mobile VLC user equipment (UE). To guarantee the quality of service (QoS) of mobile VLC, we jointly optimize BO with minimal UE the power consumption for both fixed and random UE orientation cases. For the fixed UE orientation case, since the {transmit} beamforming and the PD orientation are mutually coupled, the joint BO optimization problem is nonconvex and intractable. To address this challenge, we propose an alternating optimization algorithm to obtain the transmit beamforming and the PD orientation. For the random UE orientation case, we further propose a robust alternating BO optimization algorithm to ensure the worst-case QoS requirement of the mobile UE. Finally, the performance of joint BO optimization design schemes are evaluated for mobile VLC through numerical experiments.


title: Origin of extreme solar eruptive activity from the active region NOAA 12673 and the largest flare of solar cycle 24

abstract: During 2017, when the Sun was moving toward the minimum phase of solar cycle 24, an exceptionally eruptive active region (AR) NOAA 12673 emerged on the Sun during August 28-September 10. During the highest activity level, the AR turned into a delta-type sunspot region, which manifests the most complex configuration of magnetic fields from the photosphere to the coronal heights. The AR 12673 produced four X-class and 27 M-class flares, along with numerous C-class flares, making it one of the most powerful ARs of solar cycle 24. Notably, it produced the largest flare of solar cycle 24, namely, the X9.3 event on 2017 September 6. In this work, we highlight the results of our comprehensive analysis involving multi-wavelength imaging and coronal magnetic field modeling to understand the evolution and eruptivity from AR 12673. We especially focus on the morphological, spectral and kinematical evolution of the two X-class flares on 6 September 2017. We explore various large- and small-scale magnetic field structures of the active region which are associated with the triggering and subsequent outbursts during the powerful solar transients.


title: Collisional Growth and Fragmentation of Dust Aggregates. II. Mass Distribution of Icy Fragments

abstract: By performing $N$-body simulations, we investigated fundamental processes of collisions between dust aggregates composed of submicron-sized icy dust monomers. We examined the mass distribution of fragments in the collisional outcomes in a wide range of the mass ratio and the collision velocity between colliding dust aggregates. We derived analytic expressions of the mass distribution of large remnants and small fragments by numerical fitting to the simulation results. Our analytic formulae for masses of the large remnants can reproduce the contribution of mass transfer from a large target to a small projectile, which occurs for a mass ratio of $\gtrsim 3$ and is shown in a previous study (Hasegawa et al. 2021). We found that the power-law index of the cumulative mass distribution of the small fragments is independent of the mass ratio and only weakly dependent on the collision velocity. On the other hand, the mass fraction of fragments of individual dust monomers decreases with an increasing total mass of colliding aggregates for a fixed mass ratio. This tendency implies that multiple hierarchical disruptive collisions (i.e., collisions between fragments, collisions between fragments of fragments) are required for producing a large amount of individual dust monomers via collisional fragmentation. Our fragment model suggests that the total geometric cross section integrated over the fragments is estimated to be about the same order of the geometric cross section of the target.


title: Direct Comparative Analysis of Nature-inspired Optimization Algorithms on Community Detection Problem in Social Networks

abstract: Nature-inspired optimization Algorithms (NIOAs) are nowadays a popular choice for community detection in social networks. Community detection problem in social network is treated as optimization problem, where the objective is to either maximize the connection within the community or minimize connections between the communities. To apply NIOAs, either of the two, or both objectives are explored. Since NIOAs mostly exploit randomness in their strategies, it is necessary to analyze their performance for specific applications. In this paper, NIOAs are analyzed on the community detection problem. A direct comparison approach is followed to perform pairwise comparison of NIOAs. The performance is measured in terms of five scores designed based on prasatul matrix and also with average isolability. Three widely used real-world social networks and four NIOAs are considered for analyzing the quality of communities generated by NIOAs.


title: On the Existence and Uniqueness of Ancient Rescaled Mean Curvature Flows

abstract: We show existence of ancient solutions to the rescaled mean curvature flow starting from a given asymptotically conical self-expander. These are examples of mean curvature flows coming out of cones that are not self-similar. We also show a strong uniqueness theorem when the cone is generic and use it to classify mean curvature flows coming out of generic cones of small entropy in low dimensions.


title: Bipartite quantum state discrimination and decomposable entanglement witness

abstract: We consider bipartite quantum state discrimination using positive-partial-transpose measurements and show that minimum-error discrimination by positive-partial-transpose measurements is closely related to entanglement witness. By using the concept of decomposable entanglement witness, we establish conditions on minimum-error discrimination by positive-partial-transpose measurements. We also provide conditions on the upper bound of the maximum success probability over all possible positive-partial-transpose measurements. Finally, we illustrate our results using examples of multidimensional bipartite quantum states.


title: The time-like electromagnetic kaon form factor

abstract: We compute the electromagnetic charged kaon form factor in the time-like region by employing a Poincar\'e covariant formalism of the Bethe-Salpeter equation to study quark-antiquark bound states in conjunction with the Schwinger-Dyson equation for the quark propagator. Following a recent kindred calculation of the time-like electromagnetic pion form factor, we include the most relevant intermediate composite particles permitted by their quantum numbers in the interaction kernel to allow for a decay mechanism for the resonances involved. This term augments the usual gluon mediated interaction between quarks. For a sufficiently low energy time-like probing photon, the electromagnetic form factor is saturated by the $\rho(770)$ and $\phi(1020)$ resonances. We assume $SU(2)$ isospin symmetry throughout. Our results for the absolute value squared of the electromagnetic form factor agree qualitatively rather well and quantitatively moderately so with available experimental data.


title: Measurement of the cosmogenic neutron yield in Super-Kamiokande with gadolinium loaded water

abstract: Cosmic-ray muons that enter the Super-Kamiokande detector cause hadronic showers due to spallation in water, producing neutrons and radioactive isotopes. Those are a major background source for studies of MeV-scale neutrinos and searches for rare events. Since 2020, gadolinium was introduced in the ultra-pure water in the Super-Kamiokande detector to improve the detection efficiency of neutrons. In this study, the cosmogenic neutron yield was measured using data acquired during the period after the gadolinium loading. The yield was found to be $(2.76 \pm 0.02\,\mathrm{(stat.) \pm 0.19\,\mathrm{(syst.)}}) \times 10^{-4}\,\mu^{-1} \mathrm{g^{-1} cm^{2}}$ at 259 GeV of average muon energy at the Super-Kamiokande detector.


title: BTS: Bifold Teacher-Student in Semi-Supervised Learning for Indoor Two-Room Presence Detection Under Time-Varying CSI

abstract: In recent years, indoor human presence detection based on supervised learning (SL) and channel state information (CSI) has attracted much attention. However, existing studies that rely on spatial information of CSI are susceptible to environmental changes which degrade prediction accuracy. Moreover, SL-based methods require time-consuming data labeling for retraining models. Therefore, it is imperative to design a continuously monitored model using a semi-supervised learning (SSL) based scheme. In this paper, we conceive a bifold teacher-student (BTS) learning approach for indoor human presence detection in an adjoining two-room scenario. The proposed SSL-based primal-dual teacher-student network intelligently learns spatial and temporal features from labeled and unlabeled CSI datasets. Additionally, the enhanced penalized loss function leverages entropy and distance measures to distinguish drifted data, i.e., features of new datasets affected by time-varying effects and altered from the original distribution. Experimental results demonstrate that the proposed BTS system sustains asymptotic accuracy after retraining the model with unlabeled data. Furthermore, BTS outperforms existing SSL-based models in terms of the highest detection accuracy while achieving the asymptotic performance of SL-based methods.


title: Unsupervised Full-color Cellular Image Reconstruction through Disordered Optical Fiber

abstract: Recent years have witnessed the tremendous development of fusing fiber-optic imaging with supervised deep learning to enable high-quality imaging of hard-to-reach areas. Nevertheless, the supervised deep learning method imposes strict constraints on fiber-optic imaging systems, where the input objects and the fiber outputs have to be collected in pairs. To unleash the full potential of fiber-optic imaging, unsupervised image reconstruction is in demand. Unfortunately, neither optical fiber bundles nor multimode fibers can achieve a point-to-point transmission of the object with a high sampling density, as is a prerequisite for unsupervised image reconstruction. The recently proposed disordered fibers offer a new solution based on the transverse Anderson localization. Here, we demonstrate unsupervised full-color imaging with a cellular resolution through a meter-long disordered fiber in both transmission and reflection modes. The unsupervised image reconstruction consists of two stages. In the first stage, we perform a pixel-wise standardization on the fiber outputs using the statistics of the objects. In the second stage, we recover the fine details of the reconstructions through a generative adversarial network. Unsupervised image reconstruction does not need paired images, enabling a much more flexible calibration under various conditions. Our new solution achieves full-color high-fidelity cell imaging within a working distance of at least 4 mm by only collecting the fiber outputs after an initial calibration. High imaging robustness is also demonstrated when the disordered fiber is bent with a central angle of 60{\deg}. Moreover, the cross-domain generality on unseen objects is shown to be enhanced with a diversified object set.


title: Local Group Dwarf Galaxy Detection Limit in the CSST survey

abstract: We predict the dwarf galaxy detection limits for the upcoming Chinese Space Station Telescope (CSST) survey that will cover 17,500 deg$^{2}$ of the sky with a wide field of view of 1.1 deg$^2$. The point-source depth reaches 26.3 mag in the $g$ band and 25.9 mag in the $i$ band. Constructing mock survey data based on the designed photometric bands, we estimate the recovery rate of artificial dwarf galaxies from mock point-source photometric catalogues. The detection of these artificial dwarf galaxies is strongly dependent on their distance, magnitude and size, in agreement with searches in current surveys. We expect CSST to enable the detection of dwarf galaxies with $M_V = -3.0$ and $\mu_{250} = 32.0$ mag/arcsec$^2$ (surface-brightness limit for a system of half-light radius $r_{\rm h}$ = 250 pc at 400 kpc, and $M_V = -4.9$ and $\mu_{250} = 30.5$ mag/arcsec$^2$ around the Andromeda galaxy. Beyond the Local Group, the CSST survey will achieve $M_V = -5.8$, and $\mu_{250}$ = 29.7 mag/arcsec$^2$ in the distance range of 1--2 Mpc, opening up an exciting discovery space for faint field dwarf galaxies. With its optical bands, wide survey footprint, and space resolution, CSST will undoubtedly expand our knowledge of low-mass dwarf galaxies to an unprecedented volume.


title: Beyond Information Exchange: An Approach to Deploy Network Properties for Information Diffusion

abstract: Information diffusion in Online Social Networks is a new and crucial problem in social network analysis field and requires significant research attention. Efficient diffusion of information are of critical importance in diverse situations such as; pandemic prevention, advertising, marketing etc. Although several mathematical models have been developed till date, but previous works lacked systematic analysis and exploration of the influence of neighborhood for information diffusion. In this paper, we have proposed Common Neighborhood Strategy (CNS) algorithm for information diffusion that demonstrates the role of common neighborhood in information propagation throughout the network. The performance of CNS algorithm is evaluated on several real-world datasets in terms of diffusion speed and diffusion outspread and compared with several widely used information diffusion models. Empirical results show CNS algorithm enables better information diffusion both in terms of diffusion speed and diffusion outspread.


title: MaskingDepth: Masked Consistency Regularization for Semi-supervised Monocular Depth Estimation

abstract: We propose MaskingDepth, a novel semi-supervised learning framework for monocular depth estimation to mitigate the reliance on large ground-truth depth quantities. MaskingDepth is designed to enforce consistency between the strongly-augmented unlabeled data and the pseudo-labels derived from weakly-augmented unlabeled data, which enables learning depth without supervision. In this framework, a novel data augmentation is proposed to take the advantage of a naive masking strategy as an augmentation, while avoiding its scale ambiguity problem between depths from weakly- and strongly-augmented branches and risk of missing small-scale instances. To only retain high-confident depth predictions from the weakly-augmented branch as pseudo-labels, we also present an uncertainty estimation technique, which is used to define robust consistency regularization. Experiments on KITTI and NYU-Depth-v2 datasets demonstrate the effectiveness of each component, its robustness to the use of fewer depth-annotated images, and superior performance compared to other state-of-the-art semi-supervised methods for monocular depth estimation. Furthermore, we show our method can be easily extended to domain adaptation task. Our code is available at https://github.com/KU-CVLAB/MaskingDepth.


title: H\"older estimate for a tug-of-war game with $1<p<2$ from Krylov-Safonov regularity theory

abstract: We propose a new version of the tug-of-war game and a corresponding dynamic programming principle related to the $p$-Laplacian with $1<p<2$. For this version, the asymptotic H\"older continuity of solutions can be directly derived from recent Krylov-Safonov type regularity results in the singular case. Moreover, existence of a measurable solution can be obtained without using boundary corrections. We also establish a comparison principle.


title: Agile Assessment Methods: Current State of the Art

abstract: Agility Assessment (AA) comprises tools, assessment techniques, and frameworks that focus on indicating how a company or a team is applying agile techniques and eventually pointing out problems in adopting agile practices at a project-level, organization-level or individual-level. There are many approaches for AA such as agility assessment models, agility checklists, agility surveys, and agility assessment tools. This report presents the state of the art approaches that support agility assessment.


title: Typicality for stratified measures

abstract: Stratified measures on Euclidean space are defined here as convex combinations of rectifiable measures. They are possibly singular with respect to the Lebesgue measure and generalize continuous-discrete mixtures. A stratified measure $\rho$ can thus be represented as $\sum_{i=1}^k q_i \rho_i$, where $(q_1,..,q_k)$ is a probability vector and each $\rho_i$ is $m_i$-rectifiable for some integer $m_i$ i.e. absolutely continuous with respect to the $m_i$-Hausdorff measure $\mu_i$ on a $m_i$-rectifiable set $E_i$ (e.g. a smooth $m_i$-manifold). We introduce a set of strongly typical realizations of $\rho^{\otimes n}$ (memoryless source) that occur with high probability. The typical realizations are supported on a finite union of strata $\{E_{i_1}\times \cdots \times E_{i_n}\}$ whose dimension concentrates around the mean dimension $\sum_{i=1}^k q_i m_i$. For each $n$, an appropriate sum of Hausdorff measures on the different strata gives a natural notion of reference "volume"; the exponential growth rate of the typical set's volume is quantified by Csiszar's generalized entropy of $\rho$ with respect to $\mu=\sum_{i=1}^k \mu_i$. Moreover, we prove that this generalized entropy satisfies a chain rule and that the conditional term is related to the volume growth of the typical realizations in each stratum. The chain rule and its asymptotic interpretation hold in the more general framework of piecewise continuous measures: convex combinations of measures restricted to pairwise disjoint sets equipped with reference $\sigma$-finite measures. Finally, we establish that our notion of mean dimension coincides with R\'enyi's information dimension when applied to stratified measures, but the generalized entropy used here differs from R\'enyi's dimensional entropy.


title: The Potential of MXene Materials as a Component in the Catalyst Layer for the Oxygen Evolution Reaction

abstract: MXenes are a class of 2D/layered materials which are highly conductive, hydrophilic, have a large electrochemical surface area and are easily processible into electrodes for energy applications. Since the discovery of MXenes over ten years ago, these materials have been mainly used in the preparation of electrodes for batteries and supercapacitors. However, due to their aforementioned properties, MXenes could potentially be utilised as a component in the catalyst layer for the Oxygen Evolution Reaction (OER). This opinion piece will discuss some of the recent literature in the area of hybrid catalysts consisting of various Transition Metal Oxides (TMOs) and MXenes for the OER. We will also discuss current drawbacks and future outlook in this new area of research.


title: Mean Rational Approximation for Compact Subsets with Thin Boundaries

abstract: In 1991, J. Thomson obtained a celebrated decomposition theorem for $P^t(\mu),$ the closed subspace of $L^t(\mu)$ spanned by the analytic polynomials, when $1 \le t < \i.$ In 2008, J. Brennan \cite{b08} generalized Thomson's theorem to $R^t(K, \mu),$ the closed subspace of $L^t(\mu)$ spanned by the rational functions with poles off a compact subset $K$ containing the support of $\mu,$ when the diameters of the components of $\mathbb C\setminus K$ are bounded below. We extend the above decomposition theorems for $R^t(K, \mu)$ when the boundary of $K$ is not too wild.


title: Secure and Privacy Preserving Proxy Biometrics Identities

abstract: With large-scale adaption to biometric based applications, security and privacy of biometrics is utmost important especially when operating in unsupervised online mode. This work proposes a novel approach for generating new artificial fingerprints also called proxy fingerprints that are natural looking, non-invertible, revocable and privacy preserving. These proxy biometrics can be generated from original ones only with the help of a user-specific key. Instead of using the original fingerprint, these proxy templates can be used anywhere with same convenience. The manuscripts walks through an interesting way in which proxy fingerprints of different types can be generated and how they can be combined with use-specific keys to provide revocability and cancelability in case of compromise. Using the proposed approach a proxy dataset is generated from samples belonging to Anguli fingerprint database. Matching experiments were performed on the new set which is 5 times larger than the original, and it was found that their performance is at par with 0 FAR and 0 FRR in the stolen key, safe key scenarios. Other parameters on revocability and diversity are also analyzed for protection performance.


title: Search for Light Neutral Bosons in the TREK/E36 Experiment at J-PARC

abstract: The Standard Model (SM) represents our best description of the subatomic world and it has been very successful in explaining how elementary particles interact under the influence of the fundamental forces. Despite its far reaching success in describing the building blocks of matter, the SM is still incomplete; falling short to explain dark matter, baryogenesis, neutrino masses and much more. The E36 experiment conducted at J-PARC in Japan, allows for sensitivity to search for light $U(1)$ gauge bosons, in the muonic $K^+$ decay channel. Such $U(1)$ bosons could be associated with dark matter or explain established muon-related anomalies such as the muon $g_{\mu}-2$ value, and the proton radius puzzle. A scintillating fiber target was used to stop a beam of positively charged $K$ mesons. The $K^+$ products were detected with a large-acceptance toroidal spectrometer capable of tracking charged particles with high resolution, combined with a large solid angle CsI(TI) photon detector and particle ID systems. A realistic simulation was employed to search for these rare decays in the mass range of 20$-$100 MeV/$c^2$. Preliminary results of the upper limits for the $A^\prime$ branching ratio $\mathcal{B}r(A^\prime)$ extracted at 95\% CL, will be discussed.


title: First-Principles-Based Insight into Electrochemical Reactivity in a Cobalt-Carbonate-Hydrate Pseudocapacitor

abstract: Cobalt carbonate hydroxide (CCH) is a pseudocapacitive material with remarkably high capacitance and cycle stability. Previously, it was reported that CCH pseudocapacitive materials are orthorhombic in nature. Recent structural characterization has revealed that they are hexagonal in nature; however, their H positions still remain unclear. In this work, we carried out first-principles simulations to identify the H positions. Through the simulations, we could consider various fundamental deprotonation reactions inside the crystal and computationally evaluate the electromotive forces (EMF) of the deprotonation ($V_\mathrm{dp}$). Compared with the experimental potential window of the reaction ($< 0.6$ V (vs. saturated calomel electrode (SCE))), the computed $V_\mathrm{dp}$ (vs. SCE) value ($3.05$ V) was beyond the potential window, indicating that deprotonation never occurred inside the crystal. This may be attributed to the strongly formed hydrogen-bonds (H-bonds) in the crystal, thereby leading to the structural stabilization. We further investigated the crystal anisotropy in an actual capacitive material by considering the growth mechanism of the CCH crystal. By associating our X-ray diffraction (XRD) peak simulations with experimental structural analysis, we found that the H-bonds formed between CCH $\{(\bar{1}\bar{1}\bar{1}), (2\bar{1}\bar{1}), (2\bar{1}1)\}$ planes (approximately parallel to $ab$-plane) can result in 1-D growth (stacked along with $c$-axis).


title: ZEROTOP: Zero-Shot Task-Oriented Semantic Parsing using Large Language Models

abstract: We explore the use of large language models (LLMs) for zero-shot semantic parsing. Semantic parsing involves mapping natural language utterances to task-specific meaning representations. Language models are generally trained on the publicly available text and code and cannot be expected to directly generalize to domain-specific parsing tasks in a zero-shot setting. In this work, we propose ZEROTOP, a zero-shot task-oriented parsing method that decomposes a semantic parsing problem into a set of abstractive and extractive question-answering (QA) problems, enabling us to leverage the ability of LLMs to zero-shot answer reading comprehension questions. For each utterance, we prompt the LLM with questions corresponding to its top-level intent and a set of slots and use the LLM generations to construct the target meaning representation. We observe that current LLMs fail to detect unanswerable questions; and as a result, cannot handle questions corresponding to missing slots. To address this problem, we fine-tune a language model on public QA datasets using synthetic negative samples. Experimental results show that our QA-based decomposition paired with the fine-tuned LLM can correctly parse ~16% of utterances in the MTOP dataset without requiring any annotated data.


title: Positivity of the Cotangent Bundle of Complex Hyperbolic Manifolds with Cusps

abstract: Let $\overline{X}$ be the toroidal compactification of a cusped complex hyperbolic manifold $X=\mathbb{B}^n/\Gamma$ with the boundary divisor $D=\overline{X}\setminus X$. The main goal of this paper is to find the positivity properties of $\Omega^{1}_{\overline{X}}$ and $\Omega^{1}_{\overline{X}}\big(\log(D)\big)$ depending intrinsically on $X$. We prove that $\Omega^{1}_{\overline{X}}\big(\log(D)\big) \langle -r D \rangle$ is ample for all sufficiently small rational numbers $r >0$, and $\Omega^{1}_{\overline{X}}\big(\log(D)\big)$ is ample modulo $D.$ Further, we conclude that if the cusps of $X$ have uniform depth greater than $2\pi$, then $\Omega^{1}_{\overline{X}}$ is semi-ample and is ample modulo $D$, all subvarieties of $X$ are of general type, and every smooth subvariety $V\subset \overline{X}$ intersecting $\overline{X}$ has ample $K_{V}$. Finally, we show that the minimum volume of subvarieties of $\overline{X}$ intersecting both $X$ and $D$ tends to infinity in towers of normal covering of $X.$


title: High-fidelity Direct Contrast Synthesis from Magnetic Resonance Fingerprinting

abstract: Magnetic Resonance Fingerprinting (MRF) is an efficient quantitative MRI technique that can extract important tissue and system parameters such as T1, T2, B0, and B1 from a single scan. This property also makes it attractive for retrospectively synthesizing contrast-weighted images. In general, contrast-weighted images like T1-weighted, T2-weighted, etc., can be synthesized directly from parameter maps through spin-dynamics simulation (i.e., Bloch or Extended Phase Graph models). However, these approaches often exhibit artifacts due to imperfections in the mapping, the sequence modeling, and the data acquisition. Here we propose a supervised learning-based method that directly synthesizes contrast-weighted images from the MRF data without going through the quantitative mapping and spin-dynamics simulation. To implement our direct contrast synthesis (DCS) method, we deploy a conditional Generative Adversarial Network (GAN) framework and propose a multi-branch U-Net as the generator. The input MRF data are used to directly synthesize T1-weighted, T2-weighted, and fluid-attenuated inversion recovery (FLAIR) images through supervised training on paired MRF and target spin echo-based contrast-weighted scans. In-vivo experiments demonstrate excellent image quality compared to simulation-based contrast synthesis and previous DCS methods, both visually as well as by quantitative metrics. We also demonstrate cases where our trained model is able to mitigate in-flow and spiral off-resonance artifacts that are typically seen in MRF reconstructions and thus more faithfully represent conventional spin echo-based contrast-weighted images.


title: 4D ASR: Joint modeling of CTC, Attention, Transducer, and Mask-Predict decoders

abstract: The network architecture of end-to-end (E2E) automatic speech recognition (ASR) can be classified into several models, including connectionist temporal classification (CTC), recurrent neural network transducer (RNN-T), attention mechanism, and non-autoregressive mask-predict models. Since each of these network architectures has pros and cons, a typical use case is to switch these separate models depending on the application requirement, resulting in the increased overhead of maintaining all models. Several methods for integrating two of these complementary models to mitigate the overhead issue have been proposed; however, if we integrate more models, we will further benefit from these complementary models and realize broader applications with a single system. This paper proposes four-decoder joint modeling (4D) of CTC, attention, RNN-T, and mask-predict, which has the following three advantages: 1) The four decoders are jointly trained so that they can be easily switched depending on the application scenarios. 2) Joint training may bring model regularization and improve the model robustness thanks to their complementary properties. 3) Novel one-pass joint decoding methods using CTC, attention, and RNN-T further improves the performance. The experimental results showed that the proposed model consistently reduced the WER.


title: Attend to the Right Context: A Plug-and-Play Module for Content-Controllable Summarization

abstract: Content-Controllable Summarization generates summaries focused on the given controlling signals. Due to the lack of large-scale training corpora for the task, we propose a plug-and-play module RelAttn to adapt any general summarizers to the content-controllable summarization task. RelAttn first identifies the relevant content in the source documents, and then makes the model attend to the right context by directly steering the attention weight. We further apply an unsupervised online adaptive parameter searching algorithm to determine the degree of control in the zero-shot setting, while such parameters are learned in the few-shot setting. By applying the module to three backbone summarization models, experiments show that our method effectively improves all the summarizers, and outperforms the prefix-based method and a widely used plug-and-play model in both zero- and few-shot settings. Tellingly, more benefit is observed in the scenarios when more control is needed.


title: Quantum repeaters: From quantum networks to the quantum internet

abstract: A quantum internet is the holy grail of quantum information processing, enabling the deployment of a broad range of quantum technologies and protocols on a global scale. However, numerous challenges exist before the quantum internet can become a reality. Perhaps the most crucial of these is the realization of a quantum repeater, an essential component in the long-distance transmission of quantum information. As the analog of a classical repeater, extender, or booster, the quantum repeater works to overcome loss and noise in the quantum channels comprising a quantum network. Here, we review the conceptual frameworks and architectures for quantum repeaters, as well as the experimental progress towards their realization. We also discuss the various near-term proposals to overcome the limits to the communication rates set by point-to-point quantum communication. Finally, we overview how quantum repeaters fit within the broader challenge of designing and implementing a quantum internet.


title: On the robust stability of stationary solutions to a class of Mathieu-type equations

abstract: We consider a class of nonlinear ordinary differential equations of the second order with parameters. We establish conditions for perturbations of the coefficients of the equation under which the zero solution is asymptotically stable. Estimates for attraction sets of the zero solution and estimates of the stabilization rate of solutions at infinity are obtained. Using these results, theorems on the robust stability of stationary solutions are proven.


title: Complete the Missing Half: Augmenting Aggregation Filtering with Diversification for Graph Convolutional Neural Networks

abstract: The core operation of current Graph Neural Networks (GNNs) is the aggregation enabled by the graph Laplacian or message passing, which filters the neighborhood information of nodes. Though effective for various tasks, in this paper, we show that they are potentially a problematic factor underlying all GNN models for learning on certain datasets, as they force the node representations similar, making the nodes gradually lose their identity and become indistinguishable. Hence, we augment the aggregation operations with their dual, i.e. diversification operators that make the node more distinct and preserve the identity. Such augmentation replaces the aggregation with a two-channel filtering process that, in theory, is beneficial for enriching the node representations. In practice, the proposed two-channel filters can be easily patched on existing GNN methods with diverse training strategies, including spectral and spatial (message passing) methods. In the experiments, we observe desired characteristics of the models and significant performance boost upon the baselines on 9 node classification tasks.


title: Continual Contrastive Finetuning Improves Low-Resource Relation Extraction

abstract: Relation extraction (RE), which has relied on structurally annotated corpora for model training, has been particularly challenging in low-resource scenarios and domains. Recent literature has tackled low-resource RE by self-supervised learning, where the solution involves pretraining the entity pair embedding by RE-based objective and finetuning on labeled data by classification-based objective. However, a critical challenge to this approach is the gap in objectives, which prevents the RE model from fully utilizing the knowledge in pretrained representations. In this paper, we aim at bridging the gap and propose to pretrain and finetune the RE model using consistent objectives of contrastive learning. Since in this kind of representation learning paradigm, one relation may easily form multiple clusters in the representation space, we further propose a multi-center contrastive loss that allows one relation to form multiple clusters to better align with pretraining. Experiments on two document-level RE datasets, BioRED and Re-DocRED, demonstrate the effectiveness of our method. Particularly, when using 1% end-task training data, our method outperforms PLM-based RE classifier by 10.5% and 6.1% on the two datasets, respectively.


title: Bivariate $P$-polynomial association schemes

abstract: Bivariate P-polynomial association scheme of type $(\alpha,\beta)$ are defined as a generalization of the P-polynomial association schemes. This generalization is shown to be equivalent to a set of conditions on the intersection parameters. A number of known higher rank association schemes are seen to belong to this broad class. Bivariate Q-polynomial association schemes are similarly defined.


title: On the power of one pure steered state for EPR-steering with a pair of qubits

abstract: As originally introduced, the EPR phenomenon was the ability of one party (Alice) to steer, by her choice between two measurement settings, the quantum system of another party (Bob) into two distinct ensembles of pure states. As later formalized as a quantum information task, EPR-steering can be shown even when the distinct ensembles comprise mixed states. Consider the scenario where Alice and Bob each have a qubit and Alice performs dichotomic projective measurements. In this case, the states in the ensembles to which she can steer form the surface of an ellipsoid ${\cal E}$ in Bob's Bloch ball. Further, let the steering ellipsoid ${\cal E}$ have nonzero volume. It has previously been shown that if Alice's first measurement setting yields an ensemble comprising two pure states, then this, plus any one other measurement setting, will demonstrate EPR-steering. Here we consider what one can say if the ensemble from Alice's first setting contains only one pure state $\mathsf{p}\in{\cal E}$, occurring with probability $p_\mathsf{p}$. Using projective geometry, we derive the necessary and sufficient condition analytically for Alice to be able to demonstrate EPR-steering of Bob's state using this and some second setting, when the two ensembles from these lie in a given plane. Based on this, we show that, for a given ${\cal E}$, if $p_\mathsf{p}$ is high enough [$p_{\sf p} > p_{\rm max}^{{\cal E}} \in [0,1)$] then any distinct second setting by Alice is sufficient to demonstrate EPR-steering. Similarly we derive a $p_{\rm min}^{{\cal E}}$ such that $p_\mathsf{p}>p_{\rm min}^{{\cal E}}$ is necessary for Alice to demonstrate EPR-steering using only the first setting and some other setting. Moreover, the expressions we derive are tight; for spherical steering ellipsoids, the bounds coincide: $p_{\rm max}^{{\cal E}} = p_{\rm min}^{{\cal E}}$.


title: End-to-End Automatic Speech Recognition model for the Sudanese Dialect

abstract: Designing a natural voice interface rely mostly on Speech recognition for interaction between human and their modern digital life equipment. In addition, speech recognition narrows the gap between monolingual individuals to better exchange communication. However, the field lacks wide support for several universal languages and their dialects, while most of the daily conversations are carried out using them. This paper comes to inspect the viability of designing an Automatic Speech Recognition model for the Sudanese dialect, which is one of the Arabic Language dialects, and its complexity is a product of historical and social conditions unique to its speakers. This condition is reflected in both the form and content of the dialect, so this paper gives an overview of the Sudanese dialect and the tasks of collecting represented resources and pre-processing performed to construct a modest dataset to overcome the lack of annotated data. Also proposed end- to-end speech recognition model, the design of the model was formed using Convolution Neural Networks. The Sudanese dialect dataset would be a stepping stone to enable future Natural Language Processing research targeting the dialect. The designed model provided some insights into the current recognition task and reached an average Label Error Rate of 73.67%.


title: Topological invariant and domain connectivity in moir\'e materials

abstract: Recently, a moir\'e material has been proposed in which multiple domains of different topological phases appear in the moir\'e unit cell due to a large moir\'e modulation. Topological properties of such moir\'e materials may differ from that of the original untwisted layered material. In this paper, we study how the topological properties are determined in moir\'e materials with multiple topological domains. We show a correspondence between the topological invariant of moir\'e materials at the Fermi level and the topology of the domain structure in real space. We also find a bulk-edge correspondence that is compatible with a continuous change of the truncation condition, which is specific to moir\'e materials. We demonstrate these correspondences in the twisted Bernevig-Hughes-Zhang model by tuning its moir\'e periodic mass term. These results give a feasible method to evaluate a topological invariant for all occupied bands of a moir\'e material, and contribute to the design of topological moir\'e materials and devices.


title: Space-Terrestrial Cooperation Over Spatially Correlated Channels Relying on Imperfect Channel Estimates: Uplink Performance Analysis and Optimization

abstract: A whole suite of innovative technologies and architectures have emerged in response to the rapid growth of wireless traffic. This paper studies an integrated network design that boosts system capacity through cooperation between wireless access points (APs) and a satellite for enhancing the network's spectral efficiency. We first mathematically derive an achievable throughput expression for the uplink (UL) data transmission over spatially correlated Rician channels. Our generic achievable throughput expression is applicable for arbitrary received signal detection techniques under realistic imperfect channel estimates. A closed-form expression is then obtained for the ergodic UL data throughput when maximum ratio combining is utilized for detecting the desired signals. As for our resource allocation contributions, we formulate the max-min fairness and total transmit power optimization problems relying on the channel statistics for performing power allocation. The solution of each optimization problem is derived in form of a low-complexity iterative design, in which each data power variable is updated relying on a closed-form expression. Our integrated hybrid network concept allows users to be served that may not otherwise be accommodated due to the excessive data demands. The algorithms proposed to allow us to address the congestion issues appearing when at least one user is served at a rate below the target. The mathematical analysis is also illustrated with the aid of our numerical results that show the added benefits of considering the space links in terms of improving the ergodic data throughput. Furthermore, the proposed algorithms smoothly circumvent any potential congestion, especially in face of high rate requirements and weak channel conditions.


title: Perching on Moving Inclined Surfaces using Uncertainty Tolerant Planner and Thrust Regulation

abstract: Quadrotors with the ability to perch on moving inclined surfaces can save energy and extend their travel distance by leveraging ground vehicles. Achieving dynamic perching places high demands on the performance of trajectory planning and terminal state accuracy in SE(3). However, in the perching process, uncertainties in target surface prediction, tracking control and external disturbances may cause trajectory planning failure or lead to unacceptable terminal errors. To address these challenges, we first propose a trajectory planner that considers adaptation to uncertainties in target prediction and tracking control. To facilitate this work, the reachable set of quadrotors' states is first analyzed. The states whose reachable sets possess the largest coverage probability for uncertainty targets, are defined as optimal waypoints. Subsequently, an approach to seek local optimal waypoints for static and moving uncertainty targets is proposed. A real-time trajectory planner based on optimized waypoints is developed accordingly. Secondly, thrust regulation is also implemented in the terminal attitude tracking stage to handle external disturbances. When a quadrotor's attitude is commanded to align with target surfaces, the thrust is optimized to minimize terminal errors. This makes the terminal position and velocity be controlled in closed-loop manner. Therefore, the resistance to disturbances and terminal accuracy is improved. Extensive simulation experiments demonstrate that our methods can improve the accuracy of terminal states under uncertainties. The success rate is approximately increased by $50\%$ compared to the two-end planner without thrust regulation. Perching on the rear window of a car is also achieved using our proposed heterogeneous cooperation system outdoors. This validates the feasibility and practicality of our methods.


title: A Comparative Risk Analysis on CyberShip System with STPA-Sec, STRIDE and CORAS

abstract: The widespread use of software-intensive cyber systems in critical infrastructures such as ships (CyberShips) has brought huge benefits, yet it has also opened new avenues for cyber attacks to potentially disrupt operations. Cyber risk assessment plays a vital role in identifying cyber threats and vulnerabilities that can be exploited to compromise cyber systems. A number of methodologies have been proposed to carry out these analyses. This paper evaluates and compares the application of three risk assessment methodologies: system theoretic process analysis (STPA-Sec), STRIDE and CORAS for identifying threats and vulnerabilities in a CyberShip system. We specifically selected these three methodologies because they identify threats not only at the component level, but also threats or hazards caused due to the interaction between components, resulting in sets of threats identified with each methodology and relevant differences. Moreover, STPA-Sec which is a variant of the STPA is widely used for safety and security analysis of cyber physical systems (CPS); CORAS offers a framework to perform cyber risk assessment in a top-down approach that aligns with STPA-Sec; and STRIDE (Spoofing, Tampering, Repudiation, Information disclosure, Denial of Service, Elevation of Privilege) considers threat at the component level as well as during the interaction that is similar to STPA-Sec. As a result of this analysis, this paper highlights the pros and cons of these methodologies, illustrates areas of special applicability, and suggests that their complementary use as threats identified through STRIDE can be used as an input to CORAS and STPA-Sec to make these methods more structured.


abstract: Padovan sequence is a ternary recurrent sequence defined by the recurrence relation $P_{n+3}=P_{n+1}+P_{n}$ with initial terms $P_{0}=P_{1}=P_{2}=1.$ In this study it is shown that $114,151,200,265,351,465,616,816,3329,4410,7739,922111$ are the only Padovan numbers which are concatenations of three repdigits.


title: Numerical range for weighted Moore-Penrose inverse of tensor

abstract: This article first introduces the notion of weighted singular value decomposition (WSVD) of a tensor via the Einstein product. The WSVD is then used to compute the weighted Moore-Penrose inverse of an arbitrary-order tensor. We then define the notions of weighted normal tensor for an even-order square tensor and weighted tensor norm. Finally, we apply these to study the theory of numerical range for the weighted Moore-Penrose inverse of an even-order square tensor and exploit its several properties. We also obtain a few new results in the matrix setting that generalizes some of the existing results as particular cases.