title: A Comprehensive Evaluation Study on Risk Level Classification of Melanoma by Computer Vision on ISIC 2016-2020 Datasets

abstract: Skin cancer is the most common type of cancer. Specifically, melanoma is the cause of 75% of skin cancer deaths, although it is the least common skin cancer. Better detection of melanoma could have a positive impact on millions of people. The ISIC archive contains the largest publicly available collection of dermatoscopic images of skin lesions. In this research, we investigate the efficacy of applying advanced deep learning techniques in computer vision to identify melanoma in images of skin lesions. Through reviewing previous methods, including pre-trained models, deep-learning classifiers, transfer learning, etc., we demonstrate the applicability of the popular deep learning methods on critical clinical problems such as identifying melanoma. Finally, we proposed a processing flow with a validation AUC greater than 94% and a sensitivity greater than 90% on ISIC 2016 - 2020 datasets.


title: Duality for coalgebras for Vietoris and monadicity

abstract: We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over Set. We deliver an analogous result for the upper, lower and convex Vietoris endofunctors acting on the category of stably compact spaces. We provide axiomatizations of the associated (infinitary) varieties. This can be seen as a version of Jonsson-Tarski duality for modal algebras beyond the 0-dimensional setting.


title: Interacting semi-flexible self-avoiding walks studied on a fractal lattice

abstract: Self-avoiding walks are studied on the 3-simplex fractal lattice as a model of linear polymer conformations in a dilute, non-homogeneous solution. A model is supplemented with bending energies and attractive-interaction energies between non-consecutively visited pairs of nearest-neighboring sites (contacts). It captures the main features of a semi-flexible polymer subjected to variable solvent conditions. Hierarchical structure of the fractal lattice enabled determination of the exact recurrence equations for the generating function, through which universal and local properties of the model were studied. Analysis of the recurrence equations showed that for all finite values of the considered energies and non-zero temperatures, polymer resides in an expanded phase. Critical exponents of the expanded phase are universal and the same as those for ordinary self-avoiding walks on the same lattice found earlier. As a measure of local properties, the mean number of contacts per mean number of steps as well as persistence length, are calculated as functions of Boltzmann weights associated with bending energies and attractive interactions between contacts. Both quantities are monotonic functions of stiffness weights for fixed interaction, and in the limit of infinite stiffness the number of contacts decreases to zero, while the persistence length increases unboundedly.


title: AIIR-MIX: Multi-Agent Reinforcement Learning Meets Attention Individual Intrinsic Reward Mixing Network

abstract: Deducing the contribution of each agent and assigning the corresponding reward to them is a crucial problem in cooperative Multi-Agent Reinforcement Learning (MARL). Previous studies try to resolve the issue through designing an intrinsic reward function, but the intrinsic reward is simply combined with the environment reward by summation in these studies, which makes the performance of their MARL framework unsatisfactory. We propose a novel method named Attention Individual Intrinsic Reward Mixing Network (AIIR-MIX) in MARL, and the contributions of AIIR-MIX are listed as follows:(a) we construct a novel intrinsic reward network based on the attention mechanism to make teamwork more effective. (b) we propose a Mixing network that is able to combine intrinsic and extrinsic rewards non-linearly and dynamically in response to changing conditions of the environment. We compare AIIR-MIX with many State-Of-The-Art (SOTA) MARL methods on battle games in StarCraft II. And the results demonstrate that AIIR-MIX performs admirably and can defeat the current advanced methods on average test win rate. To validate the effectiveness of AIIR-MIX, we conduct additional ablation studies. The results show that AIIR-MIX can dynamically assign each agent a real-time intrinsic reward in accordance with their actual contribution.


title: Pseudo Contrastive Learning for Graph-based Semi-supervised Learning

abstract: Pseudo Labeling is a technique used to improve the performance of semi-supervised Graph Neural Networks (GNNs) by generating additional pseudo-labels based on confident predictions. However, the quality of generated pseudo-labels has been a longstanding concern due to the sensitivity of the classification objective with respect to the given labels. To avoid the untrustworthy classification supervision indicating ``a node belongs to a specific class,'' we favor the fault-tolerant contrasting supervision demonstrating ``two nodes do not belong to the same class.'' Thus, the problem of generating high-quality pseudo-labels is then transformed into a relaxed version, i.e., identifying reliable negative pairs. To achieve this, we propose a general framework for GNNs, termed Pseudo Contrastive Learning (PCL). It separates two nodes whose positive and negative pseudo-labels target the same class. To incorporate topological knowledge into learning, we devise a topologically weighted contrastive loss that spends more effort separating negative pairs with smaller topological distances. Experimentally, we apply PCL to various GNNs, which consistently outperform their counterparts using other popular general techniques on five real-world graphs.


title: UAV-Aided Post-Disaster Cellular Networks: A Novel Stochastic Geometry Approach

abstract: Motivated by the need for ubiquitous and reliable communications in post-disaster emergency management systems (EMSs), we hereby present a novel and efficient stochastic geometry (SG) framework. This mathematical model is specifically designed to evaluate the quality of service (QoS) experienced by a typical ground user equipment (UE) residing either inside or outside a generic area affected by a calamity. In particular, we model the functioning terrestrial base stations (TBSs) as an inhomogeneous Poisson point process (IPPP), and assume that a given number of uniformly distributed unmanned aerial vehicles (UAVs) equipped with cellular transceivers is deployed in order to compensate for the damage suffered by some of the existing TBSs. The downlink (DL) coverage probability is then derived based on the maximum average received power association policy and the assumption of Nakagami-m fading conditions for all wireless links. The proposed numerical results show insightful trends in terms of coverage probability, depending on: distance of the UE from the disaster epicenter, disaster radius, quality of resilience (QoR) of the terrestrial network, and fleet of deployed ad-hoc aerial base stations (ABSs). The aim of this paper is therefore to prove the effectiveness of vertical heterogeneous networks (VHetNets) in emergency scenarios, which can both stimulate the involved authorities for their implementation and inspire researchers to further investigate related problems.


title: Moduli stacks of Lubin--Tate $(\varphi,\Gamma)$-modules

abstract: We define and study stacks which parametrize Lubin--Tate $(\varphi,\Gamma)$-modules. By working at a perfectoid level, we compare these with the Emerton--Gee stacks of cyclotomic $(\varphi,\Gamma)$-modules. As a consequence, we deduce perfectness of the Herr complex in the Lubin--Tate setting.


title: Supersingular reduction of Kummer surfaces in residue characteristic $2$

abstract: Given an abelian surface $A$, defined over a discrete valuation field and having good reduction, does the attached Kummer surface $\mathrm{Km}(A)$ also have good reduction? In this paper we give an affirmative answer in the extreme case, that is, when the abelian surface has supersingular reduction in characteristic $2$.


title: Is 30 MHz Enough for C-V2X?

abstract: Connected vehicles are no longer a futuristic dream coming out of a science fiction, but they are swiftly taking a bigger part of one's everyday life. One of the key technologies actualizing the connected vehicles is vehicle-to-everything communications (V2X). Nonetheless, the United States (U.S.) federal government decided to reallocate the spectrum band that used to be dedicated to V2X uses (namely, the ``5.9 GHz band'') and to leave only 40\% of the original chunk (i.e., 30 MHz of bandwidth) for V2X. It ignited concern of whether the 30-MHz spectrum suffices key V2X safety messages and the respective applications. We lay out an extensive study on the safety message types and their latency requirements. Then, we present our simulation results examining whether they can be supported in the 30-MHz spectrum setup.


title: The Globalization-Inequality Nexus: A Comparative Study of Developed and Developing Countries

abstract: This study examines the relationship between globalization and income inequality, utilizing panel data spanning from 1992 to 2020. Globalization is measured by the World Bank global-link indicators such as FDI, Remittance, Trade Openness, and Migration while income inequality is measured by Gini Coefficient and the median income of 50% of the population. The fixed effect panel data analysis provides empirical evidence indicating that globalization tends to reduce income inequality, though its impact varies between developed and developing countries. The analysis reveals a strong negative correlation between net foreign direct investment (FDI) inflows and inequality in developing countries, while no such relationship was found for developed countries.The relationship holds even if we consider an alternative measure of inequality. However, when dividing countries by developed and developing groups, no statistically significant relationship was observed. Policymakers can use these findings to support efforts to increase FDI, trade, tourism, and migration to promote growth and reduce income inequality.


title: A new result on boundedness of the Riesz potential in central Morrey-Orlicz spaces

abstract: We improve our results on boundedness of the Riesz potential in the central Morrey-Orlicz spaces and the corresponding weak-type version. We also present two new properties of the central Morrey-Orlicz spaces: nontriviality and inclusion property.


title: Chemical Environment Adaptive Learning for Optical Band Gap Prediction of Doped Graphitic Carbon Nitride Nanosheets

abstract: This study presents a novel Machine Learning Algorithm, named Chemical Environment Graph Neural Network (ChemGNN), designed to accelerate materials property prediction and advance new materials discovery. Graphitic carbon nitride (g-C3N4) and its doped variants have gained significant interest for their potential as optical materials. Accurate prediction of their band gaps is crucial for practical applications, however, traditional quantum simulation methods are computationally expensive and challenging to explore the vast space of possible doped molecular structures. The proposed ChemGNN leverages the learning ability of current graph neural networks (GNNs) to satisfactorily capture the characteristics of atoms' local chemical environment underlying complex molecular structures. Our benchmark results demonstrate more than 100% improvement in band gap prediction accuracy over existing GNNs on g-C3N4. Furthermore, the general ChemGNN model can precisely foresee band gaps of various doped g-C3N4 structures, making it a valuable tool for performing high-throughput prediction in materials design and development.


title: Upvotes? Downvotes? No Votes? Understanding the relationship between reaction mechanisms and political discourse on Reddit

