title: V-SlowFast Network for Efficient Visual Sound Separation

abstract: The objective of this paper is to perform visual sound separation: i) we study visual sound separation on spectrograms of different temporal resolutions; ii) we propose a new light yet efficient three-stream framework V-SlowFast that operates on Visual frame, Slow spectrogram, and Fast spectrogram. The Slow spectrogram captures the coarse temporal resolution while the Fast spectrogram contains the fine-grained temporal resolution; iii) we introduce two contrastive objectives to encourage the network to learn discriminative visual features for separating sounds; iv) we propose an audio-visual global attention module for audio and visual feature fusion; v) the introduced V-SlowFast model outperforms previous state-of-the-art in single-frame based visual sound separation on small- and large-scale datasets: MUSIC-21, AVE, and VGG-Sound. We also propose a small V-SlowFast architecture variant, which achieves 74.2% reduction in the number of model parameters and 81.4% reduction in GMACs compared to the previous multi-stage models. Project page: https://ly-zhu.github.io/V-SlowFast


title: Backdoor Attack on Hash-based Image Retrieval via Clean-label Data Poisoning

abstract: A backdoored deep hashing model is expected to behave normally on original query images and return the images with the target label when a specific trigger pattern presents. To this end, we propose the confusing perturbations-induced backdoor attack (CIBA). It injects a small number of poisoned images with the correct label into the training data, which makes the attack hard to be detected. To craft the poisoned images, we first propose the confusing perturbations to disturb the hashing code learning. As such, the hashing model can learn more about the trigger. The confusing perturbations are imperceptible and generated by optimizing the intra-class dispersion and inter-class shift in the Hamming space. We then employ the targeted adversarial patch as the backdoor trigger to improve the attack performance. We have conducted extensive experiments to verify the effectiveness of our proposed CIBA. Our code is available at https://github.com/KuofengGao/CIBA.


title: Anti-$\mathcal{PT}$-symmetric Kerr gyroscope

abstract: Non-Hermitian systems can exhibit unconventional spectral singularities called exceptional points (EPs). Various EP sensors have been fabricated in recent years, showing strong spectral responses to external signals. Here we propose how to achieve a nonlinear anti-parity-time ($\mathcal{APT}$) gyroscope by spinning an optical resonator. We show that, in the absence of any nonlinearity, the sensitivity or optical mode splitting of the linear device can be magnified up to 3 orders than that of the conventional device without EPs. Remarkably, the $\mathcal{APT}$ symmetry can be broken when including the Kerr nonlinearity of the materials and, as the result, the detection threshold can be significantly lowered, i.e., much weaker rotations which are well beyond the ability of a linear gyroscope can now be detected with the nonlinear device. Our work shows the powerful ability of $\mathcal{APT}$ gyroscopes in practice to achieve ultrasensitive rotation measurement.


title: Fast query-by-example speech search using separable model

abstract: Traditional Query-by-Example (QbE) speech search approaches usually use methods based on frame-level features, while state-of-the-art approaches tend to use models based on acoustic word embeddings (AWEs) to transform variable length audio signals into fixed length feature vector representations. However, these approaches cannot meet the requirements of the search quality as well as speed at the same time. In this paper, we propose a novel fast QbE speech search method based on separable models to fix this problem. First, a QbE speech search training framework is introduced. Second, we design a novel model inference scheme based on RepVGG which can efficiently improve the QbE search quality. Third, we modify and improve our QbE speech search model according to the proposed model inference scheme. Experiments on keywords dataset shows that our proposed method can improve the GPU Real-time Factor (RTF) from 1/150 to 1/2300 by just applying separable model scheme and outperforms other state-of-the-art methods.


title: Energy conservation in the limit of filtered solutions for the 2D Euler equations

abstract: We consider energy conservation in a two-dimensional incompressible and inviscid flow through weak solutions of the filtered-Euler equations, which describe a regularized Euler flow based on a spatial filtering. We show that the energy dissipation rate for the filtered weak solution with vorticity in $L^p$, $p > 3/2$ converges to zero in the limit of the filter parameter. Although the energy defined in the whole space is not finite in general, we formally extract a time-dependent part, which is well-defined for filtered solutions, from the energy and define the energy dissipation rate as its time-derivative. Moreover, the limit of the filtered weak solution is a weak solution of the Euler equations and it satisfies a local energy balance in the sense of distributions. For the case of $p = 3/2$, we find the same result as $p > 3/2$ by assuming Onsager's critical condition for the family of the filtered solutions.


title: Chiral Phonons in Chiral Materials

abstract: The concept of chirality makes ubiquitous appearance in nature. Particularly, both a structure and its collective excitations may acquire well defined chiralities. In this work, we reveal an intrinsic connection between the chiralities of a crystal structure and its phonon excitations. We show that the phonon chirality and its propagation direction are strongly coupled with the lattice chirality, which will be reversed when a chiral lattice is switched to its enantiomorph. In addition, distinct from achiral lattices, propagating chiral phonons exist for chiral crystals also on the principal axis through the $\Gamma$ point, which strengthens its relevance to various physical processes. We demonstrate our theory with a 1D helix-chain model and with a concrete and important 3D material, the $\alpha$-quartz. We predict a chirality diode effect in these systems, namely, at certain frequency window, a chiral signal can only pass the system in one way but not the other, specified by the system chirality. Experimental setups to test our theory are proposed. Our work discovers fundamental physics of chirality coupling between different levels of a system, and the predicted effects will provide a new way to control thermal transport and design information devices.


title: Electromagnetic formulations for GTC simulation

abstract: A set of electromagnetic formulations with gyrokinetic ions and drift kinetic electrons for global gyrokinetic simulations is presented. Low freuqncy electromagnetic modes like drift-waves, AEs and MHD modes can be simulated using this framework. In the long wavelength and low frequency limit, ideal MHD equations and dispersion relation are found. Especially, the magnetic compressional term and the equilibrium current are carefully kept in this model. This model is successfully used to simulate the internal kink modes in DIII-D tokamaks.


title: Reconfigurable Low-latency Memory System for Sparse Matricized Tensor Times Khatri-Rao Product on FPGA

abstract: Tensor decomposition has become an essential tool in many applications in various domains, including machine learning. Sparse Matricized Tensor Times Khatri-Rao Product (MTTKRP) is one of the most computationally expensive kernels in tensor computations. Despite having significant computational parallelism, MTTKRP is a challenging kernel to optimize due to its irregular memory access characteristics. This paper focuses on a multi-faceted memory system, which explores the spatial and temporal locality of the data structures of MTTKRP. Further, users can reconfigure our design depending on the behavior of the compute units used in the FPGA accelerator. Our system efficiently accesses all the MTTKRP data structures while reducing the total memory access time, using a distributed cache and Direct Memory Access (DMA) subsystem. Moreover, our work improves the memory access time by 3.5x compared with commercial memory controller IPs. Also, our system shows 2x and 1.26x speedups compared with cache-only and DMA-only memory systems, respectively.


title: Emily: Developing An Emotion-affective Open-Domain Chatbot with Knowledge Graph-based Persona

abstract: In this paper, we describe approaches for developing Emily, an emotion-affective open-domain chatbot. Emily can perceive a user's negative emotion state and offer supports by positively converting the user's emotion states. This is done by finetuning a pretrained dialogue model upon data capturing dialogue contexts and desirable emotion states transition across turns. Emily can differentiate a general open-domain dialogue utterance with questions relating to personal information. By leveraging a question-answering approach based on knowledge graphs to handle personal information, Emily maintains personality consistency. We evaluate Emily against a few state-of-the-art open-domain chatbots and show the effects of the proposed approaches in emotion affecting and addressing personality inconsistency.


title: Physical Layer Anonymous Precoding: The Path to Privacy-Preserving Communications

abstract: Next-generation systems aim to increase both the speed and responsiveness of wireless communications, while supporting compelling applications such as edge and cloud computing, remote-Health, vehicle-to-infrastructure communications, etc. As these applications are expected to carry confidential personal data, ensuring user privacy becomes a critical issue. In contrast to traditional security and privacy designs that aim to prevent confidential information from being eavesdropped upon by adversaries, or learned by unauthorized parties, in this paper we consider designs that mask the users' identities during communication, hence resulting in anonymous communications. In particular, we examine the recent interest in physical layer (PHY) anonymous solutions. This line of research departs from conventional higher layer anonymous authentication, encryption and routing protocols, and judiciously manipulates the signaling pattern of transmitted signals in order to mask the senders' PHY characteristics. We first discuss the concept of anonymity at the PHY, and illustrate a strategy that is able to unmask the sender's identity by analyzing his or her PHY information only, i.e., signalling patterns and the inherent fading characteristics. Subsequently, we overview the emerging area of anonymous precoding to preserve the sender's anonymity, while ensuring high receiver-side signal-to-interference-plus-noise ratio (SINR) for communication. This family of anonymous precoding designs represents a new approach to providing anonymity at the PHY, introducing a new dimension for privacy-preserving techniques.


title: DuRecDial 2.0: A Bilingual Parallel Corpus for Conversational Recommendation

abstract: In this paper, we provide a bilingual parallel human-to-human recommendation dialog dataset (DuRecDial 2.0) to enable researchers to explore a challenging task of multilingual and cross-lingual conversational recommendation. The difference between DuRecDial 2.0 and existing conversational recommendation datasets is that the data item (Profile, Goal, Knowledge, Context, Response) in DuRecDial 2.0 is annotated in two languages, both English and Chinese, while other datasets are built with the setting of a single language. We collect 8.2k dialogs aligned across English and Chinese languages (16.5k dialogs and 255k utterances in total) that are annotated by crowdsourced workers with strict quality control procedure. We then build monolingual, multilingual, and cross-lingual conversational recommendation baselines on DuRecDial 2.0. Experiment results show that the use of additional English data can bring performance improvement for Chinese conversational recommendation, indicating the benefits of DuRecDial 2.0. Finally, this dataset provides a challenging testbed for future studies of monolingual, multilingual, and cross-lingual conversational recommendation.


