title: Automated Performance Tuning for Highly-Configurable Software Systems

abstract: Performance is an important non-functional aspect of the software requirement. Modern software systems are highly-configurable and misconfigurations may easily cause performance issues. A software system that suffers performance issues may exhibit low program throughput and long response time. However, the sheer size of the configuration space makes it challenging for administrators to manually select and adjust the configuration options to achieve better performance. In this paper, we propose ConfRL, an approach to tune software performance automatically. The key idea of ConfRL is to use reinforcement learning to explore the configuration space by a trial-and-error approach and to use the feedback received from the environment to tune configuration option values to achieve better performance. To reduce the cost of reinforcement learning, ConfRL employs sampling, clustering, and dynamic state reduction techniques to keep states in a large configuration space manageable. Our evaluation of four real-world highly-configurable server programs shows that ConfRL can efficiently and effectively guide software systems to achieve higher long-term performance.


title: The FAMU experiment at RIKEN RAL for a precise measure of the proton radius

abstract: The goal of the FAMU experiment at RIKEN RAL is the measure of the hyperfine splitting of the ground state of the muonic hydrogen, to allow a determination of the proton Zemach radius with a precision better than $5 \times 10^{-3}$ . The comparison of this measurement with the ones done with ordinary hydrogen may help to solve the so-called "proton radius puzzle", triggered by the $6 \sigma$ discrepancy in the proton charge radius value as extracted from muonic Lamb shift and the value based on e-p scattering and ordinary hydrogen spectroscopy.


title: Spike behavior in the approach to spacetime singularities

abstract: We perform numerical simulations of the approach to spacetime singularities. The simulations are done with sufficient resolution to resolve the small scale features (known as spikes) that form in this process. We find an analytical formula for the shape of the spikes and show that the spikes in the simulations are well described by this formula.


title: Joint Inference of Diffusion and Structure in Partially Observed Social Networks Using Coupled Matrix Factorization

abstract: Access to complete data in large-scale networks is often infeasible. Therefore, the problem of missing data is a crucial and unavoidable issue in the analysis and modeling of real-world social networks. However, most of the research on different aspects of social networks does not consider this limitation. One effective way to solve this problem is to recover the missing data as a pre-processing step. In this paper, a model is learned from partially observed data to infer unobserved diffusion and structure networks. To jointly discover omitted diffusion activities and hidden network structures, we develop a probabilistic generative model called "DiffStru." The interrelations among links of nodes and cascade processes are utilized in the proposed method via learning coupled with low-dimensional latent factors. Besides inferring unseen data, latent factors such as community detection may also aid in network classification problems. We tested different missing data scenarios on simulated independent cascades over LFR networks and real datasets, including Twitter and Memtracker. Experiments on these synthetic and real-world datasets show that the proposed method successfully detects invisible social behaviors, predicts links, and identifies latent features.


title: Adversarial and Natural Perturbations for General Robustness

abstract: In this paper we aim to explore the general robustness of neural network classifiers by utilizing adversarial as well as natural perturbations. Different from previous works which mainly focus on studying the robustness of neural networks against adversarial perturbations, we also evaluate their robustness on natural perturbations before and after robustification. After standardizing the comparison between adversarial and natural perturbations, we demonstrate that although adversarial training improves the performance of the networks against adversarial perturbations, it leads to drop in the performance for naturally perturbed samples besides clean samples. In contrast, natural perturbations like elastic deformations, occlusions and wave does not only improve the performance against natural perturbations, but also lead to improvement in the performance for the adversarial perturbations. Additionally they do not drop the accuracy on the clean images.


title: Unsupervised Monocular Depth Estimation for Night-time Images using Adversarial Domain Feature Adaptation

abstract: In this paper, we look into the problem of estimating per-pixel depth maps from unconstrained RGB monocular night-time images which is a difficult task that has not been addressed adequately in the literature. The state-of-the-art day-time depth estimation methods fail miserably when tested with night-time images due to a large domain shift between them. The usual photo metric losses used for training these networks may not work for night-time images due to the absence of uniform lighting which is commonly present in day-time images, making it a difficult problem to solve. We propose to solve this problem by posing it as a domain adaptation problem where a network trained with day-time images is adapted to work for night-time images. Specifically, an encoder is trained to generate features from night-time images that are indistinguishable from those obtained from day-time images by using a PatchGAN-based adversarial discriminative learning method. Unlike the existing methods that directly adapt depth prediction (network output), we propose to adapt feature maps obtained from the encoder network so that a pre-trained day-time depth decoder can be directly used for predicting depth from these adapted features. Hence, the resulting method is termed as "Adversarial Domain Feature Adaptation (ADFA)" and its efficacy is demonstrated through experimentation on the challenging Oxford night driving dataset. Also, The modular encoder-decoder architecture for the proposed ADFA method allows us to use the encoder module as a feature extractor which can be used in many other applications. One such application is demonstrated where the features obtained from our adapted encoder network are shown to outperform other state-of-the-art methods in a visual place recognition problem, thereby, further establishing the usefulness and effectiveness of the proposed approach.


title: Physics-based Reconstruction Methods for Magnetic Resonance Imaging

abstract: Conventional Magnetic Resonance Imaging (MRI) is hampered by long scan times and only qualitative image contrasts that prohibit a direct comparison between different systems. To address these limitations, model-based reconstructions explicitly model the physical laws that govern the MRI signal generation. By formulating image reconstruction as an inverse problem, quantitative maps of the underlying physical parameters can then be extracted directly from efficiently acquired k-space signals without intermediate image reconstruction -- addressing both shortcomings of conventional MRI at the same time. This review will discuss basic concepts of model-based reconstructions and report about our experience in developing several model-based methods over the last decade using selected examples that are provided complete with data and code.

categories: eess.IV cs.CE physics.comp-ph physics.med-ph


title: Mean-Variance Efficient Reinforcement Learning by Expected Quadratic Utility Maximization

abstract: Risk management is critical in decision making, and mean-variance (MV) trade-off is one of the most common criteria. However, in reinforcement learning (RL) for sequential decision making under uncertainty, most of the existing methods for MV control suffer from computational difficulties caused by the double sampling problem. In this paper, in contrast to strict MV control, we consider learning MV efficient policies that achieve Pareto efficiency regarding MV trade-off. To achieve this purpose, we train an agent to maximize the expected quadratic utility function, a common objective of risk management in finance and economics. We call our approach direct expected quadratic utility maximization (EQUM). The EQUM does not suffer from the double sampling issue because it does not include gradient estimation of variance. We confirm that the maximizer of the objective in the EQUM directly corresponds to an MV efficient policy under a certain condition. We conduct experiments with benchmark settings to demonstrate the effectiveness of the EQUM.


title: Random Coordinate Langevin Monte Carlo

abstract: Langevin Monte Carlo (LMC) is a popular Markov chain Monte Carlo sampling method. One drawback is that it requires the computation of the full gradient at each iteration, an expensive operation if the dimension of the problem is high. We propose a new sampling method: Random Coordinate LMC (RC-LMC). At each iteration, a single coordinate is randomly selected to be updated by a multiple of the partial derivative along this direction plus noise, and all other coordinates remain untouched. We investigate the total complexity of RC-LMC and compare it with the classical LMC for log-concave probability distributions. When the gradient of the log-density is Lipschitz, RC-LMC is less expensive than the classical LMC if the log-density is highly skewed for high dimensional problems, and when both the gradient and the Hessian of the log-density are Lipschitz, RC-LMC is always cheaper than the classical LMC, by a factor proportional to the square root of the problem dimension. In the latter case, our estimate of complexity is sharp with respect to the dimension.


title: Event-shaped-dependent cumulants in p-Pb collisions at 5.02 TeV

abstract: In this paper, we present a novel event-shaped cumulants (ESC) response approach, based on a multi-phase transport (AMPT) model simulations, to analyze p-Pb collisions at $\sqrt{s_{NN}}$= 5.02 TeV. We find that the Pearson coefficients between the subset cumulants of the final harmonics $v_{2}\{2k\}~(k=1,2,3,4)$ and the subset cumulants of initial eccentricity $\varepsilon_{2}\{2k\}$ in the ESC basis are significantly enhanced. These Pearson coefficients are strongly-dependent on the charged multiplicity, the set number of events (SNE), and only weakly-dependent on the order of the multi-particle cumulants (two-particles, four-particles, and so on). Our results show that the ESC method can suppress the event-by-event fluctuations.


title: Mixed Convective Heat Transfer Enhancement in a Ventilated Cavity by Flow Modulation via Rotating Plate

abstract: The present study numerically explores the mixed convection phenomena in a differentially heated ventilated square cavity with active flow modulation via a rotating plate. Forced convection flow in the cavity is attained by maintaining an external fluid flow through an opening at the bottom of the left cavity wall while leaving it through another opening at the right cavity wall. A counter-clockwise rotating plate at the center of the cavity acts as active flow modulator. Moving mesh approach is used for the rotation of the plate and the numerical solution is achieved using Arbitrary Lagrangian-Eulerian (ALE) finite element formulation with a quadrilateral discretization scheme. Transient parametric simulations have been performed for various frequency of the rotating plate for a fixed Reynolds number (Re) of 100 based on maximum inlet flow velocity while the Richardson number (Ri) is maintained at unity. Heat transfer performance has been evaluated in terms of spatially averaged Nusselt number and time-averaged Nusselt number along the heated wall. Power spectrum analysis in the frequency domain obtained from the fast Fourier transform (FFT) analysis indicates that thermal frequency and plate frequency start to deviate from each other at higher values of velocity ratio (> 4).


title: Incorporating Dynamic Flight Network in SEIR to Model Mobility between Populations

