title: Deep unsupervised domain adaptation applied to the Cherenkov Telescope Array Large-Sized Telescope

abstract: The Cherenkov Telescope Array is the next generation of observatory using imaging air Cherenkov technique for very-high-energy gamma-ray astronomy. Its first prototype telescope is operational on-site at La Palma and its data acquisitions allowed to detect known sources, study new ones, and to confirm the performance expectations. The application of deep learning for the reconstruction of the incident particle physical properties (energy, direction of arrival and type) have shown promising results when conducted on simulations. Nevertheless, its application to real observational data is challenging because deep-learning-based models can suffer from domain shifts. In the present article, we address this issue by implementing domain adaptation methods into state-of-art deep learning models for Imaging Atmospheric Cherenkov Telescopes event reconstruction to reduce the domain discrepancies, and we shed light on the gain in performance that they bring along.


title: Extending SkyLLH software for neutrino point source analyses with 10 years of IceCube public data

abstract: Searching for the sources of high-energy cosmic particles requires sophisticated analysis techniques, frequently involving hypothesis tests with unbinned log-likelihood (LLH) functions. SkyLLH is an open-source, Python-based software tool to build these LLH functions and perform likelihood-ratio tests. We present a new easy-to-use and modular extension of SkyLLH that allows the user to perform neutrino point source searches in the entire sky using ten years of IceCube public data. To guide the user, SkyLLH provides tutorials showing how to analyze the experimental data and calculate useful statistical quantities. Here we describe the details of the analysis workflow and illustrate some of the possible methods to work with the IceCube public dataset. Additionally, we show that SkyLLH can reproduce the results from a previous IceCube publication that used the public data release. We obtain a similar local significance for the neutrino emission from a list of candidate sources within a maximum shift of 0.5$\sigma$. Finally, the measured neutrino flux from the most significant source candidate, NGC 1068, shows substantial agreement with the previously published result.


title: Real-time Detection of AI-Generated Speech for DeepFake Voice Conversion

abstract: There are growing implications surrounding generative AI in the speech domain that enable voice cloning and real-time voice conversion from one individual to another. This technology poses a significant ethical threat and could lead to breaches of privacy and misrepresentation, thus there is an urgent need for real-time detection of AI-generated speech for DeepFake Voice Conversion. To address the above emerging issues, the DEEP-VOICE dataset is generated in this study, comprised of real human speech from eight well-known figures and their speech converted to one another using Retrieval-based Voice Conversion. Presenting as a binary classification problem of whether the speech is real or AI-generated, statistical analysis of temporal audio features through t-testing reveals that there are significantly different distributions. Hyperparameter optimisation is implemented for machine learning models to identify the source of speech. Following the training of 208 individual machine learning models over 10-fold cross validation, it is found that the Extreme Gradient Boosting model can achieve an average classification accuracy of 99.3% and can classify speech in real-time, at around 0.004 milliseconds given one second of speech. All data generated for this study is released publicly for future research on AI speech detection.


title: Reconciling Inconsistent Molecular Structures from Biochemical Databases

abstract: Information on the structure of molecules, retrieved via biochemical databases, plays a pivotal role in various disciplines, such as metabolomics, systems biology, and drug discovery. However, no such database can be complete, and the chemical structure for a given compound is not necessarily consistent between databases. This paper presents StructRecon, a novel tool for resolving unique and correct molecular structures from database identifiers. StructRecon traverses the cross-links between database entries in different databases to construct what we call an identifier graph, which offers a more complete view of the total information available on a particular compound across all the databases. In order to reconcile discrepancies between databases, we first present an extensible model for chemical structure which supports multiple independent levels of detail, allowing standardisation of the structure to be applied iteratively. In some cases, our standardisation approach results in multiple structures for a given compound, in which case a random walk-based algorithm is used to select the most likely structure among incompatible alternates. We applied StructRecon to the EColiCore2 model, resolving a unique chemical structure for 85.11 % of identifiers. StructRecon is open-source and modular, which enables the potential support for more databases in the future.


title: FastSurfer-HypVINN: Automated sub-segmentation of the hypothalamus and adjacent structures on high-resolutional brain MRI

abstract: The hypothalamus plays a crucial role in the regulation of a broad range of physiological, behavioural, and cognitive functions. However, despite its importance, only a few small-scale neuroimaging studies have investigated its substructures, likely due to the lack of fully automated segmentation tools to address scalability and reproducibility issues of manual segmentation. While the only previous attempt to automatically sub-segment the hypothalamus with a neural network showed promise for 1.0 mm isotropic T1-weighted (T1w) MRI, there is a need for an automated tool to sub-segment also high-resolutional (HiRes) MR scans, as they are becoming widely available, and include structural detail also from multi-modal MRI. We, therefore, introduce a novel, fast, and fully automated deep learning method named HypVINN for sub-segmentation of the hypothalamus and adjacent structures on 0.8 mm isotropic T1w and T2w brain MR images that is robust to missing modalities. We extensively validate our model with respect to segmentation accuracy, generalizability, in-session test-retest reliability, and sensitivity to replicate hypothalamic volume effects (e.g. sex-differences). The proposed method exhibits high segmentation performance both for standalone T1w images as well as for T1w/T2w image pairs. Even with the additional capability to accept flexible inputs, our model matches or exceeds the performance of state-of-the-art methods with fixed inputs. We, further, demonstrate the generalizability of our method in experiments with 1.0 mm MR scans from both the Rhineland Study and the UK Biobank. Finally, HypVINN can perform the segmentation in less than a minute (GPU) and will be available in the open source FastSurfer neuroimaging software suite, offering a validated, efficient, and scalable solution for evaluating imaging-derived phenotypes of the hypothalamus.


title: Asymmetric Co-Training with Explainable Cell Graph Ensembling for Histopathological Image Classification

abstract: Convolutional neural networks excel in histopathological image classification, yet their pixel-level focus hampers explainability. Conversely, emerging graph convolutional networks spotlight cell-level features and medical implications. However, limited by their shallowness and suboptimal use of high-dimensional pixel data, GCNs underperform in multi-class histopathological image classification. To make full use of pixel-level and cell-level features dynamically, we propose an asymmetric co-training framework combining a deep graph convolutional network and a convolutional neural network for multi-class histopathological image classification. To improve the explainability of the entire framework by embedding morphological and topological distribution of cells, we build a 14-layer deep graph convolutional network to handle cell graph data. For the further utilization and dynamic interactions between pixel-level and cell-level information, we also design a co-training strategy to integrate the two asymmetric branches. Notably, we collect a private clinically acquired dataset termed LUAD7C, including seven subtypes of lung adenocarcinoma, which is rare and more challenging. We evaluated our approach on the private LUAD7C and public colorectal cancer datasets, showcasing its superior performance, explainability, and generalizability in multi-class histopathological image classification.


title: Learning Heavily-Degraded Prior for Underwater Object Detection

abstract: Underwater object detection suffers from low detection performance because the distance and wavelength dependent imaging process yield evident image quality degradations such as haze-like effects, low visibility, and color distortions. Therefore, we commit to resolving the issue of underwater object detection with compounded environmental degradations. Typical approaches attempt to develop sophisticated deep architecture to generate high-quality images or features. However, these methods are only work for limited ranges because imaging factors are either unstable, too sensitive, or compounded. Unlike these approaches catering for high-quality images or features, this paper seeks transferable prior knowledge from detector-friendly images. The prior guides detectors removing degradations that interfere with detection. It is based on statistical observations that, the heavily degraded regions of detector-friendly (DFUI) and underwater images have evident feature distribution gaps while the lightly degraded regions of them overlap each other. Therefore, we propose a residual feature transference module (RFTM) to learn a mapping between deep representations of the heavily degraded patches of DFUI- and underwater- images, and make the mapping as a heavily degraded prior (HDP) for underwater detection. Since the statistical properties are independent to image content, HDP can be learned without the supervision of semantic labels and plugged into popular CNNbased feature extraction networks to improve their performance on underwater object detection. Without bells and whistles, evaluations on URPC2020 and UODD show that our methods outperform CNN-based detectors by a large margin. Our method with higher speeds and less parameters still performs better than transformer-based detectors. Our code and DFUI dataset can be found in https://github.com/xiaoDetection/Learning-Heavily-Degraed-Prior.


title: Practical limitations on robustness and scalability of quantum Internet

abstract: As quantum theory allows for information processing and computing tasks that otherwise are not possible with classical systems, there is a need and use of quantum Internet beyond existing network systems. At the same time, the realization of a desirably functional quantum Internet is hindered by fundamental and practical challenges such as high loss during transmission of quantum systems, decoherence due to interaction with the environment, fragility of quantum states, etc. We study the implications of these constraints by analyzing the limitations on the scaling and robustness of quantum Internet. Considering quantum networks, we present practical bottlenecks for secure communication, delegated computing, and resource distribution among end nodes. Motivated by the power of abstraction in graph theory (in association with quantum information theory), we consider graph-theoretic quantifiers to assess network robustness and provide critical values of communication lines for viable communication over quantum Internet. In particular, we begin by discussing limitations on usefulness of isotropic states as device-independent quantum key repeaters which otherwise could be useful for device-independent quantum key distribution. We consider some quantum networks of practical interest, ranging from satellite-based networks connecting far-off spatial locations to currently available quantum processor architectures within computers, and analyze their robustness to perform quantum information processing tasks. Some of these tasks form primitives for delegated quantum computing, e.g., entanglement distribution and quantum teleportation. For some examples of quantum networks, we present algorithms to perform different quantum network tasks of interest such as constructing the network structure, finding the shortest path between a pair of end nodes, and optimizing the flow of resources at a node.


title: Human Comprehensible Active Learning of Genome-Scale Metabolic Networks

