title: Channel Estimation for Stacked Intelligent Metasurface-Assisted Wireless Networks

abstract: Emerging technologies, such as holographic multiple-input multiple-output (HMIMO) and stacked intelligent metasurface (SIM), are driving the development of wireless communication systems. Specifically, the SIM is physically constructed by stacking multiple layers of metasurfaces and has an architecture similar to an artificial neural network (ANN), which can flexibly manipulate the electromagnetic waves that propagate through it at the speed of light. This architecture enables the SIM to achieve HMIMO precoding and combining in the wave domain, thus significantly reducing the hardware cost and energy consumption. In this letter, we investigate the channel estimation problem in SIM-assisted multi-user HMIMO communication systems. Since the number of antennas at the base station (BS) is much smaller than the number of meta-atoms per layer of the SIM, it is challenging to acquire the channel state information (CSI) in SIM-assisted multi-user systems. To address this issue, we collect multiple copies of the uplink pilot signals that propagate through the SIM. Furthermore, we leverage the array geometry to identify the subspace that spans arbitrary spatial correlation matrices. Based on partial CSI about the channel statistics, a pair of subspace-based channel estimators are proposed. Additionally, we compute the mean square error (MSE) of the proposed channel estimators and optimize the phase shifts of the SIM to minimize the MSE. Numerical results are illustrated to analyze the effectiveness of the proposed channel estimation schemes.


title: Resonant emittance mixing of flat beams in plasma accelerators

abstract: Plasma accelerators sustain large field gradients and could enable future compact linear colliders. To achieve the required high luminosity, linear colliders rely on flat beams to avoid potentially deleterious beamstrahlung effects. Here, we show that flat beams in plasma accelerators can be subject to beam quality degradation due to emittance mixing caused by transverse coupling in the wakefields. When there is a resonance between the betatron oscillations in the horizontal and vertical planes for the beam particles in a coupled wakefield, the transverse emittances fully exchange, leading to a round beam. Depending on the mechanism causing the resonance, the use of laser drivers, flat particle beam drivers, or hollow plasma channels can avoid the resonance and mitigate the emittance deterioration.


title: Sensing Vibrations using Quantum Geometry of Electrons

abstract: Magnetic field emerging from the geometric curvature of quantum structure of electrons in a crystal bends electronic trajectory causing anomalous linear and nonlinear electrical Hall effects that have been observed in low symmetry crystals with narrow electronic band gap. We present first-principles theoretical analysis to show that dynamical lowering of crystal symmetry by lattice vibrations results in oscillations in the quantum geometry of electrons which have observable nonlinear Hall signatures. Using these, we introduce a vibrational spectroscopy based on Geometry of Quantum Electronic Structure (GQuES) making specific predictions for the transport and radiative GQuES spectra of 2D materials. As the crystal symmetry is commonly lowered by dynamical fields, GQuES is applicable to a wide range of materials and excitations spanning sub-GHz, THz and infrared frequencies.


title: LEGION: Harnessing Pre-trained Language Models for GitHub Topic Recommendations with Distribution-Balance Loss

abstract: Open-source development has revolutionized the software industry by promoting collaboration, transparency, and community-driven innovation. Today, a vast amount of various kinds of open-source software, which form networks of repositories, is often hosted on GitHub - a popular software development platform. To enhance the discoverability of the repository networks, i.e., groups of similar repositories, GitHub introduced repository topics in 2017 that enable users to more easily explore relevant projects by type, technology, and more. It is thus crucial to accurately assign topics for each GitHub repository. Current methods for automatic topic recommendation rely heavily on TF-IDF for encoding textual data, presenting challenges in understanding semantic nuances. This paper addresses the limitations of existing techniques by proposing Legion, a novel approach that leverages Pre-trained Language Models (PTMs) for recommending topics for GitHub repositories. The key novelty of Legion is three-fold. First, Legion leverages the extensive capabilities of PTMs in language understanding to capture contextual information and semantic meaning in GitHub repositories. Second, Legion overcomes the challenge of long-tailed distribution, which results in a bias toward popular topics in PTMs, by proposing a Distribution-Balanced Loss (DB Loss) to better train the PTMs. Third, Legion employs a filter to eliminate vague recommendations, thereby improving the precision of PTMs. Our empirical evaluation on a benchmark dataset of real-world GitHub repositories shows that Legion can improve vanilla PTMs by up to 26% on recommending GitHubs topics. Legion also can suggest GitHub topics more precisely and effectively than the state-of-the-art baseline with an average improvement of 20% and 5% in terms of Precision and F1-score, respectively.


title: SPAFormer: Sequential 3D Part Assembly with Transformers

abstract: We introduce SPAFormer, an innovative model designed to overcome the combinatorial explosion challenge in the 3D Part Assembly (3D-PA) task. This task requires accurate prediction of each part's pose and shape in sequential steps, and as the number of parts increases, the possible assembly combinations increase exponentially, leading to a combinatorial explosion that severely hinders the efficacy of 3D-PA. SPAFormer addresses this problem by leveraging weak constraints from assembly sequences, effectively reducing the solution space's complexity. Since assembly part sequences convey construction rules similar to sentences being structured through words, our model explores both parallel and autoregressive generation. It further enhances assembly through knowledge enhancement strategies that utilize the attributes of parts and their sequence information, enabling it to capture the inherent assembly pattern and relationships among sequentially ordered parts. We also construct a more challenging benchmark named PartNet-Assembly covering 21 varied categories to more comprehensively validate the effectiveness of SPAFormer. Extensive experiments demonstrate the superior generalization capabilities of SPAFormer, particularly with multi-tasking and in scenarios requiring long-horizon assembly. Codes and model weights will be released at https://github.com/xuboshen/SPAFormer.


title: Detecting quantum chaos via pseudo-entropy and negativity

abstract: Quantum informatic quantities such as entanglement entropy are useful in detecting quantum phase transitions. Recently, a new entanglement measure called pseudo-entropy was proposed which is a generalization of the more well-known entanglement entropy. It has many nice properties and is useful in the study of post-selection measurements. In this paper, one of our goals is to explore the properties of pseudo-entropy and study the effectiveness of it as a quantum chaos diagnostic, i.e. as a tool to distinguish between chaotic and integrable systems. Using various variants of the SYK model, we study the signal of quantum chaos captured in the pseudo-entropy and relate it to the spectral form factor (SFF) and local operator entanglement (LOE). We also explore another quantity called the negativity of entanglement which is a useful entanglement measure for a mixed state. We generalized it to accommodate the transition matrix and called it pseudo-negativity in analogy to pseudo-entropy. We found that it also nicely captures the spectral properties of a chaotic system and hence also plays a role as a tool of quantum chaos diagnostic.


title: The rise and fall of WallStreetBets: social roles and opinion leaders across the GameStop saga

abstract: Nowadays human interactions largely take place on social networks, with online users' behavior often falling into a few general typologies or "social roles". Among these, opinion leaders are of crucial importance as they have the ability to spread an idea or opinion on a large scale across the network, with possible tangible consequences in the real world. In this work we extract and characterize the different social roles of users within the Reddit WallStreetBets community, around the time of the GameStop short squeeze of January 2021 -- when a handful of committed users led the whole community to engage in a large and risky financial operation. We identify the profiles of both average users and of relevant outliers, including opinion leaders, using an iterative, semi-supervised classification algorithm, which allows us to discern the characteristics needed to play a particular social role. The key features of opinion leaders are large risky investments and constant updates on a single stock, which allowed them to attract a large following and, in the case of GameStop, ignite the interest of the community. Finally, we observe a substantial change in the behavior and attitude of users after the short squeeze event: no new opinion leaders are found and the community becomes less focused on investments. Overall, this work sheds light on the users' roles and dynamics that led to the GameStop short squeeze, while also suggesting why WallStreetBets no longer wielded such large influence on financial markets, in the aftermath of this event.


title: A Performance Analysis of Basin Hopping Compared to Established Metaheuristics for Global Optimization

abstract: During the last decades many metaheuristics for global numerical optimization have been proposed. Among them, Basin Hopping is very simple and straightforward to implement, although rarely used outside its original Physical Chemistry community. In this work, our aim is to compare Basin Hopping, and two population variants of it, with readily available implementations of the well known metaheuristics Differential Evolution, Particle Swarm Optimization, and Covariance Matrix Adaptation Evolution Strategy. We perform numerical experiments using the IOH profiler environment with the BBOB test function set and two difficult real-world problems. The experiments were carried out in two different but complementary ways: by measuring the performance under a fixed budget of function evaluations and by considering a fixed target value. The general conclusion is that Basin Hopping and its newly introduced population variant are almost as good as Covariance Matrix Adaptation on the synthetic benchmark functions and better than it on the two hard cluster energy minimization problems. Thus, the proposed analyses show that Basin Hopping can be considered a good candidate for global numerical optimization problems along with the more established metaheuristics, especially if one wants to obtain quick and reliable results on an unknown problem.


title: Frequency Domain Auto-tuning of Structured LPV Controllers for High-Precision Motion Control

abstract: Motion systems are a vital part of many industrial processes. However, meeting the increasingly stringent demands of these systems, especially concerning precision and throughput, requires novel control design methods that can go beyond the capabilities of traditional solutions. Traditional control methods often struggle with the complexity and position-dependent effects inherent in modern motion systems, leading to compromises in performance and a laborious task of controller design. This paper addresses these challenges by introducing a novel structured feedback control auto-tuning approach for multiple-input multiple-output (MIMO) motion systems. By leveraging frequency response function (FRF) estimates and the linear-parameter-varying (LPV) control framework, the proposed approach automates the controller design, while providing local stability and performance guarantees. Key innovations include norm-based magnitude optimization of the sensitivity functions, an automated stability check through a novel extended factorized Nyquist criterion, a modular structured MIMO LPV controller parameterization, and a controller discretization approach which preserves the continuous-time (CT) controller parameterization. The proposed approach is validated through experiments using a state-of-the-art moving-magnet planar actuator prototype.


