title: Wilson lines and their Laurent positivity

abstract: For a marked surface $\Sigma$ and a semisimple algebraic group $G$ of adjoint type, we study the Wilson line morphism $g_{[c]}:\mathcal{P}_{G,\Sigma} \to G$ associated with the homotopy class of an arc $c$ connecting boundary intervals of $\Sigma$, which is the comparison element of pinnings via parallel-transport. The matrix coefficients of the Wilson lines give a generating set of the function algebra $\mathcal{O}(\mathcal{P}_{G,\Sigma})$ when $\Sigma$ has no punctures. The Wilson lines have the multiplicative nature with respect to the gluing morphisms introduced by Goncharov--Shen [GS19], hence can be decomposed into triangular pieces with respect to a given ideal triangulation of $\Sigma$. We show that the matrix coefficients $c_{f,v}^V(g_{[c]})$ give Laurent polynomials with positive integral coefficients in the Goncharov--Shen coordinate system associated with any decorated triangulation of $\Sigma$, for suitable $f$ and $v$.


title: Unveiling the architecture of a pulsar - binary black-hole triple system with pulsar arrival time analysis

abstract: A large number of binary black holes (BBHs) with longer orbital periods are supposed to exist as progenitors of BBH mergers recently discovered with gravitational wave (GW) detectors. In our previous papers, we proposed to search for such BBHs in triple systems through the radial-velocity modulation of the tertiary orbiting star. If the tertiary is a pulsar, high precision and cadence observations of its arrival time enable an unambiguous characterization of the pulsar -- BBH triples located at several kpc, which are inaccessible with the radial velocity of stars. The present paper shows that such inner BBHs can be identified through the short-term R{\o}mer delay modulation, on the order of $10$ msec for our fiducial case, a triple consisting of $20~M_\odot$ BBH and $1.4~M_\odot$ pulsar with $P_\mathrm{in}=10$ days and $P_\mathrm{out}=100$ days. If the relativistic time delays are measured as well, one can determine basically all the orbital parameters of the triple. For instance, this method is applicable to inner BBHs of down to $\sim 1$ hr orbital periods if the orbital period of the tertiary pulsar is around several days. Inner BBHs with $\lesssim 1$ hr orbital period emit the GW detectable by future space-based GW missions including LISA, DECIGO, and BBO, and very short inner BBHs with sub-second orbital period can be even probed by the existing ground-based GW detectors. Therefore, our proposed methodology provides a complementary technique to search for inner BBHs in triples, if exist at all, in the near future.


title: Optimal Curing Strategy for Competing Epidemics Spreading over Complex Networks

abstract: Optimal curing strategy of suppressing competing epidemics spreading over complex networks is a critical issue. In this paper, we first establish a framework to capture the coupling between two epidemics, and then analyze the system's equilibrium states by categorizing them into three classes, and deriving their stability conditions. The designed curing strategy globally optimizes the trade-off between the curing cost and the severity of epidemics in the network. In addition, we provide structural results on the predictability of epidemic spreading by showing the existence and uniqueness of the solution. We also demonstrate the robustness of curing strategy by showing the continuity of epidemic severity with respect to the applied curing effort. A gradient descent algorithm based on a fixed-point iterative scheme is proposed to find the optimal curing strategy. Depending on the system parameters, the curing strategy can lead to switching between equilibria of the epidemic network as the control cost varies. Finally, we use case studies to corroborate and illustrate the obtained theoretical results.


title: Reinforcement Learning based Distributed Control of Dissipative Networked Systems

abstract: We consider the problem of designing distributed controllers to stabilize a class of networked systems, where each subsystem is dissipative and designs a reinforcement learning based local controller to maximize an individual cumulative reward function. We develop an approach that enforces dissipativity conditions on these local controllers at each subsystem to guarantee stability of the entire networked system. The proposed approach is illustrated on a DC microgrid example, where the objective is maintain voltage stability of the network using local distributed controllers at each generation unit.


title: Intrinsic Contribution to Non-linear Thermoelectric Effect

abstract: Irradiation of the strong light on the material leads to numerous non-linear effects that are essential to understand the physics of excited states of the system and for optoelectronics. Here, we study the non-linear thermoelectric effect due to the electric and thermal fields applied on a non-centrosymmetric system. The phenomenon arises on the Fermi surface with the transitions of electrons from valence to conduction bands. We derive the formlism to investigate these effects and find that the non-linearity in these effects namely non-linear Seebeck and non-linear Peltier effects depends on the ratio of the non-linear to the linear conductivities. The theory is tested for a hexagonally warped and gapped topological insulator. Results show enhancement in the longitudinal and Hall effects on increasing the warping strength while show opposite behavior with the surface gap.


title: Fully Quantized Image Super-Resolution Networks

abstract: With the rising popularity of intelligent mobile devices, it is of great practical significance to develop accurate, realtime and energy-efficient image Super-Resolution (SR) inference methods. A prevailing method for improving the inference efficiency is model quantization, which allows for replacing the expensive floating-point operations with efficient fixed-point or bitwise arithmetic. To date, it is still challenging for quantized SR frameworks to deliver feasible accuracy-efficiency trade-off. Here, we propose a Fully Quantized image Super-Resolution framework (FQSR) to jointly optimize efficiency and accuracy. In particular, we target on obtaining end-to-end quantized models for all layers, especially including skip connections, which was rarely addressed in the literature. We further identify training obstacles faced by low-bit SR networks and propose two novel methods accordingly. The two difficulites are caused by 1) activation and weight distributions being vastly distinctive in different layers; 2) the inaccurate approximation of the quantization. We apply our quantization scheme on multiple mainstream super-resolution architectures, including SRResNet, SRGAN and EDSR. Experimental results show that our FQSR using low bits quantization can achieve on par performance compared with the full-precision counterparts on five benchmark datasets and surpass state-of-the-art quantized SR methods with significantly reduced computational cost and memory consumption.


title: Distilled Thompson Sampling: Practical and Efficient Thompson Sampling via Imitation Learning

abstract: Thompson sampling (TS) has emerged as a robust technique for contextual bandit problems. However, TS requires posterior inference and optimization for action generation, prohibiting its use in many internet applications where latency and ease of deployment are of concern. We propose a novel imitation-learning-based algorithm that distills a TS policy into an explicit policy representation by performing posterior inference and optimization offline. The explicit policy representation enables fast online decision-making and easy deployment in mobile and server-based environments. Our algorithm iteratively performs offline batch updates to the TS policy and learns a new imitation policy. Since we update the TS policy with observations collected under the imitation policy, our algorithm emulates an off-policy version of TS. Our imitation algorithm guarantees Bayes regret comparable to TS, up to the sum of single-step imitation errors. We show these imitation errors can be made arbitrarily small when unlabeled contexts are cheaply available, which is the case for most large-scale internet applications. Empirically, we show that our imitation policy achieves comparable regret to TS, while reducing decision-time latency by over an order of magnitude.


title: Minimax Sample Complexity for Turn-based Stochastic Game

