title: Dependency-aware Resource Allocation for Serverless Functions at the Edge

abstract: Serverless computing allows developers to break their code into small components, known as functions, which are automatically managed by a service provider. Being lightweight and modular, serverless functions have been increasingly employed in edge computing, where quick responses and adaptability are key to meeting strict latency requirements. In particular, edge nodes are intrinsically resource-constrained, and efficient resource allocation strategies are crucial for optimizing their usage. Different approaches exist in the literature, but they often overlook the dependencies among functions, that is, how and when functions invoke other functions, obtaining suboptimal results. This paper presents NEPTUNE+, a dependency-aware resource (CPU cores) allocation solution for serverless functions deployed at the edge. The approach extends NEPTUNE, an existing framework for managing edge infrastructures, with a new theoretical model and control algorithm that take dependencies into account function. We evaluated NEPTUNE+ by using three applications and it is able to allocate up to 42% fewer cores compared to NEPTUNE.


title: 3D audio-visual recordings of mosquito wings for aeroacoustic simulation

abstract: Mosquito acoustic communication is studied for its singular and poorly-known in-flight hearing mechanism, for its efficiency in mechanical-to-acoustical power transduction, as well as for being the deadliest disease vector. A combined computational and experimental methods to predict and extract the wing-tone sound from individual tethered or free-flying mosquitoes was developed. This paper describes the experimental methods and gives some preliminary results of the simulations. Simultaneous slow-motion images (20k fps) and 3D-sound of Culex quinquefasciatus mosquitoes were recorded. The sound map around the mosquitoes was recorded in one or two planes with a rotating array of 12-microphones. Backilluminated mosquito-wings allowed to extract 11 veincrossing locations on each high-speed camera image over 3-4 wingbeat periods to generate 3D deformations of the wing. Simultaneous 3D sound data recorded by microphone arrays were post-processed by using the physicsbased independent component analysis to filter out the noise and generate a 3D sound map. The simulated wingtone sound pattern generated from the aeroacoustic simulation agrees well with the original recording in the experiment using the microphone array. The methods we developed will allow us to investigate the wing-tone soundscape of individual mosquitoes during the courtship and mate-chasing.


title: Composition method for chromatic symmetric functions: Neat noncommutative analogs

abstract: This work is inspired by Shareshian and Wachs's exquisite formula for the chromatic symmetric function of paths. We develop a composition method to unearth neat noncommutative analogs of chromatic symmetric functions. A symmetric function is $e$-positive if and only if it has a $\Lambda$-positive noncommutative analog. We bring to light short and sweet $\Lambda$-positive noncommutative analogs for the chromatic symmetric functions of tadpoles and barbells. Using these elegant formulas and the composition method, we discover a new family of $e$-positive graphs and call it hat graphs, which are the unicyclic graphs obtained by adding an edge to a path. We also obtain a compact ribbon Schur analog for cycles.


title: Star Formation Histories of Dwarf Lenticular Galaxies

abstract: Star formation histories (SFHs) are essential for understanding galaxy formation and evolution. We present the mean SFHs of 148 dwarf lenticular galaxies (dS0s) derived from the Sloan Digital Sky Survey (SDSS) spectra. These SFHs reveal two distinct periods of active star formation. The first period, concluding approximately 6 Gyr ago, witnessed the formation of predominantly old, metal-poor (Z=0.0004) stars, accounting for approximately 60\% of the stellar mass and 30\% of the luminosity. The scarcity of extremely metal-poor (Z=0.0001) stars suggests pre-enrichment during the re-ionization era. Star formation gradually waned during this initial phase. In contrast, the second period, ending around 1 Gyr ago, exhibited a peak in the middle of the period, contributing to the formation of moderately old stellar populations with intermediate metallicity. The SFHs of dS0 galaxies show a clear dependence on stellar mass, with more massive dS0s forming stars earlier. But, we find no significant correlation with morphological properties such as outer spiral arms and nucleation. The SFHs of dS0 galaxies share many similarities with those of dE galaxies, suggesting a common origin, mostly not primordial.


title: Context-Aware Trustworthy IoT Energy Services Provisioning

abstract: We propose an IoT energy service provisioning framework to ensure consumers' Quality of Experience (QoE). A novel context-aware trust assessment model is proposed to evaluate the trustworthiness of providers. Our model adapts to the dynamic nature of energy service providers to maintain QoE by selecting trustworthy providers. The proposed model evaluates providers' trustworthiness in various contexts, considering their behavior and energy provisioning history. Additionally, a trust-adaptive composition technique is presented for optimal energy allocation. Experimental results demonstrate the effectiveness and efficiency of the proposed approaches.


title: Spectral conditions for factor-criticality of graphs

abstract: A graph $G$ is $k$-factor-critical if $G-S$ has a perfect matching for any $k$-subset $S$ of the vertex set of $G$. In this paper, we investigate the factor-criticality of graphs with fixed minimum degree and provide sufficient conditions for such graphs to be $k$-factor-critical in terms of spectral radius and signless Laplacian spectral radius.


title: Quantum phase transitions in the alternating XY chain with three-site interactions

abstract: We investigate the quantum phase transition in the alternating XY chain with the XZX+YZY type of three-spin interactions. We present the exact solution derived by means of the Jordan-Wigner transformation and study the average magnetization, spin correlations, and von Neumann entropy to establish the phase diagram. The phase diagram consists of the ferromagnetic phases, the paramagnetic phases, and the phase with weak magnetization (WM). By examining the nearest-neighbor transverse spin correlation, we probe that in the WM phase, the spins within a supercell generate a cluster with a small total spin, but between the nearest-neighbor supercells are distributed randomly. Especially for the dimerized limit case, the spins within a supercell tend to point to opposite directions of the transverse field. In addition, we also investigate the influence of the three-site interaction, and find that the WM phase is absent as the strength of the three-site interaction increases. Our findings shed light on the complex behavior of the alternating XY chain and provide valuable insights for future studies.


title: A Comparison of Bounding Box and Landmark Detection Methods for Video-Based Heart Rate Estimation

abstract: Remote Photoplethysmography (rPPG) uses the cyclic variation of skin tone on a person's forehead region to estimate that person's heart rate. This paper compares two methods: a bounding box-based method and a landmark-detection-based method to estimate heart rate, and discovered that the landmark-based approach has a smaller variance in terms of model results with a standard deviation that is more than 4 times smaller (4.171 compared to 18.720).


title: An extremal problem for the convolution of logarithmically concave functions

abstract: A new position is introduced and studied for the convolution of log-concave functions, which may be regarded as a functional analogue of the maximum intersection position of convex bodies introduced and studied by Artstein-Avidan and Katzin (2018) and Artstein-Avidan and Putterman (2022). Our main result is a John-type theorem for the maximal intersection position of a pair of log-concave functions, including the corresponding decomposition of the identity. The main result holds under very weak assumptions on the functions; in particular, the functions considered may both have unbounded supports.


title: Hessian estimates for special Lagrangian equation by doubling

abstract: New, doubling proofs are given for the interior Hessian estimates of the special Lagrangian equation. These estimates were originally shown by Chen-Warren-Yuan in CPAM 2009 and Wang-Yuan in AJM 2014. This yields a higher codimension analogue of Korevaar's 1987 pointwise proof of the gradient estimate for minimal hypersurfaces, without using the Michael-Simon mean value inequality.


title: Online Continual Domain Adaptation for Semantic Image Segmentation Using Internal Representations

abstract: Semantic segmentation models trained on annotated data fail to generalize well when the input data distribution changes over extended time period, leading to requiring re-training to maintain performance. Classic Unsupervised domain adaptation (UDA) attempts to address a similar problem when there is target domain with no annotated data points through transferring knowledge from a source domain with annotated data. We develop an online UDA algorithm for semantic segmentation of images that improves model generalization on unannotated domains in scenarios where source data access is restricted during adaptation. We perform model adaptation is by minimizing the distributional distance between the source latent features and the target features in a shared embedding space. Our solution promotes a shared domain-agnostic latent feature space between the two domains, which allows for classifier generalization on the target dataset. To alleviate the need of access to source samples during adaptation, we approximate the source latent feature distribution via an appropriate surrogate distribution, in this case a Gassian mixture model (GMM). We evaluate our approach on well established semantic segmentation datasets and demonstrate it compares favorably against state-of-the-art (SOTA) UDA semantic segmentation methods.


title: PTE: Axiomatic Semantics based Compiler Testing

abstract: The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods however either rely on weak oracles (e.g., a program behaves the same if only dead code is modified), or require substantial initial effort (e.g., having a complete operational language semantics). While the former prevents a comprehensive correctness evaluation, the latter makes those methods irrelevant in practice. In this work, we propose an axiomatic semantics based approach for testing compilers, called PTE. The idea is to incrementally develop a set of ``axioms'' capturing anecdotes of the language semantics in the form of \emph{(\textbf{p}recondition, \textbf{t}ransformation, \textbf{e}xpectation) triples, which allows us to test the compiler automatically.} Such axioms are written in the same language whose compiler is under test, and can be developed either based on the language specification, or by generalizing the bug reports. PTE has been applied to a newly developed compiler (i.e., Cangjie) and a mature compiler (i.e., Java), and successfully identified 42 implementation bugs and 9 potential language design issues.


title: Schwartz $\kappa$-densities for the moduli stack of rank $2$ bundles on a curve over a local field

abstract: Let $\rm{Bun}$ be the moduli stack of rank $2$ bundles with fixed determinant on a smooth proper curve $C$ over a local field $F$. We show how to associate with a Schwartz $\kappa$-density, for $\rm{Re}(\kappa)\ge 1/2$, a smooth function on the corresponding coarse moduli space of very stable bundles. In the non-archimedean case we also prove that the stack $\rm{Bun}$ is $\kappa$-bounded in the sense of Definition 2.10 of [arXiv:2112.08139] for any $\kappa\in\mathbb{C}$.


