title: Exploring the efficacy of a hybrid approach with modal decomposition over fully deep learning models for flow dynamics forecasting

abstract: Fluid dynamics problems are characterized by being multidimensional and nonlinear, causing the experiments and numerical simulations being complex, time-consuming and monetarily expensive. In this sense, there is a need to find new ways to obtain data in a more economical manner. Thus, in this work we study the application of time series forecasting to fluid dynamics problems, where the aim is to predict the flow dynamics using only past information. We focus our study on models based on deep learning that do not require a high amount of data for training, as this is the problem we are trying to address. Specifically in this work we have tested three autoregressive models where two of them are fully based on deep learning and the other one is a hybrid model that combines modal decomposition with deep learning. We ask these models to generate $200$ time-ahead predictions of two datasets coming from a numerical simulation and experimental measurements, where the latter is characterized by being turbulent. We show how the hybrid model generates more reliable predictions in the experimental case, as it is physics-informed in the sense that the modal decomposition extracts the physics in a way that allows us to predict it.


title: Sequential monitoring for explosive volatility regimes

abstract: In this paper, we develop two families of sequential monitoring procedure to (timely) detect changes in a GARCH(1,1) model. Whilst our methodologies can be applied for the general analysis of changepoints in GARCH(1,1) sequences, they are in particular designed to detect changes from stationarity to explosivity or vice versa, thus allowing to check for volatility bubbles. Our statistics can be applied irrespective of whether the historical sample is stationary or not, and indeed without prior knowledge of the regime of the observations before and after the break. In particular, we construct our detectors as the CUSUM process of the quasi-Fisher scores of the log likelihood function. In order to ensure timely detection, we then construct our boundary function (exceeding which would indicate a break) by including a weighting sequence which is designed to shorten the detection delay in the presence of a changepoint. We consider two types of weights: a lighter set of weights, which ensures timely detection in the presence of changes occurring early, but not too early after the end of the historical sample; and a heavier set of weights, called Renyi weights which is designed to ensure timely detection in the presence of changepoints occurring very early in the monitoring horizon. In both cases, we derive the limiting distribution of the detection delays, indicating the expected delay for each set of weights. Our theoretical results are validated via a comprehensive set of simulations, and an empirical application to daily returns of individual stocks.


title: Feature graphs for interpretable unsupervised tree ensembles: centrality, interaction, and application in disease subtyping

abstract: Interpretable machine learning has emerged as central in leveraging artificial intelligence within high-stakes domains such as healthcare, where understanding the rationale behind model predictions is as critical as achieving high predictive accuracy. In this context, feature selection assumes a pivotal role in enhancing model interpretability by identifying the most important input features in black-box models. While random forests are frequently used in biomedicine for their remarkable performance on tabular datasets, the accuracy gained from aggregating decision trees comes at the expense of interpretability. Consequently, feature selection for enhancing interpretability in random forests has been extensively explored in supervised settings. However, its investigation in the unsupervised regime remains notably limited. To address this gap, the study introduces novel methods to construct feature graphs from unsupervised random forests and feature selection strategies to derive effective feature combinations from these graphs. Feature graphs are constructed for the entire dataset as well as individual clusters leveraging the parent-child node splits within the trees, such that feature centrality captures their relevance to the clustering task, while edge weights reflect the discriminating power of feature pairs. Graph-based feature selection methods are extensively evaluated on synthetic and benchmark datasets both in terms of their ability to reduce dimensionality while improving clustering performance, as well as to enhance model interpretability. An application on omics data for disease subtyping identifies the top features for each cluster, showcasing the potential of the proposed approach to enhance interpretability in clustering analyses and its utility in a real-world biomedical application.


title: Spin-dependent $\pi$$\pi^{\ast}$ gap in graphene on a magnetic substrate

abstract: We present a detailed analysis of the electronic properties of graphene/Eu/Ni(111). By using angle and spin-resolved photoemission spectroscopy and ab initio calculations, we show that the Eu-intercalation of graphene/Ni(111) restores the nearly freestanding dispersion of the $\pi\pi^\ast$ Dirac cones at the K point with an additional lifting of the spin degeneracy due to the mixing of graphene and Eu states. The interaction with the magnetic substrate results in a large spin-dependent gap in the Dirac cones with a topological nature characterized by a large Berry curvature, and a spin-polarized van Hove singularity, whose closeness to the Fermi level gives rise to a polaronic band.


title: A Hybrid Approach for Document Layout Analysis in Document images

abstract: Document layout analysis involves understanding the arrangement of elements within a document. This paper navigates the complexities of understanding various elements within document images, such as text, images, tables, and headings. The approach employs an advanced Transformer-based object detection network as an innovative graphical page object detector for identifying tables, figures, and displayed elements. We introduce a query encoding mechanism to provide high-quality object queries for contrastive learning, enhancing efficiency in the decoder phase. We also present a hybrid matching scheme that integrates the decoder's original one-to-one matching strategy with the one-to-many matching strategy during the training phase. This approach aims to improve the model's accuracy and versatility in detecting various graphical elements on a page. Our experiments on PubLayNet, DocLayNet, and PubTables benchmarks show that our approach outperforms current state-of-the-art methods. It achieves an average precision of 97.3% on PubLayNet, 81.6% on DocLayNet, and 98.6 on PubTables, demonstrating its superior performance in layout analysis. These advancements not only enhance the conversion of document images into editable and accessible formats but also streamline information retrieval and data extraction processes.


title: Tunable quasi-discrete spectrum of spin waves excited by periodic laser patterns

abstract: We present a concept for selective excitation of magnetostatic surface waves with quasi-discrete spectrum using spatially patterned femtosecond laser pulses inducing either ultrafast change of magnetic anisotropy or inverse Faraday effect. We micromagnetically simulate excitation of the waves with periodically patterned uni- or bipolar laser impact. Such excitation yields multiple wavepackets propagating with different group velocities, whose dispersion corresponds to the set of quasi-discrete points. In addition, we show that the frequency of the spectral peaks can be controlled by the polarity of the periodic impact and its spatial period. Presented consideration of multiple spatially periodic SW sources as a whole enables implementation of a comprehensive toolkit of spatio-temporal optical methods for tunable SW excitation and control of its parameters.


title: DPER: Diffusion Prior Driven Neural Representation for Limited Angle and Sparse View CT Reconstruction

abstract: Limited-angle and sparse-view computed tomography (LACT and SVCT) are crucial for expanding the scope of X-ray CT applications. However, they face challenges due to incomplete data acquisition, resulting in diverse artifacts in the reconstructed CT images. Emerging implicit neural representation (INR) techniques, such as NeRF, NeAT, and NeRP, have shown promise in under-determined CT imaging reconstruction tasks. However, the unsupervised nature of INR architecture imposes limited constraints on the solution space, particularly for the highly ill-posed reconstruction task posed by LACT and ultra-SVCT. In this study, we introduce the Diffusion Prior Driven Neural Representation (DPER), an advanced unsupervised framework designed to address the exceptionally ill-posed CT reconstruction inverse problems. DPER adopts the Half Quadratic Splitting (HQS) algorithm to decompose the inverse problem into data fidelity and distribution prior sub-problems. The two sub-problems are respectively addressed by INR reconstruction scheme and pre-trained score-based diffusion model. This combination initially preserves the implicit image local consistency prior from INR. Additionally, it effectively augments the feasibility of the solution space for the inverse problem through the generative diffusion model, resulting in increased stability and precision in the solutions. We conduct comprehensive experiments to evaluate the performance of DPER on LACT and ultra-SVCT reconstruction with two public datasets (AAPM and LIDC). The results show that our method outperforms the state-of-the-art reconstruction methods on in-domain datasets, while achieving significant performance improvements on out-of-domain datasets.


title: To the isotopy classification of Morse polynomials of degree 3 in ${\mathbb R}^3$

abstract: We introduce a (conjecturally complete) topological invariant of isotopy classes of Morse polynomials ${\mathbb R}^3 \to {\mathbb R}^1$ of degree 3 with non-degenerate principal homogeneous part, calculate all 36 possible values of this invariant, and realize them all (except one) by real polynomials, at which these values are taken. We also demonstrate many examples of non-typical adjacencies of multisingularity classes (namely, the pairs of simple function singularities with the sum of the Milnor numbers equal to 8) to singularities of class $P_8$, which break the equisingularity of bifurcation sets of functions along the $\mu=\mbox{const} $ stratum of type $P_8$. At the same time, we prove the non-existence of many other such adjacencies. These results are obtained with the help of a combinatorial computer program formalizing Morse surgeries, local monodromy and the Picard-Lefschetz theory, which I promote and recommend to the readers.


title: Shared learning of powertrain control policies for vehicle fleets

abstract: Emerging data-driven approaches, such as deep reinforcement learning (DRL), aim at on-the-field learning of powertrain control policies that optimize fuel economy and other performance metrics. Indeed, they have shown great potential in this regard for individual vehicles on specific routes or drive cycles. However, for fleets of vehicles that must service a distribution of routes, DRL approaches struggle with learning stability issues that result in high variances and challenge their practical deployment. In this paper, we present a novel framework for shared learning among a fleet of vehicles through the use of a distilled group policy as the knowledge sharing mechanism for the policy learning computations at each vehicle. We detail the mathematical formulation that makes this possible. Several scenarios are considered to analyze the functionality, performance, and computational scalability of the framework with fleet size. Comparisons of the cumulative performance of fleets using our proposed shared learning approach with a baseline of individual learning agents and another state-of-the-art approach with a centralized learner show clear advantages to our approach. For example, we find a fleet average asymptotic improvement of 8.5 percent in fuel economy compared to the baseline while also improving on the metrics of acceleration error and shifting frequency for fleets serving a distribution of suburban routes. Furthermore, we include demonstrative results that show how the framework reduces variance within a fleet and also how it helps individual agents adapt better to new routes.