abstract: Current efforts of modelling COVID-19 are often based on the standard compartmental models such as SEIR and their variations. As pre-symptomatic and asymptomatic cases can spread the disease between populations through travel, it is important to incorporate mobility between populations into the epidemiological modelling. In this work, we propose to modify the commonly-used SEIR model to account for the dynamic flight network, by estimating the imported cases based on the air traffic volume as well as the test positive rate at the source. This modification, called Flight-SEIR, can potentially enable 1). early detection of outbreaks due to imported pre-symptomatic and asymptomatic cases, 2). more accurate estimation of the reproduction number and 3). evaluation of the impact of travel restrictions and the implications of lifting these measures. The proposed Flight-SEIR is essential in navigating through this pandemic and the next ones, given how interconnected our world has become.


title: Self-Resonant u-Lasers of Colloidal Quantum Wells Constructed by Direct Deep Patterning

abstract: Here, the first account of self-resonant fully-colloidal u-lasers made from colloidal quantum well (CQW) solution is reported. A deep patterning technique is developed to fabricate well-defined high aspect-ratio on-chip CQW resonators made of grating waveguides and in-plane reflectors. CQWs of the patterned layers are closed-packed with sharp edges and residual-free lifted-off surfaces. Additionally, the method is successfully applied to various nanoparticles including colloidal quantum dots and metal nanoparticles. It is observed that the patterning process does not affect the nanocrystals (NCs) immobilized in the attained patterns and different physical and chemical properties of the NCs remain pristine. Thanks to capability of the proposed patterning method, patterns of NCs with sub-wavelength lateral feature size and micron-scale height are fabricated in the aspect ratios of 1:15 (<100 nm lateral patterned features to >1.5 {\mu}m film thickness). The fabricated waveguide-coupled laser, enabling tight optical confinement, assures in-plane lasing. The spectral characteristics of the designed CQW resonator structure are well supported with a numerical model of full electromagnetic solutions. Such directly deep-patterned self-resonant u-lasers of CQWs hold great promise for on-chip integration to photonic circuits.


title: Code to Comment "Translation": Data, Metrics, Baselining & Evaluation

abstract: The relationship of comments to code, and in particular, the task of generating useful comments given the code, has long been of interest. The earliest approaches have been based on strong syntactic theories of comment-structures, and relied on textual templates. More recently, researchers have applied deep learning methods to this task, and specifically, trainable generative translation models which are known to work very well for Natural Language translation (e.g., from German to English). We carefully examine the underlying assumption here: that the task of generating comments sufficiently resembles the task of translating between natural languages, and so similar models and evaluation metrics could be used. We analyze several recent code-comment datasets for this task: CodeNN, DeepCom, FunCom, and DocString. We compare them with WMT19, a standard dataset frequently used to train state of the art natural language translators. We found some interesting differences between the code-comment data and the WMT19 natural language data. Next, we describe and conduct some studies to calibrate BLEU (which is commonly used as a measure of comment quality). using "affinity pairs" of methods, from different projects, in the same project, in the same class, etc; Our study suggests that the current performance on some datasets might need to be improved substantially. We also argue that fairly naive information retrieval (IR) methods do well enough at this task to be considered a reasonable baseline. Finally, we make some suggestions on how our findings might be used in future research in this area.


title: PAH and nbL Features Detection in Planetary Nebulae NGC 7027 and BD +303639 with TIRCAM2 Instrument on 3.6m DOT

abstract: High resolution infrared imaging observations of the young Planetary Nebulae NGC 7027 and BD +303639, taken with the newly installed TIFR Infrared Camera-II (TIRCAM2) on 3.6m Devasthal Optical Telescope (DOT), ARIES, Nainital, are being reported. The images are acquired in J, H, K, polycyclic aromatic hydrocarbon (PAH) and narrow-band L (nbL) filters. The observations show emission from warm dust and PAHs in the circumstellar shells. The imaging of the two objects are among the first observations in PAH and nbL bands using TIRCAM2 on DOT. The NGC 7027 images in all bands show similar elliptical morphology with ~6".7 and ~4".5 semi-major and semi-minor axes. Considering size up to 10% of peak value the nebula extends upto 8" from the central star revealing a multipolar evolution. The relatively cooler BD +303639 shows a rectangular-ring shaped nebula. In J and H bands it shows an angular diameter of ~8", while a smaller ~6".9 size is observed in K, PAH and nbL bands. The 3.28 micron emission indicates presence of PAHs at about 6000 and 5000 AU from the central stars in NGC 7027 and BD +303639 respectively. Analysis suggests domination of neutral PAHs in BD+303639, while in NGC 7027 there is higher ionization and more processed PAH population.


title: Sharpness-Aware Minimization for Efficiently Improving Generalization

abstract: In today's heavily overparameterized models, the value of the training loss provides few guarantees on model generalization ability. Indeed, optimizing only the training loss value, as is commonly done, can easily lead to suboptimal model quality. Motivated by prior work connecting the geometry of the loss landscape and generalization, we introduce a novel, effective procedure for instead simultaneously minimizing loss value and loss sharpness. In particular, our procedure, Sharpness-Aware Minimization (SAM), seeks parameters that lie in neighborhoods having uniformly low loss; this formulation results in a min-max optimization problem on which gradient descent can be performed efficiently. We present empirical results showing that SAM improves model generalization across a variety of benchmark datasets (e.g., CIFAR-10, CIFAR-100, ImageNet, finetuning tasks) and models, yielding novel state-of-the-art performance for several. Additionally, we find that SAM natively provides robustness to label noise on par with that provided by state-of-the-art procedures that specifically target learning with noisy labels. We open source our code at \url{https://github.com/google-research/sam}.


title: Correlation between Air and Urban Travelling with New Confirmed Cases of COVID-19 A Case Study

abstract: COVID-19 which has spread in Iran from February 19, 2020, has infected 202,584 people and killed 9,507 people until June 20, 2020. The immediate suggested solution to prevent the spread of this virus was to avoid traveling around. In this study, the correlation between traveling between cities with new confirmed cases of COVID-19 in Iran is demonstrated. The data, used in the study, consisted of the daily inter-state traffic, air traffic data, and daily new COVID-19 confirmed cases. The data is used to train a regression model and voting was used to show the highest correlation between travels made between cities and new cases of COVID-19. Although the available data was very coarse and there was no detail of inner-city commute, an accuracy of 81% was achieved showing a positive correlation between the number of inter-state travels and the new cases of COVID-19. Consequently, the result suggests that one of the best ways to avoid the spread of the virus is limiting or eliminating traveling around.


title: Appliance identification using a histogram post-processing of 2D local binary patterns for smart grid applications

abstract: Identifying domestic appliances in the smart grid leads to a better power usage management and further helps in detecting appliance-level abnormalities. An efficient identification can be achieved only if a robust feature extraction scheme is developed with a high ability to discriminate between different appliances on the smart grid. Accordingly, we propose in this paper a novel method to extract electrical power signatures after transforming the power signal to 2D space, which has more encoding possibilities. Following, an improved local binary patterns (LBP) is proposed that relies on improving the discriminative ability of conventional LBP using a post-processing stage. A binarized eigenvalue map (BEVM) is extracted from the 2D power matrix and then used to post-process the generated LBP representation. Next, two histograms are constructed, namely up and down histograms, and are then concatenated to form the global histogram. A comprehensive performance evaluation is performed on two different datasets, namely the GREEND and WITHED, in which power data were collected at 1 Hz and 44000 Hz sampling rates, respectively. The obtained results revealed the superiority of the proposed LBP-BEVM based system in terms of the identification performance versus other 2D descriptors and existing identification frameworks.


title: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware

abstract: The vast majority of hardware architectures use a carefully timed reference signal to clock their computational logic. However, standard distribution solutions are not fault-tolerant. In this work, we present a simple grid structure as a more reliable clock propagation method and study it by means of simulation experiments. Fault-tolerance is achieved by forwarding clock pulses on arrival of the second of three incoming signals from the previous layer. A key question is how well neighboring grid nodes are synchronized, even without faults. Analyzing the clock skew under typical-case conditions is highly challenging. Because the forwarding mechanism involves taking the median, standard probabilistic tools fail, even when modeling link delays just by unbiased coin flips. Our statistical approach provides substantial evidence that this system performs surprisingly well. Specifically, in an "infinitely wide" grid of height~$H$, the delay at a pre-selected node exhibits a standard deviation of $O(H^{1/4})$ ($\approx 2.7$ link delay uncertainties for $H=2000$) and skew between adjacent nodes of $o(\log \log H)$ ($\approx 0.77$ link delay uncertainties for $H=2000$). We conclude that the proposed system is a very promising clock distribution method. This leads to the open problem of a stochastic explanation of the tight concentration of delays and skews. More generally, we believe that understanding our very simple abstraction of the system is of mathematical interest in its own right.


title: Charged exciton kinetics in monolayer MoSe$_2$ near ferroelectric domain walls in periodically poled LiNbO$_3$

abstract: Monolayers of semiconducting transition metal dichalcogenides are a strongly emergent platform for exploring quantum phenomena in condensed matter, building novel opto-electronic devices with enhanced functionalities. Due to their atomic thickness, their excitonic optical response is highly sensitive to their dielectric environment. In this work, we explore the optical properties of monolayer thick MoSe$_2$ straddling domain wall boundaries in periodically poled LiNbO$_3$. Spatially-resolved photoluminescence experiments reveal spatial sorting of charge and photo-generated neutral and charged excitons across the boundary. Our results reveal evidence for extremely large in-plane electric fields of 3000\,kV/cm at the domain wall whose effect is manifested in exciton dissociation and routing of free charges and trions toward oppositely poled domains and a non-intuitive spatial intensity dependence. By modeling our result using drift-diffusion and continuity equations, we obtain excellent qualitative agreement with our observations and have explained the observed spatial luminescence modulation using realistic material parameters.


title: Semantic Role Labeling Guided Multi-turn Dialogue ReWriter