abstract: The empirical success of Multi-agent reinforcement learning is encouraging, while few theoretical guarantees have been revealed. In this work, we prove that the plug-in solver approach, probably the most natural reinforcement learning algorithm, achieves minimax sample complexity for turn-based stochastic game (TBSG). Specifically, we plan in an empirical TBSG by utilizing a `simulator' that allows sampling from arbitrary state-action pair. We show that the empirical Nash equilibrium strategy is an approximate Nash equilibrium strategy in the true TBSG and give both problem-dependent and problem-independent bound. We develop absorbing TBSG and reward perturbation techniques to tackle the complex statistical dependence. The key idea is artificially introducing a suboptimality gap in TBSG and then the Nash equilibrium strategy lies in a finite set.


title: Downfolding the Molecular Hamiltonian Matrix using Quantum Community Detection

abstract: Calculating the ground state energy of a molecule efficiently is of great interest in quantum chemistry. The exact numerical solution of the electronic Schrodinger equation remains unfeasible for most molecules requiring approximate methods at best. In this paper we introduce the use of Quantum Community Detection performed using the D-Wave quantum annealer to reduce the molecular Hamiltonian matrix without chemical knowledge. Given a molecule represented by a matrix of Slater determinants, the connectivity between Slater determinants is viewed as a graph adjacency matrix for determining multiple communities based on modularity maximization. The resulting lowest energy cluster of Slater determinants is used to calculate the ground state energy within chemical accuracy. The details of this method are described along with demonstrating its performance across multiple molecules of interest and a bond dissociation example. This approach is general and can be used as part of electronic structure calculations to reduce the computation required.


title: Generalization and Memorization: The Bias Potential Model

abstract: Models for learning probability distributions such as generative models and density estimators behave quite differently from models for learning functions. One example is found in the memorization phenomenon, namely the ultimate convergence to the empirical distribution, that occurs in generative adversarial networks (GANs). For this reason, the issue of generalization is more subtle than that for supervised learning. For the bias potential model, we show that dimension-independent generalization accuracy is achievable if early stopping is adopted, despite that in the long term, the model either memorizes the samples or diverges.


title: One-step replica symmetry breaking of random regular NAE-SAT I

abstract: In a broad class of sparse random constraint satisfaction problems(CSP), deep heuristics from statistical physics predict that there is a condensation phase transition before the satisfiability threshold, governed by one-step replica symmetry breaking(1RSB). In fact, in random regular k-NAE-SAT, which is one of such random CSPs, it was verified \cite{ssz22} that its free energy is well-defined and the explicit value follows the 1RSB prediction. However, for any model of sparse random CSP, it has been unknown whether the solution space indeed condenses on O(1) clusters according to the 1RSB prediction. In this paper, we give an affirmative answer to this question for the random regular k-NAE-SAT model. Namely, we prove that with probability bounded away from zero, most of the solutions lie inside a bounded number of solution clusters whose sizes are comparable to the scale of the free energy. Furthermore, we establish that the overlap between two independently drawn solutions concentrates precisely at two values. Our proof is based on a detailed moment analysis of a spin system, which has an infinite spin space that encodes the structure of solution clusters. We believe that our method is applicable to a broad range of random CSPs in the 1RSB universality class.


title: Enriching Load Data Using Micro-PMUs and Smart Meters

abstract: In modern distribution systems, load uncertainty can be fully captured by micro-PMUs, which can record high-resolution data; however, in practice, micro-PMUs are installed at limited locations in distribution networks due to budgetary constraints. In contrast, smart meters are widely deployed but can only measure relatively low-resolution energy consumption, which cannot sufficiently reflect the actual instantaneous load volatility within each sampling interval. In this paper, we have proposed a novel approach for enriching load data for service transformers that only have low-resolution smart meters. The key to our approach is to statistically recover the high-resolution load data, which is masked by the low-resolution data, using trained probabilistic models of service transformers that have both high and low-resolution data sources, i.e, micro-PMUs and smart meters. The overall framework consists of two steps: first, for the transformers with micro-PMUs, a Gaussian Process is leveraged to capture the relationship between the maximum/minimum load and average load within each low-resolution sampling interval of smart meters; a Markov chain model is employed to characterize the transition probability of known high-resolution load. Next, the trained models are used as teachers for the transformers with only smart meters to decompose known low-resolution load data into targeted high-resolution load data. The enriched data can recover instantaneous load uncertainty and significantly enhance distribution system observability and situational awareness. We have verified the proposed approach using real high- and low-resolution load data.


title: Multi-task GANs for Semantic Segmentation and Depth Completion with Cycle Consistency

abstract: Semantic segmentation and depth completion are two challenging tasks in scene understanding, and they are widely used in robotics and autonomous driving. Although several works are proposed to jointly train these two tasks using some small modifications, like changing the last layer, the result of one task is not utilized to improve the performance of the other one despite that there are some similarities between these two tasks. In this paper, we propose multi-task generative adversarial networks (Multi-task GANs), which are not only competent in semantic segmentation and depth completion, but also improve the accuracy of depth completion through generated semantic images. In addition, we improve the details of generated semantic images based on CycleGAN by introducing multi-scale spatial pooling blocks and the structural similarity reconstruction loss. Furthermore, considering the inner consistency between semantic and geometric structures, we develop a semantic-guided smoothness loss to improve depth completion results. Extensive experiments on Cityscapes dataset and KITTI depth completion benchmark show that the Multi-task GANs are capable of achieving competitive performance for both semantic segmentation and depth completion tasks.


title: Nonreciprocality of a micromachine driven by a catalytic chemical reaction

abstract: We propose a model that describes cyclic state transitions of a micromachine driven by a catalytic chemical reaction. We consider a mechano-chemical coupling of variables representing the degree of a chemical reaction and the internal state of a micromachine. The total free energy consists of a tilted periodic potential and a mechano-chemical coupling energy. We assume that the reaction variable obeys a deterministic stepwise dynamics characterized by two typical time scales, i.e., the mean first passage time and the mean first transition path time. To estimate the functionality of a micromachine, we focus on the quantity called "nonreciprocality" and further discuss its dependence on the properties of catalytic reaction. For example, we show that the nonreciprocality is proportional to the square of the mean first transition path time. The explicit calculation of the two time scales within the decoupling approximation model reveals that the nonreciprocality is inversely proportional to the square of the energy barrier of catalytic reaction.


title: Finite dimensional Nichols algebras over Suzuki algebra I: simple Yetter-Drinfeld modules of $A_{N\,2n}^{\mu\lambda}$

abstract: The Suzuki algebra $A_{Nn}^{\mu \lambda}$ was introduced by Suzuki Satoshi in 1998, which is a class of cosemisimple Hopf algebras. It is not categorically Morita-equivalent to a group algebra in general. In this paper, the author gives a complete set of simple Yetter-Drinfeld modules over the Suzuki algebra $A_{N\,2n}^{\mu\lambda}$ and investigates the Nichols algebras over those simple Yetter-Drinfeld modules. The involved finite dimensional Nichols algebras of diagonal type are of Cartan type $A_1$, $A_1\times A_1$, $A_2$, $A_2\times A_2$, Super type ${\bf A}_{2}(q;I_2)$ and the Nichols algebra ufo(8). There are $64$, $4m$ and $m^2$-dimensional Nichols algebras of non-diagonal type over $A_{N\,2n}^{\mu \lambda}$. The $64$-dimensional Nichols algebras are of dihedral rack type $\Bbb{D}_4$. The $4m$ and $m^2$-dimensional Nichols algebras $\mathfrak{B}(V_{abe})$ discovered first by Andruskiewitsch and Giraldi can be realized in the category of Yetter-Drinfeld modules over $A_{Nn}^{\mu \lambda}$. By using a result of Masuoka, we prove that $\dim\mathfrak{B}(V_{abe})=\infty$ under the condition $b^2=(ae)^{-1}$, $b\in\Bbb{G}_{m}$ for $m\geq 5$.


title: Observation of arbitrary topological windings of a non-Hermitian band

abstract: The non-trivial topological features in the energy band of non-Hermitian systems provide promising pathways to achieve robust physical behaviors in classical or quantum open systems. A key topological feature, unique to non-Hermitian systems, is the non-trivial winding of the energy band in the complex energy plane. Here we provide direct experimental demonstrations of such non-trivial winding, by implementing non-Hermitian lattice Hamiltonians along a frequency synthetic dimension formed in a ring resonator undergoing simultaneous phase and amplitude modulations, and by directly characterizing the complex band structures. Moreover, we show that the topological winding can be straightforwardly controlled by changing the modulation waveform. Our results open a pathway for the experimental synthesis and characterization of topologically non-trivial phases in non-conservative systems.


title: Accelerating MCMC algorithms through Bayesian Deep Networks

abstract: Markov Chain Monte Carlo (MCMC) algorithms are commonly used for their versatility in sampling from complicated probability distributions. However, as the dimension of the distribution gets larger, the computational costs for a satisfactory exploration of the sampling space become challenging. Adaptive MCMC methods employing a choice of proposal distribution can address this issue speeding up the convergence. In this paper we show an alternative way of performing adaptive MCMC, by using the outcome of Bayesian Neural Networks as the initial proposal for the Markov Chain. This combined approach increases the acceptance rate in the Metropolis-Hasting algorithm and accelerate the convergence of the MCMC while reaching the same final accuracy. Finally, we demonstrate the main advantages of this approach by constraining the cosmological parameters directly from Cosmic Microwave Background maps.


title: Intrinsic Knowledge Evaluation on Chinese Language Models

abstract: Recent NLP tasks have benefited a lot from pre-trained language models (LM) since they are able to encode knowledge of various aspects. However, current LM evaluations focus on downstream performance, hence lack to comprehensively inspect in which aspect and to what extent have they encoded knowledge. This paper addresses both queries by proposing four tasks on syntactic, semantic, commonsense, and factual knowledge, aggregating to a total of $39,308$ questions covering both linguistic and world knowledge in Chinese. Throughout experiments, our probes and knowledge data prove to be a reliable benchmark for evaluating pre-trained Chinese LMs. Our work is publicly available at https://github.com/ZhiruoWang/ChnEval.


title: Nonsingular transformations that are ergodic with isometric coefficients and not weakly doubly ergodic

abstract: We study two properties of nonsingular and infinite measure-preserving ergodic systems: weak double ergodicity, and ergodicity with isometric coefficients. We show that there exist infinite measure-preserving transformations that are ergodic with isometric coefficients but are not weakly doubly ergodic. We also give type $\text{III}_\lambda$ examples of such systems, $0<\lambda\leq 1$. We prove that under certain hypotheses, systems that are weakly mixing are ergodic with isometric coefficients and along the way we give an example of a uniformly rigid topological dynamical system along the sequence $(n_i)$ that is not measure theoretically rigid along $(n_i)$ for any nonsingular ergodic finite measure.


title: Bayesian Bootstrap Spike-and-Slab LASSO

abstract: The impracticality of posterior sampling has prevented the widespread adoption of spike-and-slab priors in high-dimensional applications. To alleviate the computational burden, optimization strategies have been proposed that quickly find local posterior modes. Trading off uncertainty quantification for computational speed, these strategies have enabled spike-and-slab deployments at scales that would be previously unfeasible. We build on one recent development in this strand of work: the Spike-and-Slab LASSO procedure of Ro\v{c}kov\'{a} and George (2018). Instead of optimization, however, we explore multiple avenues for posterior sampling, some traditional and some new. Intrigued by the speed of Spike-and-Slab LASSO mode detection, we explore the possibility of sampling from an approximate posterior by performing MAP optimization on many independently perturbed datasets. To this end, we explore Bayesian bootstrap ideas and introduce a new class of jittered Spike-and-Slab LASSO priors with random shrinkage targets. These priors are a key constituent of the Bayesian Bootstrap Spike-and-Slab LASSO (BB-SSL) method proposed here. BB-SSL turns fast optimization into approximate posterior sampling. Beyond its scalability, we show that BB-SSL has a strong theoretical support. Indeed, we find that the induced pseudo-posteriors contract around the truth at a near-optimal rate in sparse normal-means and in high-dimensional regression. We compare our algorithm to the traditional Stochastic Search Variable Selection (under Laplace priors) as well as many state-of-the-art methods for shrinkage priors. We show, both in simulations and on real data, that our method fares superbly in these comparisons, often providing substantial computational gains.


title: A Novel Sentiment Analysis Engine for Preliminary Depression Status Estimation on Social Media

abstract: Text sentiment analysis for preliminary depression status estimation of users on social media is a widely exercised and feasible method, However, the immense variety of users accessing the social media websites and their ample mix of vocabularies makes it difficult for commonly applied deep learning-based classifiers to perform. To add to the situation, the lack of adaptability of traditional supervised machine learning could hurt at many levels. We propose a cloud-based smartphone application, with a deep learning-based backend to primarily perform depression detection on Twitter social media. The backend model consists of a RoBERTa based siamese sentence classifier that compares a given tweet (Query) with a labeled set of tweets with known sentiment ( Standard Corpus ). The standard corpus is varied over time with expert opinion so as to improve the model's reliability. A psychologist ( with the patient's permission ) could leverage the application to assess the patient's depression status prior to counseling, which provides better insight into the mental health status of a patient. In addition, to the same, the psychologist could be referred to cases of similar characteristics, which could in turn help in more effective treatment. We evaluate our backend model after fine-tuning it on a publicly available dataset. The find tuned model is made to predict depression on a large set of tweet samples with random noise factors. The model achieved pinnacle results, with a testing accuracy of 87.23% and an AUC of 0.8621.


title: A Q-values Sharing Framework for Multiagent Reinforcement Learning under Budget Constraint

abstract: In teacher-student framework, a more experienced agent (teacher) helps accelerate the learning of another agent (student) by suggesting actions to take in certain states. In cooperative multiagent reinforcement learning (MARL), where agents need to cooperate with one another, a student may fail to cooperate well with others even by following the teachers' suggested actions, as the polices of all agents are ever changing before convergence. When the number of times that agents communicate with one another is limited (i.e., there is budget constraint), the advising strategy that uses actions as advices may not be good enough. We propose a partaker-sharer advising framework (PSAF) for cooperative MARL agents learning with budget constraint. In PSAF, each Q-learner can decide when to ask for Q-values and share its Q-values. We perform experiments in three typical multiagent learning problems. Evaluation results show that our approach PSAF outperforms existing advising methods under both unlimited and limited budget, and we give an analysis of the impact of advising actions and sharing Q-values on agents' learning.


title: Constructing Order Type Graphs using an Axiomatic Approach

abstract: A given order type in the plane can be represented by a point set. However, it might be difficult to recognize the orientations of some point triples. Recently, Aichholzer \etal \cite{abh19} introduced exit graphs for visualizing order types in the plane. We present a new class of geometric graphs, called {\em OT-graphs}, using abstract order types and their axioms described in the well-known book by Knuth \cite{k92}. Each OT-graph corresponds to a unique order type. We develop efficient algorithms for recognizing OT-graphs and computing a minimal OT-graph for a given order type in the plane. We provide experimental results on all order types of up to nine points in the plane including a comparative analysis of exit graphs and OT-graphs.


title: Resolving code smells in software product line using refactoring and reverse engineering

abstract: Software Product Lines SPL are recognized as a successful approach to reuse in software development.Its purpose is to reduce production costs. This approach allows products to be different with respect of particular characteristics and constraints in order to cover different markets. Software Product Line engineering is the production process in product lines.It exploits the commonalities between software products, but also to preserve the ability to vary the functionality between these products.Sometimes, an inappropriate implementation of SPL during this process can conduct to code smells or code anomalies. Code smells are considered as problems in source code which can have an impact on the quality of the derived products of an SPL. The same problem can be present in many derived products from an SPL due to reuse. A possible solution to this problem can be the refactoring which can improve the internal structure of source code without altering external behavior.This paper proposes an approach for building SPL from source code.Its purpose is to reduce code smells in the obtained SPL using refactoring source code.Another part of the approach consists on obtained SPL's design based on reverse engineering.


title: UVid-Net: Enhanced Semantic Segmentation of UAV Aerial Videos by Embedding Temporal Information

abstract: Semantic segmentation of aerial videos has been extensively used for decision making in monitoring environmental changes, urban planning, and disaster management. The reliability of these decision support systems is dependent on the accuracy of the video semantic segmentation algorithms. The existing CNN based video semantic segmentation methods have enhanced the image semantic segmentation methods by incorporating an additional module such as LSTM or optical flow for computing temporal dynamics of the video which is a computational overhead. The proposed research work modifies the CNN architecture by incorporating temporal information to improve the efficiency of video semantic segmentation. In this work, an enhanced encoder-decoder based CNN architecture (UVid-Net) is proposed for UAV video semantic segmentation. The encoder of the proposed architecture embeds temporal information for temporally consistent labelling. The decoder is enhanced by introducing the feature-refiner module, which aids in accurate localization of the class labels. The proposed UVid-Net architecture for UAV video semantic segmentation is quantitatively evaluated on extended ManipalUAVid dataset. The performance metric mIoU of 0.79 has been observed which is significantly greater than the other state-of-the-art algorithms. Further, the proposed work produced promising results even for the pre-trained model of UVid-Net on urban street scene with fine tuning the final layer on UAV aerial videos.


title: Deeper or Wider Networks of Point Clouds with Self-attention?

abstract: Prevalence of deeper networks driven by self-attention is in stark contrast to underexplored point-based methods. In this paper, we propose groupwise self-attention as the basic block to construct our network: SepNet. Our proposed module can effectively capture both local and global dependencies. This module computes the features of a group based on the summation of the weighted features of any point within the group. For convenience, we generalize groupwise operations to assemble this module. To further facilitate our networks, we deepen and widen SepNet on the tasks of segmentation and classification respectively, and verify its practicality. Specifically, SepNet achieves state-of-the-art for the tasks of classification and segmentation on most of the datasets. We show empirical evidence that SepNet can obtain extra accuracy in classification or segmentation from increased width or depth, respectively.


title: Application-Driven Synthesis and Characterization of Hexagonal Boron Nitride on Metal and Carbon Nanotube Substrates

abstract: Hexagonal boron nitride (h-BN) is unique among two-dimensional materials, with a large band gap (~6 eV) and high thermal conductivity (>400 W/m/K), second only to diamond among electrical insulators. Most electronic studies to date have relied on h-BN exfoliated from bulk crystals; however, for scalable applications the material must be synthesized by methods such as chemical vapor deposition (CVD). Here, we demonstrate single- and few-layer h-BN synthesized by CVD on single crystal platinum and on carbon nanotube (CNT) substrates, also comparing these films with h-BN deposited on the more commonly used polycrystalline Pt and Cu growth substrates. The h-BN film grown on single crystal Pt has a lower surface roughness and is more spatially homogeneous than the film from a polycrystalline Pt foil, and our electrochemical transfer process allows for these expensive foils to be reused with no measurable degradation. In addition, we demonstrate monolayer h-BN as an ultrathin, 3.33 $\unicode{x212B}$ barrier protecting MoS2 from damage at high temperatures and discuss other applications that take advantage of the conformal h-BN deposition on various substrates demonstrated in this work.


title: Some domination inequalities for spectral zeta kernels on closed Riemannian manifolds

abstract: We first prove Kato's inequalities for the Laplacian and a Schr$\ddot{o}$dinger-type operator on smooth functions on closed Riemannian manifolds. We then apply the result to establish some new domination inequalities for spectral zeta functions and their related spectral zeta kernels on $n$-dimensional unit spheres using Kato's inequalities and majorisation techniques. Our results are the generalisations of Kato's comparison inequalities for Riemannian surfaces to $n$-dimensional closed Riemannian manifolds.


title: Learning Affinity-Aware Upsampling for Deep Image Matting

abstract: We show that learning affinity in upsampling provides an effective and efficient approach to exploit pairwise interactions in deep networks. Second-order features are commonly used in dense prediction to build adjacent relations with a learnable module after upsampling such as non-local blocks. Since upsampling is essential, learning affinity in upsampling can avoid additional propagation layers, offering the potential for building compact models. By looking at existing upsampling operators from a unified mathematical perspective, we generalize them into a second-order form and introduce Affinity-Aware Upsampling (A2U) where upsampling kernels are generated using a light-weight lowrank bilinear model and are conditioned on second-order features. Our upsampling operator can also be extended to downsampling. We discuss alternative implementations of A2U and verify their effectiveness on two detail-sensitive tasks: image reconstruction on a toy dataset; and a largescale image matting task where affinity-based ideas constitute mainstream matting approaches. In particular, results on the Composition-1k matting dataset show that A2U achieves a 14% relative improvement in the SAD metric against a strong baseline with negligible increase of parameters (<0.5%). Compared with the state-of-the-art matting network, we achieve 8% higher performance with only 40% model complexity.


title: Learning geometry-image representation for 3D point cloud generation

abstract: We study the problem of generating point clouds of 3D objects. Instead of discretizing the object into 3D voxels with huge computational cost and resolution limitations, we propose a novel geometry image based generator (GIG) to convert the 3D point cloud generation problem to a 2D geometry image generation problem. Since the geometry image is a completely regular 2D array that contains the surface points of the 3D object, it leverages both the regularity of the 2D array and the geodesic neighborhood of the 3D surface. Thus, one significant benefit of our GIG is that it allows us to directly generate the 3D point clouds using efficient 2D image generation networks. Experiments on both rigid and non-rigid 3D object datasets have demonstrated the promising performance of our method to not only create plausible and novel 3D objects, but also learn a probabilistic latent space that well supports the shape editing like interpolation and arithmetic.


title: Terahertz Optics Driven Phase Transition in Two-Dimensional Multiferroics

abstract: Displacive martensitic phase transition is potentially promising in semiconductor based data storage applications with fast switching speed. In addition to traditional phase transition materials, the recently discovered two-dimensional ferroic materials are receiving lots of attention owing to their fast ferroic switching dynamics, which could tremendously boost data storage density and enhance read/write speed. In this study, we propose that a terahertz laser with an intermediate intensity and selected frequency can trigger ferroic order switching in two-dimensional multiferroics, which is a damage-free noncontacting approach. Through first-principles calculations, we theoretically and computationally investigate optically induced electronic, phononic, and mechanical responses of two experimentally fabricated multiferroic (with both ferroelastic and ferroelectric) materials, \b{eta}-GeSe and {\alpha}-SnTe monolayer. We show that the relative stability of different orientation variants can be effectively manipulated via the polarization direction of the terahertz laser, which is selectively and strongly coupled with the transverse optical phonon modes. The transition from one orientation variant to another can be barrierless, indicating ultrafast transition kinetics and the conventional nucleation-growth phase transition process can be avoidable.


title: Erasure-Resilient Sublinear-Time Graph Algorithms

abstract: We investigate sublinear-time algorithms that take partially erased graphs represented by adjacency lists as input. Our algorithms make degree and neighbor queries to the input graph and work with a specified fraction of adversarial erasures in adjacency entries. We focus on two computational tasks: testing if a graph is connected or $\varepsilon$-far from connected and estimating the average degree. For testing connectedness, we discover a threshold phenomenon: when the fraction of erasures is less than $\varepsilon$, this property can be tested efficiently (in time independent of the size of the graph); when the fraction of erasures is at least $\varepsilon,$ then a number of queries linear in the size of the graph representation is required. Our erasure-resilient algorithm (for the special case with no erasures) is an improvement over the previously known algorithm for connectedness in the standard property testing model and has optimal dependence on the proximity parameter $\varepsilon$. For estimating the average degree, our results provide an "interpolation" between the query complexity for this computational task in the model with no erasures in two different settings: with only degree queries, investigated by Feige (SIAM J. Comput. `06), and with degree queries and neighbor queries, investigated by Goldreich and Ron (Random Struct. Algorithms `08) and Eden et al. (ICALP `17). We conclude with a discussion of our model and open questions raised by our work.