title: The Rotation Curve and Spiral Structure of Milky Way from the Hydrogen 21-cm Line Detection with Campus Radio Telescope

abstract: The rotation curve is significant to research on dark matter and the structure of the Milky Way. But it is a great challenge to measure rotation curve accurately, and different ways obtain distinct results. In this work, we use a DIY small radio telescope to carry out hydrogen 21-cm line observations on campus, and calculate the rotation curve of inner disk by tangent method based on the model of Przemek et al. (the rotation speed of the Sun $v(R_0)=233.6\pm2.8$ km/s, and distance to the Galactic center $R_0=8.122\pm0.031$ kpc). Furthermore, we obtain the distribution of spiral arms in the Milky Way with our data by adopting different rotation curve models. We also compare our rotation curve result with previous works, analyse the possible measurement error in the tangent method, and discuss the consistence of our result with others.


title: Unpaired Multi-view Clustering via Reliable View Guidance

abstract: This paper focuses on unpaired multi-view clustering (UMC), a challenging problem where paired observed samples are unavailable across multiple views. The goal is to perform effective joint clustering using the unpaired observed samples in all views. In incomplete multi-view clustering, existing methods typically rely on sample pairing between views to capture their complementary. However, that is not applicable in the case of UMC. Hence, we aim to extract the consistent cluster structure across views. In UMC, two challenging issues arise: uncertain cluster structure due to lack of label and uncertain pairing relationship due to absence of paired samples. We assume that the view with a good cluster structure is the reliable view, which acts as a supervisor to guide the clustering of the other views. With the guidance of reliable views, a more certain cluster structure of these views is obtained while achieving alignment between reliable views and other views. Then we propose Reliable view Guidance with one reliable view (RG-UMC) and multiple reliable views (RGs-UMC) for UMC. Specifically, we design alignment modules with one reliable view and multiple reliable views, respectively, to adaptively guide the optimization process. Also, we utilize the compactness module to enhance the relationship of samples within the same cluster. Meanwhile, an orthogonal constraint is applied to latent representation to obtain discriminate features. Extensive experiments show that both RG-UMC and RGs-UMC outperform the best state-of-the-art method by an average of 24.14\% and 29.42\% in NMI, respectively.


title: Empowering Mobility: Brain-Computer Interface for Enhancing Wheelchair Control for Individuals with Physical Disabilities

abstract: The integration of brain-computer interfaces (BCIs) into the realm of smart wheelchair (SW) technology signifies a notable leap forward in enhancing the mobility and autonomy of individuals with physical disabilities. BCIs are a technology that enables direct communication between the brain and external devices. While BCIs systems offer remarkable opportunities for enhancing human-computer interaction and providing mobility solutions for individuals with disabilities, they also raise significant concerns regarding security, safety, and privacy that have not been thoroughly addressed by researchers on a large scale. Our research aims to enhance wheelchair control for individuals with physical disabilities by leveraging electroencephalography (EEG) signals for BCIs. We introduce a non-invasive BCI system that utilizes a neuro-signal acquisition headset to capture EEG signals. These signals are obtained from specific brain activities that individuals have been trained to produce, allowing for precise control of the wheelchair. EEG-based BCIs are instrumental in capturing the brain's electrical activity and translating these signals into actionable commands. The primary objective of our study is to demonstrate the system's capability to interpret EEG signals and decode specific thought patterns or mental commands issued by the user. By doing so, it aims to convert these into accurate control commands for the wheelchair. This process includes the recognition of navigational intentions, such as moving forward, backward, or executing turns, specifically tailored for wheelchair operation. Through this innovative approach, we aim to create a seamless interface between the user's cognitive intentions and the wheelchair's movements, enhancing autonomy and mobility for individuals with physical disabilities.


title: How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching

abstract: Generative deep learning (DL) models have been successfully adopted for vulnerability patching. However, such models require the availability of a large dataset of patches to learn from. To overcome this issue, researchers have proposed to start from models pre-trained with general knowledge, either on the programming language or on similar tasks such as bug fixing. Despite the efforts in the area of automated vulnerability patching, there is a lack of systematic studies on how these different training procedures impact the performance of DL models for such a task. This paper provides a manyfold contribution to bridge this gap, by (i) comparing existing solutions of self-supervised and supervised pre-training for vulnerability patching; and (ii) for the first time, experimenting with different kinds of prompt-tuning for this task. The study required to train/test 23 DL models. We found that a supervised pre-training focused on bug-fixing, while expensive in terms of data collection, substantially improves DL-based vulnerability patching. When applying prompt-tuning on top of this supervised pre-trained model, there is no significant gain in performance. Instead, prompt-tuning is an effective and cheap solution to substantially boost the performance of self-supervised pre-trained models, i.e., those not relying on the bug-fixing pre-training.


title: Tool Calling: Enhancing Medication Consultation via Retrieval-Augmented Large Language Models

abstract: Large-scale language models (LLMs) have achieved remarkable success across various language tasks but suffer from hallucinations and temporal misalignment. To mitigate these shortcomings, Retrieval-augmented generation (RAG) has been utilized to provide external knowledge to facilitate the answer generation. However, applying such models to the medical domain faces several challenges due to the lack of domain-specific knowledge and the intricacy of real-world scenarios. In this study, we explore LLMs with RAG framework for knowledge-intensive tasks in the medical field. To evaluate the capabilities of LLMs, we introduce MedicineQA, a multi-round dialogue benchmark that simulates the real-world medication consultation scenario and requires LLMs to answer with retrieved evidence from the medicine database. MedicineQA contains 300 multi-round question-answering pairs, each embedded within a detailed dialogue history, highlighting the challenge posed by this knowledge-intensive task to current LLMs. We further propose a new \textit{Distill-Retrieve-Read} framework instead of the previous \textit{Retrieve-then-Read}. Specifically, the distillation and retrieval process utilizes a tool calling mechanism to formulate search queries that emulate the keyword-based inquiries used by search engines. With experimental results, we show that our framework brings notable performance improvements and surpasses the previous counterparts in the evidence retrieval process in terms of evidence retrieval accuracy. This advancement sheds light on applying RAG to the medical domain.


title: A two-phase problem with degenerate operator in Orlicz-Sobolev spaces

abstract: In this paper we are interested in the study of a two-phase problem equipped with the $\Phi$-Laplacian operator $$ \Delta_\Phi u \coloneqq \mbox{div} \left(\phi(|\nabla u|)\dfrac{\nabla u}{|\nabla u|}\right), $$ where $\Phi(s)=e^{s^2}-1$ and $\phi=\Phi'$. We obtain the existence, boundedness, and Log-Lipschitz regularity of the minimizers of the energy functional associated to the two-phase problem. Furthermore, we also prove that the phase change free boundaries of the minimizers possess a finite perimeter.


title: Stability of the regular $n$-gon rotating equilibria with logarithm interaction

abstract: We study the linear stability of regular $n$-gon rotating equilibria in the $n$-body problem with logarithm interaction. In the presence of a central mass $M$, linear stability is insured if $M$ is bounded below and above by constants depending on the number and mass of the (equal) outer $n$ bodies. Moreover, we provide explicit equations of these bounds. In the absence of a central mass we find that the regular $n$-gon is linearly stable for $n =2,3,\ldots 6$ only.


title: Unsupervised Anomaly Detection via Masked Diffusion Posterior Sampling

abstract: Reconstruction-based methods have been commonly used for unsupervised anomaly detection, in which a normal image is reconstructed and compared with the given test image to detect and locate anomalies. Recently, diffusion models have shown promising applications for anomaly detection due to their powerful generative ability. However, these models lack strict mathematical support for normal image reconstruction and unexpectedly suffer from low reconstruction quality. To address these issues, this paper proposes a novel and highly-interpretable method named Masked Diffusion Posterior Sampling (MDPS). In MDPS, the problem of normal image reconstruction is mathematically modeled as multiple diffusion posterior sampling for normal images based on the devised masked noisy observation model and the diffusion-based normal image prior under Bayesian framework. Using a metric designed from pixel-level and perceptual-level perspectives, MDPS can effectively compute the difference map between each normal posterior sample and the given test image. Anomaly scores are obtained by averaging all difference maps for multiple posterior samples. Exhaustive experiments on MVTec and BTAD datasets demonstrate that MDPS can achieve state-of-the-art performance in normal image reconstruction quality as well as anomaly detection and localization.


title: The Theory and Practice of Deductive Verification of OCaml Programs

abstract: Despite all the tremendous recent success of deductive verification, it is rarely the case that verification tools are applied to programs written in functional languages. When compared to the imperative world, there are only a handful of verification tools that can deal with functional programs. We believe the lack of pedagogical, problem-oriented documentation on how to use such tools might be one of the reasons behind this apparent mismatch between deductive verification and real-world functional software. In this paper, our goal is to drift away from this tendency. We chose the OCaml language as our working environment and provide a comprehensive, hands-on tutorial on how to apply different verification tools to OCaml-written programs. Our presentation takes an incremental approach: we first focus on purely functional programs; then on imperative programs, yet avoid pointers; finally, we use Separation Logic to reason about pointer-manipulating programs.


title: Semiclassical perspective on Landau levels and Hall conductivity in an anisotropic Cubic Dirac Semi-Metal and the peculiar case of star-shaped classical orbits