title: Optimization of performance of the KM2A full array using the Crab Nebula

abstract: The full array of the Large High Altitude Air Shower Observatory (LHAASO) has been in operation since July 2021. For its kilometer-square array (KM2A), we have optimized the selection criteria for very high and ultra-high energy $\gamma$-rays, using the data collected from August 2021 to August 2022, resulting in an improvement on significance of about 15$\%$ compared with previous cuts. With the implementation of these new selection criteria, the angular resolution is also significantly improved by approximately 10$\%$ at tens of TeV. Other aspects of the full KM2A array performance, such as the pointing error are also calibrated using the Crab Nebula. The resulting energy spectrum of the Crab Nebula in the energy range of 10-1000 TeV can be well fitted by a log-parabola model, which is consistent with the previous results from LHAASO and other experiments.


title: The numerical solution of the free-boundary cell motility problem

abstract: The cell motility problem has been investigated for a long time. Today, many biologists, physicists, and mathematicians are looking for new research instruments for this process. A simple 2D model of a free-boundary cell moving on a homogeneous isotropic surface is presented in the paper. It describes the dynamics of the complex actomyosin liquid, whose special properties influence the boundary dynamics and cell motility. The model consists of a system of equations with the free boundary domain and contains a non-local term. In this work, we present a numerical solution of this problem.


title: Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI

abstract: The remarkable advancements in artificial intelligence (AI), primarily driven by deep neural networks, have significantly impacted various aspects of our lives. However, the current challenges surrounding unsustainable computational trajectories, limited robustness, and a lack of explainability call for the development of next-generation AI systems. Neuro-symbolic AI (NSAI) emerges as a promising paradigm, fusing neural, symbolic, and probabilistic approaches to enhance interpretability, robustness, and trustworthiness while facilitating learning from much less data. Recent NSAI systems have demonstrated great potential in collaborative human-AI scenarios with reasoning and cognitive capabilities. In this paper, we provide a systematic review of recent progress in NSAI and analyze the performance characteristics and computational operators of NSAI models. Furthermore, we discuss the challenges and potential future directions of NSAI from both system and architectural perspectives.


title: Short proof of the Kneser-Edmonds theorem on the degree of a map between closed surfaces

abstract: Suppose for closed surfaces $M,N$ there exists a continuous map $f:M\to N$ of geometric degree $d>0$. Then $\chi(M)\le d\cdot\chi(N)$. This inequality was first proved by Kneser in case of orientable surfaces and by Edmonds for arbitrary $M,N$. We give a new simple proof of this result. Our proof is completely elementary and does not use additional techniques (such as the factorisation theorem of Edmonds and the absolute degree theory of Hopf).


title: Relating Events and Frames Based on Self-Supervised Learning and Uncorrelated Conditioning for Unsupervised Domain Adaptation

abstract: Event-based cameras provide accurate and high temporal resolution measurements for performing computer vision tasks in challenging scenarios, such as high-dynamic range environments and fast-motion maneuvers. Despite their advantages, utilizing deep learning for event-based vision encounters a significant obstacle due to the scarcity of annotated data caused by the relatively recent emergence of event-based cameras. To overcome this limitation, leveraging the knowledge available from annotated data obtained with conventional frame-based cameras presents an effective solution based on unsupervised domain adaptation. We propose a new algorithm tailored for adapting a deep neural network trained on annotated frame-based data to generalize well on event-based unannotated data. Our approach incorporates uncorrelated conditioning and self-supervised learning in an adversarial learning scheme to close the gap between the two source and target domains. By applying self-supervised learning, the algorithm learns to align the representations of event-based data with those from frame-based camera data, thereby facilitating knowledge transfer.Furthermore, the inclusion of uncorrelated conditioning ensures that the adapted model effectively distinguishes between event-based and conventional data, enhancing its ability to classify event-based images accurately.Through empirical experimentation and evaluation, we demonstrate that our algorithm surpasses existing approaches designed for the same purpose using two benchmarks. The superior performance of our solution is attributed to its ability to effectively utilize annotated data from frame-based cameras and transfer the acquired knowledge to the event-based vision domain.


title: Polycyclic aromatic hydrocarbon (PAH) luminous galaxies in JWST CEERS data

abstract: It has been an unanswered question how many dusty galaxies have been undetected from the state-of-the-art observational surveys. JWST enables us to detect faint IR galaxies that have prominent polycyclic aromatic hydrocarbon (PAH) features in the mid-IR wavelengths. PAH is a valuable tracer of star formation and dust properties in the mid-infrared wavelength. The JWST Cosmic Evolution Early Release Science (CEERS) fields provide us with wavelength coverage from 7.7 to 21 $\mu$m using six photometric bands of the mid-infrared instrument (MIRI). We have identified galaxies dominated by mid-IR emission from PAHs, termed PAH galaxies. From our multi-band photometry catalogue, we selected ten PAH galaxies displaying high flux ratios of $\log(S_{15}/S_{10}) > 0.8$. The SED fitting analysis indicates that these galaxies are star-forming galaxies with total IR luminosities of $10^{10}$ $\sim$ $10^{11.5}$ $L_{\odot}$ at z $\sim 1$. The morphology of PAH galaxies does not show any clear signatures of major merging or interaction within the MIRI resolution. The majority of them are on the star-formation main sequence at $z \sim 1$. Our result demonstrates that JWST can detect PAH emissions from normal star-forming galaxies at $z \sim 1$, in addition to ultra-luminous infrared galaxies (ULIRGs) or luminous infrared galaxies (LIRGs).


title: Auffusion: Leveraging the Power of Diffusion and Large Language Models for Text-to-Audio Generation

abstract: Recent advancements in diffusion models and large language models (LLMs) have significantly propelled the field of AIGC. Text-to-Audio (TTA), a burgeoning AIGC application designed to generate audio from natural language prompts, is attracting increasing attention. However, existing TTA studies often struggle with generation quality and text-audio alignment, especially for complex textual inputs. Drawing inspiration from state-of-the-art Text-to-Image (T2I) diffusion models, we introduce Auffusion, a TTA system adapting T2I model frameworks to TTA task, by effectively leveraging their inherent generative strengths and precise cross-modal alignment. Our objective and subjective evaluations demonstrate that Auffusion surpasses previous TTA approaches using limited data and computational resource. Furthermore, previous studies in T2I recognizes the significant impact of encoder choice on cross-modal alignment, like fine-grained details and object bindings, while similar evaluation is lacking in prior TTA works. Through comprehensive ablation studies and innovative cross-attention map visualizations, we provide insightful assessments of text-audio alignment in TTA. Our findings reveal Auffusion's superior capability in generating audios that accurately match textual descriptions, which further demonstrated in several related tasks, such as audio style transfer, inpainting and other manipulations. Our implementation and demos are available at https://auffusion.github.io.


title: High-dimensional FGM-ResNet modelling of turbulent spray combustion: Effects of evaporation non-adiabacity and scalar correlation

abstract: In the stratified or partially premixed piloted jet flames, previous experimental and priori studies have identified a strong correlation between mixture fraction and progress variable. In the framework of large-eddy simulation (LES) and flamelet-generated manifolds (FGM) approach, a joint probability density function (PDF) method is constructed to characterize subgrid correlations. To pave the way for high dimensional tabulation modeling, a deep residual network (ResNet) is trained, dramatically reducing the memory footprint of tabulation. The Message Passing Interface (MPI) shared memory technique is applied to load the original chemical table during parallel computations. Application of LES to a partially pre-vaporized ethanol spray flame demonstrates good agreement with experimental results. Consideration of the subgrid correlation results in a noticeable improvement in temperature prediction. Calculations using ResNet show a notable consistency with those using chemical tables. Visualization of enthalpy highlights the significance of non-adiabatic tabulation in modeling liquid fuel combustion. The unscaled progress variable is selected to better describe the chemical reaction rate in the blending zone of an air stream and a pilot stream with the product of a fully burnt lean fuel mixture. The impact of the source term due to evaporation in the transport equation of the progress variable is validated. The correlation coefficient is found to significantly influence the chemical reaction rate. The subgrid-scale interaction between liquid fuel evaporation and subgrid correlation is elucidated.


title: Linear quotients of connected ideals of graphs

abstract: As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For trees, we show that $\operatorname{J}_{t}$ has a linear resolution iff the tree is $t$-gap-free, and that this is equivalent to having linear quotients. We then show that if $G$ is any gap-free and $t$-claw-free graph, then $\operatorname{J}_{t}(G)$ has linear quotients and hence, linear resolution.


title: Sharp Analysis of Power Iteration for Tensor PCA

abstract: We investigate the power iteration algorithm for the tensor PCA model introduced in Richard and Montanari (2014). Previous work studying the properties of tensor power iteration is either limited to a constant number of iterations, or requires a non-trivial data-independent initialization. In this paper, we move beyond these limitations and analyze the dynamics of randomly initialized tensor power iteration up to polynomially many steps. Our contributions are threefold: First, we establish sharp bounds on the number of iterations required for power method to converge to the planted signal, for a broad range of the signal-to-noise ratios. Second, our analysis reveals that the actual algorithmic threshold for power iteration is smaller than the one conjectured in literature by a polylog(n) factor, where n is the ambient dimension. Finally, we propose a simple and effective stopping criterion for power iteration, which provably outputs a solution that is highly correlated with the true signal. Extensive numerical experiments verify our theoretical results.


title: PAC-Bayesian Domain Adaptation Bounds for Multi-view learning

abstract: This paper presents a series of new results for domain adaptation in the multi-view learning setting. The incorporation of multiple views in the domain adaptation was paid little attention in the previous studies. In this way, we propose an analysis of generalization bounds with Pac-Bayesian theory to consolidate the two paradigms, which are currently treated separately. Firstly, building on previous work by Germain et al., we adapt the distance between distribution proposed by Germain et al. for domain adaptation with the concept of multi-view learning. Thus, we introduce a novel distance that is tailored for the multi-view domain adaptation setting. Then, we give Pac-Bayesian bounds for estimating the introduced divergence. Finally, we compare the different new bounds with the previous studies.