title: Non-standard interactions in SMEFT confronted with terrestrial neutrino experiments

abstract: The Standard Model Effective Field Theory (SMEFT) provides a systematic and model-independent framework to study neutrino non-standard interactions (NSIs). We study the constraining power of the on-going neutrino oscillation experiments T2K, NO$\nu$A, Daya Bay, Double Chooz and RENO in the SMEFT framework. A full consideration of matching is provided between different effective field theories and the renormalization group running at different scales, filling the gap between the low-energy neutrino oscillation experiments and SMEFT at the UV scale. We first illustrate our method with a top-down approach in a simplified scalar leptoquark model, showing more stringent constraints from the neutrino oscillation experiments compared to collider studies. We then provide a bottom-up study on individual dimension-6 SMEFT operators and find NSIs in neutrino experiments already sensitive to new physics at $\sim$20 TeV when the Wilson coefficients are fixed at unity. We also investigate the correlation among multiple operators at the UV scale and find it could change the constraints on SMEFT operators by several orders of magnitude compared with when only one operator is considered. Furthermore, we find that accelerator and reactor neutrino experiments are sensitive to different SMEFT operators, which highlights the complementarity of the two experiment types.


title: Inflating Topic Relevance with Ideology: A Case Study of Political Ideology Bias in Social Topic Detection Models

