title: Quantum Gravity in Flat Spacetime

abstract: Inspired by Einstein's Strong Principle of Equivalence we consider the effects of quantum mechanics to the gravity-like phenomena experienced by an observer in a uniformly accelerating motion in flat spacetime. Among other things, our model of quantum gravity, derived from the first principles, predicts the Unruh effect, and a discrete area spectrum for spacelike two-surfaces.


title: Learning Wireless Data Knowledge Graph for Green Intelligent Communications: Methodology and Experiments

abstract: Intelligent communications have played a pivotal role in shaping the evolution of 6G networks. Native artificial intelligence (AI) within green communication systems must meet stringent real-time requirements. To achieve this, deploying lightweight and resource-efficient AI models is necessary. However, as wireless networks generate a multitude of data fields and indicators during operation, only a fraction of them imposes significant impact on the network AI models. Therefore, real-time intelligence of communication systems heavily relies on a small but critical set of the data that profoundly influences the performance of network AI models. These challenges underscore the need for innovative architectures and solutions. In this paper, we propose a solution, termed the pervasive multi-level (PML) native AI architecture, which integrates the concept of knowledge graph (KG) into the intelligent operational manipulations of mobile networks, resulting in the establishment of a wireless data KG. Leveraging the wireless data KG, we characterize the massive and complex data collected from wireless communication networks and analyze the relationships among various data fields. The obtained graph of data field relations enables the on-demand generation of minimal and effective datasets, referred to as feature datasets, tailored to specific application requirements. Consequently, this architecture not only enhances AI training, inference, and validation processes but also significantly reduces resource wastage and overhead for communication networks. To implement this architecture, we have developed a specific solution comprising a spatio-temporal heterogeneous graph attention neural network model (STREAM) as well as a feature dataset generation algorithm. Experiments are conducted to validate the effectiveness of the proposed architecture.


title: The lowest discriminant ideal of central extensions of Abelian groups

abstract: In a previous joint paper with Wu and Yakimov, we gave an explicit description of the lowest discriminant ideal in a Cayley-Hamilton Hopf algebra (H,C,tr) of degree d over an algebraically closed field k, char k $\notin[1, d]$ with basic identity fiber, i.e. all irreducible representations over the kernel of the counit of the central Hopf subalgebra C are one-dimensional. Using results developed in that paper, we compute relevant quantities associated with irreducible representations to explicitly describe the zero set of the lowest discriminant ideal in the group algebra of a central extension of the product of two arbitrary finitely generated Abelian groups by any finite Abelian group under some conditions. Over a fixed maximal ideal of C the representations are tensor products of representations each corresponding to a central extension of a subgroup isomorphic to the product of two cyclic groups of the same order. A description of the orbit of the identity, i.e. the kernel of the counit of C, under winding automorphisms is also given.


title: Robust Performance Over Changing Intersymbol Interference Channels by Spatial Coupling

abstract: We show that spatially coupled low-density parity-check (LDPC) codes yield robust performance over changing intersymbol interfere (ISI) channels with optimal and suboptimal detectors. We compare the performance with classical LDPC code design which involves optimizing the degree distribution for a given (known) channel. We demonstrate that these classical schemes, despite working very good when designed for a given channel, can perform poorly if the channel is exchanged. With spatially coupled LDPC codes, however, we get performances close to the symmetric information rates with just a single code, without the need to know the channel and adapt to it at the transmitter. We also investigate threshold saturation with the linear minimum mean square error (LMMSE) detector and show that with spatial coupling its performance can get remarkably close to that of an optimal detector for regular LDPC codes.


title: Non-local traffic flow models with time delay: well-posedness and numerical approximation

abstract: We prove the well-posedness of weak entropy solutions of a scalar non-local traffic flow model with time delay. Existence is obtained by convergence of finite volume approximate solutions constructed by Lax-Friedrich and Hilliges-Weidlich schemes, while the L1 stability with respect to the initial data and the delay parameter relies on a Kruzkov-type doubling of variable technique.Numerical tests are provided to illustrate the efficiency of the proposed schemes, as well as the solution dependence on the delay and look-ahead parameters.


title: Biological computations: limitations of attractor-based formalisms and the need for transients

abstract: Living systems, from single cells to higher vertebrates, receive a continuous stream of non-stationary inputs that they sense, e.g., via cell surface receptors or sensory organs. Integrating these time-varying, multi-sensory, and often noisy information with memory using complex molecular or neuronal networks, they generate a variety of responses beyond simple stimulus-response association, including avoidance behavior, life-long-learning or social interactions. In a broad sense, these processes can be understood as a type of biological computation. Taking as a basis generic features of biological computations, such as real-time responsiveness or robustness and flexibility of the computation, we highlight the limitations of the current attractor-based framework for understanding computations in biological systems. We argue that frameworks based on transient dynamics away from attractors are better suited for the description of computations performed by neuronal and signaling networks. In particular, we discuss how quasi-stable transient dynamics from ghost states that emerge at criticality have a promising potential for developing an integrated framework of computations, that can help us understand how living system actively process information and learn from their continuously changing environment.


title: Know Yourself Better: Diverse Discriminative Feature Learning Improves Open Set Recognition

abstract: Open set recognition (OSR) is a critical aspect of machine learning, addressing the challenge of detecting novel classes during inference. Within the realm of deep learning, neural classifiers trained on a closed set of data typically struggle to identify novel classes, leading to erroneous predictions. To address this issue, various heuristic methods have been proposed, allowing models to express uncertainty by stating "I don't know." However, a gap in the literature remains, as there has been limited exploration of the underlying mechanisms of these methods. In this paper, we conduct an analysis of open set recognition methods, focusing on the aspect of feature diversity. Our research reveals a significant correlation between learning diverse discriminative features and enhancing OSR performance. Building on this insight, we propose a novel OSR approach that leverages the advantages of feature diversity. The efficacy of our method is substantiated through rigorous evaluation on a standard OSR testbench, demonstrating a substantial improvement over state-of-the-art methods.


title: Promoting the linguistic diversity of TEI in the Maghreb and the Arab region

abstract: The project targets both oral corpus and the rich text resources written in the Maghreb region. It focuses particularly on the continuity, for more than 12 centuries, of a classical still alive Arabic language and on the extreme hybridization of vernacular languages sustained by the rich Libyan, Roman, Hebrew and Ottoman influences and by the more recent French, Spanish and Italian linguistic interference. In short, the Maghreb is a place of extremely abundant, but much unexploited, textual studies.


title: Consensus-based algorithms for stochastic optimization problems

abstract: We address an optimization problem where the cost function is the expectation of a random mapping. To tackle the problem two approaches based on the approximation of the objective function by consensus-based particle optimization methods on the search space are developed. The resulting methods are mathematically analyzed using a mean-field approximation and their connection is established. Several numerical experiments show the validity of the proposed algorithms and investigate their rates of convergence.


title: A newly developed multi-kilo-channel high-speed and precision waveform digitization system for neutrino experiments

abstract: The Jinping Neutrino Experiment(JNE), conducted within the China Jinping Underground Laboratory, aims to detect and analyze of solar neutrinos, geo-neutrinos, and supernova neutrinos. A one-ton prototype will soon be in commision with an upgrade from 30 channels to 60 channels, which will increase the data bandwidth by one to two orders of magnitude and exceed the capacity of the current CAEN DAQ system. Additionally, enhancing the performance and flexibility of JNE DAQ system is crucial. This paper presents the design of a new Tsinghua DAQ system for the JNE and its performance and stability. The new Tsinghua DAQ(THDAQ) system for JNE is based on the cPCI protocol and demonstrates powerful performance improvements: ADC ENOB of the THDAQ system approximately exceeds 9.8-bit, marking a 14% improvement over the CAEN DAQ system; The maximum clock deviation within a single chassis is 85.6 ps, satisfying sub-nanosecond synchronization criteria; Each DAQ board features two QSFP+ optical ports with 82.5Gbps transmission capability, while the PCIe board supports a transmission rate of 100.2 Gbps. In addition, comparative experiments between the two systems were also tested in detail. The analysis results of waveform and charge spectrum prove the high stability of the THDAQ system. This provides a foundation for the 60-channel and 4000-channel DAQ systems.


title: Enjeux normatifs des TICE de l'enseignement des langues dans le contexte arabo-berb{\`e}re

abstract: E-learning is becoming a global phenomenon. Learning Arabic (or Arabic dialects), or learning one or several variants of Berber can be understood from a very local perspective (in the Maghreb for instance) or in the wider framework of the diaspora or even more broadly in a global world context (in case a Japanese or a Russian learns Arabic and Berber). Resources for distance learning must then be created and potentially used in any international cultural and linguistic context. This implies that the resources created for such perspective should cope with the general standards framework of the ISO / IEC JTC1SC36, and even beyond the scope of this standardization instance.


title: A Methodology of Cooperative Driving based on Microscopic Traffic Prediction

abstract: We present a methodology of cooperative driving in vehicular traffic, in which for short-time traffic prediction rather than one of the statistical approaches of artificial intelligence (AI), we follow a qualitative different microscopic traffic prediction approach developed recently [Phys. Rev. E 106 (2022) 044307]. In the microscopic traffic prediction approach used for the planning of the subject vehicle trajectory, no learning algorithms of AI are applied; instead, microscopic traffic modeling based on the physics of vehicle motion is used. The presented methodology of cooperative driving is devoted to application cases in which microscopic traffic prediction without cooperative driving cannot lead to a successful vehicle control and trajectory planning. For the understanding of the physical features of the methodology of cooperative driving, a traffic city scenario has been numerically studied, in which a subject vehicle, which requires cooperative driving, is an automated vehicle. Based on microscopic traffic prediction, in the methodology first a cooperating vehicle(s) is found; then, motion requirements for the cooperating vehicle(s) and characteristics of automated vehicle control are predicted and used for vehicle motion; to update predicted characteristics of vehicle motion, calculations of the predictions of motion requirements for the cooperating vehicle and automated vehicle control are repeated for each next time instant at which new measured data for current microscopic traffic situation are available. With the use of microscopic traffic simulations, the evaluation of the applicability of this methodology is illustrated for a simple case of unsignalized city intersection, when the automated vehicle wants to turn right from a secondary road onto the priority road.