abstract: An important application of Synthetic Biology is the engineering of the host cell system to yield useful products. However, an increase in the scale of the host system leads to huge design space and requires a large number of validation trials with high experimental costs. A comprehensible machine learning approach that efficiently explores the hypothesis space and guides experimental design is urgently needed for the Design-Build-Test-Learn (DBTL) cycle of the host cell system. We introduce a novel machine learning framework ILP-iML1515 based on Inductive Logic Programming (ILP) that performs abductive logical reasoning and actively learns from training examples. In contrast to numerical models, ILP-iML1515 is built on comprehensible logical representations of a genome-scale metabolic model and can update the model by learning new logical structures from auxotrophic mutant trials. The ILP-iML1515 framework 1) allows high-throughput simulations and 2) actively selects experiments that reduce the experimental cost of learning gene functions in comparison to randomly selected experiments.


title: Photocurrents in bulk tellurium

abstract: We report a comprehensive study of polarized infrared/terahertz photocurrents in bulk tellurium crystals. We observe different photocurrent contributions and show that, depending on the experimental conditions, they are caused by the trigonal photogalvanic effect, the transverse linear photon drag effect, and the magnetic field induced linear and circular photogalvanic effects. All observed photocurrents have not been reported before and are well explained by the developed phenomenological and microscopic theory. We show that the effects can be unambiguously distinguished by studying the polarization, magnetic field, and radiation frequency dependence of the photocurrent. At frequencies around 30 THz, the photocurrents are shown to be caused by the direct optical transitions between subbands in the valence band. At lower frequencies of 1 to 3 THz, used in our experiment, these transitions become impossible and the detected photocurrents are caused by the indirect optical transitions (Drude-like radiation absorption).


title: Extending the IceCube search for neutrino point sources in the Northern sky with additional years of data

abstract: The IceCube Neutrino Observatory is a one-cubic-kilometer-sized neutrino telescope deployed deep in the Antarctic ice at the South Pole. One of IceCube's major goals is finding the origins of astrophysical high-energy neutrinos. In 2022, IceCube identified the strongest point-like neutrino source so far, the active galaxy NGC 1068. Analyzing 9 years of muon-neutrino data from the Northern Sky recorded between 2011 and 2020, the emission from NGC 1068 is significant at 4.2$\,\sigma$. We present a planned extension to this search with additional years of data. One of these years includes data from 2010 when IceCube was only partially constructed. We discuss the improvement in sensitivity and discovery potential for neutrino point sources across the Northern sky. We show that by building on the established analysis techniques, previous observations could be improved, not only for NGC 1068 but for all possible sources in the Northern sky.


title: Video Recommendation Using Social Network Analysis and User Viewing Patterns

abstract: This study proposes a novel video recommendation approach that leverages implicit user feedback in the form of viewing percentages and social network analysis techniques. By constructing a video similarity network based on user viewing patterns and computing centrality measures, the methodology identifies important and well-connected videos. Modularity analysis is then used to cluster closely related videos, forming the basis for personalized recommendations. For each user, candidate videos are selected from the cluster containing their preferred items and ranked using an ego-centric index that measures proximity to the user's likes and dislikes. The proposed approach was evaluated on real user data from an Asian video-on-demand platform. Offline experiments demonstrated improved accuracy compared to conventional methods such as Naive Bayes, SVM, decision trees, and nearest neighbor algorithms. An online user study further validated the effectiveness of the recommendations, with significant increases observed in click-through rate, view completion rate, and user satisfaction scores relative to the platform's existing system. These results underscore the value of incorporating implicit feedback and social network analysis for video recommendations. The key contributions of this research include a novel video recommendation framework that integrates implicit user data and social network analysis, the use of centrality measures and modularity-based clustering, an ego-centric ranking approach, and rigorous offline and online evaluation demonstrating superior performance compared to existing techniques. This study opens new avenues for enhancing video recommendations and user engagement in VOD platforms.


title: Limit dynamics of elementary cellular automaton 18

abstract: We study the the asymptotic dynamics of elementary cellular automaton 18 through its limit set, generic limit set and $\mu$-limit set. The dynamics of rule 18 are characterized by persistent local patterns known as kinks. We characterize the configurations of the generic limit set containing at most two kinks. As a corollary, we show that the three limit sets of rule 18 are distinct.


title: Unveiling the evolutionary state of three B supergiant stars: PU Gem, $\epsilon$ CMa and $\eta$ CMa

abstract: We aim to combine asteroseismology, spectroscopy, and evolutionary models to establish a comprehensive picture of the evolution of Galactic blue supergiant stars (BSG). To start such an investigation, we selected three BSG candidates for our analysis: HD 42087 (PU Gem), HD 52089 ($\epsilon$ CMa) and HD 58350 ($\eta$ CMa). These stars show pulsations and were suspected to be in an evolutionary stage either preceding or succeding the red supergiant (RSG) stage. For our analysis, we utilized the 2-min cadence TESS data to study the photometric variability and obtained new spectroscopic observations at the CASLEO observatory. We calculated CMFGEN non-LTE radiative transfer models and derived stellar and wind parameters using the iterative spectral analysis pipeline XTGRID. The spectral modeling was limited to changing only the effective temperature, surface gravity, CNO abundances, and mass-loss rates. Finally, we compared the derived metal abundances with predictions from Geneva stellar evolution models. The frequency spectra of all three stars show either stochastic oscillations, nonradial strange modes, or a rotational splitting. We conclude that the rather short sectoral observing windows of TESS prevent establishing a reliable mode identification of low frequencies connected to mass-loss variabilities. The spectral analysis confirmed gradual changes in the mass-loss rates and the derived CNO abundances comply with the values reported in the literature. We were able to achieve a quantitative match with stellar evolution models for the stellar masses and luminosities. However, the spectroscopic surface abundances turned out to be inconsistent with theoretical predictions. The stars show N enrichment, typical for CNO cycle processed material, but the abundance ratios do not reflect the associated levels of C and O depletion.


title: On Incremental Stability of Interconnected Switched Systems

abstract: In this letter, the incremental stability of interconnected systems is discussed. In particular, we consider an interconnection of switched nonlinear systems. The incremental stability of the switched interconnected system is a stronger property as compared to conventional stability. Guaranteeing such a notion of stability for an overall interconnected nonlinear system is challenging, even if individual subsystems are incrementally stable. Here, preserving incremental stability for the interconnection is ensured with a set of sufficient conditions. Contraction theory is used as a tool to achieve incremental convergence. For the feedback interconnection, the small gain characterisation is presented for the overall system's incremental stability. The results are derived for a special case of feedback, i.e., cascade interconnection. Matrix-measure-based conditions are presented, which are computationally tractable. Two numerical examples are demonstrated and supported with simulation results to verify the theoretical claims.


title: Separating the Human Touch from AI-Generated Text using Higher Criticism: An Information-Theoretic Approach

abstract: We propose a method to determine whether a given article was entirely written by a generative language model versus an alternative situation in which the article includes some significant edits by a different author, possibly a human. Our process involves many perplexity tests for the origin of individual sentences or other text atoms, combining these multiple tests using Higher Criticism (HC). As a by-product, the method identifies parts suspected to be edited. The method is motivated by the convergence of the log-perplexity to the cross-entropy rate and by a statistical model for edited text saying that sentences are mostly generated by the language model, except perhaps for a few sentences that might have originated via a different mechanism. We demonstrate the effectiveness of our method using real data and analyze the factors affecting its success. This analysis raises several interesting open challenges whose resolution may improve the method's effectiveness.


title: Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain

abstract: In NFV networks, service functions (SFs) can be deployed on virtual machines (VMs) across multiple domains and then form a service function chain (MSFC) for end-to-end network service provision. However, any software component in a VM-based MSFC must experience software aging issue after a long period of operation. This paper quantitatively investigates the capability of proactive rejuvenation techniques in reducing the damage of software aging on a VM-based MSFC. We develop a semi-Markov model to capture the behaviors of SFs, VMs and virtual machine monitors (VMMs) from software aging to recovery under the condition that failure times and recovery times follow general distributions. We derive the formulas for calculating the steady-state availability and reliability of the VM-based MSFC composed of multiple SFs running on VMs hosted by VMMs. Sensitivity analysis is also conducted to identify potential dependability bottlenecks.


title: Block-Level Interference Exploitation Precoding for MU-MISO: An ADMM Approach

abstract: We study constructive interference based block-level precoding (CI-BLP) in the downlink of multi-user multiple-input single-output (MU-MISO) systems. Specifically, our aim is to extend the analysis on CI-BLP to the case where the considered number of symbol slots is smaller than that of the users. To this end, we mathematically prove the feasibility of using the pseudo-inverse to obtain the optimal CI-BLP precoding matrix in a closed form. Similar to the case when the number of users is small, we show that a quadratic programming (QP) optimization on simplex can be constructed. We also design a low-complexity algorithm based on the alternating direction method of multipliers (ADMM) framework, which can efficiently solve large-scale QP problems. We further analyze the convergence and complexity of the proposed algorithm. Numerical results validate our analysis and the optimality of the proposed algorithm, and further show that the proposed algorithm offers a flexible performance-complexity tradeoff by limiting the maximum number of iterations, which motivates the use of CI-BLP in practical wireless systems.


title: Theoretical designing of multiband Nickelate and Palladate superconductors with $d^{8+\delta}$ configuration

abstract: In a previous study, we proposed a possibility of high $T_c$ superconductivity in mixed-anion nickelates with $d^{8+\delta}$ electron configuration. The theory was based on the fact that the two-orbital Hubbard model, when all the intra- and interorbital interactions have the same magnitude, is equivalent to the bilayer Hubbard model, which has been suggested to exhibit high $T_c$ superconductivity. The energy level offset $\Delta E$ in the two-orbital model is transformed to twice the interlayer hopping in the bilayer model, and hence appropriately large $\Delta E$ is favorable for superconductivity in the former. Extending this idea to multiorbital systems, we previously suggested materials with large energy level offset between $d_{x^2-y^2}$ and other $d$ orbitals, such as Ca$_2$NiO$_2$Cl$_2$, to be good candidates for high $T_c$ superconductivity, but such materials have not been synthesized to our knowledge. In the present study, we first focus on Sr$_2$NiO$_2$Cl$_2$, which has been synthesized in the past but has small $\Delta E$, and study the effect of applying pressure, which enhances $\Delta E$. We also study a 4d analogue of Sr$_2$NiO$_2$Cl$_2$, namely, Sr$_2$PdO$_2$X$_2$ ($X=$ Cl, F, H) , in which $\Delta E$ turns out to be large. The analysis using fluctuation exchange approximation suggests possibility of superconductivity in these systems with large $\Delta E$. We also study the effect of electron doping of these material, which is expected to enhance superconductivity, within the virtual crystal approximation.