abstract: We investigate the impact of political ideology biases in training data. Through a set of comparison studies, we examine the propagation of biases in several widely-used NLP models and its effect on the overall retrieval accuracy. Our work highlights the susceptibility of large, complex models to propagating the biases from human-selected input, which may lead to a deterioration of retrieval accuracy, and the importance of controlling for these biases. Finally, as a way to mitigate the bias, we propose to learn a text representation that is invariant to political ideology while still judging topic relevance.


title: Higher-spin gauge models with (1,1) supersymmetry in AdS${}_3$: Reduction to (1,0) superspace

abstract: In three dimensions, there are two types of ${\cal N}=2$ anti-de Sitter (AdS) supersymmetry, which are denoted (1,1) and (2,0). They are characterised by different supercurrents and support different families of higher-spin gauge models (massless and massive) which were constructed in arXiv:1807.09098 and arXiv:1809.00802 for the (1,1) and (2,0) cases, respectively, using superspace techniques. It turns out that the precise difference between the (1,1) and (2,0) higher-spin supermultiplets can be pinned down by reducing these gauge theories to (1,0) AdS superspace. The present paper is devoted to the $(1,1) \to (1,0)$ AdS superspace reduction. In conjunction with the outcomes of the $(2,0) \to (1,0)$ AdS superspace reduction carried out in arXiv:1905.05050, we demonstrate that every known higher-spin theory with (1,1) or (2,0) AdS supersymmetry decomposes into a sum of two off-shell (1,0) supermultiplets which belong to four series of inequivalent higher-spin gauge models. The latter are reduced to components.


title: A comparison of handcrafted, parameterized, and learnable features for speech separation

abstract: The design of acoustic features is important for speech separation. It can be roughly categorized into three classes: handcrafted, parameterized, and learnable features. Among them, learnable features, which are trained with separation networks jointly in an end-to-end fashion, become a new trend of modern speech separation research, e.g. convolutional time domain audio separation network (Conv-Tasnet), while handcrafted and parameterized features are also shown competitive in very recent studies. However, a systematic comparison across the three kinds of acoustic features has not been conducted yet. In this paper, we compare them in the framework of Conv-Tasnet by setting its encoder and decoder with different acoustic features. We also generalize the handcrafted multi-phase gammatone filterbank (MPGTF) to a new parameterized multi-phase gammatone filterbank (ParaMPGTF). Experimental results on the WSJ0-2mix corpus show that (i) if the decoder is learnable, then setting the encoder to STFT, MPGTF, ParaMPGTF, and learnable features lead to similar performance; and (ii) when the pseudo-inverse transforms of STFT, MPGTF, and ParaMPGTF are used as the decoders, the proposed ParaMPGTF performs better than the other two handcrafted features.


title: Prediction of hidden-charm pentaquarks with double strangeness

abstract: Inspired by the recent evidence of $P_{cs}(4459)$ reported by LHCb, we continue to perform the investigation of hidden-charm molecular pentaquarks with double strangeness, which are composed of an $S$-wave charmed baryon $\Xi_c^{(\prime,*)}$ and an $S$-wave anti-charmed-strange meson $\bar{D}_s^{(*)}$. Both the $S$-$D$ wave mixing effect and the coupled channel effect are taken into account in realistic calculation. A dynamics calculation shows that there may exist two types of hidden-charm molecular pentaquark with double strangeness, i.e., the $\Xi_{c}^{*}\bar D_s^*$ molecular state with $J^P={5}/{2}^{-}$ and the $\Xi_{c}^{\prime}\bar D_s^*$ molecular state with $J^P={3}/{2}^{-}$. According to this result, we strongly suggest the experimental exploration of hidden-charm molecular pentaquarks with double strangeness. Facing such opportunity, obviously the LHCb will have great potential to hunt for them, with the data accumulation at Run III and after High-Luminosity-LHC upgrade.


title: An Algorithm for Fast Supervised Learning in Variational Circuits through Simultaneous Processing of Multiple Samples

abstract: We propose a novel algorithm for fast training of variational classifiers by processing multiple samples parallelly. The algorithm can be adapted for any ansatz used in the variational circuit. The presented algorithm utilizes qRAM and other quantum circuits in the forward pass. Further, instead of the usual practice of computing the loss classically, we calculate the loss using a Swap-test circuit. The algorithm thus brings down the training cost of a variational classifier to O(logN)from the usual O(N)when training on a dataset of N samples. Although we discuss only binary classification in the paper, the algorithm can be easily generalized to multi-class classification.


title: A method for large diffeomorphic registration via broken geodesics

abstract: Anatomical variabilities seen in longitudinal data or inter-subject data is usually described by the underlying deformation, captured by non-rigid registration of these images. Stationary Velocity Field (SVF) based non-rigid registration algorithms are widely used for registration. SVF based methods form a metric-free framework which captures a finite dimensional submanifold of deformations embedded in the infinite dimensional smooth manifold of diffeomorphisms. However, these methods cover only a limited degree of deformations. In this paper, we address this limitation and define an approximate metric space for the manifold of diffeomorphisms $\mathcal{G}$. We propose a method to break down the large deformation into finite compositions of small deformations. This results in a broken geodesic path on $\mathcal{G}$ and its length now forms an approximate registration metric. We illustrate the method using a simple, intensity-based, log-demon implementation. Validation results of the proposed method show that it can capture large and complex deformations while producing qualitatively better results than the state-of-the-art methods. The results also demonstrate that the proposed registration metric is a good indicator of the degree of deformation.


title: A characterization of $X$ for which spaces $C_p(X)$ are distinguished and its applications

abstract: We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $\Delta$-space in the sense of \cite {Knight}. As an application of this characterization theorem we obtain the following results: 1) If $X$ is a \v{C}ech-complete (in particular, compact) space such that $C_p(X)$ is distinguished, then $X$ is scattered. 2) For every separable compact space of the Isbell--Mr\'owka type $X$, the space $C_p(X)$ is distinguished. 3) If $X$ is the compact space of ordinals $[0,\omega_1]$, then $C_p(X)$ is not distinguished. We observe that the existence of an uncountable separable metrizable space $X$ such that $C_p(X)$ is distinguished, is independent of ZFC. We explore also the question to which extent the class of $\Delta$-spaces is invariant under basic topological operations.


title: Nonuniform phases in the geometrically frustrated dissipative XYZ model

abstract: We investigate the steady-state phase diagram of the dissipative spin-1/2 XYZ model on a two-dimensional triangular lattice, in which each site is coupled to a local environment. By means of cluster mean-field approximation, we find that the steady-state phases of the system are rather rich, in particular there exist various types of nonuniform antiferromagnetic phases due to the geometrical frustration. As the short-range correlations included in the analysis, the numerical results show that the oscillatory phase disappears while the triantiferromagnetic and biantiferromagnetic phases remain to exist in the thermodynamic limit. Moreover, the existence of the spin-density-wave phase, which is missed by the single-site mean-field analysis, is also revealed by the spin-structure factor.


title: Automated Prostate Cancer Diagnosis Based on Gleason Grading Using Convolutional Neural Network

abstract: The Gleason grading system using histological images is the most powerful diagnostic and prognostic predictor of prostate cancer. The current standard inspection is evaluating Gleason H&E-stained histopathology images by pathologists. However, it is complicated, time-consuming, and subject to observers. Deep learning (DL) based-methods that automatically learn image features and achieve higher generalization ability have attracted significant attention. However, challenges remain especially using DL to train the whole slide image (WSI), a predominant clinical source in the current diagnostic setting, containing billions of pixels, morphological heterogeneity, and artifacts. Hence, we proposed a convolutional neural network (CNN)-based automatic classification method for accurate grading of PCa using whole slide histopathology images. In this paper, a data augmentation method named Patch-Based Image Reconstruction (PBIR) was proposed to reduce the high resolution and increase the diversity of WSIs. In addition, a distribution correction (DC) module was developed to enhance the adaption of pretrained model to the target dataset by adjusting the data distribution. Besides, a Quadratic Weighted Mean Square Error (QWMSE) function was presented to reduce the misdiagnosis caused by equal Euclidean distances. Our experiments indicated the combination of PBIR, DC, and QWMSE function was necessary for achieving superior expert-level performance, leading to the best results (0.8885 quadratic-weighted kappa coefficient).