title: Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification

abstract: Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofing. However, attacks targeting DeFi services have severely damaged the DeFi market, as evidenced by our investigation of 80 real-world DeFi incidents from 2017 to 2022. Existing methods, based on symbolic execution, model checking, semantic analysis, and fuzzing, fall short in identifying the most DeFi vulnerability types. To address the deficiency, we propose Context-Sensitive Concolic Verification (CSCV), a method of automating the DeFi vulnerability finding based on user-defined properties formulated in temporal logic. CSCV builds and optimizes contexts to guide verification processes that dynamically construct context-carrying transition systems in tandem with concolic executions. Furthermore, we demonstrate the effectiveness of CSCV through experiments on real-world DeFi services and qualitative comparison. The experiment results show that our CSCV prototype successfully detects 76.25% of the vulnerabilities from the investigated incidents with an average time of 253.06 seconds.


title: Separating Variables in Bivariate Polynomial Ideals: the Local Case

abstract: We present a semi-algorithm which for any irreducible $p\in\mathbb{K}[x,y]$ finds all elements of $\mathbb{K}(x) + \mathbb{K}(y)$ that are of the form $qp$ for some $q\in\mathbb{K}(x,y)$ whose denominator is not divisible by $p$.


title: Second Edition FRCSyn Challenge at CVPR 2024: Face Recognition Challenge in the Era of Synthetic Data

abstract: Synthetic data is gaining increasing relevance for training machine learning models. This is mainly motivated due to several factors such as the lack of real data and intra-class variability, time and errors produced in manual labeling, and in some cases privacy concerns, among others. This paper presents an overview of the 2nd edition of the Face Recognition Challenge in the Era of Synthetic Data (FRCSyn) organized at CVPR 2024. FRCSyn aims to investigate the use of synthetic data in face recognition to address current technological limitations, including data privacy concerns, demographic biases, generalization to novel scenarios, and performance constraints in challenging situations such as aging, pose variations, and occlusions. Unlike the 1st edition, in which synthetic data from DCFace and GANDiffFace methods was only allowed to train face recognition systems, in this 2nd edition we propose new sub-tasks that allow participants to explore novel face generative methods. The outcomes of the 2nd FRCSyn Challenge, along with the proposed experimental protocol and benchmarking contribute significantly to the application of synthetic data to face recognition.


title: Sublinear hitting sets for some geometric graphs

abstract: For an $n$-vertex graph $G$, let $h(G)$ denote the smallest size of a subset of $V(G)$ such that it intersects every maximum independent set of $G$. A conjecture posed by Bollob\'{a}s, Erd\H{o}s and Tuza in early 90s remains widely open, asserting that for any $n$-vertex graph $G$, if the independence number $\alpha(G) =\Omega(n) $, then $h(G) = o(n)$. In this paper, we establish the validity of this conjecture for various classes of graphs, including disk graphs, even-hole-free graphs, circle graphs, and those hereditary graphs having sublinear balanced separators. We also determine the exact values of smallest possible hitting sets in comparability graphs, incomparability graphs and the graphs with VC-dimension one.


title: PSPACE-Hard 2D Super Mario Games: Thirteen Doors

abstract: We prove PSPACE-hardness for fifteen games in the Super Mario Bros. 2D platforming video game series. Previously, only the original Super Mario Bros. was known to be PSPACE-hard (FUN 2016), though several of the games we study were known to be NP-hard (FUN 2014). Our reductions build door gadgets with open, close, and traverse traversals, in each case using mechanics unique to the game. While some of our door constructions are similar to those from FUN 2016, those for Super Mario Bros. 2, Super Mario Land 2, Super Mario World 2, and the New Super Mario Bros. series are quite different; notably, the Super Mario Bros. 2 door is extremely difficult. Doors remain elusive for just two 2D Mario games (Super Mario Land and Super Mario Run); we prove that these games are at least NP-hard.


title: Covariate Ordered Systematic Sampling as an Improvement to Randomized Controlled Trials

abstract: The Randomized Controlled Trial (RCT) or A/B testing is considered the gold standard method for estimating causal effects. Fisher famously advocated randomly allocating experiment units into treatment and control groups to preclude systematic biases. We propose a variant of systematic sampling called Covariate Ordered Systematic Sampling (COSS). In COSS, we order experimental units using a pre-experiment covariate and allocate them alternately into treatment and control groups. Using theoretical proofs, experiments on simulated data, and hundreds of A/B tests conducted within 3 real-world marketing campaigns, we show how our method achieves better sensitivity gains than commonly used variance reduction techniques like CUPED while retaining the simplicity of RCTs.


title: Nonlinearity-enhanced quantum sensing in Stark probes

abstract: Stark systems in which a linear gradient field is applied across a many-body system have recently been harnessed for quantum sensing. Here, we explore sensing capacity of Stark models, in both single-particle and many-body interacting systems, for estimating the strength of both linear and nonlinear Stark fields. The problem naturally lies in the context of multi-parameter estimation. We determine the phase diagram of the system in terms of both linear and nonlinear gradient fields showing how the extended phase turns into a localized one as the Stark fields increase. We also characterize the properties of the phase transition, including critical exponents, through a comprehesive finite-size scaling analysis. Interestingly, our results show that the estimation of both the linear and the nonlinear fields can achieve super-Heisenberg scaling. In fact, the scaling exponent of the sensing precision is directly proportional to the nonlinearity exponent which shows that nonlinearity enhances the estimation precision. Finally, we show that even after considering the cost of the preparation time the sensing precision still reveals super-Heisenberg scaling.


title: Learning to Score Sign Language with Two-stage Method

abstract: Human action recognition and performance assessment have been hot research topics in recent years. Recognition problems have mature solutions in the field of sign language, but past research in performance analysis has focused on competitive sports and medical training, overlooking the scoring assessment ,which is an important part of sign language teaching digitalization. In this paper, we analyze the existing technologies for performance assessment and adopt methods that perform well in human pose reconstruction tasks combined with motion rotation embedded expressions, proposing a two-stage sign language performance evaluation pipeline. Our analysis shows that choosing reconstruction tasks in the first stage can provide more expressive features, and using smoothing methods can provide an effective reference for assessment. Experiments show that our method provides good score feedback mechanisms and high consistency with professional assessments compared to end-to-end evaluations.


title: Reasoning on Efficient Knowledge Paths:Knowledge Graph Guides Large Language Model for Domain Question Answering

abstract: Large language models (LLMs), such as GPT3.5, GPT4 and LLAMA2 perform surprisingly well and outperform human experts on many tasks. However, in many domain-specific evaluations, these LLMs often suffer from hallucination problems due to insufficient training of relevant corpus. Furthermore, fine-tuning large models may face problems such as the LLMs are not open source or the construction of high-quality domain instruction is difficult. Therefore, structured knowledge databases such as knowledge graph can better provide domain background knowledge for LLMs and make full use of the reasoning and analysis capabilities of LLMs. In some previous works, LLM was called multiple times to determine whether the current triplet was suitable for inclusion in the subgraph when retrieving subgraphs through a question. Especially for the question that require a multi-hop reasoning path, frequent calls to LLM will consume a lot of computing power. Moreover, when choosing the reasoning path, LLM will be called once for each step, and if one of the steps is selected incorrectly, it will lead to the accumulation of errors in the following steps. In this paper, we integrated and optimized a pipeline for selecting reasoning paths from KG based on LLM, which can reduce the dependency on LLM. In addition, we propose a simple and effective subgraph retrieval method based on chain of thought (CoT) and page rank which can returns the paths most likely to contain the answer. We conduct experiments on three datasets: GenMedGPT-5k [14], WebQuestions [2], and CMCQA [21]. Finally, RoK can demonstrate that using fewer LLM calls can achieve the same results as previous SOTAs models.


title: Optical signatures of strain-induced ferromagnetism in LaCoO$_3$ thin film

abstract: Using spectroscopic ellipsometry, we studied the optical conductivity of LaCoO$_3$ with various degrees of strain. The optical response of the compressively strained \lco\ film is qualitatively similar to the one of the unstrained LaCoO$_3$ polycrystalline sample and exhibits redistribution of the spectral weight between about 0.2 and 6 eV, which is most likely related to the thermal excitation of the high-spin states. The optical response of the ferromagnetic tensile strained film exhibits clear signatures due to the ferromagnetic state. Below the Curie temperature $T_c=82$ K, the spectral weight is transferred with the increasing temperature from low energies between 0.2 and 3.3 eV to energies between 3.3 and 5.6 eV. The temperature dependence of the low-energy spectral weight between 0.2 and 3.3 eV can be understood in the framework of the high-spin biexciton model of Sotnikov and Kune\v{s} as corresponding to the variation of the concentration of high-spin states that are stabilized below $T_c$. The magnitude of redistribution of spectral weight due to the formation of the ferromagnetic state is sizable. We estimate that it corresponds to a lowering of the kinetic energy of 13 meV per Co ion, which is about two times $k_BT_c$. The latter shows that the saving of the kinetic energy is important and may be the leading energy contribution in the formation of the ferromagnetic phase.


title: I/O in Machine Learning Applications on HPC Systems: A 360-degree Survey

