title: MP-MVS: Multi-Scale Windows PatchMatch and Planar Prior Multi-View Stereo

abstract: Significant strides have been made in enhancing the accuracy of Multi-View Stereo (MVS)-based 3D reconstruction. However, untextured areas with unstable photometric consistency often remain incompletely reconstructed. In this paper, we propose a resilient and effective multi-view stereo approach (MP-MVS). We design a multi-scale windows PatchMatch (mPM) to obtain reliable depth of untextured areas. In contrast with other multi-scale approaches, which is faster and can be easily extended to PatchMatch-based MVS approaches. Subsequently, we improve the existing checkerboard sampling schemes by limiting our sampling to distant regions, which can effectively improve the efficiency of spatial propagation while mitigating outlier generation. Finally, we introduce and improve planar prior assisted PatchMatch of ACMP. Instead of relying on photometric consistency, we utilize geometric consistency information between multi-views to select reliable triangulated vertices. This strategy can obtain a more accurate planar prior model to rectify photometric consistency measurements. Our approach has been tested on the ETH3D High-res multi-view benchmark with several state-of-the-art approaches. The results demonstrate that our approach can reach the state-of-the-art. The associated codes will be accessible at https://github.com/RongxuanTan/MP-MVS.


title: Sesame: A power spectrum emulator pipeline for beyond-$\Lambda$CDM models

abstract: The mysterious nature of the dark sector of the $\Lambda$CDM model is one of the main motivators behind the study of alternative cosmological models. A central quantity of interest for these models is the matter power spectrum, which quantifies structure formation on various scales and can be cross-validated through theory, simulations, and observations. We present a tool that can be used to create emulators for the non-linear matter power spectrum, and similar global clustering statistics, for models beyond $\Lambda$CDM with very little computation effort and without the need for supercomputers. We use fast approximate N-body simulations to emulate the boost, $B(k,z)=P_{\text{beyond}-\Lambda \rm CDM}(k,z) / P_{\Lambda \rm CDM}(k, z)$, and then rely on existing high-quality emulators made for $\Lambda$CDM to isolate $P_{\text{beyond}-\Lambda \rm CDM}(k,z)$. Since both the $\Lambda$CDM and beyond-$\Lambda$CDM models are simulated in our approach, some of the lack of power on small scales is factored out, allowing us to extend the emulator to $k \sim 3-5\,h\,\mathrm{Mpc}^{-1}$ and still maintain good accuracy. In addition, errors from the simulation and emulation process can be estimated and factored into the covariance when using the emulator on data. As an example of using the pipeline, we create an emulator for the well-studied $f(R)$ model with massive neutrinos, using approximately 3000 CPU hours of computation time. Provided with the paper is a fully functioning pipeline that generates parameter samples, runs a Boltzmann solver to produce initial conditions, runs the simulations, and then gathers all the data and runs it through a machine learning module to develop the emulator. This tool, named Sesame, can be used by anyone to generate a power spectrum emulator for the cosmological model of their choice.


title: Interactive Content Diversity and User Exploration in Online Movie Recommenders: A Field Experiment

abstract: Recommender systems often struggle to strike a balance between matching users' tastes and providing unexpected recommendations. When recommendations are too narrow and fail to cover the full range of users' preferences, the system is perceived as useless. Conversely, when the system suggests too many items that users don't like, it is considered impersonal or ineffective. To better understand user sentiment about the breadth of recommendations given by a movie recommender, we conducted interviews and surveys and found out that many users considered narrow recommendations to be useful, while a smaller number explicitly wanted greater breadth. Additionally, we designed and ran an online field experiment with a larger user group, evaluating two new interfaces designed to provide users with greater access to broader recommendations. We looked at user preferences and behavior for two groups of users: those with higher initial movie diversity and those with lower diversity. Among our findings, we discovered that different level of exploration control and users' subjective preferences on interfaces are more predictive of their satisfaction with the recommender.


title: OATS: Opinion Aspect Target Sentiment Quadruple Extraction Dataset for Aspect-Based Sentiment Analysis

abstract: Aspect-based sentiment analysis (ABSA) delves into understanding sentiments specific to distinct elements within a user-generated review. It aims to analyze user-generated reviews to determine a) the target entity being reviewed, b) the high-level aspect to which it belongs, c) the sentiment words used to express the opinion, and d) the sentiment expressed toward the targets and the aspects. While various benchmark datasets have fostered advancements in ABSA, they often come with domain limitations and data granularity challenges. Addressing these, we introduce the OATS dataset, which encompasses three fresh domains and consists of 27,470 sentence-level quadruples and 17,092 review-level tuples. Our initiative seeks to bridge specific observed gaps: the recurrent focus on familiar domains like restaurants and laptops, limited data for intricate quadruple extraction tasks, and an occasional oversight of the synergy between sentence and review-level sentiments. Moreover, to elucidate OATS's potential and shed light on various ABSA subtasks that OATS can solve, we conducted experiments, establishing initial baselines. We hope the OATS dataset augments current resources, paving the way for an encompassing exploration of ABSA (https://github.com/RiTUAL-UH/OATS-ABSA).


title: A Rogers--Brascamp--Lieb--Luttinger inequality in the space of matrices

abstract: We consider convex bodies in $M_{n,m}(\mathbb R)$, the space of matrices of $n$-rows and $m$-columns. A special case of fiber-symmetrization in $M_{n,m}(\mathbb R)$ was recently introduced in [5,6]. We prove a Rogers--Brascamp--Lieb--Luttinger type inequality with respect to this symmetrization, for quasi-concave functions and provide some applications.


title: Hydrodynamic Killing vector fields on surfaces

abstract: Killing vector fields, which have their origins in Riemannian geometry, have recently garnered attention for their significance in understanding fluid flows on curved surfaces. Owing to the significance of behavior of fluid flows around the boundary and at infinity, in the context of fluid dynamics, Killing vector fields of interest should satisfy the slip boundary condition and be complete vector fields, which are called hydrodynamic Killing vector fields (HKVF) in this paper. Our purpose is to determine surfaces admitting a HKVF. We prove that any connected, orientable surface admitting an HKVF is conformally equivalent to one of the 14 canonical Riemann surfaces, each with either a rotationally or translationally symmetric metric. This paves the way for quantitative investigations of fluid flows associated with Killing vector fields and zonal flows, such as issues of stability and instability, extending its applications potentially to global meteorological phenomena and planetary atmospheric science.


title: Sewage Discharging in a Line: Global Optimization and Grand Cooperation

abstract: Players cooperating in a line is a special while essential phenomenon in real life collaborating activities such as assembly line production, pipeline supply chain management and other streamlining operational settings. In this paper, we study the scenario of cooperative sewage discharge with multiple participants positioning in a line along a river such that the optimization decision and cooperation strategy are mutually affected by both upstream and downstream players. We make three main contributions accordingly: Firstly, we formalize the sewage discharge problem (SDP) for different groups of players, and use greedy strategy and dynamic programming to design the optimal algorithms to solve the SDP in polynomial time. Secondly, we show that the cooperative game defined on sewage discharge problem, referred to as SDG, has a non-empty core due to its special line-positioning structure. Therefore, a grand stable cooperation is guaranteed. Furthermore, inspired by the fact that the SDG is core non-empty while non-convex, we successfully identify a relaxed concept of convexity -- directional-convexity, which can also serve as a sufficient condition for a cooperative game having a non-empty core.


title: Tensor network study of the spin-1/2 square-lattice $J_1$-$J_2$-$J_3$ model: incommensurate spiral order, mixed valence-bond solids, and multicritical points

abstract: We use the finite projected entangled pair state (PEPS) method to investigate the global phase diagram of the spin-1/2 square-lattice $J_1$-$J_2$-$J_3$ antiferromagnetic (AFM) Heisenberg model. The ground state phase diagram is established with a rich variety of phases: AFM, gapless quantum spin liquid, valence-bond solid (VBS), stripe, and incommensurate spiral phases. The nature of the VBS region is revealed, containing a plaquette VBS and a mixed columnar-plaquette VBS, with the emergence of short-range incommensurate spin correlations in some region. The long-range incommensurate magnetic phase is also explicitly characterized as a planar spiral with incommensurate spatial periodicities. Most interestingly, there exists several multicritical points connecting different phases. These findings elucidate the true nature of the long-standing square-lattice $J_1$-$J_2$-$J_3$ antiferromagnet at zero-temperature. Our results also pave the way to accurately simulate complex two-dimensional quantum systems that may host nonuniform features by means of finite PEPS.


title: Gaining the Sparse Rewards by Exploring Lottery Tickets in Spiking Neural Network

abstract: Deploying energy-efficient deep learning algorithms on computational-limited devices, such as robots, is still a pressing issue for real-world applications. Spiking Neural Networks (SNNs), a novel brain-inspired algorithm, offer a promising solution due to their low-latency and low-energy properties over traditional Artificial Neural Networks (ANNs). Despite their advantages, the dense structure of deep SNNs can still result in extra energy consumption. The Lottery Ticket Hypothesis (LTH) posits that within dense neural networks, there exist winning Lottery Tickets (LTs), namely sub-networks, that can be obtained without compromising performance. Inspired by this, this paper delves into the spiking-based LTs (SLTs), examining their unique properties and potential for extreme efficiency. Then, two significant sparse \textbf{\textit{Rewards}} are gained through comprehensive explorations and meticulous experiments on SLTs across various dense structures. Moreover, a sparse algorithm tailored for spiking transformer structure, which incorporates convolution operations into the Patch Embedding Projection (ConvPEP) module, has been proposed to achieve Multi-level Sparsity (MultiSp). MultiSp refers to (1) Patch number sparsity; (2) ConvPEP weights sparsity and binarization; and (3) ConvPEP activation layer binarization. Extensive experiments demonstrate that our method achieves extreme sparsity with only a slight performance decrease, paving the way for deploying energy-efficient neural networks in robotics and beyond.