title: Motion In-Betweening with Phase Manifolds

abstract: This paper introduces a novel data-driven motion in-betweening system to reach target poses of characters by making use of phases variables learned by a Periodic Autoencoder. Our approach utilizes a mixture-of-experts neural network model, in which the phases cluster movements in both space and time with different expert weights. Each generated set of weights then produces a sequence of poses in an autoregressive manner between the current and target state of the character. In addition, to satisfy poses which are manually modified by the animators or where certain end effectors serve as constraints to be reached by the animation, a learned bi-directional control scheme is implemented to satisfy such constraints. The results demonstrate that using phases for motion in-betweening tasks sharpen the interpolated movements, and furthermore stabilizes the learning process. Moreover, using phases for motion in-betweening tasks can also synthesize more challenging movements beyond locomotion behaviors. Additionally, style control is enabled between given target keyframes. Our proposed framework can compete with popular state-of-the-art methods for motion in-betweening in terms of motion quality and generalization, especially in the existence of long transition durations. Our framework contributes to faster prototyping workflows for creating animated character sequences, which is of enormous interest for the game and film industry.


title: Uniqueness of quantum state over time function

abstract: A fundamental A fundamental asymmetry exists within the conventional framework of quantum theory between space and time, in terms of representing causal relations via quantum channels and acausal relations via multipartite quantum states. Such a distinction does not exist in classical probability theory. In effort to introduce this symmetry to quantum theory, a new framework has recently been proposed, such that dynamical description of a quantum system can be encapsulated by a static quantum state over time. In particular, Fullwood and Parzygnat recently proposed the state over time function based on the Jordan product as a promising candidate for such a quantum state over time function, by showing that it satisfies all the axioms required in the no-go result by Horsman et al. However, it was unclear if the axioms induce a unique state over time function. In this work, we demonstrate that the previously proposed axioms cannot yield a unique state over time function. In response, we therefore propose an alternative set of axioms that is operationally motivated, and better suited to describe quantum states over any spacetime regions beyond two points. By doing so, we establish the Fullwood-Parzygnat state over time function as the essentially unique function satisfying all these operational axioms.


title: Increasing brightness in multiphoton microscopy with low-repetition-rate, wavelength-tunable femtosecond fiber laser

abstract: Many experiments in biological and medical sciences currently use multiphoton microscopy as a core imaging technique. To date, solid-state lasers are most commonly used as excitation beam sources. However, the most demanding applications require precisely adjusted excitation laser parameters to enhance image quality. Still, the lag in developing easy-to-use laser sources with tunable output parameters makes it challenging. Here, we show that manipulating the temporal and spectral properties of the excitation beam can significantly improve the quality of images. We have developed a wavelength-tunable femtosecond fiber laser that operates within the 760 - 800 nm spectral range and produces ultrashort pulses (below 70 fs) with a clean temporal profile and high pulse energy (1 nJ). The repetition rate could be easily adjusted using an integrated pulse picker unit within the 1 - 25 MHz range and without strongly influencing other parameters of the generated pulses. We integrated the laser with a two-photon excited fluorescence (TPEF) scanning laser microscope and investigated the effect of tunable wavelength and reducing the pulse repetition rate on the quality of obtained images. Using our laser, we substantially improved the images brightness and penetration depth of native fluorescence and stained samples compared with a standard fiber laser. Our results will contribute to developing imaging techniques using lower average laser power and broader use of tailored fiber-based sources.


title: PyMembrane: A flexible framework for efficient simulations of elastic and liquid membranes

abstract: PyMembrane is a software package for simulating liquid and elastic membranes using a discretisation of the continuum description based on unstructured triangulated two-dimensional meshes embedded in three-dimensional space. The package is written in C++, with a flexible and intuitive Python interface, allowing for a quick setup, execution and analysis of complex simulations. PyMembrane follows modern software engineering principles and features a modular design that allows for straightforward implementation of custom extensions while ensuring consistency and enabling inexpensive maintenance. A hallmark feature of this design is the use of a standardized C++ interface which streamlines adding new functionalities. Furthermore, PyMembrane uses data structures optimised for unstructured meshes, ensuring efficient mesh operations and force calculations. By providing several templates for typical simulations supplemented by extensive documentation, the users can seamlessly set up and run research-level simulations and extend the package to integrate additional features, underscoring PyMembrane's commitment to user-centric design.


title: Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation

abstract: The future of automated driving (AD) is rooted in the development of robust, fair and explainable artificial intelligence methods. Upon request, automated vehicles must be able to explain their decisions to the driver and the car passengers, to the pedestrians and other vulnerable road users and potentially to external auditors in case of accidents. However, nowadays, most explainable methods still rely on quantitative analysis of the AD scene representations captured by multiple sensors. This paper proposes a novel representation of AD scenes, called Qualitative eXplainable Graph (QXG), dedicated to qualitative spatiotemporal reasoning of long-term scenes. The construction of this graph exploits the recent Qualitative Constraint Acquisition paradigm. Our experimental results on NuScenes, an open real-world multi-modal dataset, show that the qualitative eXplainable graph of an AD scene composed of 40 frames can be computed in real-time and light in space storage which makes it a potentially interesting tool for improved and more trustworthy perception and control processes in AD.


title: Robust Computation Offloading and Trajectory Optimization for Multi-UAV-Assisted MEC: A Multi-Agent DRL Approach

abstract: For multiple Unmanned-Aerial-Vehicles (UAVs) assisted Mobile Edge Computing (MEC) networks, we study the problem of combined computation and communication for user equipments deployed with multi-type tasks. Specifically, we consider that the MEC network encompasses both communication and computation uncertainties, where the partial channel state information and the inaccurate estimation of task complexity are only available. We introduce a robust design accounting for these uncertainties and minimize the total weighted energy consumption by jointly optimizing UAV trajectory, task partition, as well as the computation and communication resource allocation in the multi-UAV scenario. The formulated problem is challenging to solve with the coupled optimization variables and the high uncertainties. To overcome this issue, we reformulate a multi-agent Markov decision process and propose a multi-agent proximal policy optimization with Beta distribution framework to achieve a flexible learning policy. Numerical results demonstrate the effectiveness and robustness of the proposed algorithm for the multi-UAV-assisted MEC network, which outperforms the representative benchmarks of the deep reinforcement learning and heuristic algorithms.


title: PartSeg: Few-shot Part Segmentation via Part-aware Prompt Learning

abstract: In this work, we address the task of few-shot part segmentation, which aims to segment the different parts of an unseen object using very few labeled examples. It is found that leveraging the textual space of a powerful pre-trained image-language model (such as CLIP) can be beneficial in learning visual features. Therefore, we develop a novel method termed PartSeg for few-shot part segmentation based on multimodal learning. Specifically, we design a part-aware prompt learning method to generate part-specific prompts that enable the CLIP model to better understand the concept of ``part'' and fully utilize its textual space. Furthermore, since the concept of the same part under different object categories is general, we establish relationships between these parts during the prompt learning process. We conduct extensive experiments on the PartImageNet and Pascal$\_$Part datasets, and the experimental results demonstrated that our proposed method achieves state-of-the-art performance.


title: Quasi-invariance of Gaussian measures for the $3d$ energy critical nonlinear Schr\" odinger equation

abstract: We consider the $3d$ energy critical nonlinear Schr\" odinger equation with data distributed according to the Gaussian measure with covariance operator $(1-\Delta)^{-s}$, where $\Delta$ is the Laplace operator and $s$ is sufficiently large. We prove that the flow sends full measure sets to full measure sets. We also discuss some simple applications. This extends a previous result by Planchon-Visciglia and the second author from $1d$ to higher dimensions.


title: Prospects for the detection of transient neutrino sources with PLEnuM

abstract: The discovery of high-energy astrophysical neutrinos in the TeV-PeV range by IceCube marked the start of neutrino astronomy, and the search for their sources continues. Two promising source candidates have been identified by IceCube: NGC 1068 in the 1 TeV-10 TeV range and TXS 0506+056 in the 0.1-1 PeV range. Both sources have gamma-ray counterparts, but additional time information of both neutrinos and gamma rays were essential for the identification of TXS 0506+056. The Planetary Neutrino Monitoring (PLEnuM) concept is an approach for combining the exposures of all current and future neutrino observatories - such as KM3NeT, Baikal-GVD, P-ONE in the Northern Hemisphere, and IceCube-Gen2 in the Southern Hemisphere. Using this PLEnuM approach, we estimate how the detection capability for transient sources candidates like blazars and GRBs improves once the future neutrino observatories come online. In addition, we present how the combined, instantaneous field of view of PLEnuM improves the real-time detection rate of rare, very-high-energy neutrinos across the entire sky.


title: Network-Device-Independent Certification of Causal Nonseparability

abstract: Causal nonseparability is the property underlying quantum processes incompatible with a definite causal order. So far it has remained a central open question as to whether any process with a clear physical realisation can violate a causal inequality, so that its causal nonseparability can be certified in a device-independent way, as originally conceived. Here we present a method solely based on the observed correlations, which certifies the causal nonseparability of all the processes that can induce a causally nonseparable distributed measurement in a scenario with trusted quantum input states, as defined in [Dourdent et al., Phys. Rev. Lett. 129, 090402 (2022)]. This notably includes the celebrated quantum switch. This device-independent certification is achieved by introducing a network of untrusted operations, allowing one to self-test the quantum inputs on which the effective distributed measurement induced by the process is performed.