title: Non-linear corrections to the longitudinal structure function $F_{L}$ from the parametrization of $F_{2}$: Laplace transform approach

abstract: The non-linear corrections (NLC) to the longitudinal structure function in a limited approach is derived at low values of the Bjorken variable $x$ by using the Laplace transforms technique. The non-linear behavior of the longitudinal structure function is determined with respect to the Gribov-Levin-Ryskin Mueller-Qiu (GLR-MQ) and Altarelli-Martinelli (AM) equations. These results show that the non-linear longitudinal structure function can be determined directly in terms of the parametrization of $F_{2}(x,Q^{2})$ and the derivative of the proton structure function with respect to $\ln{Q^{2}}$. These corrections improve the behavior of the longitudinal structure function at low values of $Q^{2}$ in comparison with other parametrization methods.


title: FastHyMix: Fast and Parameter-free Hyperspectral Image Mixed Noise Removal

abstract: Hyperspectral imaging with high spectral resolution plays an important role in finding objects, identifying materials, or detecting processes. The decrease of the widths of spectral bands leads to a decrease in the signal-to-noise ratio (SNR) of measurements. The decreased SNR reduces the reliability of measured features or information extracted from HSIs. Furthermore, the image degradations linked with various mechanisms also result in different types of noise, such as Gaussian noise, impulse noise, deadlines, and stripes. This paper introduces a fast and parameter-free hyperspectral image mixed noise removal method (termed FastHyMix), which characterizes the complex distribution of mixed noise by using a Gaussian mixture model and exploits two main characteristics of hyperspectral data, namely low-rankness in the spectral domain and high correlation in the spatial domain. The Gaussian mixture model enables us to make a good estimation of Gaussian noise intensity and the location of sparse noise. The proposed method takes advantage of the low-rankness using subspace representation and the spatial correlation of HSIs by adding a powerful deep image prior, which is extracted from a neural denoising network. An exhaustive array of experiments and comparisons with state-of-the-art denoisers were carried out. The experimental results show significant improvement in both synthetic and real datasets. A MATLAB demo of this work will be available at https://github.com/LinaZhuang for the sake of reproducibility.


title: Computational Imaging and Artificial Intelligence: The Next Revolution of Mobile Vision

abstract: Signal capture stands in the forefront to perceive and understand the environment and thus imaging plays the pivotal role in mobile vision. Recent explosive progresses in Artificial Intelligence (AI) have shown great potential to develop advanced mobile platforms with new imaging devices. Traditional imaging systems based on the "capturing images first and processing afterwards" mechanism cannot meet this unprecedented demand. Differently, Computational Imaging (CI) systems are designed to capture high-dimensional data in an encoded manner to provide more information for mobile vision systems.Thanks to AI, CI can now be used in real systems by integrating deep learning algorithms into the mobile vision platform to achieve the closed loop of intelligent acquisition, processing and decision making, thus leading to the next revolution of mobile vision.Starting from the history of mobile vision using digital cameras, this work first introduces the advances of CI in diverse applications and then conducts a comprehensive review of current research topics combining CI and AI. Motivated by the fact that most existing studies only loosely connect CI and AI (usually using AI to improve the performance of CI and only limited works have deeply connected them), in this work, we propose a framework to deeply integrate CI and AI by using the example of self-driving vehicles with high-speed communication, edge computing and traffic planning. Finally, we outlook the future of CI plus AI by investigating new materials, brain science and new computing techniques to shed light on new directions of mobile vision systems.


title: Fast User Adaptation for Human Motion Prediction in Physical Human-Robot Interaction

abstract: Accurate prediction of human movements is required to enhance the efficiency of physical human-robot interaction. Behavioral differences across various users are crucial factors that limit the prediction of human motion. Although recent neural network-based modeling methods have improved their prediction accuracy, most did not consider an effective adaptations to different users, thereby employing the same model parameters for all users. To deal with this insufficiently addressed challenge, we introduce a meta-learning framework to facilitate the rapid adaptation of the model to unseen users. In this study, we propose a model structure and a meta-learning algorithm specialized to enable fast user adaptation in predicting human movements in cooperative situations with robots. The proposed prediction model comprises shared and adaptive parameters, each addressing the user's general and individual movements. Using only a small amount of data from an individual user, the adaptive parameters are adjusted to enable user-specific prediction through a two-step process: initialization via a separate network and adaptation via a few gradient steps. Regarding the motion dataset that has 20 users collaborating with a robotic device, the proposed method outperforms existing meta-learning and non-meta-learning baselines in predicting the movements of unseen users.


title: What is Important? Morphological Asymmetries are Useful Predictors of Star Formation Rates of Star-forming Galaxies in SDSS Stripe 82

abstract: Morphology and structure of galaxies reflect their star formation and assembly histories. We use the framework of mutual information ($\mathrm{MI}$) to quantify interdependence among several structural variables and to rank them according to their relevance for predicting specific star formation rate (SSFR) by comparing the $\mathrm{MI}$ of the predictor variables with SSFR and penalizing variables that are redundant. We apply this framework to study $\sim 3,700$ face-on star-forming galaxies (SFGs) with varying degrees of bulge dominance and central concentration and with stellar mass $M_\star \approx 10^9\,M_\odot - 5\times 10^{11}\,M_\odot$ at redshift $z = 0.02-0.12$. We use the Sloan Digital Sky Survey (SDSS) Stripe 82 deep $i$-band imaging data, which improve measurements of asymmetry and bulge dominance indicators. We find that star-forming galaxies are a multi-parameter family. In addition to $M_\star$, asymmetry emerges as the most powerful predictor of SSFR residuals of SFGs, followed by bulge prominence/concentration. Star-forming galaxies with higher asymmetry and stronger bulges have higher SSFR at a given $M_\star$. The asymmetry reflects both irregular spiral arms and lopsidedness in seemingly isolated SFGs and structural perturbations by galaxy interactions or mergers.


title: Markov uniqueness and Fokker-Planck-Kolmogorov equations

abstract: In this paper we show that Markov uniqueness for symmetric pre-Dirichlet operators $L$ follows from the uniqueness of the corresponding Fokker-Planck-Kolmogorov equation (FPKE). Since in recent years a considerable number of uniqueness results for FPKE's have been achieved, we obtain new Markov uniqueness results in concrete cases. A selection of such will be presented in this paper. They include cases with killing and with degenerate diffusion coefficients.


title: Design and Results of ICCMA 2021

abstract: Since 2015, the International Competition on Computational Models of Argumentation (ICCMA) provides a systematic comparison of the different algorithms for solving some classical reasoning problems in the domain of abstract argumentation. This paper discusses the design of the Fourth International Competition on Computational Models of Argumentation. We describe the rules of the competition and the benchmark selection method that we used. After a brief presentation of the competitors, we give an overview of the results.


title: Realization of Qi-Wu-Zhang model in spin-orbit-coupled ultracold fermions

abstract: Based on the optical Raman lattice technique, we experimentally realize the Qi-Wu-Zhang model for quantum anomalous Hall phase in ultracold fermions with two-dimensional (2D) spin-orbit (SO) coupling. We develop a novel protocol of pump-probe quench measurement to probe, with minimal heating, the resonant spin flipping on particular quasi-momentum subspace called band-inversion surfaces. With this protocol we demonstrate the first Dirac-type 2D SO coupling in a fermionic system, and detect non-trivial band topology by observing the change of band-inversion surfaces as the two-photon detuning varies. The non-trivial band topology is also observed by slowly loading the atoms into optical Raman lattices and measuring the spin textures. Our results show solid evidence for the realization of the minimal SO-coupled quantum anomalous Hall model, which can provide a feasible platform to investigate novel topological physics including the correlation effects with SO-coupled ultracold fermions.


title: Static and radiating dyonic black holes coupled to conformally invariant electrodynamics in higher dimensions