title: Homogenization and nonselfadjoint spectral optimization for dissipative Maxwell eigenproblems

abstract: The homogenization of eigenvalues of non-Hermitian Maxwell operators is studied by the H-convergence method. It is assumed that the Maxwell systems are equipped with suitable m-dissipative boundary conditions, namely, with Leontovich or generalized impedance boundary conditions of the form $n \times E = Z [(n \times H )\times n ] $. We show that, for a wide class of impedance operators $Z$, the nonzero spectrum of the corresponding Maxwell operator is discrete. To this end, a new continuous embedding theorem for domains of Maxwell operators is obtained. We prove the convergence of eigenvalues to an eigenvalue of a homogenized Maxwell operator under the assumption of the H-convergence of the material tensor-fields. This result is used then to prove the existence of optimizers for eigenvalue optimization problems and the existence of an eigenvalue-free region around zero. As applications, connections with the quantum optics problem of the design of high-Q resonators are discussed, and a new way of the quantification of the unique (and nonunique) continuation property is suggested.


title: Gold Nanoparticles Coated Optical Fiber for Real-time Localized Surface Plasmon Resonance Analysis of In-situ Light-Matter Interactions

abstract: In situ measurement of analytes for in vivo or in vitro systems has been challenging due to the bulky size of traditional analytical instruments. Also, frequent in vitro concentration measurements rely on fluorescence-based methods or direct slicing of the matrix for analyses. These traditional approaches become unreliable if localized and in situ analyses are needed. In contrast, for in situ and real-time analysis of target analytes, surface-engineered optical fibers can be leveraged as a powerful miniaturized tool, which has shown promise from bio to environmental studies. Herein, we demonstrate an optical fiber functionalized with gold nanoparticles using a dip-coating process to investigate the interaction of light with molecules at or near the surface of the optical fiber. Localized surface plasmon resonance from the light-matter interaction enables the detection of minute changes in the refractive index of the surrounding medium. We used this principle to assess the in situ molecular distribution of a synthetic drug (methylene blue) in an in vitro matrix (agarose gel) having varying concentrations. Leveraging the probed Z-height in diffused analytes, combined with its in silico data, our platform shows the feasibility of a simple optofluidic tool. Such straightforward in situ measurements of analytes with optical fiber hold potential for real-time molecular diffusion and molecular perturbation analyses relevant to biomedical and clinical studies.


title: Braiding and fusion of Majorana fermions in minimal Kitaev spin liquid on a single hexagon with $5$ qubits

abstract: We investigate the minimal Kitaev spin liquid on a single hexagon with three Ising-type exchange interactions proportional to $K_{x}$, $K_{y}$ and $K_{z}$. In the limit $K_{z}=0$, we find 32-fold zero-energy states, leading to 10 free Majorana fermions, and hence, 5 qubits are constructed. These qubits are protected by particle-hole symmetry even for $K_{z}\neq 0$. Braiding of these Majorana fermions is possible by temporally controlling a spin-correlation Hamiltonian. In addition, the fusion is possible by measuring the spin correlation. By switching on the Heisenberg interaction together with magnetic field, only one zero-energy state persists, which can be used as an initialization of qubits. Furthermore, it is shown that $3L+2$ qubits are constructed on the Kitaev spin liquid model on connected $L$ hexagons. All the processes of initialization, operation and readout of qubits are executable in terms of spin operators.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.supr-con quant-ph


title: Indecomposable motivic cycles on K3 surfaces of degree 2

abstract: In this paper we construct new indecomposable motivic cycles in the group $H^3_{\mathcal M}(X,{\mathds Q}(2))$ where X is a degree 2 K3 surface. This generalizes our construction in [Sre22] for Kummer surfaces of Abelian surfaces as well as the recent work of Ma and Sato [MS23] on degree 2 K3 surfaces.


title: Cheetah: Natural Language Generation for 517 African Languages

abstract: Low-resource African languages pose unique challenges for natural language processing (NLP) tasks, including natural language generation (NLG). In this paper, we develop Cheetah, a massively multilingual NLG language model for African languages. Cheetah supports 517 African languages and language varieties, allowing us to address the scarcity of NLG resources and provide a solution to foster linguistic diversity. We demonstrate the effectiveness of Cheetah through comprehensive evaluations across six generation downstream tasks. In five of the six tasks, Cheetah significantly outperforms other models, showcasing its remarkable performance for generating coherent and contextually appropriate text in a wide range of African languages. We additionally conduct a detailed human evaluation to delve deeper into the linguistic capabilities of Cheetah. The introduction of Cheetah has far-reaching benefits for linguistic diversity. By leveraging pretrained models and adapting them to specific languages, our approach facilitates the development of practical NLG applications for African communities. The findings of this study contribute to advancing NLP research in low-resource settings, enabling greater accessibility and inclusion for African languages in a rapidly expanding digital landscape. We publicly release our models for research.


title: Elastic Multi-Gradient Descent for Parallel Continual Learning

abstract: The goal of Continual Learning (CL) is to continuously learn from new data streams and accomplish the corresponding tasks. Previously studied CL assumes that data are given in sequence nose-to-tail for different tasks, thus indeed belonging to Serial Continual Learning (SCL). This paper studies the novel paradigm of Parallel Continual Learning (PCL) in dynamic multi-task scenarios, where a diverse set of tasks is encountered at different time points. PCL presents challenges due to the training of an unspecified number of tasks with varying learning progress, leading to the difficulty of guaranteeing effective model updates for all encountered tasks. In our previous conference work, we focused on measuring and reducing the discrepancy among gradients in a multi-objective optimization problem, which, however, may still contain negative transfers in every model update. To address this issue, in the dynamic multi-objective optimization problem, we introduce task-specific elastic factors to adjust the descent direction towards the Pareto front. The proposed method, called Elastic Multi-Gradient Descent (EMGD), ensures that each update follows an appropriate Pareto descent direction, minimizing any negative impact on previously learned tasks. To balance the training between old and new tasks, we also propose a memory editing mechanism guided by the gradient computed using EMGD. This editing process updates the stored data points, reducing interference in the Pareto descent direction from previous tasks. Experiments on public datasets validate the effectiveness of our EMGD in the PCL setting.


title: LLaMA Beyond English: An Empirical Study on Language Capability Transfer

abstract: In recent times, substantial advancements have been witnessed in large language models (LLMs), exemplified by ChatGPT, showcasing remarkable proficiency across a range of complex tasks. However, many mainstream LLMs (e.g. LLaMA) are pretrained on English-dominant corpus, which limits their performance in other non-English languages. In this paper, we focus on how to effectively transfer the capabilities of language generation and following instructions to a non-English language. To answer this question, we conduct an extensive empirical investigation based on LLaMA, accumulating over 1440 GPU hours. We analyze the impact of key factors such as vocabulary extension, further pretraining, and instruction tuning on transfer. To accurately assess the model's level of knowledge, we employ four widely used standardized testing benchmarks: C-Eval, MMLU, AGI-Eval, and GAOKAO-Bench. Furthermore, a comprehensive evaluation of the model's response quality is conducted, considering aspects such as accuracy, fluency, informativeness, logical coherence, and harmlessness, based on LLM-Eval, a benchmarks consisting instruction tasks from 17 diverse categories. Our evaluation results demonstrate that comparable performance to state-of-the-art transfer models can be achieved with less than 1% of the pretraining data, both in terms of knowledge alignment and response quality. Furthermore, the experimental outcomes across the thirteen low-resource languages also exhibit similar trends. We anticipate that the conclusions revealed by the experiments will aid the community in developing non-English LLMs.


title: Enhancing Automatic Modulation Recognition through Robust Global Feature Extraction

abstract: Automatic Modulation Recognition (AMR) plays a crucial role in wireless communication systems. Deep learning AMR strategies have achieved tremendous success in recent years. Modulated signals exhibit long temporal dependencies, and extracting global features is crucial in identifying modulation schemes. Traditionally, human experts analyze patterns in constellation diagrams to classify modulation schemes. Classical convolutional-based networks, due to their limited receptive fields, excel at extracting local features but struggle to capture global relationships. To address this limitation, we introduce a novel hybrid deep framework named TLDNN, which incorporates the architectures of the transformer and long short-term memory (LSTM). We utilize the self-attention mechanism of the transformer to model the global correlations in signal sequences while employing LSTM to enhance the capture of temporal dependencies. To mitigate the impact like RF fingerprint features and channel characteristics on model generalization, we propose data augmentation strategies known as segment substitution (SS) to enhance the model's robustness to modulation-related features. Experimental results on widely-used datasets demonstrate that our method achieves state-of-the-art performance and exhibits significant advantages in terms of complexity. Our proposed framework serves as a foundational backbone that can be extended to different datasets. We have verified the effectiveness of our augmentation approach in enhancing the generalization of the models, particularly in few-shot scenarios. Code is available at \url{https://github.com/AMR-Master/TLDNN}.


title: A reciprocity relation for the twisted second moment of the Riemman Zeta function

abstract: We prove a reciprocity relation for the twisted second moment of the Riemann Zeta function. This provides an analogue to a formula of Conrey for Dirichlet L-functions


title: Boltzmann equation with mixed boundary condition

abstract: We study the Boltzmann equation in a smooth bounded domain featuring a mixed boundary condition. Specifically, gas particles experience specular reflection in two parallel plates, while diffusive reflection occurs in the remaining portion between these two specular regions. The boundary is assumed to be motionless and isothermal. Our main focus is on constructing global-in-time small-amplitude solutions around global Maxwellians for the corresponding initial-boundary value problem. The proof relies on the $L^2$ hypocoercivity at the linear level, utilizing the weak formulation and various functional inequalities on the test functions, such as Poincar\'e and Korn inequalities. It also extends to the linear problem involving Maxwell boundary conditions, where the accommodation coefficient can be a piecewise constant function on the boundary, allowing for more general bounded domains. Moreover, we develop a delicate application of the $L^2-L^\infty$ bootstrap argument, which relies on the specific geometry of our domains, to effectively handle this mixed-type boundary condition.