abstract: High-Performance Computing (HPC) systems excel in managing distributed workloads, and the growing interest in Artificial Intelligence (AI) has resulted in a surge in demand for faster methods of Machine Learning (ML) model training and inference. In the past, research on HPC I/O focused on optimizing the underlying storage system for modeling and simulation applications and checkpointing the results, causing writes to be the dominant I/O operation. These applications typically access large portions of the data written by simulations or experiments. ML workloads, in contrast, perform small I/O reads spread across a large number of random files. This shift of I/O access patterns poses several challenges to HPC storage systems. In this paper, we survey I/O in ML applications on HPC systems, and target literature within a 6-year time window from 2019 to 2024. We provide an overview of the common phases of ML, review available profilers and benchmarks, examine the I/O patterns encountered during ML training, explore I/O optimizations utilized in modern ML frameworks and proposed in recent literature, and lastly, present gaps requiring further R&D. We seek to summarize the common practices used in accessing data by ML applications and expose research gaps that could spawn further R&D.


title: CNN-based explanation ensembling for dataset, representation and explanations evaluation

abstract: Explainable Artificial Intelligence has gained significant attention due to the widespread use of complex deep learning models in high-stake domains such as medicine, finance, and autonomous cars. However, different explanations often present different aspects of the model's behavior. In this research manuscript, we explore the potential of ensembling explanations generated by deep classification models using convolutional model. Through experimentation and analysis, we aim to investigate the implications of combining explanations to uncover a more coherent and reliable patterns of the model's behavior, leading to the possibility of evaluating the representation learned by the model. With our method, we can uncover problems of under-representation of images in a certain class. Moreover, we discuss other side benefits like features' reduction by replacing the original image with its explanations resulting in the removal of some sensitive information. Through the use of carefully selected evaluation metrics from the Quantus library, we demonstrated the method's superior performance in terms of Localisation and Faithfulness, compared to individual explanations.


title: Worst-Case Riemannian Optimization with Uncertain Target Steering Vector for Slow-Time Transmit Sequence of Cognitive Radar

abstract: Optimization of slow-time transmit sequence endows cognitive radar with the ability to suppress strong clutter in the range-Doppler domain. However, in practice, inaccurate target velocity information or random phase error would induce uncertainty about the actual target steering vector, which would in turn severely deteriorate the the performance of the slow-time matched filter. In order to solve this problem, we propose a new optimization method for slow-time transmit sequence design. The proposed method transforms the original non-convex optimization with an uncertain target steering vector into a two-step worst-case optimization problem. For each sub-problem, we develop a corresponding trust-region Riemannian optimization algorithm. By iteratively solving the two sub-problems, a sub-optimal solution can be reached without accurate information about the target steering vector. Furthermore, the convergence property of the proposed algorithms has been analyzed and detailed proof of the convergence is given. Unlike the traditional waveform optimization method, the proposed method is designed to work with an uncertain target steering vector and therefore, is more robust in practical radar systems. Numerical simulation results in different scenarios verify the effectiveness of the proposed method in suppressing the clutter and show its advantages in terms of the output signal-to-clutter plus noise ratio (SCNR) over traditional methods.


title: Paving the Way to Hybrid Quantum-Classical Scientific Workflows

abstract: The increasing growth of data volume, and the consequent explosion in demand for computational power, are affecting scientific computing, as shown by the rise of extreme data scientific workflows. As the need for computing power increases, quantum computing has been proposed as a way to deliver it. It may provide significant theoretical speedups for many scientific applications (i.e., molecular dynamics, quantum chemistry, combinatorial optimization, and machine learning). Therefore, integrating quantum computers into the computing continuum constitutes a promising way to speed up scientific computation. However, the scientific computing community still lacks the necessary tools and expertise to fully harness the power of quantum computers in the execution of complex applications such as scientific workflows. In this work, we describe the main characteristics of quantum computing and its main benefits for scientific applications, then we formalize hybrid quantum-classic workflows, explore how to identify quantum components and map them onto resources. We demonstrate concepts on a real use case and define a software architecture for a hybrid workflow management system.


title: Complexity and algorithms for Arc-Kayles and Non-Disconnecting Arc-Kayles

abstract: Arc-Kayles is a game where two players alternate removing two adjacent vertices until no move is left. Introduced in 1978, its computational complexity is still open. More recently, subtraction games, where the players cannot disconnect the graph while removing vertices, were introduced. In particular, Arc-Kayles admits a non-disconnecting variant that is a subtraction game. We study the computational complexity of subtraction games on graphs, proving that they are PSPACE-complete even on very structured graph classes (split, bipartite of any even girth). We prove that Non-Disconnecting Arc-Kayles can be solved in polynomial-time on unicyclic graphs, clique trees, and subclasses of threshold graphs. We also show that a sufficient condition for a second player-win on Arc-Kayles is equivalent to the graph isomorphism problem.


title: Convergence rate of the spectral difference method on regular triangular meshes

abstract: We consider the spectral difference method based on the p-th order Raviart~-- Thomas space (p=1,2,3) on regular triangular meshes for the scalar transport equation. The solution converges with the order p if the transport velocity is parallel to a family of mesh edges and with the order p+1 otherwise. We prove this fact for p=1 and show it for p=1,2,3 in numerical experiments.


title: Generating 6-D Trajectories for Omnidirectional Multirotor Aerial Vehicles in Cluttered Environments

abstract: As fully-actuated systems, omnidirectional multirotor aerial vehicles (OMAVs) have more flexible maneuverability and advantages in aggressive flight in cluttered environments than traditional underactuated MAVs. %Due to the high dimensionality of configuration space, making the designed trajectory generation algorithm efficient is challenging. This paper aims to achieve safe flight of OMAVs in cluttered environments. Considering existing static obstacles, an efficient optimization-based framework is proposed to generate 6-D $SE(3)$ trajectories for OMAVs. Given the kinodynamic constraints and the 3D collision-free region represented by a series of intersecting convex polyhedra, the proposed method finally generates a safe and dynamically feasible 6-D trajectory. First, we parameterize the vehicle's attitude into a free 3D vector using stereographic projection to eliminate the constraints inherent in the $SO(3)$ manifold, while the complete $SE(3)$ trajectory is represented as a 6-D polynomial in time without inherent constraints. The vehicle's shape is modeled as a cuboid attached to the body frame to achieve whole-body collision evaluation. Then, we formulate the origin trajectory generation problem as a constrained optimization problem. The original constrained problem is finally transformed into an unconstrained one that can be solved efficiently. To verify the proposed framework's performance, simulations and real-world experiments based on a tilt-rotor hexarotor aerial vehicle are carried out.


title: Offline Trajectory Generalization for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) aims to learn policies from static datasets of previously collected trajectories. Existing methods for offline RL either constrain the learned policy to the support of offline data or utilize model-based virtual environments to generate simulated rollouts. However, these methods suffer from (i) poor generalization to unseen states; and (ii) trivial improvement from low-qualified rollout simulation. In this paper, we propose offline trajectory generalization through world transformers for offline reinforcement learning (OTTO). Specifically, we use casual Transformers, a.k.a. World Transformers, to predict state dynamics and the immediate reward. Then we propose four strategies to use World Transformers to generate high-rewarded trajectory simulation by perturbing the offline data. Finally, we jointly use offline data with simulated data to train an offline RL algorithm. OTTO serves as a plug-in module and can be integrated with existing offline RL methods to enhance them with better generalization capability of transformers and high-rewarded data augmentation. Conducting extensive experiments on D4RL benchmark datasets, we verify that OTTO significantly outperforms state-of-the-art offline RL methods.


title: Portrait3D: Text-Guided High-Quality 3D Portrait Generation Using Pyramid Representation and GANs Prior

abstract: Existing neural rendering-based text-to-3D-portrait generation methods typically make use of human geometry prior and diffusion models to obtain guidance. However, relying solely on geometry information introduces issues such as the Janus problem, over-saturation, and over-smoothing. We present Portrait3D, a novel neural rendering-based framework with a novel joint geometry-appearance prior to achieve text-to-3D-portrait generation that overcomes the aforementioned issues. To accomplish this, we train a 3D portrait generator, 3DPortraitGAN-Pyramid, as a robust prior. This generator is capable of producing 360{\deg} canonical 3D portraits, serving as a starting point for the subsequent diffusion-based generation process. To mitigate the "grid-like" artifact caused by the high-frequency information in the feature-map-based 3D representation commonly used by most 3D-aware GANs, we integrate a novel pyramid tri-grid 3D representation into 3DPortraitGAN-Pyramid. To generate 3D portraits from text, we first project a randomly generated image aligned with the given prompt into the pre-trained 3DPortraitGAN-Pyramid's latent space. The resulting latent code is then used to synthesize a pyramid tri-grid. Beginning with the obtained pyramid tri-grid, we use score distillation sampling to distill the diffusion model's knowledge into the pyramid tri-grid. Following that, we utilize the diffusion model to refine the rendered images of the 3D portrait and then use these refined images as training data to further optimize the pyramid tri-grid, effectively eliminating issues with unrealistic color and unnatural artifacts. Our experimental results show that Portrait3D can produce realistic, high-quality, and canonical 3D portraits that align with the prompt.


title: Spline-Interpolated Model Predictive Path Integral Control with Stein Variational Inference for Reactive Navigation

abstract: This paper presents a reactive navigation method that leverages a Model Predictive Path Integral (MPPI) control enhanced with spline interpolation for the control input sequence and Stein Variational Gradient Descent (SVGD). The MPPI framework addresses a nonlinear optimization problem by determining an optimal sequence of control inputs through a sampling-based approach. The efficacy of MPPI is significantly influenced by the sampling noise. To rapidly identify routes that circumvent large and/or newly detected obstacles, it is essential to employ high levels of sampling noise. However, such high noise levels result in jerky control input sequences, leading to non-smooth trajectories. To mitigate this issue, we propose the integration of spline interpolation within the MPPI process, enabling the generation of smooth control input sequences despite the utilization of substantial sampling noises. Nonetheless, the standard MPPI algorithm struggles in scenarios featuring multiple optimal or near-optimal solutions, such as environments with several viable obstacle avoidance paths, due to its assumption that the distribution over an optimal control input sequence can be closely approximated by a Gaussian distribution. To address this limitation, we extend our method by incorporating SVGD into the MPPI framework with spline interpolation. SVGD, rooted in the optimal transportation algorithm, possesses the unique ability to cluster samples around an optimal solution. Consequently, our approach facilitates robust reactive navigation by swiftly identifying obstacle avoidance paths while maintaining the smoothness of the control input sequences. The efficacy of our proposed method is validated on simulations with a quadrotor, demonstrating superior performance over existing baseline techniques.