abstract: We investigate the complete family of (aligned) Robinson-Trautman spacetimes sourced by conformally invariant non-linear electrodynamics in $D$ dimensions in the presence of an arbitrary cosmological constant. After presenting general features of the solutions (which exist only in even dimensions), we discuss in more detail some particular subclasses. Static metrics contain dyonic black holes with various possible horizon geometries (K\"ahler if there is a magnetic field, including flat branes) and different asymptotics. In addition, there exist also time-dependent solutions (not possible in the $D>4$ linear theory) which may represent white hole evaporation by emission of electromagnetic radiation (or a time-reversed picture of black hole formation). For those, we comment on a quasi-local characterization of possible past horizons. Finally, we briefly discuss the special case of stealth solutions. In an appendix, a theory-independent result on the redundancy of the gravity part of the field equations for Robinson-Trautman spacetimes is further obtained.


title: Kinetic theory of overpopulated gluon systems with inelastic processes

abstract: In this work, the role of inelastic processes in the formation of a transient Bose-Einstein condensation (BEC) is investigated based on kinetic theory. We calculate the condensation rate for an overpopulated gluon system which is assumed to be in thermal equilibrium and with the presence of a BEC. The matrix elements of the inelastic processes are chosen as the isotropic one and the gluons are considered to have a finite mass. Our calculations indicate that the inelastic processes can hinder the formation of a BEC since the negatively infinite net condensation rate can destroy any BEC instantly.


title: Marginal tubes and foliations by marginal surfaces

abstract: In this paper, we introduce the notion of a marginal tube, which is a hypersurface foliated by marginal surfaces. It generalises the notion of a marginally trapped tube and several notions of black hole horizons, for example trapping horizons, isolated horizons, dynamical horizons, etc. We prove that if every spacelike section of a marginal tube is a marginal surface, then the marginal tube is null. There is no assumption on the topology of the marginal tube. To prove it, we study the geometry of spacelike surfaces in a 4-dimensional spacetime with the help of double null coordinate systems. The result is valid for arbitrary 4-dimensional spacetimes, regardless of any energy condition.


title: Nonlinear resonant torus oscillations as a model of Keplerian disc warp dynamics

abstract: Observations of distorted discs have highlighted the ubiquity of warps in a variety of astrophysical contexts. This has been complemented by theoretical efforts to understand the dynamics of warp evolution. Despite significant efforts to understand the dynamics of warped discs, previous work fails to address arguably the most prevalent regime -- nonlinear warps in Keplerian discs for which there is a resonance between the orbital, epicyclic and vertical oscillation frequencies. In this work, we implement a novel nonlinear ring model, developed recently by Fairbairn and Ogilvie, as a framework for understanding such resonant warp dynamics. Here we uncover two distinct nonlinear regimes as the warp amplitude is increased. Initially we find a smooth modulation theory which describes warp evolution in terms of the averaged Lagrangian of the oscillatory vertical motions of the disc. This hints towards the possibility of connecting previous warp theory under a generalised secular framework. Upon the warp amplitude exceeding a critical value, which scales as the square root of the aspect-ratio of our ring, the disc enters into a bouncing regime with extreme vertical compressions twice per orbit. We develop an impulsive theory which predicts special retrograde and prograde precessing warped solutions, which are identified numerically using our full equation set. Such solutions emphasise the essential activation of nonlinear vertical oscillations within the disc and may have important implications for energy and warp dissipation. Future work should search for this behaviour in detailed numerical studies of the internal flow structure of warped discs.


title: Towards Joint Intent Detection and Slot Filling via Higher-order Attention

abstract: Intent detection (ID) and Slot filling (SF) are two major tasks in spoken language understanding (SLU). Recently, attention mechanism has been shown to be effective in jointly optimizing these two tasks in an interactive manner. However, latest attention-based works concentrated only on the first-order attention design, while ignoring the exploration of higher-order attention mechanisms. In this paper, we propose a BiLinear attention block, which leverages bilinear pooling to simultaneously exploit both the contextual and channel-wise bilinear attention distributions to capture the second-order interactions between the input intent or slot features. Higher and even infinity order interactions are built by stacking numerous blocks and assigning Exponential Linear Unit (ELU) to blocks. Before the decoding stage, we introduce the Dynamic Feature Fusion Layer to implicitly fuse intent and slot information in a more effective way. Technically, instead of simply concatenating intent and slot features, we first compute two correlation matrices to weight on two features. Furthermore, we present Higher-order Attention Network for the SLU tasks. Experiments on two benchmark datasets show that our approach yields improvements compared with the state-of-the-art approach. We also provide discussion to demonstrate the effectiveness of the proposed approach.


title: Stabilization of S3O4 at High Pressure-Implications for the Sulfur Excess Paradox

abstract: The geological conundrum of sulfur excess refers to the finding that predicted amounts of sulfur, in the form of SO2, discharged in volcanic eruptions much exceeds the sulfur available for degassing from the erupted magma. Exploring the source of the excess sulfur has been the subject of considerable interest. Here, from a systematic computational investigation of sulfur-oxygen compounds under pressure, a hitherto unknown S3O4 compound containing a mixture of sulfur oxidation states +II and +IV emerges and is predicted to be stabilized above a pressure of 79 GPa. We predict that S3O4 can be produced via multiple redox reactions involving subducted S-bearing minerals (e.g., sulfates and sulfides) at high pressure conditions relevant to the deep lower mantle, and conversely be decomposed into SO2 and S at shallow depths of Earth. Therefore, S3O4 can be considered as a key intermediate compound to promote the decomposition of sulfates to release SO2, which offers an alternative source of the excess sulfur released during explosive eruptions. These findings provide a possible resolution to the geological paradox of excess sulfur degassing and a viable mechanism for the understanding of S exchange between surface and the lower mantle for the deep sulfur cycle.


title: Parafermionic bases of standard modules for twisted affine Lie algebras of type $A_{2l-1}^{(2)}$, $D_{l+1}^{(2)}$, $E_6^{(2)}$ and $D_4^{(3)}$

abstract: Using the bases of principal subspaces for twisted affine Lie algebras except $A_{2l}^{(2)}$ by Butorac and Sadowski, we construct bases of the highest weight modules of highest weight $k\Lambda_0$ and parafermionic spases for the same affine Lie algebras. As a result, we obtain their character formulas conjectured in arXiv:math/0102113.


title: Solving Linear Tensor Equations

abstract: We develop a systematic way to solve linear equations involving tensors of arbitrary rank. We start off with the case of a rank $3$ tensor, which appears in many applications, and after finding the condition for a unique solution we derive this solution. Subsequently we generalize our result to tensors of arbitrary rank. Finally we consider a generalized version of the former case of rank $3$ tensors and extend the result when the tensor traces are also included.


title: Microstructural engineering of medium entropy NiCo(CrAl) alloy for enhanced room and high-temperature mechanical properties

abstract: This work demonstrates the development of a strong and ductile medium entropy alloy by employing conventional alloying and thermomechanical processing to induce partial recrystallization (PR) and precipitation strengthening in the microstructure. The combined usage of electron microscopy and atom probe tomography reveals the sequence of microstructural evolution during the process. First, the cold working of homogenized alloy resulted in a highly deformed microstructure. On annealing at 700{\deg}C, B2 ordered precipitates heterogeneously nucleate on the highly misoriented sites. These B2 promotes particle stimulated nucleation (PSN) of new recrystallized strain-free grains. The migration of recrystallized grain boundaries leads to discontinuous precipitation of L12 ordered regions in highly dense lamellae structures. Atomic-scale compositional analysis reveals a significant amount of Ni confined to the GB regions between B2 and L12 precipitates, indicating Ni as a rate-controlling element for coarsening the microstructure. On 20 hours of annealing, the alloy comprises a composite microstructure of soft recrystallized and hard non-recrystallized zones, B2 particles at the grain boundaries (GBs), and coherent L12 precipitates inside the grains. The B2 pins the GB movement during recrystallization while the latter provides high strength. The microstructure results in a 0.2% yield stress (YS) value of 1030 MPa with 32% elongation at ambient temperature and retains up to 910 MPa at 670{\deg}C. Also, it shows exceptional microstructural stability at 700 {\deg}C and resistance to deformation at high temperatures up to 770{\deg}C. Examination of deformed microstructure reveals excessive twinning, formation of stacking faults, shearing of L12 precipitates, and accumulation of dislocations at around the B2 precipitates and GBs attributed to high strain hardening of the alloy.


title: $\mathcal{F}t$ values of the mirror $\beta$ transitions and the weak magnetism induced current in allowed nuclear $\beta$ decay

abstract: In recent years a number of correlation measurements in nuclear $\beta$ decay have been performed reaching a precision of the order of 1\% and below and it is expected that even higher precision will be reached in the near future. At these levels of precision higher-order corrections due to e.g. recoil terms induced by the strong interaction and radiative corrections cannot necessarily be neglected anymore when interpreting these results in terms of new physics or extracting a value for the $V_{ud}$ quark-mixing matrix element. We provide here an update of the $\mathcal{F} t$ values of the $T=1/2$ mirror $\beta$ decays as well as an overview of current experimental and theoretical knowledge of the most important recoil term, weak magnetism, for both the $T=1/2$ mirror $\beta$ transitions and a large set of $\beta$ decays in higher isospin multiplets. The matrix elements determining weak magnetism were calculated in the nuclear shell model and cross-checked against experimental data, showing overall good agreement. Additionally, we show that further insight can be obtained from properly deformed nuclear potentials, in particular for mirror $T=1/2$ decays.. The results provide new insights in the size of weak magnetism, extending the available information to $\beta$ transitions of nuclei with masses up to $A =$ 75. This provides important guidance for the planning and interpretation of ongoing and new precise correlation measurements in nuclear $\beta$ decay searching for new physics or to extract the $V_{ud}$ quark-mixing matrix element in mirror $\beta$ decays. This more detailed knowledge of weak magnetism can also be of interest for further theoretical work related to the reactor neutrino problem.


title: Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework

abstract: Novice programmers often struggle with problem solving due to the high cognitive loads they face. Furthermore, many introductory programming courses do not explicitly teach it, assuming that problem solving skills are acquired along the way. In this paper, we present 'PCDIT', a non-linear problem solving framework that provides scaffolding to guide novice programmers through the process of transforming a problem specification into an implemented and tested solution for an imperative programming language. A key distinction of PCDIT is its focus on developing concrete cases for the problem early without actually writing test code: students are instead encouraged to think about the abstract steps from inputs to outputs before mapping anything down to syntax. We reflect on our experience of teaching an introductory programming course using PCDIT, and report the results of a survey that suggests it helped students to break down challenging problems, organise their thoughts, and reach working solutions.


title: Principal eigenvalue problem for infinity Laplacian in metric spaces

abstract: This paper is concerned with the Dirichlet eigenvalue problem associated to the $\infty$-Laplacian in metric spaces. We establish a direct PDE approach to find the principal eigenvalue and eigenfunctions in a proper geodesic space without assuming any measure structure. We provide an appropriate notion of solutions to the $\infty$-eigenvalue problem and show the existence of solutions by adapting Perron's method. Our method is different from the standard limit process via the variational eigenvalue formulation for $p$-Laplacian in the Euclidean space.


title: Bifurcation analysis of the predator-prey model with the Allee effect in the predator

abstract: The use of predator-prey models in theoretical ecology has a long history, and the model equations have largely evolved since the original Lotka-Volterra system towards more realistic descriptions of the processes of predation, reproduction and mortality. One important aspect is the recognition of the fact that the growth of a population can be subject to an Allee effect, where the per capita growth rate increases with the population density. Including an Allee effect has been shown to fundamentally change predator-prey dynamics and strongly impact species persistence, but previous studies mostly focused on scenarios of an Allee effect in the prey population. Here we explore a predator-prey model with an ecologically important case of the Allee effect in the predator population where it occurs in the numerical response of predator without affecting its functional response. Biologically, this can result from various scenarios such as a lack of mating partners, sperm limitation and cooperative breeding mechanisms, among others. Unlike previous studies, we consider here a generic mathematical formulation of the Allee effect without specifying a concrete parameterisation of the functional form, and analyse the possible local bifurcations in the system. Further, we explore the global bifurcation structure of the model and its possible dynamical regimes for three different concrete parameterisations of the Allee effect. The model possesses a complex bifurcation structure: there can be multiple coexistence states including two stable limit cycles. Inclusion of the Allee effect in the predator generally has a destabilising effect on the coexistence equilibrium. We also show that regardless of the parametrisation of the Allee effect, enrichment of the environment will eventually result in extinction of the predator population.


title: Automated Symbolic and Numerical Testing of DLMF Formulae using Computer Algebra Systems

abstract: We have developed an automated procedure for symbolic and numerical testing of formulae extracted from the NIST Digital Library of Mathematical Functions (DLMF). For the NIST Digital Repository of Mathematical Formulae, we have developed conversion tools from semantic LaTeX to the Computer Algebra System (CAS) Maple which relies on Youssef's part-of-math tagger. We convert a test data subset of 4,078 semantic LaTeX DLMF formulae %extracted from the DLMF to the native CAS representation and then apply an automated scheme for symbolic and numerical testing and verification. Our framework is implemented using Java and Maple. We describe in detail the conversion process which is required so that the CAS can correctly interpret the mathematical representation of the formulae. We describe the improvement of the effectiveness of our automated scheme through incremental enhancement (making more precise) of the mathematical semantic markup for the formulae.


title: Dependency distance minimization predicts compression

abstract: Dependency distance minimization (DDm) is a well-established principle of word order. It has been predicted theoretically that DDm implies compression, namely the minimization of word lengths. This is a second order prediction because it links a principle with another principle, rather than a principle and a manifestation as in a first order prediction. Here we test that second order prediction with a parallel collection of treebanks controlling for annotation style with Universal Dependencies and Surface-Syntactic Universal Dependencies. To test it, we use a recently introduced score that has many mathematical and statistical advantages with respect to the widely used sum of dependency distances. We find that the prediction is confirmed by the new score when word lengths are measured in phonemes, independently of the annotation style, but not when word lengths are measured in syllables. In contrast, one of the most widely used scores, i.e. the sum of dependency distances, fails to confirm that prediction, showing the weakness of raw dependency distances for research on word order. Finally, our findings expand the theory of natural communication by linking two distinct levels of organization, namely syntax (word order) and word internal structure.


title: S$^3$VAADA: Submodular Subset Selection for Virtual Adversarial Active Domain Adaptation

abstract: Unsupervised domain adaptation (DA) methods have focused on achieving maximal performance through aligning features from source and target domains without using labeled data in the target domain. Whereas, in the real-world scenario's it might be feasible to get labels for a small proportion of target data. In these scenarios, it is important to select maximally-informative samples to label and find an effective way to combine them with the existing knowledge from source data. Towards achieving this, we propose S$^3$VAADA which i) introduces a novel submodular criterion to select a maximally informative subset to label and ii) enhances a cluster-based DA procedure through novel improvements to effectively utilize all the available data for improving generalization on target. Our approach consistently outperforms the competing state-of-the-art approaches on datasets with varying degrees of domain shifts.


title: Convex Formulation for Planted Quasi-Clique Recovery

abstract: In this paper, we consider the planted quasi-clique or {\gamma}-clique problem. This problem is an extension of the well known planted clique problem which is NP-hard. The maximum quasi-clique problem is applicable in community detection, information retrieval and biology. We propose a convex formulation using nuclear norm minimization for planted quasi-clique recovery. We carry out numerical experiments using our convex formulation and the existing mixed integer programming formulations. Results show that the convex formulation performs better than the mixed integer formulations when {\gamma} is greater than a particular threshold.


title: Density-based Curriculum for Multi-goal Reinforcement Learning with Sparse Rewards

abstract: Multi-goal reinforcement learning (RL) aims to qualify the agent to accomplish multi-goal tasks, which is of great importance in learning scalable robotic manipulation skills. However, reward engineering always requires strenuous efforts in multi-goal RL. Moreover, it will introduce inevitable bias causing the suboptimality of the final policy. The sparse reward provides a simple yet efficient way to overcome such limits. Nevertheless, it harms the exploration efficiency and even hinders the policy from convergence. In this paper, we propose a density-based curriculum learning method for efficient exploration with sparse rewards and better generalization to desired goal distribution. Intuitively, our method encourages the robot to gradually broaden the frontier of its ability along the directions to cover the entire desired goal space as much and quickly as possible. To further improve data efficiency and generality, we augment the goals and transitions within the allowed region during training. Finally, We evaluate our method on diversified variants of benchmark manipulation tasks that are challenging for existing methods. Empirical results show that our method outperforms the state-of-the-art baselines in terms of both data efficiency and success rate.


title: Towards Resilient Artificial Intelligence: Survey and Research Issues

abstract: Artificial intelligence (AI) systems are becoming critical components of today's IT landscapes. Their resilience against attacks and other environmental influences needs to be ensured just like for other IT assets. Considering the particular nature of AI, and machine learning (ML) in particular, this paper provides an overview of the emerging field of resilient AI and presents research issues the authors identify as potential future work.


title: On Numbers of Semistable Representations of Quivers over Finite Fields

abstract: In this paper we prove an identity in terms of generating functions which enables us to calculate the numbers of isomorphism classes of absolutely indecomposable semistable representations of quivers over finite fields.


title: Reaching the bubble may not be enough: news media role in online political polarization

abstract: Politics in different countries show diverse degrees of polarization, which tends to be stronger on social media, given how easy it became to connect and engage with like-minded individuals on the web. A way of reducing polarization would be by distributing cross-partisan news among individuals with distinct political orientations, i.e., ``reaching the bubbles''. This study investigates whether this holds in the context of nationwide elections in Brazil and Canada. We collected politics-related tweets shared during the 2018 Brazilian presidential election and the 2019 Canadian federal election. Next, we proposed an updated centrality metric that enables identifying highly central bubble reachers, nodes that can distribute content among users with diverging political opinions - a fundamental metric for the proposed study. After that, we analyzed how users engage with news content shared by bubble reachers, its source, and its topics, considering its political orientation. Among other results, we found that, even though news media disseminate content that interests different sides of the political spectrum, users tend to engage considerably more with content that aligns with their political orientation, regardless of the topic.


title: Releasing Graph Neural Networks with Differential Privacy Guarantees

abstract: With the increasing popularity of graph neural networks (GNNs) in several sensitive applications like healthcare and medicine, concerns have been raised over the privacy aspects of trained GNNs. More notably, GNNs are vulnerable to privacy attacks, such as membership inference attacks, even if only black-box access to the trained model is granted. We propose PrivGNN, a privacy-preserving framework for releasing GNN models in a centralized setting. Assuming an access to a public unlabeled graph, PrivGNN provides a framework to release GNN models trained explicitly on public data along with knowledge obtained from the private data in a privacy preserving manner. PrivGNN combines the knowledge-distillation framework with the two noise mechanisms, random subsampling, and noisy labeling, to ensure rigorous privacy guarantees. We theoretically analyze our approach in the Renyi differential privacy framework. Besides, we show the solid experimental performance of our method compared to several baselines adapted for graph-structured data. Our code is available at https://github.com/iyempissy/privGnn.


title: Intra-Inter Subject Self-supervised Learning for Multivariate Cardiac Signals

abstract: Learning information-rich and generalizable representations effectively from unlabeled multivariate cardiac signals to identify abnormal heart rhythms (cardiac arrhythmias) is valuable in real-world clinical settings but often challenging due to its complex temporal dynamics. Cardiac arrhythmias can vary significantly in temporal patterns even for the same patient ($i.e.$, intra subject difference). Meanwhile, the same type of cardiac arrhythmia can show different temporal patterns among different patients due to different cardiac structures ($i.e.$, inter subject difference). In this paper, we address the challenges by proposing an Intra-inter Subject self-supervised Learning (ISL) model that is customized for multivariate cardiac signals. Our proposed ISL model integrates medical knowledge into self-supervision to effectively learn from intra-inter subject differences. In intra subject self-supervision, ISL model first extracts heartbeat-level features from each subject using a channel-wise attentional CNN-RNN encoder. Then a stationarity test module is employed to capture the temporal dependencies between heartbeats. In inter subject self-supervision, we design a set of data augmentations according to the clinical characteristics of cardiac signals and perform contrastive learning among subjects to learn distinctive representations for various types of patients. Extensive experiments on three real-world datasets were conducted. In a semi-supervised transfer learning scenario, our pre-trained ISL model leads about 10% improvement over supervised training when only 1% labeled data is available, suggesting strong generalizability and robustness of the model.


title: Measuring the rogue wave pattern triggered from Gaussian perturbations by deep learning

abstract: Weak Gaussian perturbations on a plane wave background could trigger lots of rogue waves, due to modulational instability. Numerical simulations showed that these rogue waves seemed to have similar unit structure. However, to the best of our knowledge, there is no relative result to prove that these rogue waves have the similar patterns for different perturbations, partly due to that it is hard to measure the rogue wave pattern automatically. In this work, we address these problems from the perspective of computer vision via using deep neural networks. We propose a Rogue Wave Detection Network (RWD-Net) model to automatically and accurately detect RWs on the images, which directly indicates they have the similar computer vision patterns. For this purpose, we herein meanwhile have designed the related dataset, termed as Rogue Wave Dataset-$10$K (RWD-$10$K), which has $10,191$ RW images with bounding box annotations for each RW unit. In our detection experiments, we get $99.29\%$ average precision on the test splits of the RWD-$10$K dataset. Finally, we derive our novel metric, the density of RW units (DRW), to characterize the evolution of Gaussian perturbations and obtain the statistical results on them.


title: MS-SincResNet: Joint learning of 1D and 2D kernels using multi-scale SincNet and ResNet for music genre classification

abstract: In this study, we proposed a new end-to-end convolutional neural network, called MS-SincResNet, for music genre classification. MS-SincResNet appends 1D multi-scale SincNet (MS-SincNet) to 2D ResNet as the first convolutional layer in an attempt to jointly learn 1D kernels and 2D kernels during the training stage. First, an input music signal is divided into a number of fixed-duration (3 seconds in this study) music clips, and the raw waveform of each music clip is fed into 1D MS-SincNet filter learning module to obtain three-channel 2D representations. The learned representations carry rich timbral, harmonic, and percussive characteristics comparing with spectrograms, harmonic spectrograms, percussive spectrograms and Mel-spectrograms. ResNet is then used to extract discriminative embeddings from these 2D representations. The spatial pyramid pooling (SPP) module is further used to enhance the feature discriminability, in terms of both time and frequency aspects, to obtain the classification label of each music clip. Finally, the voting strategy is applied to summarize the classification results from all 3-second music clips. In our experimental results, we demonstrate that the proposed MS-SincResNet outperforms the baseline SincNet and many well-known hand-crafted features. Considering individual 2D representation, MS-SincResNet also yields competitive results with the state-of-the-art methods on the GTZAN dataset and the ISMIR2004 dataset. The code is available at https://github.com/PeiChunChang/MS-SincResNet


title: First Chen Inequality for General Warped Product Submanifolds of a Riemannian Space Form and Applications

abstract: In this paper, the first Chen inequality is proved for general warped product submanifolds in Riemannian space forms, this inequality involves intrinsic invariants ($\delta$-invariant and sectional curvature) controlled by an extrinsic one (the mean curvature vector), which provides an answer for Problem 1. As a geometric application, this inequality is applied to derive a necessary condition for the immersed submanifold to be minimal in Riemannian space forms, which presents a partial answer for the well-known problem proposed by S.S. Chern, Problem 2. For further research directions, we address a couple of open problems; namely Problem 3 and Problem 4.


title: Unsupervised Domain Adaptation for Semantic Segmentation via Low-level Edge Information Transfer

abstract: Unsupervised domain adaptation for semantic segmentation aims to make models trained on synthetic data (source domain) adapt to real images (target domain). Previous feature-level adversarial learning methods only consider adapting models on the high-level semantic features. However, the large domain gap between source and target domains in the high-level semantic features makes accurate adaptation difficult. In this paper, we present the first attempt at explicitly using low-level edge information, which has a small inter-domain gap, to guide the transfer of semantic information. To this end, a semantic-edge domain adaptation architecture is proposed, which uses an independent edge stream to process edge information, thereby generating high-quality semantic boundaries over the target domain. Then, an edge consistency loss is presented to align target semantic predictions with produced semantic boundaries. Moreover, we further propose two entropy reweighting methods for semantic adversarial learning and self-supervised learning, respectively, which can further enhance the adaptation performance of our architecture. Comprehensive experiments on two UDA benchmark datasets demonstrate the superiority of our architecture compared with state-of-the-art methods.


title: Intelligent Reflecting Surface Aided MIMO with Cascaded LoS Links: Channel Modelling and Full Multiplexing Region

abstract: This work studies the modelling and the optimization of intelligent reflecting surface (IRS) assisted multiple-input multiple-output (MIMO) systems through cascaded line-of-sight (LoS) links. In Part I of this work, we build up a new IRS-aided MIMO channel model, named the cascaded LoS MIMO channel. The proposed channel model consists of a transmitter (Tx) and a receiver (Rx) both equipped with uniform linear arrays, and an IRS is used to enable communications between the transmitter and the receiver through the LoS links seen by the IRS. When modeling the reflection of electromagnetic waves at the IRS, we take into account the curvature of the wavefront on different reflecting elements. Based on the established model, we study the spatial multiplexing capability of the cascaded LoS MIMO system. We introduce the notion of full multiplexing region (FMR) for the cascaded LoS MIMO channel, where the FMR is the union of Tx-IRS and IRS-Rx distance pairs that enable full multiplexing communication. Under a special passive beamforming strategy named reflective focusing, we derive an inner bound of the FMR, and provide the corresponding orientation settings of the antenna arrays that enable full multiplexing. Based on the proposed channel model and reflective focusing, the mutual information maximization problem is discussed in Part II.


title: Text Detoxification using Large Pre-trained Neural Models

abstract: We present two novel unsupervised methods for eliminating toxicity in text. Our first method combines two recent ideas: (1) guidance of the generation process with small style-conditional language models and (2) use of paraphrasing models to perform style transfer. We use a well-performing paraphraser guided by style-trained language models to keep the text content and remove toxicity. Our second method uses BERT to replace toxic words with their non-offensive synonyms. We make the method more flexible by enabling BERT to replace mask tokens with a variable number of words. Finally, we present the first large-scale comparative study of style transfer models on the task of toxicity removal. We compare our models with a number of methods for style transfer. The models are evaluated in a reference-free way using a combination of unsupervised style transfer metrics. Both methods we suggest yield new SOTA results.


title: Edge Prior Augmented Networks for Motion Deblurring on Naturally Blurry Images

abstract: Motion deblurring has witnessed rapid development in recent years, and most of the recent methods address it by using deep learning techniques, with the help of different kinds of prior knowledge. Concerning that deblurring is essentially expected to improve the image sharpness, edge information can serve as an important prior. However, the edge has not yet been seriously taken into consideration in previous methods when designing deep models. To this end, we present a novel framework that incorporates edge prior knowledge into deep models, termed Edge Prior Augmented Networks (EPAN). EPAN has a content-based main branch and an edge-based auxiliary branch, which are constructed as a Content Deblurring Net (CDN) and an Edge Enhancement Net (EEN), respectively. EEN is designed to augment CDN in the deblurring process via an attentive fusion mechanism, where edge features are mapped as spatial masks to guide content features in a feature-based hierarchical manner. An edge-guided loss function is proposed to further regulate the optimization of EPAN by enforcing the focus on edge areas. Besides, we design a dual-camera-based image capturing setting to build a new dataset, Real Object Motion Blur (ROMB), with paired sharp and naturally blurry images of fast-moving cars, so as to better train motion deblurring models and benchmark the capability of motion deblurring algorithms in practice. Extensive experiments on the proposed ROMB and other existing datasets demonstrate that EPAN outperforms state-of-the-art approaches qualitatively and quantitatively.


title: Underwater Image Enhancement Using Convolutional Neural Network

abstract: This work proposes a method for underwater image enhancement using the principle of histogram equalization. Since underwater images have a global strong dominant colour, their colourfulness and contrast are often degraded. Before applying the histogram equalisation technique on the image, the image is converted from coloured image to a gray scale image for further operations. Histogram equalization is a technique for adjusting image intensities to enhance contrast. The colours of the image are retained using a convolutional neural network model which is trained by the datasets of underwater images to give better results.


title: KNN Learning Techniques for Proportional Myocontrol in Prosthetics

abstract: This work has been conducted in the context of pattern-recognition-based control for electromyographic prostheses. It presents a k-nearest neighbour (kNN) classification technique for gesture recognition, extended by a proportionality scheme. The methods proposed are practically implemented and validated. Datasets are captured by means of a state-of-the-art 8-channel electromyography (EMG) armband positioned on the forearm. Based on this data, the influence of kNN's parameters is analyzed in pilot experiments. Moreover, the effect of proportionality scaling and rest thresholding schemes is investigated. A randomized, double-blind user study is conducted to compare the implemented method with the state-of-research algorithm Ridge Regression with Random Fourier Features (RR-RFF) for different levels of gesture exertion. The results from these experiments show a statistically significant improvement in favour of the kNN-based algorithm.


title: Machine learning approaches for Kuramoto coupled oscillator systems

abstract: Recently, there has been significant advancement in the machine learning (ML) approach and its application to diverse systems ranging from complex to quantum systems. As one of such systems, a coupled-oscillators system exhibits intriguing collective behaviors, synchronization phase transitions, chaotic behaviors and so on. Even though traditional approaches such as analytical and numerical methods enable to understand diverse properties of such systems, some properties still remain unclear. Here, we applied the ML approach to such systems particularly described by the Kuramoto model, with the aim of resolving the following intriguing problems, namely determination of the transition point and criticality of a hybrid synchronization transition; understanding network structures from chaotic patterns; and comparison of ML algorithms for the prediction of future chaotic behaviors. The proposed method is expected to be useful for further problems such as understanding a neural network structure from electroencephalogram signals.


title: Time-dependent, long-term hydrodynamic simulations of the inner protoplanetary disk I: The importance of stellar magnetic torques

abstract: We conduct simulations of the inner regions of protoplanetary disks (PPDs) to investigate the effects of protostellar magnetic fields on their long-term evolution. We use an inner boundary model that incorporates the influence of a stellar magnetic field. The position of the inner disk is dependent on the mass accretion rate as well as the magnetic field strength. We use this model to study the response of a magnetically truncated inner disk to an episodic accretion event. Additionally, we vary the protostellar magnetic field strength and investigate the consequences of the magnetic field on the long-term behavior of PPDs. We use the fully implicit 1+1D TAPIR code which solves the axisymmetric hydrodynamic equations self-consistently. Our model allows us to investigate disk dynamics close to the star and to conduct long-term evolution simulations simultaneously and includes the radial radiation transport in the stationary diffusion limit. We include stellar magnetic torques, the influence of a pressure gradient, and a variable inner disk radius in the TAPIR code to describe the innermost disk region in a more self-consistent manner and can show that this approach alters the disk dynamics considerably compared to a simplified diffusive evolution equation, especially during outbursts. The influences of a prescribed stellar magnetic field, local pressure gradients, and a variable inner disk radius result in a more consistent description of the gas dynamics in the innermost regions of PPDs. Combining magnetic torques acting on the innermost disk regions with the long-term evolution of PPDs yields previously unseen results, whereby the whole disk structure is affected over its entire lifetime. Additionally, we want to emphasize that a combination of our 1+1D model with more sophisticated multi-dimensional codes could improve the understanding of PPDs even further.


title: A Tighter Upper Bound of the Expansion Factor for Universal Coding of Integers and Its Code Constructions

abstract: In entropy coding, universal coding of integers~(UCI) is a binary universal prefix code, such that the ratio of the expected codeword length to $\max\{1, H(P)\}$ is less than or equal to a constant expansion factor $K_{\mathcal{C}}$ for any probability distribution $P$, where $H(P)$ is the Shannon entropy of $P$. $K_{\mathcal{C}}^{*}$ is the infimum of the set of expansion factors. The optimal UCI is defined as a class of UCI possessing the smallest $K_{\mathcal{C}}^{*}$. Based on prior research, the range of $K_{\mathcal{C}}^{*}$ for the optimal UCI is $2\leq K_{\mathcal{C}}^{*}\leq 2.75$. Currently, the code constructions achieve $K_{\mathcal{C}}=2.75$ for UCI and $K_{\mathcal{C}}=3.5$ for asymptotically optimal UCI. In this paper, we propose a class of UCI, termed $\iota$ code, to achieve $K_{\mathcal{C}}=2.5$. This further narrows the range of $K_{\mathcal{C}}^{*}$ to $2\leq K_{\mathcal{C}}^{*}\leq 2.5$. Next, a family of asymptotically optimal UCIs is presented, where their expansion factor infinitely approaches $2.5$. Finally, a more precise range of $K_{\mathcal{C}}^{*}$ for the classic UCIs is discussed.


title: Collapsing dust thin shells in Einstein-Gauss-Bonnet gravity

abstract: We investigate gravitational collapse of a spherically symmetric thin shell in the Einstein-Gauss-Bonnet (EGB) gravity. Under the recently proposed 4D limit, we find that the collapsing shell will be bounced back at a small radius, without forming a singularity. This bouncing behavior is similar to those of a test particle and a homogeneous spherical dust star, in accordance with the expectation that the Gauss-Bonnet term will modify the small scale behavior of the Einstein gravity. We analyze the causal structure of the dynamic spacetime that represents the bouncing process, finding that the thin shell has an oscillation behavior on the Penrose diagram, which means that the thin shell results in a novel type of black hole with respect to observers outside the event horizon that the collapse forms. We also find that the weak cosmic censorship conjecture holds in this model. Further implications of such a regular gravitational collapse are discussed.


title: Spatiotemporal linear stability of viscoelastic Saffman-Taylor flows

abstract: A comprehensive, temporal and spatiotemporal linear stability analyses of a (driven) Oldroyd-B fluid with Poiseuille base flow profile in a horizontally aligned, square, Hele-Shaw cell is reported to identify the viable regions of topological transition of the advancing interface. The dimensionless groups governing stability are the Reynolds number, $Re = \frac{b^2 \rho \mathcal{U}_0}{12 \eta_0 L}$, the elasticity number, $E = \frac{12 \lambda (1-\nu)\eta_0}{\rho b^2}$ and the ratio of solvent to polymer solution viscosity, $\nu = \frac{\eta_s}{\eta_0}$; here $b$ is the cell gap, $L$ is the length/width of the cell, $\mathcal{U}_0$ is the maximum velocity of the mean flow, $\rho$ is the density of the driven fluid and $\lambda $ is the relaxation time. Excellent agreement on the size of the relative finger width between our model and the experiments in the Stokes and the inertial, Newtonian regime is found. In the asymptotic limit $E(1-\nu) \ll 1$, the critical Reynolds number, $Re_c$ (defined as the largest Reynolds number beyond which all wavenumbers are temporally unstable) diverges as per the scaling law $Re_c \sim \left[E(1-\nu)\right]^{-5/3}$ and the critical wavenumber increases as $\alpha_c \sim \left[E(1-\nu)\right]^{-2/3}$. The temporal stability analysis stipulate that (a) the destabilizing influence of the inertial, (b) the destabilizing impact of finite boundaries near the wall, and (c) the stabilizing (destabilizing) impact of elasticity combined with low (high) fluid inertia . The Briggs idea of analytic continuation is deployed to classify regions of absolute and convective instabilities, as well as the evanescent modes. The phase diagram reveals the presence of absolutely unstable region at high values of Reynolds and elasticity number, confirming the role of fluid inertia in triggering a pinch-off.


title: Test Martingales for bounded random variables

abstract: Given a positive random variable $X$, $X\ge0$ a.s., a null hypothesis $H_0:E(X)\le\mu$ and a random sample of infinite size of $X$, we construct test supermartingales for $H_0$, i.e. positive processes that are supermartingale if the null hypothesis is satisfied. We test hypothesis $H_0$ by testing the supermartingale hypothesis on a test supermartingale. We construct test supermartingales that lead to tests with power 1. We derive confidence lower bounds. For bounded random variables we extend the techniques to two-sided tests of $H_0:E(X)=\mu$ and to the construction of confidence intervals. In financial auditing random sampling is proposed as one of the possible techniques to gather enough evidence to justify rejection of the null hypothesis that there is a 'material' misstatement in a financial report. The goal of our work is to provide a mathematical context that could represent such process of gathering evidence by means of repeated random sampling, while ensuring an intended significance level.


title: A Studious Approach to Semi-Supervised Learning

abstract: The problem of learning from few labeled examples while using large amounts of unlabeled data has been approached by various semi-supervised methods. Although these methods can achieve superior performance, the models are often not deployable due to the large number of parameters. This paper is an ablation study of distillation in a semi-supervised setting, which not just reduces the number of parameters of the model but can achieve this while improving the performance over the baseline supervised model and making it better at generalizing. After the supervised pretraining, the network is used as a teacher model, and a student network is trained over the soft labels that the teacher model generates over the entire unlabeled data. We find that the fewer the labels, the more this approach benefits from a smaller student network. This brings forward the potential of distillation as an effective solution to enhance performance in semi-supervised computer vision tasks while maintaining deployability.


title: Benchmarking the Combinatorial Generalizability of Complex Query Answering on Knowledge Graphs

abstract: Complex Query Answering (CQA) is an important reasoning task on knowledge graphs. Current CQA learning models have been shown to be able to generalize from atomic operators to more complex formulas, which can be regarded as the combinatorial generalizability. In this paper, we present EFO-1-QA, a new dataset to benchmark the combinatorial generalizability of CQA models by including 301 different queries types, which is 20 times larger than existing datasets. Besides, our work, for the first time, provides a benchmark to evaluate and analyze the impact of different operators and normal forms by using (a) 7 choices of the operator systems and (b) 9 forms of complex queries. Specifically, we provide the detailed study of the combinatorial generalizability of two commonly used operators, i.e., projection and intersection, and justify the impact of the forms of queries given the canonical choice of operators. Our code and data can provide an effective pipeline to benchmark CQA models.


title: Panspermia in a Milky Way-like Galaxy

abstract: We study the process of panspermia in Milky Way-like galaxies by modeling the probability of successful travel of organic compounds between stars harboring potentially habitable planets. To this end, we apply the modified habitability recipe of Gobat & Hong (2016) to a model galaxy from the MUGS suite of zoom-in cosmological simulations. We find that, unlike habitability, which only occupies narrow dynamic range over the entire galaxy, the panspermia probability can vary be orders of magnitude between the inner ($R, b = 1-4 {\rm kpc}$) and outer disk. However, only a small fraction of star particles have very large values of panspermia probability and, consequently, the fraction of star particles where the panspermia process is more effective than prebiotic evolution is much lower than from na\"ive expectations based on the ratio between panspermia probability and natural habitability.


title: Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logic

abstract: Natural language inference (NLI) aims to determine the logical relationship between two sentences, such as Entailment, Contradiction, and Neutral. In recent years, deep learning models have become a prevailing approach to NLI, but they lack interpretability and explainability. In this work, we address the explainability of NLI by weakly supervised logical reasoning, and propose an Explainable Phrasal Reasoning (EPR) approach. Our model first detects phrases as the semantic unit and aligns corresponding phrases in the two sentences. Then, the model predicts the NLI label for the aligned phrases, and induces the sentence label by fuzzy logic formulas. Our EPR is almost everywhere differentiable and thus the system can be trained end to end. In this way, we are able to provide explicit explanations of phrasal logical relationships in a weakly supervised manner. We further show that such reasoning results help textual explanation generation.


title: Discrete connections on principal bundles: abelian group case

abstract: In this note we consider a few interesting properties of discrete connections on principal bundles when the structure group of the bundle is an abelian Lie group. In particular, we show that the discrete connection form and its curvature can be interpreted as singular $1$ and $2$ cochains respectively, with the curvature being the coboundary of the connection form. Using this formalism we prove a discrete analogue of a formula for the holonomy around a loop given by Marsden, Montgomery and Ratiu for (continuous) connections in a similar setting.


title: Minimizers for a one-dimensional interaction energy

abstract: We solve explicitly a certain minimization problem for probability measures in one dimension involving an interaction energy that arises in the modelling of aggregation phenomena. We show that in a certain regime minimizers are absolutely continuous with an unbounded density, thereby settling a question that was left open in previous works.


title: Regular Sequential Serializability and Regular Sequential Consistency

abstract: Strictly serializable (linearizable) services appear to execute transactions (operations) sequentially, in an order consistent with real time. This restricts a transaction's (operation's) possible return values and in turn, simplifies application programming. In exchange, strictly serializable (linearizable) services perform worse than those with weaker consistency. But switching to such services can break applications. This work introduces two new consistency models to ease this trade-off: regular sequential serializability (RSS) and regular sequential consistency (RSC). They are just as strong for applications: we prove any application invariant that holds when using a strictly serializable (linearizable) service also holds when using an RSS (RSC) service. Yet they relax the constraints on services -- they allow new, better-performing designs. To demonstrate this, we design, implement, and evaluate variants of two systems, Spanner and Gryff, relaxing their consistency to RSS and RSC, respectively. The new variants achieve better read-only transaction and read tail latency than their counterparts.