title: Deep Learning based acoustic measurement approach for robotic applications on orthopedics

abstract: In Total Knee Replacement Arthroplasty (TKA), surgical robotics can provide image-guided navigation to fit implants with high precision. Its tracking approach highly relies on inserting bone pins into the bones tracked by the optical tracking system. This is normally done by invasive, radiative manners (implantable markers and CT scans), which introduce unnecessary trauma and prolong the preparation time for patients. To tackle this issue, ultrasound-based bone tracking could offer an alternative. In this study, we proposed a novel deep learning structure to improve the accuracy of bone tracking by an A-mode ultrasound (US). We first obtained a set of ultrasound dataset from the cadaver experiment, where the ground truth locations of bones were calculated using bone pins. These data were used to train the proposed CasAtt-UNet to predict bone location automatically and robustly. The ground truth bone locations and those locations of US were recorded simultaneously. Therefore, we could label bone peaks in the raw US signals. As a result, our method achieved sub millimeter precision across all eight bone areas with the only exception of one channel in the ankle. This method enables the robust measurement of lower extremity bone positions from 1D raw ultrasound signals. It shows great potential to apply A-mode ultrasound in orthopedic surgery from safe, convenient, and efficient perspectives.


title: A molecular dynamics simulation of the abrupt changes in the thermodynamic properties of water after formation of nano-bubbles / nano-cavities induced by passage of charged particles

abstract: We present a multi-scale formalism that accounts for the formation of nano-scale bubbles/cavities owing to a burst of water molecules after the passage of high energy charged particles that leads to the formation of hot non-ionizing excitations or thermal spikes (TS). We demonstrate the coexistence of a rapidly growing condensed state of water and a hot spot that forms a stable state of diluted water at high temperatures and pressures, possibly at a supercritical phase. Depending on the temperature of TS, the thin shell of a highly dense state of water grows by three to five times the speed of sound in water, forming a thin layer of shock wave (SW) buffer, wrapping around the nano-scale cylindrical symmetric cavity. The stability of the cavity, as a result of the incompressibility of water at ambient conditions and the surface tension, allows the transition of supersonic SW to a subsonic contact discontinuity and dissipation to thermo-acoustic sound waves. We further study the mergers of nanobubbles that lead to fountain-like or jet-flow structures at the collision interface. We introduce a time delay in the nucleation of nano-bubbles, a novel mechanism, responsible for the growth and stability of much larger or even micro-bubbles, possibly relevant to FLASH ultra-high dose rate (UHDR). The current study is potentially significant at FLASH-UHDRs. Our analysis predicts the black-body radiation from the transient supercritical state of water localized in nano-cavities wrapping around the track of charged particles can be manifested in the (indirect) water luminescence spectrum.

categories: physics.med-ph physics.bio-ph physics.chem-ph physics.comp-ph physics.flu-dyn


title: KG-Rank: Enhancing Large Language Models for Medical QA with Knowledge Graphs and Ranking Techniques

abstract: Large Language Models (LLMs) have significantly advanced healthcare innovation on generation capabilities. However, their application in real clinical settings is challenging due to potential deviations from medical facts and inherent biases. In this work, we develop an augmented LLM framework, KG-Rank, which leverages a medical knowledge graph (KG) with ranking and re-ranking techniques, aiming to improve free-text question-answering (QA) in the medical domain. Specifically, upon receiving a question, we initially retrieve triplets from a medical KG to gather factual information. Subsequently, we innovatively apply ranking methods to refine the ordering of these triplets, aiming to yield more precise answers. To the best of our knowledge, KG-Rank is the first application of ranking models combined with KG in medical QA specifically for generating long answers. Evaluation of four selected medical QA datasets shows that KG-Rank achieves an improvement of over 18% in the ROUGE-L score. Moreover, we extend KG-Rank to open domains, where it realizes a 14% improvement in ROUGE-L, showing the effectiveness and potential of KG-Rank.


title: DiffRed: Dimensionality Reduction guided by stable rank

abstract: In this work, we propose a novel dimensionality reduction technique, DiffRed, which first projects the data matrix, A, along first $k_1$ principal components and the residual matrix $A^{*}$ (left after subtracting its $k_1$-rank approximation) along $k_2$ Gaussian random vectors. We evaluate M1, the distortion of mean-squared pair-wise distance, and Stress, the normalized value of RMS of distortion of the pairwise distances. We rigorously prove that DiffRed achieves a general upper bound of $O\left(\sqrt{\frac{1-p}{k_2}}\right)$ on Stress and $O\left(\frac{(1-p)}{\sqrt{k_2*\rho(A^{*})}}\right)$ on M1 where $p$ is the fraction of variance explained by the first $k_1$ principal components and $\rho(A^{*})$ is the stable rank of $A^{*}$. These bounds are tighter than the currently known results for Random maps. Our extensive experiments on a variety of real-world datasets demonstrate that DiffRed achieves near zero M1 and much lower values of Stress as compared to the well-known dimensionality reduction techniques. In particular, DiffRed can map a 6 million dimensional dataset to 10 dimensions with 54% lower Stress than PCA.


title: Precision premium transformation -- a high-precision astrometric solution based on the precision premium curve

abstract: Context. In Gaia era, atmospheric turbulence, which causes stochastic wander of a star image, is a fundamental limitation to the astrometric accuracy of ground-based optical imaging. However, the positional bias caused by turbulence (called turbulence error here) can be effectively reduced by measuring a target relative to another reference (a star or a fast-moving target) which locates in the range of only several tens of arcsec, since they suffer from similar turbulence errors. This phenomenon is called the precision premium and has been effectively applied to the astrometry of solar system. Further investigation for the precision premium shows that, the precision premium works at less than about 100 arcsec for two specific objects and the relative positional precision as a function of their angular seperation can be well fitted by a sigmoidal function, called the precision premium curve (PPC). Aims. We want to reduce the turbulence error of a target if it is imaged in an area of high stellar density of a ground-based observation by taking advantage of more Gaia reference stars. Methods. Based on the PPC, we proposed a high-precision astrometric solution called precision premium transformation (PPT) in this paper, which takes advantage of high similarity of turbulence errors in a small region and the dense Gaia reference stars in the region to reduce the turbulence errors on the observation, through a weighted solution. Results. Through systematic analysis, the PPT method exhibits significant advantages in terms of not only precision but also applicability when a target is imaged in an area of high stellar density. The PPT method is also applied to the determination of the proper motion of an open cluster, and the results demonstrate and quantify benefits that the PPT method bestows on ground-based astrometry.


title: Towards Multiphase Clocking in Single-Flux Quantum Systems

abstract: Rapid single-flux quantum (RSFQ) is one of the most advanced superconductive electronics technologies. SFQ systems operate at tens of gigahertz with up to three orders of magnitude smaller power as compared to CMOS. In conventional SFQ systems, most gates require clock signal. Each gate should have the fanins with equal logic depth, necessitating insertion of path-balancing (PB) DFFs, incurring prohibitive area penalty. Multiphase clocking is the effective method for reducing the path-balancing overhead at the cost of reduced throughput. However, existing tools are not directly applicable for technology mapping of multiphase systems. To overcome this limitation, in this work, we propose a technology mapping tool for multiphase systems. Our contribution is threefold. First, we formulate a phase assignment as a Constraint Programming with Satisfiability (CP-SAT) problem, to determine the phase of each element within the network. Second, we formulate the path balancing problem as a CP-SAT to optimize the number of DFFs within an asynchronous datapath. Finally, we integrate these methods into a technology mapping flow to convert a logic network into a multiphase SFQ circuit. In our case studies, by using seven phases, the size of the circuit (expressed as the number of Josephson junctions) is reduced, on average, by 59.94 % as compared to the dual (fast-slow) clocking method, while outperforming the state-of-the-art single-phase SFQ mapping tools.


title: Enhanced performance of MoS$_2$/SiO$_2$ field-effect transistors by hexamethyldisilazane (HMDS) encapsulation

abstract: Scalable methods for improving the performance and stability of a field-effect transistor (FET) based on two-dimensional materials are crucial for its real applications. A scalable method of encapsulating the exfoliated MoS$ _{2} $ on SiO$ _{2} $/Si substrate by hexamethyldisilazane (HMDS) is explored here for reducing the influence of interface traps and ambient contaminants. This leads to twenty-five times reduction in trap density, three times decrease in subthreshold swing, three times increase in the peak field-effect mobility and a drastic reduction in hysteresis. This performance remains nearly the same after several weeks of ambient exposure of the device. This is attributed to the superhydrophobic nature of HMDS and the SiO$_2$ surface hydrophobization by the formation of covalent bonds between the methyl groups of HMDS and silanol groups of SiO$_{2}$.


title: Generalizing to Out-of-Sample Degradations via Model Reprogramming