title: Efficient evaluation of Bernstein-B\'{e}zier coefficients of B-spline basis functions over one knot span

abstract: New differential-recurrence relations for B-spline basis functions are given. Using these relations, a recursive method for finding the Bernstein-B\'{e}zier coefficients of B-spline basis functions over a single knot span is proposed. The algorithm works for any knot sequence which guarantees that all B-spline functions are at least $C^0$-continuous. It has good numerical behavior and has an asymptotically optimal computational complexity.


title: On the external concurrency of current BDI frameworks for MAS

abstract: The execution of Belief-Desire-Intention (BDI) agents in a Multi-Agent System (MAS) can be practically implemented on top of low-level concurrency mechanisms that impact on efficiency, determinism, and reproducibility. We argue that developers should specify the MAS behaviour independently of the execution model, and choose or configure the concurrency model later on, according to the specific needs of their target domain, leaving the MAS specification unaffected. We identify patterns for mapping the agent execution over the underlying concurrency abstractions, and investigate which concurrency models are supported by some of the most commonly used BDI platforms. Although most frameworks support multiple concurrency models, we find that they mostly hide them under the hood, making them opaque to the developer, and actually limiting the possibility of fine-tuning the MAS.


title: Problem of eigenvalues of stochastic Hamiltonian systems with boundary conditions and Markov chain

abstract: In this paper, we study the eigenvalue problem of stochastic Hamiltonian system driven by Brownian motion and Markov chain with boundary conditions and time-dependent coefficients. For any dimensional case, the existence of the first eigenvalue is proven and the corresponding eigenfunctions are constructed by virtue of dual transformation and generalized Riccati equation system. Furthermore, we have more finely characterized the existence of all eigenvalues and constructed the related eigenfunctions for one-dimensional Hamiltonian system. Moreover, the increasing order of these eigenvalues have also been given.


title: FoundationGrasp: Generalizable Task-Oriented Grasping with Foundation Models

abstract: Task-oriented grasping (TOG), which refers to the problem of synthesizing grasps on an object that are configurationally compatible with the downstream manipulation task, is the first milestone towards tool manipulation. Analogous to the activation of two brain regions responsible for semantic and geometric reasoning during cognitive processes, modeling the complex relationship between objects, tasks, and grasps requires rich prior knowledge about objects and tasks. Existing methods typically limit the prior knowledge to a closed-set scope and cannot support the generalization to novel objects and tasks out of the training set. To address such a limitation, we propose FoundationGrasp, a foundation model-based TOG framework that leverages the open-ended knowledge from foundation models to learn generalizable TOG skills. Comprehensive experiments are conducted on the contributed Language and Vision Augmented TaskGrasp (LaViA-TaskGrasp) dataset, demonstrating the superiority of FoudationGrasp over existing methods when generalizing to novel object instances, object classes, and tasks out of the training set. Furthermore, the effectiveness of FoudationGrasp is validated in real-robot grasping and manipulation experiments on a 7 DoF robotic arm. Our code, data, appendix, and video are publicly available at https://sites.google.com/view/foundationgrasp.


title: Phase space analysis of the evolution of the early universe in Einstein-Cartan theory

abstract: In this paper, we perform the phase space analysis to investigate the evolution of the early universe in Einstein-Cartan theory. By studying the stability of critical points in dynamical system, it is found that there exist two stable critical points which represent an expanding solution and an Einstein static solution respectively. After analyzing the phase diagram of the dynamical system, we find that there may exist a bouncing universe, an oscillating universe or an Einstein static universe in the early time of universe. In addition, by assuming that the early universe filled by the radiation with $\omega= 1/3$ , the initial states of the early universe are Einstein static universe or oscillating universe. When the equation of state $\omega$ decreases with time, the universe can exit from the initial state and evolve into an expanding phase.


title: A Phone-based Distributed Ambient Temperature Measurement System with An Efficient Label-free Automated Training Strategy

abstract: Enhancing the energy efficiency of buildings significantly relies on monitoring indoor ambient temperature. The potential limitations of conventional temperature measurement techniques, together with the omnipresence of smartphones, have redirected researchers'attention towards the exploration of phone-based ambient temperature estimation methods. However, existing phone-based methods face challenges such as insufficient privacy protection, difficulty in adapting models to various phones, and hurdles in obtaining enough labeled training data. In this study, we propose a distributed phone-based ambient temperature estimation system which enables collaboration among multiple phones to accurately measure the ambient temperature in different areas of an indoor space. This system also provides an efficient, cost-effective approach with a few-shot meta-learning module and an automated label generation module. It shows that with just 5 new training data points, the temperature estimation model can adapt to a new phone and reach a good performance. Moreover, the system uses crowdsourcing to generate accurate labels for all newly collected training data, significantly reducing costs. Additionally, we highlight the potential of incorporating federated learning into our system to enhance privacy protection. We believe this study can advance the practical application of phone-based ambient temperature measurement, facilitating energy-saving efforts in buildings.


title: Spontaneous splitting of d-wave surface states: Circulating currents or edge magnetization?

abstract: Pair-breaking edges of $d$-wave superconductors feature Andreev bound states at the Fermi energy. Since these states are energetically highly unfavorable they are susceptible to effects that shift them to finite energy. We investigate the free energy of two different mechanisms: spontaneous phase gradients in the superconducting order parameter and surface ferromagnetism caused by Fermi liquid interaction effects. We find that the surface magnetization appears at lower temperatures than the spontaneous current flow of the phase-crystal state. The magnetic state can, however, be energetically favorable at lower temperatures for sufficiently strong Fermi liquid effects. As a result, first-order transitions between the two states are possible, suggesting a rich low-temperature phase diagram in $d$-wave superconductors.


title: Determining the order of time and spatial fractional derivatives

abstract: The paper considers the initial-boundary value problem for equation $D^\rho_t u(x,t)+ (-\Delta)^\sigma u(x,t)=0$, $\rho\in (0,1)$, $\sigma>0$, in an N-dimensional domain $\Omega$ with a homogeneous Dirichlet condition. The fractional derivative is taken in the sense of Caputo. The main goal of the work is to solve the inverse problem of simultaneously determining two parameters: the order of the fractional derivative $\rho$ and the degree of the Laplace operator $\sigma$. A new formulation and solution method for this inverse problem are proposed. It is proved that in the new formulation the solution to the inverse problem exists and is unique for an arbitrary initial function from the class $L_2(\Omega)$. Note that in previously known works, only the uniqueness of the solution to the inverse problem was proved and the initial function was required to be sufficiently smooth and non-negative.


title: Sisu: Decentralized Trustless Bridge For Full Ethereum Node

abstract: In this paper, we present a detailed approach and implementation to prove Ethereum full node using recursive SNARK, distributed general GKR and Groth16. Our protocol's name is Sisu whose architecture is based on distributed Virgo in zkBridge with some major improvements. Besides proving signature aggregation, we provide solutions to 2 hard problems in proving Ethereum full node: 1) any public key is valid under previous beacon state and 2) all public keys are pairwise distinct. Our solution does not require worker-to-worker communication and therefore reduce total worker-to-worker network traffic from terabyte of data to zero compared to zkBridge. This makes our approach suitable for emerging distributed prover markets and more decentralized compared to zkBridge. Our design is highly parallelable and capable of running on GPU for most parts.


title: Integration of Self-Supervised BYOL in Semi-Supervised Medical Image Recognition

abstract: Image recognition techniques heavily rely on abundant labeled data, particularly in medical contexts. Addressing the challenges associated with obtaining labeled data has led to the prominence of self-supervised learning and semi-supervised learning, especially in scenarios with limited annotated data. In this paper, we proposed an innovative approach by integrating self-supervised learning into semi-supervised models to enhance medical image recognition. Our methodology commences with pre-training on unlabeled data utilizing the BYOL method. Subsequently, we merge pseudo-labeled and labeled datasets to construct a neural network classifier, refining it through iterative fine-tuning. Experimental results on three different datasets demonstrate that our approach optimally leverages unlabeled data, outperforming existing methods in terms of accuracy for medical image recognition.


title: Dispersionless version of the multicomponent KP hierarchy revisited

abstract: We revisit dispersionless version of the multicomponent KP hierarchy considered previously by Takasaki and Takebe. In contrast to their study, we do not fix any distinguished component treating all of them on equal footing. We obtain nonlinear equations for dispersionless tau-function (the F-function) and represent them using the trigonometric parametrization. In this trigonometric uniformization the equations considerably simplify and acquire a nice form.


title: Comprehensive Survey of Model Compression and Speed up for Vision Transformers

abstract: Vision Transformers (ViT) have marked a paradigm shift in computer vision, outperforming state-of-the-art models across diverse tasks. However, their practical deployment is hampered by high computational and memory demands. This study addresses the challenge by evaluating four primary model compression techniques: quantization, low-rank approximation, knowledge distillation, and pruning. We methodically analyze and compare the efficacy of these techniques and their combinations in optimizing ViTs for resource-constrained environments. Our comprehensive experimental evaluation demonstrates that these methods facilitate a balanced compromise between model accuracy and computational efficiency, paving the way for wider application in edge computing devices.


title: Adversarial Identity Injection for Semantic Face Image Synthesis