abstract: A significant share of political discourse occurs online on social media platforms. Policymakers and researchers try to understand the role of social media design in shaping the quality of political discourse around the globe. In the past decades, scholarship on political discourse theory has produced distinct characteristics of different types of prominent political rhetoric such as deliberative, civic, or demagogic discourse. This study investigates the relationship between social media reaction mechanisms (i.e., upvotes, downvotes) and political rhetoric in user discussions by engaging in an in-depth conceptual analysis of political discourse theory. First, we analyze 155 million user comments in 55 political subforums on Reddit between 2010 and 2018 to explore whether users' style of political discussion aligns with the essential components of deliberative, civic, and demagogic discourse. Second, we perform a quantitative study that combines confirmatory factor analysis with difference in differences models to explore whether different reaction mechanism schemes (e.g., upvotes only, upvotes and downvotes, no reaction mechanisms) correspond with political user discussion that is more or less characteristic of deliberative, civic, or demagogic discourse. We produce three main takeaways. First, despite being "ideal constructs of political rhetoric," we find that political discourse theories describe political discussions on Reddit to a large extent. Second, we find that discussions in subforums with only upvotes, or both up- and downvotes are associated with user discourse that is more deliberate and civic. Third, social media discussions are most demagogic in subreddits with no reaction mechanisms at all. These findings offer valuable contributions for ongoing policy discussions on the relationship between social media interface design and respectful political discussion among users.


title: Identifying Heterogeneity in Regression Compositional Data Integration with Many Categories

abstract: In compositional data, detecting which part of the whole delineates heterogeneity is important. The aim is to propose a procedure to quantify this term in the multivariate regression context without abandoning the data's natural restriction. A single probabilistic model with a hierarchical structure was built for multiple compositional data. An objective criterion based on skewness and kurtosis metrics provides support to characterize each component's performance as well as to assist in choosing one component as a reference avoiding model identifiability issues. The inference procedure was done under the Bayesian approach using the Hamiltonian Monte Carlo (HMC) method to obtain the posterior distribution of interest. The Kullback-Leibler divergence (KLD) from information theory and the Aitchison distance metrics are calculated to compute the similarity between compositions to compare scenarios in the model validation process. The proposal was motivated by a composition structure with high uncertainty in the Abrolhos Reefs of Brazil as a consequence of a dam rupture. The results support an understanding of patterns in the studied process recognizing local effects on each component as well as quantifying the precision parameter. These highlights contribute to characterizing the marine life community in areas that were affected by anthropogenic damage.


title: Dynamics of growing carbon nanotube interfaces probed by machine learning-enabled molecular simulations

abstract: Carbon nanotubes (CNTs) are currently considered a successor to silicon in future nanoelectronic devices. To realize this, controlled growth of defect-free nanotubes is required. Until now, the understanding of atomic-scale CNT growth mechanisms provided by molecular dynamics simulations has been hampered by their short timescales. Here, we develop an efficient and accurate machine learning force field, DeepCNT-22, to simulate the complete growth of defect-free single-walled CNTs (SWCNTs) on iron catalysts at near-microsecond timescales. We provide atomic-level insight into the nucleation and growth processes of SWCNTs, including the evolution of the tube-catalyst interface and the mechanisms underlying defect formation and healing. Our simulations highlight the maximization of SWCNT-edge configurational entropy during growth and how defect-free CNTs can grow ultralong if carbon supply and temperature are carefully controlled.


title: Topological Feature Selection

abstract: In this paper, we introduce a novel unsupervised, graph-based filter feature selection technique which exploits the power of topologically constrained network representations. We model dependency structures among features using a family of chordal graphs (the Triangulated Maximally Filtered Graph), and we maximise the likelihood of features' relevance by studying their relative position inside the network. Such an approach presents three aspects that are particularly satisfactory compared to its alternatives: (i) it is highly tunable and easily adaptable to the nature of input data; (ii) it is fully explainable, maintaining, at the same time, a remarkable level of simplicity; (iii) it is computationally cheaper compared to its alternatives. We test our algorithm on 16 benchmark datasets from different applicative domains showing that it outperforms or matches the current state-of-the-art under heterogeneous evaluation conditions.


title: Comprehensive Evaluation of RSB and Spectre Vulnerability on Modern Processors

abstract: Performance-enhancing mechanisms such as branch prediction, out-of-order execution, and return stack buffer (RSB) have been widely employed in today's modern processing units. Although successful in increasing the CPU performance, exploiting the design flaws and security bugs in these components have set the background for various types of microarchitectural attacks such as Spectre and Meltdown. While many attacks such as Meltdown and Spectre have been numerously implemented and analyzed on Intel processors, few researches have been carried out to evaluate their impact on ARM processors. Moreover, SpectreRSB vulnerability, the newer variant of spectre attack based on RSB, has been neglected in recent studies. In this work, we first evaluate the SpectreRSB vulnerability by implementing this attack on ARM processors, which, to the best of our knowledge, has not been implemented and analyzed on ARM processors. We further present a security evaluation of ARM processors by implementing different variants of Spectre-family attacks. By analyzing the results obtained from various experiments, we evaluate ARM processors security regarding their diverse microarchitectural designs. We also introduce a high throughput and noise-free covert channel, based on the RSB structure. Based on our experiments, the throughput of the covert channel is 94.19KB/s with negligible error.


title: Well-posedness and scattering for a 2D inhomogeneous NLS with Aharonov-Bohm magnetic potential

abstract: We consider the magnetic nonlinear inhomogeneous Schr\"odinger equation $$i\partial_t u -\left(-i\nabla+\frac{\alpha}{|x|^2}(-x_2,x_1)\right)^2 u =\pm|x|^{-\varrho}|u|^{p-1}u,\quad (t,x)\in \mathbb{R}\times \mathbb{R}^2,$$ where $\alpha\in\mathbb{R}\setminus\mathbb{Z},\,\varrho>0,\,p>1$. We prove a dichotomy of global existence and scattering versus blow-up of energy solutions under the ground state threshold in the inter-critical regime. The scattering is obtained by using the new approach of Dodson-Murphy (A new proof of scattering below the ground state for the 3D radial focusing cubic NLS, {Proc. Am. Math. Soc.} (2017)). This method is based on Tao's scattering criteria and Morawetz estimates. The novelty here is twice: we investigate the case $\varrho\alpha\neq0$ and we consider general energy initial data (not necessarily radially symmetric).


title: Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?

abstract: Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a range of tools some of which need to be qualified for this purpose according to international standards. In this article, we first evaluate the state of the art of tool qualification for proof assistants, checkers (e.g., model checkers), and generators (e.g., code generators, compilers) by means of a SWOT (Strengths, Weaknesses, Opportunities, Threats) analysis. Our focus is on the qualification of tools in the three mentioned categories. Our objective is to assess under which conditions these tools are already fit or could be made fit for use in the practical engineering and assurance of high-integrity control software. In a second step, we derive a viewpoint and a corresponding range of suggestions for improved tool qualification from the results of our SWOT analysis.


title: Energy Consumption Minimization in Secure Multi-antenna UAV-assisted MEC Networks with Channel Uncertainty

abstract: This paper investigates the robust and secure task transmission and computation scheme in multi-antenna unmanned aerial vehicle (UAV)-assisted mobile edge computing (MEC) networks, where the UAV is dual-function, i.e., aerial MEC and aerial relay. The channel uncertainty is considered during information offloading and downloading. An energy consumption minimization problem is formulated under some constraints including users' quality of service and information security requirements and the UAV's trajectory's causality, by jointly optimizing the CPU frequency, the offloading time, the beamforming vectors, the artificial noise and the trajectory of the UAV, as well as the CPU frequency, the offloading time and the transmission power of each user. To solve the non-convex problem, a reformulated problem is first derived by a series of convex reformation methods, i.e., semi-definite relaxation, S-Procedure and first-order approximation, and then, solved by a proposed successive convex approximation (SCA)-based algorithm. The convergence performance and computational complexity of the proposed algorithm are analyzed. Numerical results demonstrate that the proposed scheme outperform existing benchmark schemes. Besides, the proposed SCA-based algorithm is superior to traditional alternative optimization-based algorithm.


title: Legitimacy of collective decisions: a mechanism design approach

abstract: We design two mechanisms that ensure that the majority preferred option wins in all equilibria. The first one is a simultaneous game where agents choose other agents to cooperate with on top of the vote for an alternative, thus overcoming recent impossibility results concerning the implementation of majority rule. The second one adds sequential ratification to the standard majority voting procedure allowing to reach the (correct) outcome in significantly fewer steps than the widely used roll call voting. Both mechanisms use off-equilibrium lotteries to incentivize truthful voting. We discuss different extensions, including the possibility for agents to abstain.


title: Influence of polydispersity on the relaxation mechanisms of glassy liquids

abstract: State-of-the-art techniques for simulating deeply supercooled liquids require a high degree of size polydispersity to be effective. While these techniques have enabled great insight into the microscopic dynamics near the glass transition, the effect of the large polydispersity on the dynamics has remained largely unstudied. Here we show that a particle's size not only has a strong correlation with its mobility, but we also observe that, as the mode-coupling temperature is crossed and the system becomes more deeply supercooled, a dynamic separation between small mobile and larger quiescent particles emerges at timescales corresponding to cage escape. Our results suggest that the cage escape of this population of mobile particles facilitates the later structural relaxation of the quiescent particles. In the deep supercooled regime, we show that particles of different sizes display varying degrees of breakdown of the Stokes-Einstein relation and have different activation energy barriers. Overall, this indicates that it is important to account for particle-size effects when generalizing results to other glass-forming systems.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Magnetic domain engineering in antiferromagnetic CuMnAs and Mn$_2$Au devices