abstract: For multi-turn dialogue rewriting, the capacity of effectively modeling the linguistic knowledge in dialog context and getting rid of the noises is essential to improve its performance. Existing attentive models attend to all words without prior focus, which results in inaccurate concentration on some dispensable words. In this paper, we propose to use semantic role labeling (SRL), which highlights the core semantic information of who did what to whom, to provide additional guidance for the rewriter model. Experiments show that this information significantly improves a RoBERTa-based model that already outperforms previous state-of-the-art systems.


title: Second Order Operators in the NASA Astrophysics Data System

abstract: Second Order Operators (SOOs) are database functions which form secondary queries based on attributes of the objects returned in an initial query; they can provide powerful methods to investigate complex, multipartite information graphs. The NASA Astrophysics Data System (ADS) has implemented four SOOs, reviews, useful, trending, and similar which use the citations, references, downloads, and abstract text. This tutorial describes these operators in detail, both alone and in conjunction with other functions. It is intended for scientists and others who wish to make fuller use of the ADS database. Basic knowledge of the ADS is assumed.


title: KLR and Schur algebras for curves and semi-cuspidal representations

abstract: Given a smooth curve $C$, we define and study analogues of KLR algebras and quiver Schur algebras, where quiver representations are replaced by torsion sheaves on $C$. In particular, they provide a geometric realization for certain affinized symmetric algebras. When $C=\mathbb P^1$, a version of curve Schur algebra turns out to be Morita equivalent to the imaginary semi-cuspidal category of the Kronecker quiver in any characteristic. As a consequence, we argue that one should not expect to have a reasonable theory of parity sheaves for affine quivers.


title: Improved Truthful Mechanisms for Subadditive Combinatorial Auctions: Breaking the Logarithmic Barrier

abstract: We present a computationally-efficient truthful mechanism for combinatorial auctions with subadditive bidders that achieves an $O((\log\!\log{m})^3)$-approximation to the maximum welfare in expectation using $O(n)$ demand queries; here $m$ and $n$ are the number of items and bidders, respectively. This breaks the longstanding logarithmic barrier for the problem dating back to the $O(\log{m}\cdot\log\!\log{m})$-approximation mechanism of Dobzinski from 2007. Along the way, we also improve and considerably simplify the state-of-the-art mechanisms for submodular bidders.


title: Early Bird: Loop Closures from Opposing Viewpoints for Perceptually-Aliased Indoor Environments

abstract: Significant advances have been made recently in Visual Place Recognition (VPR), feature correspondence, and localization due to the proliferation of deep-learning-based methods. However, existing approaches tend to address, partially or fully, only one of two key challenges: viewpoint change and perceptual aliasing. In this paper, we present novel research that simultaneously addresses both challenges by combining deep-learned features with geometric transformations based on reasonable domain assumptions about navigation on a ground-plane, whilst also removing the requirement for specialized hardware setup (e.g. lighting, downwards facing cameras). In particular, our integration of VPR with SLAM by leveraging the robustness of deep-learned features and our homography-based extreme viewpoint invariance significantly boosts the performance of VPR, feature correspondence, and pose graph submodules of the SLAM pipeline. For the first time, we demonstrate a localization system capable of state-of-the-art performance despite perceptual aliasing and extreme 180-degree-rotated viewpoint change in a range of real-world and simulated experiments. Our system is able to achieve early loop closures that prevent significant drifts in SLAM trajectories. We also compare extensively several deep architectures for VPR and descriptor matching. We also show that superior place recognition and descriptor matching across opposite views results in a similar performance gain in back-end pose graph optimization.


title: A new formula for rotation number

abstract: We give a new formula for the rotation number (or Whitney index) of a smooth closed plane curve. This formula is obtained from the winding numbers associated with the regions and the crossing points of the curve. One difference with the classic Whitney formula is that ours does not need a base point.


title: Spiking Neural Networks Through the Lens of Streaming Algorithms

abstract: We initiate the study of biological neural networks from the perspective of streaming algorithms. Like computers, human brains suffer from memory limitations which pose a significant obstacle when processing large scale and dynamically changing data. In computer science, these challenges are captured by the well-known streaming model, which can be traced back to Munro and Paterson `78 and has had significant impact in theory and beyond. In the classical streaming setting, one must compute some function $f$ of a stream of updates $\mathcal{S} = \{u_1,\ldots,u_m\}$, given restricted single-pass access to the stream. The primary complexity measure is the space used by the algorithm. We take the first steps towards understanding the connection between streaming and neural algorithms. On the upper bound side, we design neural algorithms based on known streaming algorithms for fundamental tasks, including distinct elements, approximate median, heavy hitters, and more. The number of neurons in our neural solutions almost matches the space bounds of the corresponding streaming algorithms. As a general algorithmic primitive, we show how to implement the important streaming technique of linear sketching efficient in spiking neural networks. On the lower bound side, we give a generic reduction, showing that any space-efficient spiking neural network can be simulated by a space-efficiently streaming algorithm. This reduction lets us translate streaming-space lower bounds into nearly matching neural-space lower bounds, establishing a close connection between these two models.


title: MagGAN: High-Resolution Face Attribute Editing with Mask-Guided Generative Adversarial Network

abstract: We present Mask-guided Generative Adversarial Network (MagGAN) for high-resolution face attribute editing, in which semantic facial masks from a pre-trained face parser are used to guide the fine-grained image editing process. With the introduction of a mask-guided reconstruction loss, MagGAN learns to only edit the facial parts that are relevant to the desired attribute changes, while preserving the attribute-irrelevant regions (e.g., hat, scarf for modification `To Bald'). Further, a novel mask-guided conditioning strategy is introduced to incorporate the influence region of each attribute change into the generator. In addition, a multi-level patch-wise discriminator structure is proposed to scale our model for high-resolution ($1024 \times 1024$) face editing. Experiments on the CelebA benchmark show that the proposed method significantly outperforms prior state-of-the-art approaches in terms of both image quality and editing performance.


title: Topological Dynamics of Volume-Preserving Maps Without an Equatorial Heteroclinic Curve

abstract: Understanding the topological structure of phase space for dynamical systems in higher dimensions is critical for numerous applications, including the computation of chemical reaction rates and transport of objects in the solar system. Many topological techniques have been developed to study maps of two-dimensional (2D) phase spaces, but extending these techniques to higher dimensions is often a major challenge or even impossible. Previously, one such technique, homotopic lobe dynamics (HLD), was generalized to analyze the stable and unstable manifolds of hyperbolic fixed points for volume-preserving maps in three dimensions. This prior work assumed the existence of an equatorial heteroclinic intersection curve, which was the natural generalization of the 2D case. The present work extends the previous analysis to the case where no such equatorial curve exists, but where intersection curves, connecting fixed points may exist. In order to extend HLD to this case, we shift our perspective from the invariant manifolds of the fixed points to the invariant manifolds of the invariant circle formed by the fixed-point-to-fixed-point intersections. The output of the HLD technique is a symbolic description of the minimal underlying topology of the invariant manifolds. We demonstrate this approach through a series of examples.


title: WinterLab: Developing a low-cost, portable experiment platform to encourage engagement in the electronics lab

abstract: Encouraging student engagement is a key aim in any educational setting, and allowing students the freedom to pursue their own methods of solving problems through independent experimentation has been shown to markedly improve this. In many contexts, however, allowing students this flexibility in their learning is hampered by constraints of the material itself, such as in the electronics laboratory, where expensive and bulky equipment confines the learning environment to the laboratory room. Finding ourselves in the position of teaching one such laboratory course at the undergraduate level, we sought to encourage students to learn through independent investigation and the pursuit of personal projects, by providing a more flexible and inquiry-based learning environment and allowing them to take their measurement equipment -- and their learning -- beyond the laboratory itself. We present this project as a case of design both for and by students, with the lead designer undertaking the project after attending the course in question, and pursuing its development as a foundational step in their graduate career. We discuss the challenges and opportunities we encountered over the course of the design and development process, and the eventual key output of the project: a portable, low-cost, integrated electronics experimentation platform called the Winterlab board.


title: An Observational Study of Engineering Online Education During the COVID-19 Pandemic

abstract: Although online education has become a viable and major component of higher education in many fields, its employment in engineering disciplines has been limited. COVID-19 pandemic compelled the global and abrupt conversion of conventional face-to-face instruction to the online format. The negative impact of such sudden change is undeniable. Urgent and careful planning is needed to mitigate pandemic negative effects on engineering education, especially for vulnerable, disadvantaged, and underrepresented students who have to deal with additional challenges (e.g. digital equity gap). To enhance engineering online instruction during the pandemic era, we conducted an observational study at California State University, Long Beach (a minority-serving institution). 110 faculty and 627 students from six engineering departments participated in our surveys and answered quantitative and qualitative questions to highlight the challenges they experienced during the online instruction in Spring 2020. In this work, we present the results of these surveys in detail and propose solutions to address the identified issues including logistical, technical, learning/teaching challenges, assessment methods, and hands-on training. As the pandemic continues, sharing these results with other educators can help with more effective planning and choice of best practices to improve the online engineering education during COVID-19 and beyond.


title: Group cohesion under individual regulatory constraints

abstract: We consider a group consisting of N business units. We suppose there are regulatory constraints for each unit, more precisely, the net worth of each business unit is required to belong to a set of acceptable risks, assumed to be a convex cone. Because of these requirements, there are less incentives to operate under a group structure, as creating one single business unit, or altering the liability repartition among units, may allow to reduce the required capital. We analyse the possibilities for the group to benefit from a diversification effect and economise on the cost of capital. We define and study the risk measures that allow for any group to achieve the minimal capital, as if it were a single unit, without altering the liability of business units, and despite the individual admissibility constraints. We call these risk measures cohesive risk measures.


title: Aspect-Based Sentiment Analysis in Education Domain