title: S\=ojiTantei: Function-Call Reachability Detection of Vulnerable Code for npm Packages

abstract: It has become common practice for software projects to adopt third-party dependencies. Developers are encouraged to update any outdated dependency to remain safe from potential threats of vulnerabilities. In this study, we present an approach to aid developers show whether or not a vulnerable code is reachable for JavaScript projects. Our prototype, S\=ojiTantei, is evaluated in two ways (i) the accuracy when compared to a manual approach and (ii) a larger-scale analysis of 780 clients from 78 security vulnerability cases. The first evaluation shows that S\=ojiTantei has a high accuracy of 83.3%, with a speed of less than a second analysis per client. The second evaluation reveals that 68 out of the studied 78 vulnerabilities reported having at least one clean client. The study proves that automation is promising with the potential for further improvement.


title: 2-Prime Hyperideals

abstract: Multiplicative hyperrings are an important class of algebraic hyperstructures which generalize rings further to allow multiple output values for the multiplication operation. Let R be a commutative multiplicative hyperring. The 2-prime hyperideals are a generalization of prime hyperideals. In this paper, we aim to study 2-prime hyperideals and give some results. Moreover, we investigate delta-2-primary hyperideals which are an expansion of 2-prime hyperideals.


title: Optimization-based Block Coordinate Gradient Coding