abstract: Nowadays, deep learning models have reached incredible performance in the task of image generation. Plenty of literature works address the task of face generation and editing, with human and automatic systems that struggle to distinguish what's real from generated. Whereas most systems reached excellent visual generation quality, they still face difficulties in preserving the identity of the starting input subject. Among all the explored techniques, Semantic Image Synthesis (SIS) methods, whose goal is to generate an image conditioned on a semantic segmentation mask, are the most promising, even though preserving the perceived identity of the input subject is not their main concern. Therefore, in this paper, we investigate the problem of identity preservation in face image generation and present an SIS architecture that exploits a cross-attention mechanism to merge identity, style, and semantic features to generate faces whose identities are as similar as possible to the input ones. Experimental results reveal that the proposed method is not only suitable for preserving the identity but is also effective in the face recognition adversarial attack, i.e. hiding a second identity in the generated faces.


title: Efficient Electrochemical CO2 Reduction Reaction over Cu-decorated Biphenylene

abstract: Developing efficient electrocatalysts for CO$_2$ reduction into value-added products is crucial for the green economy. Inspired by the recent synthesis of Biphenylene (BPH), we have systematically investigated pristine, defective, and Cu-decorated BPH as an electrocatalyst for the CO$_2$ reduction reactions (CRR). Our first-principles calculations show the CO$_2$ molecules weakly interact with the pristine BPH surface while defective BPH facilitates the CO$_2$ adsorption with a binding energy ($E_b$) of -3.22 eV, indicating the detrimental process for the CRR on the surface of both systems. Furthermore, we have investigated the binding energy and kinetic stability of Cu-decorated BPH as a single-atom-catalyst (SAC). The molecular dynamics simulations confirm the kinetic stability, revealing that the Cu-atom avoids agglomeration under low metal dispersal conditions. The CO$_2$ molecule gets adsorbed horizontally on the Cu-BPH surface with $E_b$ of -0.52 eV. The CRR mechanism is investigated using two pathways beginning with two different initial intermediate states, formate ($\mathrm{^*OCOH}$) and the carboxylic ($\mathrm{^*COOH}$) pathways. The formate pathway confirms the conversion of $\mathrm{^*OCOH}$ to $\mathrm{^*HCOOH}$ with the rate-limiting potential ($U_L$) of 0.57 eV for the production of HCOOH, while for the carboxylic pathway, the conversion of $\mathrm{^*COH}$ to $\mathrm{^*CHOH}$ has $U_L$ of 0.49 eV for the production of CH$_3$OH. We have also investigated the effect of protons using charged hydrogen pseudopotential, which hints towards the possible formation of CH$_3$OH as fuel. Our findings propose Cu-BPH as an efficient single-atom catalyst for CO$_2$ conversion compared to the well-known Cu metal.


title: Time-Dependent Stable Operators

abstract: We prove that every invertible generalized hyperbolic operator on a Banach space is time-dependent stable.


title: Camera clustering for scalable stream-based active distillation

abstract: We present a scalable framework designed to craft efficient lightweight models for video object detection utilizing self-training and knowledge distillation techniques. We scrutinize methodologies for the ideal selection of training images from video streams and the efficacy of model sharing across numerous cameras. By advocating for a camera clustering methodology, we aim to diminish the requisite number of models for training while augmenting the distillation dataset. The findings affirm that proper camera clustering notably amplifies the accuracy of distilled models, eclipsing the methodologies that employ distinct models for each camera or a universal model trained on the aggregate camera data.


title: Classification of the Mott gap

abstract: In this paper, we demonstrate the classification of the gap in a holographic setup by studying the density of states. A gap can be classified into order gap and Mott gap depending on the presence of the order due to the symmetry breaking or not. A Mott insulating gap appears in the fermion spectrum due to the strong Coulomb interaction between the electrons. We then classify all Mott gaps as well as order gaps in one-flavor and two-flavor fermions. We also identified possible non-minimal interactions that may produce a flatband.


title: VDTuner: Automated Performance Tuning for Vector Data Management Systems

abstract: Vector data management systems (VDMSs) have become an indispensable cornerstone in large-scale information retrieval and machine learning systems like large language models. To enhance the efficiency and flexibility of similarity search, VDMS exposes many tunable index parameters and system parameters for users to specify. However, due to the inherent characteristics of VDMS, automatic performance tuning for VDMS faces several critical challenges, which cannot be well addressed by the existing auto-tuning methods. In this paper, we introduce VDTuner, a learning-based automatic performance tuning framework for VDMS, leveraging multi-objective Bayesian optimization. VDTuner overcomes the challenges associated with VDMS by efficiently exploring a complex multi-dimensional parameter space without requiring any prior knowledge. Moreover, it is able to achieve a good balance between search speed and recall rate, delivering an optimal configuration. Extensive evaluations demonstrate that VDTuner can markedly improve VDMS performance (14.12% in search speed and 186.38% in recall rate) compared with default setting, and is more efficient compared with state-of-the-art baselines (up to 3.57 times faster in terms of tuning time). In addition, VDTuner is scalable to specific user preference and cost-aware optimization objective. VDTuner is available online at https://github.com/tiannuo-yang/VDTuner.


title: Supercoiled ring polymers under shear flow

abstract: We apply monomer-resolved computer simulations of supercoiled ring polymers under shear, taking full account of the hydrodynamic interactions, accompanied, in parallel, by simulations in which these are switched off. The combination of bending and torsional rigidities inherent in these polymers, in conjunction with hydrodynamics, has a profound impact on their flow properties. In contrast to their flexible counterparts, which dramatcially deform and inflate under shear [Liebetreu et al., Commun. Mater. 1, 4 (2020)], supercoiled rings undergo only weak changes in their overall shape and they display both a reduced propensity to tumbling (at fixed Weissenberg number) and a much stronger orientational resistance with respect to their flexible counterparts. In the presence of hydrodynamic interactions, the coupling of the polymer to solvent flow is capable of bringing about a topological transformation of writhe to twist at strong shear upon conservation of the overall linking number.


title: A Comprehensive Study on A Tapered Paul Trap: From Design to Potential Applications

abstract: We present a tapered Paul trap whose radio frequency electrodes are inclined to the symmetric axis of the endcap electrodes, resulting in a funnel-shaped trapping potential. With this configuration, a charged particle confined in this trap has its radial degrees of freedom coupled to that of the axial direction. The same design was successfully used to experimentally realize a single-atom heat engine, and with this setup amplification of zeptonewton forces was implemented. In this paper, we show the design, implementation, and characterization of such an ion trap in detail. This system offers a high level of control over the ion's motion. Its novel features promise applications in the field of quantum thermodynamics, quantum sensing, and quantum information.


title: Disentangling Instructive Information from Ranked Multiple Candidates for Multi-Document Scientific Summarization

abstract: Automatically condensing multiple topic-related scientific papers into a succinct and concise summary is referred to as Multi-Document Scientific Summarization (MDSS). Currently, while commonly used abstractive MDSS methods can generate flexible and coherent summaries, the difficulty in handling global information and the lack of guidance during decoding still make it challenging to generate better summaries. To alleviate these two shortcomings, this paper introduces summary candidates into MDSS, utilizing the global information of the document set and additional guidance from the summary candidates to guide the decoding process. Our insights are twofold: Firstly, summary candidates can provide instructive information from both positive and negative perspectives, and secondly, selecting higher-quality candidates from multiple options contributes to producing better summaries. Drawing on the insights, we propose a summary candidates fusion framework -- Disentangling Instructive information from Ranked candidates (DIR) for MDSS. Specifically, DIR first uses a specialized pairwise comparison method towards multiple candidates to pick out those of higher quality. Then DIR disentangles the instructive information of summary candidates into positive and negative latent variables with Conditional Variational Autoencoder. These variables are further incorporated into the decoder to guide generation. We evaluate our approach with three different types of Transformer-based models and three different types of candidates, and consistently observe noticeable performance improvements according to automatic and human evaluation. More analyses further demonstrate the effectiveness of our model in handling global information and enhancing decoding controllability.


title: Gradient estimates for positive eigenfunctions of $ \mathcal{L} $-operator on conformal solitons and its applications

abstract: We prove a local gradient estimate for positive eigenfunctions of $ \mathcal{L} $-operator on conformal solitons given by a general conformal vector field. As an application, we obtain a Liouville type theorem for $ \mathcal{L} u = 0 $, which improves the one of Li--Sun (Acta Math. Sin. (Engl. Ser.), 37(11): 1768--1782, 2021.). We also consider applications where manifolds are special conformal solitons. Especially in the case of self-shrinkers, a better Liouville type theorem is obtained.


title: An upper bound on the number of relevant variables for Boolean functions on the Hamming graph

abstract: The spectrum of a complex-valued function $f$ on $\mathbb{Z}_{q}^n$ is the set $\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}$, where $|u|$ is the Hamming weight of $u$ and $\widehat{f}$ is the Fourier transform of $f$. Let $1\leq d'\leq d\leq n$. In this work, we study Boolean functions on $\mathbb{Z}_{q}^n$, $q\geq 3$, whose spectrum is a subset of $\{0\}\cup \{d',\ldots,d\}$. We prove that such functions have at most $\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}}$ relevant variables for $d'+d\leq n+1$. In particular, we prove that any Boolean function of degree $d$ on $\mathbb{Z}_{q}^n$, $q\geq 3$, has at most $\frac{dq^{d+1}}{4(q-1)}$ relevant variables. We also show that any equitable 2-partition of the Hamming graph $H(n,q)$, $q\geq 3$, associated with the eigenvalue $n(q-1)-qd$ has at most $\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}}$ relevant variables for $d\leq \frac{n+1}{2}$.


title: MAD Speech: Measures of Acoustic Diversity of Speech

abstract: Generative spoken language models produce speech in a wide range of voices, prosody, and recording conditions, seemingly approaching the diversity of natural speech. However, the extent to which generated speech is acoustically diverse remains unclear due to a lack of appropriate metrics. We address this gap by developing lightweight metrics of acoustic diversity, which we collectively refer to as MAD Speech. We focus on measuring five facets of acoustic diversity: voice, gender, emotion, accent, and background noise. We construct the metrics as a composition of specialized, per-facet embedding models and an aggregation function that measures diversity within the embedding space. Next, we build a series of datasets with a priori known diversity preferences for each facet. Using these datasets, we demonstrate that our proposed metrics achieve a stronger agreement with the ground-truth diversity than baselines. Finally, we showcase the applicability of our proposed metrics across several real-life evaluation scenarios. MAD Speech will be made publicly accessible.