abstract: Antiferromagnetic materials hold potential for use in spintronic devices with fast operation frequencies and field robustness. Despite the rapid progress in proof-of-principle functionality in recent years, there has been a notable lack of understanding of antiferromagnetic domain formation and manipulation, which translates to either incomplete or non-scalable control of the magnetic order. Here, we demonstrate simple and functional ways of influencing the domain structure in CuMnAs and Mn2Au, two key materials of antiferromagnetic spintronics research, using device patterning and strain engineering. Comparing x-ray microscopy data from two different materials, we reveal the key parameters dictating domain formation in antiferromagnetic devices and show how the non-trivial interaction of magnetostriction, substrate clamping and edge anisotropy leads to specific equilibrium domain configurations. More specifically, we observe that patterned edges have a significant impact on the magnetic anisotropy and domain structure over long distances, and we propose a theoretical model that relates short-range edge anisotropy and long-range magnetoelastic interactions. The principles invoked are of general applicability to the domain formation and engineering in antiferromagnetic thin films at large, which will pave the way towards realizing truly functional antiferromagnetic devices.


title: Auto.gov: Learning-based On-chain Governance for Decentralized Finance (DeFi)

abstract: In recent years, decentralized finance (DeFi) has experienced remarkable growth, with various protocols such as lending protocols and automated market makers (AMMs) emerging. Traditionally, these protocols employ off-chain governance, where token holders vote to modify parameters. However, manual parameter adjustment, often conducted by the protocol's core team, is vulnerable to collusion, compromising the integrity and security of the system. Furthermore, purely deterministic, algorithm-based approaches may expose the protocol to novel exploits and attacks. In this paper, we present "Auto.gov", a learning-based on-chain governance framework for DeFi that enhances security and reduces susceptibility to attacks. Our model leverages a deep Q- network (DQN) reinforcement learning approach to propose semi-automated, intuitive governance proposals with quantitative justifications. This methodology enables the system to efficiently adapt to and mitigate the negative impact of malicious behaviors, such as price oracle attacks, more effectively than benchmark models. Our evaluation demonstrates that Auto.gov offers a more reactive, objective, efficient, and resilient solution compared to existing manual processes, thereby significantly bolstering the security and, ultimately, enhancing the profitability of DeFi protocols.


title: Photocurrent imaging of hybrid polaritons in graphene based heterostructures

abstract: Photocurrent is arising as a powerful tool for detecting in-plane collective excitations in hybrid polariton systems. In this paper, based on the intrinsic optoelectric response of graphene, photocurrent imaging of in-plane plasmons from each graphene layer is presented in a hybrid graphene-graphene heterostructure. In combination with near-field optical signals which detect plasmons above the sample, three dimensional detection of hybrid plasmons is demonstrated. Especially, only an electronic boundary is necessary for the electrical detection of hybrid plasmons, which acts as both the photocurrent junction and plasmon reflector. Our studies would promote electrical studies of polariton related physical phenomena and pave the way towards all-electrical nano-optical processing.


title: Quantum-Enhanced Topological Data Analysis: A Peep from an Implementation Perspective

abstract: There is heightened interest in quantum algorithms for Topological Data Analysis (TDA) as it is a powerful tool for data analysis, but it can get highly computationally expensive. Even though there are different propositions and observations for Quantum Topological Data Analysis (QTDA), the necessary details to implement them on software platforms are lacking. Towards closing this gap, the present paper presents an implementation of one such algorithm for calculating Betti numbers. The step-by-step instructions for the chosen quantum algorithm and the aspects of how it can be used for machine learning tasks are provided. We provide encouraging results on using Betti numbers for classification and give a preliminary analysis of the effect of the number of shots and precision qubits on the outcome of the quantum algorithm.


title: Mixed Hierarchy Network for Image Restoration

abstract: Image restoration is a long-standing low-level vision problem, e.g., deblurring and deraining. In the process of image restoration, it is necessary to consider not only the spatial details and contextual information of restoration to ensure the quality, but also the system complexity. Although many methods have been able to guarantee the quality of image restoration, the system complexity of the state-of-the-art (SOTA) methods is increasing as well. Motivated by this, we present a mixed hierarchy network that can balance these competing goals. Our main proposal is a mixed hierarchy architecture, that progressively recovers contextual information and spatial details from degraded images while we design intra-blocks to reduce system complexity. Specifically, our model first learns the contextual information using encoder-decoder architectures, and then combines them with high-resolution branches that preserve spatial detail. In order to reduce the system complexity of this architecture for convenient analysis and comparison, we replace or remove the nonlinear activation function with multiplication and use a simple network structure. In addition, we replace spatial convolution with global self-attention for the middle block of encoder-decoder. The resulting tightly interlinked hierarchy architecture, named as MHNet, delivers strong performance gains on several image restoration tasks, including image deraining, and deblurring.


title: Estimation and Early Prediction of Grip Force Based on sEMG Signals and Deep Recurrent Neural Networks

abstract: Hands are used for communicating with the surrounding environment and have a complex structure that enables them to perform various tasks with their multiple degrees of freedom. Hand amputation can prevent a person from performing their daily activities. In that event, finding a suitable, fast, and reliable alternative for the missing limb can affect the lives of people who suffer from such conditions. As the most important use of the hands is to grasp objects, the purpose of this study is to accurately predict gripping force from surface electromyography (sEMG) signals during a pinch-type grip. In that regard, gripping force and sEMG signals are derived from 10 healthy subjects. Results show that for this task, recurrent networks outperform nonrecurrent ones, such as a fully connected multilayer perceptron (MLP) network. Gated recurrent unit (GRU) and long short-term memory (LSTM) networks can predict the gripping force with R-squared values of 0.994 and 0.992, respectively, and a prediction rate of over 1300 predictions per second. The predominant advantage of using such frameworks is that the gripping force can be predicted straight from preprocessed sEMG signals without any form of feature extraction, not to mention the ability to predict future force values using larger prediction horizons adequately. The methods presented in this study can be used in the myoelectric control of prosthetic hands or robotic grippers.


title: Supervised Contrastive Learning and Feature Fusion for Improved Kinship Verification

abstract: Facial Kinship Verification is the task of determining the degree of familial relationship between two facial images. It has recently gained a lot of interest in various applications spanning forensic science, social media, and demographic studies. In the past decade, deep learning-based approaches have emerged as a promising solution to this problem, achieving state-of-the-art performance. In this paper, we propose a novel method for solving kinship verification by using supervised contrastive learning, which trains the model to maximize the similarity between related individuals and minimize it between unrelated individuals. Our experiments show state-of-the-art results and achieve 81.1% accuracy in the Families in the Wild (FIW) dataset.


title: On the accuracy of a recent regularized nuclear potential

abstract: F. Gygi recently suggested an analytic, norm-conserving, regularized nuclear potential to enable all-electron plane-wave calculations [J. Chem. Theory Comput. 2023, 19, 1300--1309]. This potential $V(r)$ is determined by inverting the Schr\"odinger equation for the wave function ansatz $\phi(\boldsymbol{r})=\exp[-h(\boldsymbol{r})]/\sqrt{\pi}$ with $h(\boldsymbol{r})=r\text{erf}(ar)+b\exp(-a^{2}r^{2})$, where $a$ and $b$ are parameters. Gygi fixes $b$ by demanding $\phi$ to be normalized, the value $b(a)$ depending on the strength of the regularization controlled by $a$. We begin this work by re-examining the determination of $b(a)$ and find that the original 10-decimal tabulations of Gygi are only correct to 5 decimals, leading to normalization errors in the order of $10^{-10}$. In contrast, we show that a simple 100-point radial quadrature scheme not only ensures at least 10 correct decimals of $b$, but also leads to machine-precision level satisfaction of the normalization condition. Moreover, we extend Gygi's plane-wave study by examining the accuracy of $V(r)$ with high-precision finite element calculations with Hartree-Fock and LDA, GGA, and meta-GGA functionals on first- to fifth-period atoms. We find that although the convergence of the total energy appears slow in the regularization parameter $a$, orbital energies and shapes are indeed reproduced accurately by the regularized potential even with relatively small values of $a$, as compared to results obtained with a point nucleus. The accuracy of the potential is furthermore studied with $s$-$d$ excitation energies of Sc--Cu as well as ionization potentials of He--Kr, which are found to converge to sub-meV precision with $a=4$. The findings of this work are in full support of Gygi's contribution, indicating that all-electron plane-wave calculations can be accurately performed with the regularized nuclear potential.


title: Of (Biological) Models and Simulations

abstract: Modeling and simulation are recognized as important aspects of the scientific method for more than 70 years but its adoption in biology has been slow. Debates on its representativeness, usefulness, and whether the effort spent on such endeavors is worthwhile, exist to this day. Here, I argue that most of learning is modeling; hence, arriving at a contradiction if models are not useful. Representing biological systems through mathematical models can be difficult but the modeling procedure is a process in itself that follows a semi-formal set of rules. Although seldom reported, failure in modeling is not a rare event but I argue that this is usually a result of erroneous underlying knowledge or misapplication of a model beyond its intended purpose. I argue that in many biological studies, simulation is the only experimental tool. In others, simulation is a means of reducing possible combinations of experimental work; thereby, presenting an economical case for simulation; thus, worthwhile to engage in this endeavor. The representativeness of simulation depends on the validation, verification, assumptions, and limitations of the underlying model. This will be illustrated using the inter-relationship between population, samples, probability theory, and statistics.


title: Physics-guided deep reinforcement learning for flow field denoising

abstract: A multi-agent deep reinforcement learning (DRL)-based model is presented in this study to reconstruct flow fields from noisy data. A combination of the reinforcement learning with pixel-wise rewards (PixelRL), physical constraints represented by the momentum equation and the pressure Poisson equation and the known boundary conditions is utilised to build a physics-guided deep reinforcement learning (PGDRL) model that can be trained without the target training data. In the PGDRL model, each agent corresponds to a point in the flow field and it learns an optimal strategy for choosing pre-defined actions. The proposed model is efficient considering the visualisation of the action map and the interpretation of the model performance. The performance of the model is tested by utilising synthetic direct numerical simulation (DNS)-based noisy data and experimental data obtained by particle image velocimetry (PIV). Qualitative and quantitative results show that the model can reconstruct the flow fields and reproduce the statistics and the spectral content with commendable accuracy. These results demonstrate that the combination of DRL-based models and the known physics of the flow fields can potentially help solve complex flow reconstruction problems, which can result in a remarkable reduction in the experimental and computational costs.