abstract: Analysis of a large amount of data has always brought value to institutions and organizations. Lately, people's opinions expressed through text have become a very important aspect of this analysis. In response to this challenge, a natural language processing technique known as Aspect-Based Sentiment Analysis (ABSA) has emerged. Having the ability to extract the polarity for each aspect of opinions separately, ABSA has found itself useful in a wide range of domains. Education is one of the domains in which ABSA can be successfully utilized. Being able to understand and find out what students like and don't like most about a course, professor, or teaching methodology can be of great importance for the respective institutions. While this task represents a unique NLP challenge, many studies have proposed different approaches to tackle the problem. In this work, we present a comprehensive review of the existing work in ABSA with a focus in the education domain. A wide range of methodologies are discussed and conclusions are drawn.


title: Episodic Memory for Learning Subjective-Timescale Models

abstract: In model-based learning, an agent's model is commonly defined over transitions between consecutive states of an environment even though planning often requires reasoning over multi-step timescales, with intermediate states either unnecessary, or worse, accumulating prediction error. In contrast, intelligent behaviour in biological organisms is characterised by the ability to plan over varying temporal scales depending on the context. Inspired by the recent works on human time perception, we devise a novel approach to learning a transition dynamics model, based on the sequences of episodic memories that define the agent's subjective timescale - over which it learns world dynamics and over which future planning is performed. We implement this in the framework of active inference and demonstrate that the resulting subjective-timescale model (STM) can systematically vary the temporal extent of its predictions while preserving the same computational efficiency. Additionally, we show that STM predictions are more likely to introduce future salient events (for example new objects coming into view), incentivising exploration of new areas of the environment. As a result, STM produces more informative action-conditioned roll-outs that assist the agent in making better decisions. We validate significant improvement in our STM agent's performance in the Animal-AI environment against a baseline system, trained using the environment's objective-timescale dynamics.


title: Modeling the 3D Milky Way using Machine Learning with Gaia and infrared surveys

abstract: The observation of our home galaxy, the Milky Way (MW), is made difficult by our internal viewpoint. The Gaia survey that contains around 1.6 billion star distances is the new flagship of MW structure and can be combined with other large-scale infrared (IR) surveys to provide unprecedented long distance measurements inside the Galactic plane. Concurrently, the past two decades have seen an explosion of the use of Machine Learning (ML) methods that are also increasingly employed in astronomy. I will first describe the construction of a ML classifier to improve a widely adopted classification scheme for Young Stellar Object (YSO) candidates. Stars being born in dense interstellar environment, the youngest ones that did not had time to move away from their formation location are a probe of the densest structures of the interstellar medium. The combination of YSO identification and Gaia distance measurements then enables the reconstruction of dense cloud structures in 3D. Our ML classifier is based on Artificial Neural Networks (ANN) and uses IR data from the Spitzer space telescope to reconstruct the YSO classification automatically from given examples. In a second part, I will propose a new method for reconstructing the 3D extinction distribution of the MW based on Convolutional Neural Networks (CNN). The CNN is trained using a large-scale Galactic model, the Besan\c{c}on Galaxy Model, and learns to infer the extinction distance distribution by comparing results of the model with observed data. This method is able to resolve distant structures up to 10 kpc with a formal resolution of 100 pc, and was found to be capable of combining 2MASS and Gaia datasets without the necessity of a cross match. The results from this combined prediction are encouraging and open the possibility for future full Galactic plane prediction using a larger combination of various datasets.


title: autoTICI: Automatic Brain Tissue Reperfusion Scoring on 2D DSA Images of Acute Ischemic Stroke Patients

abstract: The Thrombolysis in Cerebral Infarction (TICI) score is an important metric for reperfusion therapy assessment in acute ischemic stroke. It is commonly used as a technical outcome measure after endovascular treatment (EVT). Existing TICI scores are defined in coarse ordinal grades based on visual inspection, leading to inter- and intra-observer variation. In this work, we present autoTICI, an automatic and quantitative TICI scoring method. First, each digital subtraction angiography (DSA) acquisition is separated into four phases (non-contrast, arterial, parenchymal and venous phase) using a multi-path convolutional neural network (CNN), which exploits spatio-temporal features. The network also incorporates sequence level label dependencies in the form of a state-transition matrix. Next, a minimum intensity map (MINIP) is computed using the motion corrected arterial and parenchymal frames. On the MINIP image, vessel, perfusion and background pixels are segmented. Finally, we quantify the autoTICI score as the ratio of reperfused pixels after EVT. On a routinely acquired multi-center dataset, the proposed autoTICI shows good correlation with the extended TICI (eTICI) reference with an average area under the curve (AUC) score of 0.81. The AUC score is 0.90 with respect to the dichotomized eTICI. In terms of clinical outcome prediction, we demonstrate that autoTICI is overall comparable to eTICI.


title: Evolution of prosocial behavior in multilayer populations

abstract: Human societies include diverse social relationships. Friends, family, business colleagues, and online contacts can all contribute to one's social life. Individuals may behave differently in different domains, but success in one domain may engender success in another. Here, we study this problem using multilayer networks to model multiple domains of social interactions, in which individuals experience different environments and may express different behaviors. We provide a mathematical analysis and find that coupling between layers tends to promote prosocial behavior. Even if prosociality is disfavored in each layer alone, multilayer coupling can promote its proliferation in all layers simultaneously. We apply this analysis to six real-world multilayer networks, ranging from the socio-emotional and professional relationships in a Zambian community, to the online and offline relationships within an academic University. We discuss the implications of our results, which suggest that small modifications to interactions in one domain may catalyze prosociality in a different domain.


title: The Iterated Projected Position Algorithm for Constructing Exponentially Localized Generalized Wannier Functions for Periodic and Non-Periodic Insulators in Two Dimensions and Higher

abstract: Localized bases play an important role in understanding electronic structure. In periodic insulators, a natural choice of localized basis is given by the Wannier functions which depend a choice of unitary transform known as a gauge transformation. Over the past few decades, there have been many works which have focused on optimizing the choice of gauge so that the corresponding Wannier functions are maximally localized or reflect some symmetry of the underlying system. In this work, we consider fully non-periodic materials where the usual Wannier functions are not well defined and gauge optimization is impossible. To tackle the problem of calculating exponentially localized generalized Wannier functions in both periodic and non-periodic system we discuss the "Iterated Projected Position (IPP)" algorithm. The IPP algorithm is based on matrix diagonalization and therefore unlike optimization based approaches it does not require initialization and cannot get stuck at a local minimum. Furthermore, the IPP algorithm is guaranteed by a rigorous analysis to produce exponentially localized functions under certain mild assumptions. We numerically demonstrate that the IPP algorithm can be used to calculate exponentially localized bases for the Haldane model, the Kane-Mele model (in both $\mathbb{Z}_2$ invariant even and $\mathbb{Z}_2$ invariant odd phases), and the $p_x + i p_y$ model on a quasi-crystal lattice.

categories: math-ph cond-mat.mtrl-sci math.MP physics.comp-ph


title: Proof of a bi-symmetric septuple equidistribution on ascent sequences

abstract: It is well known since the seminal work by Bousquet-M\'elou, Claesson, Dukes and Kitaev (2010) that certain refinements of the ascent sequences with respect to several natural statistics are in bijection with corresponding refinements of $({\bf2+2})$-free posets and permutations that avoid a bivincular pattern. Different multiply-refined enumerations of ascent sequences and other bijectively equivalent structures have subsequently been extensively studied by various authors. In this paper, our main contributions are 1. a bijective proof of a bi-symmetric septuple equidistribution of statistics on ascent sequences, involving the number of ascents (asc), the number of repeated entries (rep), the number of zeros (zero), the number of maximal entries (max), the number of right-to-left minima (rmin) and two auxiliary statistics; 2. a new transformation formula for non-terminating basic hypergeometric $_4\phi_3$ series expanded as an analytic function in base $q$ around $q=1$, which is utilized to prove two (bi)-symmetric quadruple equidistributions on ascent sequences. A by-product of our findings includes the affirmation of a conjecture about the bi-symmetric equidistribution between the quadruples of Euler--Stirling statistics (asc,rep,zero,max) and (rep,asc,max,zero) on ascent sequences, that was motivated by a double Eulerian equidistribution due to Foata (1977) and recently proposed by Fu, Lin, Yan, Zhou and the first author (2018).


title: A Double Auction for Charging Scheduling among Vehicles Using DAG-Blockchains

abstract: Electric Vehicles (EVs) are becoming more and more popular in our daily life, which replaces traditional fuel vehicles to reduce carbon emissions and protect the environment. EVs need to be charged, but the number of charging piles in a Charging Station (CS) is limited and charging is usually more time-consuming than fueling. According to this scenario, we propose a secure and efficient charging scheduling system based on a Directed Acyclic Graph (DAG)-blockchain and double auction mechanism. In a smart area, it attempts to assign EVs to the available CSs in the light of their submitted charging requests and status information. First, we design a lightweight charging scheduling framework that integrates DAG-blockchain and modern cryptography technology to ensure security and scalability during performing scheduling and completing tradings. In this process, a constrained multi-item double auction problem is formulated because of the limited charging resources in a CS, which motivates EVs and CSs in this area to participate in the market based on their preferences and statuses. Due to this constraint, our problem is more complicated and harder to achieve truthfulness as well as system efficiency compared to the existing double auction model. To adapt to it, we propose two algorithms, namely Truthful Mechanism for Charging (TMC) and Efficient Mechanism for Charging (EMC), to determine an assignment between EVs and CSs and pricing strategies. Then, both theoretical analysis and numerical simulations show the correctness and effectiveness of our proposed algorithms.


title: Loop-Generated Neutrino Masses in Composite Higgs Models