title: Accelerating Discovery of Novel and Bioactive Ligands With Pharmacophore-Informed Generative Models

abstract: Deep generative models have gained significant advancements to accelerate drug discovery by generating bioactive chemicals against desired targets. Nevertheless, most generated compounds that have been validated for potent bioactivity often exhibit structural novelty levels that fall short of satisfaction, thereby providing limited inspiration to human medicinal chemists. The challenge faced by generative models lies in their ability to produce compounds that are both bioactive and novel, rather than merely making minor modifications to known actives present in the training set. Recognizing the utility of pharmacophores in facilitating scaffold hopping, we developed TransPharmer, an innovative generative model that integrates ligand-based interpretable pharmacophore fingerprints with generative pre-training transformer (GPT) for de novo molecule generation. TransPharmer demonstrates superior performance across tasks involving unconditioned distribution learning, de novo generation and scaffold elaboration under pharmacophoric constraints. Its distinct exploration mode within the local chemical space renders it particularly useful for scaffold hopping, producing compounds that are structurally novel while pharmaceutically related. The efficacy of TransPharmer is validated through two case studies involving the dopamine receptor D2 (DRD2) and polo-like kinase 1 (PLK1). Notably in the case of PLK1, three out of four synthesized designed compounds exhibit submicromolar activities, with the most potent one, IIP0943, demonstrating a potency of 5.1 nM. Featuring a new scaffold of 4-(benzo[b]thiophen-7-yloxy)pyrimidine, IIP0943 also exhibits high selectivity for PLK1. It was demonstrated that TransPharmer is a powerful tool for discovery of novel and bioactive ligands.


title: Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models

abstract: Pre-trained code models have recently achieved substantial improvements in many code intelligence tasks. These models are first pre-trained on large-scale unlabeled datasets in a task-agnostic manner using self-supervised learning, and then fine-tuned on labeled datasets in downstream tasks. However, the labeled datasets are usually limited in size (i.e., human intensive efforts), which may hinder the performance of pre-trained code models in specific tasks. To mitigate this, one possible solution is to leverage the large-scale unlabeled data in the tuning stage by pseudo-labeling. However, directly employing the pseudo-labeled data can bring a large amount of noise, i.e., incorrect labels, leading to suboptimal performance. How to effectively leverage the noisy pseudo-labeled data is a challenging yet under-explored problem.In this paper, we propose a novel approach named HINT to improve pre-trained code models with large-scale unlabeled datasets by better utilizing the pseudo-labeled data. HINT includes two main modules: HybrId pseudo-labeled data selection and Noise-tolerant Training. In the hybrid pseudo-data selection module, considering the robustness issue, apart from directly measuring the quality of pseudo labels through training loss, we further propose to employ a retrieval-based method to filter low-quality pseudo-labeled data. The noise-tolerant training module aims to further mitigate the influence of errors in pseudo labels by training the model with a noise-tolerant loss function and by regularizing the consistency of model predictions.The experimental results show that HINT can better leverage those unlabeled data in a task-specific way and provide complementary benefits for pre-trained models, e.g., improving the best baseline model by 15.33%, 16.50%, and 8.98% on code summarization, defect detection, and assertion generation, respectively.


title: On Classes of Fredholm Type Operators

abstract: Given an idempotent $p$ in a Banach algebra and following the study in \cite{P50} of p-invertibility, we consider here left p-invertibility, right p-invertibility and p-invertibility in the Calkin Algebra $\mathcal{C}(X),$ where $X$ is a Banach space. Then we define and study left and right generalized Drazin invertibility and we characterize left and right Drazin invertible elements in the Calkin algebra. Globally, this leads to define and characterize the classes of P-Fredholm, pseudo B-Fredholm and weak B-Fredholm operators.


title: Experimenting a New Programming Practice with LLMs

abstract: The recent development on large language models makes automatically constructing small programs possible. It thus has the potential to free software engineers from low-level coding and allow us to focus on the perhaps more interesting parts of software development, such as requirement engineering and system testing. In this project, we develop a prototype named AISD (AI-aided Software Development), which is capable of taking high-level (potentially vague) user requirements as inputs, generates detailed use cases, prototype system designs, and subsequently system implementation. Different from existing attempts, AISD is designed to keep the user in the loop, i.e., by repeatedly taking user feedback on use cases, high-level system designs, and prototype implementations through system testing. AISD has been evaluated with a novel benchmark of non-trivial software projects. The experimental results suggest that it might be possible to imagine a future where software engineering is reduced to requirement engineering and system testing only.


title: Trade-off relations of quantum resource theory in Heisenberg models

abstract: Studying the relations between entanglement and coherence is essential in many quantum information applications. For this, we consider the concurrence, intrinsic concurrence and first-order coherence, and evaluate the proposed trade-off relations between them. In particular, we study the temporal evolution of a general two-qubit XYZ Heisenberg model with asymmetric spin-orbit interaction under decoherence and analyze the trade-off relations of quantum resource theory. For XYZ Heisenberg model, we confirm that the trade-off relation between intrinsic concurrence and first-order coherence holds. Furthermore, we show that the lower bound of intrinsic concurrence is universally valid, but the upper bound is generally not. These relations in Heisenberg models can provide a way to explore how quantum resources are distributed in spins, which may inspire future applications in quantum information processing.


title: Robust Inference for Multiple Predictive Regressions with an Application on Bond Risk Premia

abstract: We propose a robust hypothesis testing procedure for the predictability of multiple predictors that could be highly persistent. Our method improves the popular extended instrumental variable (IVX) testing (Phillips and Lee, 2013; Kostakis et al., 2015) in that, besides addressing the two bias effects found in Hosseinkouchack and Demetrescu (2021), we find and deal with the variance-enlargement effect. We show that two types of higher-order terms induce these distortion effects in the test statistic, leading to significant over-rejection for one-sided tests and tests in multiple predictive regressions. Our improved IVX-based test includes three steps to tackle all the issues above regarding finite sample bias and variance terms. Thus, the test statistics perform well in size control, while its power performance is comparable with the original IVX. Monte Carlo simulations and an empirical study on the predictability of bond risk premia are provided to demonstrate the effectiveness of the newly proposed approach.


title: BEV-TSR: Text-Scene Retrieval in BEV Space for Autonomous Driving

abstract: The rapid development of the autonomous driving industry has led to a significant accumulation of autonomous driving data. Consequently, there comes a growing demand for retrieving data to provide specialized optimization. However, directly applying previous image retrieval methods faces several challenges, such as the lack of global feature representation and inadequate text retrieval ability for complex driving scenes. To address these issues, firstly, we propose the BEV-TSR framework which leverages descriptive text as an input to retrieve corresponding scenes in the Bird's Eye View (BEV) space. Then to facilitate complex scene retrieval with extensive text descriptions, we employ a large language model (LLM) to extract the semantic features of the text inputs and incorporate knowledge graph embeddings to enhance the semantic richness of the language embedding. To achieve feature alignment between the BEV feature and language embedding, we propose Shared Cross-modal Embedding with a set of shared learnable embeddings to bridge the gap between these two modalities, and employ a caption generation task to further enhance the alignment. Furthermore, there lack of well-formed retrieval datasets for effective evaluation. To this end, we establish a multi-level retrieval dataset, nuScenes-Retrieval, based on the widely adopted nuScenes dataset. Experimental results on the multi-level nuScenes-Retrieval show that BEV-TSR achieves state-of-the-art performance, e.g., 85.78% and 87.66% top-1 accuracy on scene-to-text and text-to-scene retrieval respectively. Codes and datasets will be available.


title: DTBS: Dual-Teacher Bi-directional Self-training for Domain Adaptation in Nighttime Semantic Segmentation