title: AudioProtoPNet: An interpretable deep learning model for bird sound classification

abstract: Recently, scientists have proposed several deep learning models to monitor the diversity of bird species. These models can detect bird species with high accuracy by analyzing acoustic signals. However, traditional deep learning algorithms are black-box models that provide no insight into their decision-making process. For domain experts, such as ornithologists, it is crucial that these models are not only efficient, but also interpretable in order to be used as assistive tools. In this study, we present an adaption of the Prototypical Part Network (ProtoPNet) for audio classification that provides inherent interpretability through its model architecture. Our approach is based on a ConvNeXt backbone architecture for feature extraction and learns prototypical patterns for each bird species using spectrograms of the training data. Classification of new data is done by comparison with these prototypes in latent space, which simultaneously serve as easily understandable explanations for the model's decisions. We evaluated the performance of our model on seven different datasets representing bird species from different geographical regions. In our experiments, the model showed excellent results, achieving an average AUROC of 0.82 and an average cmAP of 0.37 across the seven datasets, making it comparable to state-of-the-art black-box models for bird sound classification. Thus, this work demonstrates that even for the challenging task of bioacoustic bird classification, powerful yet interpretable deep learning models can be developed to provide valuable insights to domain experts.


title: Concurrency Model of BDI Programming Frameworks: Why Should We Control It?

abstract: We provide a taxonomy of concurrency models for BDI frameworks, elicited by analysing state-of-the-art technologies, and aimed at helping both BDI designers and developers in making informed decisions. Comparison among BDI technologies w.r.t. concurrency models reveals heterogeneous support, and low customisability.


title: Lipshitzian Vector Fields, Upper Gradients And Distributional Derivatives

abstract: We prove that given a locally integrable function $f$ on an open set of an Euclidean space the distributional derivative $Xf$ with respect to a locally Lipshitzian vector field $X$ is locally integrable if, and only if, the function $f$ admits a locally integrable upper gradient along the vector field $X$; in this case $Xf$ coincides with the Lie derivative $L_X f$ and $|Xf|$ is the least upper gradient of the function $f$. Applications to systems of locally Lipshitzian vector fields are given.


title: Integrating Discrete Sub-grid Filters with Discretization-Corrected Particle Strength Exchange Method for High Reynolds Number Flow Simulations

abstract: We present a discrete filter for subgrid-scale (SGS) model, coupled with the discretization corrected particle strength exchange (DC-PSE) method for the simulation of three-dimensional viscous incompressible flow, at high Reynolds flows. The majority of turbulence modelling techniques, particularly in complex geometries, face significant computational challenges due to the difficulties in implementing 3-D convolution operations for asymmetric boundary conditions or curved domain boundaries. In this contribution Taylor expansion is used to define differential operators corresponding to the convolution filter, so that the transfer function remains very close to the unity of sizeable displacement in wave number, making the filter a good approximation to the convolution one. A discrete Gaussian filter, in both fourth and second-order forms, was evaluated with varying ratios of particle spacing to the cut-off length. The impact of the filter's order and the ratio's value is thoroughly examined and detailed in the study. Additionally, the Brinkman penalisation technique is employed to impose boundary conditions implicitly, allowing for efficient and accurate flow simulations around complex geometries without the need for modifying the numerical method or computational domain. The incompressible flow is governed by the the he Entropically Damped Artificial Compressibility equations allowing explicit simulation of the incompressible Navier-Stokes equations. The effectiveness of the proposed methodology is validated through several benchmark problems, including isotropic turbulence decay, and flow around four cylinders arranged in a square in-line configuration. These test cases demonstrate the method's accuracy in capturing the intricate flow structures characteristic of high Reynolds number flows, highlighting its applicability to industrial turbulence modeling.


title: Symmetries of Quiver schemes

abstract: We introduce reflection functors on quiver schemes in the sense of Hausel--Wong--Wyss, generalizing those on quiver varieties. Also we construct some isomorphisms between quiver schemes whose underlying quivers are different.


title: Optimizing BioTac Simulation for Realistic Tactile Perception

abstract: Tactile sensing presents a promising opportunity for enhancing the interaction capabilities of today's robots. BioTac is a commonly used tactile sensor that enables robots to perceive and respond to physical tactile stimuli. However, the sensor's non-linearity poses challenges in simulating its behavior. In this paper, we first investigate a BioTac simulation that uses temperature, force, and contact point positions to predict the sensor outputs. We show that training with BioTac temperature readings does not yield accurate sensor output predictions during deployment. Consequently, we tested three alternative models, i.e., an XGBoost regressor, a neural network, and a transformer encoder. We train these models without temperature readings and provide a detailed investigation of the window size of the input vectors. We demonstrate that we achieve statistically significant improvements over the baseline network. Furthermore, our results reveal that the XGBoost regressor and transformer outperform traditional feed-forward neural networks in this task. We make all our code and results available online on https://github.com/wzaielamri/Optimizing_BioTac_Simulation.


title: Bit catastrophes for the Burrows-Wheeler Transform

abstract: A bit catastrophe, loosely defined, is when a change in just one character of a string causes a significant change in the size of the compressed string. We study this phenomenon for the Burrows-Wheeler Transform (BWT), a string transform at the heart of several of the most popular compressors and aligners today. The parameter determining the size of the compressed data is the number of equal-letter runs of the BWT, commonly denoted $r$. We exhibit infinite families of strings in which insertion, deletion, resp. substitution of one character increases $r$ from constant to $\Theta(\log n)$, where $n$ is the length of the string. These strings can be interpreted both as examples for an increase by a multiplicative or an additive $\Theta(\log n)$-factor. As regards multiplicative factor, they attain the upper bound given by Akagi, Funakoshi, and Inenaga [Inf & Comput. 2023] of $O(\log n \log r)$, since here $r=O(1)$. We then give examples of strings in which insertion, deletion, resp. substitution of a character increases $r$ by a $\Theta(\sqrt{n})$ additive factor. These strings significantly improve the best known lower bound for an additive factor of $\Omega(\log n)$ [Giuliani et al., SOFSEM 2021].


title: Effect of Systematic Uncertainties on Density and Temperature Estimates in Coronae of Capella

abstract: We estimate the coronal density of Capella using the O VII and Fe XVII line systems in the soft X-ray regime that have been observed over the course of the Chandra mission. Our analysis combines measures of error due to uncertainty in the underlying atomic data with statistical errors in the Chandra data to derive meaningful overall uncertainties on the plasma density of the coronae of Capella. We consider two Bayesian frameworks. First, the so-called pragmatic-Bayesian approach considers the atomic data and their uncertainties as fully specified and uncorrectable. The fully-Bayesian approach, on the other hand, allows the observed spectral data to update the atomic data and their uncertainties, thereby reducing the overall errors on the inferred parameters. To incorporate atomic data uncertainties, we obtain a set of atomic data replicates, the distribution of which captures their uncertainty. A principal component analysis of these replicates allows us to represent the atomic uncertainty with a lower-dimensional multivariate Gaussian distribution. A $t$-distribution approximation of the uncertainties of a subset of plasma parameters including a priori temperature information, obtained from the temperature-sensitive-only Fe XVII spectral line analysis, is carried forward into the density- and temperature-sensitive O VII spectral line analysis. Markov Chain Monte Carlo based model fitting is implemented including Multi-step Monte Carlo Gibbs Sampler and Hamiltonian Monte Carlo. Our analysis recovers an isothermally approximated coronal plasma temperature of $\approx$5 MK and a coronal plasma density of $\approx$10$^{10}$ cm$^{-3}$, with uncertainties of 0.1 and 0.2 dex respectively.


title: Zero-Sum Games for Volterra Integral Equations and Viscosity Solutions of Path-Dependent Hamilton-Jacobi Equations

abstract: We consider a game, in which the dynamics is described by a non-linear Volterra integral equation of Hammerstein type with a weakly-singular kernel and the goals of the first and second players are, respectively, to minimize and maximize a given cost functional. We propose a way of how the dynamic programming principle can be formalized and the theory of generalized (viscosity) solutions of path-dependent Hamilton--Jacobi equations can be developed in order to prove the existence of the game value, obtain a characterization of the value functional, and construct players' optimal feedback strategies.


title: MEEL: Multi-Modal Event Evolution Learning

abstract: Multi-modal Event Reasoning (MMER) endeavors to endow machines with the ability to comprehend intricate event relations across diverse data modalities. MMER is fundamental and underlies a wide broad of applications. Despite extensive instruction fine-tuning, current multi-modal large language models still fall short in such ability. The disparity stems from that existing models are insufficient to capture underlying principles governing event evolution in various scenarios. In this paper, we introduce Multi-Modal Event Evolution Learning (MEEL) to enable the model to grasp the event evolution mechanism, yielding advanced MMER ability. Specifically, we commence with the design of event diversification to gather seed events from a rich spectrum of scenarios. Subsequently, we employ ChatGPT to generate evolving graphs for these seed events. We propose an instruction encapsulation process that formulates the evolving graphs into instruction-tuning data, aligning the comprehension of event reasoning to humans. Finally, we observe that models trained in this way are still struggling to fully comprehend event evolution. In such a case, we propose the guiding discrimination strategy, in which models are trained to discriminate the improper evolution direction. We collect and curate a benchmark M-EV2 for MMER. Extensive experiments on M-EV2 validate the effectiveness of our approach, showcasing competitive performance in open-source multi-modal LLMs.


title: A stochastic discrete slip approach to microplasticity: Application to submicron W pillars