abstract: We study an anisotropic cubic Dirac semi-metal subjected to a constant magnetic field. In the case of an isotropic dispersion in the $x$-$y$ plane, with parameters $v_{x}=v_{y}$, it is possible to find exact Landau levels, indexed by the quantum number $n$, using the typical ladder operator approach. Interestingly, we find that the lowest energy level (the zero energy state in the case $k_z=0$) has a degeneracy that is three times that of other states. This degeneracy manifests in the Hall conductivity as a step at zero chemical potential that is 3/2 the size of other steps. Moreover, as $n\to\infty$ we find energies $E_n\propto n^{3/2}$, which means the $n$-th step as a function of chemical potential roughly occurs at a value $\mu\propto n^{3/2}$. We propose that these exciting features could be used to identify cubic Dirac semi-metals experimentally. Subsequently, we analyze the anisotropic case $v_{y}=\lambda v_{x}$ with $\lambda\neq 1$. First, we consider a perturbative treatment around $\lambda\approx 1$ and find that energies $E_n\propto n^{3/2}$ still holds as $n\to\infty$. To gain further insight into the Landau level structure for a maximum anisotropy, we turn to a semi-classical treatment that reveals interesting star-shaped orbits in phase space that close at infinity. This property is a manifestation of weakly localized states. Despite being infinite in length, these orbits enclose a finite phase space volume and permit finding a simple semi-classical formula for the energy, which again has the form as above. Our findings suggest that both isotropic and anisotropic cubic Dirac semi-metals should leave similar experimental imprints.


title: 3D Extended Object Tracking by Fusing Roadside Sparse Radar Point Clouds and Pixel Keypoints

abstract: Roadside perception is a key component in intelligent transportation systems. In this paper, we present a novel three-dimensional (3D) extended object tracking (EOT) method, which simultaneously estimates the object kinematics and extent state, in roadside perception using both the radar and camera data. Because of the influence of sensor viewing angle and limited angle resolution, radar measurements from objects are sparse and non-uniformly distributed, leading to inaccuracies in object extent and position estimation. To address this problem, we present a novel spherical Gaussian function weighted Gaussian mixture model. This model assumes that radar measurements originate from a series of probabilistic weighted radar reflectors on the vehicle's extent. Additionally, we utilize visual detection of vehicle keypoints to provide additional information on the positions of radar reflectors. Since keypoints may not always correspond to radar reflectors, we propose an elastic skeleton fusion mechanism, which constructs a virtual force to establish the relationship between the radar reflectors on the vehicle and its extent. Furthermore, to better describe the kinematic state of the vehicle and constrain its extent state, we develop a new 3D constant turn rate and velocity motion model, considering the complex 3D motion of the vehicle relative to the roadside sensor. Finally, we apply variational Bayesian approximation to the intractable measurement update step to enable recursive Bayesian estimation of the object's state. Simulation results using the Carla simulator and experimental results on the nuScenes dataset demonstrate the effectiveness and superiority of the proposed method in comparison to several state-of-the-art 3D EOT methods.


title: Imprints of dark energy models on structural properties of charged gravastars in extended teleparallel gravity

abstract: A gravastar comprises three distinct sections: the interior zone, the middle shell, and its outer region. By considering a specific extended teleparallel gravity model that incorporates conformal Killing vectors and provides the field equations. We observe that the interior part exhibits a repellent force acting on the shell. This is based on the assumption that pressure is analogous to negative energy density. The middle shell consists of ultrarelativistic plasma and pressure, which is directly proportional to the matter density and counteracts the repellent force exerted by the inner zone. In the outer zone, we compute the precise solution in a vacuum and then connect these spacetimes using junction conditions to investigate stability limits. We aim to investigate the influence of dark energy models on the stable characteristics of gravastar configurations. It is worth noting that the phantom field exhibits the highest stable configurations for all physically viable selections of physical parameters. We additionally investigate the influence of physical parameters on the correct length, entropy, and energy of the gravastar.


title: Localized State-Induced Enhanced Emission in Perovskite Nanocrystals

abstract: The luminescent mechanism of nano-sized materials with indirect bandgap and parity-forbidden transition has always been a critical issue in breaking through bottlenecks in traditional luminescent materials. The lack of understanding has resulted in great disputes regarding the origin of fluorescence in weak-transition nanocrystals (NCs). This paper proposes a new physical luminescence model, named as localized state-induced enhanced emission (LIEE), i.e., localized processes induced by size-limitation or partial doping, to explain the anomalous luminescence from non-luminescent state to luminescent state in various perovskite nanocrystals with indirect/direct bandgap or parity-forbidden transition. These findings provide a theoretical viewpoint to design efficient lead-free perovskite NCs and promote the development of fast optical transitions in luminescent materials.


title: VIEW: Visual Imitation Learning with Waypoints

abstract: Robots can use Visual Imitation Learning (VIL) to learn everyday tasks from video demonstrations. However, translating visual observations into actionable robot policies is challenging due to the high-dimensional nature of video data. This challenge is further exacerbated by the morphological differences between humans and robots, especially when the video demonstrations feature humans performing tasks. To address these problems we introduce Visual Imitation lEarning with Waypoints (VIEW), an algorithm that significantly enhances the sample efficiency of human-to-robot VIL. VIEW achieves this efficiency using a multi-pronged approach: extracting a condensed prior trajectory that captures the demonstrator's intent, employing an agent-agnostic reward function for feedback on the robot's actions, and utilizing an exploration algorithm that efficiently samples around waypoints in the extracted trajectory. VIEW also segments the human trajectory into grasp and task phases to further accelerate learning efficiency. Through comprehensive simulations and real-world experiments, VIEW demonstrates improved performance compared to current state-of-the-art VIL methods. VIEW enables robots to learn a diverse range of manipulation tasks involving multiple objects from arbitrarily long video demonstrations. Additionally, it can learn standard manipulation tasks such as pushing or moving objects from a single video demonstration in under 30 minutes, with fewer than 20 real-world rollouts. Code and videos here: https://collab.me.vt.edu/view/


title: Spectral mapping theorem and the Taylor spectrum

abstract: In [6] Cho and Tanahashi showe new spectral mapping theorem of the taylor spectrum for doubly commuting pairs of p-hyponormal operators and log-hyponormal operators. In this paper, we will show that same spectral mapping theorem holds for commuting n-tuples.


title: Radio Frequency Interference from Radio Navigation Satellite Systems: simulations and comparison to MeerKAT single-dish data

abstract: Radio Frequency Interference (RFI) is emitted from various sources, terrestrial or orbital, and create a nuisance for ground-based 21cm experiments. In particular, single-dish 21cm intensity mapping experiments will be highly susceptible to contamination from these sources due to its wide primary beam and sensitivity. This work aims to simulate the contamination effects emitted from orbital sources in the Radio Navigational Satellite System within the 1100-1350 MHz frequency. This simulation can be split into two parts: (I) satellite positioning, emission power, and beam response on the telescope and (II) fitting of the satellite signal to data in order to improve the original model. We use previously observed single dish MeerKAT L-band data which needs to be specially calibrated to include data contaminated by satellite-based RFI. We find that due to non-linearity effects, it becomes non-trivial to fit the satellite power. However, when masking regions where this non-linearity is problematic, we can recreate the satellite contamination with high accuracy around its peak frequencies. The simulation can predict satellite movements and signal for past and future observations, which can help in RFI avoidance and testing novel cleaning methods. The predicted signal from simulations sits below the noise in the target cosmology window for the L-band (970 - 1015 MHz) making it difficult to confirm any out-of-band emission from satellites. However, a power spectrum analysis shows that such signal can still contaminate the 21cm power spectrum at these frequencies. In our simulations, this contamination overwhelms the auto-power spectrum but still allows for a clean detection of the signal in cross-correlations with mild foreground cleaning. Whether such contamination does exist one will require further characterization of the satellite signals far away from their peak frequencies.


title: Hyperbolicity of the ballistic-conductive model of heat conduction: the reverse side of the coin

abstract: The heat equation, based on Fourier's law, is commonly used for description of heat conduction. However, Fourier's law is valid under the assumption of local thermodynamic equilibrium, which is violated in very small dimensions and short timescales, and at low temperatures. In the paper R. Kovacs and P. Van, Generalized heat conduction in heat pulse experiments, Int. J. Heat Mass Transf., 83:613-620, 2015, a ballistic-conductive (BC) model of heat conduction was developed. In this paper, we study the behavior of solutions to an initial value problem (IVP) in 1D in the framework of the linearized ballistic-conductive (BC) model. As a result of the study, an unphysical effect has been found when part of the initial thermal energy does not spread anywhere.

categories: cond-mat.stat-mech math-ph math.AP math.MP


title: Reliable Student: Addressing Noise in Semi-Supervised 3D Object Detection

abstract: Semi-supervised 3D object detection can benefit from the promising pseudo-labeling technique when labeled data is limited. However, recent approaches have overlooked the impact of noisy pseudo-labels during training, despite efforts to enhance pseudo-label quality through confidence-based filtering. In this paper, we examine the impact of noisy pseudo-labels on IoU-based target assignment and propose the Reliable Student framework, which incorporates two complementary approaches to mitigate errors. First, it involves a class-aware target assignment strategy that reduces false negative assignments in difficult classes. Second, it includes a reliability weighting strategy that suppresses false positive assignment errors while also addressing remaining false negatives from the first step. The reliability weights are determined by querying the teacher network for confidence scores of the student-generated proposals. Our work surpasses the previous state-of-the-art on KITTI 3D object detection benchmark on point clouds in the semi-supervised setting. On 1% labeled data, our approach achieves a 6.2% AP improvement for the pedestrian class, despite having only 37 labeled samples available. The improvements become significant for the 2% setting, achieving 6.0% AP and 5.7% AP improvements for the pedestrian and cyclist classes, respectively.


title: Spectral properties of the gradient operator with nonconstant coefficients