title: C$^2$VAE: Gaussian Copula-based VAE Differing Disentangled from Coupled Representations with Contrastive Posterior

abstract: We present a self-supervised variational autoencoder (VAE) to jointly learn disentangled and dependent hidden factors and then enhance disentangled representation learning by a self-supervised classifier to eliminate coupled representations in a contrastive manner. To this end, a Contrastive Copula VAE (C$^2$VAE) is introduced without relying on prior knowledge about data in the probabilistic principle and involving strong modeling assumptions on the posterior in the neural architecture. C$^2$VAE simultaneously factorizes the posterior (evidence lower bound, ELBO) with total correlation (TC)-driven decomposition for learning factorized disentangled representations and extracts the dependencies between hidden features by a neural Gaussian copula for copula coupled representations. Then, a self-supervised contrastive classifier differentiates the disentangled representations from the coupled representations, where a contrastive loss regularizes this contrastive classification together with the TC loss for eliminating entangled factors and strengthening disentangled representations. C$^2$VAE demonstrates a strong effect in enhancing disentangled representation learning. C$^2$VAE further contributes to improved optimization addressing the TC-based VAE instability and the trade-off between reconstruction and representation.


title: A new analytical model of magnetofluids surrounding rotating black holes

abstract: In this study, we develop a simplified magnetofluid model in the framework of GRMHD. We consider an ideal, adiabatic fluid composed of two components, ions and electrons, having a constant ratio between their temperatures. The flows are assumed to be governed by gravity, enabling us to employ the ballistic approximation, treating the streamlines as timelike geodesics. We show that the model is analytically solvble around a rotating black hole if the angular velocity of the geodesic $u^\theta$ is vanishing. In the corresponding solution, which is named the conical solution, we derive a comprehensive set of explicit expressions for the thermodynamics and the associated magnetic field. Furthermore, we explore the potential applications of our model to describe the thick disks and the jets at the horizon scale. Our model provides a direct pathway for the study of black hole imaging.


title: Multilevel User Credibility Assessment in Social Networks

abstract: Online social networks are one of the largest platforms for disseminating both real and fake news. Many users on these networks, intentionally or unintentionally, spread harmful content, fake news, and rumors in fields such as politics and business. As a result, numerous studies have been conducted in recent years to assess the credibility of users. A shortcoming of most of existing methods is that they assess users by placing them in one of two categories, real or fake. However, in real-world applications it is usually more desirable to consider several levels of user credibility. Another shortcoming is that existing approaches only use a portion of important features, which downgrades their performance. In this paper, due to the lack of an appropriate dataset for multilevel user credibility assessment, first we design a method to collect data suitable to assess credibility at multiple levels. Then, we develop the MultiCred model that places users at one of several levels of credibility, based on a rich and diverse set of features extracted from users' profile, tweets and comments. MultiCred exploits deep language models to analyze textual data and deep neural models to process non-textual features. Our extensive experiments reveal that MultiCred considerably outperforms existing approaches, in terms of several accuracy measures.


title: Tackling the Incomplete Annotation Issue in Universal Lesion Detection Task By Exploratory Training

abstract: Universal lesion detection has great value for clinical practice as it aims to detect various types of lesions in multiple organs on medical images. Deep learning methods have shown promising results, but demanding large volumes of annotated data for training. However, annotating medical images is costly and requires specialized knowledge. The diverse forms and contrasts of objects in medical images make fully annotation even more challenging, resulting in incomplete annotations. Directly training ULD detectors on such datasets can yield suboptimal results. Pseudo-label-based methods examine the training data and mine unlabelled objects for retraining, which have shown to be effective to tackle this issue. Presently, top-performing methods rely on a dynamic label-mining mechanism, operating at the mini-batch level. However, the model's performance varies at different iterations, leading to inconsistencies in the quality of the mined labels and limits their performance enhancement. Inspired by the observation that deep models learn concepts with increasing complexity, we introduce an innovative exploratory training to assess the reliability of mined lesions over time. Specifically, we introduce a teacher-student detection model as basis, where the teacher's predictions are combined with incomplete annotations to train the student. Additionally, we design a prediction bank to record high-confidence predictions. Each sample is trained several times, allowing us to get a sequence of records for each sample. If a prediction consistently appears in the record sequence, it is likely to be a true object, otherwise it may just a noise. This serves as a crucial criterion for selecting reliable mined lesions for retraining. Our experimental results substantiate that the proposed framework surpasses state-of-the-art methods on two medical image datasets, demonstrating its superior performance.


title: CORE: Common Random Reconstruction for Distributed Optimization with Provable Low Communication Complexity

abstract: With distributed machine learning being a prominent technique for large-scale machine learning tasks, communication complexity has become a major bottleneck for speeding up training and scaling up machine numbers. In this paper, we propose a new technique named Common randOm REconstruction(CORE), which can be used to compress the information transmitted between machines in order to reduce communication complexity without other strict conditions. Especially, our technique CORE projects the vector-valued information to a low-dimensional one through common random vectors and reconstructs the information with the same random noises after communication. We apply CORE to two distributed tasks, respectively convex optimization on linear models and generic non-convex optimization, and design new distributed algorithms, which achieve provably lower communication complexities. For example, we show for linear models CORE-based algorithm can encode the gradient vector to $\mathcal{O}(1)$-bits (against $\mathcal{O}(d)$), with the convergence rate not worse, preceding the existing results.


title: Calibrating LLM-Based Evaluator

abstract: Recent advancements in large language models (LLMs) on language modeling and emergent capabilities make them a promising reference-free evaluator of natural language generation quality, and a competent alternative to human evaluation. However, hindered by the closed-source or high computational demand to host and tune, there is a lack of practice to further calibrate an off-the-shelf LLM-based evaluator towards better human alignment. In this work, we propose AutoCalibrate, a multi-stage, gradient-free approach to automatically calibrate and align an LLM-based evaluator toward human preference. Instead of explicitly modeling human preferences, we first implicitly encompass them within a set of human labels. Then, an initial set of scoring criteria is drafted by the language model itself, leveraging in-context learning on different few-shot examples. To further calibrate this set of criteria, we select the best performers and re-draft them with self-refinement. Our experiments on multiple text quality evaluation datasets illustrate a significant improvement in correlation with expert evaluation through calibration. Our comprehensive qualitative analysis conveys insightful intuitions and observations on the essence of effective scoring criteria.


title: Independence role in the generalized Sznajd model

abstract: The Sznajd model is one of the most popular opinion dynamics models in sociophysics. The model is based on the social validation concept that has been applied to various social systems and is still interesting to study today, especially when agents who interact with each other do not follow the prevailing norms. This paper examines the generalized Sznajd model involving independent agents defined on a complete graph and a two-dimensional square lattice. Agents on the networks act independently with probability $p$, that is, change their opinion or state without the influence of others. In this model, we defined a paired agent size $r$, which persuades its nearest neighbor size $n$ to follow their opinion. Based on our results, both analytically and numerically, on the complete graph, the macroscopic state of the system is not affected by the neighbor size $n$ but only depends on the number of the paired agents $r$. The time required to reach a stationary state is inversely proportional to the number of neighboring agents $n$. We obtain two critical points $p = p_c$ in the two-dimensional square lattice depending on the configuration agents. Our results suggest that the model universality class defined on the complete graph still belongs to the mean-field Ising universality class. In addition, the model universality class defined on the two-dimensional square lattice with two different configurations is identical and belongs to the two-dimensional Ising universality class.


title: An Interpretable Systematic Review of Machine Learning Models for Predictive Maintenance of Aircraft Engine

abstract: This paper presents an interpretable review of various machine learning and deep learning models to predict the maintenance of aircraft engine to avoid any kind of disaster. One of the advantages of the strategy is that it can work with modest datasets. In this study, sensor data is utilized to predict aircraft engine failure within a predetermined number of cycles using LSTM, Bi-LSTM, RNN, Bi-RNN GRU, Random Forest, KNN, Naive Bayes, and Gradient Boosting. We explain how deep learning and machine learning can be used to generate predictions in predictive maintenance using a straightforward scenario with just one data source. We applied lime to the models to help us understand why machine learning models did not perform well than deep learning models. An extensive analysis of the model's behavior is presented for several test data to understand the black box scenario of the models. A lucrative accuracy of 97.8%, 97.14%, and 96.42% are achieved by GRU, Bi-LSTM, and LSTM respectively which denotes the capability of the models to predict maintenance at an early stage.


title: Tag-based Visual Odometry Estimation for Indoor UAVs Localization

abstract: The agility and versatility offered by UAV platforms still encounter obstacles for full exploitation in industrial applications due to their indoor usage limitations. A significant challenge in this sense is finding a reliable and cost-effective way to localize aerial vehicles in a GNSS-denied environment. In this paper, we focus on the visual-based positioning paradigm: high accuracy in UAVs position and orientation estimation is achieved by leveraging the potentials offered by a dense and size-heterogenous map of tags. In detail, we propose an efficient visual odometry procedure focusing on hierarchical tags selection, outliers removal, and multi-tag estimation fusion, to facilitate the visual-inertial reconciliation. Experimental results show the validity of the proposed localization architecture as compared to the state of the art.


title: Resonant band hybridization in alloyed transition metal dichalcogenide heterobilayers

abstract: Bandstructure engineering using alloying is widely utilised for achieving optimised performance in modern semiconductor devices. While alloying has been studied in monolayer transition metal dichalcogenides, its application in van der Waals heterostructures built from atomically thin layers is largely unexplored. Here, we fabricate heterobilayers made from monolayers of WSe$_2$ (or MoSe$_2$) and Mo$_x$W$_{1-x}$Se$_2$ alloy and observe nontrivial tuning of the resultant bandstructure as a function of concentration $x$. We monitor this evolution by measuring the energy of photoluminescence (PL) of the interlayer exciton (IX) composed of an electron and hole residing in different monolayers. In Mo$_x$W$_{1-x}$Se$_2$/WSe$_2$, we observe a strong IX energy shift of $\approx$100 meV for $x$ varied from 1 to 0.6. However, for $x<0.6$ this shift saturates and the IX PL energy asymptotically approaches that of the indirect bandgap in bilayer WSe$_2$. We theoretically interpret this observation as the strong variation of the conduction band K valley for $x>0.6$, with IX PL arising from the K-K transition, while for $x<0.6$, the bandstructure hybridization becomes prevalent leading to the dominating momentum-indirect K-Q transition. This bandstructure hybridization is accompanied with strong modification of IX PL dynamics and nonlinear exciton properties. Our work provides foundation for bandstructure engineering in van der Waals heterostructures highlighting the importance of hybridization effects and opening a way to devices with accurately tailored electronic properties.