abstract: A stochastic discrete slip approach is proposed to model plastic deformation in submicron domains. The model is applied to the study of submicron pillar ($D~\leq~1\mu m$) compression experiments on tungsten (W), a prototypical metal for applications under extreme conditions. Slip events are geometrically resolved in the specimen and considered as eigenstrain fields producing a displacement jump across a slip plane. This novel method includes several aspects of utmost importance to small-scale plasticity, i.e. source truncation effects, surface nucleation effects, starvation effects, slip localization and an inherently stochastic response. Implementation on an FFT-spectral solver results in an efficient computational 3-D framework. Simulations of submicron W pillars ($D~\leq~1\mu m$) under compression show that the method is capable of capturing salient features of sub-micron scale plasticity. These include the natural competition between pre-existing dislocations and surface nucleation of new dislocations. Our results predict distinctive flow stress power-law dependence exponents as well as a size-dependence of the strain-rate sensitivity exponent. The results are thoroughly compared with experimental literature.


title: Analysis of a Navier-Stokes phase-field crystal system

abstract: We consider an evolution system modeling a flow of colloidal particles which are suspended in an incompressible fluid and accounts for colloidal crystallization. The system consists of the Navier-Stokes equations for the volume averaged velocity coupled with the so-called Phase-Field Crystal equation for the density deviation. Considering this system in a periodic domain and assuming that the viscosity as well as the mobility depend on the density deviation, we first prove the existence of a weak solution in dimension three. Then, in dimension two, we establish the existence of a (unique) strong solution.


title: The evolutionary pathways of disk galaxies with different sizes

abstract: From the IllustrisTNG-50 simulation, a sample of 836 central disk galaxies with tiny stellar halos is chosen to study the inherent evolution of galaxies driven by nature. These galaxies are classified as compact, normal, or extended by referencing their locations on the mass-size ($M_\star-R_{\rm 1/2}$) diagram. This research demonstrates the distinctive evolutionary pathways of galaxies with different sizes in IllustrisTNG simulations, primarily driven by nature. It is confirmed that disk galaxies inherit the angular momentum of their parent dark matter halos. More compact galaxies form earlier within halos possessing lower specific angular momentum through heightened star formation during the early phase at redshifts above 2. During the later phase, the size of extended galaxies experiences more pronounced growth by accreting gas with high angular momentum. Additionally, we reveal that many key characteristics of galaxies are linked to their mass and size: (1) compact galaxies tend to exhibit higher metal content, proportional to the potential well $\frac{M_\star}{R_{\rm 1/2}}$, (2) compact galaxies host more massive bulges and black holes, and higher central concentration. Furthermore, our analysis indicates that galaxies of all types continue to actively engage in star formation, with no evident signs of quenching attributed to their varying sizes and angular momenta.


title: Explainable concept mappings of MRI: Revealing the mechanisms underlying deep learning-based brain disease classification

abstract: Motivation. While recent studies show high accuracy in the classification of Alzheimer's disease using deep neural networks, the underlying learned concepts have not been investigated. Goals. To systematically identify changes in brain regions through concepts learned by the deep neural network for model validation. Approach. Using quantitative R2* maps we separated Alzheimer's patients (n=117) from normal controls (n=219) by using a convolutional neural network and systematically investigated the learned concepts using Concept Relevance Propagation and compared these results to a conventional region of interest-based analysis. Results. In line with established histological findings and the region of interest-based analyses, highly relevant concepts were primarily found in and adjacent to the basal ganglia. Impact. The identification of concepts learned by deep neural networks for disease classification enables validation of the models and could potentially improve reliability.


title: Observation of thermal microwave photons with a Josephson junction detector

abstract: When measuring electromagnetic radiation of frequency $f$, the most sensitive detector is the one that counts the single quanta of energy $h f$. Single photon detectors (SPDs) were demonstrated from $\gamma$-rays to infrared wavelengths, and extending this range down to the microwaves is the focus of intense research. The energy of $10\,\mathrm{GHz}$ microwave photon, about $40\,\mathrm{\mu eV}$ or $7\, \mathrm{yJ},$ is enough to force a superconducting Josephson junction into its resistive state, making it suitable to be used as a sensor. In this work, we use an underdamped Josephson junction to detect single thermal photons stochastically emitted by a microwave copper cavity at millikelvin temperatures. After characterizing the source and detector, we vary the temperature of the resonant cavity and measure the increased photon rate. The device shows an efficiency up to 40% and a dark count rate of $0.1\,\mathrm{Hz}$ in a bandwidth of several gigahertz. To confirm the thermal nature of the emitted photons we verify their super-Poissonian statistics, which is also a signature of quantum chaos. We discuss detector application in the scope of Dark Matter Axion searches, and note its importance for quantum information, metrology and fundamental physics.


title: Synthetic vs Human Emotional Faces: What Changes in Humans' Decoding Accuracy

abstract: Considered the increasing use of assistive technologies in the shape of virtual agents, it is necessary to investigate those factors which characterize and affect the interaction between the user and the agent, among these emerges the way in which people interpret and decode synthetic emotions, i.e., emotional expressions conveyed by virtual agents. For these reasons, an article is proposed, which involved 278 participants split in differently aged groups (young, middle-aged, and elders). Within each age group, some participants were administered a naturalistic decoding task, a recognition task of human emotional faces, while others were administered a synthetic decoding task, namely emotional expressions conveyed by virtual agents. Participants were required to label pictures of female and male humans or virtual agents of different ages (young, middle-aged, and old) displaying static expressions of disgust, anger, sadness, fear, happiness, surprise, and neutrality. Results showed that young participants showed better recognition performances (compared to older groups) of anger, sadness, and neutrality, while female participants showed better recognition performances(compared to males) ofsadness, fear, and neutrality; sadness and fear were better recognized when conveyed by real human faces, while happiness, surprise, and neutrality were better recognized when represented by virtual agents. Young faces were better decoded when expressing anger and surprise, middle-aged faces were better decoded when expressing sadness, fear, and happiness , while old faces were better decoded in the case of disgust; on average, female faces where better decoded compared to male ones.


title: Tree Bandits for Generative Bayes

abstract: In generative models with obscured likelihood, Approximate Bayesian Computation (ABC) is often the tool of last resort for inference. However, ABC demands many prior parameter trials to keep only a small fraction that passes an acceptance test. To accelerate ABC rejection sampling, this paper develops a self-aware framework that learns from past trials and errors. We apply recursive partitioning classifiers on the ABC lookup table to sequentially refine high-likelihood regions into boxes. Each box is regarded as an arm in a binary bandit problem treating ABC acceptance as a reward. Each arm has a proclivity for being chosen for the next ABC evaluation, depending on the prior distribution and past rejections. The method places more splits in those areas where the likelihood resides, shying away from low-probability regions destined for ABC rejections. We provide two versions: (1) ABC-Tree for posterior sampling, and (2) ABC-MAP for maximum a posteriori estimation. We demonstrate accurate ABC approximability at much lower simulation cost. We justify the use of our tree-based bandit algorithms with nearly optimal regret bounds. Finally, we successfully apply our approach to the problem of masked image classification using deep generative models.


title: A note on generalized spherical maximal means

abstract: The goal of this note is to provide an alternative proof of Theorem 1.1 (i) in [4], that is, if $n\geq 2$ and $M^{\alpha}$ is bounded on $L^{p}(\mathbb{R}^{n})$ for some $\alpha\in \mathbb{C}$ and $p\geq 2$, then we have \begin{align*} \operatorname{Re} \alpha\geq \max\left\{\frac{1-n}{2}+\frac{1}{p},\frac{1-n}{p}\right\}. \end{align*}


title: The Unreasonable Effectiveness of Pre-Trained Features for Camera Pose Refinement

abstract: Pose refinement is an interesting and practically relevant research direction. Pose refinement can be used to (1) obtain a more accurate pose estimate from an initial prior (e.g., from retrieval), (2) as pre-processing, i.e., to provide a better starting point to a more expensive pose estimator, (3) as post-processing of a more accurate localizer. Existing approaches focus on learning features / scene representations for the pose refinement task. This involves training an implicit scene representation or learning features while optimizing a camera pose-based loss. A natural question is whether training specific features / representations is truly necessary or whether similar results can be already achieved with more generic features. In this work, we present a simple approach that combines pre-trained features with a particle filter and a renderable representation of the scene. Despite its simplicity, it achieves state-of-the-art results, demonstrating that one can easily build a pose refiner without the need for specific training. The code is at https://github.com/ga1i13o/mcloc_poseref


title: Decentralized Control for Heterogeneous Battery Energy Storage System

abstract: Battery energy storage systems (BESSs) are essential for stable power supply in renewable energy systems that can operate in all weather. Future BESSs will be massive and pluggable with several heterogeneous batteries. In this paper, a novel decentralized control method for a heterogeneous BESS is proposed, in which each battery autonomously operates based on its characteristics. First, a control method that uses only one broadcast signal for each type of battery is proposed. Second, the asymptotic stability of the tracking error is proved. Third, numerical simulations confirm that the proposed control method has robust tracking performance of the total electric power to the demanded power when some batteries fail and are detached from the system. Last, in order to suppress degradation of battery, equalization of the state of charge is achieved for each type of battery without communication among the batteries.


title: Language Proficiency and F0 Entrainment: A Study of L2 English Imitation in Italian, French, and Slovak Speakers

abstract: This study explores F0 entrainment in second language (L2) English speech imitation during an Alternating Reading Task (ART). Participants with Italian, French, and Slovak native languages imitated English utterances, and their F0 entrainment was quantified using the Dynamic Time Warping (DTW) distance between the parameterized F0 contours of the imitated utterances and those of the model utterances. Results indicate a nuanced relationship between L2 English proficiency and entrainment: speakers with higher proficiency generally exhibit less entrainment in pitch variation and declination. However, within dyads, the more proficient speakers demonstrate a greater ability to mimic pitch range, leading to increased entrainment. This suggests that proficiency influences entrainment differently at individual and dyadic levels, highlighting the complex interplay between language skill and prosodic adaptation.


title: 1st Place Solution for ICCV 2023 OmniObject3D Challenge: Sparse-View Reconstruction