abstract: In mathematical physics, the gradient operator with nonconstant coefficients encompasses various models, including Fourier's law for heat propagation and Fick's first law, that relates the diffusive flux to the gradient of the concentration. Specifically, consider $n\geq 3$ orthogonal unit vectors $e_1,\dots,e_n\in\mathbb{R}^n$, and let $\Omega\subseteq\mathbb{R}^n$ be some (in general unbounded) Lipschitz domain. This paper investigates the spectral properties of the gradient operator $T=\sum_{i=1}^ne_ia_i(x)\frac{\partial}{\partial x_i}$ with nonconstant positive coefficients $a_i:\overline{\Omega}\to(0,\infty)$. Under certain regularity and growth conditions on the $a_i$, we identify bisectorial or strip-type regions that belong to the $S$-resolvent set of $T$. Moreover, we obtain suitable estimates of the associated resolvent operator. Our focus lies in the spectral theory on the $S$-spectrum, designed to study the operators acting in Clifford modules $V$ over the Clifford algebra $\mathbb{R}_n$, with vector operators being a specific crucial subclass. The spectral properties related to the $S$-spectrum of $T$ are linked to the inversion of the operator $Q_s(T):=T^2-2s_0T+|s|^2$, where $s\in\mathbb{R}^{n+1}$ is a paravector, i.e., it is of the form $s=s_0+s_1e_1+\dots+s_ne_n$. This spectral problem is substantially different from the complex one, since it allows to associate general boundary conditions to $Q_s(T)$, i.e., to the squared operator $T^2$.


title: SERPENT-VLM : Self-Refining Radiology Report Generation Using Vision Language Models

abstract: Radiology Report Generation (R2Gen) demonstrates how Multi-modal Large Language Models (MLLMs) can automate the creation of accurate and coherent radiological reports. Existing methods often hallucinate details in text-based reports that don't accurately reflect the image content. To mitigate this, we introduce a novel strategy, SERPENT-VLM (SElf Refining Radiology RePort GENeraTion using Vision Language Models), which improves the R2Gen task by integrating a self-refining mechanism into the MLLM framework. We employ a unique self-supervised loss that leverages similarity between pooled image representations and the contextual representations of the generated radiological text, alongside the standard Causal Language Modeling objective, to refine image-text representations. This allows the model to scrutinize and align the generated text through dynamic interaction between a given image and the generated text, therefore reducing hallucination and continuously enhancing nuanced report generation. SERPENT-VLM outperforms existing baselines such as LLaVA-Med, BiomedGPT, etc., achieving SoTA performance on the IU X-ray and Radiology Objects in COntext (ROCO) datasets, and also proves to be robust against noisy images. A qualitative case study emphasizes the significant advancements towards more sophisticated MLLM frameworks for R2Gen, opening paths for further research into self-supervised refinement in the medical imaging domain.


title: A comparative analysis of two peculiar long Gamma-ray bursts: GRB 230307A and GRB 211211A

abstract: GRB 211211A is a peculiar long Gamma-ray burst (GRB) with very high brightness and short burst properties. It's full lightcurve consists of three emission episodes, i.e. a precursor, a main burst and a extended emission. We find a recently detected long-duration GRB 230307A also includes the three consistent emission episodes. Furthermore, the two bursts have similar redshift 0.076 and 0.065, respectively. We perform a detail temporal and spectral analysis of the two GRBs to compare their temporal and spectral properties. Our analysis shows that the two bursts share great similarities for both the whole emission and the three corresponding emission phases, which are listed as follows: (1) they have near zero spectral lag, (2) they have very short minimum variability timescale (MVT), (3) they lie in the same region of in the MVT-$T_{90}$, Amati relation, and hardness-$T_{90}$ planes, (4) the three phases are quasi-thermal spectra, (5) both the peak energy and the low-energy index track the flux, (6) the time-resolved spectra are much wider than those of the blackbody prediced by theory model, (7) there are strong correlations between thermal flux and total flux and the correlation coefficients as well as the slopes for the corresponding stages are very consistent, (8) the photosphere emission properties are very consistent. Other investigations and observations suggest the two GRBs indeed belong to short burst with a compact star merger origin. Therefore, we think that GRB 230307A and GRB 211211A are the rare and similar GRBs and the photospheric radiation can interpret their radiation mechanisms.


title: Optimal quantum sensing of the nonlinear bosonic interactions using Fock states

abstract: Nonlinear processes with individual quanta beyond bilinear interactions are essential for quantum technology with bosonic systems. Diverse coherent splitting and merging of quanta in them already manifest in the estimation of their nonlinear coupling from observed statistics. We derive non-trivial, but optimal strategies for sensing the basic and experimentally available trilinear interactions using non-classical particle-like Fock states as a probe and feasible measurement strategies. Remarkably, the optimal probing of nonlinear coupling reaches estimation errors scaled down with $N^{-1/3}$ for overall $N$ of quanta in specific but available high-quality Fock states in all interacting modes. It can reveal unexplored aspects of nonlinear dynamics relevant to using such nonlinear processes in bosonic experiments with trapped ions and superconducting circuits and opens further developments of quantum technology with them.


title: Bertrand oligopoly in insurance markets with Value at Risk Constraints

abstract: Since 2016 the operation of insurance companies in the European Union is regulated by the Solvency II directive. According to the EU directive the capital requirement should be calculated as a 99.5\% of Value at Risk. In this study, we examine the impact of this capital requirement constraint on equilibrium premiums and capitals. We discuss the case of the oligopoly insurance market using Bertrand's model, assuming profit maximizing insurance companies facing Value at Risk constraints. First we analyze companies' decision on premium level. The companies strategic behavior can result positive as well as negative expected profit for companies. The desired situation where competition eliminate positive profit and lead the market to zero-profit state is rare. Later we examine ex post and ax ante capital adjustments. Capital adjustment does not rule out market anomalies, although somehow changes them. Possibility of capital adjustment can lead the market to a situation where all of the companies suffer loss. Allowing capital adjustment results monopolistic premium level or market failure with positive probabilities.


title: FedCRL: Personalized Federated Learning with Contrastive Shared Representations for Label Heterogeneity in Non-IID Data

abstract: To deal with heterogeneity resulting from label distribution skew and data scarcity in distributed machine learning scenarios, this paper proposes a novel Personalized Federated Learning (PFL) algorithm, named Federated Contrastive Representation Learning (FedCRL). FedCRL introduces contrastive representation learning (CRL) on shared representations to facilitate knowledge acquisition of clients. Specifically, both local model parameters and averaged values of local representations are considered as shareable information to the server, both of which are then aggregated globally. CRL is applied between local representations and global representations to regularize personalized training by drawing similar representations closer and separating dissimilar ones, thereby enhancing local models with external knowledge and avoiding being harmed by label distribution skew. Additionally, FedCRL adopts local aggregation between each local model and the global model to tackle data scarcity. A loss-wise weighting mechanism is introduced to guide the local aggregation using each local model's contrastive loss to coordinate the global model involvement in each client, thus helping clients with scarce data. Our simulations demonstrate FedCRL's effectiveness in mitigating label heterogeneity by achieving accuracy improvements over existing methods on datasets with varying degrees of label heterogeneity.


title: EvaNet: Elevation-Guided Flood Extent Mapping on Earth Imagery

abstract: Accurate and timely mapping of flood extent from high-resolution satellite imagery plays a crucial role in disaster management such as damage assessment and relief activities. However, current state-of-the-art solutions are based on U-Net, which can-not segment the flood pixels accurately due to the ambiguous pixels (e.g., tree canopies, clouds) that prevent a direct judgement from only the spectral features. Thanks to the digital elevation model (DEM) data readily available from sources such as United States Geological Survey (USGS), this work explores the use of an elevation map to improve flood extent mapping. We propose, EvaNet, an elevation-guided segmentation model based on the encoder-decoder architecture with two novel techniques: (1) a loss function encoding the physical law of gravity that if a location is flooded (resp. dry), then its adjacent locations with a lower (resp. higher) elevation must also be flooded (resp. dry); (2) a new (de)convolution operation that integrates the elevation map by a location sensitive gating mechanism to regulate how much spectral features flow through adjacent layers. Extensive experiments show that EvaNet significantly outperforms the U-Net baselines, and works as a perfect drop-in replacement for U-Net in existing solutions to flood extent mapping.


title: I Have an Attention Bridge to Sell You: Generalization Capabilities of Modular Translation Architectures

abstract: Modularity is a paradigm of machine translation with the potential of bringing forth models that are large at training time and small during inference. Within this field of study, modular approaches, and in particular attention bridges, have been argued to improve the generalization capabilities of models by fostering language-independent representations. In the present paper, we study whether modularity affects translation quality; as well as how well modular architectures generalize across different evaluation scenarios. For a given computational budget, we find non-modular architectures to be always comparable or preferable to all modular designs we study.


title: Superspace coinvariants and hyperplane arrangements