title: New Insights on 30 Dor B Revealed by High-Quality Multi-wavelength Observations

abstract: The supernova remnant (SNR) 30 Dor B is associated with the \ion{H}{2} region ionized by the OB association LH99. The complex interstellar environment has made it difficult to study the physical structure of this SNR. We have used Hubble Space Telescope H$\alpha$ images to identify SNR shocks and deep Chandra X-ray observations to detect faint diffuse emission. We find that 30 Dor B hosts three zones with very different X-ray surface brightnesses and nebular kinematics that are characteristic of SNRs in different interstellar environments and/or evolutionary stages. The ASKAP 888 MHz map of 30 Dor B shows counterparts to all X-ray emission features except the faint halo. The ASKAP 888 MHz and 1420 MHz observations are used to produce a spectral index map, but its interpretation is complicated by the background thermal emission and the pulsar PSR J0537$-$6910's flat spectral index. The stellar population in the vicinity of 30 Dor B indicates a continuous star formation in the past 8--10 Myr. The observed very massive stars in LH99 cannot be coeval with the progenitor of 30 Dor B's pulsar. Adopting the pulsar's spin-down timescale, 5000 yr, as the age of the SNR, the X-ray shell would be expanding at $\sim$4000 km\,s$^{-1}$ and the post-shock temperature would be 1--2 orders of magnitude higher than that indicated by the X-ray spectra. Thus, the bright central region of 30 Dor B and the X-ray shell requires two separate SN events, and the faint diffuse X-ray halo perhaps other older SN events.


title: Reflexive extended locally convex spaces

abstract: For an extended locally convex space (elcs) $(X,\tau)$, the authors in [10] studied the topology $\tau_{ucb}$ of uniform convergence on bounded subsets of $(X,\tau)$ on the dual $X^*$ of $(X,\tau)$. In the present paper, we use the topology $\tau_{ucb}$ to explore the reflexive property of extended locally convex spaces. It is shown that an elcs is (semi) reflexive if and only if any of its open subspaces is (semi) reflexive. For an extended normed space, we show that reflexivity is a three-space property.


title: Semantic Communications using Foundation Models: Design Approaches and Open Issues

abstract: Foundation models (FMs), including large language models, have become increasingly popular due to their wide-ranging applicability and ability to understand human-like semantics. While previous research has explored the use of FMs in semantic communications to improve semantic extraction and reconstruction, the impact of these models on different system levels, considering computation and memory complexity, requires further analysis. This study focuses on integrating FMs at the effectiveness, semantic, and physical levels, using universal knowledge to profoundly transform system design. Additionally, it examines the use of compact models to balance performance and complexity, comparing three separate approaches that employ FMs. Ultimately, the study highlights unresolved issues in the field that need addressing.


title: High order approximation to Caputo derivative on graded mesh and time-fractional diffusion equation for non-smooth solutions

abstract: In this paper, a high-order approximation to Caputo-type time-fractional diffusion equations involving an initial-time singularity of the solution is proposed. At first, we employ a numerical algorithm based on the Lagrange polynomial interpolation to approximate the Caputo derivative on the non-uniform mesh. Then truncation error rate and the optimal grading constant of the approximation on a graded mesh are obtained as $\min\{4-\alpha,r\alpha\}$ and $\frac{4-\alpha}{\alpha}$, respectively, where $\alpha\in(0,1)$ is the order of fractional derivative and $r\geq 1$ is the mesh grading parameter. Using this new approximation, a difference scheme for the Caputo-type time-fractional diffusion equation on graded temporal mesh is formulated. The scheme proves to be uniquely solvable for general $r$. Then we derive the unconditional stability of the scheme on uniform mesh. The convergence of the scheme, in particular for $r=1$, is analyzed for non-smooth solutions and concluded for smooth solutions. Finally, the accuracy of the scheme is verified by analyzing the error through a few numerical examples.


title: Class Attendance System in Education with Deep Learning Method

abstract: With the advancing technology, the hardware gain of computers and the increase in the processing capacity of processors have facilitated the processing of instantaneous and real-time images. Face recognition processes are also studies in the field of image processing. Facial recognition processes are frequently used in security applications and commercial applications. Especially in the last 20 years, the high performances of artificial intelligence (AI) studies have contributed to the spread of these studies in many different fields. Education is one of them. The potential and advantages of using AI in education; can be grouped under three headings: student, teacher, and institution. One of the institutional studies may be the security of educational environments and the contribution of automation to education and training processes. From this point of view, deep learning methods, one of the sub-branches of AI, were used in this study. For object detection from images, a pioneering study has been designed and successfully implemented to keep records of students' entrance to the educational institution and to perform class attendance with images taken from the camera using image processing algorithms. The application of the study to real-life problems will be carried out in a school determined in the 2022-2023 academic year.


title: Spanish Resource Grammar version 2023

abstract: We present the latest version of the Spanish Resource Grammar (SRG), a grammar of Spanish implemented in the HPSG formalism. Such grammars encode a complex set of hypotheses about syntax making them a resource for empirical testing of linguistic theory. They also encode a strict notion of grammaticality which makes them a resource for natural language processing applications in computer-assisted language learning. This version of the SRG uses the recent version of the Freeling morphological analyzer and is released along with an automatically created, manually verified treebank of 2,291 sentences. We explain the treebanking process, emphasizing how it is different from treebanking with manual annotation and how it contributes to empirically-driven development of syntactic theory. The treebanks' high level of consistency and detail makes them a resource for training high-quality semantic parsers and generally systems that benefit from precise and detailed semantics. Finally, we present the grammar's coverage and overgeneration on 100 sentences from a learner corpus, a new research line related to developing methodologies for robust empirical evaluation of hypotheses in second language acquisition.


title: A closer look at parameter identifiability, model selection and handling of censored data with Bayesian Inference in mathematical models of tumour growth

abstract: Mathematical models (MMs) are a powerful tool to help us understand and predict the dynamics of tumour growth under various conditions. In this work, we use 5 MMs with an increasing number of parameters to explore how certain (often overlooked) decisions in estimating parameters from data of experimental tumour growth affect the outcome of the analysis. In particular, we propose a framework for including tumour volume measurements that fall outside the upper and lower limits of detection, which are normally discarded. We demonstrate how excluding censored data results in an overestimation of the initial tumour volume and the MM-predicted tumour volumes prior to the first measurements, and an underestimation of the carrying capacity and the MM-predicted tumour volumes beyond the latest measurable time points. We show in which way the choice of prior for the MM parameters can impact the posterior distributions, and illustrate that reporting the highest-likelihood parameters and their 95% credible interval can lead to confusing or misleading interpretations. We hope this work will encourage others to carefully consider choices made in parameter estimation and to adopt the approaches we put forward herein.


title: GlotScript: A Resource and Tool for Low Resource Writing System Identification

abstract: We present GlotScript, an open resource and tool for low resource writing system identification. GlotScript-R is a resource that provides the attested writing systems for more than 7,000 languages. It is compiled by aggregating information from existing writing system resources. GlotScript-T is a writing system identification tool that covers all 161 Unicode 15.0 scripts. For an input text, it returns its script distribution where scripts are identified by ISO 15924 codes. We also present two use cases for GlotScript. First, we demonstrate that GlotScript can help cleaning multilingual corpora such as mC4 and OSCAR. Second, we analyze the tokenization of a number of language models such as GPT-4 using GlotScript and provide insights on the coverage of low resource scripts and languages by each language model. We hope that GlotScript will become a useful resource for work on low resource languages in the NLP community. GlotScript-R and GlotScript-T are available at https://github.com/cisnlp/GlotScript.


title: ONNX-to-Hardware Design Flow for the Generation of Adaptive Neural-Network Accelerators on FPGAs

abstract: Neural Networks (NN) provide a solid and reliable way of executing different types of applications, ranging from speech recognition to medical diagnosis, speeding up onerous and long workloads. The challenges involved in their implementation at the edge include providing diversity, flexibility, and sustainability. That implies, for instance, supporting evolving applications and algorithms energy-efficiently. Using hardware or software accelerators can deliver fast and efficient computation of the \acp{nn}, while flexibility can be exploited to support long-term adaptivity. Nonetheless, handcrafting an NN for a specific device, despite the possibility of leading to an optimal solution, takes time and experience, and that's why frameworks for hardware accelerators are being developed. This work-in-progress study focuses on exploring the possibility of combining the toolchain proposed by Ratto et al., which has the distinctive ability to favor adaptivity, with approximate computing. The goal will be to allow lightweight adaptable NN inference on FPGAs at the edge. Before that, the work presents a detailed review of established frameworks that adopt a similar streaming architecture for future comparison.


title: From Text to Source: Results in Detecting Large Language Model-Generated Content