title: Deep Selector-JPEG: Adaptive JPEG Image Compression for Computer Vision in Image classification with Human Vision Criteria

abstract: With limited storage/bandwidth resources, input images to Computer Vision (CV) applications that use Deep Neural Networks (DNNs) are often encoded with JPEG that is tailored to Human Vision (HV). This paper presents Deep Selector-JPEG, an adaptive JPEG compression method that targets image classification while satisfying HV criteria. For each image, Deep Selector-JPEG selects adaptively a Quality Factor (QF) to compress the image so that a good trade-off between the Compression Ratio (CR) and DNN classifier Accuracy (Rate-Accuracy performance) can be achieved over a set of images for a variety of DNN classifiers while the MS-SSIM of such compressed image is greater than a threshold value predetermined by HV with a high probability. Deep Selector-JPEG is designed via light-weighted or heavy-weighted selector architectures. Experimental results show that in comparison with JPEG at the same CR, Deep Selector-JPEG achieves better Rate-Accuracy performance over the ImageNet validation set for all tested DNN classifiers with gains in classification accuracy between 0.2% and 1% at the same CRs while satisfying HV constraints. Deep Selector-JPEG can also roughly provide the original classification accuracy at higher CRs.


title: TAX: Tendency-and-Assignment Explainer for Semantic Segmentation with Multi-Annotators

abstract: To understand how deep neural networks perform classification predictions, recent research attention has been focusing on developing techniques to offer desirable explanations. However, most existing methods cannot be easily applied for semantic segmentation; moreover, they are not designed to offer interpretability under the multi-annotator setting. Instead of viewing ground-truth pixel-level labels annotated by a single annotator with consistent labeling tendency, we aim at providing interpretable semantic segmentation and answer two critical yet practical questions: "who" contributes to the resulting segmentation, and "why" such an assignment is determined. In this paper, we present a learning framework of Tendency-and-Assignment Explainer (TAX), designed to offer interpretability at the annotator and assignment levels. More specifically, we learn convolution kernel subsets for modeling labeling tendencies of each type of annotation, while a prototype bank is jointly observed to offer visual guidance for learning the above kernels. For evaluation, we consider both synthetic and real-world datasets with multi-annotators. We show that our TAX can be applied to state-of-the-art network architectures with comparable performances, while segmentation interpretability at both levels can be offered accordingly.


title: The Fermat cubic and monodromy of lines

abstract: In this paper we study properties of the locus of second type lines of a general cubic threefold and fourfold. By analysing the geometry of the Fano scheme of lines of the Fermat cubic fourfold and in particular giving an explicit description of the locus of second type lines, we deduce that the Voisin map is birational over the second type locus. For a general cubic threefold, by studying properties of the second type locus again, we compute that various natural geometric monodromy groups are the full symmetric group.


title: Two Cellular Resource Based Models Linking Growth and Parts Characteristics Aids the Study and Optimization of Synthetic Gene Circuits

abstract: A major challenge in synthetic genetic circuit development is the inter-dependency between heterologous gene expressions by circuits and host's growth rate. Increasing heterologous gene expression increases burden to the host, resulting in host growth reduction; which reduces overall heterologous protein abundance. Hence, it is difficult to design predictable genetic circuits. Here, we develop two biophysical models; one for promoter, another for RBS; to correlate heterologous gene expression and growth reduction. We model cellular resource allocation in E. coli to describe the burden, as growth reduction, caused by genetic circuits. To facilitate their uses in genetic circuit design, inputs to the model are common characteristics of biological parts [e.g. relative promoter strength (RPU) and relative ribosome binding sites strength (RRU)]. The models suggest that E. coli's growth rate reduces linearly with increasing RPU / RRU of the genetic circuits; thus, providing 2 handy models taking parts characteristics as input to estimate growth rate reduction for fine tuning genetic circuit design in silico prior to construction. Our promoter model correlates well with experiments using various genetic circuits, both single and double expression cassettes, up to a relative promoter unit of 3.7 with a 60% growth rate reduction (average R2 ~ 0.9).


title: Fixflow: A Framework to Evaluate Fixed-point Arithmetic in Light-Weight CNN Inference

abstract: Convolutional neural networks (CNN) are widely used in resource-constrained devices in IoT applications. In order to reduce the computational complexity and memory footprint, the resource-constrained devices use fixed-point representation. This representation consumes less area and energy in hardware with similar classification accuracy compared to the floating-point ones. However, to employ the low-precision fixed-point representation, various considerations to gain high accuracy are required. Although many quantization and re-training techniques are proposed to improve the inference accuracy, these approaches are time-consuming and require access to the entire dataset. This paper investigates the effect of different fixed-point hardware units on CNN inference accuracy. To this end, we provide a framework called Fixflow to evaluate the effect of fixed-point computations performed at hardware level on CNN classification accuracy. We can employ different fixed-point considerations at the hardware accelerators.This includes rounding methods and adjusting the precision of the fixed-point operation's result. Fixflow can determine the impact of employing different arithmetic units (such as truncated multipliers) on CNN classification accuracy. Moreover, we evaluate the energy and area consumption of these units in hardware accelerators. We perform experiments on two common MNIST and CIFAR-10 datasets. Our results show that employing different methods at the hardware level specially with low-precision, can significantly change the classification accuracy.


title: Optimizing YOLOv7 for Semiconductor Defect Detection

abstract: The field of object detection using Deep Learning (DL) is constantly evolving with many new techniques and models being proposed. YOLOv7 is a state-of-the-art object detector based on the YOLO family of models which have become popular for industrial applications. One such possible application domain can be semiconductor defect inspection. The performance of any machine learning model depends on its hyperparameters. Furthermore, combining predictions of one or more models in different ways can also affect performance. In this research, we experiment with YOLOv7, a recently proposed, state-of-the-art object detector, by training and evaluating models with different hyperparameters to investigate which ones improve performance in terms of detection precision for semiconductor line space pattern defects. The base YOLOv7 model with default hyperparameters and Non Maximum Suppression (NMS) prediction combining outperforms all RetinaNet models from previous work in terms of mean Average Precision (mAP). We find that vertically flipping images randomly during training yields a 3% improvement in the mean AP of all defect classes. Other hyperparameter values improved AP only for certain classes compared to the default model. Combining models that achieve the best AP for different defect classes was found to be an effective ensembling strategy. Combining predictions from ensembles using Weighted Box Fusion (WBF) prediction gave the best performance. The best ensemble with WBF improved on the mAP of the default model by 10%.


title: Optimization Methods in Deep Learning: A Comprehensive Overview

abstract: In recent years, deep learning has achieved remarkable success in various fields such as image recognition, natural language processing, and speech recognition. The effectiveness of deep learning largely depends on the optimization methods used to train deep neural networks. In this paper, we provide an overview of first-order optimization methods such as Stochastic Gradient Descent, Adagrad, Adadelta, and RMSprop, as well as recent momentum-based and adaptive gradient methods such as Nesterov accelerated gradient, Adam, Nadam, AdaMax, and AMSGrad. We also discuss the challenges associated with optimization in deep learning and explore techniques for addressing these challenges, including weight initialization, batch normalization, and layer normalization. Finally, we provide recommendations for selecting optimization methods for different deep learning tasks and datasets. This paper serves as a comprehensive guide to optimization methods in deep learning and can be used as a reference for researchers and practitioners in the field.


title: Photo-physics of Hybrid Metal Halide Perovskite Semiconductor Thin Films: Application in Photovoltaic

abstract: This thesis demonstrates the photo-physics of hybrid metal halide perovskite semiconductor thin films and its application to solar cells.


title: Aerodynamic performance enhancement and noise reduction for Darrieus vertical axis wind turbines: V-shaped blades and trailing-edge serrations

abstract: The Darrieus vertical axis wind turbines (VAWTs) are one of the mainstream devices for wind energy utilization in the urban areas. The market's pursuit of high wind energy conversion efficiency promotes the research on improving the wind turbine power coefficient while reducing noise. This paper makes further investigation on the aerodynamics and aeroacoustics of a small VAWT with V-shaped blades and trailing-edge serrations. The feasibility of utilizing the Reynolds-Averaged Navier-Stokes SST k-omega turbulence model and the FW-H method is verified against experiments. The studied V-shaped blades can effectively improve the power performance of VAWT over a wide range of tip speed ratios under normal wind speed conditions, and the trailing-edge serrations will also slightly increase the power output of V-bladed VAWT at the optimal tip speed ratio. The power coefficient of the V-bladed wind turbine with trailing-edge serrations is about 28.3% higher than that of the original turbine. In addition, a dumbbell-shaped noise directivity distribution was first discovered in the VAWT compared with the traditional elliptical distribution. The V-bladed VAWT generated less low-frequency noise and the trailing-edge serrations realized the expected noise reduction effect. Practically, this study proposes a feasible solution for the design of high-efficiency and low-noise wind turbines.


title: SEMI-PointRend: Improved Semiconductor Wafer Defect Classification and Segmentation as Rendering

abstract: In this study, we applied the PointRend (Point-based Rendering) method to semiconductor defect segmentation. PointRend is an iterative segmentation algorithm inspired by image rendering in computer graphics, a new image segmentation method that can generate high-resolution segmentation masks. It can also be flexibly integrated into common instance segmentation meta-architecture such as Mask-RCNN and semantic meta-architecture such as FCN. We implemented a model, termed as SEMI-PointRend, to generate precise segmentation masks by applying the PointRend neural network module. In this paper, we focus on comparing the defect segmentation predictions of SEMI-PointRend and Mask-RCNN for various defect types (line-collapse, single bridge, thin bridge, multi bridge non-horizontal). We show that SEMI-PointRend can outperforms Mask R-CNN by up to 18.8% in terms of segmentation mean average precision.