title: IP-UNet: Intensity Projection UNet Architecture for 3D Medical Volume Segmentation

abstract: CNNs have been widely applied for medical image analysis. However, limited memory capacity is one of the most common drawbacks of processing high-resolution 3D volumetric data. 3D volumes are usually cropped or downsized first before processing, which can result in a loss of resolution, increase class imbalance, and affect the performance of the segmentation algorithms. In this paper, we propose an end-to-end deep learning approach called IP-UNet. IP-UNet is a UNet-based model that performs multi-class segmentation on Intensity Projection (IP) of 3D volumetric data instead of the memory-consuming 3D volumes. IP-UNet uses limited memory capability for training without losing the original 3D image resolution. We compare the performance of three models in terms of segmentation accuracy and computational cost: 1) Slice-by-slice 2D segmentation of the CT scan images using a conventional 2D UNet model. 2) IP-UNet that operates on data obtained by merging the extracted Maximum Intensity Projection (MIP), Closest Vessel Projection (CVP), and Average Intensity Projection (AvgIP) representations of the source 3D volumes, then applying the UNet model on the output IP images. 3) 3D-UNet model directly reads the 3D volumes constructed from a series of CT scan images and outputs the 3D volume of the predicted segmentation. We test the performance of these methods on 3D volumetric images for automatic breast calcification detection. Experimental results show that IP-Unet can achieve similar segmentation accuracy with 3D-Unet but with much better performance. It reduces the training time by 70\% and memory consumption by 92\%.


title: Reinforcement Learning Informed Evolutionary Search for Autonomous Systems Testing

abstract: Evolutionary search-based techniques are commonly used for testing autonomous robotic systems. However, these approaches often rely on computationally expensive simulator-based models for test scenario evaluation. To improve the computational efficiency of the search-based testing, we propose augmenting the evolutionary search (ES) with a reinforcement learning (RL) agent trained using surrogate rewards derived from domain knowledge. In our approach, known as RIGAA (Reinforcement learning Informed Genetic Algorithm for Autonomous systems testing), we first train an RL agent to learn useful constraints of the problem and then use it to produce a certain part of the initial population of the search algorithm. By incorporating an RL agent into the search process, we aim to guide the algorithm towards promising regions of the search space from the start, enabling more efficient exploration of the solution space. We evaluate RIGAA on two case studies: maze generation for an autonomous ant robot and road topology generation for an autonomous vehicle lane keeping assist system. In both case studies, RIGAA converges faster to fitter solutions and produces a better test suite (in terms of average test scenario fitness and diversity). RIGAA also outperforms the state-of-the-art tools for vehicle lane keeping assist system testing, such as AmbieGen and Frenetic.


title: Eventually Constant and stagnating functions in non-Lindel\"of spaces

abstract: Inspired by recent work of A. Mardani which elaborates on the elementary fact that for any continuous function $f:\omega_1\times\mathbb{R}\to\mathbb{R}$, there is an $\alpha\in\omega_1$ such that $f(\langle\beta,x\rangle) = f(\langle\alpha,x\rangle)$ for all $\beta\ge\alpha$ and $x\in\mathbb{R}$, we introduce four properties $\mathsf{P}(X,Y)$, $\mathsf{P}\in\{\mathsf{EC},\mathsf{S},\mathsf{L},\mathsf{BR}\}$, which are different formalizations of the idea vaguely stated as "given a continuous $f:X\to Y$, there is a small subspace of $X$ outside of which $f$ does not do anything much new". We say that the spaces $X,Y$ satisfy the property $\mathsf{EC}(X,Y)$ (resp. $\mathsf{S}(X,Y)$) [resp. $\mathsf{L}(X,Y)$] iff given $f:X\to Y$, then there is a Lindel\"of $Z\subset X$ such that $f(X-Z)$ is a singleton (resp. there is a retraction $r:X\to Z$ such that $f\circ r = f$) [resp. $f(Z) = f(X)$]. ($\mathsf{BR}(X,Y)$ is defined similarly.) We investigate the relations between these four and other classical topological properties. Two variants of each property are given depending on whether $Z$ can be chosen to be closed. Here is a sample of our results. An uncountable subspace $T$ of a tree of height $\omega_1$ is $\omega_1$-compact iff $\mathsf{S}(T,Y)$ holds for any metrizable space $Y$ of cardinality $>1$. If $M$ is a $\aleph_1$-strongly collectionwise Hausforff non-metrizable manifold satisfying either a weakening of $\mathsf{S}(M,\mathbb{R})$ or $\mathsf{EC}(M,\mathbb{R})$, then $M$ is $\omega_1$-compact. The property $\mathsf{L}(M,\mathbb{R})$ holds for any manifold while $\mathsf{L}(M,\mathbb{R}^2)$ does not. Under PFA, a locally compact countably tight space $Y$ for which $\mathsf{EC}(\omega_1,Y)$ holds is isocompact, while there are counterexamples under $\clubsuit_C$. Some of our results are restatements of other researchers work put in our context.


title: Dirichlet-Neumann and Neumann-Neumann Methods for Elliptic Control Problems

abstract: We present the Dirichlet-Neumann (DN) and Neumann-Neumann (NN) methods applied to the optimal control problems arising from elliptic partial differential equations (PDEs) under the $H^{-1}$ regularization. We use the Lagrange multiplier approach to derive a forward-backward optimality system with the $L^2$ regularization, and a singular perturbed Poisson equation with the $H^{-1}$ regularization. The $H^{-1}$ regularization thus avoids solving a coupled bi-Laplacian problem, yet the solutions are less regular. The singular perturbed Poisson equation is then solved by using the DN and NN methods, and a detailed analysis is given both in the one-dimensional and two-dimensional case. Finally, we provide some numerical experiments with conclusions.


title: Nearly-room-temperature ferromagnetism and tunable anomalous Hall effect in atomically thin Fe4CoGeTe2

abstract: Itinerant ferromagnetism at room temperature is a key ingredient for spin transport and manipulation. Here, we report the realization of nearly-room-temperature itinerant ferromagnetism in Co doped Fe5GeTe2 thin flakes. The ferromagnetic transition temperature TC (323 K - 337 K) is almost unchanged when thickness is down to 12 nm and is still about 284 K at 2 nm (bilayer thickness). Theoretical calculations further indicate that the ferromagnetism persists in monolayer Fe4CoGeTe2. In addition to the robust ferromagnetism down to the ultrathin limit, Fe4CoGeTe2 exhibits an unusual temperature- and thickness-dependent intrinsic anomalous Hall effect. We propose that it could be ascribed to the dependence of band structure on thickness that changes the Berry curvature near the Fermi energy level subtly. The nearly-room-temperature ferromagnetism and tunable anomalous Hall effect in atomically thin Fe4CoGeTe2 provide opportunities to understand the exotic transport properties of two-dimensional van der Waals magnetic materials and explore their potential applications in spintronics.


title: A linear model for inertial modes in a differentially rotating Sun

abstract: Inertial wave modes in the Sun are of interest owing to their potential to reveal new insight into the solar interior. These predominantly retrograde-propagating modes in the solar subsurface appear to deviate from the thin-shell Rossby-Haurwitz model at high azimuthal orders. We present new measurements of sectoral equatorial inertial modes at $m>15$ where the modes appear to become progressively less retrograde compared to the canonical Rossby-Haurwitz dispersion relation in a co-rotating frame. We use a spectral eigenvalue solver to compute the spectrum of solar inertial modes in the presence of differential rotation. Focussing specifically on equatorial Rossby modes, we find that the numerically obtained mode frequencies lie along distinct ridges, one of which lies strikingly close to the observed mode frequencies in the Sun. We also find that the $n=0$ ridge is deflected strongly in the retrograde direction. This suggests that the solar measurements may not correspond to the fundamental $n=0$ Rossby-Haurwitz solutions as was initially suspected, but to a those for a higher $n$. The numerically obtained eigenfunctions also appear to sit deep within the convection zone -- unlike those for the $n=0$ modes -- which differs substantially from solar measurements and complicates inference.


title: On the Consistency of Average Embeddings for Item Recommendation

abstract: A prevalent practice in recommender systems consists in averaging item embeddings to represent users or higher-level concepts in the same embedding space. This paper investigates the relevance of such a practice. For this purpose, we propose an expected precision score, designed to measure the consistency of an average embedding relative to the items used for its construction. We subsequently analyze the mathematical expression of this score in a theoretical setting with specific assumptions, as well as its empirical behavior on real-world data from music streaming services. Our results emphasize that real-world averages are less consistent for recommendation, which paves the way for future research to better align real-world embeddings with assumptions from our theoretical setting.


title: Tilting modules and highest weight theory for reduced enveloping algebras

abstract: Let $G$ be a reductive algebraic group over an algebraically closed field of characteristic $p>0$, and let ${\mathfrak g}$ be its Lie algebra. Given $\chi\in{\mathfrak g}^{*}$ in standard Levi form, we study a category ${\mathscr C}_\chi$ of graded representations of the reduced enveloping algebra $U_\chi({\mathfrak g})$. Specifically, we study the effect of translation functors and wall-crossing functors on various highest-weight-theoretic objects in ${\mathscr C}_\chi$, including tilting modules. We also develop the theory of canonical $\Delta$-flags and $\overline{\nabla}$-sections of $\Delta$-flags, in analogy with similar concepts for algebraic groups studied by Riche and Williamson.


title: Bankruptcy probabilities under non-Poisson inspection

abstract: This paper concerns an insurance firm's surplus process observed at renewal inspection times, with a focus on assessing the probability of the surplus level dropping below zero. For various types of inter-inspection time distributions, an explicit expression for the corresponding transform is given. In addition, Cram\'er-Lundberg type asymptotics are established. Also, an importance sampling based Monte Carlo algorithm is proposed, and is shown to be logarithmically efficient.