title: Multi-stage Attention ResU-Net for Semantic Segmentation of Fine-Resolution Remote Sensing Images

abstract: The attention mechanism can refine the extracted feature maps and boost the classification performance of the deep network, which has become an essential technique in computer vision and natural language processing. However, the memory and computational costs of the dot-product attention mechanism increase quadratically with the spatio-temporal size of the input. Such growth hinders the usage of attention mechanisms considerably in application scenarios with large-scale inputs. In this Letter, we propose a Linear Attention Mechanism (LAM) to address this issue, which is approximately equivalent to dot-product attention with computational efficiency. Such a design makes the incorporation between attention mechanisms and deep networks much more flexible and versatile. Based on the proposed LAM, we re-factor the skip connections in the raw U-Net and design a Multi-stage Attention ResU-Net (MAResU-Net) for semantic segmentation from fine-resolution remote sensing images. Experiments conducted on the Vaihingen dataset demonstrated the effectiveness and efficiency of our MAResU-Net. Open-source code is available at https://github.com/lironui/Multistage-Attention-ResU-Net.


title: A Probabilistic Higher-order Fixpoint Logic

abstract: We introduce PHFL, a probabilistic extension of higher-order fixpoint logic, which can also be regarded as a higher-order extension of probabilistic temporal logics such as PCTL and the $\mu^p$-calculus. We show that PHFL is strictly more expressive than the $\mu^p$-calculus, and that the PHFL model-checking problem for finite Markov chains is undecidable even for the $\mu$-only, order-1 fragment of PHFL. Furthermore the full PHFL is far more expressive: we give a translation from Lubarsky's $\mu$-arithmetic to PHFL, which implies that PHFL model checking is $\Pi^1_1$-hard and $\Sigma^1_1$-hard. As a positive result, we characterize a decidable fragment of the PHFL model-checking problems using a novel type system.


title: Heterotic Complex Structure Moduli Stabilization for Elliptically Fibered Calabi-Yau Manifolds

abstract: Complex structure moduli of a Calabi-Yau threefold in $N=1$ supersymmetric heterotic compactifications can be stabilized by holomorphic vector bundles. The stabilized moduli are determined by a computation of Atiyah class. In this paper, we study how this mechanism work in the context of elliptically fibered Calabi-Yau manifolds where complex structure moduli space contains two kinds of moduli, ones from base and ones from fibration. With spectral cover bundles, we find three types of situations when holomorphicity of bundles is determined by algebraic cycles supported on special choice of complex structure, which allows us to stabilize both of these two moduli. We present concrete examples for each type and develop practical tools to analyze the stabilized moduli. Finally, by checking the holomorphicity of the four-flux and/or local Higgs bundle data in F-theory, we briefly study the dual complex structure moduli stabilization scenarios.


title: High frequency residues: a new set of signals for detectability studies of an X-ray imaging system

abstract: A new set of signals for studying detectability of an x-ray imaging system is presented. The results obtained with these signals are intended to complement the NEQ results. The signals are generated from line spread profiles by progressively removing their lower frequency components and the resulting high frequency residues (HFRs) form the set of signals to be used in detectability studies. Detectability indexes for these HFRs are obtained using a non-prewhitening (NPW) observer and a series of edge images are used to obtain the HFRs, the covariance matrices required by the NPW model and the MTF and NPS used in NEQ calculations. The template used in the model is obtained by simulating the processes of blurring and sampling of the edge images. Comparison between detectability indexes for the HFRs and NEQ are carried out for different acquisition techniques using different beam qualities and doses. The relative sensitivity shown by detectability indexes using HFRs is higher than that of NEQ, especially at lower doses. Also, the different observers produce different results at high doses: while the ideal Bayesian observer used by NEQ distinguishes between beam qualities, the NPW used with the HFRs produces no differences between them. Delta functions used in HFR are the opposite of complex exponential functions in terms of their support in the spatial and frequency domains. Since NEQ can be interpreted as detectability of these complex exponential functions, detectability of HFRs is presented as a natural complement to NEQ in the performance assessment of an imaging system.


title: Image-based Plant Disease Diagnosis with Unsupervised Anomaly Detection Based on Reconstructability of Colors

abstract: This paper proposes an unsupervised anomaly detection technique for image-based plant disease diagnosis. The construction of large and publicly available datasets containing labeled images of healthy and diseased crop plants led to growing interest in computer vision techniques for automatic plant disease diagnosis. Although supervised image classifiers based on deep learning can be a powerful tool for plant disease diagnosis, they require a huge amount of labeled data. The data mining technique of anomaly detection includes unsupervised approaches that do not require rare samples for training classifiers. We propose an unsupervised anomaly detection technique for image-based plant disease diagnosis that is based on the reconstructability of colors; a deep encoder-decoder network trained to reconstruct the colors of \textit{healthy} plant images should fail to reconstruct colors of symptomatic regions. Our proposed method includes a new image-based framework for plant disease detection that utilizes a conditional adversarial network called pix2pix and a new anomaly score based on CIEDE2000 color difference. Experiments with PlantVillage dataset demonstrated the superiority of our proposed method compared to an existing anomaly detector at identifying diseased crop images in terms of accuracy, interpretability and computational efficiency.


title: Active Output Selection Strategies for Multiple Learning Regression Models

abstract: Active learning shows promise to decrease test bench time for model-based drivability calibration. This paper presents a new strategy for active output selection, which suits the needs of calibration tasks. The strategy is actively learning multiple outputs in the same input space. It chooses the output model with the highest cross-validation error as leading. The presented method is applied to three different toy examples with noise in a real world range and to a benchmark dataset. The results are analyzed and compared to other existing strategies. In a best case scenario, the presented strategy is able to decrease the number of points by up to 30% compared to a sequential space-filling design while outperforming other existing active learning strategies. The results are promising but also show that the algorithm has to be improved to increase robustness for noisy environments. Further research will focus on improving the algorithm and applying it to a real-world example.


title: Compressive Circular Polarization Snapshot Spectral Imaging

abstract: A compressive sensing based circular polarization snapshot spectral imaging system is proposed in this paper to acquire two-dimensional spatial, one-dimensional circular polarization (the right and left circular polarization), and one-dimensional spectral information, simultaneously. Using snapshot can collect the entire four-dimensional datacube in a single integration period. The dispersion prism in the coded aperture snapshot spectral imager is replaced by the combination of an Amici prism and a Wollaston prism to implement the spectral shifting along two orthogonal directions, which greatly improves the spectral resolution of the image. The right and left circular polarization components of objects are extracted by the assemble with an achromatic quarter wave-plate and a Wollaston prism. The encoding and reconstruction are illustrated comprehensively. The feasibility is verified by the simulation. It provides us an alternative approach for circular polarization spectral imaging such as defogging, underwater imaging, and so on.


title: Analytical Design for Full-space Spatial Power Dividers Using Metagratings

abstract: We present a rigorous theoretical framework for designing full-space spatial power dividers using metagratings. In our study, the current restrictions of spatial power dividing platforms such as reflection-only performance, operating at normal incidence, and small reflection/refraction angles have been totally relaxed. A modal expansion analysis based on Floquet-Bloch (FB) theorem is established so that a discrete set of spatial harmonics is considered in both reflection and transmission sides of a compound metallic grating in which the unknown coefficients are calculated by applying proper boundary conditions. By eliminating the unwanted scattering harmonics, the proposed metagrating has the ability to realize different functionalities from perfect anomalous refraction to reflection-transmission spatial power dividing, without resorting to full-wave numerical optimizations. The numerical simulations confirm well the theoretical predictions. Our findings not only offer possibilities to realize arbitrary spatial power dividers but also reveal a simple alternative for beamforming array antennas.


title: Phase space formulation of the Abelian and non-Abelian quantum geometric tensor

abstract: The geometry of the parameter space is encoded by the quantum geometric tensor, which captures fundamental information about quantum states and contains both the quantum metric tensor and the curvature of the Berry connection. We present a formulation of the Berry connection and the quantum geometric tensor in the framework of the phase space or Wigner function formalism. This formulation is obtained through the direct application of the Weyl correspondence to the geometric structure under consideration. In particular, we show that the quantum metric tensor can be computed using only the Wigner functions, which opens an alternative way to experimentally measure the components of this tensor. We also address the non-Abelian generalization and obtain the phase space formulation of the Wilczek-Zee connection and the non-Abelian quantum geometric tensor. In this case, the non-Abelian quantum metric tensor involves only the non-diagonal Wigner functions. Then, we verify our approach with examples and apply it to a system of $N$ coupled harmonic oscillators, showing that the associated Berry connection vanishes and obtaining the analytic expression for the quantum metric tensor. Our results indicate that the developed approach is well adapted to study the parameter space associated with quantum many-body systems.


title: BSNet: Bi-Similarity Network for Few-shot Fine-grained Image Classification

abstract: Few-shot learning for fine-grained image classification has gained recent attention in computer vision. Among the approaches for few-shot learning, due to the simplicity and effectiveness, metric-based methods are favorably state-of-the-art on many tasks. Most of the metric-based methods assume a single similarity measure and thus obtain a single feature space. However, if samples can simultaneously be well classified via two distinct similarity measures, the samples within a class can distribute more compactly in a smaller feature space, producing more discriminative feature maps. Motivated by this, we propose a so-called \textit{Bi-Similarity Network} (\textit{BSNet}) that consists of a single embedding module and a bi-similarity module of two similarity measures. After the support images and the query images pass through the convolution-based embedding module, the bi-similarity module learns feature maps according to two similarity measures of diverse characteristics. In this way, the model is enabled to learn more discriminative and less similarity-biased features from few shots of fine-grained images, such that the model generalization ability can be significantly improved. Through extensive experiments by slightly modifying established metric/similarity based networks, we show that the proposed approach produces a substantial improvement on several fine-grained image benchmark datasets. Codes are available at: https://github.com/spraise/BSNet