title: A Posteriori Error Estimates for A Modified Weak Galerkin Finite Element Method Solving Linear Elasticity Problems

abstract: In this paper, a residual-type a posteriori error estimator is proposed and analyzed for a modified weak Galerkin finite element method solving linear elasticity problems. The estimator is proven to be both reliable and efficient because it provides upper and lower bounds on the actual error in a discrete energy norm. Numerical experiments are given to illustrate the effectiveness of the this error estimator.


title: More on tame dynamical systems

abstract: In this work, on the one hand, we survey and amplify old results concerning tame dynamical systems and, on the other, prove some new results and exhibit new examples of such systems. In particular, we study tame symbolic systems and establish a neat characterization of tame subshifts. We also provide sufficient conditions which ensure that certain coding functions are tame. Finally we discuss examples where certain universal dynamical systems associated with some Polish groups are tame.


title: Rethinking Data-Free Quantization as a Zero-Sum Game

abstract: Data-free quantization (DFQ) recovers the performance of quantized network (Q) without accessing the real data, but generates the fake sample via a generator (G) by learning from full-precision network (P) instead. However, such sample generation process is totally independent of Q, specialized as failing to consider the adaptability of the generated samples, i.e., beneficial or adversarial, over the learning process of Q, resulting into non-ignorable performance loss. Building on this, several crucial questions -- how to measure and exploit the sample adaptability to Q under varied bit-width scenarios? how to generate the samples with desirable adaptability to benefit the quantized network? -- impel us to revisit DFQ. In this paper, we answer the above questions from a game-theory perspective to specialize DFQ as a zero-sum game between two players -- a generator and a quantized network, and further propose an Adaptability-aware Sample Generation (AdaSG) method. Technically, AdaSG reformulates DFQ as a dynamic maximization-vs-minimization game process anchored on the sample adaptability. The maximization process aims to generate the sample with desirable adaptability, such sample adaptability is further reduced by the minimization process after calibrating Q for performance recovery. The Balance Gap is defined to guide the stationarity of the game process to maximally benefit Q. The theoretical analysis and empirical studies verify the superiority of AdaSG over the state-of-the-arts. Our code is available at https://github.com/hfutqian/AdaSG.


title: Homomorphisms of $L^1$ algebras and Fourier algebras

abstract: We investigate conditions for the extendibility of continuous algebra homomorphisms $\phi$ from the Fourier algebra $A(F)$ of a locally compact group $F$ to the Fourier-Stieltjes algebra $B(G)$ of a locally compact group $G$ to maps between the corresponding $L^\infty$ algebras which are weak* continuous. When $\phi$ is completely bounded and $F$ is amenable, it is induced by a piecewise affine map $\alpha: Y\to F$ where $Y\subseteq G$. We show that extendibility of $\phi$ is equivalent to $\alpha$ being an open map. We also study the dual problem for contractive homomorphisms $\phi: L^1(F)\to M(G)$. We show that $\phi$ induces a w* continuous homomorphism between the von Neumann algebras of the groups if and only if the naturally associated map $\theta$ (Greenleaf [1965], Stokke [2011]) is a proper map.


title: Guided Deep Kernel Learning

abstract: Combining Gaussian processes with the expressive power of deep neural networks is commonly done nowadays through deep kernel learning (DKL). Unfortunately, due to the kernel optimization process, this often results in losing their Bayesian benefits. In this study, we present a novel approach for learning deep kernels by utilizing infinite-width neural networks. We propose to use the Neural Network Gaussian Process (NNGP) model as a guide to the DKL model in the optimization process. Our approach harnesses the reliable uncertainty estimation of the NNGPs to adapt the DKL target confidence when it encounters novel data points. As a result, we get the best of both worlds, we leverage the Bayesian behavior of the NNGP, namely its robustness to overfitting, and accurate uncertainty estimation, while maintaining the generalization abilities, scalability, and flexibility of deep kernels. Empirically, we show on multiple benchmark datasets of varying sizes and dimensionality, that our method is robust to overfitting, has good predictive performance, and provides reliable uncertainty estimations.


title: Stationary Point Losses for Robust Model

abstract: The inability to guarantee robustness is one of the major obstacles to the application of deep learning models in security-demanding domains. We identify that the most commonly used cross-entropy (CE) loss does not guarantee robust boundary for neural networks. CE loss sharpens the neural network at the decision boundary to achieve a lower loss, rather than pushing the boundary to a more robust position. A robust boundary should be kept in the middle of samples from different classes, thus maximizing the margins from the boundary to the samples. We think this is due to the fact that CE loss has no stationary point. In this paper, we propose a family of new losses, called stationary point (SP) loss, which has at least one stationary point on the correct classification side. We proved that robust boundary can be guaranteed by SP loss without losing much accuracy. With SP loss, larger perturbations are required to generate adversarial examples. We demonstrate that robustness is improved under a variety of adversarial attacks by applying SP loss. Moreover, robust boundary learned by SP loss also performs well on imbalanced datasets.


title: The Effect of Metallicity on the Non-Equilibrium Abundance of Hydrogen Dominated Exoplanet Atmosphere

abstract: The atmospheric metallicity greatly influences the composition of exoplanet atmospheres. The effect of metallicity on the thermochemical equilibrium is well studied, though its effect on the disequilibrium abundance is loosely constrained. In this study, we have used the quenching approximation to study the effect of metallicity on the quenched abundance for a range of parameters (temperature: 500-2500 K, pressure: 10$^{-4}$-10$^3$ bar, metallicity: 0.1-1000 $\times$ solar metallicity). We determine the chemical timescale by finding rate limiting steps in a reduced chemical network with a network analysis tool and the thermochemical equilibrium abundance. The equilibrium abundance results are similar to the literature. The CO, H$_2$O, and CO$_2$ abundances increase with metallicity in the parameter range considered. The CH$_4$ abundance increases with metallicity for CO/CH$_4$ $<$ 1 and is unaffected for CO/CH$_4$ $>$ 1. The chemical timescale of CO shows minimal change with the metallicity, while the CH$_4$ chemical timescale is inversely proportional to atmospheric metallicity. The quench level of CO shifts into the high-pressure region, and the quench level of CH$_4$ shows complex behavior with metallicity. We benchmarked the quenching approximation with the 1D photochemistry-transport model for two test exoplanets (GJ 1214 b and HD 189733 b) and found it to be in good agreement. We also found that the quenching approximation is a powerful tool to constrain atmospheric parameters. We demonstrated this by constraining the metallicity and transport strength for the test exoplanets HR 8799 b, HD 189733 b, GJ 436 b, and WASP-39 b.


title: A Possible Chemical Clock in High-mass Star-forming Regions: N(HC3N)/N(N2H+)?

abstract: We conducted observations of multiple HC3N (J = 10-9, 12-11, and 16-15) lines and the N2H+ (J = 1-0) line toward a large sample of 61 ultracompact (UC) H II regions, through the Institutde Radioastronomie Millmetrique 30 m and the Arizona Radio Observatory 12 m telescopes. The N2H+ J = 1-0 line is detected in 60 sources and HC3N is detected in 59 sources, including 40 sources with three lines, 9 sources with two lines, and 10 sources with one line. Using the rotational diagram, the rotational temperature and column density of HC3N were estimated toward sources with at least two HC3N lines. For 10 sources with only one HC3N line, their parameters were estimated, taking one average value of Trot. For N2H+, we estimated the optical depth of the N2H+ J = 1-0 line, based on the line intensity ratio of its hyperfine structure lines. Then the excitation temperature and column density were calculated. When combining our results in UC H II regions and previous observation results on high-mass starless cores and high-mass protostellar cores, the N(HC3N)/N(N2H+) ratio clearly increases from the region stage. This means that the abundance ratio changes with the evolution of high-mass star-forming regions (HMSFRs). Moreover, positive correlations between the ratio and other evolutionary indicators (dust temperature, bolometric luminosity, and luminosity-to-mass ratio) are found. Thus we propose the ratio of N(HC3N)/N(N2H+) as a reliable chemical clock of HMSFRs.


title: On Feasibility of Server-side Backdoor Attacks on Split Learning

abstract: Split learning is a collaborative learning design that allows several participants (clients) to train a shared model while keeping their datasets private. Recent studies demonstrate that collaborative learning models, specifically federated learning, are vulnerable to security and privacy attacks such as model inference and backdoor attacks. Backdoor attacks are a group of poisoning attacks in which the attacker tries to control the model output by manipulating the model's training process. While there have been studies regarding inference attacks on split learning, it has not yet been tested for backdoor attacks. This paper performs a novel backdoor attack on split learning and studies its effectiveness. Despite traditional backdoor attacks done on the client side, we inject the backdoor trigger from the server side. For this purpose, we provide two attack methods: one using a surrogate client and another using an autoencoder to poison the model via incoming smashed data and its outgoing gradient toward the innocent participants. We did our experiments using three model architectures and three publicly available datasets in the image domain and ran a total of 761 experiments to evaluate our attack methods. The results show that despite using strong patterns and injection methods, split learning is highly robust and resistant to such poisoning attacks. While we get the attack success rate of 100% as our best result for the MNIST dataset, in most of the other cases, our attack shows little success when increasing the cut layer.


title: Evaluating Representations with Readout Model Switching

abstract: Although much of the success of Deep Learning builds on learning good representations, a rigorous method to evaluate their quality is lacking. In this paper, we treat the evaluation of representations as a model selection problem and propose to use the Minimum Description Length (MDL) principle to devise an evaluation metric. Contrary to the established practice of limiting the capacity of the readout model, we design a hybrid discrete and continuous-valued model space for the readout models and employ a switching strategy to combine their predictions. The MDL score takes model complexity, as well as data efficiency into account. As a result, the most appropriate model for the specific task and representation will be chosen, making it a unified measure for comparison. The proposed metric can be efficiently computed with an online method and we present results for pre-trained vision encoders of various architectures (ResNet and ViT) and objective functions (supervised and self-supervised) on a range of downstream tasks. We compare our methods with accuracy-based approaches and show that the latter are inconsistent when multiple readout models are used. Finally, we discuss important properties revealed by our evaluations such as model scaling, preferred readout model, and data efficiency.