abstract: Existing gradient coding schemes introduce identical redundancy across the coordinates of gradients and hence cannot fully utilize the computation results from partial stragglers. This motivates the introduction of diverse redundancies across the coordinates of gradients. This paper considers a distributed computation system consisting of one master and $N$ workers characterized by a general partial straggler model and focuses on solving a general large-scale machine learning problem with $L$ model parameters. We show that it is sufficient to provide at most $N$ levels of redundancies for tolerating $0, 1,\cdots, N-1$ stragglers, respectively. Consequently, we propose an optimal block coordinate gradient coding scheme based on a stochastic optimization problem that optimizes the partition of the $L$ coordinates into $N$ blocks, each with identical redundancy, to minimize the expected overall runtime for collaboratively computing the gradient. We obtain an optimal solution using a stochastic projected subgradient method and propose two low-complexity approximate solutions with closed-from expressions, for the stochastic optimization problem. We also show that under a shifted-exponential distribution, for any $L$, the expected overall runtimes of the two approximate solutions and the minimum overall runtime have sub-linear multiplicative gaps in $N$. To the best of our knowledge, this is the first work that optimizes the redundancies of gradient coding introduced across the coordinates of gradients.


title: Fairness Maximization among Offline Agents in Online-Matching Markets

abstract: Matching markets involve heterogeneous agents (typically from two parties) who are paired for mutual benefit. During the last decade, matching markets have emerged and grown rapidly through the medium of the Internet. They have evolved into a new format, called Online Matching Markets (OMMs), with examples ranging from crowdsourcing to online recommendations to ridesharing. There are two features distinguishing OMMs from traditional matching markets. One is the dynamic arrival of one side of the market: we refer to these as online agents while the rest are offline agents. Examples of online and offline agents include keywords (online) and sponsors (offline) in Google Advertising; workers (online) and tasks (offline) in Amazon Mechanical Turk (AMT); riders (online) and drivers (offline when restricted to a short time window) in ridesharing. The second distinguishing feature of OMMs is the real-time decision-making element. However, studies have shown that the algorithms making decisions in these OMMs leave disparities in the match rates of offline agents. For example, tasks in neighborhoods of low socioeconomic status rarely get matched to gig workers, and drivers of certain races/genders get discriminated against in matchmaking. In this paper, we propose online matching algorithms which optimize for either individual or group-level fairness among offline agents in OMMs. We present two linear-programming (LP) based sampling algorithms, which achieve online competitive ratios at least 0.725 for individual fairness maximization (IFM) and 0.719 for group fairness maximization (GFM), respectively. We conduct extensive numerical experiments and results show that our boosted version of sampling algorithms are not only conceptually easy to implement but also highly effective in practical instances of fairness-maximization-related models.