title: WavMark: Watermarking for Audio Generation

abstract: Recent breakthroughs in zero-shot voice synthesis have enabled imitating a speaker's voice using just a few seconds of recording while maintaining a high level of realism. Alongside its potential benefits, this powerful technology introduces notable risks, including voice fraud and speaker impersonation. Unlike the conventional approach of solely relying on passive methods for detecting synthetic data, watermarking presents a proactive and robust defence mechanism against these looming risks. This paper introduces an innovative audio watermarking framework that encodes up to 32 bits of watermark within a mere 1-second audio snippet. The watermark is imperceptible to human senses and exhibits strong resilience against various attacks. It can serve as an effective identifier for synthesized voices and holds potential for broader applications in audio copyright protection. Moreover, this framework boasts high flexibility, allowing for the combination of multiple watermark segments to achieve heightened robustness and expanded capacity. Utilizing 10 to 20-second audio as the host, our approach demonstrates an average Bit Error Rate (BER) of 0.48\% across ten common attacks, a remarkable reduction of over 2800\% in BER compared to the state-of-the-art watermarking tool. See https://aka.ms/wavmark for demos of our work.


title: Non-reciprocal coherent all-optical switching between magnetic multi-states

abstract: We present experimental and computational findings of the laser-induced non-reciprocal motion of magnetization during ultrafast photo-magnetic switching in garnets. We found distinct coherent magnetization precession trajectories and switching times between four magnetization states, depending on both directions of the light linear polarization and initial magnetic state. As a fingerprint of the topological symmetry, the choice of the switching trajectory is governed by an interplay of the photo-magnetic torque and magnetic anisotropy. Our results open a plethora of possibilities for designing energy-efficient magnetization switching routes at arbitrary energy landscapes.


title: Intentionally-underestimated Value Function at Terminal State for Temporal-difference Learning with Mis-designed Reward

abstract: Robot control using reinforcement learning has become popular, but its learning process generally terminates halfway through an episode for safety and time-saving reasons. This study addresses the problem of the most popular exception handling that temporal-difference (TD) learning performs at such termination. That is, by forcibly assuming zero value after termination, unintentionally implicit underestimation or overestimation occurs, depending on the reward design in the normal states. When the episode is terminated due to task failure, the failure may be highly valued with the unintentional overestimation, and the wrong policy may be acquired. Although this problem can be avoided by paying attention to the reward design, it is essential in practical use of TD learning to review the exception handling at termination. This paper therefore proposes a method to intentionally underestimate the value after termination to avoid learning failures due to the unintentional overestimation. In addition, the degree of underestimation is adjusted according to the degree of stationarity at termination, thereby preventing excessive exploration due to the intentional underestimation. Simulations and real robot experiments showed that the proposed method can stably obtain the optimal policies for various tasks and reward designs. https://youtu.be/AxXr8uFOe7M


title: Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization

abstract: Enlightened by the big success of pre-training in natural language processing, pre-trained models for programming languages have been widely used to promote code intelligence in recent years. In particular, BERT has been used for bug localization tasks and impressive results have been obtained. However, these BERT-based bug localization techniques suffer from two issues. First, the pre-trained BERT model on source code does not adequately capture the deep semantics of program code. Second, the overall bug localization models neglect the necessity of large-scale negative samples in contrastive learning for representations of changesets and ignore the lexical similarity between bug reports and changesets during similarity estimation. We address these two issues by 1) proposing a novel directed, multiple-label code graph representation named Semantic Flow Graph (SFG), which compactly and adequately captures code semantics, 2) designing and training SemanticCodeBERT based on SFG, and 3) designing a novel Hierarchical Momentum Contrastive Bug Localization technique (HMCBL). Evaluation results show that our method achieves state-of-the-art performance in bug localization.


title: LISTER: Neighbor Decoding for Length-Insensitive Scene Text Recognition

abstract: The diversity in length constitutes a significant characteristic of text. Due to the long-tail distribution of text lengths, most existing methods for scene text recognition (STR) only work well on short or seen-length text, lacking the capability of recognizing longer text or performing length extrapolation. This is a crucial issue, since the lengths of the text to be recognized are usually not given in advance in real-world applications, but it has not been adequately investigated in previous works. Therefore, we propose in this paper a method called Length-Insensitive Scene TExt Recognizer (LISTER), which remedies the limitation regarding the robustness to various text lengths. Specifically, a Neighbor Decoder is proposed to obtain accurate character attention maps with the assistance of a novel neighbor matrix regardless of the text lengths. Besides, a Feature Enhancement Module is devised to model the long-range dependency with low computation cost, which is able to perform iterations with the neighbor decoder to enhance the feature map progressively. To the best of our knowledge, we are the first to achieve effective length-insensitive scene text recognition. Extensive experiments demonstrate that the proposed LISTER algorithm exhibits obvious superiority on long text recognition and the ability for length extrapolation, while comparing favourably with the previous state-of-the-art methods on standard benchmarks for STR (mainly short text).


title: A Distributed Linear Quadratic Discrete-Time Game Approach to Formation Control with Collision Avoidance

abstract: Formation control problems can be expressed as linear quadratic discrete-time games (LQDTG) for which Nash equilibrium solutions are sought. However, solving such problems requires solving coupled Riccati equations, which cannot be done in a distributed manner. A recent study showed that a distributed implementation is possible for a consensus problem when fictitious agents are associated with edges in the network graph rather than nodes. This paper proposes an extension of this approach to formation control with collision avoidance, where collision is precluded by including appropriate penalty terms on the edges. To address the problem, a state-dependent Riccati equation needs to be solved since the collision avoidance term in the cost function leads to a state-dependent weight matrix. This solution provides relative control inputs associated with the edges of the network graph. These relative inputs then need to be mapped to the physical control inputs applied at the nodes; this can be done in a distributed manner by iterating over a gradient descent search between neighbors in each sampling interval. Unlike inter-sample iteration frequently used in distributed MPC, only a matrix-vector multiplication is needed for each iteration step here, instead of an optimization problem to be solved. This approach can be implemented in a receding horizon manner, this is demonstrated through a numerical example.


title: Achromatic imaging systems with flat lenses enabled by deep learning

abstract: Motivated by their great potential to reduce the size, cost and weight, flat lenses, a category that includes diffractive lenses and metalenses, are rapidly emerging as key components with the potential to replace the traditional refractive optical elements in modern optical systems. Yet, the inherently strong chromatic aberration of these flat lenses is significantly impairing their performance in systems based on polychromatic illumination or passive ambient light illumination, stalling their widespread implementation. Hereby, we provide a promising solution and demonstrate high quality imaging based on flat lenses over the entire visible spectrum. Our approach is based on creating a novel dataset of color outdoor images taken with our flat lens and using this dataset to train a deep-learning model for chromatic aberrations correction. Based on this approach we show unprecedented imaging results not only in terms of qualitative measures but also in the quantitative terms of the PSNR and SSIM scores of the reconstructed images. The results pave the way for the implementation of flat lenses in advanced polychromatic imaging systems.


title: Towards Communication-Efficient Model Updating for On-Device Session-Based Recommendation