title: Non-separable Covariance Kernels for Spatiotemporal Gaussian Processes based on a Hybrid Spectral Method and the Harmonic Oscillator

abstract: Gaussian processes provide a flexible, non-parametric framework for the approximation of functions in high-dimensional spaces. The covariance kernel is the main engine of Gaussian processes, incorporating correlations that underpin the predictive distribution. For applications with spatiotemporal datasets, suitable kernels should model joint spatial and temporal dependence. Separable space-time covariance kernels offer simplicity and computational efficiency. However, non-separable kernels include space-time interactions that better capture observed correlations. Most non-separable kernels that admit explicit expressions are based on mathematical considerations (admissibility conditions) rather than first-principles derivations. We present a hybrid spectral approach for generating covariance kernels which is based on physical arguments. We use this approach to derive a new class of physically motivated, non-separable covariance kernels which have their roots in the stochastic, linear, damped, harmonic oscillator (LDHO). The new kernels incorporate functions with both monotonic and oscillatory decay of space-time correlations. The LDHO covariance kernels involve space-time interactions which are introduced by dispersion relations that modulate the oscillator coefficients. We derive explicit relations for the spatiotemporal covariance kernels in the three oscillator regimes (underdamping, critical damping, overdamping) and investigate their properties. We further illustrate the hybrid spectral method by deriving covariance kernels that are based on the Ornstein-Uhlenbeck model.


title: Integral equivariant $K$-theory and cobordism ring of simplicial GKM orbifold complexes

abstract: In this paper, we define `simplicial GKM orbifold complexes' and study some of their topological properties. We introduce the concept of filtration of regular graphs and `simplicial graph complexes', which have close relations with simplicial GKM orbifold complexes. We discuss the necessary conditions to confirm an invariant $q$-CW complex structure on a simplicial GKM orbifold complex. We introduce `buildable' and `divisive' simplicial GKM orbifold complexes. We show that a buildable simplicial GKM orbifold complex is equivariantly formal, and a divisive simplicial GKM orbifold complex is integrally equivariantly formal. We give a combinatorial description of the integral equivariant cohomology ring of certain simplicial GKM orbifold complexes. We prove the Thom isomorphism theorem for orbifold $G$-vector bundles for equivariant cohomology and equivariant $K$-theory with rational coefficients. We extend the main result of Harada-Henriques-Holm (2005) to the category of $G$-spaces equipped with `singular invariant stratification'. We compute the integral equivariant cohomology ring, equivariant $K$-theory ring and equivariant cobordism ring of divisive simplicial GKM orbifold complexes. We describe a basis of the integral generalized equivariant cohomology of a divisive simplicial GKM orbifold complex.


title: Language-Specific Representation of Emotion-Concept Knowledge Causally Supports Emotion Inference

abstract: Humans no doubt use language to communicate about their emotional experiences, but does language in turn help humans understand emotions, or is language just a vehicle of communication? This study used a form of artificial intelligence (AI) known as large language models (LLMs) to assess whether language-based representations of emotion causally contribute to the AI's ability to generate inferences about the emotional meaning of novel situations. Fourteen attributes of human emotion concept representation were found to be represented by the LLM's distinct artificial neuron populations. By manipulating these attribute-related neurons, we in turn demonstrated the role of emotion concept knowledge in generative emotion inference. The attribute-specific performance deterioration was related to the importance of different attributes in human mental space. Our findings provide a proof-in-concept that even a LLM can learn about emotions in the absence of sensory-motor representations and highlight the contribution of language-derived emotion-concept knowledge for emotion inference.


title: Alternating Walk/Zeta Correspondence

abstract: We consider the alternating zeta function and the alternating $L$-function of a graph $G$, and express them by using the Ihara zeta function of $G$. Next, we define a generalized alternating zeta function of a graph, and express the generalized alternating zeta function of a vertex-transitive regular graph by spectra of the transition probability matrix of the symmetric simple random walk on it and its Laplacian. Furthermore, we present an integral expression for the limit of the generalized alternating zeta functions of a series of vertex-transitive regular graphs. As an example, we treat the generalized alternating zeta functions of a finite torus. Finally, we treat the relation between the Mahler measure and the alternating zeta function of a graph.


title: DGP-Net: Dense Graph Prototype Network for Few-Shot SAR Target Recognition

abstract: The inevitable feature deviation of synthetic aperture radar (SAR) image due to the special imaging principle (depression angle variation) leads to poor recognition accuracy, especially in few-shot learning (FSL). To deal with this problem, we propose a dense graph prototype network (DGP-Net) to eliminate the feature deviation by learning potential features, and classify by learning feature distribution. The role of the prototype in this model is to solve the problem of large distance between congeneric samples taken due to the contingency of single sampling in FSL, and enhance the robustness of the model. Experimental results on the MSTAR dataset show that the DGP-Net has good classification results for SAR images with different depression angles and the recognition accuracy of it is higher than typical FSL methods.


title: StreamingFlow: Streaming Occupancy Forecasting with Asynchronous Multi-modal Data Streams via Neural Ordinary Differential Equation

abstract: Predicting the future occupancy states of the surrounding environment is a vital task for autonomous driving. However, current best-performing single-modality methods or multi-modality fusion perception methods are only able to predict uniform snapshots of future occupancy states and require strictly synchronized sensory data for sensor fusion. We propose a novel framework, StreamingFlow, to lift these strong limitations. StreamingFlow is a novel BEV occupancy predictor that ingests asynchronous multi-sensor data streams for fusion and performs streaming forecasting of the future occupancy map at any future timestamps. By integrating neural ordinary differential equations (N-ODE) into recurrent neural networks, StreamingFlow learns derivatives of BEV features over temporal horizons, updates the implicit sensor's BEV features as part of the fusion process, and propagates BEV states to the desired future time point. It shows good zero-shot generalization ability of prediction, reflected in the interpolation of the observed prediction time horizon and the reasonable inference of the unseen farther future period. Extensive experiments on two large-scale datasets, nuScenes and Lyft L5, demonstrate that StreamingFlow significantly outperforms previous vision-based, LiDAR-based methods, and shows superior performance compared to state-of-the-art fusion-based methods.


title: Occupant's Behavior and Emotion Based Indoor Environment's Illumination Regulation

abstract: This paper presents an efficient approach for building occupancy modeling to reduce energy consumption. In this work, a novel approach to occupancy modeling based on the posture and comfort level of the occupant is developed, and subsequently, we report a new and efficient framework for detecting posture and emotion from skeleton joints and face points data respectively obtained from the Kinect sensor. The proposed approach is tested in terms of accuracy, region of convergence, and confusion matrix using several machine learning techniques. Out of all the techniques, random forest classifier gave the maximum blind test accuracy for multi-class classification of posture detection. Deep learning is used for emotion detection using several optimizers out of which Adadelta gave the maximum blind test accuracy for multi-class classification. Along with the Kinect sensor, several other sensors such as the magnetic door sensor, pyroelectric sensors, and illumination sensors are connected through a wireless network using Raspberry Pi Zero W. Thus creating an unmanned technique for illumination regulation.


title: On the Reliability and Explainability of Language Models for Program Generation

abstract: Recent studies have adopted pre-trained language models, such as CodeT5 and CodeGPT, for automated program generation tasks like code generation, repair, and translation. Numerous language model-based approaches have been proposed and evaluated on various benchmark datasets, demonstrating promising performance. However, there is still uncertainty about the reliability of these models, particularly their realistic ability to consistently transform code sequences. This raises the question: are these techniques sufficiently trustworthy for automated program generation? Consequently, Further research is needed to understand model logic and assess reliability and explainability. To bridge these research gaps, we conduct a thorough empirical study of eight popular language models on five representative datasets to determine the capabilities and limitations of automated program generation approaches. We further employ advanced explainable AI approaches to highlight the tokens that significantly contribute to the code transformation. We discover that state-of-the-art approaches suffer from inappropriate performance evaluation stemming from severe data duplication, causing over-optimistic results. Our explainability analysis reveals that, in various experimental scenarios, language models can recognize code grammar and structural information, but they exhibit limited robustness to changes in input sequences. Overall, more rigorous evaluation approaches and benchmarks are critical to enhance the reliability and explainability of automated program generation moving forward. Our findings provide important guidelines for this goal.


title: The origin of strain-induced stabilisation of superconductivity in the lanthanum cuprates

abstract: Suppression of superconductivity in favour of a striped phase, and its coincidence with a structural transition from a low-temperature orthorhombic (LTO) to a low-temperature tetragonal (LTT) phase, is a ubiquitous feature of hole-doped lanthanum cuprates. We study the effect of anisotropic strain on this transition using density-functional theory on both La$_2$CuO$_4$ and the recently-synthesised surrogate La$_2$MgO$_4$ to decouple electronic and structural effects. Strikingly, we find that compressive strain applied diagonally to the in-plane metal-oxygen bonds dramatically stabilises the LTO phase. Given the mutual exclusivity of 3D superconductivity and long-range static stripe order, we thereby suggest a structural mechanism for understanding experimentally-observed trends in the superconducting $T_{\mathrm{c}}$ under uniaxial pressure, and suggest principles for tuning it.


title: Generalized torsion elements in groups

abstract: A group element is called a generalized torsion if a finite product of its conjugates is equal to the identity. We prove that in a nilpotent or FC-group, the generalized torsion elements are all torsion elements. Moreover, we compute the generalized order of an element in a finite group $G$ using its character table.


title: Accelerated Video Annotation driven by Deep Detector and Tracker