abstract: The widespread use of Large Language Models (LLMs), celebrated for their ability to generate human-like text, has raised concerns about misinformation and ethical implications. Addressing these concerns necessitates the development of robust methods to detect and attribute text generated by LLMs. This paper investigates "Cross-Model Detection," by evaluating whether a classifier trained to distinguish between source LLM-generated and human-written text can also detect text from a target LLM without further training. The study comprehensively explores various LLM sizes and families, and assesses the impact of conversational fine-tuning techniques, quantization, and watermarking on classifier generalization. The research also explores Model Attribution, encompassing source model identification, model family, and model size classification, in addition to quantization and watermarking detection. Our results reveal several key findings: a clear inverse relationship between classifier effectiveness and model size, with larger LLMs being more challenging to detect, especially when the classifier is trained on data from smaller models. Training on data from similarly sized LLMs can improve detection performance from larger models but may lead to decreased performance when dealing with smaller models. Additionally, model attribution experiments show promising results in identifying source models and model families, highlighting detectable signatures in LLM-generated text, with particularly remarkable outcomes in watermarking detection, while no detectable signatures of quantization were observed. Overall, our study contributes valuable insights into the interplay of model size, family, and training data in LLM detection and attribution.


title: Light correcting light with nonlinear optics

abstract: Structured light, where complex optical fields are tailored in all their degrees of freedom, has become highly topical of late, advanced by a sophisticated toolkit comprising both linear and nonlinear optics. Removing undesired structure from light is far less developed, leveraging mostly on inverting the distortion, e.g., with adaptive optics or the inverse transmission matrix of a complex channel, both requiring that the distortion is fully characterised through appropriate measurement. Here we show that distortions in spatially structured light can be corrected through difference frequency generation in a nonlinear crystal without any need for the distortion to be known. We demonstrate the versatility of our approach by using a wide range of aberrations and structured light modes, including higher-order orbital angular momentum (OAM) beams, showing excellent recovery of the original undistorted field. To highlight the efficacy of this process, we deploy the system in a prepare-and-measure communications link with OAM, showing minimal crosstalk even when the transmission channel is highly aberrated, and outline how the approach could be extended to alternative experimental modalities and nonlinear processes. Our demonstration of light correcting light without the need for measurement opens a new approach to measurement-free error correction for classical and quantum structured light, with direct applications in imaging, sensing and communication


title: Targeted Learning on Variable Importance Measure for Heterogeneous Treatment Effect

abstract: Quantifying the heterogeneity of treatment effect is important for understanding how a commercial product or medical treatment affects different subgroups in a population. Beyond the overall impact reflected parameters like the average treatment effect, the analysis of treatment effect heterogeneity further reveals details on the importance of different covariates and how they lead to different treatment impacts. One relevant parameter that addresses such heterogeneity is the variance of treatment effect across different covariate groups, however the treatment effect is defined. One can also derive variable importance parameters that measure (and rank) how much of treatment effect heterogeneity is explained by a targeted subset of covariates. In this article, we propose a new targeted maximum likelihood estimator for a treatment effect variable importance measure. This estimator is a pure plug-in estimator that consists of two steps: 1) the initial estimation of relevant components to plug in and 2) an iterative updating step to optimize the bias-variance tradeoff. The simulation results show that this TMLE estimator has competitive performance in terms of lower bias and better confidence interval coverage compared to the simple substitution estimator and the estimating equation estimator. The application of this method also demonstrates the advantage of a substitution estimator, which always respects the global constraints on the data distribution and that the estimand is a particular function of the distribution.


title: Joint Explainability and Sensitivity-Aware Federated Deep Learning for Transparent 6G RAN Slicing

abstract: In recent years, wireless networks are evolving complex, which upsurges the use of zero-touch artificial intelligence (AI)-driven network automation within the telecommunication industry. In particular, network slicing, the most promising technology beyond 5G, would embrace AI models to manage the complex communication network. Besides, it is also essential to build the trustworthiness of the AI black boxes in actual deployment when AI makes complex resource management and anomaly detection. Inspired by closed-loop automation and Explainable Artificial intelligence (XAI), we design an Explainable Federated deep learning (FDL) model to predict per-slice RAN dropped traffic probability while jointly considering the sensitivity and explainability-aware metrics as constraints in such non-IID setup. In precise, we quantitatively validate the faithfulness of the explanations via the so-called attribution-based \emph{log-odds metric} that is included as a constraint in the run-time FL optimization task. Simulation results confirm its superiority over an unconstrained integrated-gradient (IG) \emph{post-hoc} FDL baseline.


title: SARS-CoV-2 Wastewater Genomic Surveillance: Approaches, Challenges, and Opportunities

abstract: During the SARS-CoV-2 pandemic, wastewater-based genomic surveillance (WWGS) emerged as an efficient viral surveillance tool that takes into account asymptomatic cases and can identify known and novel mutations and offers the opportunity to assign known virus lineages based on the detected mutations profiles. WWGS can also hint towards novel or cryptic lineages, but it is difficult to clearly identify and define novel lineages from wastewater (WW) alone. While WWGS has significant advantages in monitoring SARS-CoV-2 viral spread, technical challenges remain, including poor sequencing coverage and quality due to viral RNA degradation. As a result, the viral RNAs in wastewater have low concentrations and are often fragmented, making sequencing difficult. WWGS analysis requires advanced computational tools that are yet to be developed and benchmarked. The existing bioinformatics tools used to analyze wastewater sequencing data are often based on previously developed methods for quantifying the expression of transcripts or viral diversity. Those methods were not developed for wastewater sequencing data specifically, and are not optimized to address unique challenges associated with wastewater. While specialized tools for analysis of wastewater sequencing data have also been developed recently, it remains to be seen how they will perform given the ongoing evolution of SARS-CoV-2 and the decline in testing and patient-based genomic surveillance. Here, we discuss opportunities and challenges associated with WWGS, including sample preparation, sequencing technology, and bioinformatics methods.


title: Sphaleron rate from lattice QCD

abstract: We compute the sphaleron rate on the lattice from the inversion of the Euclidean time correlators of the topological charge density, performing also controlled continuum and zero-smoothing extrapolations. The correlator inversion is performed by means of a recently-proposed modification of the Backus-Gilbert method.


title: What can we learn from recent $2\nu\beta\beta$ experiments?

abstract: With recent measurements of the two neutrino double beta decay high precision electron spectra, combining with charge exchange or $\beta$-decay experimental data, we give severe constraints over the current nuclear many body calculations. Our calculation shows that QRPA approach can well reproduce the measured spectra for the two open shell nuclei, $^{82}$Se and $^{100}$Mo. For the closed shell nucleus $^{136}$Xe, QRPA can also reproduce the spectra with proper treatments. We also find that considering the high-lying state reduction, Nuclear Shell Model can also well reproduce the spectra as well as B(GT) strength under a unique quenched $g_A$. For $^{136}$Xe, we find that the flip of the sign for the decay strength will lead the spectra to go beyond HSD. These results call for future high precision measurement of charge-exchange reaction.


title: Unveiling Ethereum's Hidden Centralization Incentives: Does Connectivity Impact Performance?

abstract: Modern public blockchains like Ethereum rely on p2p networks to run distributed and censorship-resistant applications. With its wide adoption, it operates as a highly critical public ledger. On its transition to become more scalable and sustainable, shifting to PoS without sacrificing the security and resilience of PoW, Ethereum offers a range of consensus clients to participate in the network. In this paper, we present a methodology to measure the performance of the consensus clients based on the latency to receive messages from the p2p network. The paper includes a study that identifies the incentives and limitations that the network experiences, presenting insights about the latency impact derived from running the software in different locations.


title: Predicting Temperature of Major Cities Using Machine Learning and Deep Learning

abstract: Currently, the issue that concerns the world leaders most is climate change for its effect on agriculture, environment and economies of daily life. So, to combat this, temperature prediction with strong accuracy is vital. So far, the most effective widely used measure for such forecasting is Numerical weather prediction (NWP) which is a mathematical model that needs broad data from different applications to make predictions. This expensive, time and labor consuming work can be minimized through making such predictions using Machine learning algorithms. Using the database made by University of Dayton which consists the change of temperature in major cities we used the Time Series Analysis method where we use LSTM for the purpose of turning existing data into a tool for future prediction. LSTM takes the long-term data as well as any short-term exceptions or anomalies that may have occurred and calculates trend, seasonality and the stationarity of a data. By using models such as ARIMA, SARIMA, Prophet with the concept of RNN and LSTM we can, filter out any abnormalities, preprocess the data compare it with previous trends and make a prediction of future trends. Also, seasonality and stationarity help us analyze the reoccurrence or repeat over one year variable and removes the constrain of time in which the data was dependent so see the general changes that are predicted. By doing so we managed to make prediction of the temperature of different cities during any time in future based on available data and built a method of accurate prediction. This document contains our methodology for being able to make such predictions.


title: A revised condition for harmonic analysis in generalized Orlicz spaces on unbounded domains