title: Complex Temporal Question Answering on Knowledge Graphs

abstract: Question answering over knowledge graphs (KG-QA) is a vital topic in IR. Questions with temporal intent are a special class of practical importance, but have not received much attention in research. This work presents EXAQT, the first end-to-end system for answering complex temporal questions that have multiple entities and predicates, and associated temporal conditions. EXAQT answers natural language questions over KGs in two stages, one geared towards high recall, the other towards precision at top ranks. The first step computes question-relevant compact subgraphs within the KG, and judiciously enhances them with pertinent temporal facts, using Group Steiner Trees and fine-tuned BERT models. The second step constructs relational graph convolutional networks (R-GCNs) from the first step's output, and enhances the R-GCNs with time-aware entity embeddings and attention over temporal relations. We evaluate EXAQT on TimeQuestions, a large dataset of 16k temporal questions we compiled from a variety of general purpose KG-QA benchmarks. Results show that EXAQT outperforms three state-of-the-art systems for answering complex questions over KGs, thereby justifying specialized treatment of temporal QA.


title: Charged Lepton EDM with Extra Yukawa Couplings

abstract: In a two Higgs doublet model with extra Yukawa couplings, we assess the new physics contributions to charged lepton electric dipole moment. We focus especially on muon (and tau) EDM where in the coming decade several experiments $-$ Muon g-2, J-PARC and PSI (and Belle II) $-$ will push sensitivities down by several orders of magnitude. With the working assumption that extra Yukawa couplings are analogous to SM ones in strength and taking exotic scalar masses in sub-TeV range, we find that $\mu$ and $\tau$ EDM can be enhanced to values larger than new physics scenarios that scale with lepton mass. The main effect comes from the flavor-conserving extra top coupling $\rho_{tt}$ via well-known two-loop diagrams. Deviating from our working assumption, if the muon $g-2$ anomaly arises from the one-loop diagram, driven by singly enhanced lepton flavor violating $\rho_{\tau\mu}$ coupling, it can also induce rather large muon EDM, accessible at upcoming experiments.