abstract: Let $\Omega$ be the {\em superspace ring} of polynomial-valued differential forms on affine $n$-space. The natural action of the symmetric group $\mathfrak{S}_n$ on $n$-space induces an action of $\mathfrak{S}_n$ on $\Omega$. The {\em superspace coinvariant ring} is the quotient $SR$ of $\Omega$ by the ideal generated by $\mathfrak{S}_n$-invariants with vanishing constant term. We give the first explicit basis of $SR$, proving a conjecture of Sagan and Swanson. Our techniques use the theory of hyperplane arrangements. We relate $SR$ to instances of the Solomon-Terao algebras of Abe-Maeno-Murai-Numata and use exact sequences relating the derivation modules of certain `southwest closed' arrangements to obtain the desired basis of $SR$.


title: Fractional ac Josephson effect as evidence of topological hinge states in a Dirac semimetal NiTe2

abstract: We experimentally investigate Josephson current between two 5~$\mu$m spaced superconducting indium leads, coupled to a NiTe$_2$ single crystal flake, which is a type-II Dirac semimetal. Under microwave irradiation, we demonstrate a.c. Josephson effect at millikelvin temperatures as a number of Shapiro steps. In addition to the integer ($n=1,2,3,4...$) steps, we observe fractional ones at half-integer values $n=1/2,3/2,5/2$ and 7/2, which corresponds to $\pi$ periodicity of current-phase relationship. In contrast to previous investigations, we do not observe $4\pi$ periodicity (disappearance of the odd $n=1,3,5...$ Shapiro steps), while the latter is usually considered as a fingerprint of helical surface states in Dirac semimetals and topological insulators. We argue, that our experiment confirms Josephson current through the topological hinge states in NiTe$_2$: since one can exclude bulk supercurrent in 5~$\mu$m long Josephson junctions, interference of the hinge modes is responsible for the $\pi$ periodicity, while stable odd Shapiro steps reflect chiral character of the topological hinge states.


title: Monogenic Even Octic Polynomials and Their Galois Groups

abstract: A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In a series of recent articles, complete classifications of the Galois groups were given for irreducible polynomials \[{\mathcal F}(x):=x^8+ax^4+b\in {\mathbb Z}[x]\] and \[{\mathcal G}(x):=x^8+ax^6+bx^4+ax^2+1\in {\mathbb Z}[x], \quad a\ne 0.\] In this article, for each Galois group $G$ arising in these classifications, we either construct an infinite family of monogenic octic polynomials ${\mathcal F}(x)$ or ${\mathcal G}(x)$ having Galois group $G$, or we prove that at most a finite such family exists. In the finite family situations, we determine all such polynomials. Here, a ``family" means that no two polynomials in the family generate isomorphic octic fields.


title: Open-Set 3D Semantic Instance Maps for Vision Language Navigation -- O3D-SIM

abstract: Humans excel at forming mental maps of their surroundings, equipping them to understand object relationships and navigate based on language queries. Our previous work SI Maps [1] showed that having instance-level information and the semantic understanding of an environment helps significantly improve performance for language-guided tasks. We extend this instance-level approach to 3D while increasing the pipeline's robustness and improving quantitative and qualitative results. Our method leverages foundational models for object recognition, image segmentation, and feature extraction. We propose a representation that results in a 3D point cloud map with instance-level embeddings, which bring in the semantic understanding that natural language commands can query. Quantitatively, the work improves upon the success rate of language-guided tasks. At the same time, we qualitatively observe the ability to identify instances more clearly and leverage the foundational models and language and image-aligned embeddings to identify objects that, otherwise, a closed-set approach wouldn't be able to identify.


title: The Grothendieck computability model

abstract: Translating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-projection-simulation. We prove some basic properties of the Grothendieck computability model, and we show that the category of computability models is a type-category, in the sense of Pitts. We introduce the notion of a fibration and opfibration-simulation, and we show that the first-projection-simulation is a split opfibration-simulation.


title: Results about sets of desirable gamble sets

abstract: Coherent sets of desirable gamble sets is used as a model for representing an agents opinions and choice preferences under uncertainty. In this paper we provide some results about the axioms required for coherence and the natural extension of a given set of desirable gamble sets. We also show that coherent sets of desirable gamble sets can be represented by a proper filter of coherent sets of desirable gambles.


title: Accurate and fast anomaly detection in industrial processes and IoT environments

abstract: We present a novel, simple and widely applicable semi-supervised procedure for anomaly detection in industrial and IoT environments, SAnD (Simple Anomaly Detection). SAnD comprises 5 steps, each leveraging well-known statistical tools, namely; smoothing filters, variance inflation factors, the Mahalanobis distance, threshold selection algorithms and feature importance techniques. To our knowledge, SAnD is the first procedure that integrates these tools to identify anomalies and help decipher their putative causes. We show how each step contributes to tackling technical challenges that practitioners face when detecting anomalies in industrial contexts, where signals can be highly multicollinear, have unknown distributions, and intertwine short-lived noise with the long(er)-lived actual anomalies. The development of SAnD was motivated by a concrete case study from our industrial partner, which we use here to show its effectiveness. We also evaluate the performance of SAnD by comparing it with a selection of semi-supervised methods on public datasets from the literature on anomaly detection. We conclude that SAnD is effective, broadly applicable, and outperforms existing approaches in both anomaly detection and runtime.


title: Pre-training on High Definition X-ray Images: An Experimental Study

abstract: Existing X-ray based pre-trained vision models are usually conducted on a relatively small-scale dataset (less than 500k samples) with limited resolution (e.g., 224 $\times$ 224). However, the key to the success of self-supervised pre-training large models lies in massive training data, and maintaining high resolution in the field of X-ray images is the guarantee of effective solutions to difficult miscellaneous diseases. In this paper, we address these issues by proposing the first high-definition (1280 $\times$ 1280) X-ray based pre-trained foundation vision model on our newly collected large-scale dataset which contains more than 1 million X-ray images. Our model follows the masked auto-encoder framework which takes the tokens after mask processing (with a high rate) is used as input, and the masked image patches are reconstructed by the Transformer encoder-decoder network. More importantly, we introduce a novel context-aware masking strategy that utilizes the chest contour as a boundary for adaptive masking operations. We validate the effectiveness of our model on two downstream tasks, including X-ray report generation and disease recognition. Extensive experiments demonstrate that our pre-trained medical foundation vision model achieves comparable or even new state-of-the-art performance on downstream benchmark datasets. The source code and pre-trained models of this paper will be released on https://github.com/Event-AHU/Medical_Image_Analysis.


title: Approximation and FPT Algorithms for Finding DM-Irreducible Spanning Subgraphs

abstract: Finding a minimum strongly connected spanning subgraph of a given directed graph generalizes the well-known strong connectivity augmentation problem, and it is NP-hard. For the weighted problem, a simple $2$-approximation algorithm was proposed by Frederickson and J\'{a}j\'{a} (1981); surprisingly, it still achieves the best known approximation ratio in general. Also, the unweighted problem was shown to be FPT by Bang-Jensen and Yeo (2008), where the parameter is the difference from the trivial upper bound of the optimal value. In this paper, we consider a generalized problem related to the Dulmage--Mendelsohn decompositions of bipartite graphs instead of the strong connectivity of directed graphs, and extend the above approximation and FPT results to this setting.


title: Diffusiophoresis of ionic catalytic particles

abstract: A migration of charged particles relative to a solvent, caused by a gradient of salt concentration and termed a diffusiophoresis, is of much interest being exploited in many fields. Existing theories deal with diffusiophoresis of passive inert particles. In this paper, we extend prior models by focusing on a particle, which is both passive and catalytic, by postulating an uniform ion release over its surface. We derive an expression for a particle velocity depending on a dimensionless ion flux (Damkohler number Da) and show that a charged region is formed at distances of the order of the particle size, provided the diffusion coefficients of anions and cations are unequal. When Da becomes large enough, the contribution of this (outer) region to the particle velocity dominates. In this case the speed of catalytic passive particles augments linearly with Da and is inversely proportional to the square of electrolyte concentration. As a result, they always migrate towards a high concentration region and in dilute solutions become much faster than inert (non-catalytic) ones.


title: Spatio-Temporal Side Tuning Pre-trained Foundation Models for Video-based Pedestrian Attribute Recognition

abstract: Existing pedestrian attribute recognition (PAR) algorithms are mainly developed based on a static image, however, the performance is unreliable in challenging scenarios, such as heavy occlusion, motion blur, etc. In this work, we propose to understand human attributes using video frames that can fully use temporal information by fine-tuning a pre-trained multi-modal foundation model efficiently. Specifically, we formulate the video-based PAR as a vision-language fusion problem and adopt a pre-trained foundation model CLIP to extract the visual features. More importantly, we propose a novel spatiotemporal side-tuning strategy to achieve parameter-efficient optimization of the pre-trained vision foundation model. To better utilize the semantic information, we take the full attribute list that needs to be recognized as another input and transform the attribute words/phrases into the corresponding sentence via split, expand, and prompt operations. Then, the text encoder of CLIP is utilized for embedding processed attribute descriptions. The averaged visual tokens and text tokens are concatenated and fed into a fusion Transformer for multi-modal interactive learning. The enhanced tokens will be fed into a classification head for pedestrian attribute prediction. Extensive experiments on two large-scale video-based PAR datasets fully validated the effectiveness of our proposed framework. The source code of this paper is available at https://github.com/Event-AHU/OpenPAR.


title: Multi-Stream Cellular Test-Time Adaptation of Real-Time Models Evolving in Dynamic Environments

abstract: In the era of the Internet of Things (IoT), objects connect through a dynamic network, empowered by technologies like 5G, enabling real-time data sharing. However, smart objects, notably autonomous vehicles, face challenges in critical local computations due to limited resources. Lightweight AI models offer a solution but struggle with diverse data distributions. To address this limitation, we propose a novel Multi-Stream Cellular Test-Time Adaptation (MSC-TTA) setup where models adapt on the fly to a dynamic environment divided into cells. Then, we propose a real-time adaptive student-teacher method that leverages the multiple streams available in each cell to quickly adapt to changing data distributions. We validate our methodology in the context of autonomous vehicles navigating across cells defined based on location and weather conditions. To facilitate future benchmarking, we release a new multi-stream large-scale synthetic semantic segmentation dataset, called DADE, and show that our multi-stream approach outperforms a single-stream baseline. We believe that our work will open research opportunities in the IoT and 5G eras, offering solutions for real-time model adaptation.


title: Critical Review for One-class Classification: recent advances and the reality behind them

abstract: This paper offers a comprehensive review of one-class classification (OCC), examining the technologies and methodologies employed in its implementation. It delves into various approaches utilized for OCC across diverse data types, such as feature data, image, video, time series, and others. Through a systematic review, this paper synthesizes promi-nent strategies used in OCC from its inception to its current advance-ments, with a particular emphasis on the promising application. Moreo-ver, the article criticizes the state-of-the-art (SOTA) image anomaly de-tection (AD) algorithms dominating one-class experiments. These algo-rithms include outlier exposure (binary classification) and pretrained model (multi-class classification), conflicting with the fundamental con-cept of learning from one class. Our investigation reveals that the top nine algorithms for one-class CIFAR10 benchmark are not OCC. We ar-gue that binary/multi-class classification algorithms should not be com-pared with OCC.


title: Takens' Last Problem and strong pluripotency

abstract: We consider the concept of strong pluripotency of dynamical systems for a hyperbolic invariant set, as introduced in [KNS]. To the best of our knowledge, for the whole hyperbolic invariant set, the existence of robust strongly pluripotent dynamical systems has not been proven in previous studies. In fact, there is an example of strongly pluripotent dynamical systems in [CV01], but its robustness has not been proven. On the other hand, robust strongly pluripotent dynamical systems for some proper subsets of hyperbolic sets had been found in [KS17, KNS]. In this paper, we provide a combinatorial way to recognize strongly pluripotent diffeomorphisms in a Newhouse domain and prove that they are $C^r$-robust, $2\leq r< \infty$. More precisely, we prove that there is a 2-dimensional diffeomorphism with a wild Smale horseshoe which has a $C^r$ neighborhood $\mathcal{U}_0$ where all elements are strongly pluripotent for the whole Smale horseshoe. Moreover, it follows from the result that any property, such as having a non-trivial physical measure supported by the Smale horseshoe or having historic behavior, is $C^r$-persistent relative to a dense subset of $\mathcal{U}_0$.


title: Stability for binary scalar products

abstract: Bohn, Faenza, Fiorini, Fisikopoulos, Macchia, and Pashkovich (2015) conjectured that 2-level polytopes cannot simultaneously have many vertices and many facets, namely, that the maximum of the product of the number of vertices and facets is attained on the cube and cross-polytope. This was proved in a recent work by Kupavskii and Weltge. In this paper, we resolve a strong version of the conjecture by Bohn et al., and find the maximum possible product of the number of vertices and the number of facets in a 2-level polytope that is not affinely isomorphic to the cube or the cross-polytope. To do this, we get a sharp stability result of Kupavskii and Weltge's upper bound on $\left|\mathcal A\right|\cdot\left|\mathcal B\right|$ for $\mathcal A,\mathcal B \subseteq \mathbb R^d$ with a property that $\forall a \in \mathcal A, b \in \mathcal B$ the scalar product $\langle a, b\rangle \in\{0,1\}$.


title: Releasing trapped Taylor bubbles via centrifugation and inclination

abstract: In confined systems, the entrapment of a gas volume with an equivalent spherical diameter greater than the dimension of the channel can form extended bubbles that obstruct fluid circuits and compromise performance. Notably, in sealed vertical tubes, buoyant long bubbles -- called Taylor bubbles -- cannot rise if the inner tube radius is below a critical value near the capillary length. This critical threshold for steady ascent is determined by geometric constraints related to matching the upper cap shape with the lubricating film in the elongated part of the bubble. Developing strategies to overcome this threshold and release stuck bubbles is essential for applications involving narrow liquid channels. Effective strategies involve modifying matching conditions with an external force field to facilitate bubble ascent. However, it's unclear how changes in acceleration conditions affect the motion onset of buoyancy-driven long bubbles. This study investigates the mobility of elongated bubbles in sealed tubes with an inner radius near the critical value inhibiting bubble motion in a vertical setting. Two strategies are explored to tune bubble motion, leveraging variations in axial and transversal accelerations: tube rotation around its axis and tube inclination relative to gravity. By revising the geometrical constraints of the simple vertical setting, the study predicts new thresholds based on rotational speed and tilt angle, respectively, providing forecasts for the bubble rising velocity under modified apparent gravity. Experimental measurements of motion threshold and rising velocity compare well with theoretical developments, thus suggesting practical approaches to control and tune bubble motion in confined environments.


title: The $\Xi_c^{(\prime,*)}N$ interactions and the corresponding bound states

abstract: In the framework of a one-boson-exchange model, we conduct a comprehensive investigation into the interactions between an $S-$wave charm-strange baryon $\Xi_c^{(\prime,*)}$ and a nucleon by considering the $S-D$ wave mixing effects and the coupled channel effects. Our results can predict a serial of possible $S-$wave $\Xi_c^{(\prime,*)}N$ molecular candidates. The one-pion-exchange model together with the coupled channel effects play an important role in generating the $\Xi_cN$ bound states with $I(J^P)=0(0^+)$ and $0(1^+)$, the one-pion-exchange effective potentials are strong enough to bind the $\Xi_c^{\prime}N$ states with $I(J^P)=0(0^+)$ and $0(1^+)$ and $\Xi_c^*N$ states with $I(J^P)=0(1^+)$ and $0(2^+)$, and the intermediate range and short range force originating from the scalar meson and the vector mesons exchanges interactions are essential in formative to the isovector $S-$wave $\Xi_c^{(\prime,*)}N$. We expect the experiments looking for these possible molecular candidates.


title: FDCE-Net: Underwater Image Enhancement with Embedding Frequency and Dual Color Encoder

abstract: Underwater images often suffer from various issues such as low brightness, color shift, blurred details, and noise due to light absorption and scattering caused by water and suspended particles. Previous underwater image enhancement (UIE) methods have primarily focused on spatial domain enhancement, neglecting the frequency domain information inherent in the images. However, the degradation factors of underwater images are closely intertwined in the spatial domain. Although certain methods focus on enhancing images in the frequency domain, they overlook the inherent relationship between the image degradation factors and the information present in the frequency domain. As a result, these methods frequently enhance certain attributes of the improved image while inadequately addressing or even exacerbating other attributes. Moreover, many existing methods heavily rely on prior knowledge to address color shift problems in underwater images, limiting their flexibility and robustness. In order to overcome these limitations, we propose the Embedding Frequency and Dual Color Encoder Network (FDCE-Net) in our paper. The FDCE-Net consists of two main structures: (1) Frequency Spatial Network (FS-Net) aims to achieve initial enhancement by utilizing our designed Frequency Spatial Residual Block (FSRB) to decouple image degradation factors in the frequency domain and enhance different attributes separately. (2) To tackle the color shift issue, we introduce the Dual-Color Encoder (DCE). The DCE establishes correlations between color and semantic representations through cross-attention and leverages multi-scale image features to guide the optimization of adaptive color query. The final enhanced images are generated by combining the outputs of FS-Net and DCE through a fusion network. These images exhibit rich details, clear textures, low noise and natural colors.


title: DTization: A New Method for Supervised Feature Scaling

abstract: Artificial intelligence is currently a dominant force in shaping various aspects of the world. Machine learning is a sub-field in artificial intelligence. Feature scaling is one of the data pre-processing techniques that improves the performance of machine learning algorithms. The traditional feature scaling techniques are unsupervised where they do not have influence of the dependent variable in the scaling process. In this paper, we have presented a novel feature scaling technique named DTization that employs decision tree and robust scaler for supervised feature scaling. The proposed method utilizes decision tree to measure the feature importance and based on the importance, different features get scaled differently with the robust scaler algorithm. The proposed method has been extensively evaluated on ten classification and regression datasets on various evaluation matrices and the results show a noteworthy performance improvement compared to the traditional feature scaling methods.


title: The time evolution of fast flavor crossings in post-merger disks around a black hole remnant

abstract: We postprocess a three-dimensional general relativistic, full transport neutrino radiation magnetohydrodynamics simulation of the black hole--accretion disk--wind system thought to be a potential outcome of the GW170817 merger to investigate the presence of electron lepton number (ELN-XLN) crossings in the neutrino angular distribution. Neutrinos are evolved with an explicit Monte Carlo method and can interact with matter via emission, absorption, or scattering. Within the postprocessing framework, we find ubiquitous occurrence of ELN-XLN crossings at early times ($\sim$ 11ms) but this does not hold for later times in the simulation. At postmerger times of $ \sim$ 60 ms and beyond, ELN-XLN crossings are only present near the equator. We provide a detailed analysis of the neutrino radiation field to investigate the origin and time evolution of these crossings. Previous reports have suggested ubiquitous flavor crossings persisting throughout the simulation lifetime, albeit for different sets of conditions for the merger remnant, the treatment of hydrodynamics and neutrino transport. Even though we do not perform a direct comparison with other published works, we qualitatively assess the reasons for the difference with our results. The geometric structure and evolution of the ELN-XLN crossings found in our analysis, and by extension, fast flavor instabilities have important implications for heavy element nucleosynthesis in neutron star mergers.


title: Control randomisation approach for policy gradient and application to reinforcement learning in optimal switching

abstract: We propose a comprehensive framework for policy gradient methods tailored to continuous time reinforcement learning. This is based on the connection between stochastic control problems and randomised problems, enabling applications across various classes of Markovian continuous time control problems, beyond diffusion models, including e.g. regular, impulse and optimal stopping/switching problems. By utilizing change of measure in the control randomisation technique, we derive a new policy gradient representation for these randomised problems, featuring parametrised intensity policies. We further develop actor-critic algorithms specifically designed to address general Markovian stochastic control issues. Our framework is demonstrated through its application to optimal switching problems, with two numerical case studies in the energy sector focusing on real options.


title: CBMAP: Clustering-based manifold approximation and projection for dimensionality reduction

abstract: Dimensionality reduction methods are employed to decrease data dimensionality, either to enhance machine learning performance or to facilitate data visualization in two or three-dimensional spaces. These methods typically fall into two categories: feature selection and feature transformation. Feature selection retains significant features, while feature transformation projects data into a lower-dimensional space, with linear and nonlinear methods. While nonlinear methods excel in preserving local structures and capturing nonlinear relationships, they may struggle with interpreting global structures and can be computationally intensive. Recent algorithms, such as the t-SNE, UMAP, TriMap, and PaCMAP prioritize preserving local structures, often at the expense of accurately representing global structures, leading to clusters being spread out more in lower-dimensional spaces. Moreover, these methods heavily rely on hyperparameters, making their results sensitive to parameter settings. To address these limitations, this study introduces a clustering-based approach, namely CBMAP (Clustering-Based Manifold Approximation and Projection), for dimensionality reduction. CBMAP aims to preserve both global and local structures, ensuring that clusters in lower-dimensional spaces closely resemble those in high-dimensional spaces. Experimental evaluations on benchmark datasets demonstrate CBMAP's efficacy, offering speed, scalability, and minimal reliance on hyperparameters. Importantly, CBMAP enables low-dimensional projection of test data, addressing a critical need in machine learning applications. CBMAP is made freely available at https://github.com/doganlab/cbmap and can be installed from the Python Package Directory (PyPI) software repository with the command pip install cbmap.


title: Variable Brane Tension and Dark Energy

abstract: In this letter, we show that in a particular braneworld scenario with variable brane tension, we obtain matter acting as dark energy while the gravitational constant $G$ promoted to a scalar field on the brane plays the role of matter (both in the sense they have an 'effective' Equation of State equivalent to that of dark energy and matter respectively). This result is interpreted from the Friedmann equation obtained from our model that exactly matches the standard Friedmann equation of General Relativity with a cosmological constant $\Lambda$ in terms of the aforementioned quantities. The universe is assumed to consist of only matter and dark energy in this model which is a good approximation for our universe.


title: Hyperquot schemes on curves: virtual class and motivic invariants

abstract: Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to partial flag varieties. Motivated by enumerative geometry, in this paper we construct a perfect obstruction theory (and hence a virtual class and a virtual structure sheaf) on these moduli spaces, which we use to provide criteria for smoothness and unobstructedness. Under these assumptions, we determine their motivic partition function in the Grothendieck ring of varieties, in terms of the motivic zeta function of $C$.


title: Interaction Event Forecasting in Multi-Relational Recursive HyperGraphs: A Temporal Point Process Approach

abstract: Modeling the dynamics of interacting entities using an evolving graph is an essential problem in fields such as financial networks and e-commerce. Traditional approaches focus primarily on pairwise interactions, limiting their ability to capture the complexity of real-world interactions involving multiple entities and their intricate relationship structures. This work addresses the problem of forecasting higher-order interaction events in multi-relational recursive hypergraphs. This is done using a dynamic graph representation learning framework that can capture complex relationships involving multiple entities. The proposed model, \textit{Relational Recursive Hyperedge Temporal Point Process} (RRHyperTPP) uses an encoder that learns a dynamic node representation based on the historical interaction patterns and then a hyperedge link prediction based decoder to model the event's occurrence. These learned representations are then used for downstream tasks involving forecasting the type and time of interactions. The main challenge in learning from hyperedge events is that the number of possible hyperedges grows exponentially with the number of nodes in the network. This will make the computation of negative log-likelihood of the temporal point process expensive, as the calculation of survival function requires a summation over all possible hyperedges. In our work, we use noise contrastive estimation to learn the parameters of our model, and we have experimentally shown that our models perform better than previous state-of-the-art methods for interaction forecasting.


title: Mobile Edge Computing

abstract: Mobile Edge Computing (MEC) has emerged as a solution to the high latency and suboptimal Quality of Experience (QoE) associated with Mobile Cloud Computing (MCC). By processing data near the source, MEC reduces the need to send information to distant data centers, resulting in faster response times and lower latency. This paper explores the differences between MEC and traditional cloud computing, emphasizing architecture, data flow, and resource allocation. Key technologies like Network Function Virtualization (NFV) and Software-Defined Networking (SDN) are discussed for their role in achieving scalability and flexibility. Additionally, security and privacy challenges are addressed, underscoring the need for robust frameworks. We conclude with an examination of various edge computing applications and suggest future research directions to enhance the effectiveness and adoption of MEC in the evolving technological landscape.


title: Widespread rapid quenching at cosmic noon revealed by JWST deep spectroscopy

abstract: Massive quiescent galaxies in the young universe are expected to be quenched rapidly, but it is unclear whether they all experience starbursts before quenching and what physical mechanism drives rapid quenching. We study 16 massive quiescent galaxies ($\log(M_\star/M_\odot) > 10$) at $z\sim2$ selected from a representative sample of the Blue Jay survey. We reconstruct their star formation histories by fitting spectral energy distribution models to the JWST/NIRSpec $R\sim1000$ spectra. We find that massive quiescent galaxies can be split into three categories with roughly equal numbers of galaxies according to their SFHs: 1) Relatively old galaxies quenched at early epochs; 2) Galaxies that are rapidly and recently quenched after a flat or bursty formation history (depending on the assumed prior); 3) Galaxies that are rapidly and recently quenched after a major starburst. Most recently quenched galaxies show neutral gas outflows, probed by blueshifted $\rm Na\,I\,D$ absorption, and ionized gas emission, with line ratios consistent with active galactic nucleus (AGN) diagnostics. This suggests that AGN activity drives multi-phase gas outflows, leading to rapid quenching. By tracing back the SFHs of the entire sample, we predict the number density of massive quiescent galaxies at $z=4-6$: $n=3.0\pm1.4\times10^{-5}\,\rm Mpc^{-3}$. The two oldest massive quiescent galaxies in our sample appear to have extremely early formation and quenching ($z\gtrsim6$), possibly descendants of early post-starbursts at $z>3$. These galaxies still show neutral gas reservoirs and low-level star formation, consistent with weak H$\alpha$ emission, perhaps because the ejective AGN feedback that caused rapid quenching has weakened over time.


title: Geometric Characteristics in Phaseless Operator and Structured Matrix Recovery

abstract: In this paper, we first propose a unified approach for analyzing the stability of the phaseless operator for both amplitude and intensity measurement on an arbitrary geometric set, thus characterizing the robust performance of phase retrieval via the empirical minimization method. We introduce the random embedding of concave lifting operators in tangent space to characterize the unified analysis of any geometric set. Similarly, we investigate the structured matrix recovery problem through the robust injectivity of a linear rank one measurement operator on an arbitrary matrix set. The core of our analysis is to establish a unified empirical chaos process characterization for various matrix sets. Talagrand's $\gamma_{\alpha}$-functionals are introduced to characterize the connection between the geometric constraints and the number of measurements needed to guarantee stability or robust injectivity. Finally, we construct adversarial noise to demonstrate the sharpness of the recovery bounds in the above two scenarios.


title: Bounding the Expected Robustness of Graph Neural Networks Subject to Node Feature Attacks

abstract: Graph Neural Networks (GNNs) have demonstrated state-of-the-art performance in various graph representation learning tasks. Recently, studies revealed their vulnerability to adversarial attacks. In this work, we theoretically define the concept of expected robustness in the context of attributed graphs and relate it to the classical definition of adversarial robustness in the graph representation learning literature. Our definition allows us to derive an upper bound of the expected robustness of Graph Convolutional Networks (GCNs) and Graph Isomorphism Networks subject to node feature attacks. Building on these findings, we connect the expected robustness of GNNs to the orthonormality of their weight matrices and consequently propose an attack-independent, more robust variant of the GCN, called the Graph Convolutional Orthonormal Robust Networks (GCORNs). We further introduce a probabilistic method to estimate the expected robustness, which allows us to evaluate the effectiveness of GCORN on several real-world datasets. Experimental experiments showed that GCORN outperforms available defense methods. Our code is publicly available at: \href{https://github.com/Sennadir/GCORN}{https://github.com/Sennadir/GCORN}.


title: Fast relaxation in metallic glasses studied by measurements of the internal friction at high frequencies

abstract: We performed high-frequency (0.4 to 1.7 MHz) measurements of the internal friction (IF) on 14 bulk metallic glasses (MGs). It is found that 12 of these MGs display relaxation IF peaks at temperatures T= 400-500 K, which are weakly affected by heat treatment within the amorphous state. The corresponding relaxation time is about 0.3 microseconds. This fast relaxation is reported for the first time in the literature. The apparent activation enthalpy for 4 MGs is determined.


title: Transfer Learning Enhanced Single-choice Decision for Multi-choice Question Answering

abstract: Multi-choice Machine Reading Comprehension (MMRC) aims to select the correct answer from a set of options based on a given passage and question. The existing methods employ the pre-trained language model as the encoder, share and transfer knowledge through fine-tuning.These methods mainly focus on the design of exquisite mechanisms to effectively capture the relationships among the triplet of passage, question and answers. It is non-trivial but ignored to transfer knowledge from other MRC tasks such as SQuAD due to task specific of MMRC.In this paper, we reconstruct multi-choice to single-choice by training a binary classification to distinguish whether a certain answer is correct. Then select the option with the highest confidence score as the final answer. Our proposed method gets rid of the multi-choice framework and can leverage resources of other tasks. We construct our model based on the ALBERT-xxlarge model and evaluate it on the RACE and DREAM datasets. Experimental results show that our model performs better than multi-choice methods. In addition, by transferring knowledge from other kinds of MRC tasks, our model achieves state-of-the-art results in both single and ensemble settings.


title: A stochastic model for immune response with mutations and evolution

abstract: We consider two simple stochastic models for a pathogen population in the presence of an immune response, where we assume that the immune system must first get rid of the pathogen type with the lowest fitness in each ancestral lineage of pathogen types present in the host. In the first model, the pathogens reproduce independently at rate $\lambda$ without spatial restrictions. The second model is similar but evolves on a graph. In this case, each pathogen occupies a site and can only place offspring on adjacent empty sites. In both models, when a new pathogen is born, it has the same type as its parent with probability $1-r$. Conversely, with probability $r$, a beneficial mutation occurs, generating a new pathogen type with a higher fitness than its parent's type. We assume that the immune system develops an effective immune response, independently at rate 1, for each pathogen type without ancestral types that are still alive, which simultaneously kills all pathogens of that type. Our main results are a complete characterization of the survival-extinction phase diagram of the first model, and sufficient conditions for survival and extinction of the second model on $\mathbb{Z}^d.$ A comparison with similar models introduced by Schinazi and Schweinsberg (2008), where mutations are not necessarily beneficial and the immune response for each pathogen type occurs independently at rate 1, reveals that the first and second models exhibit more complex and comparable behaviors, respectively.


title: Cauchy-Schwarz Divergence Information Bottleneck for Regression

abstract: The information bottleneck (IB) approach is popular to improve the generalization, robustness and explainability of deep neural networks. Essentially, it aims to find a minimum sufficient representation $\mathbf{t}$ by striking a trade-off between a compression term $I(\mathbf{x};\mathbf{t})$ and a prediction term $I(y;\mathbf{t})$, where $I(\cdot;\cdot)$ refers to the mutual information (MI). MI is for the IB for the most part expressed in terms of the Kullback-Leibler (KL) divergence, which in the regression case corresponds to prediction based on mean squared error (MSE) loss with Gaussian assumption and compression approximated by variational inference. In this paper, we study the IB principle for the regression problem and develop a new way to parameterize the IB with deep neural networks by exploiting favorable properties of the Cauchy-Schwarz (CS) divergence. By doing so, we move away from MSE-based regression and ease estimation by avoiding variational approximations or distributional assumptions. We investigate the improved generalization ability of our proposed CS-IB and demonstrate strong adversarial robustness guarantees. We demonstrate its superior performance on six real-world regression tasks over other popular deep IB approaches. We additionally observe that the solutions discovered by CS-IB always achieve the best trade-off between prediction accuracy and compression ratio in the information plane. The code is available at \url{https://github.com/SJYuCNEL/Cauchy-Schwarz-Information-Bottleneck}.


title: Multi-centre normative brain mapping of intracranial EEG lifespan patterns in the human brain

abstract: Background: Understanding healthy human brain function is crucial to identify and map pathological tissue within it. Whilst previous studies have mapped intracranial EEG (icEEG) from non-epileptogenic brain regions, these maps do not consider the effects of age and sex. Further, most existing work on icEEG has often suffered from a small sample size due to this modality's invasive nature. Here, we substantially increase the subject sample size compared to existing literature, to create a multi-centre, normative map of brain activity which additionally considers the effects of age, sex and recording site. Methods: Using interictal icEEG recordings from n = 513 subjects originating from 15 centres, we constructed a normative map of non-pathological brain activity by regressing age and sex on relative band power in five frequency bands, whilst accounting for the site effect. Results: Recording site significantly impacted normative icEEG maps in all frequency bands, and age was a more influential predictor of band power than sex. The age effect varied by frequency band, but no spatial patterns were observed at the region-specific level. Certainty about regression coefficients was also frequency band specific and moderately impacted by sample size. Conclusion: The concept of a normative map is well-established in neuroscience research and particularly relevant to the icEEG modality, which does not allow healthy control baselines. Our key results regarding the site and age effect guide future work utilising normative maps in icEEG.


title: Branching random walk and log-slowly varying tails

abstract: We study a branching random walk with independent and identically distributed, heavy tailed displacements. The offspring law is supercritical and satisfies the Kesten-Stigum condition. We treat the case when the law of the displacements does not lie in the max-domain of attraction of an extreme value distribution. Hence, the classical extreme value theory, which is often deployed in this kind of models, breaks down. We show that if the tails of the displacements are such that the absolute value of the logarithm of the tail is a slowly varying function, one can still effectively analyse the extremes of the process. More precisely, after a non-linear transformation the extremes of the branching random walk process converge to a cluster Cox process.


title: Parameterized Linear Time Transitive Closure

abstract: Inquiries such as whether a task A depends on a task B, whether an author A has been influenced by a paper B, whether a certain protein is associated with a specific biological process or molecular function, or whether class A inherits from class B, are just a few examples of inquiries that can be modeled as reachability queries on a network (Directed Graph). Digital systems answer myriad such inquiries every day. In this paper, we discuss the transitive closure problem. We focus on applicable solutions that enable us to answer queries fast, in constant time, and can serve in real-world applications. In contrast to the majority of research on this topic that revolves around the construction of a two-dimensional adjacency matrix, we present an approach that builds a reachability indexing scheme. This scheme enables us to answer queries in constant time and can be built in parameterized linear time. In addition, it captures a compressed data structure. Our approach and algorithms are validated by extensive experiments that shed light on the factors that play a key role in this problem. To stress the efficiency of this solution and demonstrate the potential to apply our approach to important problems, we use it to speed up Fulkerson's method for finding the width of a DAG. Our results challenge the prevailing belief, reiterated over the last thirty years, regarding the efficiency of this method. Our approach is based on the concept of chain decomposition. Before we delve into its description, we introduce, analyze, and utilize a chain decomposition algorithm. Furthermore, we explore how chain decomposition can facilitate transitive closure solutions introducing a general purpose linear time reduction technique that removes a large subset of transitive edges given any chain decomposition.


title: A Survey of Third-Party Library Security Research in Application Software

abstract: In the current software development environment, third-party libraries play a crucial role. They provide developers with rich functionality and convenient solutions, speeding up the pace and efficiency of software development. However, with the widespread use of third-party libraries, associated security risks and potential vulnerabilities are increasingly apparent. Malicious attackers can exploit these vulnerabilities to infiltrate systems, execute unauthorized operations, or steal sensitive information, posing a severe threat to software security. Research on third-party libraries in software becomes paramount to address this growing security challenge. Numerous research findings exist regarding third-party libraries' usage, ecosystem, detection, and fortification defenses. Understanding the usage and ecosystem of third-party libraries helps developers comprehend the potential risks they bring and select trustworthy libraries. Third-party library detection tools aid developers in automatically discovering third-party libraries in software, facilitating their management. In addition to detection, fortification defenses are also indispensable. This article profoundly investigates and analyzes this literature, summarizing current research achievements and future development directions. It aims to provide practical and valuable insights for developers and researchers, jointly promoting the healthy development of software ecosystems and better-protecting software from security threats.


title: The structure of locally conformally product Lie algebras

abstract: A locally conformally product (LCP) structure on a compact conformal manifold is a closed non-exact Weyl connection (i.e.~a linear connection which is locally but not globally the Levi-Civita connection of Riemannian metrics in the conformal class), with reducible holonomy. A left-invariant LCP structure on a compact quotient $\Gamma\backslash G$ of a simply connected Riemannian Lie group $(G,g)$ with Lie algebra $\mathfrak{g}$ can be characterized in terms of a closed 1-form $\theta\in\mathfrak{g}^*$ and a non-zero subspace $\mathfrak{u}\subset \mathfrak{g}$ satisfying some algebraic conditions. We show that these conditions are equivalent to the fact that $\mathfrak{g}$ is isomorphic to a semidirect product of a non-unimodular Lie algebra acting on an abelian one by a conformal representation. This extends to the general case previous results holding for solvmanifolds. In addition, we construct explicit examples of compact LCP manifolds which are not solvmanifolds.


title: On instability of the Taylor-Green vortex in 2D Euler flows

abstract: We consider Euler flows on two-dimensional (2D) periodic domain and are interested in the stability, both linear and nonlinear, of a simple equilibrium given by the 2D Taylor-Green vortex. As the first main result, numerical evidence is provided for the fact that such flows possess unstable eigenvalues embedded in the band of the essential spectrum of the linearized operator, which suggests that passage from linear to non-linear instability in the energy metric is likely for such flows. The latter is confirmed numerically as well by demonstrating exponential transient growth of the nonlinear dynamics with the rate given by the real part of the unstable eigenvalue. However, the unstable eigenfunction is a distribution, rather than a smooth function, and is unbounded in the neighbourhood of the hyperbolic stagnation points of the base flow. As the second main result, we illustrate a fundamentally different, nonmodal, growth mechanism involving a continuous family of uncorrelated functions, instead of an eigenfunction of the linearized operator. Constructed by solving a suitable PDE optimization problem, the resulting flows saturate the known estimates on the growth of the semigroup related to the essential spectrum of the linearized Euler operator as the numerical resolution is refined. These findings are contrasted with the results of earlier studies of a similar problem conducted in a slightly viscous setting where only the modal growth of instabilities was observed. This highlights the special stability properties of equilibria in inviscid flows.


title: Continuous Linear Finite Element Method for Biharmonic Problems on Surfaces

abstract: This paper presents an innovative continuous linear finite element approach to effectively solve biharmonic problems on surfaces. The key idea behind this method lies in the strategic utilization of a surface gradient recovery operator to compute the second-order surface derivative of a piecewise continuous linear function defined on the approximate surface, as conventional notions of second-order derivatives are not directly applicable in this context. By incorporating appropriate stabilizations, we rigorously establish the stability of the proposed formulation. Despite the presence of geometric error, we provide optimal error estimates in both the energy norm and $L^2$ norm. Theoretical results are supported by numerical experiments.


title: On Quantum Algorithms for Efficient Solutions of General Classes of Structured Markov Processes

abstract: We study the fundamental problem of efficiently computing the stationary distribution of general classes of structured Markov processes. In strong contrast with previous work, we consider this problem within the context of quantum computational environments from a mathematical perspective and devise the first quantum algorithms for computing the stationary distribution of structured Markov processes. We derive a mathematical analysis of the computational properties of our quantum algorithms together with related theoretical results, establishing that our quantum algorithms provide the potential for significant computational improvements over that of the best-known classical algorithms in various settings of both theoretical and practical importance. Although motivated by structured Markov processes, our quantum algorithms have the potential for being exploited to address a much larger class of numerical computation problems.