abstract: We present a composite scotogenic model for neutrino masses, which are generated via loops of $\mathbb{Z}_2$-odd composite scalars. We consider three different approaches to the couplings of the neutrinos (including three right-handed singlets) and the composite sector: ETC-like four-fermion interactions, fundamental partial compositeness and fermion partial compositeness. In all cases, the model can feature sizeable couplings and remain viable with respect to various experimental constraints if the three $ \mathbb{Z}_2 $-odd right-handed neutrinos have masses between the TeV and the Planck scales. Additionally, the lightest $\mathbb{Z}_2$-odd composite scalar may play the role of Dark Matter, either via thermal freeze-out or as an asymmetric relic. This mechanism can be featured in a variety of models based on vacuum misalignment. For concreteness, we demonstrate it in a composite two-Higgs scheme based on the coset SU(6)/Sp(6).


title: Local Symplectic Homology of Reeb Orbits

abstract: In this paper we prove two isomorphisms in the local symplectic homology of a simple, which is to say non iterated, isolated Reeb orbit. The isomorphisms are in $S^1$-equivariant and nonequivariant symplectic homology, relating the local Floer homology group of the orbit to that of the return map. The isomorphism we prove in $S^1$-equivariant symplectic homology can be stated succinctly as the local $S^1$-equivariant symplectic homology of a simple isolated Reeb orbit is isomorphic to the local Hamiltonian Floer homology of the return map. We also prove the equivalence of two different definitions of a Reeb orbit being a symplectically degenerate maximum.


title: Burning Geometric Graphs

abstract: A procedure called \textit{graph burning} was introduced to facilitate the modelling of spread of an alarm, a social contagion, or a social influence or emotion on graphs and networks. Graph burning runs on discrete time-steps (or rounds). At each step $t$, first (a) an unburned vertex is burned (as a \textit{fire source}) from "outside", and then (b) the fire spreads to vertices adjacent to the vertices which are burned till step $t-1$. This process stops after all the vertices of $G$ have been burned. The aim is to burn all the vertices in a given graph in minimum time-steps. The least number of time-steps required to burn a graph is called its \textit{burning number}. The less the burning number is, the faster a graph can be burned. Burning a general graph optimally is an NP-Complete problem. It has been proved that optimal burning of path forests, spider graphs, and trees with maximum degree three is NP-Complete. We study the \textit{graph burning problem} on several sub-classes of \textit{geometric graphs}. We show that burning interval graphs (Section 7.1, Theorem 7.1), permutation graphs (Section 7.2, Theorem 7.2) and disk graphs (Section 7.3, Theorem 7.3) optimally is NP-Complete. In addition, we opine that optimal burning of general graphs (Section 9.2, Conjecture 9.1) cannot be approximated better than 3-approximation factor.


title: Uncertainty-Aware Multi-Modal Ensembling for Severity Prediction of Alzheimer's Dementia

abstract: Reliability in Neural Networks (NNs) is crucial in safety-critical applications like healthcare, and uncertainty estimation is a widely researched method to highlight the confidence of NNs in deployment. In this work, we propose an uncertainty-aware boosting technique for multi-modal ensembling to predict Alzheimer's Dementia Severity. The propagation of uncertainty across acoustic, cognitive, and linguistic features produces an ensemble system robust to heteroscedasticity in the data. Weighing the different modalities based on the uncertainty estimates, we experiment on the benchmark ADReSS dataset, a subject-independent and balanced dataset, to show that our method outperforms the state-of-the-art methods while also reducing the overall entropy of the system. This work aims to encourage fair and aware models. The source code is available at https://github.com/wazeerzulfikar/alzheimers-dementia


title: Decoy Selection for Protein Structure Prediction Via Extreme Gradient Boosting and Ranking

abstract: Identifying one or more biologically-active/native decoys from millions of non-native decoys is one of the major challenges in computational structural biology. The extreme lack of balance in positive and negative samples (native and non-native decoys) in a decoy set makes the problem even more complicated. Consensus methods show varied success in handling the challenge of decoy selection despite some issues associated with clustering large decoy sets and decoy sets that do not show much structural similarity. Recent investigations into energy landscape-based decoy selection approaches show promises. However, lack of generalization over varied test cases remains a bottleneck for these methods. We propose a novel decoy selection method, ML-Select, a machine learning framework that exploits the energy landscape associated with the structure space probed through a template-free decoy generation. The proposed method outperforms both clustering and energy ranking-based methods, all the while consistently offering better performance on varied test-cases. Moreover, ML-Select shows promising results even for the decoy sets consisting of mostly low-quality decoys. ML-Select is a useful method for decoy selection. This work suggests further research in finding more effective ways to adopt machine learning frameworks in achieving robust performance for decoy selection in template-free protein structure prediction.


title: Null geodesics in five-dimensional Reissner-Nordstr\"om anti-de Sitter black hole

abstract: The study of the motion of photons around massive bodies is one of the most useful tools to know the geodesic structure associated with said gravitational source. In the present work, different possible paths projected in an invariant hyperplane are investigated, considering five-dimensional Reissner-Nordstr\"om anti-de Sitter black hole. Also, we study some observational test such as the bending of light and the Shapiro time delay effect. Mainly, we found that the motion of photons follows the hippopede of Proclus geodesic, which is a new type of trajectory of second kind, being the Lima\c{c}on of Pascal their analogue geodesic in four-dimensional Reissner-Nordstr\"om anti-de Sitter black hole.


title: Non-interacting coronal mass ejections and solar energetic particles near the quadrature configuration of Solar TErrestrial RElations Observatory

abstract: We present our results on the correlation of non-interacting coronal mass ejections (CMEs) and solar energetic particles (SEPs). A statistical analysis was conducted on 25 SEP events and the associated CME and flare during the ascending phase of solar cycle 24, i.e., 2009-2013, which marks the quadrature configuration of Solar TErrestrial RElations Observatory (STEREO). The complete kinematics of CMEs is well studied near this configuration of STEREO. In addition, we have made comparison studies of STEREO and SOlar and Heliospheric Observatory (SOHO) results. It is well known that the CME speeds and SEP intensities are closely correlated. We further examine this correlation by employing instantaneous speeds (maximum speed and the CME speed and Mach number at SEP peak flux) to check whether they are a better indicator of SEP fluxes than the average speed. Our preliminary results show a better correlation by this approach. In addition, the correlations show that the fluxes of protons in energy channel >10 MeV are accelerated by shock waves generated by fast CMEs, whereas the particles of >50 MeV and >100 MeV energy bands are mostly accelerated by the same shock waves but partly by the associated flares. In contrast, the X-ray flux of solar flares and SEP peak flux show a poor correlation.


title: Punctures and p-spin curves from matrix models II

abstract: We report here an extension of a previous work in which we have shown that matrix models provide a tool to compute the intersection numbers of p-spin curves. We discuss further an extension to half-integer p, and in more details for p=1/2 and p=3/2. In those new cases one finds contributions from the Ramond sector, which were not present for positive integer p.The existence of Virasoro constraints, in particular a string equation, is considered also for half-integral spins. The contribution of the boundary of a Riemann surface, is investigated through a logarithmic matrix model The supersymmetric random matrices provide extensions to mixed positive and negative p punctures.


title: Non-Hermitian topology in molecules: Prediction of fractional quantum number

abstract: We give a simple toy model to study a famous Jahn-Teller type molecule. Finite lifetime due to non-adiabatic coupling and finite temperature effect results in the effective Hamiltonian to be non-Hermitian. This effect pulls a conical intersection into a pair of connected Weyl points, bridged by a Fermi arc. The length of the Fermi arc depends on the strength of non-hermicity. This is a unique feature of non-Hermitian topology with no Hermitian analogue. We predict the existence of Weyl points in molecules which cause anomalous Jahn-Teller effects and fractional quantum number.


title: Async-RED: A Provably Convergent Asynchronous Block Parallel Stochastic Method using Deep Denoising Priors

abstract: Regularization by denoising (RED) is a recently developed framework for solving inverse problems by integrating advanced denoisers as image priors. Recent work has shown its state-of-the-art performance when combined with pre-trained deep denoisers. However, current RED algorithms are inadequate for parallel processing on multicore systems. We address this issue by proposing a new asynchronous RED (ASYNC-RED) algorithm that enables asynchronous parallel processing of data, making it significantly faster than its serial counterparts for large-scale inverse problems. The computational complexity of ASYNC-RED is further reduced by using a random subset of measurements at every iteration. We present complete theoretical analysis of the algorithm by establishing its convergence under explicit assumptions on the data-fidelity and the denoiser. We validate ASYNC-RED on image recovery using pre-trained deep denoisers as priors.


title: GraphDialog: Integrating Graph Knowledge into End-to-End Task-Oriented Dialogue Systems

abstract: End-to-end task-oriented dialogue systems aim to generate system responses directly from plain text inputs. There are two challenges for such systems: one is how to effectively incorporate external knowledge bases (KBs) into the learning framework; the other is how to accurately capture the semantics of dialogue history. In this paper, we address these two challenges by exploiting the graph structural information in the knowledge base and in the dependency parsing tree of the dialogue. To effectively leverage the structural information in dialogue history, we propose a new recurrent cell architecture which allows representation learning on graphs. To exploit the relations between entities in KBs, the model combines multi-hop reasoning ability based on the graph structure. Experimental results show that the proposed model achieves consistent improvement over state-of-the-art models on two different task-oriented dialogue datasets.


title: Some non-homogeneous Gagliardo-Nirenberg inequalities and application to a biharmonic non-linear Schr\"odinger equation

abstract: We study the standing waves for a fourth-order Schr\"odinger equation with mixed dispersion that minimize the associated energy when the $L^2-$norm (the \textit{mass}) } is kept fixed. We need some non-homogeneous Gagliardo-Nirenberg-type inequalities and we develop a method to prove such estimates that should be useful elsewhere. We prove optimal results on the existence of minimizers in the {\it mass-subcritical } and {\it mass-critical } cases. In the { \it mass supercritical} case we show that global minimizers do not exist, and we investigate the existence of local minimizers. If the mass does not exceed some threshold $ \mu_0 \in (0,+\infty)$, our results on "best" local minimizers are also optimal.