abstract: Annotating object ground truth in videos is vital for several downstream tasks in robot perception and machine learning, such as for evaluating the performance of an object tracker or training an image-based object detector. The accuracy of the annotated instances of the moving objects on every image frame in a video is crucially important. Achieving that through manual annotations is not only very time consuming and labor intensive, but is also prone to high error rate. State-of-the-art annotation methods depend on manually initializing the object bounding boxes only in the first frame and then use classical tracking methods, e.g., adaboost, or kernelized correlation filters, to keep track of those bounding boxes. These can quickly drift, thereby requiring tedious manual supervision. In this paper, we propose a new annotation method which leverages a combination of a learning-based detector (SSD) and a learning-based tracker (RE$^3$). Through this, we significantly reduce annotation drifts, and, consequently, the required manual supervision. We validate our approach through annotation experiments using our proposed annotation method and existing baselines on a set of drone video frames. Source code and detailed information on how to run the annotation program can be found at https://github.com/robot-perception-group/smarter-labelme


title: Insight into China's Economically Motivated Adulteration Risk in Online Raw Agricultural Product Sales

abstract: Uncertainty in quality and the inspectors' imperfect testing capability leave raw agricultural products (e.g., fresh produce, seafood, livestock and poultry products, etc.) wide open to economically motivated adulteration (EMA), and the strong demand for online shopping of these products in China makes this situation even worse. In this paper, we develop a game-theoretic framework to investigate online raw agricultural product sellers' preemptive EMA behavior on an ecommerce platform (EP). Particularly, the sellers differ from each other in the original quality of their products. We characterize the sellers' equilibrium pricing and adulteration decisions and the EP's optimal take rate decision, and analyze how the sampling inspections and adulteration penalty jointly impact these decisions. Moreover, we investigate three managerial levers, such as claiming a higher-than-law-requires penalty, that the administrative departments or the EP can use to deter EMA. Finally, we use the real-word data from Taobao.com to calibrate our model and derive more managerial insights from the analytical findings. We find that the heterogenous sellers' adulteration decisions are symmetric and their ex-post pricing decisions lead them to evenly share the market on the EP. Interestingly, we show that the EP's higher take rate will inhibit the sellers' adulteration behavior. However, the profit-maximizing EP may indulge the sellers' adulteration behavior by intentionally decreasing this rate. Our results highlight a penalty-inspection-centered approach as essential to combat EMA, and the three levels can play a role as supplements to this approach under certain conditions.


title: Discernible NSI Effects in Long-Baseline Neutrino Experiments

abstract: Neutrino oscillation in the matter could get affected by the sub-dominant, yet unknown, non-standard interactions. The upcoming long-baseline (LBL) neutrino experiments will be sensitive to these effects and can provide information on the unknown oscillation parameter values. In this article, we study the parameter degeneracies that can occur in DUNE, T2HK experiments, and a combination of both due to nonstandard interactions (NSI), arising simultaneously, from two different off-diagonal sectors, i.e., $e-\mu$ and $e-\tau$. We derive constraints on both the NSI sectors using the combined datasets of NO$\nu$A and T2K. Our analysis reveals a significant impact that dual NSIs may have on the sensitivity of atmospheric mixing angle $\theta_{23}$ in the normal ordering (NO) case. Furthermore, when non-standard interaction from the $e-\mu$ and $e-\tau$ sectors are included, we see significant changes in the probabilities for DUNE, T2HK, and as well as a combined analysis involving both. Moreover, the CP sensitivity gets affected significantly due to the presence of dual NSIs, and, in addition, the CP asymmetry also exhibits an appreciable difference.


title: Investigation of oxygen-vacancy complexes in diamond by means of \textit{ab initio} calculations

abstract: Point defects in diamond may act as quantum bits. Recently, oxygen-vacancy related defects have been proposed to the origin of the so-called ST1 color center in diamond that can realize a long-living solid-state quantum memory. Motivated by this proposal we systematically investigate oxygen-vacancy complexes in diamond by means of first principles density functional theory calculations. We find that all the considered oxygen-vacancy defects have a high-spin ground state in their neutral charge state, which disregards them as an origin for the ST1 color center. We identify a high-spin metastable oxygen-vacancy complex and characterize their magnetooptical properties for identification in future experiments.


title: On CM elliptic curves and the cyclotomic $\lambda$-invariants of imaginary quadratic fields

abstract: Let $K$ be an imaginary quadratic field, and fix a prime $p > 3$ that does not divide the class number of $K$. In this paper we prove that Iwasawa's $\lambda$-invariant for the cyclotomic $\mathbb{Z}_p$-extension of $K$ is greater than $1$ if and only if the number of points on a certain reduced elliptic curve is divisible by $p^2$.


title: Latent Class-Conditional Noise Model

abstract: Learning with noisy labels has become imperative in the Big Data era, which saves expensive human labors on accurate annotations. Previous noise-transition-based methods have achieved theoretically-grounded performance under the Class-Conditional Noise model (CCN). However, these approaches builds upon an ideal but impractical anchor set available to pre-estimate the noise transition. Even though subsequent works adapt the estimation as a neural layer, the ill-posed stochastic learning of its parameters in back-propagation easily falls into undesired local minimums. We solve this problem by introducing a Latent Class-Conditional Noise model (LCCN) to parameterize the noise transition under a Bayesian framework. By projecting the noise transition into the Dirichlet space, the learning is constrained on a simplex characterized by the complete dataset, instead of some ad-hoc parametric space wrapped by the neural layer. We then deduce a dynamic label regression method for LCCN, whose Gibbs sampler allows us efficiently infer the latent true labels to train the classifier and to model the noise. Our approach safeguards the stable update of the noise transition, which avoids previous arbitrarily tuning from a mini-batch of samples. We further generalize LCCN to different counterparts compatible with open-set noisy labels, semi-supervised learning as well as cross-model training. A range of experiments demonstrate the advantages of LCCN and its variants over the current state-of-the-art methods.


title: Phenomenological Relativistic Second-Order Hydrodynamics for Multiflavor Fluids

abstract: In this work, we perform a phenomenological derivation of the first- and second-order relativistic hydrodynamics of dissipative fluids. To set the stage, we start with a review of the ideal relativistic hydrodynamics from energy-momentum and particle number conservation equations. We then go on to discuss the matching conditions to local thermodynamical equilibrium, symmetries of the energy-momentum tensor, decomposition of dissipative processes according to their Lorentz structure, and finally, the definition of the fluid velocity in the Landau and Eckart frames. With this preparatory work, we first formulate the first-order (Navier-Stokes) relativistic hydrodynamics from the entropy flow equation, keeping only the first-order gradients of thermodynamical forces. A generalized form of diffusion terms is found with a matrix of diffusion coefficients describing the relative diffusion between various flavors. The procedure of finding the dissipative terms is then extended to the second order to obtain the most general form of dissipative function for multiflavor systems up to the second order in dissipative fluxes. The dissipative function now includes in addition to the usual second-order transport coefficients of Israel-Stewart theory also second-order diffusion between different flavors. The relaxation-type equations of second-order hydrodynamics are found from the requirement of positivity of the dissipation function, which features the finite relaxation times of various dissipative processes that guarantee the causality and stability of the fluid dynamics. These equations contain a complete set of nonlinear terms in the thermodynamic gradients and dissipative fluxes arising from the entropy current, which are not present in the conventional Israel-Stewart theory.


title: Solving Differential-Algebraic Equations in Power System Dynamic Analysis with Quantum Computing

abstract: Power system dynamics are generally modeled by high dimensional nonlinear differential-algebraic equations (DAEs) given a large number of components forming the network. These DAEs' complexity can grow exponentially due to the increasing penetration of distributed energy resources, whereas their computation time becomes sensitive due to the increasing interconnection of the power grid with other energy systems. This paper demonstrates the use of quantum computing algorithms to solve DAEs for power system dynamic analysis. We leverage a symbolic programming framework to equivalently convert the power system's DAEs into ordinary differential equations (ODEs) using index reduction methods and then encode their data into qubits using amplitude encoding. The system nonlinearity is captured by Hamiltonian simulation with truncated Taylor expansion so that state variables can be updated by a quantum linear equation solver. Our results show that quantum computing can solve the power system's DAEs accurately with a computational complexity polynomial in the logarithm of the system dimension. We also illustrate the use of recent advanced tools in scientific machine learning for implementing complex computing concepts, i.e. Taylor expansion, DAEs/ODEs transformation, and quantum computing solver with abstract representation for power engineering applications.


title: Guided Depth Map Super-resolution: A Survey