abstract: Due to the poor illumination and the difficulty in annotating, nighttime conditions pose a significant challenge for autonomous vehicle perception systems. Unsupervised domain adaptation (UDA) has been widely applied to semantic segmentation on such images to adapt models from normal conditions to target nighttime-condition domains. Self-training (ST) is a paradigm in UDA, where a momentum teacher is utilized for pseudo-label prediction, but a confirmation bias issue exists. Because the one-directional knowledge transfer from a single teacher is insufficient to adapt to a large domain shift. To mitigate this issue, we propose to alleviate domain gap by incrementally considering style influence and illumination change. Therefore, we introduce a one-stage Dual-Teacher Bi-directional Self-training (DTBS) framework for smooth knowledge transfer and feedback. Based on two teacher models, we present a novel pipeline to respectively decouple style and illumination shift. In addition, we propose a new Re-weight exponential moving average (EMA) to merge the knowledge of style and illumination factors, and provide feedback to the student model. In this way, our method can be embedded in other UDA methods to enhance their performance. For example, the Cityscapes to ACDC night task yielded 53.8 mIoU (\%), which corresponds to an improvement of +5\% over the previous state-of-the-art. The code is available at \url{https://github.com/hf618/DTBS}.


title: Roles of non-axisymmetric perturbations in free drift vertical displacement events on EAST

abstract: The safe operation of most tokamaks, especially the largen sized ones, rely on the feedback control of the vertical displacement events (VDEs). However, most these feedback control systems are based on the axisymmetric VDE models. In this work, we use NIMROD simulations to study the roles of non-axisymmetric perturbations in free drift vertical displacement events on EAST. The high-$n$ modes in non-axisymmetric VDE grow first, which drive the formation of high-$n$ magnetic island chains. Subsequently, the magnetic island chains grow and overlap with each other, leading to the destruction of the magnetic flux surface, which induces a minor disruption and accelerates the start of the following major disruption. The magnetic island and the stochastic magnetic field allow the toroidally asymmetric poloidal plasma current to jet towards the hoop force direction, forming the finger and filamentary structures. Such a plasma current asymmetry strongly depends on the anisotropy in thermal transport coefficients.


title: Discovering Significant Topics from Legal Decisions with Selective Inference

abstract: We propose and evaluate an automated pipeline for discovering significant topics from legal decision texts by passing features synthesized with topic models through penalised regressions and post-selection significance tests. The method identifies case topics significantly correlated with outcomes, topic-word distributions which can be manually-interpreted to gain insights about significant topics, and case-topic weights which can be used to identify representative cases for each topic. We demonstrate the method on a new dataset of domain name disputes and a canonical dataset of European Court of Human Rights violation cases. Topic models based on latent semantic analysis as well as language model embeddings are evaluated. We show that topics derived by the pipeline are consistent with legal doctrines in both areas and can be useful in other related legal analysis tasks.


title: A prediction-correction based iterative convolution-thresholding method for topology optimization of heat transfer problems

abstract: In this paper, we propose an iterative convolution-thresholding method (ICTM) based on prediction-correction for solving the topology optimization problem in steady-state heat transfer equations. The problem is formulated as a constrained minimization problem of the complementary energy, incorporating a perimeter/surface-area regularization term, while satisfying a steady-state heat transfer equation. The decision variables of the optimization problem represent the domains of different materials and are represented by indicator functions. The perimeter/surface-area term of the domain is approximated using Gaussian kernel convolution with indicator functions. In each iteration, the indicator function is updated using a prediction-correction approach. The prediction step is based on the variation of the objective functional by imposing the constraints, while the correction step ensures the monotonically decreasing behavior of the objective functional. Numerical results demonstrate the efficiency and robustness of our proposed method, particularly when compared to classical approaches based on the ICTM.


title: A Novel Dual-Stage Evolutionary Algorithm for Finding Robust Solutions

abstract: In robust optimization problems, the magnitude of perturbations is relatively small. Consequently, solutions within certain regions are less likely to represent the robust optima when perturbations are introduced. Hence, a more efficient search process would benefit from increased opportunities to explore promising regions where global optima or good local optima are situated. In this paper, we introduce a novel robust evolutionary algorithm named the dual-stage robust evolutionary algorithm (DREA) aimed at discovering robust solutions. DREA operates in two stages: the peak-detection stage and the robust solution-searching stage. The primary objective of the peak-detection stage is to identify peaks in the fitness landscape of the original optimization problem. Conversely, the robust solution-searching stage focuses on swiftly identifying the robust optimal solution using information obtained from the peaks discovered in the initial stage. These two stages collectively enable the proposed DREA to efficiently obtain the robust optimal solution for the optimization problem. This approach achieves a balance between solution optimality and robustness by separating the search processes for optimal and robust optimal solutions. Experimental results demonstrate that DREA significantly outperforms five state-of-the-art algorithms across 18 test problems characterized by diverse complexities. Moreover, when evaluated on higher-dimensional robust optimization problems (100-$D$ and 200-$D$), DREA also demonstrates superior performance compared to all five counterpart algorithms.


title: Cartesian closed and stable subconstructs of Q-Ord

abstract: It is shown that the category of fuzzy ordered sets and order-preserving maps valued in the quantale based on a continuous triangular norm on the unit interval contains a largest Cartesian closed and stable subconstruct which contains all crisp ordered sets.


title: Efficient Rare Event Sampling with Unsupervised Normalising Flows

abstract: From Physics and Biology to Seismology and Economics, the behaviour of countless systems is determined by impactful yet unlikely transitions between metastable states known as \emph{rare events}, the study of which is essential for understanding and controlling these systems' properties. Classical computational methods to sample rare events remain prohibitively inefficient, and are a bottleneck for enhanced samplers requiring prior data. Here, we introduce a novel framework, FlowRES that uses unsupervised normalising flow neural networks to enhance Monte Carlo sampling of rare events by generating high-quality nonlocal Monte Carlo proposals. We validate FlowRES by sampling the transition path ensembles of equilibrium and non-equilibrium systems of Brownian particles exploring increasingly complex potential surfaces. Beyond eliminating requirements for prior data, FlowRES features key advantages over established samplers: no collective variables need defining, its efficiency remains constant even as events become increasingly unlikely, and it can handle systems with multiple routes between states.

categories: physics.comp-ph cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech physics.data-an


title: Taming the Beast: Fully Automated Unit Testing with Coyote C++

abstract: In this paper, we present Coyote C++, a fully automated white-box unit testing tool for C and C++. Whereas existing tools have struggled to realize unit test generation for C++, Coyote C++ is able to produce high coverage results from unit test generation at a testing speed of over 10,000 statements per hour. This impressive feat is made possible by the combination of a powerful concolic execution engine with sophisticated automated test harness generation. Additionally, the GUI of Coyote C++ displays detailed code coverage visualizations and provides various configuration features for users seeking to manually optimize their coverage results. Combining potent one-click automated testing with rich support for manual tweaking, Coyote C++ is the first automated testing tool that is practical enough to make automated testing of C++ code truly viable in industrial applications.


title: AliFuse: Aligning and Fusing Multi-modal Medical Data for Computer-Aided Diagnosis

abstract: Medical data collected for making a diagnostic decision are typically multi-modal and provide complementary perspectives of a subject. A computer-aided diagnosis system welcomes multi-modal inputs; however, how to effectively fuse such multi-modal data is a challenging task and attracts a lot of attention in the medical research field. In this paper, we propose a transformer-based framework, called Alifuse, for aligning and fusing multi-modal medical data. Specifically, we convert images and unstructured and structured texts into vision and language tokens, and use intramodal and intermodal attention mechanisms to learn holistic representations of all imaging and non-imaging data for classification. We apply Alifuse to classify Alzheimer's disease and obtain state-of-the-art performance on five public datasets, by outperforming eight baselines. The source code will be available online later.


title: Depth-discriminative Metric Learning for Monocular 3D Object Detection

abstract: Monocular 3D object detection poses a significant challenge due to the lack of depth information in RGB images. Many existing methods strive to enhance the object depth estimation performance by allocating additional parameters for object depth estimation, utilizing extra modules or data. In contrast, we introduce a novel metric learning scheme that encourages the model to extract depth-discriminative features regardless of the visual attributes without increasing inference time and model size. Our method employs the distance-preserving function to organize the feature space manifold in relation to ground-truth object depth. The proposed (K, B, eps)-quasi-isometric loss leverages predetermined pairwise distance restriction as guidance for adjusting the distance among object descriptors without disrupting the non-linearity of the natural feature manifold. Moreover, we introduce an auxiliary head for object-wise depth estimation, which enhances depth quality while maintaining the inference time. The broad applicability of our method is demonstrated through experiments that show improvements in overall performance when integrated into various baselines. The results show that our method consistently improves the performance of various baselines by 23.51% and 5.78% on average across KITTI and Waymo, respectively.


title: DialCLIP: Empowering CLIP as Multi-Modal Dialog Retriever

abstract: Recently, substantial advancements in pre-trained vision-language models have greatly enhanced the capabilities of multi-modal dialog systems. These models have demonstrated significant improvements by fine-tuning on downstream tasks. However, the existing pre-trained models primarily focus on effectively capturing the alignment between vision and language modalities, often ignoring the intricate nature of dialog context. In this paper, we propose a parameter-efficient prompt-tuning method named DialCLIP for multi-modal dialog retrieval. Specifically, our approach introduces a multi-modal context prompt generator to learn context features which are subsequently distilled into prompts within the pre-trained vision-language model CLIP. Besides, we introduce domain prompt to mitigate the disc repancy from the downstream dialog data. To facilitate various types of retrieval, we also design multiple experts to learn mappings from CLIP outputs to multi-modal representation space, with each expert being responsible to one specific retrieval type. Extensive experiments show that DialCLIP achieves state-of-the-art performance on two widely recognized benchmark datasets (i.e., PhotoChat and MMDialog) by tuning a mere 0.04% of the total parameters. These results highlight the efficacy and efficiency of our proposed approach, underscoring its potential to advance the field of multi-modal dialog retrieval.


title: Constrained Online Two-stage Stochastic Optimization: Algorithm with (and without) Predictions

abstract: We consider an online two-stage stochastic optimization with long-term constraints over a finite horizon of $T$ periods. At each period, we take the first-stage action, observe a model parameter realization and then take the second-stage action from a feasible set that depends both on the first-stage decision and the model parameter. We aim to minimize the cumulative objective value while guaranteeing that the long-term average second-stage decision belongs to a set. We develop online algorithms for the online two-stage problem from adversarial learning algorithms. Also, the regret bound of our algorithm can be reduced to the regret bound of embedded adversarial learning algorithms. Based on this framework, we obtain new results under various settings. When the model parameters are drawn from unknown non-stationary distributions and we are given machine-learned predictions of the distributions, we develop a new algorithm from our framework with a regret $O(W_T+\sqrt{T})$, where $W_T$ measures the total inaccuracy of the machine-learned predictions. We then develop another algorithm that works when no machine-learned predictions are given and show the performances.


title: Vietnamese Poem Generation & The Prospect Of Cross-Language Poem-To-Poem Translation

abstract: Poetry generation has been a challenging task in the field of Natural Language Processing, as it requires the model to understand the nuances of language, sentiment, and style. In this paper, we propose using Large Language Models to generate Vietnamese poems of various genres from natural language prompts, thereby facilitating an intuitive process with enhanced content control. Our most efficacious model, the GPT-3 Babbage variant, achieves a custom evaluation score of 0.8, specifically tailored to the "luc bat" genre of Vietnamese poetry. Furthermore, we also explore the idea of paraphrasing poems into normal text prompts and yield a relatively high score of 0.781 in the "luc bat" genre. This experiment presents the potential for cross-Language poem-to-poem translation with translated poems as the inputs while concurrently maintaining complete control over the generated content.


title: Model order reduction and sensitivity analysis for complex heat transfer simulations inside the human eyeball

abstract: Heat transfer in the human eyeball, a complex organ, is significantly influenced by various pathophysiological and external parameters. Particularly, heat transfer critically affects fluid behavior within the eye and ocular drug delivery processes. Overcoming the challenges of experimental analysis, this study introduces a comprehensive three-dimensional mathematical and computational model to simulate the heat transfer in a realistic geometry. Our work includes an extensive sensitivity analysis to address uncertainties and delineate the impact of different variables on heat distribution in ocular tissues. To manage the model's complexity, we employed a very fast model reduction technique with certified sharp error bounds, ensuring computational efficiency without compromising accuracy. Our results demonstrate remarkable consistency with experimental observations and align closely with existing numerical findings in the literature. Crucially, our findings underscore the significant role of blood flowand environmental conditions, particularly in the eye's internal tissues. Clinically, this model offers a promising tool for examining the temperature-related effects of various therapeutic interventions on the eye. Such insights are invaluable for optimizing treatment strategies in ophthalmology.


title: How and where global food supplies fall short of healthy diets: Past trends and future projections, 1961-2020 and 2010-2050

abstract: Most of the world still lacks access to sufficient quantities of all food groups needed for an active and healthy life. This study traces historical and projected changes in global food systems toward alignment with the new Healthy Diet Basket (HDB) used by UN agencies and the World Bank to monitor the cost and affordability of healthy diets worldwide. We use HDB as a standard to measure adequacy of national, regional and global supply-demand balances, finding substantial but inconsistent progress toward closer alignment with dietary guidelines, with large global shortfalls in fruits, vegetables, and legumes, nuts, and seeds, and large disparities among regions in use of animal source foods. Projections show that additional investments in the supply of agricultural products would modestly accelerate improvements in adequacy where shortfalls are greatest, revealing the need for complementary investments to increase purchasing power and demand for under-consumed food groups especially in low-income countries.


title: PLE-SLAM: A Visual-Inertial SLAM Based on Point-Line Features and Efficient IMU Initialization

abstract: Visual-inertial SLAM is crucial in various fields, such as aerial vehicles, industrial robots, and autonomous driving. The fusion of camera and inertial measurement unit (IMU) makes up for the shortcomings of a signal sensor, which significantly improves the accuracy and robustness of localization in challenging environments. This article presents PLE-SLAM, an accurate and real-time visual-inertial SLAM algorithm based on point-line features and efficient IMU initialization. First, we use parallel computing methods to extract features and compute descriptors to ensure real-time performance. Adjacent short line segments are merged into long line segments, and isolated short line segments are directly deleted. Second, a rotation-translation-decoupled initialization method is extended to use both points and lines. Gyroscope bias is optimized by tightly coupling IMU measurements and image observations. Accelerometer bias and gravity direction are solved by an analytical method for efficiency. To improve the system's intelligence in handling complex environments, a scheme of leveraging semantic information and geometric constraints to eliminate dynamic features and A solution for loop detection and closed-loop frame pose estimation using CNN and GNN are integrated into the system. All networks are accelerated to ensure real-time performance. The experiment results on public datasets illustrate that PLE-SLAM is one of the state-of-the-art visual-inertial SLAM systems.


title: Quantization effects for multi-component Ginzburg-Landau vortices

abstract: In this paper, we are concerned with $n$-component Ginzburg-Landau equations on $\rtwo$.By introducing a diffusion constant for each component, we discuss that the $n$-component equations are different from $n$-copies of the single Ginzburg-Landau equations.Then, the results of Brezis-Merle-Riviere for the single Ginzburg-Landau equation can be nontrivially extended to the multi-component case.First, we show that if the solutions have their gradients in $L^2$ space, they are trivial solutions.Second, we prove that if the potential is square summable, then it has quantized integrals, i.e., there exists one-to-one correspondence between the possible values of the potential energy and $\nat^n$.Third, we show that different diffusion coefficients in the system are important to obtain nontrivial solutions of $n$-component equations.


title: Aircraft Landing Time Prediction with Deep Learning on Trajectory Images

abstract: Aircraft landing time (ALT) prediction is crucial for air traffic management, especially for arrival aircraft sequencing on the runway. In this study, a trajectory image-based deep learning method is proposed to predict ALTs for the aircraft entering the research airspace that covers the Terminal Maneuvering Area (TMA). Specifically, the trajectories of all airborne arrival aircraft within the temporal capture window are used to generate an image with the target aircraft trajectory labeled as red and all background aircraft trajectory labeled as blue. The trajectory images contain various information, including the aircraft position, speed, heading, relative distances, and arrival traffic flows. It enables us to use state-of-the-art deep convolution neural networks for ALT modeling. We also use real-time runway usage obtained from the trajectory data and the external information such as aircraft types and weather conditions as additional inputs. Moreover, a convolution neural network (CNN) based module is designed for automatic holding-related featurizing, which takes the trajectory images, the leading aircraft holding status, and their time and speed gap at the research airspace boundary as its inputs. Its output is further fed into the final end-to-end ALT prediction. The proposed ALT prediction approach is applied to Singapore Changi Airport (ICAO Code: WSSS) using one-month Automatic Dependent Surveillance-Broadcast (ADS-B) data from November 1 to November 30, 2022. Experimental results show that by integrating the holding featurization, we can reduce the mean absolute error (MAE) from 82.23 seconds to 43.96 seconds, and achieve an average accuracy of 96.1\%, with 79.4\% of the predictions errors being less than 60 seconds.


title: Global Convergence of Natural Policy Gradient with Hessian-aided Momentum Variance Reduction

abstract: Natural policy gradient (NPG) and its variants are widely-used policy search methods in reinforcement learning. Inspired by prior work, a new NPG variant coined NPG-HM is developed in this paper, which utilizes the Hessian-aided momentum technique for variance reduction, while the sub-problem is solved via the stochastic gradient descent method. It is shown that NPG-HM can achieve the global last iterate $\epsilon$-optimality with a sample complexity of $\mathcal{O}(\epsilon^{-2})$, which is the best known result for natural policy gradient type methods under the generic Fisher non-degenerate policy parameterizations. The convergence analysis is built upon a relaxed weak gradient dominance property tailored for NPG under the compatible function approximation framework, as well as a neat way to decompose the error when handling the sub-problem. Moreover, numerical experiments on Mujoco-based environments demonstrate the superior performance of NPG-HM over other state-of-the-art policy gradient methods.


title: Imperio: Language-Guided Backdoor Attacks for Arbitrary Model Control

abstract: Natural language processing (NLP) has received unprecedented attention. While advancements in NLP models have led to extensive research into their backdoor vulnerabilities, the potential for these advancements to introduce new backdoor threats remains unexplored. This paper proposes Imperio, which harnesses the language understanding capabilities of NLP models to enrich backdoor attacks. Imperio provides a new model control experience. Demonstrated through controlling image classifiers, it empowers the adversary to manipulate the victim model with arbitrary output through language-guided instructions. This is achieved using a language model to fuel a conditional trigger generator, with optimizations designed to extend its language understanding capabilities to backdoor instruction interpretation and execution. Our experiments across three datasets, five attacks, and nine defenses confirm Imperio's effectiveness. It can produce contextually adaptive triggers from text descriptions and control the victim model with desired outputs, even in scenarios not encountered during training. The attack reaches a high success rate across complex datasets without compromising the accuracy of clean inputs and exhibits resilience against representative defenses.


title: A Hierarchy Of Convex Relaxations For The Total Variation Distance

abstract: Given two measures $\mu$, $\nu$ on Rd that satisfy Carleman's condition, we provide a numerical scheme to approximate as closely as desired the total variation distance between $\mu$ and $\nu$. It consists of solving a sequence (hierarchy) of convex relaxations whose associated sequence of optimal values converges to the total variation distance, an additional illustration of the versatility of the Moment-SOS hierarchy. Indeed each relaxation in the hierarchy is a semidefinite program whose size increases with the number of involved moments. It has an optimal solution which is a couple of degree-2n pseudo-moments which converge, as n grows, to moments of the Hahn-Jordan decomposition of $\mu$-$\nu$.


title: Electron transfer channel in the sugar recognition system assembled on nano gold particle

abstract: Existence of 1D spin diffusion in the electrochemical sugar recognition system consisting of a nano-sized gold particle (GNP), a ruthenium complex and a phenylboronic acid was investigated by NMR and muSR. When sugar molecules are recognized by the phenylboronic site, the response of electrochemical voltammetry of the Ru site changes, enabling the system to work as a sensitive sugar-sensor. In this recognition process, the change in the electronic state at the boron site caused by sugar must be transferred to the Ru site via alkyl chains. We have utilized the muon-labelled electrons method and the proton NMR to find out a channel of the electron transfer from the phenylboronic acid site to the gold nano particle via the one dimensional alkyl chain. If this transfer is driven by diffusive spin channel, characteristic field dependence is expected in the longitudinal spin relaxation rate of muSR and 1H-NMR. We have observed significant decrease in the spin relaxation rates with increasing applied field. The result is discussed in terms of low dimensional spin diffusion.


title: Quantitative Stability of the Pushforward Operation by an Optimal Transport Map

abstract: We study the quantitative stability of the mapping that to a measure associates its pushforward measure by a fixed (non-smooth) optimal transport map. We exhibit a tight H\"older-behavior for this operation under minimal assumptions. Our proof essentially relies on a new bound that quantifies the size of the singular sets of a convex and Lipschitz continuous function on a bounded domain.


title: Quokka: An Open-source Large Language Model ChatBot for Material Science

abstract: This paper presents the development of a specialized chatbot for materials science, leveraging the Llama-2 language model, and continuing pre-training on the expansive research articles in the materials science domain from the S2ORC dataset. The methodology involves an initial pretraining phase on over one million domain-specific papers, followed by an instruction-tuning process to refine the chatbot's capabilities. The chatbot is designed to assist researchers, educators, and students by providing instant, context-aware responses to queries in the field of materials science. We make the four trained checkpoints (7B, 13B, with or without chat ability) freely available to the research community at https://github.com/Xianjun-Yang/Quokka.


title: Efficient Magnon Injection and Detection via the Orbital Rashba Edelstein Effect

abstract: Orbital currents and accumulation provide a new avenue to boost spintronic effects in nanodevices. Here we use interconversion effects between charge current and orbital angular momentum to demonstrate a dramatic increase in the magnon spin injection and detection efficiencies in nanodevices consisting of a magnetic insulator contacted by Pt/CuOx electrodes. Moreover, we note distinct variations in efficiency for magnon spin injection and detection, indicating a disparity in the direct and inverse orbital Rashba Edelstein effect efficiencies.


title: Period-Luminosity Relationship for $\delta$ Scuti Stars Revisited

abstract: The Gaia DR3 parallax approach was used to estimate the absolute parameters of 2375 Delta Scuti stars from the ASAS catalog. The selected stars have a variety of observational characteristics, with a higher than 80% probability of being Delta Scuti stars. We have displayed all the stars in the Hertzsprung-Russell (H-R) diagram along with the Delta Scuti instability strip, the Zero Age Main Sequence (ZAMS), and the Terminal-Age Main Sequence (TAMS). Then, we determined which fundamental and overtone modes each star belongs to using pulsation constant (Q) calculations. In addition, we evaluated the parameters in the Q calculation equation using three machine learning methods, which showed that surface gravity and temperature have the greatest effect on its calculation. The Period-Luminosity (P-L) relationship of the Delta Scuti stars was also revisited. Eventually, using least squares linear regression, we made four linear fits for fundamental and overtone modes and updated their relationships.


title: IRS-Aided Multi-Antenna Wireless Powered Communications in Interference Channels

abstract: This paper investigates intelligent reflecting surface (IRS)-aided multi-antenna wireless powered communications in a multi-link interference channel, where multiple IRSs are deployed to enhance the downlink/uplink communications between each pair of hybrid access point (HAP) and wireless device. Our objective is to maximize the system sum throughput by optimizing the allocation of communication resources. To attain this objective and meanwhile balance the performance-cost tradeoff, we propose three transmission schemes: the IRS-aided asynchronous (Asy) scheme, the IRS-aided time-division multiple access (TDMA) scheme, and the IRS-aided synchronous (Syn) scheme. For the resulting three non-convex design problems, we propose a general algorithmic framework capable of addressing all of them. Numerical results show that our proposed IRS-aided schemes noticeably surpass their counterparts without IRSs in both system sum throughput and total transmission energy consumption at the HAPs. Moreover, although the IRS-aided Asy scheme consistently achieves the highest sum throughput, the IRS-aided TDMA scheme is more appealing in scenarios with substantial cross-link interference and limited IRS elements, while the IRS-aided Syn scheme is preferable in low cross-link interference scenarios.


title: Exploring Hyperspectral Anomaly Detection with Human Vision: A Small Target Aware Detector

abstract: Hyperspectral anomaly detection (HAD) aims to localize pixel points whose spectral features differ from the background. HAD is essential in scenarios of unknown or camouflaged target features, such as water quality monitoring, crop growth monitoring and camouflaged target detection, where prior information of targets is difficult to obtain. Existing HAD methods aim to objectively detect and distinguish background and anomalous spectra, which can be achieved almost effortlessly by human perception. However, the underlying processes of human visual perception are thought to be quite complex. In this paper, we analyze hyperspectral image (HSI) features under human visual perception, and transfer the solution process of HAD to the more robust feature space for the first time. Specifically, we propose a small target aware detector (STAD), which introduces saliency maps to capture HSI features closer to human visual perception. STAD not only extracts more anomalous representations, but also reduces the impact of low-confidence regions through a proposed small target filter (STF). Furthermore, considering the possibility of HAD algorithms being applied to edge devices, we propose a full connected network to convolutional network knowledge distillation strategy. It can learn the spectral and spatial features of the HSI while lightening the network. We train the network on the HAD100 training set and validate the proposed method on the HAD100 test set. Our method provides a new solution space for HAD that is closer to human visual perception with high confidence. Sufficient experiments on real HSI with multiple method comparisons demonstrate the excellent performance and unique potential of the proposed method. The code is available at https://github.com/majitao-xd/STAD-HAD.


title: Optimizing Resource Allocation for COVID-19 Vaccination Planning within Long-Term Care Facilities: A Refined Multilevel Linear Programming Approach

abstract: In this paper, we introduce an algorithm designed to solve a Multilevel MOnoObjective Linear Programming Problem (ML(MO)OLPP). Our approach is a refined adaptation of Sinha and Sinha's linear programming method, incorporating the development of an "interval reduction map" that precisely refines decision variable intervals based on the influence of the preceding level's decision maker. Each construction stage is meticulously examined. The effectiveness of the algorithm is validated through a detailed numerical example, illustrating its practical applicability in resource management challenges. With a specific focus on vaccination planning within long-term care facilities and its relevance to the COVID-19 pandemic, our study addresses the optimization of resource allocation, placing a strong emphasis on the equitable distribution of COVID-19 vaccines.


title: Decayless oscillations in 3D coronal loops excited by a power-law driver

abstract: Aims. We studied the manifestation of decayless oscillations in 3D simulations of coronal loops, driven by random motions. Methods. Using the PLUTO code, we ran magnetohydrodynamic (MHD) simulations of a straight gravitationally stratified flux tube, with its footpoints embedded in chromospheric plasma. We consider transverse waves drivers with a horizontally polarised red noise power-law spectrum. Results. Our broadband drivers lead to the excitation of standing waves with frequencies equal to the fundamental standing kink mode and its harmonics. These standing kink oscillations have non-decaying amplitudes, and spectra that depend on the characteristics of the loops, with the latter amplifying the resonant frequencies from the drivers. We thus report for the first time in 3D simulations the manifestation of decayless oscillations from broadband drivers. The spatial and temporal evolution of our oscillation spectra reveals the manifestation of a half harmonic, which exhibits half the frequency of the identified fundamental mode with a similar spatial profile. Our results suggest that this mode is related to the presence of the transition region in our model and could be interpreted as being the equivalent to the fundamental mode of standing sound waves driven on pipes closed at one end. Conclusions. The potential existence of this half harmonic has important implications for coronal seismology, since misinterpreting it for the fundamental mode of the system can lead to false estimations of the average kink speed profile along oscillating loops. Finally, its detection could potentially give us a tool for distinguishing between different excitation and driving mechanisms of decayless oscillations in observations.


title: Demystifying $\mu$

abstract: We develop the theory of illfounded and cyclic proof systems in the context of the modal $\mu$-calculus. A fine analysis of provability and admissibility bridges the finitary, cyclic and illfounded notions of proof for this logic and re-enforces the subtlety of two important normal form theorems: guardedness and disjunctiveness.


title: Robust single-particle cryo-EM image denoising and restoration

abstract: Cryo-electron microscopy (cryo-EM) has achieved near-atomic level resolution of biomolecules by reconstructing 2D micrographs. However, the resolution and accuracy of the reconstructed particles are significantly reduced due to the extremely low signal-to-noise ratio (SNR) and complex noise structure of cryo-EM images. In this paper, we introduce a diffusion model with post-processing framework to effectively denoise and restore single particle cryo-EM images. Our method outperforms the state-of-the-art (SOTA) denoising methods by effectively removing structural noise that has not been addressed before. Additionally, more accurate and high-resolution three-dimensional reconstruction structures can be obtained from denoised cryo-EM images.


title: New exact solutions to the generalized shallow water wave equation

abstract: In this work, we study the generalized shallow water wave equation to obtain novel solitary wave solutions. The application of this non-linear model can be found in tidal waves, weather simulations, tsunami prediction, river and irrigation flows, etc. To obtain the new exact solutions of the considered model, we have applied a novel analytical technique namely $\left(\frac{G'}{G'+G+A}\right)$--expansion method. Using the aforementioned method and computational software, we have obtained different kinds of periodic and singular solitary wave solutions of the generalized shallow water wave equation. The obtained solutions are exponential function and trigonometric function solutions. Using 2-D and 3-D plots of the wave solutions, the dynamic behaviors of the developed solutions are displayed. The retrieved solutions validated the effectiveness and robustness of the proposed technique.


title: Efficient Parallel Audio Generation using Group Masked Language Modeling

abstract: We present a fast and high-quality codec language model for parallel audio generation. While SoundStorm, a state-of-the-art parallel audio generation model, accelerates inference speed compared to autoregressive models, it still suffers from slow inference due to iterative sampling. To resolve this problem, we propose Group-Masked Language Modeling~(G-MLM) and Group Iterative Parallel Decoding~(G-IPD) for efficient parallel audio generation. Both the training and sampling schemes enable the model to synthesize high-quality audio with a small number of iterations by effectively modeling the group-wise conditional dependencies. In addition, our model employs a cross-attention-based architecture to capture the speaker style of the prompt voice and improves computational efficiency. Experimental results demonstrate that our proposed model outperforms the baselines in prompt-based audio generation.


title: Scalable manifold learning by uniform landmark sampling and constrained locally linear embedding

abstract: As a pivotal approach in machine learning and data science, manifold learning aims to uncover the intrinsic low-dimensional structure within complex nonlinear manifolds in high-dimensional space. By exploiting the manifold hypothesis, various techniques for nonlinear dimension reduction have been developed to facilitate visualization, classification, clustering, and gaining key insights. Although existing manifold learning methods have achieved remarkable successes, they still suffer from extensive distortions incurred in the global structure, which hinders the understanding of underlying patterns. Scalability issues also limit their applicability for handling large-scale data. Here, we propose a scalable manifold learning (scML) method that can manipulate large-scale and high-dimensional data in an efficient manner. It starts by seeking a set of landmarks to construct the low-dimensional skeleton of the entire data, and then incorporates the non-landmarks into the learned space based on the constrained locally linear embedding (CLLE). We empirically validated the effectiveness of scML on synthetic datasets and real-world benchmarks of different types, and applied it to analyze the single-cell transcriptomics and detect anomalies in electrocardiogram (ECG) signals. scML scales well with increasing data sizes and embedding dimensions, and exhibits promising performance in preserving the global structure. The experiments demonstrate notable robustness in embedding quality as the sample rate decreases.


title: Deceptive Jamming in WLAN Sensing

abstract: Joint Communication and Sensing (JCAS) is taking its first shape in WLAN sensing under IEEE 802.11bf, where standardized WLAN signals and protocols are exploited to enable radar-like sensing. However, an overlooked problem in JCAS, and specifically in WLAN Sensing, is the sensitivity of the system to a deceptive jammer, which introduces phantom targets to mislead the victim radar receiver. Standardized waveforms and sensing parameters make the system vulnerable to physical layer attacks. Moreover, orthogonal frequency-division multiplexing (OFDM) makes deceptive jamming even easier as it allows digitally generated artificial range/Doppler maps. This paper studies deceptive jamming in JCAS, with a special focus on WLAN Sensing. The provided mathematical models give insights into how to design jamming signals and their impact on the sensing system. Numerical analyses illustrate various distortions caused by deceptive jamming, while the experimental results validate the need for meticulous JCAS design to protect the system against physical layer attacks in the form of deceptive jamming.


title: Dual Teacher Knowledge Distillation with Domain Alignment for Face Anti-spoofing

abstract: Face recognition systems have raised concerns due to their vulnerability to different presentation attacks, and system security has become an increasingly critical concern. Although many face anti-spoofing (FAS) methods perform well in intra-dataset scenarios, their generalization remains a challenge. To address this issue, some methods adopt domain adversarial training (DAT) to extract domain-invariant features. However, the competition between the encoder and the domain discriminator can cause the network to be difficult to train and converge. In this paper, we propose a domain adversarial attack (DAA) method to mitigate the training instability problem by adding perturbations to the input images, which makes them indistinguishable across domains and enables domain alignment. Moreover, since models trained on limited data and types of attacks cannot generalize well to unknown attacks, we propose a dual perceptual and generative knowledge distillation framework for face anti-spoofing that utilizes pre-trained face-related models containing rich face priors. Specifically, we adopt two different face-related models as teachers to transfer knowledge to the target student model. The pre-trained teacher models are not from the task of face anti-spoofing but from perceptual and generative tasks, respectively, which implicitly augment the data. By combining both DAA and dual-teacher knowledge distillation, we develop a dual teacher knowledge distillation with domain alignment framework (DTDA) for face anti-spoofing. The advantage of our proposed method has been verified through extensive ablation studies and comparison with state-of-the-art methods on public datasets across multiple protocols.


title: Constructing Approximate Single-Source Distance Sensitivity Oracles in Nearly Linear Time

abstract: For an input graph $G=(V, E)$ and a source vertex $s \in V$, the \emph{$\alpha$-approximate vertex fault-tolerant distance sensitivity oracle} (\emph{$\alpha$-VSDO}) answers an $\alpha$-approximate distance from $s$ to $t$ in $G-x$ for any query $(x, t)$. It is a data structure version of the so-called single-source replacement path problem (SSRP). In this paper, we present a new \emph{nearly linear time} algorithm of constructing the $(1 + \epsilon)$-VSDO for any weighted directed graph of $n$ vertices and $m$ edges with integer weights in range $[1, W]$, and any positive constant $\epsilon \in (0, 1]$. More precisely, the presented oracle attains $\tilde{O}(m / \epsilon + n /\epsilon^2)$ construction time, $\tilde{O}(n/ \epsilon)$ size, and $\tilde{O}(1/\epsilon)$ query time for any polynomially-bounded $W$. To the best of our knowledge, this is the first non-trivial result for SSRP/VSDO beating the trivial $\tilde{O}(mn)$ computation time for directed graphs with polynomially-bounded edge weights. Such a result has been unknown so far even for the setting of $(1 + \epsilon)$-approximation. It also implies that the known barrier of $\Omega(m\sqrt{n})$ time for the exact SSRP by Chechik and Magen~[ICALP2020] does not apply to the case of approximation.


title: AI-FLARES: Artificial Intelligence for the Analysis of Solar Flares Data

abstract: AI-FLARES (Artificial Intelligence for the Analysis of Solar Flares Data) is a research project funded by the Agenzia Spaziale Italiana and by the Istituto Nazionale di Astrofisica within the framework of the ``Attivit\`a di Studio per la Comunit\`a Scientifica Nazionale Sole, Sistema Solare ed Esopianeti'' program. The topic addressed by this project was the development and use of computational methods for the analysis of remote sensing space data associated to solar flare emission. This paper overviews the main results obtained by the project, with specific focus on solar flare forecasting, reconstruction of morphologies of the flaring sources, and interpretation of acceleration mechanisms triggered by solar flares.


title: Thermal leptogenesis in the presence of helical hypermagnetic fields

abstract: One of the major challenges in particle physics and cosmology is understanding why there is an asymmetry between matter and antimatter in the Universe. One possible explanation for this phenomenon is thermal leptogenesis, which involves the addition of at least two right-handed neutrinos (RHNs) to the standard model. Another possible explanation is baryogenesis through the hypermagnetic fields which involves the ${\rm U}_Y(1)$ anomaly and helical hypermagnetic fields in the early Universe. In this paper, after reviewing the thermal leptogenesis and baryogenesis through the ${\rm U}_Y(1)$ anomaly, we investigate the simplest model that combines these two scenarios and explore the parameter space for optimal results. Our results show that the combined scenario permits a specific region of parameter space that is not covered by either one separately. In fact, the minimum required mass scale of the RHN and strength of initial hypermagnetic helicity are reduced by one order of magnitude in our model. Moreover, we find that in the combined scenario, leptogenesis and baryogenesis through the ${\rm U}_Y(1)$ anomaly can either amplify or reduce the effect of each other, i.e., the generated asymmetry, depending on the sign of the helical hypermagnetic fields. Finally, we show the surprising result that a drastic amplification can occur even when the initial abundance of RHN is its equilibrium value for leptogenesis.


title: Monitoring cis-to-trans isomerization of azobenzene using Brillouin microscopy

abstract: Brillouin spectroscopy is commonly used to study the acoustic properties of materials. Here we explored its feasibility in studying the photoinduced isomerization of azobenzene. The isomerization of azobenzene changes the solution elastic modulus, and Brillouin scattering is sensitive to these changes. In this study, we experimentally demonstrated the photoswitching of azobenzene in DMSO using our home-made VIPA-based high-resolution optical Brillouin spectrometer, and confirmed the results by ultraviolet-visible spectrophotometry. Remarkable Brillouin frequency shift variations were quantitatively recorded upon irradiation, and it was found that this method can indeed be used to monitor the isomerization process in situ. Importantly, our strategy also allows us to provide the relationship between the ratio of trans- and cis- azobenzene and the Brillouin frequency shift. This shows that Brillouin spectroscopy has broad prospects for the characterization of azobenzene isomerization and other photo responsive materials.


title: CityPulse: Fine-Grained Assessment of Urban Change with Street View Time Series

abstract: Urban transformations have profound societal impact on both individuals and communities at large. Accurately assessing these shifts is essential for understanding their underlying causes and ensuring sustainable urban planning. Traditional measurements often encounter constraints in spatial and temporal granularity, failing to capture real-time physical changes. While street view imagery, capturing the heartbeat of urban spaces from a pedestrian point of view, can add as a high-definition, up-to-date, and on-the-ground visual proxy of urban change. We curate the largest street view time series dataset to date, and propose an end-to-end change detection model to effectively capture physical alterations in the built environment at scale. We demonstrate the effectiveness of our proposed method by benchmark comparisons with previous literature and implementing it at the city-wide level. Our approach has the potential to supplement existing dataset and serve as a fine-grained and accurate assessment of urban change.


title: Unveiling Comparative Sentiments in Vietnamese Product Reviews: A Sequential Classification Framework

abstract: Comparative opinion mining is a specialized field of sentiment analysis that aims to identify and extract sentiments expressed comparatively. To address this task, we propose an approach that consists of solving three sequential sub-tasks: (i) identifying comparative sentence, i.e., if a sentence has a comparative meaning, (ii) extracting comparative elements, i.e., what are comparison subjects, objects, aspects, predicates, and (iii) classifying comparison types which contribute to a deeper comprehension of user sentiments in Vietnamese product reviews. Our method is ranked fifth at the Vietnamese Language and Speech Processing (VLSP) 2023 challenge on Comparative Opinion Mining (ComOM) from Vietnamese Product Reviews.


title: The impact of the limit $q$-Durrmeyer operator on continuous functions

abstract: The limit $q$-Durrmeyer operator, $D_{\infty,q},$ was introduced and its approximation properties were investigated by V. Gupta in 2008 during a study of $q$-analogues for the Bernstein-Durrmeyer operator. In the present work, this operator is investigated from a different perspective. More precisely, the growth estimates are derived for the entire functions comprising the range of $D_{\infty,q}$. The interrelation between the analytic properties of a function $f$ and the rate of growth for $D_{\infty,q}f$ are established, and the sharpness of the obtained results are demonstrated.


title: Super-extensions of tensor algebras and their applications

abstract: Following arXiv:0909.5586 and arXiv:1411.4125, we construct two super-extensions of the usual tensor algebra through the super-actions of symmetric groups and Hecke algebras respectively. For each extension, we consider a special type of derivations coming from covectors, and study the the space generated, in some special manner, by these derivations and operators from left multiplication by vectors and permutations. Duality theorems of these spaces and the super-actions are proved. As an application, we provide a new proof of the Schur-Sergeev duality theorem, as well as its quantum version.