abstract: On-device recommender systems recently have garnered increasing attention due to their advantages of providing prompt response and securing privacy. To stay current with evolving user interests, cloud-based recommender systems are periodically updated with new interaction data. However, on-device models struggle to retrain themselves because of limited onboard computing resources. As a solution, we consider the scenario where the model retraining occurs on the server side and then the updated parameters are transferred to edge devices via network communication. While this eliminates the need for local retraining, it incurs a regular transfer of parameters that significantly taxes network bandwidth. To mitigate this issue, we develop an efficient approach based on compositional codes to compress the model update. This approach ensures the on-device model is updated flexibly with minimal additional parameters whilst utilizing previous knowledge. The extensive experiments conducted on multiple session-based recommendation models with distinctive architectures demonstrate that the on-device model can achieve comparable accuracy to the retrained server-side counterpart through transferring an update 60x smaller in size. The codes are available at \url{https://github.com/xiaxin1998/ODUpdate}.


title: Real-time milli-Kelvin thermometry in a semiconductor qubit architecture

abstract: We report local time-resolved thermometry in a silicon nanowire quantum dot device designed to host a linear array of spin qubits. Using two alternative measurement schemes based on rf reflectometry, we are able to probe either local electron or phonon temperatures with $\mu$s-scale time resolution and a noise equivalent temperature of $3$ $\rm mK/\sqrt{\rm Hz}$. Following the application of short microwave pulses, causing local periodic heating, time-dependent thermometry can track the dynamics of thermal excitation and relaxation, revealing clearly different characteristic time scales. This work opens important prospects to investigate the out-of-equilibrium thermal properties of semiconductor quantum electronic devices operating at very low temperature. In particular, it may provide a powerful handle to understand heating effects recently observed in semiconductor spin-qubit systems.


title: On Offline Evaluation of 3D Object Detection for Autonomous Driving

abstract: Prior work in 3D object detection evaluates models using offline metrics like average precision since closed-loop online evaluation on the downstream driving task is costly. However, it is unclear how indicative offline results are of driving performance. In this work, we perform the first empirical evaluation measuring how predictive different detection metrics are of driving performance when detectors are integrated into a full self-driving stack. We conduct extensive experiments on urban driving in the CARLA simulator using 16 object detection models. We find that the nuScenes Detection Score has a higher correlation to driving performance than the widely used average precision metric. In addition, our results call for caution on the exclusive reliance on the emerging class of `planner-centric' metrics.


title: The motility-matrix production switch in Bacillus subtilis -- a modeling perspective

abstract: Phenotype switching can be triggered by external stimuli and by intrinsic stochasticity. Here, we focus on the motility-matrix production switch in Bacillus subtilis. We use modeling to describe the SinR-SlrR bistable switch its regulation by SinI, and to distinguish different sources of stochasticity. Our simulations indicate that intrinsic fluctuations in the synthesis of SinI are insufficient to drive spontaneous switching and suggest that switching is triggered by upstream noise from the Spo0A phosphorelay.

categories: physics.bio-ph nlin.CD q-bio.CB q-bio.MN q-bio.QM


title: A Riemannian optimization method to compute the nearest singular pencil

abstract: Given a square pencil $A+ \lambda B$, where $A$ and $B$ are $n\times n$ complex (resp. real) matrices, we consider the problem of finding the singular complex (resp. real) pencil nearest to it in the Frobenius distance. This problem is known to be very difficult, and the few algorithms available in the literature can only deal efficiently with pencils of very small size. We show that the problem is equivalent to minimizing a certain objective function $f$ over the Riemannian manifold $SU(n) \times SU(n)$ (resp. $SO(n) \times SO(n)$ if the nearest real singular pencil is sought), where $SU(n)$ denotes the special unitary group (resp. $SO(n)$ denotes the special orthogonal group). This novel perspective is based on the generalized Schur form of pencils, and yields competitive numerical methods, by pairing it with { algorithms} capable of doing optimization on { Riemannian manifolds. We propose one algorithm that directly minimizes the (almost everywhere, but not everywhere, differentiable) function $f$, as well as a smoothed alternative and a third algorithm that is smooth and can also solve the problem} of finding a nearest singular pencil with a specified minimal index. We provide numerical experiments that show that the resulting methods allow us to deal with pencils of much larger size than alternative techniques, yielding candidate minimizers of comparable or better quality. In the course of our analysis, we also obtain a number of new theoretical results related to the generalized Schur form of a (regular or singular) square pencil and to the minimal index of a singular square pencil whose nullity is $1$.


title: Spectral lens enables a minimalist framework for hyperspectral imaging

abstract: Conventional lens-based imaging techniques have long been limited to capturing only the intensity distribution of objects, resulting in the loss of other crucial dimensions such as spectral data. Here, we report a spectral lens that captures both spatial and spectral information, and further demonstrate a minimalist framework wherein hyperspectral imaging can be readily achieved by replacing lenses in standard cameras with our spectral lens. As a paradigm, we capitalize on planar liquid crystal optics to implement the proposed framework. Our experiments with various targets show that the resulting hyperspectral camera exhibits excellent performance in both spectral and spatial domains. With merits such as ultra-compactness and strong compatibility, our framework paves a practical pathway for advancing hyperspectral imaging apparatus toward miniaturization, with great potential for portable applications.


title: Resonance states of the three-disk scattering system

abstract: For the paradigmatic three-disk scattering system, we confirm a recent conjecture for open chaotic systems, which claims that resonance states are composed of two factors. In particular, we demonstrate that one factor is given by universal exponentially distributed intensity fluctuations. The other factor, supposed to be a classical density depending on the lifetime of the resonance state, is found to be very well described by a classical construction. Furthermore, ray-segment scars, recently observed in dielectric cavities, dominate every resonance state at small wavelengths also in the three-disk scattering system. We introduce a new numerical method for computing resonances, which allows for going much further into the semiclassical limit. As a consequence we are able to confirm the fractal Weyl law over a correspondingly large range.


title: Understanding Container-based Services under Software Aging: Dependability and Performance Views

abstract: Container technology, as the key enabler behind microservice architectures, is widely applied in Cloud and Edge Computing. A long and continuous running of operating system (OS) host-ing container-based services can encounter software aging that leads to performance deterioration and even causes system fail-ures. OS rejuvenation techniques can mitigate the impact of software aging but the rejuvenation trigger interval needs to be carefully determined to reduce the downtime cost due to rejuve-nation. This paper proposes a comprehensive semi-Markov-based approach to quantitatively evaluate the effect of OS reju-venation on the dependability and the performance of a con-tainer-based service. In contrast to the existing studies, we nei-ther restrict the distributions of time intervals of events to be exponential nor assume that backup resources are always avail-able. Through the numerical study, we show the optimal con-tainer-migration trigger intervals that can maximize the de-pendability or minimize the performance of a container-based service.


title: Single-shot Bayesian approximation for neural networks

abstract: Deep neural networks (NNs) are known for their high-prediction performances. However, NNs are prone to yield unreliable predictions when encountering completely new situations without indicating their uncertainty. Bayesian variants of NNs (BNNs), such as Monte Carlo (MC) dropout BNNs, do provide uncertainty measures and simultaneously increase the prediction performance. The only disadvantage of BNNs is their higher computation time during test time because they rely on a sampling approach. Here we present a single-shot MC dropout approximation that preserves the advantages of BNNs while being as fast as NNs. Our approach is based on moment propagation (MP) and allows to analytically approximate the expected value and the variance of the MC dropout signal for commonly used layers in NNs, i.e. convolution, max pooling, dense, softmax, and dropout layers. The MP approach can convert an NN into a BNN without re-training given the NN has been trained with standard dropout. We evaluate our approach on different benchmark datasets and a simulated toy example in a classification and regression setting. We demonstrate that our single-shot MC dropout approximation resembles the point estimate and the uncertainty estimate of the predictive distribution that is achieved with an MC approach, while being fast enough for real-time deployments of BNNs. We show that using part of the saved time to combine our MP approach with deep ensemble techniques does further improve the uncertainty measures.


title: Some Finiteness Results on Oda's Question for Pairs of Line Bundles

abstract: In this work we prove on a given smooth toric threefold all but finitely many ample line bundles are projectively normal.


title: On a question of Matt Baker regarding the dollar game

abstract: In an introductory paper on dollar game played on a graph, Matt Baker wrote the following: ``The total number of borrowing moves required to win the game when playing the 'borrowing binge strategy' is independent of which borrowing moves you do in which order! Note, however, that it is usually possible to win in fewer moves by employing lending moves in combination with borrowing moves. The optimal strategy when one uses both kinds of moves is not yet understood.'' In this article, we give a lower bound on the minimum number $ M_{\text{min}} $ of such moves of an optimal algorithm in terms of the number of moves $ M_0 $ of the borrowing binge strategy. Concretely, we have: $ M_{\text{min}} \geq \frac{M_0}{n-1} $ where $ n $ is the number of vertices of the graph. This bound is tight.


title: Understanding Solidity Event Logging Practices in the Wild

abstract: Writing logging messages is a well-established conventional programming practice, and it is of vital importance for a wide variety of software development activities. The logging mechanism in Solidity programming is enabled by the high-level event feature, but up to now there lacks study for understanding Solidity event logging practices in the wild. To fill this gap, we in this paper provide the first quantitative characteristic study of the current Solidity event logging practices using 2,915 popular Solidity projects hosted on GitHub. The study methodically explores the pervasiveness of event logging, the goodness of current event logging practices, and in particular the reasons for event logging code evolution, and delivers 8 original and important findings. The findings notably include the existence of a large percentage of independent event logging code modifications, and the underlying reasons for different categories of independent event logging code modifications are diverse (for instance, bug fixing and gas saving). We additionally give the implications of our findings, and these implications can enlighten developers, researchers, tool builders, and language designers to improve the event logging practices. To illustrate the potential benefits of our study, we develop a proof-of-concept checker on top of one of our findings and the checker effectively detects problematic event logging code that consumes extra gas in 35 popular GitHub projects and 9 project owners have already confirmed the detected issues.


title: Robotic Scene Segmentation with Memory Network for Runtime Surgical Context Inference

abstract: Surgical context inference has recently garnered significant attention in robot-assisted surgery as it can facilitate workflow analysis, skill assessment, and error detection. However, runtime context inference is challenging since it requires timely and accurate detection of the interactions among the tools and objects in the surgical scene based on the segmentation of video data. On the other hand, existing state-of-the-art video segmentation methods are often biased against infrequent classes and fail to provide temporal consistency for segmented masks. This can negatively impact the context inference and accurate detection of critical states. In this study, we propose a solution to these challenges using a Space Time Correspondence Network (STCN). STCN is a memory network that performs binary segmentation and minimizes the effects of class imbalance. The use of a memory bank in STCN allows for the utilization of past image and segmentation information, thereby ensuring consistency of the masks. Our experiments using the publicly available JIGSAWS dataset demonstrate that STCN achieves superior segmentation performance for objects that are difficult to segment, such as needle and thread, and improves context inference compared to the state-of-the-art. We also demonstrate that segmentation and context inference can be performed at runtime without compromising performance.


title: The Haar measure of a profinite $n$-ary group

abstract: We prove that every profinite $n$-ary group $(G, f)=\Gf$ has a unique Haar measure $m_p$ and further for every measurable subset $A\subseteq G$, we have $$ m_p(A)=m(A)=(n-1)m^{\ast}(A) $$ where $m$ and $m^{\ast}$ are the normalized Haar measures of the profinite groups $(G, \bullet)$ and the Post cover $G^{\ast}$, respectively.


title: Nanopore-patterned CuSe drives the realization of PbSe-CuSe lateral heterostructure

abstract: Monolayer PbSe has been predicted to be a two-dimensional (2D) topological crystalline insulator (TCI) with crystalline symmetry-protected Dirac-cone-like edge states. Recently, few-layered epitaxial PbSe has been grown on the SrTiO3 substrate successfully, but the corresponding signature of the TCI was only observed for films not thinner than seven monolayers, largely due to interfacial strain. Here, we demonstrate a two-step method based on molecular beam epitaxy for the growth of the PbSe-CuSe lateral heterostructure on the Cu(111) substrate, in which we observe a nanopore patterned CuSe layer that acts as the template for lateral epitaxial growth of PbSe. This further results in a monolayer PbSe-CuSe lateral heterostructure with an atomically sharp interface. Scanning tunneling microscopy and spectroscopy measurements reveal a four-fold symmetric square lattice of such monolayer PbSe with a quasi-particle band gap of 1.8 eV, a value highly comparable with the theoretical value of freestanding PbSe. The weak monolayer-substrate interaction is further supported by both density functional theory (DFT) and projected crystal orbital Hamilton population, with the former predicting the monolayer's anti-bond state to reside below the Fermi level. Our work demonstrates a practical strategy to fabricate a high-quality in-plane heterostructure, involving a monolayer TCI, which is viable for further exploration of the topology-derived quantum physics and phenomena in the monolayer limit.


title: Sparks of Large Audio Models: A Survey and Outlook

abstract: This survey paper provides a comprehensive overview of the recent advancements and challenges in applying large language models to the field of audio signal processing. Audio processing, with its diverse signal representations and a wide range of sources--from human voices to musical instruments and environmental sounds--poses challenges distinct from those found in traditional Natural Language Processing scenarios. Nevertheless, \textit{Large Audio Models}, epitomized by transformer-based architectures, have shown marked efficacy in this sphere. By leveraging massive amount of data, these models have demonstrated prowess in a variety of audio tasks, spanning from Automatic Speech Recognition and Text-To-Speech to Music Generation, among others. Notably, recently these Foundational Audio Models, like SeamlessM4T, have started showing abilities to act as universal translators, supporting multiple speech tasks for up to 100 languages without any reliance on separate task-specific systems. This paper presents an in-depth analysis of state-of-the-art methodologies regarding \textit{Foundational Large Audio Models}, their performance benchmarks, and their applicability to real-world scenarios. We also highlight current limitations and provide insights into potential future research directions in the realm of \textit{Large Audio Models} with the intent to spark further discussion, thereby fostering innovation in the next generation of audio-processing systems. Furthermore, to cope with the rapid development in this area, we will consistently update the relevant repository with relevant recent articles and their open-source implementations at https://github.com/EmulationAI/awesome-large-audio-models.


title: Batch sojourn time in polling systems on a circle

abstract: In this paper, we analyze a polling system on a circle. Random batches of customers arrive at a circle, where each customer, independently, obtains a uniform location. A single server cyclically travels over the circle to serve all customers. Using mean value analysis, we derive the expected number of waiting customers within a given distance of the server and a closed form expression for the mean batch sojourn time.


title: Job Shop Scheduling Benchmark: Environments and Instances for Learning and Non-learning Methods

abstract: We introduce an open-source GitHub repository containing comprehensive benchmarks for a wide range of machine scheduling problems, including Job Shop Scheduling (JSP), Flow Shop Scheduling (FSP), Flexible Job Shop Scheduling (FJSP), FJSP with Assembly constraints (FAJSP), FJSP with Sequence-Dependent Setup Times (FJSP-SDST), and the online FJSP (with online job arrivals). Our primary goal is to provide a centralized hub for researchers, practitioners, and enthusiasts interested in tackling machine scheduling challenges.


title: Synchronization transition in space-time chaos in the presence of quenched disorder

abstract: Synchronization of two replicas of coupled map lattices for continuous maps is known to be in the multiplicative noise universality class. We study this transition in the presence of quenched disorder in coupling. The disorder is identical in both replicas. We study one-dimensional, two-dimensional, and globally coupled logistic and tent maps. We observe a clear second-order transition with new exponents. The order parameter decays as $t^{-\delta}$ and $\delta$ depends on the map and its parameters. The asymptotic order parameter for $\Delta$ distance from a critical point grows as $\Delta^{\beta}$ with $\beta=\delta$. The quenched disorder in coupling is a relevant perturbation for the replica synchronization of coupled map lattices. The critical exponents are different from those of the multiplicative noise universality class. However, it does not depend on dimensionality if the transition is continuous for the cases studied.


title: The category of necklaces is Reedy monoidal

abstract: In the first part of this note we further the study of the interactions between Reedy and monoidal structures on a small category, building upon the work of Barwick. We define a Reedy monoidal category as a Reedy category $\mathcal{R}$ which is monoidal such that for all symmetric monoidal model categories $\textbf{A}$, the category $\mathrm{Fun}\left(\mathcal{R}^{\mathrm{op}}, \textbf{A}\right)_{\mathrm{Reedy}}$ is model monoidal when equipped with the Day convolution. In the second part, we study the category $\mathcal{N}ec$ of necklaces, as defined by Baues and Dugger-Spivak. Making use of the combinatorial description present in arXiv:2302.02484v1, we streamline some proofs from the literature, and finally show that $\mathcal{N}ec$ is simple Reedy monoidal.


title: TrafficMCTS: A Closed-Loop Traffic Flow Generation Framework with Group-Based Monte Carlo Tree Search

abstract: Digital twins for intelligent transportation systems are currently attracting great interests, in which generating realistic, diverse, and human-like traffic flow in simulations is a formidable challenge. Current approaches often hinge on predefined driver models, objective optimization, or reliance on pre-recorded driving datasets, imposing limitations on their scalability, versatility, and adaptability. In this paper, we introduce TrafficMCTS, an innovative framework that harnesses the synergy of groupbased Monte Carlo tree search (MCTS) and Social Value Orientation (SVO) to engender a multifaceted traffic flow replete with varying driving styles and cooperative tendencies. Anchored by a closed-loop architecture, our framework enables vehicles to dynamically adapt to their environment in real time, and ensure feasible collision-free trajectories. Through comprehensive comparisons with state-of-the-art methods, we illuminate the advantages of our approach in terms of computational efficiency, planning success rate, intent completion time, and diversity metrics. Besides, we simulate highway and roundabout scenarios to illustrate the effectiveness of the proposed framework and highlight its ability to induce diverse social behaviors within the traffic flow. Finally, we validate the scalability of TrafficMCTS by showcasing its prowess in simultaneously mass vehicles within a sprawling road network, cultivating a landscape of traffic flow that mirrors the intricacies of human behavior.


title: A preplanned multi-stage platform trial for discovering multiple superior treatments with control of FWER and power

abstract: There is a growing interest in the implementation of platform trials, which provide the flexibility to incorporate new treatment arms during the trial and the ability to halt treatments early based on lack of benefit or observed superiority. In such trials, it can be important to ensure that error rates are controlled. This paper introduces a multi-stage design that enables the addition of new treatment arms, at any point, in a pre-planned manner within a platform trial, while still maintaining control over the family-wise error rate. This paper focuses on finding the required sample size to achieve a desired level of statistical power when treatments are continued to be tested even after a superior treatment has already been found. This may be of interest if there are other sponsors treatments which are also superior to the current control or multiple doses being tested. The calculations to determine the expected sample size is given. A motivating trial is presented in which the sample size of different configurations is studied. Additionally the approach is compared to running multiple separate trials and it is shown that in many scenarios if family wise error rate control is needed there may not be benefit in using a platform trial when comparing the sample size of the trial.


title: On $\pi$-compatible topologies and their special cases

abstract: Topologies $\tau, \sigma$ on a set $X$ are called $\pi$-compatible if $\tau$ is a $\pi$-network for $\sigma$, and vice versa. If topologies $\tau, \sigma$ on a set $X$ are $\pi$-compatible then the families of nowhere dense sets (resp. meager sets or sets possessing the Baire property) of the spaces $(X, \tau)$ and $(X, \sigma)$ coincide. A topology $\sigma$ on a set $X$ is called an admissible extension of a topology $\tau$ on $X$ if $\tau \subseteq \sigma$ and $\tau$ is a $\pi$-network for $\sigma$. It turns out that examples of admissible extensions were occurred in literature several times. In the paper we provide some new facts about the $\pi$-compatibility and the admissible extension as well as about their particular cases.


title: ICU Mortality Prediction Using Long Short-Term Memory Networks

abstract: Extensive bedside monitoring in Intensive Care Units (ICUs) has resulted in complex temporal data regarding patient physiology, which presents an upscale context for clinical data analysis. In the other hand, identifying the time-series patterns within these data may provide a high aptitude to predict clinical events. Hence, we investigate, during this work, the implementation of an automatic data-driven system, which analyzes large amounts of multivariate temporal data derived from Electronic Health Records (EHRs), and extracts high-level information so as to predict in-hospital mortality and Length of Stay (LOS) early. Practically, we investigate the applicability of LSTM network by reducing the time-frame to 6-hour so as to enhance clinical tasks. The experimental results highlight the efficiency of LSTM model with rigorous multivariate time-series measurements for building real-world prediction engines.


title: Constraints on the persistent radio source associated with FRB 20190520B using the European VLBI Network

abstract: We present very-long-baseline interferometry (VLBI) observations of a continuum radio source potentially associated with the fast radio burst source FRB 20190520B. Using the European VLBI network (EVN), we find the source to be compact on VLBI scales with an angular size of $<2.3$ mas ($3\sigma$). This corresponds to a transverse physical size of $<9$ pc (at the $z=0.241$ redshift of the host galaxy), confirming it to be an FRB persistent radio source (PRS) like that associated with the first-known repeater FRB 20121102A. The PRS has a flux density of $201 \pm 34 \rm{\mu Jy}$ at 1.7 GHz and a spectral radio luminosity of $L_{1.7 \rm GHz} = (3.0 \pm 0.5) \times 10^{29}\,\mathrm{erg s^{-1} Hz^{-1}}$ (also similar to the FRB 20121102A PRS). Comparing to previous lower-resolution observations, we find that no flux is resolved out on milliarcsecond scales. We have refined the PRS position, improving its precision by an order of magnitude compared to previous results. We also report the detection of a FRB 20190520B burst at 1.4 GHz and find the burst position to be consistent with the PRS position, at $\lesssim20$ mas. This strongly supports their direct physical association and the hypothesis that a single central engine powers both the bursts and the PRS. We discuss the model of a magnetar in a wind nebula and present an allowed parameter space for its age and the radius of the putative nebula powering the observed PRS emission. Alternatively, we find that an accretion-powered 'hypernebula' model also fits our observational constraints.


title: Partially-ionised two-fluid shocks with collisional and radiative ionisation and recombination -- multi-level hydrogen model

abstract: Explosive phenomena are known to trigger a wealth of shocks in warm plasma environments, including the solar chromosphere and molecular clouds where the medium consists of both ionised and neutral species. Partial ionisation is critical in determining the behaviour of shocks, since the ions and neutrals locally decouple, allowing for substructure to exist within the shock. Accurately modelling partially ionised shocks requires careful treatment of the ionised and neutral species, and their interactions. Here we study a partially-ionised switch-off slow-mode shock using a multi-level hydrogen model with both collisional and radiative ionisation and recombination rates that are implemented into the two-fluid (P\underline{I}P) code, and study physical parameters that are typical of the solar chromosphere. The multi-level hydrogen model differs significantly from MHD solutions due to the macroscopic thermal energy loss during collisional ionisation. In particular, the plasma temperature both post-shock and within the finite-width is significantly cooler that the post-shock MHD temperature. Furthermore, in the mid to lower chromosphere, shocks feature far greater compression then their single-fluid MHD analogues. The decreased temperature and increased compression reveal the importance of non-equilibrium ionised in the thermal evolution of shocks in partially ionised media. Since partially ionised shocks are not accurately described by the Rankine-Hugoniot shock jump conditions, it may be incorrect to use these to infer properties of lower atmospheric shocks.


title: Distinctness of two pseudo-Anosov maps

abstract: In 1981, Arnoux and Yoccoz gave the first examples of pseudo-Anosov maps with odd degree stretch factors. In 1985, D.~Fried deduced the existence of a pseudo-Anosov map in genus three with the same stretch factor as the Arnoux-Yoccoz example in that genus, and asked if these were the same. We show that they are distinct. We do this by, in a sense, reversing Fried's construction; we show that the mapping torus of the pseudo-Anosov map induced by the Arnoux-Yoccoz map on the surface obtained by blowing-up its two singularities has no cross section which is a torus with two points blown-up.


title: Searching for Heavy Leptophilic $Z'$: from Lepton Colliders to Gravitational Waves

abstract: We study the phenomenology of leptophilic $Z'$ gauge bosons at the future high-energy $e^+e^-$ and $\mu^+\mu^-$ colliders, as well as at the gravitational wave observatories. The leptophilic $Z'$ model, although well-motivated, remains largely unconstrained from current low-energy and collider searches for $Z'$ masses above ${\cal O}(100~{\rm GeV})$, thus providing a unique opportunity for future lepton colliders. Taking $U(1)_{L_\alpha-L_\beta}~(\alpha,\beta=e,\mu,\tau)$ models as concrete examples, we show that future $e^+e^-$ and $\mu^+\mu^-$ colliders with multi-TeV center-of-mass energies provide unprecedented sensitivity to heavy leptophilic $Z'$ bosons. Moreover, if these $U(1)$ models are classically scale-invariant, the phase transition at the $U(1)$ symmetry-breaking scale tends to be strongly first-order with ultra-supercooling, and leads to observable stochastic gravitational wave signatures. We find that the future sensitivity of gravitational wave observatories, such as advanced LIGO-VIRGO and Cosmic Explorer, can be complementary to the collider experiments, probing higher $Z'$ masses up to ${\cal O}(10^4~{\rm TeV})$, while being consistent with naturalness and perturbativity considerations.


title: Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway

abstract: The Cancer Registry of Norway (CRN) collects, curates, and manages data related to cancer patients in Norway, supported by an interactive, human-in-the-loop, socio-technical decision support software system. Automated software testing of this software system is inevitable; however, currently, it is limited in CRN's practice. To this end, we present an industrial case study to evaluate an AI-based system-level testing tool, i.e., EvoMaster, in terms of its effectiveness in testing CRN's software system. In particular, we focus on GURI, CRN's medical rule engine, which is a key component at the CRN. We test GURI with EvoMaster's black-box and white-box tools and study their test effectiveness regarding code coverage, errors found, and domain-specific rule coverage. The results show that all EvoMaster tools achieve a similar code coverage; i.e., around 19% line, 13% branch, and 20% method; and find a similar number of errors; i.e., 1 in GURI's code. Concerning domain-specific coverage, EvoMaster's black-box tool is the most effective in generating tests that lead to applied rules; i.e., 100% of the aggregation rules and between 12.86% and 25.81% of the validation rules; and to diverse rule execution results; i.e., 86.84% to 89.95% of the aggregation rules and 0.93% to 1.72% of the validation rules pass, and 1.70% to 3.12% of the aggregation rules and 1.58% to 3.74% of the validation rules fail. We further observe that the results are consistent across 10 versions of the rules. Based on these results, we recommend using EvoMaster's black-box tool to test GURI since it provides good results and advances the current state of practice at the CRN. Nonetheless, EvoMaster needs to be extended to employ domain-specific optimization objectives to improve test effectiveness further. Finally, we conclude with lessons learned and potential research directions, which we believe are generally applicable.


title: Redback: A Bayesian inference software package for electromagnetic transients

abstract: Fulfilling the rich promise of rapid advances in time-domain astronomy is only possible through confronting our observations with physical models and extracting the parameters that best describe what we see. Here, we introduce {\sc Redback}; a Bayesian inference software package for electromagnetic transients. {\sc Redback} provides an object-orientated {\sc python} interface to over 12 different samplers and over 100 different models for kilonovae, supernovae, gamma-ray burst afterglows, tidal disruption events, engine-driven transients, X-ray afterglows of gamma-ray bursts driven by millisecond magnetars among other explosive transients. The models range in complexity from simple analytical and semi-analytical models to surrogates built upon numerical simulations accelerated via machine learning. {\sc Redback} also provides a simple interface for downloading and processing data from Swift, Fink, Lasair, the open-access catalogues, and BATSE and fit this or private data. {\sc Redback} can also be used as an engine to simulate transients for telescopes such as the Zwicky Transient Facility and Vera Rubin with realistic cadences, limiting magnitudes, and sky-coverage or a hypothetical user-constructed survey with arbitrary settings. We also provide a more general simulation interface suitable for target of opportunity observations with different telescopes. We demonstrate through a series of examples how {\sc Redback} can be used as a tool to simulate a large population of transients for realistic surveys, fit models to real, simulated, or private data, multi-messenger inference and serve as an end-to-end software toolkit for parameter estimation and interpreting the nature of electromagnetic transients.


title: Denoising Particle-In-Cell Data via Smoothness-Increasing Accuracy-Conserving Filters with Application to Bohm Speed Computation

abstract: The simulation of plasma physics is computationally expensive because the underlying physical system is of high dimensions, requiring three spatial dimensions and three velocity dimensions. One popular numerical approach is Particle-In-Cell (PIC) methods owing to its ease of implementation and favorable scalability in high-dimensional problems. An unfortunate drawback of the method is the introduction of statistical noise resulting from the use of finitely many particles. In this paper we examine the application of the Smoothness-Increasing Accuracy-Conserving (SIAC) family of convolution kernel filters as denoisers for moment data arising from PIC simulations. We show that SIAC filtering is a promising tool to denoise PIC data in the physical space as well as capture the appropriate scales in the Fourier space. Furthermore, we demonstrate how the application of the SIAC technique reduces the amount of information necessary in the computation of quantities of interest in plasma physics such as the Bohm speed.


title: Decreasing the mean subtree order by adding $k$ edges

abstract: The mean subtree order of a given graph $G$, denoted $\mu(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $\mu(H) > \mu(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing that there are infinitely many pairs of graphs $H$ and $G$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)|= |E(G)|+1$ such that $\mu(H) < \mu(G)$. They also conjectured that for every positive integer $k$, there exists a pair of graphs $G$ and $H$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)| = |E(G)| +k$ such that $\mu(H) < \mu(G)$. Furthermore, they proposed that $\mu(K_m+nK_1) < \mu(K_{m, n})$ provided $n\gg m$. In this note, we confirm these two conjectures.


title: Matrix elements of $SO(3)$ in $sl_3$ representations as bispectral multivariate functions

abstract: We compute the matrix elements of $SO(3)$ in any finite-dimensional irreducible representation of $sl_3$. They are expressed in terms of a double sum of products of Krawtchouk and Racah polynomials which generalize the Griffiths-Krawtchouk polynomials. Their recurrence and difference relations are obtained as byproducts of our construction. The proof is based on the decomposition of a general three-dimensional rotation in terms of elementary planar rotations and a transition between two embeddings of $sl_2$ in $sl_3$. The former is related to monovariate Krawtchouk polynomials and the latter, to monovariate Racah polynomials. The appearance of Racah polynomials in this context is algebraically explained by showing that the two $sl_2$ Casimir elements related to the two embeddings of $sl_2$ in $sl_3$ obey the Racah algebra relations. We also show that these two elements generate the centralizer in $U(sl_3)$ of the Cartan subalgebra and its complete algebraic description is given.


title: Regular multi-horizon Lee-Wick black holes

abstract: In this paper we carry out a detailed analysis of the static spherically symmetric solutions of a sixth-derivative Lee-Wick gravity model in the effective delta source approximation. Previous studies of these solutions have only considered the particular case in which the real and the imaginary part of the Lee-Wick mass $\mu=a +i b$ are equal. However, as we show here, the solutions exhibit an interesting structure when the full parameter space is considered, owing to the oscillations of the metric that depend on the ratio $b/a$. Such oscillations can generate a rich structure of horizons, a sequence of mass gaps and the existence of multiple regimes for black hole sizes (horizon position gaps). In what concerns the thermodynamics of these objects, the oscillation of the Hawking temperature determines the presence of multiple mass scales for the remnants of the evaporation process and may permit the existence of cold black holes with zero Hawking temperature $T$ and quasi-stable intermediate configurations with $T \approx 0$ and a long evaporation lifetime. For the sake of generality, we consider two families of solutions, one with a trivial shift function and the other with a non-trivial one (dirty black hole). The latter solution has the advantage of reproducing the modified Newtonian-limit metric of Lee-Wick gravity for small and large values of $r$.