abstract: Guided depth map super-resolution (GDSR), which aims to reconstruct a high-resolution (HR) depth map from a low-resolution (LR) observation with the help of a paired HR color image, is a longstanding and fundamental problem, it has attracted considerable attention from computer vision and image processing communities. A myriad of novel and effective approaches have been proposed recently, especially with powerful deep learning techniques. This survey is an effort to present a comprehensive survey of recent progress in GDSR. We start by summarizing the problem of GDSR and explaining why it is challenging. Next, we introduce some commonly used datasets and image quality assessment methods. In addition, we roughly classify existing GDSR methods into three categories, i.e., filtering-based methods, prior-based methods, and learning-based methods. In each category, we introduce the general description of the published algorithms and design principles, summarize the representative methods, and discuss their highlights and limitations. Moreover, the depth related applications are introduced. Furthermore, we conduct experiments to evaluate the performance of some representative methods based on unified experimental configurations, so as to offer a systematic and fair performance evaluation to readers. Finally, we conclude this survey with possible directions and open problems for further research. All the related materials can be found at \url{https://github.com/zhwzhong/Guided-Depth-Map-Super-resolution-A-Survey}.


title: Biharmonic Riemannian submersions from a 3-dimensional BCV space

abstract: BCV spaces are a family of 3-dimensional Riemannian manifolds which include six of Thurston's eight geometries. In this paper, we give a complete classification of proper biharmonic Riemannian submersions from a 3-dimensional BCV space by proving that such biharmonic maps exist only in the cases of $H^2\times\mathbb{R}\to \mathbb{R}^2$ or $\widetilde{SL}(2,\mathbb{R})\to \mathbb{R}^2$. In each of these two cases, we are able to construct a family of infinitely many proper biharmonic Riemannian submersions. Our results on one hand, extend a previous result of the authors which gave a complete classification of proper biharmonic Riemannian submersions from a 3-dimensional space form, and on the other hand, can be viewed as the dual study of biharmonic surfaces (i.e., biharmonic isometric immersions) in a BCV space studied in some recent literature.


title: Harmonic Riemannian submersions from 3-dimensional geometries

abstract: In this paper, we study harmonic Riemannian submersions from 3-dimensional geometries using the ( generalized) integrability data associated to an orthonormal frame natural to a Riemannian submersion. We give complete classifications of harmonic Riemannian submersions from Thurston's 3-dimensional geometries, 3-dimensional BCV spaces and Berger sphere into a surface. We also give some explicit constructions of these harmonic Riemannian submersions.


title: Generalization in Visual Reinforcement Learning with the Reward Sequence Distribution

abstract: Generalization in partially observed markov decision processes (POMDPs) is critical for successful applications of visual reinforcement learning (VRL) in real scenarios. A widely used idea is to learn task-relevant representations that encode task-relevant information of common features in POMDPs, i.e., rewards and transition dynamics. As transition dynamics in the latent state space -- which are task-relevant and invariant to visual distractions -- are unknown to the agents, existing methods alternatively use transition dynamics in the observation space to extract task-relevant information in transition dynamics. However, such transition dynamics in the observation space involve task-irrelevant visual distractions, degrading the generalization performance of VRL methods. To tackle this problem, we propose the reward sequence distribution conditioned on the starting observation and the predefined subsequent action sequence (RSD-OA). The appealing features of RSD-OA include that: (1) RSD-OA is invariant to visual distractions, as it is conditioned on the predefined subsequent action sequence without task-irrelevant information from transition dynamics, and (2) the reward sequence captures long-term task-relevant information in both rewards and transition dynamics. Experiments demonstrate that our representation learning approach based on RSD-OA significantly improves the generalization performance on unseen environments, outperforming several state-of-the-arts on DeepMind Control tasks with visual distractions.


title: An improved paradigm for modeling animal flights at moderate Reynolds numbers

abstract: We report on experimental and numerical studies aimed at developing an improved paradigm for modeling avian flights at moderate Reynolds numbers. A series of experiments were performed to characterize the behaviors of aerodynamic forces and moment associated with a quasi-steady rectangular wing over a range of incidence angles, {\alpha}. We demonstrate that, while the drag coefficient curve, CD({\alpha}), can be accurately modeled solely by a simple trigonometric function, the evolution of lift coefficient curve, CL({\alpha}), is governed by the sum of trigonometric and exponential functions, where the latter captures the linear variation in lift coefficient within the small-angle regime, as predicted by the linear inviscid theory. In addition, we establish an empirical relation between the location of the center of pressure and the incidence angle, which can be used in conjunction with the proposed aerodynamic formulas (i.e. CL and CD) to evaluate the pitching moment coefficient, CM ({\alpha}), about any arbitrary axis. These quasi-steady formulations are then utilized to simulate forward flight of a model that possesses dynamical characteristics of a pigeon across various flight speeds, and the results are compared against previously-reported experimental data on pigeons. We successfully demonstrate that the proposed formulas yield accurate predictions of the wing-beat frequency, at least over a range of Reynolds numbers spanning from approximately 70,000 to 150,000.


title: Frobenius structure and $p$-adic zeta function

abstract: For differential operators of Calabi-Yau type, Candelas, de la Ossa and van Straten conjecture the appearance of $p$-adic zeta values in the matrix entries of their $p$-adic Frobenius structure expressed in the standard basis of solutions near a MUM-point. We prove that this phenomenon holds for simplicial and hyperoctahedral families of Calabi-Yau hypersurfaces in $n$ dimensions, in which case the Frobenius matrix entries are rational linear combinations of products of $\zeta_p(k)$ with $1 < k < n$.


title: Parameterized Max Min Feedback Vertex Set

abstract: Given a graph $G$ and an integer $k$, Max Min FVS asks whether there exists a minimal set of vertices of size at least $k$ whose deletion destroys all cycles. We present several results that improve upon the state of the art of the parameterized complexity of this problem with respect to both structural and natural parameters. Using standard DP techniques, we first present an algorithm of time $\textrm{tw}^{O(\textrm{tw})}n^{O(1)}$, significantly generalizing a recent algorithm of Gaikwad et al. of time $\textrm{vc}^{O(\textrm{vc})}n^{O(1)}$, where $\textrm{tw}, \textrm{vc}$ denote the input graph's treewidth and vertex cover respectively. Subsequently, we show that both of these algorithms are essentially optimal, since a $\textrm{vc}^{o(\textrm{vc})}n^{O(1)}$ algorithm would refute the ETH. With respect to the natural parameter $k$, the aforementioned recent work by Gaikwad et al. claimed an FPT branching algorithm with complexity $10^k n^{O(1)}$. We point out that this algorithm is incorrect and present a branching algorithm of complexity $9.34^k n^{O(1)}$.


title: Efficient Communication via Self-supervised Information Aggregation for Online and Offline Multi-agent Reinforcement Learning

abstract: Utilizing messages from teammates can improve coordination in cooperative Multi-agent Reinforcement Learning (MARL). Previous works typically combine raw messages of teammates with local information as inputs for policy. However, neglecting message aggregation poses significant inefficiency for policy learning. Motivated by recent advances in representation learning, we argue that efficient message aggregation is essential for good coordination in cooperative MARL. In this paper, we propose Multi-Agent communication via Self-supervised Information Aggregation (MASIA), where agents can aggregate the received messages into compact representations with high relevance to augment the local policy. Specifically, we design a permutation invariant message encoder to generate common information-aggregated representation from messages and optimize it via reconstructing and shooting future information in a self-supervised manner. Hence, each agent would utilize the most relevant parts of the aggregated representation for decision-making by a novel message extraction mechanism. Furthermore, considering the potential of offline learning for real-world applications, we build offline benchmarks for multi-agent communication, which is the first as we know. Empirical results demonstrate the superiority of our method in both online and offline settings. We also release the built offline benchmarks in this paper as a testbed for communication ability validation to facilitate further future research.


title: LapGym -- An Open Source Framework for Reinforcement Learning in Robot-Assisted Laparoscopic Surgery

abstract: Recent advances in reinforcement learning (RL) have increased the promise of introducing cognitive assistance and automation to robot-assisted laparoscopic surgery (RALS). However, progress in algorithms and methods depends on the availability of standardized learning environments that represent skills relevant to RALS. We present LapGym, a framework for building RL environments for RALS that models the challenges posed by surgical tasks, and sofa_env, a diverse suite of 12 environments. Motivated by surgical training, these environments are organized into 4 tracks: Spatial Reasoning, Deformable Object Manipulation & Grasping, Dissection, and Thread Manipulation. Each environment is highly parametrizable for increasing difficulty, resulting in a high performance ceiling for new algorithms. We use Proximal Policy Optimization (PPO) to establish a baseline for model-free RL algorithms, investigating the effect of several environment parameters on task difficulty. Finally, we show that many environments and parameter configurations reflect well-known, open problems in RL research, allowing researchers to continue exploring these fundamental problems in a surgical context. We aim to provide a challenging, standard environment suite for further development of RL for RALS, ultimately helping to realize the full potential of cognitive surgical robotics. LapGym is publicly accessible through GitHub (https://github.com/ScheiklP/lap_gym).


title: Perfect precise colorings of plane semiregular tilings

abstract: A coloring of a planar semiregular tiling $\mathcal{T}$ is an assignment of a unique color to each tile of $\mathcal{T}$. If $G$ is the symmetry group of $\mathcal{T}$, we say that the coloring is perfect if every element of $G$ induces a permutation on the finite set of colors. If $\mathcal{T}$ is $k$-valent, then a coloring of $\mathcal{T}$ with $k$ colors is said to be precise if no two tiles of $\mathcal{T}$ sharing the same vertex have the same color. In this work, we obtain perfect precise colorings of some families of $k$-valent semiregular tilings in the plane, where $k\leq 6$.


title: Kantowski-Sachs cosmology in scalar-torsion theory

abstract: In the context of scalar-torsion theory we investigate the evolution of the cosmological anisotropies for a Kantowski-Sachs background geometry. We study the phase-space of the gravitational field equations by determining the admitted stationary points and study their stability properties. For the potential function of the non-minimally coupled scalar field we assume the exponential and the power-law functions. Finally, we make use of Poincare variables in order to investigate the existence of stationary points at the infinity regime of the dynamics.


title: An Addendum to the Problem of Zero-Sum LQ Stochastic Mean-Field Dynamic Games\\ (Extended version)

abstract: In this paper, we first address a linear quadratic mean-field game problem with a leader-follower structure. By adopting a Riccati-type approach, we show how one can obtain a state-feedback representation of the pairs of strategies which achieve an open-loop Stackelberg equilibrium in terms of the global solutions of a system of coupled matrix differential Riccati-type equations. In the second part of this paper, we obtain necessary and sufficient conditions for the solvability of the involved coupled generalized Riccati equations.


title: Lepton $g-2$ and $W$-boson mass anomalies in the DFSZ axion model

abstract: With regard to the leptonic magnetic dipole moment anomaly as well as the $W$-boson mass excess, we study the DFSZ axion model. Considering theoretical and experimental constraints, we show that the muon and electron $g-2$ anomalies can be explained within the parameter space of the model for extra Higgs bosons with mass spectra around the electroweak scale and for an almost equivalent contribution of one- and two-loop diagrams. A negative electron $g-2$ could be achieved by introducing heavy neutrinos. Furthermore, the $W$ boson mass excess can be consistently addressed within the mass range of the matter content testable at collider experiments.