title: An efficient implementable inexact entropic proximal point algorithm for a class of linear programming problems

abstract: We introduce a class of specially structured linear programming (LP) problems, which has favorable modeling capability for important application problems in different areas such as optimal transport, discrete tomography and economics. To solve these generally large-scale LP problems efficiently, we design an implementable inexact entropic proximal point algorithm (iEPPA) combined with an easy-to-implement dual block coordinate descent method as a subsolver. Unlike existing entropy-type proximal point algorithms, our iEPPA employs a more practically checkable stopping condition for solving the associated subproblems while achieving provable convergence. Moreover, when solving the capacity constrained multi-marginal optimal transport (CMOT) problem (a special case of our LP problem), our iEPPA is able to bypass the underlying numerical instability issues that often appear in the popular entropic regularization approach, since our algorithm does not require the proximal parameter to be very small in order to obtain an accurate approximate solution. Numerous numerical experiments show that our iEPPA is efficient and robust for solving large-scale CMOT problems. The experiments on the discrete tomography problem also highlight the potential modeling power of our model.


title: $\bar{D}^{(*)}_{s}D^{(*)}$ molecular state with $J^{P}=1^{+}$

abstract: In this paper, we construct $\bar{D}^{(*)}_{s}D^{(*)}$-molecule-type interpolating currents $J_{(\pm)\mu}(x)$ with $J^{P}=1^{+}$, calculate the corresponding mass and magnetic moment using the QCD sum rule method and its extension in the weak electromagnetic field, and study the processes of $Z_{(\pm)cs}$ to $\eta_{c}K^{*}$, $J/\psi K$, $\bar{D}D^{*}_{s}$, and $\bar{D}^{*}D_{s}$ via three-point sum rules. The numerical values are $m_{Z_{(\pm)cs}}=3.99^{+0.17}_{-0.14}~\mbox{GeV}$, and $\lambda_{Z_{(\pm)cs}}=2.07^{+0.28}_{-0.16}\times10^{-2}~\mbox{GeV}^{5}$, $\mu_{Z_{(\pm)cs}}=0.18^{+0.16}_{-0.09}~\mu_{N}$ with $\mu_{N}$ the nucleon magneton, $\Gamma_{Z_{(+)cs}}=17.47^{+12.70}_{-8.08}$, and $\Gamma_{Z_{(-)cs}}=13.86^{+10.37}_{-6.51}$. The masses are in agreement with the recently measured value of $Z_{cs}(3985)$ by the BESIII Collaboration, $m^{exp}_{Z_{cs}}=(3982.5^{+1.8}_{-2.6}\pm2.1)~\mbox{MeV}$. The widths are compatible with the experimental value, $\Gamma^{exp}_{Z_{cs}}=(12.8^{+5.3}_{-4.4}\pm3.0)~\mbox{MeV}$. The magnetic moment and the various decay modes can help us to determine the inner structure of $Z_{cs}(3985)$ when being confronted with experimental data in the future.


title: Cross-sublattice Spin Pumping and Magnon Level Attraction in van der Waals Antiferromagnets

abstract: We theoretically study spin pumping from a layered van der Waals antiferromagnet in its canted ground state into an adjacent normal metal. We find that the resulting dc spin pumping current bears contributions along all spin directions. Our analysis allows for detecting intra- and cross-sublattice spin-mixing conductances via measuring the two in-plane spin current components. We further show that sublattice symmetry-breaking Gilbert damping can be realized via interface engineering and induces a dissipative coupling between the optical and acoustic magnon modes. This realizes magnon level attraction and exceptional points in the system. Furthermore, the dissipative coupling and cross-sublattice spin pumping contrive to produce an unconventional spin current in the out-of-plane direction. Our findings provide a route to extract the spin mixing conductance matrix and uncovers the unique opportunities, such as level attraction, offered by van der Waals antiferromagnet-normal metal hybrids.


title: Assessing the Acceptance of Clinical Decision Support Tools using an Integrated Technology Acceptance Model

abstract: With the medical development in recent decades, the multiplicity of different diseases, and an increased number of patients, the use of an advanced healthcare information technology (HIT) such as a clinical decision support system (CDSS) has been of necessary to help general practitioners (GPs). CDSS may fail due to the failure to understand the factors influencing the GP's acceptance of CDSS. Identifying factors that promote acceptance of CDSS can be a vital aspect for its successful implementation. This study seeks to identify factors that influence the acceptance of CDSS in Saudi Arabia by GPs. This study relies mainly on the unified theory of acceptance and use of technology (UTAUT) which has been integrated with a task-technology fit (TTF) model and has applied a qualitative method to collect the data through using semi-structured interviews with 12 GPs. The study's results indicated that performance expectancy, effort expectancy, facilitating conditions, technology fit for the task, technology characteristics and task characteristics have all influenced the acceptance of CDSS. The results also indicated the need to extend the UTAUT model to investigate and explore other factors in GPs' acceptance of CDSS.


title: Implications of single field inflation in general cosmological scenarios on the nature of dark energy given the swampland conjectures

abstract: Swampland Conjectures have attracted quite some interest in the Cosmological Community. They have been shown to have wide ranging implications , like Constraints on Inflationary Models, Primordial Black Holes etc. to name a few. A particularly revealing insight on dark energy also shows that one can have the dark energy equation of state for a quintessence scenario to be signficantly different than -1 after one takes into account the refined dS conjecture. Another interesting issue with the swampland conjectures is that they have been shown to be incompatible with single field inflationary models in GR based cosmology. In our previous work we have, however, showed that single field inflationary models are quite compatible with swampland conjectures in their usual string theoretic form in a large class of modified cosmological scenarios. Building on that work, we now show that in modified cosmological scenarios where the early universe expansion was driven by single field inflation , one can have the dark energy equation of state to be significantly different from -1 even if we just take into account the original dS conjecture, let alone the refined form of that. We thereby show that one does not need to apply a step function approach towards inflation in order to have an observable distinction between constant and non constant dark energy models in the context of the swampland conjectures.


title: FROCC: Fast Random projection-based One-Class Classification

abstract: We present Fast Random projection-based One-Class Classification (FROCC), an extremely efficient method for one-class classification. Our method is based on a simple idea of transforming the training data by projecting it onto a set of random unit vectors that are chosen uniformly and independently from the unit sphere, and bounding the regions based on separation of the data. FROCC can be naturally extended with kernels. We theoretically prove that FROCC generalizes well in the sense that it is stable and has low bias. FROCC achieves up to 3.1 percent points better ROC, with 1.2--67.8x speedup in training and test times over a range of state-of-the-art benchmarks including the SVM and the deep learning based models for the OCC task.


title: A Framework for Health-informed RUL-constrained Optimal Power Flow with Li-ion Batteries

abstract: Battery energy storage systems are widely adopted in grid-connected applications to mitigate the impact of intermittent renewable generations and enhance power system resiliency. Degradation of the battery during its service time is one of the major concerns in the deployment that strongly affects the long-term lifetime. Apart from environmental factors, this intrinsic property of a battery depends on the daily operating conditions. Thus, optimally engaging the daily operation of the battery based on its current status in order to meet the required remaining useful life becomes a practical and demanding need. To address this issue, this paper proposes a health-informed RUL-constrained optimal power flow framework to characterize the corresponding optimal feasible operation space. The targeted service lifespan is achieved if the battery's working condition is confined within this feasible domain. Equivalent box constraints are then constructed for better computational efficiency in solving the optimization problem. In this framework, a Monte Carlo-based data-driven approach and a health indicator (HI) representing the battery's current states are introduced. The performance of the proposed method is illustrated with the IEEE 39-bus system.


title: Spectral analysis of the incompressible viscous Rayleigh-Taylor system in $\mathbf{R}^3$