title: UNetFormer: A UNet-like Transformer for Efficient Semantic Segmentation of Remote Sensing Urban Scene Imagery

abstract: Semantic segmentation of remotely sensed urban scene images is required in a wide range of practical applications, such as land cover mapping, urban change detection, environmental protection, and economic assessment.Driven by rapid developments in deep learning technologies, the convolutional neural network (CNN) has dominated semantic segmentation for many years. CNN adopts hierarchical feature representation, demonstrating strong capabilities for local information extraction. However, the local property of the convolution layer limits the network from capturing the global context. Recently, as a hot topic in the domain of computer vision, Transformer has demonstrated its great potential in global information modelling, boosting many vision-related tasks such as image classification, object detection, and particularly semantic segmentation. In this paper, we propose a Transformer-based decoder and construct a UNet-like Transformer (UNetFormer) for real-time urban scene segmentation. For efficient segmentation, the UNetFormer selects the lightweight ResNet18 as the encoder and develops an efficient global-local attention mechanism to model both global and local information in the decoder. Extensive experiments reveal that our method not only runs faster but also produces higher accuracy compared with state-of-the-art lightweight models. Specifically, the proposed UNetFormer achieved 67.8% and 52.4% mIoU on the UAVid and LoveDA datasets, respectively, while the inference speed can achieve up to 322.4 FPS with a 512x512 input on a single NVIDIA GTX 3090 GPU. In further exploration, the proposed Transformer-based decoder combined with a Swin Transformer encoder also achieves the state-of-the-art result (91.3% F1 and 84.1% mIoU) on the Vaihingen dataset. The source code will be freely available at https://github.com/WangLibo1995/GeoSeg.


title: New static cylindrical symmetric solutions in GR for unfamiliar EoS parameter values via Noether symmetry

abstract: The solutions for the field equations of $f(R)$ gravity are investigated in static cylindrically symmetric space-time. Conserved quantities of the system, as well as unknown functions, can be determined with the help of the Noether symmetry method. In this article, some unknown values of the equations of state parameter (EoS) have emerged as a result of the constraints obtained by analyzing the Noether symmetry equations for the $f(R)=f_0 R$ case. Consequently, several new exact solutions have been found for cases of General Relativity in static cylindrically symmetrical space-time for the non-dust matter.


title: Decentralized Governance of Stablecoins with Closed Form Valuation

abstract: We model incentive security in non-custodial stablecoins and derive conditions for participation in a stablecoin system across risk absorbers (vaults/CDPs) and holders of governance tokens. We apply option pricing theory to derive closed form solutions to the stakeholders' problems, and to value their positions within the capital structure of the stablecoin. We derive the optimal interest rate that is incentive compatible, as well as conditions for the existence of equilibria without governance attacks, and discuss implications for designing secure protocols.


title: Improved uniform error bounds of the time-splitting methods for the long-time (nonlinear) Schr\"odinger equation

abstract: We establish improved uniform error bounds for the time-splitting methods for the long-time dynamics of the Schr\"odinger equation with small potential and the nonlinear Schr\"odinger equation (NLSE) with weak nonlinearity. For the Schr\"odinger equation with small potential characterized by a dimensionless parameter $\varepsilon \in (0, 1]$ representing the amplitude of the potential, we employ the unitary flow property of the (second-order) time-splitting Fourier pseudospectral (TSFP) method in $L^2$-norm to prove a uniform error bound at $C(T)(h^m +\tau^2)$ up to the long time $T_\varepsilon= T/\varepsilon$ for any $T>0$ and uniformly for $0<\varepsilon\le1$, while $h$ is the mesh size, $\tau$ is the time step, $m \ge 2$ depends on the regularity of the exact solution, and $C(T) =C_0+C_1T$ grows at most linearly with respect to $T$ with $C_0$ and $C_1$ two positive constants independent of $T$, $\varepsilon$, $h$ and $\tau$. Then by introducing a new technique of {\sl regularity compensation oscillation} (RCO) in which the high frequency modes are controlled by regularity and the low frequency modes are analyzed by phase cancellation and energy method, an improved uniform error bound at $O(h^{m-1} + \varepsilon \tau^2)$ is established in $H^1$-norm for the long-time dynamics up to the time at $O(1/\varepsilon)$ of the Schr\"odinger equation with $O(\varepsilon)$-potential with $m \geq 3$, which is uniformly for $\varepsilon\in(0,1]$. Moreover, the RCO technique is extended to prove an improved uniform error bound at $O(h^{m-1} + \varepsilon^2\tau^2)$ in $H^1$-norm for the long-time dynamics up to the time at $O(1/\varepsilon^2)$ of the cubic NLSE with $O(\varepsilon^2)$-nonlinearity strength, uniformly for $\varepsilon \in (0, 1]$. Extensions to the first-order and fourth-order time-splitting methods are discussed.