title: Quickly Finding a Benign Region via Heavy Ball Momentum in Non-Convex Optimization

abstract: The Heavy Ball Method, proposed by Polyak over five decades ago, is a first-order method for optimizing continuous functions. While its stochastic counterpart has proven extremely popular in training deep networks, there are almost no known functions where deterministic Heavy Ball is provably faster than the simple and classical gradient descent algorithm in non-convex optimization. The success of Heavy Ball has thus far eluded theoretical understanding. Our goal is to address this gap, and in the present work we identify two non-convex problems where we provably show that the Heavy Ball momentum helps the iterate to enter a benign region that contains a global optimal point faster. We show that Heavy Ball exhibits simple dynamics that clearly reveal the benefit of using a larger value of momentum parameter for the problems. The first of these optimization problems is the phase retrieval problem, which has useful applications in physical science. The second of these optimization problems is the cubic-regularized minimization, a critical subroutine required by Nesterov-Polyak cubic-regularized method to find second-order stationary points in general smooth non-convex problems.


title: SumGNN: Multi-typed Drug Interaction Prediction via Efficient Knowledge Graph Summarization

abstract: Thanks to the increasing availability of drug-drug interactions (DDI) datasets and large biomedical knowledge graphs (KGs), accurate detection of adverse DDI using machine learning models becomes possible. However, it remains largely an open problem how to effectively utilize large and noisy biomedical KG for DDI detection. Due to its sheer size and amount of noise in KGs, it is often less beneficial to directly integrate KGs with other smaller but higher quality data (e.g., experimental data). Most of the existing approaches ignore KGs altogether. Some try to directly integrate KGs with other data via graph neural networks with limited success. Furthermore, most previous works focus on binary DDI prediction whereas the multi-typed DDI pharmacological effect prediction is a more meaningful but harder task. To fill the gaps, we propose a new method SumGNN: knowledge summarization graph neural network, which is enabled by a subgraph extraction module that can efficiently anchor on relevant subgraphs from a KG, a self-attention based subgraph summarization scheme to generate a reasoning path within the subgraph, and a multi-channel knowledge and data integration module that utilizes massive external biomedical knowledge for significantly improved multi-typed DDI predictions. SumGNN outperforms the best baseline by up to 5.54\%, and the performance gain is particularly significant in low data relation types. In addition, SumGNN provides interpretable prediction via the generated reasoning paths for each prediction.


title: CeNTREX: A new search for time-reversal symmetry violation in the $^{205}$Tl nucleus

abstract: The Cold molecule Nuclear Time-Reversal EXperiment (CeNTREX) is a new effort aiming for a significant increase in sensitivity over the best present upper bounds on the strength of hadronic time reversal ($T$) violating fundamental interactions. The experimental signature will be shifts in nuclear magnetic resonance frequencies of $^{205}$Tl in electrically-polarized thallium fluoride (TlF) molecules. Here we describe the motivation for studying these $T$-violating interactions and for using TlF to do so. To achieve higher sensitivity than earlier searches for $T$-violation in TlF, CeNTREX uses a cryogenic molecular beam source, optical state preparation and detection, and modern methods of coherent quantum state manipulation. Details of the measurement scheme and the current state of the apparatus are presented, with quantitative measurements of the TlF beam. Finally, the estimated sensitivity and methods to control systematic errors are discussed.


title: Gaia DR 2 data and the evolutionary status of eight high velocity hot post-AGB candidates

abstract: From Gaia DR 2 data of eight high velocity hot post-AGB candidates LS 3593, LSE 148, LS 5107, HD 172324, HD 214539, LS IV -12 111, LS III +52 24, and LS 3099, we found that six of them have accurate parallaxes which made it possible to derive their distances, absolute visual magnitudes (M_V) and luminosity (log L/L_sun). Except LS 5107 all the remaining seven stars have accurate effective temperature (T_eff) in the literature. Some of these stars are metal-poor and some of them do not have circumstellar dust shells. In the past the distances of some stars were estimated to be 6~kpc which we find it to be incorrect. The accurate Gaia DR2 parallaxes show that they are relatively nearby post-AGB stars. When compared with post-AGB evolutionary tracks we find their initial masses in the range of 1M_sun to 2M_sun. We find the luminosity of LSE 148 to be significantly lower than that of post-AGB stars, suggesting that this is a post-horizontal branch star or post-early-AGB star. LS 3593 and LS 5107 are new high velocity hot post-AGB stars from Gaia DR2.


title: 3D Orientation Field Transform

abstract: The two-dimensional (2D) orientation field transform has been proved to be effective at enhancing 2D contours and curves in images by means of top-down processing. It, however, has no counterpart in three-dimensional (3D) images due to the extremely complicated orientation in 3D compared to 2D. Practically and theoretically, the demand and interest in 3D can only be increasing. In this work, we modularise the concept and generalise it to 3D curves. Different modular combinations are found to enhance curves to different extents and with different sensitivity to the packing of the 3D curves. In principle, the proposed 3D orientation field transform can naturally tackle any dimensions. As a special case, it is also ideal for 2D images, owning simpler methodology compared to the previous 2D orientation field transform. The proposed method is demonstrated with several transmission electron microscopy tomograms ranging from 2D curve enhancement to, the more important and interesting, 3D ones.


title: MIME: MIMicking Emotions for Empathetic Response Generation

abstract: Current approaches to empathetic response generation view the set of emotions expressed in the input text as a flat structure, where all the emotions are treated uniformly. We argue that empathetic responses often mimic the emotion of the user to a varying degree, depending on its positivity or negativity and content. We show that the consideration of this polarity-based emotion clusters and emotional mimicry results in improved empathy and contextual relevance of the response as compared to the state-of-the-art. Also, we introduce stochasticity into the emotion mixture that yields emotionally more varied empathetic responses than the previous work. We demonstrate the importance of these factors to empathetic response generation using both automatic- and human-based evaluations. The implementation of MIME is publicly available at https://github.com/declare-lab/MIME.


title: Abhyankar's Inertia Conjecture for Some Sporadic Groups

abstract: This paper verifies Abhyankar's Inertia Conjecture for certain sporadic groups $G$ in particular characteristics by showing that all possible inertia groups occur for $G$-Galois covers of the affine line. For a larger set of sporadic groups, all but finitely many possible ramification invariants are shown to occur. In particular, we prove that all but eight of the possible ramification invariants are realizable for $\text{M}_{11}$-Galois covers of the affine line.


title: Some inequalities between Laplacian eigenvalues on Riemannian manifolds

abstract: In this paper, we study a first Dirichlet eigenfunction of the weighted $p$-Laplacian on a bounded domain in a complete weighted Riemannian manifold. By constructing gradient estimates for a first eigenfunction, we obtain some relationships between weighted $p$-Laplacian first eigenvalues. As an immediate application, we also obtain some eigenvalue comparison results between the first Dirichlet eigenvalue of the weighted Laplacian, the first clamped plate eigenvalue and the first buckling eigenvalue.


title: Privately Answering Counting Queries with Generalized Gaussian Mechanisms

abstract: We consider the problem of answering $k$ counting (i.e. sensitivity-1) queries about a database with $(\epsilon, \delta)$-differential privacy. We give a mechanism such that if the true answers to the queries are the vector $d$, the mechanism outputs answers $\tilde{d}$ with the $\ell_\infty$-error guarantee: $$\mathcal{E}\left[||\tilde{d} - d||_\infty\right] = O\left(\frac{\sqrt{k \log \log \log k \log(1/\delta)}}{\epsilon}\right).$$ This reduces the multiplicative gap between the best known upper and lower bounds on $\ell_\infty$-error from $O(\sqrt{\log \log k})$ to $O(\sqrt{\log \log \log k})$. Our main technical contribution is an analysis of the family of mechanisms of the following form for answering counting queries: Sample $x$ from a \textit{Generalized Gaussian}, i.e. with probability proportional to $\exp(-(||x||_p/\sigma)^p)$, and output $\tilde{d} = d + x$. This family of mechanisms offers a tradeoff between $\ell_1$ and $\ell_\infty$-error guarantees and may be of independent interest. For $p = O(\log \log k)$, this mechanism already matches the previous best known $\ell_\infty$-error bound. We arrive at our main result by composing this mechanism for $p = O(\log \log \log k)$ with the sparse vector mechanism, generalizing a technique of Steinke and Ullman.


title: The Finite Neuron Method and Convergence Analysis

abstract: We study a family of $H^m$-conforming piecewise polynomials based on artificial neural network, named as the finite neuron method (FNM), for numerical solution of $2m$-th order partial differential equations in $\mathbb{R}^d$ for any $m,d \geq 1$ and then provide convergence analysis for this method. Given a general domain $\Omega\subset\mathbb R^d$ and a partition $\mathcal T_h$ of $\Omega$, it is still an open problem in general how to construct conforming finite element subspace of $H^m(\Omega)$ that have adequate approximation properties. By using techniques from artificial neural networks, we construct a family of $H^m$-conforming set of functions consisting of piecewise polynomials of degree $k$ for any $k\ge m$ and we further obtain the error estimate when they are applied to solve elliptic boundary value problem of any order in any dimension. For example, the following error estimates between the exact solution $u$ and finite neuron approximation $u_N$ are obtained. $$ \|u-u_N\|_{H^m(\Omega)}=\mathcal O(N^{-{1\over 2}-{1\over d}}). $$ Discussions will also be given on the difference and relationship between the finite neuron method and finite element methods (FEM). For example, for finite neuron method, the underlying finite element grids are not given a priori and the discrete solution can only be obtained by solving a non-linear and non-convex optimization problem. Despite of many desirable theoretical properties of the finite neuron method analyzed in the paper, its practical value is a subject of further investigation since the aforementioned underlying non-linear and non-convex optimization problem can be expensive and challenging to solve. For completeness and also convenience to readers, some basic known results and their proofs are also included in this manuscript.