abstract: Conditions for harmonic analysis in generalized Orlicz spaces have been studied over the past decade. One approach involves the generalized inverse of so-called weak $\Phi$-functions. It featured prominently in the monograph Orlicz Spaces and Generalized Orlicz Spaces [P. Harjulehto and P. H\"ast\"o, Lecture Notes in Mathematics, vol. 2236, Springer, Cham, 2019]. While generally successful, the inverse function formulation of the decay condition (A2) in the monograph contains a flaw, which we explain and correct in this note. We also present some new results related to the conditions, including a more general result for the density of smooth functions.


title: Independent projections of diffusions: Gradient flows for variational inference and optimal mean field approximations

abstract: What is the optimal way to approximate a high-dimensional diffusion process by one in which the coordinates are independent? This paper presents a construction, called the \emph{independent projection}, which is optimal for two natural criteria. First, when the original diffusion is reversible with invariant measure $\rho_*$, the independent projection serves as the Wasserstein gradient flow for the relative entropy $H(\cdot\,|\,\rho_*)$ constrained to the space of product measures. This is related to recent Langevin-based sampling schemes proposed in the statistical literature on mean field variational inference. In addition, we provide both qualitative and quantitative results on the long-time convergence of the independent projection, with quantitative results in the log-concave case derived via a new variant of the logarithmic Sobolev inequality. Second, among all processes with independent coordinates, the independent projection is shown to exhibit the slowest growth rate of path-space entropy relative to the original diffusion. This sheds new light on the classical McKean-Vlasov equation and recent variants proposed for non-exchangeable systems, which can be viewed as special cases of the independent projection.


title: mdendro: An R package for extended agglomerative hierarchical clustering

abstract: "mdendro" is an R package that provides a comprehensive collection of linkage methods for agglomerative hierarchical clustering on a matrix of proximity data (distances or similarities), returning a multifurcated dendrogram or multidendrogram. Multidendrograms can group more than two clusters at the same time, solving the nonuniqueness problem that arises when there are ties in the data. This problem causes that different binary dendrograms are possible depending both on the order of the input data and on the criterion used to break ties. Weighted and unweighted versions of the most common linkage methods are included in the package, which also implements two parametric linkage methods. In addition, package "mdendro" provides five descriptive measures to analyze the resulting dendrograms: cophenetic correlation coefficient, space distortion ratio, agglomeration coefficient, chaining coefficient and tree balance.


title: Neighborly partitions, hypergraphs and Gordon's identities

abstract: We prove a family of partition identities which is "dual" to the family of Andrews-Gordon's identities. These identities are inspired by a correspondence between a special type of partitions and "hypergraphs" and their proof uses combinatorial commutative algebra.


title: Model-enhanced Vector Index

abstract: Embedding-based retrieval methods construct vector indices to search for document representations that are most similar to the query representations. They are widely used in document retrieval due to low latency and decent recall performance. Recent research indicates that deep retrieval solutions offer better model quality, but are hindered by unacceptable serving latency and the inability to support document updates. In this paper, we aim to enhance the vector index with end-to-end deep generative models, leveraging the differentiable advantages of deep retrieval models while maintaining desirable serving efficiency. We propose Model-enhanced Vector Index (MEVI), a differentiable model-enhanced index empowered by a twin-tower representation model. MEVI leverages a Residual Quantization (RQ) codebook to bridge the sequence-to-sequence deep retrieval and embedding-based models. To substantially reduce the inference time, instead of decoding the unique document ids in long sequential steps, we first generate some semantic virtual cluster ids of candidate documents in a small number of steps, and then leverage the well-adapted embedding vectors to further perform a fine-grained search for the relevant documents in the candidate virtual clusters. We empirically show that our model achieves better performance on the commonly used academic benchmarks MSMARCO Passage and Natural Questions, with comparable serving latency to dense retrieval solutions.


title: FedDrive v2: an Analysis of the Impact of Label Skewness in Federated Semantic Segmentation for Autonomous Driving

abstract: We propose FedDrive v2, an extension of the Federated Learning benchmark for Semantic Segmentation in Autonomous Driving. While the first version aims at studying the effect of domain shift of the visual features across clients, in this work, we focus on the distribution skewness of the labels. We propose six new federated scenarios to investigate how label skewness affects the performance of segmentation models and compare it with the effect of domain shift. Finally, we study the impact of using the domain information during testing. Official website: https://feddrive.github.io


title: On the Asymptotic Learning Curves of Kernel Ridge Regression under Power-law Decay

abstract: The widely observed 'benign overfitting phenomenon' in the neural network literature raises the challenge to the 'bias-variance trade-off' doctrine in the statistical learning theory. Since the generalization ability of the 'lazy trained' over-parametrized neural network can be well approximated by that of the neural tangent kernel regression, the curve of the excess risk (namely, the learning curve) of kernel ridge regression attracts increasing attention recently. However, most recent arguments on the learning curve are heuristic and are based on the 'Gaussian design' assumption. In this paper, under mild and more realistic assumptions, we rigorously provide a full characterization of the learning curve: elaborating the effect and the interplay of the choice of the regularization parameter, the source condition and the noise. In particular, our results suggest that the 'benign overfitting phenomenon' exists in very wide neural networks only when the noise level is small.


title: Liminf approximation sets for abstract rationals

abstract: The Jarn\'ik-Besicovitch theorem is a fundamental result in metric number theory which concerns the Hausdorff dimension for certain limsup sets. We discuss the analogous problem for liminf sets. Consider an infinite sequence of positive integers, $S=\{q_{n}\}_{n\in\mathbb{N}}$, exhibiting exponential growth. For a given $n$-tuple of functions denoted as $\Psi:=~(\psi_1, \ldots,\psi_n)$, each of the form $\psi_{i}(q)=q^{-\tau_{i}}$ for $(\tau_{1},\dots,\tau_{n})\in\mathbb{R}^{n}_{+}$, we calculate the Hausdorff dimension of the set of points that can be $\Psi$-approximated for all sufficiently large $q\in S$. We prove this result in the generalised setting of approximation by abstract rationals as recently introduced by Koivusalo, Fraser, and Ramirez (LMS, 2023). Some of the examples of this setting include the real weighted inhomogeneous approximation, $p$-adic weighted approximation, Diophantine approximation over complex numbers, and approximation on missing digit sets.


title: Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic

abstract: Recent advancements in large language models have showcased their remarkable generalizability across various domains. However, their reasoning abilities still have significant room for improvement, especially when confronted with scenarios requiring multi-step reasoning. Although large language models possess extensive knowledge, their reasoning often fails to effectively utilize this knowledge to establish a coherent thinking paradigm. These models sometimes show hallucinations as their reasoning procedures are unconstrained by logical principles. Aiming at improving the zero-shot chain-of-thought reasoning ability of large language models, we propose LoT (Logical Thoughts), a self-improvement prompting framework that leverages principles rooted in symbolic logic, particularly Reductio ad Absurdum, to systematically verify and rectify the reasoning processes step by step. Experimental evaluations conducted on language tasks in diverse domains, including arithmetic, commonsense, symbolic, causal inference, and social problems, demonstrate the efficacy of enhanced reasoning by logic. The implementation code for LoT can be accessed at: https://github.com/xf-zhao/LoT.


title: Towards LLM-guided Causal Explainability for Black-box Text Classifiers

abstract: With the advent of larger and more complex deep learning models, such as in Natural Language Processing (NLP), model qualities like explainability and interpretability, albeit highly desirable, are becoming harder challenges to tackle and solve. For example, state-of-the-art models in text classification are black-box by design. Although standard explanation methods provide some degree of explainability, these are mostly correlation-based methods and do not provide much insight into the model. The alternative of causal explainability is more desirable to achieve but extremely challenging in NLP due to a variety of reasons. Inspired by recent endeavors to utilize Large Language Models (LLMs) as experts, in this work, we aim to leverage the instruction-following and textual understanding capabilities of recent state-of-the-art LLMs to facilitate causal explainability via counterfactual explanation generation for black-box text classifiers. To do this, we propose a three-step pipeline via which, we use an off-the-shelf LLM to: (1) identify the latent or unobserved features in the input text, (2) identify the input features associated with the latent features, and finally (3) use the identified input features to generate a counterfactual explanation. We experiment with our pipeline on multiple NLP text classification datasets, with several recent LLMs, and present interesting and promising findings.


title: Isotropy and full splitting pattern of quasilinear $p$-forms

abstract: For a quasilinear $p$-form defined over a field $F$ of characteristic $p>0$, we prove that its defect over the field $F(\sqrt[p^{n_1}]{a_1}, \dots, \sqrt[p^{n_r}]{a_r})$ equals to its defect over the field $F(\sqrt[p]{a_1}, \dots, \sqrt[p]{a_r})$, strengthening a result of Hoffmann from 2004. We also compute the full splitting pattern of some families of quasilinear $p$-forms.


title: Evolve the Model Universe of a System Universe

abstract: Uncertain, unpredictable, real time, and lifelong evolution causes operational failures in intelligent software systems, leading to significant damages, safety and security hazards, and tragedies. To fully unleash the potential of such systems and facilitate their wider adoption, ensuring the trustworthiness of their decision making under uncertainty is the prime challenge. To overcome this challenge, an intelligent software system and its operating environment should be continuously monitored, tested, and refined during its lifetime operation. Existing technologies, such as digital twins, can enable continuous synchronisation with such systems to reflect their most updated states. Such representations are often in the form of prior knowledge based and machine learning models, together called model universe. In this paper, we present our vision of combining techniques from software engineering, evolutionary computation, and machine learning to support the model universe evolution.


title: Two vs. Four-Channel Sound Event Localization and Detection

abstract: Sound event localization and detection (SELD) systems estimate both the direction-of-arrival (DOA) and class of sound sources over time. In the DCASE 2022 SELD Challenge (Task 3), models are designed to operate in a 4-channel setting. While beneficial to further the development of SELD systems using a multichannel recording setup such as first-order Ambisonics (FOA), most consumer electronics devices rarely are able to record using more than two channels. For this reason, in this work we investigate the performance of the DCASE 2022 SELD baseline model using three audio input representations: FOA, binaural, and stereo. We perform a novel comparative analysis illustrating the effect of these audio input representations on SELD performance. Crucially, we show that binaural and stereo (i.e. 2-channel) audio-based SELD models are still able to localize and detect sound sources laterally quite well, despite overall performance degrading as less audio information is provided. Further, we segment our analysis by scenes containing varying degrees of sound source polyphony to better understand the effect of audio input representation on localization and detection performance as scene conditions become increasingly complex.


title: LES of a non-premixed hydrogen flame stabilized by bluff-bodies of various shapes

abstract: Dynamics of flames stabilized downstream of different shape bluff-bodies (cylindrical, square, star) with different wall topologies (flat, wavy) is investigated using large-eddy simulations (LES). A two-stage computational procedure involving the ANSYS software and an in-house academic high-order code is combined to model a flow in the vicinity of the bluff-bodies and a flame formed downstream. The fuel is nitrogen-diluted hydrogen and the oxidizer is hot air in which the fuel auto-ignites. After the ignition, the flame propagates towards the bluff-body surfaces and stabilizes in their vicinity. It is shown that the flames reflect the bluff-body shape due to large-scale strong vortices induced in the shear layer formed between the main recirculation zone and the oxidizer stream. The influence of the acute corners of the bluff-bodies on the flame dynamics is quantified by analysing instantaneous and time-averaged results. Compared to the classical conical bluff-body the largest differences in the temperature and velocity distributions are observed in the configuration with the square bluff-body. The main recirculation zone is shortened by approximately 15% and at its end temperature in the axis of the flame is almost 200 K larger. Simultaneously, their fluctuations are slightly larger than in the remaining cases. The influence of the wall topology (flat vs. wavy) in the configuration with the classical conical bluff-body turned out to be very small and it resulted in modifications of the flow and flame structures only in the direct vicinity of the bluff-body surface.


title: BAMBOO: A Comprehensive Benchmark for Evaluating Long Text Modeling Capacities of Large Language Models

abstract: Large language models (LLMs) have achieved dramatic proficiency over NLP tasks with normal length. Recently, multiple studies have committed to extending the context length and enhancing the long text modeling capabilities of LLMs. To comprehensively evaluate the long context ability of LLMs, we propose BAMBOO, a multi-task long context benchmark. BAMBOO has been designed with four principles: comprehensive capacity evaluation, avoidance of data contamination, accurate automatic evaluation, and different length levels. It consists of 10 datasets from 5 different long text understanding tasks, i.e. question answering, hallucination detection, text sorting, language modeling, and code completion, to cover core capacities and various domains of LLMs. We conduct experiments with five long context models on BAMBOO and further discuss four key research questions of long text. We also qualitatively analyze current long context models and point out future directions for enhancing long text modeling capacities. We release our data, prompts, and code at https://github.com/RUCAIBox/BAMBOO.


title: Vishik equivalence and similarity of quasilinear $p$-forms and totally singular quadratic forms

abstract: For quadratic forms over fields of characteristic different from two, there is a so-called Vishik criterion, giving a purely algebraic characterization of when two quadratic forms are motivically equivalent. In analogy to that, we define Vishik equivalence on quasiliner $p$-forms. We study the question whether Vishik equivalent $p$-forms must be similiar. We prove that this is not true for quasilinear $p$-forms in general, but we find some families of totally singular quadratic forms (i.e., of quasilinear $2$-forms) for which the question has positive answer.


title: My Science Tutor (MyST) -- A Large Corpus of Children's Conversational Speech

abstract: This article describes the MyST corpus developed as part of the My Science Tutor project -- one of the largest collections of children's conversational speech comprising approximately 400 hours, spanning some 230K utterances across about 10.5K virtual tutor sessions by around 1.3K third, fourth and fifth grade students. 100K of all utterances have been transcribed thus far. The corpus is freely available (https://myst.cemantix.org) for non-commercial use using a creative commons license. It is also available for commercial use (https://boulderlearning.com/resources/myst-corpus/). To date, ten organizations have licensed the corpus for commercial use, and approximately 40 university and other not-for-profit research groups have downloaded the corpus. It is our hope that the corpus can be used to improve automatic speech recognition algorithms, build and evaluate conversational AI agents for education, and together help accelerate development of multimodal applications to improve children's excitement and learning about science, and help them learn remotely.


title: Accelerating Particle and Fluid Simulations with Differentiable Graph Networks for Solving Forward and Inverse Problems

abstract: We leverage physics-embedded differentiable graph network simulators (GNS) to accelerate particulate and fluid simulations to solve forward and inverse problems. GNS represents the domain as a graph with particles as nodes and learned interactions as edges. Compared to modeling global dynamics, GNS enables learning local interaction laws through edge messages, improving its generalization to new environments. GNS achieves over 165x speedup for granular flow prediction compared to parallel CPU numerical simulations. We propose a novel hybrid GNS/Material Point Method (MPM) to accelerate forward simulations by minimizing error on a pure surrogate model by interleaving MPM in GNS rollouts to satisfy conservation laws and minimize errors achieving 24x speedup compared to pure numerical simulations. The differentiable GNS enables solving inverse problems through automatic differentiation, identifying material parameters that result in target runout distances. We demonstrate the ability of GNS to solve inverse problems by iteratively updating the friction angle (a material property) by computing the gradient of a loss function based on the final and target runouts, thereby identifying the friction angle that best matches the observed runout. The physics-embedded and differentiable simulators open an exciting new paradigm for AI-accelerated design, control, and optimization.


title: Speeding-up Evolutionary Algorithms to solve Black-Box Optimization Problems

abstract: Population-based evolutionary algorithms are often considered when approaching computationally expensive black-box optimization problems. They employ a selection mechanism to choose the best solutions from a given population after comparing their objective values, which are then used to generate the next population. This iterative process explores the solution space efficiently, leading to improved solutions over time. However, these algorithms require a large number of evaluations to provide a quality solution, which might be computationally expensive when the evaluation cost is high. In some cases, it is possible to replace the original objective function with a less accurate approximation of lower cost. This introduces a trade-off between the evaluation cost and its accuracy. In this paper, we propose a technique capable of choosing an appropriate approximate function cost during the execution of the optimization algorithm. The proposal finds the minimum evaluation cost at which the solutions are still properly ranked, and consequently, more evaluations can be computed in the same amount of time with minimal accuracy loss. An experimental section on four very different problems reveals that the proposed approach can reach the same objective value in less than half of the time in certain cases.


title: Generalized impedance boundary conditions with vanishing or sign-changing impedance

abstract: We consider a Laplace type problem with a generalized impedance boundary condition of the form $\partial_\nu u=-\partial_x(g\partial_xu)$ on a flat part $\Gamma$ of the boundary. Here $\nu$ is the outward unit normal vector to $\partial\Omega$, $g$ is the impedance function and $x$ is the coordinate along $\Gamma$. Such problems appear for example in the modelling of small perturbations of the boundary. In the literature, the cases $g=1$ or $g=-1$ have been investigated. In this work, we address situations where $\Gamma$ contains the origin and $g(x)=\mathbb{1}_{x>0}(x)x^\alpha$ or $g(x)=-\mbox{sign}(x)|x|^\alpha$ with $\alpha\ge0$. In other words, we study cases where $g$ vanishes at the origin and changes its sign. The main message is that the well-posedness in the Fredholm sense of the corresponding problems depends on the value of $\alpha$. For $\alpha\in[0,1)$, we show that the associated operators are Fredholm of index zero while it is not the case when $\alpha=1$. The proof of the first results is based on the reformulation as 1D problems combined with the derivation of compact embedding results for the functional spaces involved in the analysis. The proof of the second results relies on the computation of singularities and the construction of Weyl's sequences. We also discuss the equivalence between the strong and weak formulations, which is not straightforward. Finally, we provide simple numerical experiments which seem to corroborate the theorems.


title: New insights in the bubble wall of NGC 3324: intertwined sub-structures and a bipolar morphology uncovered by JWST

abstract: We report the discovery of intertwined/entangled sub-structures towards the bubble wall of NGC 3324 below a physical scale of 4500 AU, which is the sharp edge/ionization front/elongated structure traced at the interface between the HII region and the molecular cloud. The sharp edge appears wavy in the Spitzer 3.6-8.0 $\mu$m images (resolution $\sim$2$''$). Star formation signatures have mostly been traced on one side of the ionization front, which lies on the molecular cloud's boundary. The James Webb Space Telescope's (JWST) near- and mid-infrared images (resolution $\sim$0.07$''$-0.7$''$) are employed to resolve the sharp edge, which has a curvature facing the exciting O-type stars. The elongated structures are associated with the 3.3 $\mu$m polycyclic aromatic hydrocarbon (PAH) emission, the 4.05 $\mu$m ionized emission, and the 4.693 $\mu$m H$_{2}$ emission. However, the PAH-emitting structures are depicted between the other two. The H$_{2}$ emission reveals numerous intertwined sub-structures which are not prominently traced in the 3.3 $\mu$m PAH emission. The separation between two sub-structures in the H$_{2}$ emission is $\sim$1.1$''$ or 2420 AU. The intertwined sub-structures are traced in the spatial areas associated with the neutral to H$_{2}$ transition zone, suggesting the origin of these structures by ``thin-shell'' instability. Furthermore, an arc-like feature traced in the Spitzer 3.6-8.0 $\mu$m images is investigated as a bipolar HII region (extent $\sim$0.35 pc) at T$_\mathrm{d}$ $\sim$25-28~K using the JWST images. A massive star candidate VPHAS-OB1 #03518 seems to be responsible for the bipolar HII region.


title: A Hybrid High-Order Method for a Class of Strongly Nonlinear Elliptic Boundary Value Problems

abstract: In this article, we design and analyze a Hybrid High-Order (HHO) finite element approximation for a class of strongly nonlinear boundary value problems. We consider an HHO discretization for a suitable linearized problem and show its well-posedness using the Gardings type inequality. The essential ingredients for the HHO approximation involve local reconstruction and high-order stabilization. We establish the existence of a unique solution for the HHO approximation using the Brouwer fixed point theorem and contraction principle. We derive an optimal order a priori error estimate in the discrete energy norm. Numerical experiments are performed to illustrate the convergence histories.


title: Beyond Grids: Exploring Elastic Input Sampling for Vision Transformers

abstract: Vision transformers have excelled in various computer vision tasks but mostly rely on rigid input sampling using a fixed-size grid of patches. This limits their applicability in real-world problems, such as in the field of robotics and UAVs, where one can utilize higher input elasticity to boost model performance and efficiency. Our paper addresses this limitation by formalizing the concept of input elasticity for vision transformers and introducing an evaluation protocol, including dedicated metrics for measuring input elasticity. Moreover, we propose modifications to the transformer architecture and training regime, which increase its elasticity. Through extensive experimentation, we spotlight opportunities and challenges associated with input sampling strategies.


title: Lexical Squad@Multimodal Hate Speech Event Detection 2023: Multimodal Hate Speech Detection using Fused Ensemble Approach

abstract: With a surge in the usage of social media postings to express opinions, emotions, and ideologies, there has been a significant shift towards the calibration of social media as a rapid medium of conveying viewpoints and outlooks over the globe. Concurrently, the emergence of a multitude of conflicts between two entities has given rise to a stream of social media content containing propaganda, hate speech, and inconsiderate views. Thus, the issue of monitoring social media postings is rising swiftly, attracting major attention from those willing to solve such problems. One such problem is Hate Speech detection. To mitigate this problem, we present our novel ensemble learning approach for detecting hate speech, by classifying text-embedded images into two labels, namely "Hate Speech" and "No Hate Speech". We have incorporated state-of-art models including InceptionV3, BERT, and XLNet. Our proposed ensemble model yielded promising results with 75.21 and 74.96 as accuracy and F-1 score (respectively). We also present an empirical evaluation of the text-embedded images to elaborate on how well the model was able to predict and classify. We release our codebase here (https://github.com/M0hammad-Kashif/MultiModalHateSpeech).


title: Radiation Hardness and Defects Activity in PEA2PbBr4 Single Crystals

abstract: Metal halide perovskites (MHPs) are low-temperature processable hybrid semiconductor materials with exceptional performances that are revolutionizing the field of optoelectronic devices. Despite their great potential, commercial deployment is hindered by MHPs lack of stability and durability, mainly attributed to ions migration and chemical interactions with the device electrodes. To address these issues, 2D layered MHPs have been investigated as possible device interlayers or active material substitutes to reduce ion migration and improve stability. Here we consider the 2D perovskite PEA2PbBr4 that was recently discussed as very promising candidate for X-ray direct detection. While the increased resilience of PEA2PbBr4 detectors have already been reported, the physical mechanisms responsible for such improvement compared to the standard "3D" perovskites are not still fully understood. To unravel the charge transport process in PEA2PbBr4 crystals thought to underly the device better performance, we adapted an investigation technique previously used on highly resistive inorganic semiconductors, called photo induced current transient spectroscopy (PICTS). We demonstrate that PICTS can detect three distinct trap states (T1, T2, and T3) with different activation energies, and that the trap states evolution upon X-ray exposure can explain PEA2PbBr4 superior radiation tolerance and reduced aging effects. Overall, our results provide essential insights into the stability and electrical characteristics of 2D perovskites and their potential application as reliable and direct X-ray detectors.


title: Probing the Moral Development of Large Language Models through Defining Issues Test

abstract: In this study, we measure the moral reasoning ability of LLMs using the Defining Issues Test - a psychometric instrument developed for measuring the moral development stage of a person according to the Kohlberg's Cognitive Moral Development Model. DIT uses moral dilemmas followed by a set of ethical considerations that the respondent has to judge for importance in resolving the dilemma, and then rank-order them by importance. A moral development stage score of the respondent is then computed based on the relevance rating and ranking. Our study shows that early LLMs such as GPT-3 exhibit a moral reasoning ability no better than that of a random baseline, while ChatGPT, Llama2-Chat, PaLM-2 and GPT-4 show significantly better performance on this task, comparable to adult humans. GPT-4, in fact, has the highest post-conventional moral reasoning score, equivalent to that of typical graduate school students. However, we also observe that the models do not perform consistently across all dilemmas, pointing to important gaps in their understanding and reasoning abilities.


title: Inclusive e$^+$e$^-$ production in collisions of pions with protons and nuclei in the second resonance region of baryons

abstract: Inclusive e$^+$e$^-$ production has been studied with HADES in $\pi^-$ + p, $\pi^-$ + C and $\pi^- + \mathrm{CH}_2$ reactions, using the GSI pion beam at $\sqrt{s_{\pi p}}$ = 1.49 GeV. Invariant mass and transverse momentum distributions have been measured and reveal contributions from Dalitz decays of $\pi^0$, $\eta$ mesons and baryon resonances. The transverse momentum distributions are very sensitive to the underlying kinematics of the various processes. The baryon contribution exhibits a deviation up to a factor seven from the QED reference expected for the dielectron decay of a hypothetical point-like baryon with the production cross section constrained from the inverse $\gamma$ n$\rightarrow \pi^-$ p reaction. The enhancement is attributed to a strong four-momentum squared dependence of the time-like electromagnetic transition form factors as suggested by Vector Meson Dominance (VMD). Two versions of the VMD, that differ in the photon-baryon coupling, have been applied in simulations and compared to data. VMD1 (or two-component VMD) assumes a coupling via the $\rho$ meson and a direct coupling of the photon, while in VMD2 (or strict VMD) the coupling is only mediated via the $\rho$ meson. The VMD2 model, frequently used in transport calculations for dilepton decays, is found to overestimate the measured dielectron yields, while a good description of the data can be obtained with the VMD1 model assuming no phase difference between the two amplitudes. Similar descriptions have also been obtained using a time-like baryon transition form factor model where the pion cloud plays the major role.


title: Towards Quantum Software Requirements Engineering

abstract: Quantum software engineering (QSE) is receiving increasing attention, as evidenced by increasing publications on topics, e.g., quantum software modeling, testing, and debugging. However, in the literature, quantum software requirements engineering (QSRE) is still a software engineering area that is relatively less investigated. To this end, in this paper, we provide an initial set of thoughts about how requirements engineering for quantum software might differ from that for classical software after making an effort to map classical requirements classifications (e.g., functional and extra-functional requirements) into the context of quantum software. Moreover, we provide discussions on various aspects of QSRE that deserve attention from the quantum software engineering community.


title: Analysis of the Gravitational Wave Background Using Gamma-Ray Pulsar Timing Arrays with Next-Generation Detectors

abstract: In this work, we investigate the potential of gamma-ray pulsar time array (PTA) on gravitational waves background (GWB) using future gamma-ray detectors with larger effective areas. We consider both spaceborne detectors and ground-based imaging air Cherenkov telescope arrays (IACTs). We simulated the detected photons from pulsars using the response of hypothetical detectors taking into account the backgrounds and analyzed the sensitivities. Our results showed that thanks to the higher statistics of IACTs, the PTA using IACTs can improve significantly the performance compared with the PTA using Fermi-LAT data.


title: Impacts of DEM Type and Resolution on Deep Learning-Based Flood Inundation Mapping

abstract: The increasing availability of hydrological and physiographic spatiotemporal data has boosted machine learning's role in rapid flood mapping. Yet, data scarcity, especially high-resolution DEMs, challenges regions with limited access. This paper examines how DEM type and resolution affect flood prediction accuracy, utilizing a cutting-edge deep learning (DL) method called 1D convolutional neural network (CNN). It utilizes synthetic hydrographs as training input and water depth data obtained from LISFLOOD-FP, a 2D hydrodynamic model, as target data. This study investigates digital surface models (DSMs) and digital terrain models (DTMs) derived from a 1 m LIDAR-based DTM, with resolutions from 15 to 30 m. The methodology is applied and assessed in an established benchmark, the city of Carlisle, UK. The models' performance is then evaluated and compared against an observed flood event using RMSE, Bias, and Fit indices. Leveraging the insights gained from this region, the paper discusses the applicability of the methodology to address the challenges encountered in a data-scarce flood-prone region, exemplified by Pakistan. Results indicated that utilizing a 30 m DTM outperformed a 30 m DSM in terms of flood depth prediction accuracy by about 21% during the flood peak stage, highlighting the superior performance of DTM at lower resolutions. Increasing the resolution of DTM to 15 m resulted in a minimum 50% increase in RMSE and a 20% increase in fit index across all flood stages. The findings emphasize that while a coarser resolution DEM may impact the accuracy of machine learning models, it remains a viable option for rapid flood prediction. However, even a slight improvement in data resolution in data-scarce regions would provide significant added value, ultimately enhancing flood risk management.


title: Machine Learning with Chaotic Strange Attractors

abstract: Machine learning studies need colossal power to process massive datasets and train neural networks to reach high accuracies, which have become gradually unsustainable. Limited by the von Neumann bottleneck, current computing architectures and methods fuel this high power consumption. Here, we present an analog computing method that harnesses chaotic nonlinear attractors to perform machine learning tasks with low power consumption. Inspired by neuromorphic computing, our model is a programmable, versatile, and generalized platform for machine learning tasks. Our mode provides exceptional performance in clustering by utilizing chaotic attractors' nonlinear mapping and sensitivity to initial conditions. When deployed as a simple analog device, it only requires milliwatt-scale power levels while being on par with current machine learning techniques. We demonstrate low errors and high accuracies with our model for regression and classification-based learning tasks.


title: Matrix product and quasi-twisted codes in one class

abstract: Many classical constructions, such as Plotkin's and Turyn's, were generalized by matrix product (MP) codes. Quasi-twisted (QT) codes, on the other hand, form an algebraically rich structure class that contains many codes with best-known parameters. We significantly extend the definition of MP codes to establish a broader class of generalized matrix product (GMP) codes that contains QT codes as well. We propose a generator matrix formula for any linear GMP code and provide a condition for determining the code size. We prove that any QT code has a GMP structure. Then we show how to build a generator polynomial matrix for a QT code from its GMP structure, and vice versa. Despite that the class of QT codes contains many codes with best-known parameters, we present different examples of GMP codes with best-known parameters that are neither MP nor QT. Two different lower bounds on the minimum distance of GMP codes are presented; they generalize their counterparts in the MP codes literature. The second proposed lower bound replaces the non-singular by columns matrix with a less restrictive condition. Some examples are provided for comparing the two proposed bounds, as well as showing that these bounds are tight.


title: MLPST: MLP is All You Need for Spatio-Temporal Prediction

abstract: Traffic prediction is a typical spatio-temporal data mining task and has great significance to the public transportation system. Considering the demand for its grand application, we recognize key factors for an ideal spatio-temporal prediction method: efficient, lightweight, and effective. However, the current deep model-based spatio-temporal prediction solutions generally own intricate architectures with cumbersome optimization, which can hardly meet these expectations. To accomplish the above goals, we propose an intuitive and novel framework, MLPST, a pure multi-layer perceptron architecture for traffic prediction. Specifically, we first capture spatial relationships from both local and global receptive fields. Then, temporal dependencies in different intervals are comprehensively considered. Through compact and swift MLP processing, MLPST can well capture the spatial and temporal dependencies while requiring only linear computational complexity, as well as model parameters that are more than an order of magnitude lower than baselines. Extensive experiments validated the superior effectiveness and efficiency of MLPST against advanced baselines, and among models with optimal accuracy, MLPST achieves the best time and space efficiency.


title: On existence and multiplicity of solutions for generalized (p, q)-Laplacian equations on unbounded domains

abstract: This paper deals with the existence and multiplicity of solutions for the generalized $(p, q)$-Laplacian equation \begin{align*} &-{\text{ div}}(A(x, u)|\nabla u|^{p-2}\nabla u) +\frac1p A_t(x, u)|\nabla u|^p -{\text{ div}}(B(x, u)|\nabla u|^{q-2}\nabla u) \\ &\quad\qquad+\frac1q B_t(x, u)|\nabla u|^q + V(x)|u|^{p-2} u+ W(x)|u|^{q-2} u= g(x, u)\quad\qquad\mbox{ in } \mathbb{R}^N, \end{align*} where $1<q\le p< N$, $A, B:\mathbb{R}^N\times\mathbb{R}\to\mathbb{R}$ are suitable $C^1$ Carath\'eodory functions with $A_t(x, u)=\frac{\partial A}{\partial t}(x, u), B_t(x, u)=\frac{\partial B}{\partial t}(x, u)$, $V, W:\mathbb{R}^N\to\mathbb{R}$ are proper ``weight functions" and $g:\mathbb{R}^N\times\mathbb{R}\to\mathbb{R}$ is a Carath\'eodory map. Notwithstanding the occurrence of some coefficients which rely upon the solution itself makes the use of variational techniques more challenging, under suitable assumptions on the involved functions, we are able to exploit the variational nature of our problem. In particular, the existence of a nontrivial solution is derived via a generalized version of the Ambrosetti-Rabinowitz Mountain Pass Theorem, based on a weaker version of the classical Cerami-Palais-Smale condition. Finally, the multiplicity result, which is thoroughly new also even in the simpler case $q=p$, is gained under symmetry assumptions and a sharp decomposition of the ambient space.


title: Limits of Actor-Critic Algorithms for Decision Tree Policies Learning in IBMDPs

abstract: Interpretability of AI models allows for user safety checks to build trust in such AIs. In particular, Decision Trees (DTs) provide a global look at the learned model and transparently reveal which features of the input are critical for making a decision. However, interpretability is hindered if the DT is too large. To learn compact trees, a recent Reinforcement Learning (RL) framework has been proposed to explore the space of DTs using deep RL. This framework augments a decision problem (e.g. a supervised classification task) with additional actions that gather information about the features of an otherwise hidden input. By appropriately penalizing these actions, the agent learns to optimally trade-off size and performance of DTs. In practice, a reactive policy for a partially observable Markov decision process (MDP) needs to be learned, which is still an open problem. We show in this paper that deep RL can fail even on simple toy tasks of this class. However, when the underlying decision problem is a supervised classification task, we show that finding the optimal tree can be cast as a fully observable Markov decision problem and be solved efficiently, giving rise to a new family of algorithms for learning DTs that go beyond the classical greedy maximization ones.


abstract: The connections between Tarski's Q-relation algebras and Thompson's groups F, T, V, and monoid M are reviewed here, along with Jonsson-Tarski algebras, fork algebras, true pairing algebras, and tabular relation algebras. All of these are related to the finitization problem and Tarski's formalization of set theory without variables. Most of the technical details occur in the variety of J-algebras, which is obtained from relation algebras by omitting union and complementation and adopting a set of axioms created by Jonsson. Every relation algebra or J-algebra that contains a pair of conjugated quasiprojections satisfying the Domain and Unicity conditions, such as those that arise from J\'onsson-Tarski algebras or fork algebras, will also contain homomorphic images of F, T, V, and M. The representability of tabular relation algebras is extended here to J-algebras, using a notion of tabularity equivalent among relation algebras to the original definition.


title: Diamond on ladder systems and countably metacompact topological spaces

abstract: The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper, Leiderman and Szeptycki studied $\Delta$-spaces, which are a subclass of the class of countably metacompact spaces. They proved that a single Cohen real introduces a ladder system $L$ over the first uncountable cardinal for which the corresponding space $X_L$ is not a $\Delta$-space, and asked whether there is a ZFC example of a ladder system $L$ over some cardinal $\kappa$ for which $X_L$ is not countably metacompact, in particular, not a $\Delta$-space. We prove that an affirmative answer holds for the cardinal $\kappa=cf(\beth_{\omega+1})$. Assuming $\beth_\omega=\aleph_\omega$, we get an example at a much lower cardinal, namely $\kappa=2^{2^{2^{\aleph_0}}}$, and our ladder system $L$ is moreover $\omega$-bounded.


title: Multi-Static ISAC in Cell-Free Massive MIMO: Precoder Design and Privacy Assessment

abstract: A multi-static sensing-centric integrated sensing and communication (ISAC) network can take advantage of the cell-free massive multiple-input multiple-output infrastructure to achieve remarkable diversity gains and reduced power consumption. While the conciliation of sensing and communication requirements is still a challenge, the privacy of the sensing information is a growing concern that should be seriously taken on the design of these systems to prevent other attacks. This paper tackles this issue by assessing the probability of an internal adversary to infer the target location information from the received signal by considering the design of transmit precoders that jointly optimizes the sensing and communication requirements in a multi-static-based cell-free ISAC network. Our results show that the multi-static setting facilitates a more precise estimation of the location of the target than the mono-static implementation.


title: The limiting spectral distribution of the sample canonical correlation matrix

abstract: In this paper, we investigate the spectral properties of the sample canonical correlation (SCC) matrix under the alternative hypothesis to provide a more comprehensive description of the association between two sets of variables. Our research involves establishing the relationship between the eigenvalues of the SCC matrix and the block correlation matrix, as well as proving the universality of the Stieltjes transform of the limiting spectral distribution (LSD) of the block correlation matrix. By combining the results from the normal case, we establish the limiting spectral distribution (LSD) of the SCC matrix with a general underlying distribution under the arbitrary rank alternative hypothesis. Finally, we present several simulated examples and find that they fit well with our theoretical results.


title: Rayleigh-Taylor Instability in Stratified Compressible Fluids with/without the Interfacial Surface Tension

abstract: Guo--Tice formally established in 2011 that the Rayleigh--Taylor instability inevitably occurs within stratified compressible viscous fluids in a slab domain $\mathbb{R}^2\times (h_-,h_+)$, irrespecive of the presence of interfacial surface tension, where the instability solutions are non-periodic with respect to both horizontal spacial variables $x_1$ and $x_2$, by applying a so-called ''normal mode'' method and a modified variational method to the linearized (motion) equations. It is a long-standing open problem, however, whether Guo--Tice's conclusion can be rigorously verified by the (original) nonlinear equations. This challenge arises due to the failure of constructing a growing mode solution, which is non-periodic with respect to both horizontal spacial variables, to the linearized equations defined on a slab domain. In the present work, we circumvent the difficulty related to growing mode solutions by developing an alternative approximate scheme. In essence, our approach hinges on constructing the horizontally periodic growing mode solution of the linearized equations to approximate the {\it nonlinear} Rayleigh--Taylor instability solutions, which do not exhibit horizontal periodicity. Thanks to this new approximate scheme, we can apply Guo--Hallstrom--Spirn's bootstrap instability method to the nonlinear equations in Lagrangian coordinates, and thus prove Guo--Tice's conclusion. In particular, our approximate method could also be applied to other instability solutions characterized by non-periodic motion in a slab domain, such as the Parker instability and thermal instability.


title: Small telescopes being effective: MAGIC or not?

abstract: The paper describes the MAGIC multi-mode focal reducer (Monitoring of Active Galaxies by Investigation of their Cores), commissioned on the 1-m Zeiss-1000 telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences in September 2020. Three observational modes are currently realised: photometry, polarimetry, and long-slit spectroscopy. Reducing the focal length makes it possible to obtain a sufficiently large field of view for photometry and a large slit height for spectroscopy of $\sim$12$'$, as well as a large field of view for polarimetry with a quadrupole Wollaston prism of $\sim$6$'$.4. This feature makes the complex study of extended nebulae and galaxies efficient. The MAGIC capabilities are presented in examples of observations of various astronomical objects. The spectral mode in the range of 4000-7200 AA provides the spectral resolution $R \sim$ 1000; for a starlike target up to 14 mag in medium-band filters with a seeing of 1$''$ for 20 minutes of total exposure, the photometry accuracy is better than 0.01 mag and the polarization accuracy is better than 0.6%. Especially for the new focal reducer, an offset guide and a position angle rotation system were implemented. The results of the modernization of the baffle system in the optical scheme of the telescope for the suppression of scattered light are also described.


title: Conservation law of harmonic mappings in supercritical dimensions

abstract: In this short note, we provide a partial extension of Rivi\`ere's convervation law in higher dimensions under certain Lorentz integrability condition for the connection matrix. As an application, we obtain a conservation law for weakly harmonic mappings around regular points in supercritical dimensions.


title: Asca: less audio data is more insightful

abstract: Audio recognition in specialized areas such as birdsong and submarine acoustics faces challenges in large-scale pre-training due to the limitations in available samples imposed by sampling environments and specificity requirements. While the Transformer model excels in audio recognition, its dependence on vast amounts of data becomes restrictive in resource-limited settings. Addressing this, we introduce the Audio Spectrogram Convolution Attention (ASCA) based on CoAtNet, integrating a Transformer-convolution hybrid architecture, novel network design, and attention techniques, further augmented with data enhancement and regularization strategies. On the BirdCLEF2023 and AudioSet(Balanced), ASCA achieved accuracies of 81.2% and 35.1%, respectively, significantly outperforming competing methods. The unique structure of our model enriches output, enabling generalization across various audio detection tasks. Our code can be found at https://github.com/LeeCiang/ASCA.