abstract: In this report, we present the 1st place solution for ICCV 2023 OmniObject3D Challenge: Sparse-View Reconstruction. The challenge aims to evaluate approaches for novel view synthesis and surface reconstruction using only a few posed images of each object. We utilize Pixel-NeRF as the basic model, and apply depth supervision as well as coarse-to-fine positional encoding. The experiments demonstrate the effectiveness of our approach in improving sparse-view reconstruction quality. We ranked first in the final test with a PSNR of 25.44614.


title: Fundamentals of a Null Field Method-Surface Equivalence Principle Approach for Scattering by Dielectric Cylinders

abstract: The null-field method (NFM) and the method of auxiliary sources (MAS) have been both used extensively for the numerical solution of boundary-value problems arising in diverse applications involving propagation and scattering of waves. It has been shown that, under certain conditions, the applicability of MAS may be restricted by issues concerning the divergence of the auxiliary currents, manifested by the appearance of exponentially large oscillations. In this work, we combine the NFM with the surface equivalence principle (SEP) and investigate analytically the convergence properties of the combined NFM-SEP with reference to the problem of (internal or external) line-source excitation of a dielectric cylinder. Our main purpose is to prove that (contrary to the MAS) the discrete NFM-SEP currents, when properly normalized, always converge to the corresponding continuous current densities, and thus no divergence and oscillations phenomena appear. The theoretical analysis of the NFM-SEP is accompanied by detailed comparisons with the MAS as well as with representative numerical results illustrating the conclusions.


title: AGHINT: Attribute-Guided Representation Learning on Heterogeneous Information Networks with Transformer

abstract: Recently, heterogeneous graph neural networks (HGNNs) have achieved impressive success in representation learning by capturing long-range dependencies and heterogeneity at the node level. However, few existing studies have delved into the utilization of node attributes in heterogeneous information networks (HINs). In this paper, we investigate the impact of inter-node attribute disparities on HGNNs performance within the benchmark task, i.e., node classification, and empirically find that typical models exhibit significant performance decline when classifying nodes whose attributes markedly differ from their neighbors. To alleviate this issue, we propose a novel Attribute-Guided heterogeneous Information Networks representation learning model with Transformer (AGHINT), which allows a more effective aggregation of neighbor node information under the guidance of attributes. Specifically, AGHINT transcends the constraints of the original graph structure by directly integrating higher-order similar neighbor features into the learning process and modifies the message-passing mechanism between nodes based on their attribute disparities. Extensive experimental results on three real-world heterogeneous graph benchmarks with target node attributes demonstrate that AGHINT outperforms the state-of-the-art.


title: Semi-supervised Fr\'echet Regression

abstract: This paper explores the field of semi-supervised Fr\'echet regression, driven by the significant costs associated with obtaining non-Euclidean labels. Methodologically, we propose two novel methods: semi-supervised NW Fr\'echet regression and semi-supervised kNN Fr\'echet regression, both based on graph distance acquired from all feature instances. These methods extend the scope of existing semi-supervised Euclidean regression methods. We establish their convergence rates with limited labeled data and large amounts of unlabeled data, taking into account the low-dimensional manifold structure of the feature space. Through comprehensive simulations across diverse settings and applications to real data, we demonstrate the superior performance of our methods over their supervised counterparts. This study addresses existing research gaps and paves the way for further exploration and advancements in the field of semi-supervised Fr\'echet regression.


title: SparseDM: Toward Sparse Efficient Diffusion Models

abstract: Diffusion models have been extensively used in data generation tasks and are recognized as one of the best generative models. However, their time-consuming deployment, long inference time, and requirements on large memory limit their application on mobile devices. In this paper, we propose a method based on the improved Straight-Through Estimator to improve the deployment efficiency of diffusion models. Specifically, we add sparse masks to the Convolution and Linear layers in a pre-trained diffusion model, then use design progressive sparsity for model training in the fine-tuning stage, and switch the inference mask on and off, which supports a flexible choice of sparsity during inference according to the FID and MACs requirements. Experiments on four datasets conducted on a state-of-the-art Transformer-based diffusion model demonstrate that our method reduces MACs by $50\%$ while increasing FID by only 1.5 on average. Under other MACs conditions, the FID is also lower than 1$\sim$137 compared to other methods.


title: Watching Grass Grow: Long-term Visual Navigation and Mission Planning for Autonomous Biodiversity Monitoring

abstract: We describe a challenging robotics deployment in a complex ecosystem to monitor a rich plant community. The study site is dominated by dynamic grassland vegetation and is thus visually ambiguous and liable to drastic appearance change over the course of a day and especially through the growing season. This dynamism and complexity in appearance seriously impact the stability of the robotics platform, as localisation is a foundational part of that control loop, and so routes must be carefully taught and retaught until autonomy is robust and repeatable. Our system is demonstrated over a 6-week period monitoring the response of grass species to experimental climate change manipulations. We also discuss the applicability of our pipeline to monitor biodiversity in other complex natural settings.


title: Millisecond-resolved infrared spectroscopy study of polymer brush swelling dynamics

abstract: We present the study of millisecond-resolved polymer brush swelling dynamics using infrared spectroscopy with a custom-built quantum cascade laser-based infrared spectrometer at a 1 kHz sampling rate after averaging. By cycling the humidity of the environment of the polymer brush, we are able to measure the swelling dynamics sequentially at different wavenumbers. The high sampling rate provides us with information on the reconformation of the brush at a higher temporal resolution than previously reported. Using spectroscopic ellipsometry, we study the brush swelling dynamics as a reference experiment and to correct artefacts of the infrared measurement approach. This technique informs on the changes in the brush thickness and refractive index. Our results indicate that the swelling dynamics of the polymer brush are poorly described by Fickian diffusion and the Berens-Hopfenberg formalism, pointing toward more complicated underlying transport.

categories: physics.ins-det cond-mat.mes-hall cond-mat.soft physics.chem-ph


title: On estimation of heavy-tailed stable linear regression

abstract: We study the parameter estimation method for linear regression models with possibly skewed stable distributed errors. Our estimation procedure consists of two stages: first, for the regression coefficients, the Cauchy quasi-maximum likelihood estimator (CQMLE) is considered after taking the differences to remove the skewness of noise, and we prove its asymptotic normality and tail-probability estimate; second, as for stable-distribution parameters, we consider the moment estimators based on the symmetrized and centered residuals and prove their $\sqrt{n}$-consistency. To derive the $\sqrt{n}$-consistency, we essentially used the tail-probability estimate of the CQMLE. The proposed estimation procedure has a very low computational load and is much less time-consuming compared with the maximum-likelihood estimator. Further, our estimator can be effectively used as an initial value of the numerical optimization of the log-likelihood.


title: Numerical investigation of a family of solitary-wave solutions for the nonlinear Schr\"odinger equation perturbed by third-, and fourth-order dispersion

abstract: We study solitary wave solutions for the nonlinear Schr\"odinger equation perturbed by the effects of third-, and fourth-order dispersion, maintaining a wavenumber gap between the solitary waves and the propagation constant. We numerically construct members of a family of such solitary waves, including Kruglov and Harvey's exact solution, using the spectral renormalization method and establish empirical relations between the pulse parameters. A deeper insight into the properties of solitary waves and solitons can be obtained through collisions. Therefore we perform pulse propagation simulations demonstrating different collision regimes. Depending on the pulses initial phase difference, this can lead to the formation of short-lived two-pulse bound states. While these collisions are generally inelastic, singular phase values exist at which they are elastic. Finally, we detail the properties of Kruglov and Harvey's soliton solution under loss, verifying earlier predictions of perturbation theory and suggesting a convergence to the soliton solution of the standard nonlinear Schr\"odinger equation in the limit of large propagation distances.


title: Graph Neural Networks for Protein-Protein Interactions -- A Short Survey

abstract: Protein-protein interactions (PPIs) play key roles in a broad range of biological processes. Numerous strategies have been proposed for predicting PPIs, and among them, graph-based methods have demonstrated promising outcomes owing to the inherent graph structure of PPI networks. This paper reviews various graph-based methodologies, and discusses their applications in PPI prediction. We classify these approaches into two primary groups based on their model structures. The first category employs Graph Neural Networks (GNN) or Graph Convolutional Networks (GCN), while the second category utilizes Graph Attention Networks (GAT), Graph Auto-Encoders and Graph-BERT. We highlight the distinctive methodologies of each approach in managing the graph-structured data inherent in PPI networks and anticipate future research directions in this domain.


title: Ultrahigh Stability of O-Sublattice in $\beta$-Ga$_2$O$_3$

abstract: Recently reported remarkably high radiation tolerance of $\gamma$/$\beta$-Ga$_2$O$_3$ double-polymorphic structure brings this ultrawide bandgap semiconductor to the frontiers of power electronics applications that are able to operate in challenging environments. Understanding the mechanism of radiation tolerance is crucial for further material modification and tailoring of the desired properties. In this study, we employ machine-learning-enhanced atomistic simulations to assess the stability of both the gallium (Ga) and oxygen (O) sublattices under various levels of damage. Our study uncovers the remarkable resilience and stability of the O-sublattice, attributing this property to the strong tendency of recovery of the O defects, especially within the stronger disordered regions. Interestingly, we observe the opposite behavior of the Ga defects that display enhanced stability in the same regions of increased disorder. Moreover, we observe that highly defective $\beta$-Ga$_2$O$_3$ is able to transform into $\gamma$-Ga$_2$O$_3$ upon annealing due to preserved lattice organization of the O-sublattice. This result clearly manifests that the ultrahigh stability of the O-sublattice provides the backbone for the exceptional radiation tolerance of the $\gamma$/$\beta$ double-polymorphic structure. These computational insights closely align with experimental observations, opening avenues for further exploration of polymorphism in Ga$_2$O$_3$ and potentially in analogous polymorphic families spanning a broad range of diverse materials of complex polymorphic nature.