title: Inapproximability for Local Correlation Clustering and Dissimilarity Hierarchical Clustering

abstract: We present hardness of approximation results for Correlation Clustering with local objectives and for Hierarchical Clustering with dissimilarity information. For the former, we study the local objective of Puleo and Milenkovic (ICML '16) that prioritizes reducing the disagreements at data points that are worst off and for the latter we study the maximization version of Dasgupta's cost function (STOC '16). Our APX hardness results imply that the two problems are hard to approximate within a constant of 4/3 ~ 1.33 (assuming P vs NP) and 9159/9189 ~ 0.9967 (assuming the Unique Games Conjecture) respectively.


title: An interpolated Galerkin finite element method for the Poisson equation

abstract: When solving the Poisson equation by the finite element method, we use one degree of freedom for interpolation by the given Laplacian - the right hand side function in the partial differential equation. The finite element solution is the Galerkin projection in a smaller vector space. The idea is similar to that of interpolating the boundary condition in the standard finite element method. Due to the pointwise interpolation, our method yields a smaller system of equations and a better condition number. The number of unknowns on each element is reduced significantly from $(k^2+3k+2)/2$ to $3k$ for the $P_k$ ($k\ge 3$) finite element. We construct 2D $P_2$ conforming and nonconforming, and $P_k$ ($k\ge3$) conforming interpolated Galerkin finite elements on triangular grids. This interpolated Galerkin finite element method is proved to converge at the optimal order. Numerical tests and comparisons with the standard finite elements are presented, verifying the theory and showing advantages of the interpolated Galerkin finite element method.


title: Sentence Constituent-Aware Aspect-Category Sentiment Analysis with Graph Attention Networks

abstract: Aspect category sentiment analysis (ACSA) aims to predict the sentiment polarities of the aspect categories discussed in sentences. Since a sentence usually discusses one or more aspect categories and expresses different sentiments toward them, various attention-based methods have been developed to allocate the appropriate sentiment words for the given aspect category and obtain promising results. However, most of these methods directly use the given aspect category to find the aspect category-related sentiment words, which may cause mismatching between the sentiment words and the aspect categories when an unrelated sentiment word is semantically meaningful for the given aspect category. To mitigate this problem, we propose a Sentence Constituent-Aware Network (SCAN) for aspect-category sentiment analysis. SCAN contains two graph attention modules and an interactive loss function. The graph attention modules generate representations of the nodes in sentence constituency parse trees for the aspect category detection (ACD) task and the ACSA task, respectively. ACD aims to detect aspect categories discussed in sentences and is a auxiliary task. For a given aspect category, the interactive loss function helps the ACD task to find the nodes which can predict the aspect category but can't predict other aspect categories. The sentiment words in the nodes then are used to predict the sentiment polarity of the aspect category by the ACSA task. The experimental results on five public datasets demonstrate the effectiveness of SCAN.


title: Right and left, partisanship predicts (asymmetric) vulnerability to misinformation

abstract: We analyze the relationship between partisanship, echo chambers, and vulnerability to online misinformation by studying news sharing behavior on Twitter. While our results confirm prior findings that online misinformation sharing is strongly correlated with right-leaning partisanship, we also uncover a similar, though weaker trend among left-leaning users. Because of the correlation between a user's partisanship and their position within a partisan echo chamber, these types of influence are confounded. To disentangle their effects, we perform a regression analysis and find that vulnerability to misinformation is most strongly influenced by partisanship for both left- and right-leaning users.


title: Subgrid-scale energy transfer and associated coherent structures in turbulent flow over a forest-like canopy

abstract: Large eddy simulation allows to incorporate the important driving physics of turbulent flow through forest- or vegetation-like canopies. In this paper we investigate the effects of vortex stretching and coherent structures on the subgrid-scale (SGS) turbulence kinetic energy (TKE). We present three simulations (SGS-d/s/w) of turbulence-canopy interactions. SGS-d assumes a local, dynamic balance of SGS production with SGS dissipation. SGS-s averages the SGS contributions of coherent structures over Lagrangian pathlines. SGS-w assumes that an average cascade of TKE from large- to small-scales occurs through the process of vortex stretching. We compare the consequences of considering a forest of the same morphology as immersed solids or an immersed canopy. Our results show clear differences in the characteristics of flow and turbulence, while both the cases exhibit canopy mixing layers. The results also show that the consideration of vortex stretching resolves about $18$% more TKE with respect to classical Deardorff's TKE model. These observations indicate that the aerodynamic response of the forest canopy is linked to the morphology of the forest cover. Sweep- and ejection-events of the spatially intermittent coherent structures in forests as well as their role in transporting momentum, energy, and scalars are discussed.


title: LEGAN: Disentangled Manipulation of Directional Lighting and Facial Expressions by Leveraging Human Perceptual Judgements

abstract: Building facial analysis systems that generalize to extreme variations in lighting and facial expressions is a challenging problem that can potentially be alleviated using natural-looking synthetic data. Towards that, we propose LEGAN, a novel synthesis framework that leverages perceptual quality judgments for jointly manipulating lighting and expressions in face images, without requiring paired training data. LEGAN disentangles the lighting and expression subspaces and performs transformations in the feature space before upscaling to the desired output image. The fidelity of the synthetic image is further refined by integrating a perceptual quality estimation model, trained with face images rendered using multiple synthesis methods and their crowd-sourced naturalness ratings, into the LEGAN framework as an auxiliary discriminator. Using objective metrics like FID and LPIPS, LEGAN is shown to generate higher quality face images when compared with popular GAN models like StarGAN and StarGAN-v2 for lighting and expression synthesis. We also conduct a perceptual study using images synthesized by LEGAN and other GAN models and show the correlation between our quality estimation and visual fidelity. Finally, we demonstrate the effectiveness of LEGAN as training data augmenter for expression recognition and face verification tasks.


title: MDReg-Net: Multi-resolution diffeomorphic image registration using fully convolutional networks with deep self-supervision

abstract: We present a diffeomorphic image registration algorithm to learn spatial transformations between pairs of images to be registered using fully convolutional networks (FCNs) under a self-supervised learning setting. The network is trained to estimate diffeomorphic spatial transformations between pairs of images by maximizing an image-wise similarity metric between fixed and warped moving images, similar to conventional image registration algorithms. It is implemented in a multi-resolution image registration framework to optimize and learn spatial transformations at different image resolutions jointly and incrementally with deep self-supervision in order to better handle large deformation between images. A spatial Gaussian smoothing kernel is integrated with the FCNs to yield sufficiently smooth deformation fields to achieve diffeomorphic image registration. Particularly, spatial transformations learned at coarser resolutions are utilized to warp the moving image, which is subsequently used for learning incremental transformations at finer resolutions. This procedure proceeds recursively to the full image resolution and the accumulated transformations serve as the final transformation to warp the moving image at the finest resolution. Experimental results for registering high resolution 3D structural brain magnetic resonance (MR) images have demonstrated that image registration networks trained by our method obtain robust, diffeomorphic image registration results within seconds with improved accuracy compared with state-of-the-art image registration algorithms.


title: How does Background Air Pressure Influence the Inner Edge of the Habitable Zone for Tidally Locked Planets in a 3D View?

abstract: We examine the effect of varying background N2 surface pressure (labelled as pN2) on the inner edge of the habitable zone for 1:1 tidally locked planets around M dwarfs, using the three-dimensional (3D) atmospheric general circulation model (AGCM) ExoCAM. In our experiments, the rotation period is fixed when varying the stellar flux, in order to more clearly isolate the role of pN2. We find that the stellar flux threshold for the runaway greenhouse is a non-monotonous function of pN2. This is due to the competing effects of five processes: pressure broadening, heat capacity, lapse rate, relative humidity, and clouds. These competing processes increase the complexity in predicting the location of the inner edge of the habitable zone. For a slow rotation orbit of 60 Earth days, the critical stellar flux for the runaway greenhouse onset is 1700--1750, 1900--1950, and 1750--1800 W m$^{-2}$ under 0.25, 1.0, and 4.0 bar of pN2, respectively, suggesting that the magnitude of the effect of pN2 is within ~13%. For a rapid rotation orbit, the effect of varying pN2 on the inner edge is smaller, within a range of ~7%. Moreover, we show that Rayleigh scattering effect as varying pN2 is unimportant for the inner edge due to the masking effect of cloud scattering and to the strong shortwave absorption by water vapor under hot climates. Future work using AGCMs having different cloud and convection schemes and cloud-resolving models having explicit cloud and convection are required to revise this problem.


title: On a class of singular nonlinear first order partial differential equations

abstract: In this paper, we consider a class of singular nonlinear first order partial differential equations $t(\partial u/\partial t)=F(t,x,u, \partial u/\partial x)$ with $(t,x) \in \mathbb{R} \times \mathbb{C}$ under the assumption that $F(t,x,z_1,z_2)$ is a function which is continuous in $t$ and holomorphic in the other variables. Under suitable conditions, we determine all the solutions of this equation in a neighborhood of the origin.


title: Graphs with at most two nonzero distinct absolute eigenvalues

abstract: In his survey "Beyond graph energy: Norms of graphs and matrices" (2016), Nikiforov proposed two problems concerning characterizing the graphs that attain equality in a lower bound and in a upper bound for the energy of a graph, respectively. We show that these graphs have at most two nonzero distinct absolute eigenvalues and investigate the proposed problems organizing our study according to the type of spectrum they can have. In most cases all graphs are characterized. Infinite families of graphs are given otherwise. We also show that all graphs satifying the properties required in the problems are integral, except for complete bipartite graphs $K_{p,q}$ and disconnected graphs with a connected component $K_{p,q}$, where $pq$ is not a perfect square.


title: Ternary Hypervalent Silicon Hydrides via Lithium at High Pressure

abstract: Hydrogen is rarely observed as ligand in hypervalent species, however, we find that high-pressure hydrogenation may stabilise hypervalent hydrogen-rich materials. Focussing on ternary silicon hydrides via lithium doping, we find anions composed of hypervalent silicon with H ligands formed under high pressure. Our results reveal two new hypervalent anions: layered-SiH$_{5}^{-}$ and tricapped trigonal prismatic SiH$_{6}^{2-}$. These differ from octahedral SiH$_{6}^{2-}$ described in earlier studies. In addition, there are further hydrogen-rich structures Li$_{3}$SiH$_{10}$ and Li$_{2}$SiH$_{6+\delta}$ which may be stabilised at high pressure. Our work provides pointers to future investigations on hydrogen-rich materials.


title: User Fairness, Item Fairness, and Diversity for Rankings in Two-Sided Markets

abstract: Ranking items by their probability of relevance has long been the goal of conventional ranking systems. While this maximizes traditional criteria of ranking performance, there is a growing understanding that it is an oversimplification in online platforms that serve not only a diverse user population, but also the producers of the items. In particular, ranking algorithms are expected to be fair in how they serve all groups of users -- not just the majority group -- and they also need to be fair in how they divide exposure among the items. These fairness considerations can partially be met by adding diversity to the rankings, as done in several recent works. However, we show in this paper that user fairness, item fairness and diversity are fundamentally different concepts. In particular, we find that algorithms that consider only one of the three desiderata can fail to satisfy and even harm the other two. To overcome this shortcoming, we present the first ranking algorithm that explicitly enforces all three desiderata. The algorithm optimizes user and item fairness as a convex optimization problem which can be solved optimally. From its solution, a ranking policy can be derived via a novel Birkhoff-von Neumann decomposition algorithm that optimizes diversity. Beyond the theoretical analysis, we investigate empirically on a new benchmark dataset how effectively the proposed ranking algorithm can control user fairness, item fairness and diversity, as well as the trade-offs between them.


title: Deep Reinforcement Learning for Delay-Oriented IoT Task Scheduling in Space-Air-Ground Integrated Network

abstract: In this paper, we investigate a computing task scheduling problem in space-air-ground integrated network (SAGIN) for delay-oriented Internet of Things (IoT) services. In the considered scenario, an unmanned aerial vehicle (UAV) collects computing tasks from IoT devices and then makes online offloading decisions, in which the tasks can be processed at the UAV or offloaded to the nearby base station or the remote satellite. Our objective is to design a task scheduling policy that minimizes offloading and computing delay of all tasks given the UAV energy capacity constraint. To this end, we first formulate the online scheduling problem as an energy-constrained Markov decision process (MDP). Then, considering the task arrival dynamics, we develop a novel deep risk-sensitive reinforcement learning algorithm. Specifically, the algorithm evaluates the risk, which measures the energy consumption that exceeds the constraint, for each state and searches the optimal parameter weighing the minimization of delay and risk while learning the optimal policy. Extensive simulation results demonstrate that the proposed algorithm can reduce the task processing delay by up to 30% compared to probabilistic configuration methods while satisfying the UAV energy capacity constraint.


title: New Insights on Learning Rules for Hopfield Networks: Memory and Objective Function Minimisation

abstract: Hopfield neural networks are a possible basis for modelling associative memory in living organisms. After summarising previous studies in the field, we take a new look at learning rules, exhibiting them as descent-type algorithms for various cost functions. We also propose several new cost functions suitable for learning. We discuss the role of biases (the external inputs) in the learning process in Hopfield networks. Furthermore, we apply Newtons method for learning memories, and experimentally compare the performances of various learning rules. Finally, to add to the debate whether allowing connections of a neuron to itself enhances memory capacity, we numerically investigate the effects of self coupling. Keywords: Hopfield Networks, associative memory, content addressable memory, learning rules, gradient descent, attractor networks


title: Spatial Frequency Bias in Convolutional Generative Adversarial Networks

abstract: As the success of Generative Adversarial Networks (GANs) on natural images quickly propels them into various real-life applications across different domains, it becomes more and more important to clearly understand their limitations. Specifically, understanding GANs' capability across the full spectrum of spatial frequencies, i.e. beyond the low-frequency dominant spectrum of natural images, is critical for assessing the reliability of GAN generated data in any detail-sensitive application (e.g. denoising, filling and super-resolution in medical and satellite images). In this paper, we show that the ability of convolutional GANs to learn a distribution is significantly affected by the spatial frequency of the underlying carrier signal, that is, GANs have a bias against learning high spatial frequencies. Crucially, we show that this bias is not merely a result of the scarcity of high frequencies in natural images, rather, it is a systemic bias hindering the learning of high frequencies regardless of their prominence in a dataset. Furthermore, we explain why large-scale GANs' ability to generate fine details on natural images does not exclude them from the adverse effects of this bias. Finally, we propose a method for manipulating this bias with minimal computational overhead. This method can be used to explicitly direct computational resources towards any specific spatial frequency of interest in a dataset, extending the flexibility of GANs.


title: Local spin alignment of vector mesons in relativistic heavy-ion collisions

abstract: We investigate the spin alignment of vector mesons arising from locally polarized quarks and anti-quarks (local spin alignment) in heavy-ion collisions. We find that $\rho_{00}\neq 1/3$ does not necessarily signal the global polarization of quarks and anti-quarks along the orbital angular momentum of the system, but may also originate from their local spin polarization. Such local spin polarization could be induced by local vorticity arising from the anisotropic expansion of the fireball. We further propose experimental observables that can distinguish between the local and the global spin alignments. Measurements of these observables in heavy-ion collisions can probe the vorticity pattern and shed light on the puzzles of $\phi$ and $K^{*0}$ spin alignments.


title: Tell Me How to Ask Again: Question Data Augmentation with Controllable Rewriting in Continuous Space

abstract: In this paper, we propose a novel data augmentation method, referred to as Controllable Rewriting based Question Data Augmentation (CRQDA), for machine reading comprehension (MRC), question generation, and question-answering natural language inference tasks. We treat the question data augmentation task as a constrained question rewriting problem to generate context-relevant, high-quality, and diverse question data samples. CRQDA utilizes a Transformer autoencoder to map the original discrete question into a continuous embedding space. It then uses a pre-trained MRC model to revise the question representation iteratively with gradient-based optimization. Finally, the revised question representations are mapped back into the discrete space, which serve as additional question data. Comprehensive experiments on SQuAD 2.0, SQuAD 1.1 question generation, and QNLI tasks demonstrate the effectiveness of CRQDA


title: Rotation symmetry of the multiple-relaxation-time collision model

abstract: In the Hermite-expansion-based multiple-relaxation-time lattice Boltzmann (LB) model [Shan & Chen, Int. J. Mod. Phys. C, 18, 635, (2007)], a separate relaxation time is assigned to each of the tensorial moments of the collision term. Here we point out that to allow maximum flexibility while preserving the rotational symmetry of the relaxation physics, separate relaxation times can be assigned to the components of a tensor corresponding to its irreducible representation of SO(3) but not any finer. By decomposing the second moment in the LB model for polyatomic gases [Nie, Shan & Chen, Phys. Rev. E 77, 035701, (2008)], a model with decoupled shear and bulk viscosity is constructed. Hydrodynamic equation of the model is obtained via Chapman-Enskog calculation and verified by numerical simulation.


title: Generalized Two-Dimensional Quaternion Principal Component Analysis with Weighting for Color Image Recognition

abstract: One of the most powerful methods of color image recognition is the two-dimensional principle component analysis (2DQPCA) approach, which is based on quaternion representation and preserves color information very well. However, the current versions of 2DQPCA are still not feasible to extract different geometric properties of color images according to practical data analysis requirements and they are vulnerable to strong noise. In this paper, a generalized 2DQPCA approach with weighting is presented with imposing $L_{p}$ norms on both constraint and objective functions. As a unit 2DQPCA framework, this new version makes it possible to choose adaptive regularizations and constraints according to actual applications and can extract both geometric properties and color information of color images. The projection vectors generated by the deflating scheme are required to be orthogonal to each other. A weighting matrix is defined to magnify the effect of main features. This overcomes the shortcomings of traditional 2DQPCA that the recognition rate decreases as the number of principal components increases. The numerical results based on the real face databases validate that the newly proposed method is robust to noise and performs better than the state-of-the-art 2DQPCA-based algorithms and four prominent deep learning methods.


title: Explanation Ontology in Action: A Clinical Use-Case

abstract: We addressed the problem of a lack of semantic representation for user-centric explanations and different explanation types in our Explanation Ontology (https://purl.org/heals/eo). Such a representation is increasingly necessary as explainability has become an important problem in Artificial Intelligence with the emergence of complex methods and an uptake in high-precision and user-facing settings. In this submission, we provide step-by-step guidance for system designers to utilize our ontology, introduced in our resource track paper, to plan and model for explanations during the design of their Artificial Intelligence systems. We also provide a detailed example with our utilization of this guidance in a clinical setting.


title: Explanation Ontology: A Model of Explanations for User-Centered AI

abstract: Explainability has been a goal for Artificial Intelligence (AI) systems since their conception, with the need for explainability growing as more complex AI models are increasingly used in critical, high-stakes settings such as healthcare. Explanations have often added to an AI system in a non-principled, post-hoc manner. With greater adoption of these systems and emphasis on user-centric explainability, there is a need for a structured representation that treats explainability as a primary consideration, mapping end user needs to specific explanation types and the system's AI capabilities. We design an explanation ontology to model both the role of explanations, accounting for the system and user attributes in the process, and the range of different literature-derived explanation types. We indicate how the ontology can support user requirements for explanations in the domain of healthcare. We evaluate our ontology with a set of competency questions geared towards a system designer who might use our ontology to decide which explanation types to include, given a combination of users' needs and a system's capabilities, both in system design settings and in real-time operations. Through the use of this ontology, system designers will be able to make informed choices on which explanations AI systems can and should provide.