abstract: Existing image restoration models are typically designed for specific tasks and struggle to generalize to out-of-sample degradations not encountered during training. While zero-shot methods can address this limitation by fine-tuning model parameters on testing samples, their effectiveness relies on predefined natural priors and physical models of specific degradations. Nevertheless, determining out-of-sample degradations faced in real-world scenarios is always impractical. As a result, it is more desirable to train restoration models with inherent generalization ability. To this end, this work introduces the Out-of-Sample Restoration (OSR) task, which aims to develop restoration models capable of handling out-of-sample degradations. An intuitive solution involves pre-translating out-of-sample degradations to known degradations of restoration models. However, directly translating them in the image space could lead to complex image translation issues. To address this issue, we propose a model reprogramming framework, which translates out-of-sample degradations by quantum mechanic and wave functions. Specifically, input images are decoupled as wave functions of amplitude and phase terms. The translation of out-of-sample degradation is performed by adapting the phase term. Meanwhile, the image content is maintained and enhanced in the amplitude term. By taking these two terms as inputs, restoration models are able to handle out-of-sample degradations without fine-tuning. Through extensive experiments across multiple evaluation cases, we demonstrate the effectiveness and flexibility of our proposed framework. Our codes are available at \href{https://github.com/ddghjikle/Out-of-sample-restoration}{Github}.


title: Aligning Speech to Languages to Enhance Code-switching Speech Recognition

abstract: Code-switching (CS) refers to the switching of languages within a speech signal and results in language confusion for automatic speech recognition (ASR). To address language confusion, we propose the language alignment loss that performs frame-level language identification using pseudo language labels learned from the ASR decoder. This eliminates the need for frame-level language annotations. To further tackle the complex token alternatives for language modeling in bilingual scenarios, we propose to employ large language models via a generative error correction method. A linguistic hint that incorporates language information (derived from the proposed language alignment loss and decoded hypotheses) is introduced to guide the prompting of large language models. The proposed methods are evaluated on the SEAME dataset and data from the ASRU 2019 Mandarin-English code-switching speech recognition challenge. The incorporation of the proposed language alignment loss demonstrates a higher CS-ASR performance with only a negligible increase in the number of parameters on both datasets compared to the baseline model. This work also highlights the efficacy of language alignment loss in balancing primary-language-dominant bilingual data during training, with an 8.6% relative improvement on the ASRU dataset compared to the baseline model. Performance evaluation using large language models reveals the advantage of the linguistic hint by achieving 14.1% and 5.5% relative improvement on test sets of the ASRU and SEAME datasets, respectively.


title: A Second-Order Nonlocal Approximation to Manifold Poisson Models with Neumann Boundary

abstract: In this paper, we propose a class of nonlocal models to approximate the Poisson model on manifolds with homogeneous Neumann boundary condition, where the manifolds are assumed to be embedded in high dimensional Euclid spaces. In comparison to the existing nonlocal approximation of Poisson models with Neumann boundary, we optimize the truncation error of model by adding an augmented term along the $2\delta$ layer of boundary, with $2\delta$ be the nonlocal interaction horizon. Such term is formulated by the integration of the second order normal derivative of solution through the boundary, while the second order normal derivative is expressed as the difference between the interior Laplacian and the boundary Laplacian. The concentration of our paper is on the construction of nonlocal model, the well-posedness of model, and its second-order convergence rate to its local counterpart. The localization rate of our nonlocal model is currently optimal among all related works even for the case of high dimensional Euclid spaces.


title: What do we learn from impurities and disorder in High Tc cuprates?

abstract: We established that the morphology of the phase diagrams is mostly governed by disorder in the various cuprate families. In the minimally disordered YBCO substitutions of Zn or Li spinless impurities on the planar Cu sites control the extent of the spin glass phase and superconducting (SC) dome. NMR data establish that these defects induce in their vicinity a cloud with a Kondo like paramagnetic behavior that differs markedly between the pseudogap and strange metal regimes. We have studied the evolution of transport properties with disorder by introduction of a controlled content of in plane vacancies by electron irradiation. At high T the inelastic scattering of the carriers is surprisingly disorder independent, and governed by the excitations of the correlated electronic state. The low T upturns of the resistivity, that are associated with single impurity Kondo like scattering, agree qualitatively with the local magnetism induced by spinless impurities. Very large defect contents are required to induce Metal Insulator Crossovers. In the SC state, the defect induced reduction of Tc scales quasi linearly with residual resistivity. The paraconductivity due to SC fluctuations, deduced from high field magnetoresistance measurements vanishes beyond a temperature T//c and a field H//c that decrease with increasing defect content. In the pseudogap regime the weaker decrease of T//c with respect to that of Tc reveals a loss of SC phase coherence in presence of disorder. This initiates a discussion of its interplay with pair breaking and allows us to confirm that the family specific dopant induced disorder or order controls the phase diagram. In the ideal disorder free cuprate the 2D SC state would certainly persist at low doping. This ensemble of data provides serious challenges for the theoretical understanding of superconductivity and the normal state in these SC correlated electron systems.


title: Towards Efficient Replay in Federated Incremental Learning

abstract: In Federated Learning (FL), the data in each client is typically assumed fixed or static. However, data often comes in an incremental manner in real-world applications, where the data domain may increase dynamically. In this work, we study catastrophic forgetting with data heterogeneity in Federated Incremental Learning (FIL) scenarios where edge clients may lack enough storage space to retain full data. We propose to employ a simple, generic framework for FIL named Re-Fed, which can coordinate each client to cache important samples for replay. More specifically, when a new task arrives, each client first caches selected previous samples based on their global and local importance. Then, the client trains the local model with both the cached samples and the samples from the new task. Theoretically, we analyze the ability of Re-Fed to discover important samples for replay thus alleviating the catastrophic forgetting problem. Moreover, we empirically show that Re-Fed achieves competitive performance compared to state-of-the-art methods.


title: Another look at Residual Dynamic Mode Decomposition in the regime of fewer Snapshots than Dictionary Size

abstract: Residual Dynamic Mode Decomposition (ResDMD) offers a method for accurately computing the spectral properties of Koopman operators. It achieves this by calculating an infinite-dimensional residual from snapshot data, thus overcoming issues associated with finite truncations of Koopman operators, such as spurious eigenvalues. These spectral properties include spectra and pseudospectra, spectral measures, Koopman mode decompositions, and dictionary verification. In scenarios where there are fewer snapshots than dictionary size, particularly for exact DMD and kernelized EDMD, ResDMD has traditionally been applied by dividing snapshot data into a training set and a quadrature set. Through a novel computational approach of solving a dual least-squares problem, we demonstrate how to eliminate the need for two datasets. We provide an analysis of these new residuals for exact DMD and kernelized EDMD, demonstrating ResDMD's versatility and broad applicability across various dynamical systems, including those modeled by high-dimensional and nonlinear observables. The utility of these new residuals is showcased through three diverse examples: the analysis of cylinder wake, the study of aerofoil cascades, and the compression of transient shockwave experimental data. This approach not only simplifies the application of ResDMD but also extends its potential for deeper insights into the dynamics of complex systems.

categories: math.DS cs.NA math.NA math.OC math.SP nlin.CD


title: Stacked Intelligent Metasurface Enabled LEO Satellite Communications Relying on Statistical CSI

abstract: Low earth orbit (LEO) satellite communication systems have gained increasing attention as a crucial supplement to terrestrial wireless networks due to their extensive coverage area. This letter presents a novel system design for LEO satellite systems by leveraging stacked intelligent metasurface (SIM) technology. Specifically, the lightweight and energy-efficient SIM is mounted on a satellite to achieve multiuser beamforming directly in the electromagnetic wave domain, which substantially reduces the processing delay and computational load of the satellite compared to the traditional digital beamforming scheme. To overcome the challenges of obtaining instantaneous channel state information (CSI) at the transmitter and maximize the system's performance, a joint power allocation and SIM phase shift optimization problem for maximizing the ergodic sum rate is formulated based on statistical CSI, and an alternating optimization (AO) algorithm is customized to solve it efficiently. Additionally, a user grouping method based on channel correlation and an antenna selection algorithm are proposed to further improve the system performance. Simulation results demonstrate the effectiveness of the proposed SIM-based LEO satellite system design and statistical CSI-based AO algorithm.


title: Estimating the Weight Enumerators of Reed-Muller Codes via Sampling

abstract: This paper develops an algorithmic approach for obtaining estimates of the weight enumerators of Reed-Muller (RM) codes. Our algorithm is based on a technique for estimating the partition functions of spin systems, which in turn employs a sampler that produces codewords according to a suitably defined Gibbs distribution. We apply our method to moderate-blocklength RM codes and derive approximate values of their weight enumerators. We observe that the rates of the weight enumerator estimates returned by our method are close to the true rates when these rates are either known or computable by brute-force search; in other cases, our computations provide provably robust estimates. As a byproduct, our sampling algorithm also allows us to obtain estimates of the weight spectra of RM codes. We illustrate our methods by providing estimates of the hitherto unknown weight enumerators of the RM$(11,5)$ code and the exact weight spectra of the RM$(10,3)$ and RM$(10,4)$ codes.


title: Frequency Attention for Knowledge Distillation

abstract: Knowledge distillation is an attractive approach for learning compact deep neural networks, which learns a lightweight student model by distilling knowledge from a complex teacher model. Attention-based knowledge distillation is a specific form of intermediate feature-based knowledge distillation that uses attention mechanisms to encourage the student to better mimic the teacher. However, most of the previous attention-based distillation approaches perform attention in the spatial domain, which primarily affects local regions in the input image. This may not be sufficient when we need to capture the broader context or global information necessary for effective knowledge transfer. In frequency domain, since each frequency is determined from all pixels of the image in spatial domain, it can contain global information about the image. Inspired by the benefits of the frequency domain, we propose a novel module that functions as an attention mechanism in the frequency domain. The module consists of a learnable global filter that can adjust the frequencies of student's features under the guidance of the teacher's features, which encourages the student's features to have patterns similar to the teacher's features. We then propose an enhanced knowledge review-based distillation model by leveraging the proposed frequency attention module. The extensive experiments with various teacher and student architectures on image classification and object detection benchmark datasets show that the proposed approach outperforms other knowledge distillation methods.


title: DO3D: Self-supervised Learning of Decomposed Object-aware 3D Motion and Depth from Monocular Videos

abstract: Although considerable advancements have been attained in self-supervised depth estimation from monocular videos, most existing methods often treat all objects in a video as static entities, which however violates the dynamic nature of real-world scenes and fails to model the geometry and motion of moving objects. In this paper, we propose a self-supervised method to jointly learn 3D motion and depth from monocular videos. Our system contains a depth estimation module to predict depth, and a new decomposed object-wise 3D motion (DO3D) estimation module to predict ego-motion and 3D object motion. Depth and motion networks work collaboratively to faithfully model the geometry and dynamics of real-world scenes, which, in turn, benefits both depth and 3D motion estimation. Their predictions are further combined to synthesize a novel video frame for self-supervised training. As a core component of our framework, DO3D is a new motion disentanglement module that learns to predict camera ego-motion and instance-aware 3D object motion separately. To alleviate the difficulties in estimating non-rigid 3D object motions, they are decomposed to object-wise 6-DoF global transformations and a pixel-wise local 3D motion deformation field. Qualitative and quantitative experiments are conducted on three benchmark datasets, including KITTI, Cityscapes, and VKITTI2, where our model delivers superior performance in all evaluated settings. For the depth estimation task, our model outperforms all compared research works in the high-resolution setting, attaining an absolute relative depth error (abs rel) of 0.099 on the KITTI benchmark. Besides, our optical flow estimation results (an overall EPE of 7.09 on KITTI) also surpass state-of-the-art methods and largely improve the estimation of dynamic regions, demonstrating the effectiveness of our motion model. Our code will be available.


title: Fast Kernel Scene Flow

abstract: In contrast to current state-of-the-art methods, such as NSFP [25], which employ deep implicit neural functions for modeling scene flow, we present a novel approach that utilizes classical kernel representations. This representation enables our approach to effectively handle dense lidar points while demonstrating exceptional computational efficiency -- compared to recent deep approaches -- achieved through the solution of a linear system. As a runtime optimization-based method, our model exhibits impressive generalizability across various out-of-distribution scenarios, achieving competitive performance on large-scale lidar datasets. We propose a new positional encoding-based kernel that demonstrates state-of-the-art performance in efficient lidar scene flow estimation on large-scale point clouds. An important highlight of our method is its near real-time performance (~150-170 ms) with dense lidar data (~8k-144k points), enabling a variety of practical applications in robotics and autonomous driving scenarios.


title: RealNet: A Feature Selection Network with Realistic Synthetic Anomaly for Anomaly Detection

abstract: Self-supervised feature reconstruction methods have shown promising advances in industrial image anomaly detection and localization. Despite this progress, these methods still face challenges in synthesizing realistic and diverse anomaly samples, as well as addressing the feature redundancy and pre-training bias of pre-trained feature. In this work, we introduce RealNet, a feature reconstruction network with realistic synthetic anomaly and adaptive feature selection. It is incorporated with three key innovations: First, we propose Strength-controllable Diffusion Anomaly Synthesis (SDAS), a diffusion process-based synthesis strategy capable of generating samples with varying anomaly strengths that mimic the distribution of real anomalous samples. Second, we develop Anomaly-aware Features Selection (AFS), a method for selecting representative and discriminative pre-trained feature subsets to improve anomaly detection performance while controlling computational costs. Third, we introduce Reconstruction Residuals Selection (RRS), a strategy that adaptively selects discriminative residuals for comprehensive identification of anomalous regions across multiple levels of granularity. We assess RealNet on four benchmark datasets, and our results demonstrate significant improvements in both Image AUROC and Pixel AUROC compared to the current state-o-the-art methods. The code, data, and models are available at https://github.com/cnulab/RealNet.


title: Dynamic polarizabilities and triple magic trapping conditions for $5s^2~^1S_0\rightarrow 5s5p~^3P_{0,2}$ transitions of Cd atoms

abstract: The dynamic electric dipole polarizabilities of the $5s^2~^1S_0$, $5s5p~^3P_{0}$, and $5s5p~^3P_2$ states for Cd atoms are calculated using the relativistic configuration interaction plus many-body perturbation theory method. The magic wavelengths for the $5s^2~^1S_0\rightarrow 5s5p~^3P_{0}$ and $5s^2~^1S_0\rightarrow 5s5p~^3P_2$ transitions within a range of 300-500 nm are identified. The possibility of achieving triple magic trapping for the transitions $5s^2~^1S_0\rightarrow5s5p~^3P_{0}$ and $5s^2~^1S_0\rightarrow5s5p~^3P_2$ is investigated. It is found that no common magic wavelength could be identified for achieving triple magic trapping with the linearly polarized light. However, if the degree of ellipticity is between $0.358$ and $1$, the triple magic trapping can be achieved at 419.88 nm for the $5s^2 ~ ^1S_0\rightarrow 5s5p~^3P_2$ ($M_{i}=\pm2$) and $5s^2~^1S_0\rightarrow5s5p~^3P_{0}$ transitions.


title: Online Identification of Stochastic Continuous-Time Wiener Models Using Sampled Data

abstract: It is well known that ignoring the presence of stochastic disturbances in the identification of stochastic Wiener models leads to asymptotically biased estimators. On the other hand, optimal statistical identification, via likelihood-based methods, is sensitive to the assumptions on the data distribution and is usually based on relatively complex sequential Monte Carlo algorithms. We develop a simple recursive online estimation algorithm based on an output-error predictor, for the identification of continuous-time stochastic parametric Wiener models through stochastic approximation. The method is applicable to generic model parameterizations and, as demonstrated in the numerical simulation examples, it is robust with respect to the assumptions on the spectrum of the disturbance process.


title: The exponential trapezoidal method for semilinear integro-differential equations

abstract: The exponential trapezoidal rule is proposed and analyzed for the numerical integration of semilinear integro-differential equations. Although the method is implicit, the numerical solution is easily obtained by standard fixed-point iteration, making its implementation straightforward. Second-order convergence in time is shown in an abstract Hilbert space framework under reasonable assumptions on the problem. Numerical experiments illustrate the proven order of convergence.


title: Unleashing the Power of T1-cells in SFQ Arithmetic Circuits

abstract: Rapid single-flux quantum (RSFQ), a leading cryogenic superconductive electronics (SCE) technology, offers extremely low power dissipation and high speed. However, implementing RSFQ systems at VLSI complexity faces challenges, such as substantial area overhead from gate-level pipelining and path balancing, exacerbated by RSFQ's limited layout density. T1 flip-flop (T1-FF) is an RSFQ logic cell operating as a pulse counter. Using T1-FF the full adder function can be realized with only 40% of the area required by the conventional realization. This cell however imposes complex constraints on input signal timing, complicating its use. Multiphase clocking has been recently proposed to alleviate gate-level pipelining overhead. The fanin signals can be efficiently controlled using multiphase clocking. We present the novel two-stage SFQ technology mapping methodology supporting the T1-FF. Compatible parts of the SFQ network are first replaced by the efficient T1-FFs. Multiphase retiming is next applied to assign clock phases to each logic gate and insert DFFs to satisfy the input timing. Using our flow, the area of the SFQ networks is reduced, on average, by 6% with up to 25% reduction in optimizing the 128-bit adder.


title: MaiBaam Annotation Guidelines

abstract: This document provides the annotation guidelines for MaiBaam, a Bavarian corpus annotated with part-of-speech (POS) tags and syntactic dependencies. MaiBaam belongs to the Universal Dependencies (UD) project, and our annotations elaborate on the general and German UD version 2 guidelines. In this document, we detail how to preprocess and tokenize Bavarian data, provide an overview of the POS tags and dependencies we use, explain annotation decisions that would also apply to closely related languages like German, and lastly we introduce and motivate decisions that are specific to Bavarian grammar.


title: Topological superconductivity with mixed singlet-triplet pairing in moir\'e transition-metal-dichalcogenide bilayers

abstract: We investigate strong coupling topological superconductivity in twisted moir\'e bilayer WSe$_2$. Our approach is based on an effective $t$-$J$ model with displacement-field-dependent complex hoppings, which is treated with the variational Gutzwiller projection method. The calculated phase diagram contains domes of topologically nontrivial superconducting phases, with Chern numbers $C=\pm 2,\;\pm 4$. The order parameter is characterized by a mixed $d$+$id$-wave (singlet) and $p$-$ip$-wave (triplet) gap symmetry. We also report on the appearance of an additional topologically trivial extended $s$-wave and $f$-wave paired phase. As we show, by changing the electron density and displacement field, one can tune the singlet and triplet contributions to the pairing, as well as induce topological phase transitions between superconducting states characterized by different values of the Chern number. We analyze the physical origin of the reported effects and discuss it briefly in the view of new possibilities for designing unconventional superconductivity in moir\'e systems.


title: CFD analysis of the influence of solvent viscosity ratio on the creeping flow of viscoelastic fluid over a channel-confined circular cylinder

abstract: In this study, the role of solvent viscosity ratio ($\beta$) on the creeping flow characteristics of Oldroyd-B fluid over a channel-confined circular cylinder has been explored numerically. The hydrodynamic model equations have been solved by RheoTool, an open-source toolbox based on OpenFOAM, employing the finite volume method for extensive ranges of Deborah number ($De = 0.025-1.5$) and solvent viscosity ratio ($\beta = 0.1-0.9$) for the fixed wall blockage ($B = 0.5$). The present investigation has undergone extensive validation, with available literature under specific limited conditions, before obtaining detailed results for the relevant flow phenomena such as streamline, pressure and stress contour profiles, pressure coefficient ($C_p$), wall shear stress ($\tau_w$), normal stress ($\tau_{xx}$), first normal stress difference ($N_{1}$), and drag coefficient ($C_{\text{D}}$).The flow profiles have exhibited a distinctive behavior characterized by a loss of symmetry in the presence of pronounced viscoelastic and polymeric effects. The results for low $De$ notably align closely with those for Newtonian fluids, and the drag coefficient ($C_D$) remains relatively constant regardless of $\beta$, as the viscoelastic influence is somewhat subdued. As $De$ increases, the influence of viscoelasticity becomes more pronounced, while a decrease in $\beta$ leads to an escalation in polymeric effects; an increase in the $C_D$ value is observed as $\beta$ increases. Within this parameter range, the prevailing force governing the flow is the pressure drag force.


title: A computational approach to almost-inner derivations

abstract: We present a computational approach to determine the space of almost-inner derivations of a finite dimensional Lie algebra given by a structure constant table. We also present an example of a Lie algebra for which the quotient algebra of the almost-inner derivations modulo the inner derivations is non-abelian. This answers a question of Kunyavskii and Ostapenko.


title: Segmentation Guided Sparse Transformer for Under-Display Camera Image Restoration

abstract: Under-Display Camera (UDC) is an emerging technology that achieves full-screen display via hiding the camera under the display panel. However, the current implementation of UDC causes serious degradation. The incident light required for camera imaging undergoes attenuation and diffraction when passing through the display panel, leading to various artifacts in UDC imaging. Presently, the prevailing UDC image restoration methods predominantly utilize convolutional neural network architectures, whereas Transformer-based methods have exhibited superior performance in the majority of image restoration tasks. This is attributed to the Transformer's capability to sample global features for the local reconstruction of images, thereby achieving high-quality image restoration. In this paper, we observe that when using the Vision Transformer for UDC degraded image restoration, the global attention samples a large amount of redundant information and noise. Furthermore, compared to the ordinary Transformer employing dense attention, the Transformer utilizing sparse attention can alleviate the adverse impact of redundant information and noise. Building upon this discovery, we propose a Segmentation Guided Sparse Transformer method (SGSFormer) for the task of restoring high-quality images from UDC degraded images. Specifically, we utilize sparse self-attention to filter out redundant information and noise, directing the model's attention to focus on the features more relevant to the degraded regions in need of reconstruction. Moreover, we integrate the instance segmentation map as prior information to guide the sparse self-attention in filtering and focusing on the correct regions.


title: Lightning NeRF: Efficient Hybrid Scene Representation for Autonomous Driving

abstract: Recent studies have highlighted the promising application of NeRF in autonomous driving contexts. However, the complexity of outdoor environments, combined with the restricted viewpoints in driving scenarios, complicates the task of precisely reconstructing scene geometry. Such challenges often lead to diminished quality in reconstructions and extended durations for both training and rendering. To tackle these challenges, we present Lightning NeRF. It uses an efficient hybrid scene representation that effectively utilizes the geometry prior from LiDAR in autonomous driving scenarios. Lightning NeRF significantly improves the novel view synthesis performance of NeRF and reduces computational overheads. Through evaluations on real-world datasets, such as KITTI-360, Argoverse2, and our private dataset, we demonstrate that our approach not only exceeds the current state-of-the-art in novel view synthesis quality but also achieves a five-fold increase in training speed and a ten-fold improvement in rendering speed. Codes are available at https://github.com/VISION-SJTU/Lightning-NeRF .


title: Low-Rank Variational Quantum Algorithm for the Dynamics of Open Quantum Systems

abstract: The simulation of many-body open quantum systems is key to solving numerous outstanding problems in physics, chemistry, material science, and in the development of quantum technologies. Near-term quantum computers may bring considerable advantage for the efficient simulation of their static and dynamical properties, thanks to hybrid quantum-classical variational algorithms to approximate the dynamics of the density matrix describing the quantum state in terms of an ensemble average. Here, a variational quantum algorithm is developed to simulate the real-time evolution of the density matrix governed by the Lindblad master equation, under the assumption that the quantum state has a bounded entropy along the dynamics, entailing a low-rank representation of its density matrix. The algorithm encodes each pure state of the statistical mixture as a parametrized quantum circuit, and the associated probabilities as additional variational parameters stored classically, thereby requiring a significantly lower number of qubits than algorithms where the full density matrix is encoded in the quantum memory. Two variational Ans\"atze are proposed, and their effectiveness is assessed in the simulation of the dynamics of a 2D dissipative transverse field Ising model. The results underscore the algorithm's efficiency in simulating the dynamics of open quantum systems in the low-rank regime with limited quantum resources on a near-term quantum device.


title: An in-silico approach to meniscus tissue regeneration: Modeling, numerical simulation, and experimental analysis

abstract: We develop a model the dynamics of human mesenchymal stem cells (hMSCs) and chondrocytes evolving in a nonwoven polyethylene terephtalate (PET) scaffold impregnated with hyaluron and supplied with a differentiation medium. The scaffold and the cells are assumed to be contained in a bioreactor with fluid perfusion. The differentiation of hMSCs into chondrocytes favors the production of extracellular matrix (ECM) and is influenced by fluid stress. The model takes deformations of ECM and PET scaffold into account. The scaffold structure is explicitly included by statistical assessment of the fibre distribution from CT images. The effective macroscopic equations are obtained by appropriate upscaling from dynamics on lower (microscopic and mesoscopic) scales and feature in the motility terms an explicit cell diffusion tensor encoding the assessed anisotropic scaffold structure. Numerical simulations show its influence on the overall cell and tissue dynamics.

categories: q-bio.TO cs.NA math.AP math.NA q-bio.CB q-bio.QM


title: XFLUIDS: A SYCL-based unified cross-architecture heterogeneous simulation solver for compressible reacting flows

abstract: We present a cross-architecture large-scale heterogeneous Navier-Stokes equation solver, XFLUIDS, for compressible reacting multicomponent flows in the three-dimensional structured mesh crossing different GPU platforms. The multi-component reacting flows are ubiquitous in many situations, with high-order FDM schemes used and calculation of reaction source integration, their numerical simulations are time-consuming to achieve high accuracy and capture the underlying multiscale features, and GPU-based acceleration methods are extremely helpful. At the same time, various accelerators have been released in the market, leading to a challenge of applications' adaptability. Based on an implementation of a heterogeneous programming standard, SYCL, it is now possible to develop heterogeneous parallel acceleration applications directly targeting multi-core CPUs, FPGAs, and GPUs from Nvidia, AMD, as well as Intel without translating any source code, demonstrating its high portability. MPI library is used to extend the solver to multi-GPU accelerated computing, with the GPU-ENABLED MPI technology supporting the direct data transmission between GPUs to reduce communication latency, and the weak-scaling and strong-scaling efficiency tested. This solver has been validated by several benchmark cases, including shock tube problems, diffusion problems, nitrogen dissociation problems, shock-bubble interaction problems, etc.


title: Towards Optimizing Human-Centric Objectives in AI-Assisted Decision-Making With Offline Reinforcement Learning

abstract: Imagine if AI decision-support tools not only complemented our ability to make accurate decisions, but also improved our skills, boosted collaboration, and elevated the joy we derive from our tasks. Despite the potential to optimize a broad spectrum of such human-centric objectives, the design of current AI tools remains focused on decision accuracy alone. We propose offline reinforcement learning (RL) as a general approach for modeling human-AI decision-making to optimize human-AI interaction for diverse objectives. RL can optimize such objectives by tailoring decision support, providing the right type of assistance to the right person at the right time. We instantiated our approach with two objectives: human-AI accuracy on the decision-making task and human learning about the task and learned decision support policies from previous human-AI interaction data. We compared the optimized policies against several baselines in AI-assisted decision-making. Across two experiments (N=316 and N=964), our results demonstrated that people interacting with policies optimized for accuracy achieve significantly better accuracy -- and even human-AI complementarity -- compared to those interacting with any other type of AI support. Our results further indicated that human learning was more difficult to optimize than accuracy, with participants who interacted with learning-optimized policies showing significant learning improvement only at times. Our research (1) demonstrates offline RL to be a promising approach to model human-AI decision-making, leading to policies that may optimize human-centric objectives and provide novel insights about the AI-assisted decision-making space, and (2) emphasizes the importance of considering human-centric objectives beyond decision accuracy in AI-assisted decision-making, opening up the novel research challenge of optimizing human-AI interaction for such objectives.


title: Mask-Enhanced Segment Anything Model for Tumor Lesion Semantic Segmentation

abstract: Tumor lesion segmentation on CT or MRI images plays a critical role in cancer diagnosis and treatment planning. Considering the inherent differences in tumor lesion segmentation data across various medical imaging modalities and equipment, integrating medical knowledge into the Segment Anything Model (SAM) presents promising capability due to its versatility and generalization potential. Recent studies have attempted to enhance SAM with medical expertise by pre-training on large-scale medical segmentation datasets. However, challenges still exist in 3D tumor lesion segmentation owing to tumor complexity and the imbalance in foreground and background regions. Therefore, we introduce Mask-Enhanced SAM (M-SAM), an innovative architecture tailored for 3D tumor lesion segmentation. We propose a novel Mask-Enhanced Adapter (MEA) within M-SAM that enriches the semantic information of medical images with positional data from coarse segmentation masks, facilitating the generation of more precise segmentation masks. Furthermore, an iterative refinement scheme is implemented in M-SAM to refine the segmentation masks progressively, leading to improved performance. Extensive experiments on seven tumor lesion segmentation datasets indicate that our M-SAM not only achieves high segmentation accuracy but also exhibits robust generalization.


title: Network formation and efficiency in linear-quadratic games: An experimental study

abstract: We experimentally study effort provision and network formation in the linear-quadratic game characterized by positive externality and complementarity of effort choices among network neighbors. We compare experimental outcomes to the equilibrium and efficient allocations and study the impact of group size and linking costs. We find that individuals overprovide effort relative to the equilibrium level on the network they form. However, their payoffs are lower than the equilibrium payoffs because they create fewer links than it is optimal which limits the beneficial spillovers of effort provision. Reducing the linking costs does not significantly increase the connectedness of the network and the welfare loss is higher in larger groups. Individuals connect to the highest effort providers in the group and ignore links to relative low effort providers, even if those links would be beneficial to form. This effect explains the lack of links in the network.


title: Migration and separation of polymers in non-uniform active baths

abstract: Polymer-like structures are ubiquitous in nature and synthetic materials. Their configurational and migration properties are often affected by crowded environments leading to non-thermal fluctuations. Here, we study an ideal Rouse chain in contact with a non-homogeneous active bath, characterized by the presence of active self-propelled agents which exert time-correlated forces on the chain. By means of a coarse-graining procedure, we derive an effective evolution for the center of mass of the chain and show its tendency to migrate towards and preferentially localize in regions of high/low bath activity depending on the model parameters. In particular, we demonstrate that an active bath with non-uniform activity can be used to separate efficiently polymeric species with different lengths and/or connectivity.


title: Finite-size effects in hyperuniform vortex matter

abstract: Novel hyperuniform materials are emerging as an active field of applied and basic research since they can be designed to have exceptional physical properties. This ubiquitous state of matter presents a hidden order that is characterized by the density of constituents of the system being uniform at large scales, as in a perfect crystal, although they can be isotropic and disordered like a liquid. In the quest for synthesizing hyperuniform materials in experimental conditions, the impact of finite-size effects remains as an open question to be addressed. We use vortex matter in type-II superconductors as a toy model system to study this issue. We previously reported that vortex matter nucleated in samples with point disorder is effectively hyperuniform and thus presents the interesting physical properties inherent to hyperuniform systems. In this work we present experimental evidence that on decreasing the thickness of the vortex system its hyperuniform order is depleted. By means of hydrodynamic arguments we show that the experimentally observed depletion can be associated to two crossovers that we describe within a hydrodynamic approximation. The first crossover length is thickness-dependent and separates a class-II hyperuniform regime at intermediate lengthscales from a regime that can become asymptotically non-hyperuniform for large wavelengths in very thin samples. The second crossover takes place at smaller lengthscales and marks the onset of a faster increase of density fluctuations due to the dispersivity of the elastic constants. Our work points to a novel mechanism of emerging hyperuniformity controlled by the thickness of the host sample, an issue that has to be taken into account when growing hyperuniform structures for technological applications.


title: GPT as Psychologist? Preliminary Evaluations for GPT-4V on Visual Affective Computing

abstract: Multimodal large language models (MLLMs) are designed to process and integrate information from multiple sources, such as text, speech, images, and videos. Despite its success in language understanding, it is critical to evaluate the performance of downstream tasks for better human-centric applications. This paper assesses the application of MLLMs with 5 crucial abilities for affective computing, spanning from visual affective tasks and reasoning tasks. The results show that \gpt has high accuracy in facial action unit recognition and micro-expression detection while its general facial expression recognition performance is not accurate. We also highlight the challenges of achieving fine-grained micro-expression recognition and the potential for further study and demonstrate the versatility and potential of \gpt for handling advanced tasks in emotion recognition and related fields by integrating with task-related agents for more complex tasks, such as heart rate estimation through signal processing. In conclusion, this paper provides valuable insights into the potential applications and challenges of MLLMs in human-centric computing. Our interesting examples are at https://github.com/EnVision-Research/GPT4Affectivity.


title: Thermal conductivity of nonunitary triplet superconductors: application to UTe$_2$

abstract: There is considerable evidence that the heavy fermion material UTe$_2$ is a spin-triplet superconductor, possibly manifesting time-reversal symmetry breaking, as measured by Kerr effect and muon spin resonance experiments below the critical temperature, in some samples. Such signals can arise due to a chiral orbital state, or possible nonunitary pairing. Although experiments at low $T$ appear to be consistent with point nodes in the spectral gap, the detailed form of the order parameter and even the nodal positions are not yet determined. Thermal conductivity measurements can extend to quite low temperatures, with varying heat current direction can therefore provide information on the order parameter structure. Here we derive a general expression for the thermal conductivity of a spin triplet superconductor, and use it to compare the low-temperature behavior of various states proposed for UTe$_2$.


title: SEMRes-DDPM: Residual Network Based Diffusion Modelling Applied to Imbalanced Data

abstract: In the field of data mining and machine learning, commonly used classification models cannot effectively learn in unbalanced data. In order to balance the data distribution before model training, oversampling methods are often used to generate data for a small number of classes to solve the problem of classifying unbalanced data. Most of the classical oversampling methods are based on the SMOTE technique, which only focuses on the local information of the data, and therefore the generated data may have the problem of not being realistic enough. In the current oversampling methods based on generative networks, the methods based on GANs can capture the true distribution of data, but there is the problem of pattern collapse and training instability in training; in the oversampling methods based on denoising diffusion probability models, the neural network of the inverse diffusion process using the U-Net is not applicable to tabular data, and although the MLP can be used to replace the U-Net, the problem exists due to the simplicity of the structure and the poor effect of removing noise. problem of poor noise removal. In order to overcome the above problems, we propose a novel oversampling method SEMRes-DDPM.In the SEMRes-DDPM backward diffusion process, a new neural network structure SEMST-ResNet is used, which is suitable for tabular data and has good noise removal effect, and it can generate tabular data with higher quality. Experiments show that the SEMResNet network removes noise better than MLP; SEMRes-DDPM generates data distributions that are closer to the real data distributions than TabDDPM with CWGAN-GP; on 20 real unbalanced tabular datasets with 9 classification models, SEMRes-DDPM improves the quality of the generated tabular data in terms of three evaluation metrics (F1, G-mean, AUC) with better classification performance than other SOTA oversampling methods.


title: Special Features of the Upper Half-Plane in Semiclassical Theory

abstract: We study conditions that the semiquantised Riemannian metric $g_Q$ and Levi-Civita connection $\nabla_Q$ have the same form as classical one in semiclassical theory. Concrete examples of semiclassical theory have been computed by Majid et al. for upper half-planes, hemispheres and complex projective spaces. However, only in the example of the upper half-planes the semiquantised metric and connection have the same form as classical one. In this study, we first investigate the conditions that the Riemannian metric has the same form as classical one when its components are replaced by general functions. Next, based on these conditions we compute the generalised Ricci form and investigate the conditions that a quantised connection is a quantum Levi-Civita connection. Finally, we semiquantise the upper half-plane with Poincar\'e metric generalised by a parameter $t$. This paper is based on my Master thesis.


title: High Throughput Phenotyping of Physician Notes with Large Language and Hybrid NLP Models

abstract: Deep phenotyping is the detailed description of patient signs and symptoms using concepts from an ontology. The deep phenotyping of the numerous physician notes in electronic health records requires high throughput methods. Over the past thirty years, progress toward making high throughput phenotyping feasible. In this study, we demonstrate that a large language model and a hybrid NLP model (combining word vectors with a machine learning classifier) can perform high throughput phenotyping on physician notes with high accuracy. Large language models will likely emerge as the preferred method for high throughput deep phenotyping of physician notes.


title: OntoChat: a Framework for Conversational Ontology Engineering using Language Models

abstract: Ontology engineering (OE) in large projects poses a number of challenges arising from the heterogeneous backgrounds of the various stakeholders, domain experts, and their complex interactions with ontology designers. This multi-party interaction often creates systematic ambiguities and biases from the elicitation of ontology requirements, which directly affect the design, evaluation and may jeopardise the target reuse. Meanwhile, current OE methodologies strongly rely on manual activities (e.g., interviews, discussion pages). After collecting evidence on the most crucial OE activities, we introduce \textbf{OntoChat}, a framework for conversational ontology engineering that supports requirement elicitation, analysis, and testing. By interacting with a conversational agent, users can steer the creation of user stories and the extraction of competency questions, while receiving computational support to analyse the overall requirements and test early versions of the resulting ontologies. We evaluate OntoChat by replicating the engineering of the Music Meta Ontology, and collecting preliminary metrics on the effectiveness of each component from users. We release all code at https://github.com/King-s-Knowledge-Graph-Lab/OntoChat.


title: Skewed generalized parton distributions of proton from basis light-front quantization

abstract: We obtain all the leading-twist quark generalized parton distributions (GPDs) inside the proton at nonzero skewness within the basis light-front quantization framework. We employ the light-front wave functions of the proton from a light-front quantized Hamiltonian in the valence Fock sector consisting of a three-dimensional confinement potential and a one-gluon exchange interaction with fixed coupling. We find that the qualitative behaviors of our GPDs are similar to those of other theoretical calculations. We further examine the GPDs within the boost-invariant longitudinal coordinate, $\sigma=\frac{1}{2} b^- P^+$, which is identified as the Fourier conjugate of the skewness. The GPDs in the $\sigma$-space show diffraction patterns, which are akin to the diffractive scattering of a wave in optics.


title: Global solutions for stochastically controlled fluid dynamics models

abstract: For a class of evolution equations that possibly have only local solutions, we introduce a stochastic component that ensures that the solutions of the corresponding stochastically perturbed equations are global. The class of partial differential equations amenable for this type of treatment includes the 3D Navier-Stokes equation, the rotating shallow water equation (viscous and inviscid), 3D Euler equation (in vorticity form), 2D Burgers' equation and many other fluid dynamics models.


title: CSCNET: Class-Specified Cascaded Network for Compositional Zero-Shot Learning

abstract: Attribute and object (A-O) disentanglement is a fundamental and critical problem for Compositional Zero-shot Learning (CZSL), whose aim is to recognize novel A-O compositions based on foregone knowledge. Existing methods based on disentangled representation learning lose sight of the contextual dependency between the A-O primitive pairs. Inspired by this, we propose a novel A-O disentangled framework for CZSL, namely Class-specified Cascaded Network (CSCNet). The key insight is to firstly classify one primitive and then specifies the predicted class as a priori for guiding another primitive recognition in a cascaded fashion. To this end, CSCNet constructs Attribute-to-Object and Object-to-Attribute cascaded branches, in addition to a composition branch modeling the two primitives as a whole. Notably, we devise a parametric classifier (ParamCls) to improve the matching between visual and semantic embeddings. By improving the A-O disentanglement, our framework achieves superior results than previous competitive methods.


title: BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems

abstract: The rigorous safety verification of control systems in critical applications is essential, given their increasing complexity and integration into everyday life. Simulation-based falsification approaches play a pivotal role in the safety verification of control systems, particularly within critical applications. These methods systematically explore the operational space of systems to identify configurations that result in violations of safety specifications. However, the effectiveness of traditional simulation-based falsification is frequently limited by the high dimensionality of the search space and the substantial computational resources required for exhaustive exploration. This paper presents BEACON, a novel framework that enhances the falsification process through a combination of Bayesian optimization and covariance matrix adaptation evolutionary strategy. By exploiting quantitative metrics to evaluate how closely a system adheres to safety specifications, BEACON advances the state-of-the-art in testing methodologies. It employs a model-based test point selection approach, designed to facilitate exploration across dynamically evolving search zones to efficiently uncover safety violations. Our findings demonstrate that BEACON not only locates a higher percentage of counterexamples compared to standalone BO but also achieves this with significantly fewer simulations than required by CMA-ES, highlighting its potential to optimize the verification process of control systems. This framework offers a promising direction for achieving thorough and resource-efficient safety evaluations, ensuring the reliability of control systems in critical applications.


title: Groups with supersolvable automorphism group

abstract: We call a finite group G ultrasolvable if it has a characteristic subgroup series whose factors are cyclic. It was shown by Durbin--McDonald that the automorphism group of an ultrasolvable group is supersolvable. The converse statement was established by Baartmans--Woeppel under the hypothesis that G has no direct factor isomorphic to the Klein four-group. We extend this result by proving that Aut(G) is supersolvable if and only if G is ultrasolvable or G=H\times C_2\times C_2 where H is ultrasolvable of odd order. This corrects an erroneous claim by Corsi Tani. Our proof is more elementary than Baartmans--Woeppel's and uses some ideas of Corsi Tani and Laue.


title: Bootstrap percolation on the Hamming graphs

abstract: The $r$-edge bootstrap percolation on a graph is an activation process of the edges. The process starts with some initially activated edges and then, in each round, any inactive edge whose one of endpoints is incident to at least $r$ active edges becomes activated. A set of initially activated edges leading to the activation of all edges is said to be a percolating set. Denote the minimum size of a percolating set in the $r$-edge bootstrap percolation process on a graph $G$ by $m_e(G, r)$. The importance of the $r$-edge bootstrap percolation relies on the fact that $m_e(G, r)$ provides bounds on $m(G, r)$, that is, the minimum size of a percolating set in the $r$-neighbor bootstrap percolation process on $G$. In this paper, we explicitly determine $m_e(K_n^d, r)$, where $K_n^d$ is the Cartesian product of $d$ copies of the complete graph on $n$ vertices which is referred as Hamming graph. Using this, we show that $m(K_n^d, r)=(1+o(1))\frac{d^{r-1}}{r!}$ when $n, r$ are fixed and $d$ goes to infinity which extends a known result on hypercubes.


title: Local Computing By Partial Quantifier Elimination

abstract: Localization of computations plays a crucial role in solving hard problems efficiently. We will refer to the techniques implementing such localization as ${\mathit local}$ ${\mathit computing}$. We relate local computing with $\mathit{partial}$ $\mathit{quantifier}$ $\mathit{elimination}$ (PQE). The latter is a generalization of regular quantifier elimination where one can take a $\mathit{part}$ of the formula out of the scope of quantifiers. The objective of this paper is to show that PQE can be viewed as a language of local computing and hence building efficient PQE solvers is of great importance. We describe application of local computing by PQE to three different problems of hardware verification: property generation, equivalence checking and model checking. Besides, we discuss using local computing by PQE for SAT solving. Finally, we relate PQE and interpolation, a form of local computing.


title: Trace Principle for Riesz Potentials on Herz-Type Spaces and Applications

abstract: We establish trace inequalities for Riesz potentials on Herz-type spaces and discuss the optimality of conditions imposed on specific parameters. We also present some applications in the form of Sobolev-type inequalities, including the Gagliardo-Nirenberg-Sobolev inequality and the fractional integration theorem in the Herz space setting. In addition, we obtain a Sobolev embedding theorem for Herz-type Sobolev spaces.


title: Deep learning for multi-label classification of coral conditions in the Indo-Pacific via underwater photogrammetry

abstract: Since coral reef ecosystems face threats from human activities and climate change, coral conservation programs are implemented worldwide. Monitoring coral health provides references for guiding conservation activities. However, current labor-intensive methods result in a backlog of unsorted images, highlighting the need for automated classification. Few studies have simultaneously utilized accurate annotations along with updated algorithms and datasets. This study aimed to create a dataset representing common coral conditions and associated stressors in the Indo-Pacific. Concurrently, it assessed existing classification algorithms and proposed a new multi-label method for automatically detecting coral conditions and extracting ecological information. A dataset containing over 20,000 high-resolution coral images of different health conditions and stressors was constructed based on the field survey. Seven representative deep learning architectures were tested on this dataset, and their performance was quantitatively evaluated using the F1 metric and the match ratio. Based on this evaluation, a new method utilizing the ensemble learning approach was proposed. The proposed method accurately classified coral conditions as healthy, compromised, dead, and rubble; it also identified corresponding stressors, including competition, disease, predation, and physical issues. This method can help develop the coral image archive, guide conservation activities, and provide references for decision-making for reef managers and conservationists. The proposed ensemble learning approach outperforms others on the dataset, showing State-Of-The-Art (SOTA) performance. Future research should improve its generalizability and accuracy to support global coral conservation efforts.


title: Thread Detection and Response Generation using Transformers with Prompt Optimisation

abstract: Conversational systems are crucial for human-computer interaction, managing complex dialogues by identifying threads and prioritising responses. This is especially vital in multi-party conversations, where precise identification of threads and strategic response prioritisation ensure efficient dialogue management. To address these challenges an end-to-end model that identifies threads and prioritises their response generation based on the importance was developed, involving a systematic decomposition of the problem into discrete components - thread detection, prioritisation, and performance optimisation which was meticulously analysed and optimised. These refined components seamlessly integrate into a unified framework, in conversational systems. Llama2 7b is used due to its high level of generalisation but the system can be updated with any open source Large Language Model(LLM). The computational capabilities of the Llama2 model was augmented by using fine tuning methods and strategic prompting techniques to optimise the model's performance, reducing computational time and increasing the accuracy of the model. The model achieves up to 10x speed improvement, while generating more coherent results compared to existing models.


title: Learned 3D volumetric recovery of clouds and its uncertainty for climate analysis

abstract: Significant uncertainty in climate prediction and cloud physics is tied to observational gaps relating to shallow scattered clouds. Addressing these challenges requires remote sensing of their three-dimensional (3D) heterogeneous volumetric scattering content. This calls for passive scattering computed tomography (CT). We design a learning-based model (ProbCT) to achieve CT of such clouds, based on noisy multi-view spaceborne images. ProbCT infers - for the first time - the posterior probability distribution of the heterogeneous extinction coefficient, per 3D location. This yields arbitrary valuable statistics, e.g., the 3D field of the most probable extinction and its uncertainty. ProbCT uses a neural-field representation, making essentially real-time inference. ProbCT undergoes supervised training by a new labeled multi-class database of physics-based volumetric fields of clouds and their corresponding images. To improve out-of-distribution inference, we incorporate self-supervised learning through differential rendering. We demonstrate the approach in simulations and on real-world data, and indicate the relevance of 3D recovery and uncertainty to precipitation and renewable energy.


title: On the first eigenvalue of the generalized laplacian

abstract: In this work we investigate the energy of minimizers of Rayleigh-type quotients of the form $$ \frac{\int_\Omega A(|\nabla u|)\, dx}{\int_\Omega A(|u|)\, dx}. $$ These minimizers are eigenfunctions of the generalized laplacian defined as $\Delta_a u = \text{div}\left(a(|\nabla u|)\frac{\nabla u}{|\nabla u|}\right)$ where $a(t)=A'(t)$ and the Rayleigh quotient is comparable to the associated eigenvalue. On the function $A$ we only assume that it is a Young function but no $\Delta_2$ condition is imposed. Since the problem is not homogeneous, the energy of minimizers is known to strongly depend on the normalization parameter $\alpha =\int_\Omega A(|u|)\, dx$. In this work we precisely analyze this dependence and show differentiability of the energy with respect to $\alpha$ and, moreover, the limits as $\alpha\to 0$ and $\alpha\to \infty$ of the Rayleigh quotient. The nonlocal version of this problem is also analyzed.


title: Specialized effective Positivstellens\"atze for improved convergence rates of the moment-SOS hierarchy

abstract: Recently a moment-sum-of-squares hierarchy for exit location estimation of stochastic processes has been presented. When restricting to the special case of the unit ball, we show that the solutions approach the optimal value by a super-polynomial rate. To show this result we state a new effective Positivstellensatz on the sphere with quadratic degree bound based on a recent Positivstellensatz for trigonometric polynomials on the hypercube and pair it with a recent effective Positivstellensatz on the unit ball. At the present example, we aim to highlight the effectiveness of specialized Positivstellens\"atze for the moment-SoS hierarchy and their interplay with problem intrinsic properties.


title: Unique reconstruction for discretized inverse problems: a random sketching approach

abstract: Inverse problem theory is often studied in the ideal infinite-dimensional setting. Through the lens of the PDE-constrained optimization, the well-posedness PDE theory suggests unique reconstruction of the parameter function that attain the zero-loss property of the mismatch function, when infinite amount of data is provided. Unfortunately, this is not the case in practice, when we are limited to finite amount of measurements due to experimental or economical reasons. Consequently, one must compromise the inference goal to a discrete approximation of the unknown smooth function. What is the reconstruction power of a fixed number of data observations? How many parameters can one reconstruct? Here we describe a probabilistic approach, and spell out the interplay of the observation size $(r)$ and the number of parameters to be uniquely identified $(m)$. The technical pillar is the random sketching strategy, in which the matrix concentration inequality and sampling theory are largely employed. By analyzing randomly sub-sampled Hessian matrix, we attain well-conditioned reconstruction problem with high probability. Our main theory is finally validated in numerical experiments. We set tests on both synthetic and the data from an elliptic inverse problem. The empirical performance shows that given suitable sampling quality, the well-conditioning of the sketched Hessian is certified with high probability.


title: Flares during Eclipses of High Mass X-ray Binary Systems Vela X-1, 4U 1700-37, and LMC X-4

abstract: In eclipsing X-ray binary systems, the direct X-ray emission is blocked by the companion star during the eclipse. We observe only reprocessed emission that contains clues about the environment of the compact object and its chemical composition, ionization levels, etc. We have found flares in some X-ray binaries during their eclipses. The study of eclipse flares provides additional clues regarding the size of the reprocessing region and helps distinguish between different components of the X-ray spectrum observed during the eclipse. In the archival data, we searched for flares during eclipses of high-mass X-ray binaries and found flares in three sources: Vela X-1, LMC X-4, and 4U 1700-37. Comparing spectral properties of the eclipse flare and non-flare data, we found changes in the power-law photon index in all three sources and multiple emission lines in Vela X-1 and 4U 1700-37. The fluxes of prominent emission lines showed a similar increase as the overall X-ray flux during the eclipse flare, suggesting the lines originate in the binary environment and not in the interstellar medium. We also observed a soft excess in 4U 1700-37 that remains unchanged during both eclipse flare and non-flare states. Our analysis suggests that this emission originates from the extremely thin shell of the stellar wind surrounding the photosphere of its companion star. The detection of short (100-200 seconds) count-rate doubling timescale in 4U 1700-37 and LMC X-4 indicates that the eclipse reprocessing occurs in a region larger than, but comparable to the size of the companion star.


title: Wavelet-Like Transform-Based Technology in Response to the Call for Proposals on Neural Network-Based Image Coding

abstract: Neural network-based image coding has been developing rapidly since its birth. Until 2022, its performance has surpassed that of the best-performing traditional image coding framework -- H.266/VVC. Witnessing such success, the IEEE 1857.11 working subgroup initializes a neural network-based image coding standard project and issues a corresponding call for proposals (CfP). In response to the CfP, this paper introduces a novel wavelet-like transform-based end-to-end image coding framework -- iWaveV3. iWaveV3 incorporates many new features such as affine wavelet-like transform, perceptual-friendly quality metric, and more advanced training and online optimization strategies into our previous wavelet-like transform-based framework iWave++. While preserving the features of supporting lossy and lossless compression simultaneously, iWaveV3 also achieves state-of-the-art compression efficiency for objective quality and is very competitive for perceptual quality. As a result, iWaveV3 is adopted as a candidate scheme for developing the IEEE Standard for neural-network-based image coding.


title: Dihedral Tilings of the Sphere by Regular Polygons and Quadrilaterals I: Quadrilaterals with Equal Opposite Edges

abstract: We classify the dihedral edge-to-edge tilings of the sphere by regular polygons and quadrilaterals with equal opposite edges (edge configuration xyxy).


title: A Novel Refactoring and Semantic Aware Abstract Syntax Tree Differencing Tool and a Benchmark for Evaluating the Accuracy of Diff Tools

abstract: Software undergoes constant changes to support new requirements, address bugs, enhance performance, and ensure maintainability. Thus, developers spend a great portion of their workday trying to understand and review the code changes of their teammates. Abstract Syntax Tree (AST) diff tools were developed to overcome the limitations of line-based diff tools, which are used by the majority of developers. Despite the notable improvements brought by AST diff tools in understanding complex changes, they still suffer from serious limitations, such as (1) lacking multi-mapping support, (2) matching semantically incompatible AST nodes, (3) ignoring language clues to guide the matching process, (4) lacking refactoring awareness, and (5) lacking commit-level diff support. We propose a novel AST diff tool based on RefactoringMiner that resolves all aforementioned limitations. First, we improved RefactoringMiner to increase its statement mapping accuracy, and then we developed an algorithm that generates AST diff for a given commit or pull request based on the refactoring instances and pairs of matched program element declarations provided by RefactoringMiner. To evaluate the accuracy of our tool and compare it with the state-of-the-art tools, we created the first benchmark of AST node mappings, including 800 bug-fixing commits and 188 refactoring commits. Our evaluation showed that our tool achieved a considerably higher precision and recall, especially for refactoring commits, with an execution time that is comparable with that of the faster tools.


title: CoNFiLD: Conditional Neural Field Latent Diffusion Model Generating Spatiotemporal Turbulence

abstract: This study introduces the Conditional Neural Field Latent Diffusion (CoNFiLD) model, a novel generative learning framework designed for rapid simulation of intricate spatiotemporal dynamics in chaotic and turbulent systems within three-dimensional irregular domains. Traditional eddy-resolved numerical simulations, despite offering detailed flow predictions, encounter significant limitations due to their extensive computational demands, restricting their applications in broader engineering contexts. In contrast, deep learning-based surrogate models promise efficient, data-driven solutions. However, their effectiveness is often compromised by a reliance on deterministic frameworks, which fall short in accurately capturing the chaotic and stochastic nature of turbulence. The CoNFiLD model addresses these challenges by synergistically integrating conditional neural field encoding with latent diffusion processes, enabling the memory-efficient and robust probabilistic generation of spatiotemporal turbulence under varied conditions. Leveraging Bayesian conditional sampling, the model can seamlessly adapt to a diverse range of turbulence generation scenarios without the necessity for retraining, covering applications from zero-shot full-field flow reconstruction using sparse sensor measurements to super-resolution generation and spatiotemporal flow data restoration. Comprehensive numerical experiments across a variety of inhomogeneous, anisotropic turbulent flows with irregular geometries have been conducted to evaluate the model's versatility and efficacy, showcasing its transformative potential in the domain of turbulence generation and the broader modeling of spatiotemporal dynamics.


title: Dihedral Tilings of the Sphere by Regular Polygons and Quadrilaterals I: Squares and Rhombi

abstract: We classify the dihedral edge-to-edge tilings of the sphere by squares and rhombi.


title: On blowing up minimal toric surfaces

abstract: We prove that the Cox ring of the blowing-up of a minimal toric surface of Picard rank two is finitely generated. As part of our proof of this result we provide a necessary and sufficient condition for finite generation of Cox rings of normal projective $\mathbb Q$-factorial surfaces.


title: Hamiltonicity, Path Cover, and Independence Number: An FPT Perspective

abstract: The connection between Hamiltonicity and the independence numbers of graphs has been a fundamental aspect of Graph Theory since the seminal works of the 1960s. This paper presents a novel algorithmic perspective on these classical problems. Our contributions are twofold. First, we establish that a wide array of problems in undirected graphs, encompassing problems such as Hamiltonian Path and Cycle, Path Cover, Largest Linkage, and Topological Minor Containment are fixed-parameter tractable (FPT) parameterized by the independence number of a graph. To the best of our knowledge, these results mark the first instances of FPT problems for such parameterization. Second, we extend the algorithmic scope of the Gallai-Milgram theorem. The original theorem by Gallai and Milgram, asserts that for a graph G with the independence number \alpha(G), the vertex set of G can be covered by at most \alpha(G) vertex-disjoint paths. We show that determining whether a graph can be covered by fewer than \alpha(G) - k vertex-disjoint paths is FPT parameterized by k. Notably, the independence number parameterization, which describes graph's density, departs from the typical flow of research in parameterized complexity, which focuses on parameters describing graph's sparsity, like treewidth or vertex cover.


title: Model-Predictive Trajectory Generation for Autonomous Aerial Search and Coverage

abstract: This paper addresses the trajectory planning problem for search and coverage missions with an Unmanned Aerial Vehicle (UAV). The objective is to devise optimal coverage trajectories based on a utility map describing prior region information, assumed to be effectively approximated by a Gaussian Mixture Model (GMM). We introduce a Model Predictive Control (MPC) algorithm employing a relaxed formulation that promotes the exploration of the map by preventing the UAV from revisiting previously covered areas. This is achieved by penalizing intersections between the UAV's visibility regions along its trajectory. The algorithm is assessed in MATLAB and validated in Gazebo, as well as in outdoor experimental tests. The results show that the proposed strategy can generate efficient and smooth trajectories for search and coverage missions.


title: Distributed fixed resources exchanging particles: Phases of an asymmetric exclusion process connected to two reservoirs

abstract: We propose and study a conceptual one-dimensional model to explore how the combined interplay between fixed resources and particle exchanges between different parts of an extended system can affect the stationary densities in a current carrying channel connecting different parts of the system. To this end, we consider a model composed of a totally asymmetric simple exclusion process (TASEP) connecting two particle reservoirs without any internal dynamics but which can directly exchange particles between each other, ensuring nonvanishing currents in the steady states. The total particle number in the system that defines the "resources" available, although is kept constant by the model dynamics, can take any value independent of the model parameters that define the dynamics of the model. We show how the resulting phase diagrams of the model are controlled by the parameters, which define the various dynamical update rules together with the total available resources. These control parameters can be tuned to make the density on the TASEP lane globally uniform or piecewise continuous with localized domain walls, and can also control populations of the two reservoirs. In general, the phase diagrams are quite different from a TASEP with open boundaries. In the limit of large amount of resources, the phase diagrams in the plane of the control parameters become topologically identical to that for an open TASEP together with delocalization of domain walls.


title: Shear viscosity of quark-gluon plasma at finite temperature and chemical potential and QCD phase transitions

abstract: We explore the shear viscosity of quark-gluon plasma (QGP) in the full QCD phase diagram within the framework of kinetic theory with the relaxation time approximation based on the $2 \leftrightarrow 2$ elastic scatterings of quark quasiparticles. The temperature and chemical potential dependent masses of particles, including $u, d, s$ quarks, their antiparticles, and exchanged mesons, are calculated in the Polyakov-loop extended Nambu--Jona Lasinio (PNJL) model. The results indicate that, at small chemical potential, the value of $\eta/s$ has a minimum near the Mott dissociation of mesons and increases rapidly in the lower-temperature side of the chiral crossover phase transition. At large chemical potential (high density), $\eta/s$ in the QGP phase is dominated by the temperature, and the value of $\eta/s$ is greatly enhanced at lower temperature. At intermediate temperature and chemical potential near the QCD phase transition, the situation is relatively complicated. The behavior of $\eta/s$ is influenced by the competition between temperature, density effect, and QCD phase transition.