abstract: The linear instability study of the viscous Rayleigh-Taylor model in the neighborhood of a laminar smooth increasing density profile $\rho_0(x_3)$ amounts to the study of the following ordinary differential equation of order 4: \begin{equation}\label{MainEq} -\lambda^2 [ \rho_0 k^2 \phi - (\rho_0 \phi')'] = \lambda \mu (\phi^{(4)} - 2k^2 \phi" + k^4 \phi) - gk^2 \rho_0'\phi, \end{equation} where $\lambda$ is the growth rate in time, $k$ is the wave number transverse to the density profile. In the case of $\rho'_0\geq 0$ compactly supported, we provide a spectral analysis showing that in accordance with the results of \cite{HL03}, there is an infinite sequence of non trivial solutions $(\lambda_n, \phi_n)$, with $\lambda_n\rightarrow 0$ when $n\rightarrow +\infty$ and $\phi_n\in H^4(\mathbf{R})$. In the more general case where $\rho_0'>0$ everywhere and $\rho_0$ converges at $\pm\infty$ to finite limits $\rho_{\pm}>0$, we prove that there exist finitely non trivial solutions $(\lambda_n, \phi_n)$. The line of investigation is to reduce both cases to the study of an operator on a compact set.


title: Sign stability of mapping classes on marked surfaces II: general case via reductions

abstract: We give a cluster algebraic description of the reduction procedure of mapping classes along a multicurve. Based on this description, we characterize pseudo-Anosov mapping classes on a general marked surface in terms of a weaker version of the uniform sign stability, generalizing the main result in the previous paper [IK20]. Moreover we axiomatize a general reduction procedure of mutation loops parametrized by a rational polyhedral cone in the tropical cluster $\mathcal{X}$-variety, which includes both the reduction along a multicurve and the cluster reduction introduced in [Ish19].


title: Harmonic mesh modelling of hexagonal FeN stripes on Cu(001)

abstract: Hexagonal FeN monolayers on Cu(001) show a stripe pattern composed of dark and bright stripes as observed recently by scanning tunneling microscopy (STM). Here a harmonic mesh model is proposed to interpret those results. It uses a planar Fourier analysis with two different wave vectors to calculate small displacements of Fe atoms caused by lattice mismatch stress. The area of displaced Fe atom triangles is used as a measure for the protrusion of N atoms in their center. Proper selection of the wave vectors allows to visualize the dominant protrusions of (Sqrt(3) x Sqrt(3)) ordered nitrogen atoms. The wave vectors selected are related to Fe configurations which minimize lattice mismatch stress. The model is kept simple, so just the most basic features of the STM experiments are covered. The limits of the model are discussed and ways for extending it are proposed.


title: On a nontrivial knot projection under (1, 3) homotopy

abstract: In 2001, \"Ostlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to this question was treated as a conjecture (\"Ostlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a minimal crossing number of 16. This example is naturally extended to counterexamples with given even minimal crossing numbers more than 14. This paper obtains the first counterexample with a minimal crossing number of 15. This example is naturally extended to counterexamples with given odd minimal crossing numbers more than 13.


title: D-Brane Actions in Non-Relativistic String Theory and T-Duality

abstract: We study D-brane actions in non-relativistic string theory. We consider single D-brane and analyse its properties under T-duality. We also derive an action for N D8-branes and also for lower dimensional D-branes through T-duality transformations.


title: Dynamics of solvated electrons during femtosecond laser-induced plasma generation in water

abstract: We studied the dynamics of solvated electrons in the early stage of plasma generation in water induced with an intense femtosecond laser pulse. According to the decay kinetics of solvated electrons, fast recombination process of solvated electrons (geminate recombination) occurred with a more prolonged lifetime (500 ps to 1 ns) than that observed in previous pulse photolysis studies (10-100 ps). This unusually longer lifetime is attributed to additional production of solvated electrons due to abundant free electrons generated with the laser-induced plasma, implying significant influence of free electrons on the dynamics of solvated electrons.


title: XpulpNN: Enabling Energy Efficient and Flexible Inference of Quantized Neural Network on RISC-V based IoT End Nodes

abstract: This work introduces lightweight extensions to the RISC-V ISA to boost the efficiency of heavily Quantized Neural Network (QNN) inference on microcontroller-class cores. By extending the ISA with nibble (4-bit) and crumb (2-bit) SIMD instructions, we are able to show near-linear speedup with respect to higher precision integer computation on the key kernels for QNN computation. Also, we propose a custom execution paradigm for SIMD sum-of-dot-product operations, which consists of fusing a dot product with a load operation, with an up to 1.64x peak MAC/cycle improvement compared to a standard execution scenario. To further push the efficiency, we integrate the RISC-V extended core in a parallel cluster of 8 processors, with near-linear improvement with respect to a single core architecture. To evaluate the proposed extensions, we fully implement the cluster of processors in GF22FDX technology. QNN convolution kernels on a parallel cluster implementing the proposed extension run 6 x and 8 x faster when considering 4- and 2-bit data operands, respectively, compared to a baseline processing cluster only supporting 8-bit SIMD instructions. With a peak of 2.22 TOPs/s/W, the proposed solution achieves efficiency levels comparable with dedicated DNN inference accelerators, and up to three orders of magnitude better than state-of-the-art ARM Cortex-M based microcontroller systems such as the low-end STM32L4 MCU and the high-end STM32H7 MCU.


title: Dank or Not? -- Analyzing and Predicting the Popularity of Memes on Reddit

abstract: Internet memes have become an increasingly pervasive form of contemporary social communication that attracted a lot of research interest recently. In this paper, we analyze the data of 129,326 memes collected from Reddit in the middle of March, 2020, when the most serious coronavirus restrictions were being introduced around the world. This article not only provides a looking glass into the thoughts of Internet users during the COVID-19 pandemic but we also perform a content-based predictive analysis of what makes a meme go viral. Using machine learning methods, we also study what incremental predictive power image related attributes have over textual attributes on meme popularity. We find that the success of a meme can be predicted based on its content alone moderately well, our best performing machine learning model predicts viral memes with AUC=0.68. We also find that both image related and textual attributes have significant incremental predictive power over each other.


title: Quantum Sensors for Microscopic Tunneling Systems

abstract: The anomalous low-temperature properties of glasses arise from intrinsic excitable entities, so-called tunneling Two-Level-Systems (TLS), whose microscopic nature has been baffling solid-state physicists for decades. TLS have become particularly important for micro-fabricated quantum devices such as superconducting qubits, where they are a major source of decoherence. Here, we present a method to characterize individual TLS in virtually arbitrary materials deposited as thin-films. The material is used as the dielectric in a capacitor that shunts the Josephson junction of a superconducting qubit. In such a hybrid quantum system the qubit serves as an interface to detect and control individual TLS. We demonstrate spectroscopic measurements of TLS resonances, evaluate their coupling to applied strain and DC-electric fields, and find evidence of strong interaction between coherent TLS in the sample material. Our approach opens avenues for quantum material spectroscopy to investigate the structure of tunneling defects and to develop low-loss dielectrics that are urgently required for the advancement of superconducting quantum computers.


title: Charged-particle multiplicity dependence of charm-baryon-to-meson ratio in high-energy proton-proton collisions

abstract: We propose that the charged-particle multiplicity dependence of the charm-baryon-to-meson ratio observed in high-energy $pp$ collisions can be explained by canonical treatment of quantum charges in the statistical hadronization model (SHM). Taking the full particle listings of PDG complemented by additional charm-baryon states from relativistic quark model predictions, we evaluate the canonical partition function and the charm-hadron chemical factors that measure the canonical suppression arising from the requirement of strict conservation of quantum charges. We demonstrate that, while charm number conservation induces common suppression on the production of both charm-baryons and -mesons, baryon (strangeness) number conservation causes further suppression on charm-baryons (charm-strange mesons) relative to nonstrange charm-mesons, thereby resulting in a decreasing $\Lambda_c/D^0$ ($D_s/D^0$) ratio toward smaller multiplicity events. The charm-hadron thermal densities thus computed are then used as pertinent weights to perform charm-quark fragmentation simulations yielding $p_T$-dependent $\Lambda_c/D^0$ and $D_s/D^0$ ratios at varying multiplicities in fair agreement with ALICE measurements.


title: Malaria Detection and Classificaiton

abstract: Malaria is a disease of global concern according to the World Health Organization. Billions of people in the world are at risk of Malaria today. Microscopy is considered the gold standard for Malaria diagnosis. Microscopic assessment of blood samples requires the need of trained professionals who at times are not available in rural areas where Malaria is a problem. Full automation of Malaria diagnosis is a challenging task. In this work, we put forward a framework for diagnosis of malaria. We adopt a two layer approach, where we detect infected cells using a Faster-RCNN in the first layer, crop them out, and feed the cropped cells to a seperate neural network for classification. The proposed methodology was tested on an openly available dataset, this will serve as a baseline for the future methods as currently there is no common dataset on which results are reported for Malaria Diagnosis.


title: A Boundary Regression Model for Nested Named Entity Recognition

abstract: Recognizing named entities (NEs) is commonly conducted as a classification problem that predicts a class tag for a word or a NE candidate in a sentence. In shallow structures, categorized features are weighted to support the prediction. Recent developments in neural networks have adopted deep structures that map categorized features into continuous representations. This approach unfolds a dense space saturated with high-order abstract semantic information, where the prediction is based on distributed feature representations. In this paper, positions of NEs in a sentence are represented as continuous values. Then, a regression operation is introduced to regress boundaries of NEs in a sentence. Based on boundary regression, we design a boundary regression model to support nested NE recognition. It is a multiobjective learning framework, which simultaneously predicts the classification score of a NE candidate and refine its spatial location in a sentence. It has the advantage to resolve nested NEs and support boundary regression for locating NEs in a sntence. By sharing parameters for predicting and locating, this model enables more potent nonlinear function approximators to enhance model discriminability. Experiments demonstrate state-of-the-art performance for nested NE recognition\footnote{Our codes to implement the BR model are available at: \url{https://github.com/wuyuefei3/BR}.}.


title: Kinetic theory of Hyaluronan cleavage by Bovine Testicular Hyaluronidase in Standard and Crowded Environments

abstract: ${\bf Background}$ Details of the kinetic pathways governing enzymatic cleavage of hyaluronic acid (HA) by hyaluronidase are still widely uncharted. Capillary electrophoresis-based assays were used for accurate quantification of enzymatic products. A crowding agent was also employed to mimic excluded-volume constraints typical of in-vivo conditions. $ {\bf Scope}$ Introduce a comprehensive kinetic model describing the late-stage degradation of HA by hyaluronidase and identify the relevant kinetic pathways and the associated rates. ${\bf Major Conclusions}$ All relevant fragmentation and transglycosylation pathways and rates were identified. Two dimers forming a tetramer is the dominant recombination pathway. Macromolecular and self-crowding slow down the kinetics but do not alter the underlying mechanisms. ${\bf General Significance}$ Our results bring a novel and comprehensive quantitative insight into enzymatic HA degradation. Rationalizing the effect of crowding brings the intricate conditions of in-vivo settings a little closer, and also stands as a powerful tool to pinpoint relevant kinetic pathways in complex systems.


title: Multichannel effects in the Efimov regime from broad to narrow Feshbach resonances

abstract: We study Efimov physics of three identical bosons with pairwise multichannel interactions for Feshbach resonances of adjustable width. We find that the two-body multichannel nature of the interaction can affect the universal three-body spectrum, especially for resonances of intermediate width. The shifts in this universal spectrum are caused by trimer states in the closed interaction channels that couple to the universal Efimov states. However, in the narrow resonance limit we find that the Efimov spectrum is set by the resonance width parameter $r^*$ only independent of the interaction potential considered. In the broad resonance limit all excited Efimov trimer energies approach the ones from the corresponding single-channel system for the scenarios investigated.


title: On Disambiguating Authors: Collaboration Network Reconstruction in a Bottom-up Manner

abstract: Author disambiguation arises when different authors share the same name, which is a critical task in digital libraries, such as DBLP, CiteULike, CiteSeerX, etc. While the state-of-the-art methods have developed various paper embedding-based methods performing in a top-down manner, they primarily focus on the ego-network of a target name and overlook the low-quality collaborative relations existed in the ego-network. Thus, these methods can be suboptimal for disambiguating authors. In this paper, we model the author disambiguation as a collaboration network reconstruction problem, and propose an incremental and unsupervised author disambiguation method, namely IUAD, which performs in a bottom-up manner. Initially, we build a stable collaboration network based on stable collaborative relations. To further improve the recall, we build a probabilistic generative model to reconstruct the complete collaboration network. In addition, for newly published papers, we can incrementally judge who publish them via only computing the posterior probabilities. We have conducted extensive experiments on a large-scale DBLP dataset to evaluate IUAD. The experimental results demonstrate that IUAD not only achieves the promising performance, but also outperforms comparable baselines significantly. Codes are available at https://github.com/papergitgit/IUAD.


title: Audio-visual Speech Separation with Adversarially Disentangled Visual Representation

abstract: Speech separation aims to separate individual voice from an audio mixture of multiple simultaneous talkers. Although audio-only approaches achieve satisfactory performance, they build on a strategy to handle the predefined conditions, limiting their application in the complex auditory scene. Towards the cocktail party problem, we propose a novel audio-visual speech separation model. In our model, we use the face detector to detect the number of speakers in the scene and use visual information to avoid the permutation problem. To improve our model's generalization ability to unknown speakers, we extract speech-related visual features from visual inputs explicitly by the adversarially disentangled method, and use this feature to assist speech separation. Besides, the time-domain approach is adopted, which could avoid the phase reconstruction problem existing in the time-frequency domain models. To compare our model's performance with other models, we create two benchmark datasets of 2-speaker mixture from GRID and TCDTIMIT audio-visual datasets. Through a series of experiments, our proposed model is shown to outperform the state-of-the-art audio-only model and three audio-visual models.


title: Morita equivalence of pseudogroups

abstract: We take advantage of the correspondence between pseudogroups and inverse quantal frames, and of the recent description of Morita equivalence for inverse quantal frames in terms of biprincipal bisheaves, to define Morita equivalence for pseudogroups and to investigate its applications. In particular, two pseudogroups are Morita equivalent if and only if their corresponding localic \'etale groupoids are. We explore the clear analogies between our definition of Morita equivalence for pseudogroups and the usual notion of strong Morita equivalence for $C^{\ast}$-algebras and these lead to a number of concrete results.


title: An Features Extraction and Recognition Method for Underwater Acoustic Target Based on ATCNN

abstract: Facing the complex marine environment, it is extremely challenging to conduct underwater acoustic target recognition (UATR) using ship-radiated noise. Inspired by neural mechanism of auditory perception, this paper provides a new deep neural network trained by original underwater acoustic signals with depthwise separable convolution (DWS) and time-dilated convolution neural network, named auditory perception inspired time-dilated convolution neural network (ATCNN), and then implements detection and classification for underwater acoustic signals. The proposed ATCNN model consists of learnable features extractor and integration layer inspired by auditory perception, and time-dilated convolution inspired by language model. This paper decomposes original time-domain ship-radiated noise signals into different frequency components with depthwise separable convolution filter, and then extracts signal features based on auditory perception. The deep features are integrated on integration layer. The time-dilated convolution is used for long-term contextual modeling. As a result, like language model, intra-class and inter-class information can be fully used for UATR. For UATR task, the classification accuracy reaches 90.9%, which is the highest in contrast experiment. Experimental results show that ATCNN has great potential to improve the performance of UATR classification.


title: Spin Seebeck Effect in Nonmagnetic Excitonic Insulators

abstract: We propose a mechanism of the spin Seebeck effect attributed to excitonic condensation in a nonmagnetic insulator. We analyze a half-filled two-orbital Hubbard model with a crystalline field splitting in the strong coupling limit. In this model, the competition between the crystalline field and electron correlations brings about an excitonic insulating state, where the two orbitals are spontaneously hybridized. Using the generalized spin-wave theory and Boltzmann transport equation, we find that a spin current generated by a thermal gradient is observed in the excitonic insulating state without magnetic fields. The spin Seebeck effect originates from spin-split collective excitation modes although the ground state does not exhibit any magnetic orderings. This peculiar phenomenon is inherent in the excitonic insulating state, whose order parameter is time-reversal odd and yields a spin splitting for the collective excitation modes. We also find that the spin current is strongly enhanced and its direction is inverted in the vicinity of the phase transition to another magnetically ordered phase. We suggest that the present phenomenon is possibly observed in perovskite cobaltites with the GdFeO$_3$-type lattice distortion.


title: A generalized regularization theorem and Kawashima's relation for multiple zeta values

abstract: Kawashima's relation is conjecturally one of the largest classes of relations among multiple zeta values. Gaku Kawashima introduced and studied a certain Newton series, which we call the Kawashima function, and deduced his relation by establishing several properties of this function. We present a new approach to the Kawashima function without using Newton series. We first establish a generalization of the theory of regularizations of divergent multiple zeta values to Hurwitz type multiple zeta values, and then relate it to the Kawashima function. Via this connection, we can prove a key property of the Kawashima function to obtain Kawashima's relation.


title: Behavioural Preorders via Graded Monads

abstract: Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation to coarse-grained ones such as trace inclusion. Often, such behavioural preorders are characterized in terms of theory inclusion in dedicated characteristic logics; e.g. simulation is characterized by theory inclusion in the positive fragment of Hennessy-Milner logic. We introduce a unified semantic framework for behavioural preorders and their characteristic logics in which we parametrize the system type as a functor on the category $\mathsf{Pos}$ of partially ordered sets following the paradigm of universal coalgebra, while behavioural preorders are captured as graded monads on $\mathsf{Pos}$, in generalization of a previous approach to notions of process equivalence. We show that graded monads on $\mathsf{Pos}$ are induced by a form of graded inequational theories that we introduce here. Moreover, we provide a general notion of modal logic compatible with a given graded behavioural preorder, along with a criterion for expressiveness, in the indicated sense of characterization of the behavioural preorder by theory inclusion. We illustrate our main result on various behavioural preorders on labelled transition systems and probabilistic transition systems.


title: ProtoPShare: Prototype Sharing for Interpretable Image Classification and Similarity Discovery

abstract: In this paper, we introduce ProtoPShare, a self-explained method that incorporates the paradigm of prototypical parts to explain its predictions. The main novelty of the ProtoPShare is its ability to efficiently share prototypical parts between the classes thanks to our data-dependent merge-pruning. Moreover, the prototypes are more consistent and the model is more robust to image perturbations than the state of the art method ProtoPNet. We verify our findings on two datasets, the CUB-200-2011 and the Stanford Cars.


title: Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries

abstract: Payment channel networks (PCNs) are among the most promising solutions to the scalability issues in permissionless blockchains, by allowing parties to pay each other off-chain through a path of payment channels (PCs). However, routing transactions comes at a cost which is proportional to the number of intermediaries, since each charges a fee for the routing service. Furthermore, analogous to other networks, malicious intermediaries in the payment path can lead to security and privacy threats. Virtual channels (VCs), i.e., bridges over PC paths, mitigate the above PCN issues, as an intermediary participates only once to set up the VC and is then excluded from every future VC transaction. However, similar to PCs, creating a VC has a cost that must be paid out of the bridged PCs' balance. Currently, we are missing guidelines to where and how many VCs to set up. Ideally, VCs should minimize transaction costs while mitigating security and privacy threats from on-path adversaries. In this work, we address for the first time the VC setup problem, formalizing it as an optimization problem. We present an integer linear program (ILP) to compute the globally optimal VC setup strategy in terms of transaction costs, security, and privacy. We then accompany the computationally heavy ILP with a fast local greedy algorithm. Our model and algorithms can be used with any on-path adversary, given that its strategy can be expressed as a set of corrupted nodes that is estimated by the honest nodes. We conduct an evaluation of the greedy algorithm over a snapshot of the Lightning Network (LN), the largest Bitcoin-based PCN. Our results confirm on real-world data that our greedy strategy minimizes costs while protecting against security and privacy threats of on-path adversaries. These findings may serve the LN community as guidelines for the deployment of VCs.


title: Extreme Parametric Sensitivity in the Steady-State Photoisomerization of Model Retinal

abstract: The photoisomerization reaction of the retinal chromophore in rhodopsin was computationally studied using a two-state two-mode model coupled to thermal baths. Reaction quantum yields at the steady state (10 ps and beyond) were found to be considerably different than their transient values, suggesting a weak correlation between transient and steady-state dynamics in these systems. Significantly, the steady-state quantum yield was highly sensitive to minute changes in system parameters, while transient dynamics was nearly unaffected. Correlation of such sensitivity with standard level spacing statistics of the nonadiabatic vibronic system suggests a possible origin in quantum chaos. The feasibility of experimental observation of this phenomenon and its implications in condensed-phase photochemistry and biological light sensing are discussed.


title: Proton superconductivity in pasta phases in neutron star crusts

abstract: In the so-called pasta phases predicted to occur in neutron star crusts, protons are able to move easily over large distances because the nuclear matter regions are extended in space. Consequently, electrical currents can be carried by protons, an effect not possible in conventional crystalline matter with isolated nuclei. With emphasis on the so-called lasagna phase, which has sheet-like nuclei, we describe the magnetic properties of the pasta phases allowing for proton superconductivity. We predict that these phases will be Type II superconductors and we calculate the energy per unit length of a flux line, which is shown to be strongly anisotropic. If, as seems likely, the pasta structure is imperfect, flux lines will be pinned and matter will behave as a good electrical conductor and flux decay times will be long. We describe some possible astrophysical manifestations of our results.