title: Violence Detection in Videos

abstract: In the recent years, there has been a tremendous increase in the amount of video content uploaded to social networking and video sharing websites like Facebook and Youtube. As of result of this, the risk of children getting exposed to adult and violent content on the web also increased. To address this issue, an approach to automatically detect violent content in videos is proposed in this work. Here, a novel attempt is made also to detect the category of violence present in a video. A system which can automatically detect violence from both Hollywood movies and videos from the web is extremely useful not only in parental control but also for applications related to movie ratings, video surveillance, genre classification and so on. Here, both audio and visual features are used to detect violence. MFCC features are used as audio cues. Blood, Motion, and SentiBank features are used as visual cues. Binary SVM classifiers are trained on each of these features to detect violence. Late fusion using a weighted sum of classification scores is performed to get final classification scores for each of the violence class target by the system. To determine optimal weights for each of the violence classes an approach based on grid search is employed. Publicly available datasets, mainly Violent Scene Detection (VSD), are used for classifier training, weight calculation, and testing. The performance of the system is evaluated on two classification tasks, Multi-Class classification, and Binary Classification. The results obtained for Binary Classification are better than the baseline results from MediaEval-2014.


title: iWave3D: End-to-end Brain Image Compression with Trainable 3-D Wavelet Transform

abstract: With the rapid development of whole brain imaging technology, a large number of brain images have been produced, which puts forward a great demand for efficient brain image compression methods. At present, the most commonly used compression methods are all based on 3-D wavelet transform, such as JP3D. However, traditional 3-D wavelet transforms are designed manually with certain assumptions on the signal, but brain images are not as ideal as assumed. What's more, they are not directly optimized for compression task. In order to solve these problems, we propose a trainable 3-D wavelet transform based on the lifting scheme, in which the predict and update steps are replaced by 3-D convolutional neural networks. Then the proposed transform is embedded into an end-to-end compression scheme called iWave3D, which is trained with a large amount of brain images to directly minimize the rate-distortion loss. Experimental results demonstrate that our method outperforms JP3D significantly by 2.012 dB in terms of average BD-PSNR.


title: Theories with few non-algebraic types over models, and their decompositions

abstract: We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theory $T$ is mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its cardinality.


title: Vector-Valued Control Variates

abstract: Control variates are variance reduction tools for Monte Carlo estimators. They can provide significant variance reduction, but usually require a large number of samples, which can be prohibitive when sampling or evaluating the integrand is computationally expensive. Furthermore, there are many scenarios where we need to compute multiple related integrals simultaneously or sequentially, which can further exacerbate computational costs. In this paper, we propose vector-valued control variates, an extension of control variates which can be used to reduce the variance of multiple Monte Carlo estimators jointly. This allows for the transfer of information across integration tasks, and hence reduces the need for a large number of samples. We focus on control variates based on kernel interpolants and our novel construction is obtained through a generalised Stein identity and the development of novel matrix-valued Stein reproducing kernels. We demonstrate our methodology on a range of problems including multifidelity modelling, Bayesian inference for dynamical systems, and model evidence computation through thermodynamic integration.


title: Removing Noise from Extracellular Neural Recordings Using Fully Convolutional Denoising Autoencoders

abstract: Extracellular recordings are severely contaminated by a considerable amount of noise sources, rendering the denoising process an extremely challenging task that should be tackled for efficient spike sorting. To this end, we propose an end-to-end deep learning approach to the problem, utilizing a Fully Convolutional Denoising Autoencoder, which learns to produce a clean neuronal activity signal from a noisy multichannel input. The experimental results on simulated data show that our proposed method can improve significantly the quality of noise-corrupted neural signals, outperforming widely-used wavelet denoising techniques.


title: Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

abstract: We study the relation between two special classes of Riemannian Lie groups $G$ with a left-invariant metric $g$: The Einstein Lie groups, defined by the condition $\operatorname{Ric}_g=cg$, and the geodesic orbit Lie groups, defined by the property that any geodesic is the integral curve of a Killing vector field. The main results imply that extensive classes of compact simple Einstein Lie groups $(G,g)$ are not geodesic orbit manifolds, thus providing large-scale answers to a relevant question of Y. Nikonorov. Our approach involves studying and characterizing the $G\times K$-invariant geodesic orbit metrics on Lie groups $G$ for a wide class of subgroups $K$ that we call (weakly) regular. By-products of our work are structural and characterization results that are of independent interest for the classification problem of geodesic orbit manifolds.


title: Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control

abstract: We present an historical overview about the connections between the analysis of risk and the control of autonomous systems. We offer two main contributions. Our first contribution is to propose three overlapping paradigms to classify the vast body of literature: the worst-case, risk-neutral, and risk-averse paradigms. We consider an appropriate assessment for the risk of an autonomous system to depend on the application at hand. In contrast, it is typical to assess risk using an expectation, variance, or probability alone. Our second contribution is to unify the concepts of risk and autonomous systems. We achieve this by connecting approaches for quantifying and optimizing the risk that arises from a system's behaviour across academic fields. The survey is highly multidisciplinary. We include research from the communities of reinforcement learning, stochastic and robust control theory, operations research, and formal verification. We describe both model-based and model-free methods, with emphasis on the former. Lastly, we highlight fruitful areas for further research. A key direction is to blend risk-averse model-based and model-free methods to enhance the real-time adaptive capabilities of systems to improve human and environmental welfare.


title: Graph-Theoretical Based Algorithms for Structural Optimization

abstract: Five new algorithms were proposed in order to optimize well conditioning of structural matrices. Along with decreasing the size and duration of analyses, minimizing analytical errors is a critical factor in the optimal computer analysis of skeletal structures. Appropriate matrices with a greater number of zeros (sparse), a well structure, and a well condition are advantageous for this objective. As a result, a problem of optimization with various goals will be addressed. This study seeks to minimize analytical errors such as rounding errors in skeletal structural flexibility matrixes via the use of more consistent and appropriate mathematical methods. These errors become more pronounced in particular designs with ill-suited flexibility matrixes; structures with varying stiffness are a frequent example of this. Due to the usage of weak elements, the flexibility matrix has a large number of non-diagonal terms, resulting in analytical errors. In numerical analysis, the ill-condition of a matrix may be resolved by moving or substituting rows; this study examined the definition and execution of these modifications prior to creating the flexibility matrix. Simple topological and algebraic features have been mostly utilized in this study to find fundamental cycle bases with particular characteristics. In conclusion, appropriately conditioned flexibility matrices are obtained, and analytical errors are reduced accordingly.


title: Inductive Conformal Recommender System

abstract: Traditional recommendation algorithms develop techniques that can help people to choose desirable items. However, in many real-world applications, along with a set of recommendations, it is also essential to quantify each recommendation's (un)certainty. The conformal recommender system uses the experience of a user to output a set of recommendations, each associated with a precise confidence value. Given a significance level $\varepsilon$, it provides a bound $\varepsilon$ on the probability of making a wrong recommendation. The conformal framework uses a key concept called \emph{nonconformity measure} that measures the strangeness of an item concerning other items. One of the significant design challenges of any conformal recommendation framework is integrating nonconformity measures with the recommendation algorithm. This paper introduces an inductive variant of a conformal recommender system. We propose and analyze different nonconformity measures in the inductive setting. We also provide theoretical proofs on the error-bound and the time complexity. Extensive empirical analysis on ten benchmark datasets demonstrates that the inductive variant substantially improves the performance in computation time while preserving the accuracy.


title: Picard approximation of a singular backward stochastic nonlinear Volterra integral equation

abstract: Backward stochastic differential equations (BSDEs) belong nowadays to the most frequently studied equations in stochastic analysis and computational stochastics. In this paper we prove that Picard iterations of BSDEs with globally Lipschitz continuous nonlinearities converge exponentially fast to the solution. Our main result in this paper is to establish a fundamental lemma to prove the global existence and uniqueness of an adapted solution to a singular backward stochastic nonlinear Volterra integral equation (for short singular BSVIE) of order $\alpha \in (\frac{1}{2},1)$ under a weaker condition than Lipschitz one in a Hilbert space.


title: The Eisenlohr-Farris Algorithm for fully transitive polyhedra

abstract: The purpose of this note is to present a method for classifying three-dimensional polyhedra in terms of their symmetry groups. This method is constructive and it is described in terms of the conjugation classes of crystallographic groups in $\mathbb{E}^3$. For each class of groups $\Gamma$ the method can generate without duplication all polyhedra in three-dimensional space on which $\Gamma$ acts fully-transitively. It was proposed by J. M. Eisenlohr and S. L. Farris for generating every fully transitive polyhedra in $\mathbb{E}^d$. We also illustrate how the method can be applied in the euclidean space $\mathbb{E}^3$ by generating a new fully transitive polyhedron.


title: Signature, Toledo invariant and surface group representations in the real symplectic group

abstract: In this paper, by using Atiyah-Patodi-Singer index theorem, we obtain a formula for the signature of a flat symplectic vector bundle over a surface with boundary, which is related to the Toledo invariant of a surface group representation in the real symplectic group and the Rho invariant on the boundary. As an application, we obtain a Milnor-Wood type inequality for the signature. In particular, we give a new proof of the Milnor-Wood inequality for the Toledo invariant in the case of closed surfaces and obtain some modified inequalities for the surface with boundary.