title: Learning Camera Miscalibration Detection

abstract: Self-diagnosis and self-repair are some of the key challenges in deploying robotic platforms for long-term real-world applications. One of the issues that can occur to a robot is miscalibration of its sensors due to aging, environmental transients, or external disturbances. Precise calibration lies at the core of a variety of applications, due to the need to accurately perceive the world. However, while a lot of work has focused on calibrating the sensors, not much has been done towards identifying when a sensor needs to be recalibrated. This paper focuses on a data-driven approach to learn the detection of miscalibration in vision sensors, specifically RGB cameras. Our contributions include a proposed miscalibration metric for RGB cameras and a novel semi-synthetic dataset generation pipeline based on this metric. Additionally, by training a deep convolutional neural network, we demonstrate the effectiveness of our pipeline to identify whether a recalibration of the camera's intrinsic parameters is required or not. The code is available at http://github.com/ethz-asl/camera_miscalib_detection.


title: A beamforming approach to the self-calibration of phased arrays

abstract: In this paper, we propose a beamforming method for the calibration of the direction-independent gain of the analog chains of aperture arrays. The gain estimates are obtained by cross-correlating the output voltage of each antenna with a voltage beamformed using the other antennas of the array. When the beamforming weights are equal to the average cross-correlated power, a relation is drawn with the StEFCal algorithm. An example illustrates this approach for few point sources and a 256-element array.


title: A new correction method for quasi-Keplerian orbits

abstract: A pure two-body problem has seven integrals including the Kepler energy, the Laplace vector, and the angular momentum vector. However, only five of them are independent. When the five independent integrals are preserved, the two other dependent integrals are naturally preserved from a theoretical viewpoint; but they may not be either from a numerical computational viewpoint. Because of this, we use seven scale factors to adjust the integrated positions and velocities so that the adjusted solutions strictly satisfy the seven constraints. Noticing the existence of the two dependent integrals, we adopt the Newton iterative method combined with the singular value decomposition to calculate these factors. This correction scheme can be applied to perturbed two-body and N-body problems in the solar system. In this case, the seven quantities of each planet slowly vary with time. More accurate values can be given to the seven slowly-varying quantities by integrating the integral invariant relations of these quantities and the equations of motion. They should be satisfied with the adjusted solutions. Numerical tests show that the new method can significantly reduce the rapid growth of numerical errors of all orbital elements.


title: Cascaded high-gradient terahertz-driven acceleration of relativistic electron beams

abstract: Terahertz (THz)-driven acceleration has recently emerged as a new route for delivering ultrashort bright electron beams efficiently, reliably, and in a compact setup. Many THz-driven acceleration related working schemes and key technologies have been successfully demonstrated and are continuously being improved to new limits. However, the achieved acceleration gradient and energy gain remain low, and the potential physics and technical challenges in the high field and high energy regime are still under-explored. Here we report a record energy gain of 170 keV in a single-stage configuration, and demonstrate the first cascaded acceleration of a relativistic beam with a 204 keV energy gain in a two-stages setup. Whole-bunch acceleration is accomplished with an average accelerating gradient of 85 MV/m and a peak THz electric field of 1.1 GV/m. This proof-of-principle result is a crucial advance in THz-driven acceleration with a major impact on future electron sources and related scientific discoveries.


title: A Lightweight CNN and Joint Shape-Joint Space (JS2) Descriptor for Radiological Osteoarthritis Detection

abstract: Knee osteoarthritis (OA) is very common progressive and degenerative musculoskeletal disease worldwide creates a heavy burden on patients with reduced quality of life and also on society due to financial impact. Therefore, any attempt to reduce the burden of the disease could help both patients and society. In this study, we propose a fully automated novel method, based on combination of joint shape and convolutional neural network (CNN) based bone texture features, to distinguish between the knee radiographs with and without radiographic osteoarthritis. Moreover, we report the first attempt at describing the bone texture using CNN. Knee radiographs from Osteoarthritis Initiative (OAI) and Multicenter Osteoarthritis (MOST) studies were used in the experiments. Our models were trained on 8953 knee radiographs from OAI and evaluated on 3445 knee radiographs from MOST. Our results demonstrate that fusing the proposed shape and texture parameters achieves the state-of-the art performance in radiographic OA detection yielding area under the ROC curve (AUC) of 95.21%


title: Multi-view Alignment and Generation in CCA via Consistent Latent Encoding

abstract: Multi-view alignment, achieving one-to-one correspondence of multi-view inputs, is critical in many real-world multi-view applications, especially for cross-view data analysis problems. Recently, an increasing number of works study this alignment problem with Canonical Correlation Analysis (CCA). However, existing CCA models are prone to misalign the multiple views due to either the neglect of uncertainty or the inconsistent encoding of the multiple views. To tackle these two issues, this paper studies multi-view alignment from the Bayesian perspective. Delving into the impairments of inconsistent encodings, we propose to recover correspondence of the multi-view inputs by matching the marginalization of the joint distribution of multi-view random variables under different forms of factorization. To realize our design, we present Adversarial CCA (ACCA) which achieves consistent latent encodings by matching the marginalized latent encodings through the adversarial training paradigm. Our analysis based on conditional mutual information reveals that ACCA is flexible for handling implicit distributions. Extensive experiments on correlation analysis and cross-view generation under noisy input settings demonstrate the superiority of our model.


title: Schottky barriers, emission regimes and contact resistances in 2H-1T' MoS$_2$ lateral metal-semiconductor junctions from first-principles

abstract: We have studied the finite bias transport properties of a 2H-1T' MoS$_2$ lateral metal-semiconductor (M-S) junction by non-equilibrium Green's functions calculations, aimed at contacting the 2D channel in a field effect transistor. Our results indicate that (a) despite the fundamentally different electrostatics of line and planar dipoles, the Schottky barrier heights respond similarly to changes in doping and applied bias in 2D and 3D M-S junctions, (b) 2H-1T' MoS$_2$ lateral junctions are free from Fermi level pinning, (c) armchair interfaces have superior contacting properties vs.\ zigzag interfaces, (d) 1T' contacts to $p$ channels will present a reduced contact resistance by a factor of 4-10 with respect to $n$ channels and (e) contacts to intermediately doped $n$ ($p$) channels operate in the field (thermionic) emission regime. We also provide an improved procedure to experimentally determine the emission regime in 2D material junctions.


title: An inequality for the number of periods in a word

abstract: We prove an inequality for the number of periods in a word x in terms of the length of x and its initial critical exponent. Next, we characterize all periods of the length-n prefix of a characteristic Sturmian word in terms of the lazy Ostrowski representation of n, and use this result to show that our inequality is tight for infinitely many words x. We propose two related measures of periodicity for infinite words. Finally, we also consider special cases where x is overlap-free or squarefree.


title: Exploring the Level of Urbanization Based on Zipf's Scaling Exponent

abstract: The rank-size distribution of cities follows Zipf's law, and the Zipf scaling exponent often tends to a constant 1. This seems to be a general rule. However, a recent numerical experiment shows that there exists a contradiction between the Zipf exponent 1 and high urbanization level in a large population country. In this paper, mathematical modeling, computational analysis, and the method of proof by contradiction are employed to reveal the numerical relationships between urbanization level and Zipf scaling exponent. The main findings are as follows. (1) If Zipf scaling exponent equals 1, the urbanization rate of a large populous country can hardly exceed 50%. (2) If Zipf scaling exponent is less than 1, the urbanization level of large populous countries can exceeds 80%. A conclusion can be drawn that the Zipf exponent is the control parameter for the urbanization dynamics. In order to improve the urbanization level of large population countries, it is necessary to reduce the Zipf scaling exponent. Allometric growth law is employed to interpret the change of Zipf exponent, and scaling transform is employed to prove that different definitions of cities do no influence the above analytical conclusion essentially. This study provides a new way of looking at Zipf's law of city-size distribution and urbanization dynamics.


title: Projection to Fairness in Statistical Learning

abstract: In the context of regression, we consider the fundamental question of making an estimator fair while preserving its prediction accuracy as much as possible. To that end, we define its projection to fairness as its closest fair estimator in a sense that reflects prediction accuracy. Our methodology leverages tools from optimal transport to construct efficiently the projection to fairness of any given estimator as a simple post-processing step. Moreover, our approach precisely quantifies the cost of fairness, measured in terms of prediction accuracy.


title: Transport study of the wormhole effect in three-dimensional topological insulators

abstract: Inside a three-dimensional strong topological insulator, a tube with $h/2e$ magnetic flux carries a pair of protected one-dimensional linear fermionic modes. This phenomenon is known as the "wormhole effect". In this work, we find that the "wormhole effect", as a unique degree of freedom, introduces exotic transport phenomena and thus manipulates the transport properties of topological insulators. Our numerical results demonstrate that the transport properties of a double-wormhole system can be manipulated by the wormhole interference. Specifically, the conductance and local density of states both oscillate with the Fermi energy due to the interference between the wormholes. Furthermore, by studying the multi-wormhole systems, we find that the number of wormholes can also modulate the differential conductance through a $\mathbb{Z}$$_{2}$ mechanism. Finally, we propose two types of topological devices in real applications, the "wormhole switch" device and the "traversable wormhole" device, which can be finely tuned by controlling the wormhole degree of freedom.


title: Effects of frustration on the nonequilibrium dynamics of photo-excited lattice systems

abstract: We theoretically investigate the effects of the lattice geometry on the nonequilibrium dynamics of photo-excited carriers in a half-filled two-dimensional Hubbard model. Using a nonequilibrium generalization of the dynamical cluster approximation, we compare the relaxation dynamics in lattices which interpolate between the triangular lattice and square lattice configuration and thus reveal the role of the geometric frustration in these strongly correlated nonequilibrium systems. In particular, we show that the cooling effect resulting from the disordering of the spin background is less effective in the triangular case because of the frustration. This manifests itself in a longer relaxation time of the photo-doped population, as measured by the time-resolved photo-emission signal, and a higher effective temperature of the photo-doped carriers in the non-thermal steady state after the intra-Hubbard-band thermalization.


title: Query Resolution for Conversational Search with Limited Supervision

abstract: In this work we focus on multi-turn passage retrieval as a crucial component of conversational search. One of the key challenges in multi-turn passage retrieval comes from the fact that the current turn query is often underspecified due to zero anaphora, topic change, or topic return. Context from the conversational history can be used to arrive at a better expression of the current turn query, defined as the task of query resolution. In this paper, we model the query resolution task as a binary term classification problem: for each term appearing in the previous turns of the conversation decide whether to add it to the current turn query or not. We propose QuReTeC (Query Resolution by Term Classification), a neural query resolution model based on bidirectional transformers. We propose a distant supervision method to automatically generate training data by using query-passage relevance labels. Such labels are often readily available in a collection either as human annotations or inferred from user interactions. We show that QuReTeC outperforms state-of-the-art models, and furthermore, that our distant supervision method can be used to substantially reduce the amount of human-curated data required to train QuReTeC. We incorporate QuReTeC in a multi-turn, multi-stage passage retrieval architecture and demonstrate its effectiveness on the TREC CAsT dataset.


title: Learning to Transfer Graph Embeddings for Inductive Graph based Recommendation

abstract: With the increasing availability of videos, how to edit them and present the most interesting parts to users, i.e., video highlight, has become an urgent need with many broad applications. As users'visual preferences are subjective and vary from person to person, previous generalized video highlight extraction models fail to tailor to users' unique preferences. In this paper, we study the problem of personalized video highlight recommendation with rich visual content. By dividing each video into non-overlapping segments, we formulate the problem as a personalized segment recommendation task with many new segments in the test stage. The key challenges of this problem lie in: the cold-start users with limited video highlight records in the training data and new segments without any user ratings at the test stage. In this paper, we propose an inductive Graph based Transfer learning framework for personalized video highlight Recommendation (TransGRec). TransGRec is composed of two parts: a graph neural network followed by an item embedding transfer network. Specifically, the graph neural network part exploits the higher-order proximity between users and segments to alleviate the user cold-start problem. The transfer network is designed to approximate the learned item embeddings from graph neural networks by taking each item's visual content as input, in order to tackle the new segment problem in the test phase. We design two detailed implementations of the transfer learning optimization function, and we show how the two parts of TransGRec can be efficiently optimized with different transfer learning optimization functions. Extensive experimental results on a real-world dataset clearly show the effectiveness of our proposed model.


title: Strong H$\alpha$ emission and signs of accretion in a circumbinary planetary mass companion from MUSE

abstract: Context. Intrinsic H$\alpha$ emission can be advantageously used to detect substellar companions because it improves contrasts in direct imaging. Characterising this emission from accreting exoplanets allows for the testing of planet formation theories. Aims. We characterise the young circumbinary planetary mass companion 2MASS J01033563-5515561 (AB)b (Delorme 1 (AB)b) through medium-resolution spectroscopy. Methods. We used the new narrow-field mode (NFM) for the MUSE integral-field spectrograph, located on the ESO Very Large Telescope, during science verification time to obtain optical spectra of Delorme 1 (AB)b. Results. We report the discovery of very strong H$\alpha$ and H$\beta$ emission, accompanied by He I emission. This is consistent with an active accretion scenario. We provide accretion rate estimates obtained from several independent methods and find a likely mass of $12-15$ M$_{\rm Jup}$ for Delorme 1 (AB)b. This is also consistent with previous estimates. Conclusions. Signs of active accretion in the Delorme 1 system might indicate a younger age than the $\sim 30-40$ Myr expected from a likely membership in Tucana-Horologium (THA). Previous works have also shown the central binary to be overluminous, which gives further indication of a younger age. However, recent discoveries of active discs in relatively old ($\sim 40$ Myr), very low-mass systems suggests that ongoing accretion in Delorme 1 (AB)b might not require in and of itself that the system is younger than the age implied by its THA membership.


title: Infinite dimensional symmetry groups of the Friedmann equations

abstract: We find the symmetry generators for the Friedman equations emanating from a perfect fluid source, in the presence of a cosmological constant term. The relevant dynamics is seen to be governed by two coupled, first order ordinary differential equations, the continuity and the quadratic constraint equation. Arbitrary functions appear in the components of the symmetry vector, indicating the infinity of the group. When the equation of state is considered as arbitrary but ab initio given, previously known results are recovered and/or generalized. When the pressure is considered among the dynamical variables, solutions for models with different equations of state are mapped to each other; thus enabling the presentation of solutions to models with complicated equations of state starting from simple known cases.


title: Pumped heat and charge statistics from Majorana braiding

abstract: We examine the heat and charge transport of a driven topological superconductor. Our particular system of interest consists of a Y-junction of topological superconducting wires, hosting non-Abelian Majorana zero modes at their edges. The system is contacted to two leads which act as continuous detectors of the system state. We calculate, via a scattering matrix approach, the full counting statistics of the driven heat transport, between two terminals contacted to the system, for small adiabatic driving and characterise the energy transport properties as a function of the system parameters (driving frequency, temperature). We find that the geometric, dynamic contribution to the pumped heat statistics results in a correction to the Gallavotti-Cohen type fluctuation theorem for quantum heat transfer. Notably, the correction term to the fluctuation theorem extends to cycles which correspond to topologically protected braiding of the Majorana zero modes. This geometric correction to the fluctuation theorem differs from its analogs in previously studied systems in that (i) it is non-vanishing for adiabatic cycles of the system's parameters, without the need for cyclic driving of the leads and (ii) it is insensitive to small, slow fluctuations of the driving parameters due to the topological protection of the braiding operation.


title: DeepSQLi: Deep Semantic Learning for Testing SQL Injection

abstract: Security is unarguably the most serious concern for Web applications, to which SQL injection (SQLi) attack is one of the most devastating attacks. Automatically testing SQLi vulnerabilities is of ultimate importance, yet is unfortunately far from trivial to implement. This is because the existence of a huge, or potentially infinite, number of variants and semantic possibilities of SQL leading to SQLi attacks on various Web applications. In this paper, we propose a deep natural language processing based tool, dubbed DeepSQLi, to generate test cases for detecting SQLi vulnerabilities. Through adopting deep learning based neural language model and sequence of words prediction, DeepSQLi is equipped with the ability to learn the semantic knowledge embedded in SQLi attacks, allowing it to translate user inputs (or a test case) into a new test case, which is semantically related and potentially more sophisticated. Experiments are conducted to compare DeepSQLi with SQLmap, a state-of-the-art SQLi testing automation tool, on six real-world Web applications that are of different scales, characteristics and domains. Empirical results demonstrate the effectiveness and the remarkable superiority of DeepSQLi over SQLmap, such that more SQLi vulnerabilities can be identified by using a less number of test cases, whilst running much faster.


title: GoChat: Goal-oriented Chatbots with Hierarchical Reinforcement Learning

abstract: A chatbot that converses like a human should be goal-oriented (i.e., be purposeful in conversation), which is beyond language generation. However, existing dialogue systems often heavily rely on cumbersome hand-crafted rules or costly labelled datasets to reach the goals. In this paper, we propose Goal-oriented Chatbots (GoChat), a framework for end-to-end training chatbots to maximize the longterm return from offline multi-turn dialogue datasets. Our framework utilizes hierarchical reinforcement learning (HRL), where the high-level policy guides the conversation towards the final goal by determining some sub-goals, and the low-level policy fulfills the sub-goals by generating the corresponding utterance for response. In our experiments on a real-world dialogue dataset for anti-fraud in financial, our approach outperforms previous methods on both the quality of response generation as well as the success rate of accomplishing the goal.


title: Automatic Discovery of Interpretable Planning Strategies

abstract: When making decisions, people often overlook critical information or are overly swayed by irrelevant information. A common approach to mitigate these biases is to provide decision-makers, especially professionals such as medical doctors, with decision aids, such as decision trees and flowcharts. Designing effective decision aids is a difficult problem. We propose that recently developed reinforcement learning methods for discovering clever heuristics for good decision-making can be partially leveraged to assist human experts in this design process. One of the biggest remaining obstacles to leveraging the aforementioned methods is that the policies they learn are opaque to people. To solve this problem, we introduce AI-Interpret: a general method for transforming idiosyncratic policies into simple and interpretable descriptions. Our algorithm combines recent advances in imitation learning and program induction with a new clustering method for identifying a large subset of demonstrations that can be accurately described by a simple, high-performing decision rule. We evaluate our new algorithm and employ it to translate information-acquisition policies discovered through metalevel reinforcement learning. The results of large behavioral experiments showed that prividing the decision rules generated by AI-Interpret as flowcharts significantly improved people's planning strategies and decisions across three diferent classes of sequential decision problems. Moreover, another experiment revealed that this approach is significantly more effective than training people by giving them performance feedback. Finally, a series of ablation studies confirmed that AI-Interpret is critical to the discovery of interpretable decision rules. We conclude that the methods and findings presented herein are an important step towards leveraging automatic strategy discovery to improve human decision-making.


title: Stable Central Limit Theorems for Super Ornstein-Uhlenbeck Processes, II

abstract: This paper is a continuation of our recent paper (Elect. J. Probab. 24 (2019), no. 141) and is devoted to the asymptotic behavior of a class of supercritical super Ornstein-Uhlenbeck processes $(X_t)_{t\geq 0}$ with branching mechanisms of infinite second moment. In the aforementioned paper, we proved stable central limit theorems for $X_t(f) $ for some functions $f$ of polynomial growth in three different regimes. However, we were not able to prove central limit theorems for $X_t(f) $ for all functions $f$ of polynomial growth. In this note, we show that the limit stable random variables in the three different regimes are independent, and as a consequence, we get stable central limit theorems for $X_t(f) $ for all functions $f$ of polynomial growth.


title: A Note on Self-Dual Generalized Reed-Solomon Codes

abstract: A linear code is called an MDS self-dual code if it is both an MDS code and a self-dual code with respect to the Euclidean inner product. The parameters of such codes are completely determined by the code length. In this paper, we consider new constructions of MDS self-dual codes via generalized Reed-Solomon (GRS) codes and their extended codes. The critical idea of our constructions is to choose suitable evaluation points such that the corresponding (extended) GRS codes are self-dual. The evaluation set of our constructions is consists of a subgroup of finite fields and its cosets in a bigger subgroup. Four new families of MDS self-dual codes are obtained and they have better parameters than previous results in certain region. Moreover, by the Mobius action over finite fields, we give a systematic way to construct self-dual GRS codes with different evaluation points provided any known self-dual GRS codes. Specially, we prove that all the self-dual extended GRS codes over $\mathbb{F}_{q}$ with length $n< q+1$ can be constructed from GRS codes with the same parameters.


title: On a regularization approach to the inverse transmission eigenvalue problem

abstract: We consider the irregular (in the Birkhoff and even the Stone sense) transmission eigenvalue problem of the form $-y''+q(x)y=\rho^2 y,$ $y(0)=y(1)\cos\rho a-y'(1)\rho^{-1}\sin\rho a=0.$ The main focus is on the ''most'' irregular case $a=1,$ which is important for applications. The uniqueness questions of recovering the potential $q(x)$ from transmission eigenvalues were studied comprehensively. Here we investigate the solvability and stability of this inverse problem. For this purpose, we suggest the so-called regularization approach, under which there should first be chosen some regular subclass of eigenvalue problems under consideration, which actually determines the course of the study and even the precise statement of the inverse problem. For definiteness, by assuming $q(x)$ to be a complex-valued function in $W_2^1[0,1]$ possessing the zero mean value and $q(1)\ne0,$ we study properties of transmission eigenvalues and prove local solvability and stability of recovering $q(x)$ from the spectrum along with the value $q(1).$ In Appendices, we provide some illustrative examples of regular and irregular transmission eigenvalue problems, and also obtain necessary and sufficient conditions in terms of the characteristic function for solvability of the inverse problem of recovering an arbitrary real-valued square-integrable potential $q(x)$ from the spectrum, for any fixed $a\in{\mathbb R}.$


title: A mixed finite element scheme for biharmonic equation with variable coefficient and von K\'arm\'an equations

abstract: In this paper, a new mixed finite element scheme using element-wise stabilization is introduced for the biharmonic equation with variable coefficient on Lipschitz polyhedral domains. The proposed scheme doesn't involve any integration along mesh interfaces. The gradient of the solution is approximated by $H({\rm div})$-conforming $BDM_{k+1}$ element or vector valued Lagrange element with order $k+1$, while the solution is approximated by Lagrange element with order $k+2$ for any $k\geq 0$.This scheme can be easily implemented and produces positive definite linear system. We provide a new discrete $H^{2}$-norm stability, which is useful not only in analysis of this scheme but also in $C^{0}$ interior penalty methods and DG methods. Optimal convergences in both discrete $H^{2}$-norm and $L^{2}$-norm are derived. This scheme with its analysis is further generalized to the von K\'arm\'an equations. Finally, numerical results verifying the theoretical estimates of the proposed algorithms are also presented.


title: Robust Spatial-spread Deep Neural Image Watermarking

abstract: Watermarking is an operation of embedding an information into an image in a way that allows to identify ownership of the image despite applying some distortions on it. In this paper, we presented a novel end-to-end solution for embedding and recovering the watermark in the digital image using convolutional neural networks. The method is based on spreading the message over the spatial domain of the image, hence reducing the "local bits per pixel" capacity. To obtain the model we used adversarial training and applied noiser layers between the encoder and the decoder. Moreover, we broadened the spectrum of typically considered attacks on the watermark and by grouping the attacks according to their scope, we achieved high general robustness, most notably against JPEG compression, Gaussian blurring, subsampling or resizing. To help us in the models training we also proposed a precise differentiable approximation of JPEG.


title: Efficient Intervention Design for Causal Discovery with Latents

abstract: We consider recovering a causal graph in presence of latent variables, where we seek to minimize the cost of interventions used in the recovery process. We consider two intervention cost models: (1) a linear cost model where the cost of an intervention on a subset of variables has a linear form, and (2) an identity cost model where the cost of an intervention is the same, regardless of what variables it is on, i.e., the goal is just to minimize the number of interventions. Under the linear cost model, we give an algorithm to identify the ancestral relations of the underlying causal graph, achieving within a $2$-factor of the optimal intervention cost. This approximation factor can be improved to $1+\epsilon$ for any $\epsilon > 0$ under some mild restrictions. Under the identity cost model, we bound the number of interventions needed to recover the entire causal graph, including the latent variables, using a parameterization of the causal graph through a special type of colliders. In particular, we introduce the notion of $p$-colliders, that are colliders between pair of nodes arising from a specific type of conditioning in the causal graph, and provide an upper bound on the number of interventions as a function of the maximum number of $p$-colliders between any two nodes in the causal graph.


title: Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors

abstract: A bitmap is a data structure designed to compactly represent sets of integers; it provides very fast operations for querying and manipulating such sets, exploiting bit-level parallelism. In this paper, we describe a technique for the offline verification of arbitrary expressions of Linear Temporal Logic using bitmap manipulation. An event trace is first preprocessed and transformed into a set of bitmaps. The LTL expression is then evaluated through a recursive procedure manipulating these bitmaps. Experimental results show that, for complex LTL formulas containing almost 20 operators, event traces can be evaluated at a throughput of millions of events per second.


title: A New Spatial Count Data Model with Bayesian Additive Regression Trees for Accident Hot Spot Identification

abstract: The identification of accident hot spots is a central task of road safety management. Bayesian count data models have emerged as the workhorse method for producing probabilistic rankings of hazardous sites in road networks. Typically, these methods assume simple linear link function specifications, which, however, limit the predictive power of a model. Furthermore, extensive specification searches are precluded by complex model structures arising from the need to account for unobserved heterogeneity and spatial correlations. Modern machine learning (ML) methods offer ways to automate the specification of the link function. However, these methods do not capture estimation uncertainty, and it is also difficult to incorporate spatial correlations. In light of these gaps in the literature, this paper proposes a new spatial negative binomial model, which uses Bayesian additive regression trees to endogenously select the specification of the link function. Posterior inference in the proposed model is made feasible with the help of the Polya-Gamma data augmentation technique. We test the performance of this new model on a crash count data set from a metropolitan highway network. The empirical results show that the proposed model performs at least as well as a baseline spatial count data model with random parameters in terms of goodness of fit and site ranking ability.


title: Adversarial NLI for Factual Correctness in Text Summarisation Models

abstract: We apply the Adversarial NLI dataset to train the NLI model and show that the model has the potential to enhance factual correctness in abstract summarization. We follow the work of Falke et al. (2019), which rank multiple generated summaries based on the entailment probabilities between an source document and summaries and select the summary that has the highest entailment probability. The authors' earlier study concluded that current NLI models are not sufficiently accurate for the ranking task. We show that the Transformer models fine-tuned on the new dataset achieve significantly higher accuracy and have the potential of selecting a coherent summary.


title: On the mean field limit of the Random Batch Method for interacting particle systems

abstract: The Random Batch Method proposed in our previous work [Jin et al., J. Comput. Phys., 400(1), 2020] is not only a numerical method for interacting particle systems and its mean-field limit, but also can be viewed as a model of particle system in which particles interact, at discrete time, with randomly selected mini-batch of particles. In this paper we investigate the mean-field limit of this model as the number of particles $N \to \infty$. Unlike the classical mean field limit for interacting particle systems where the law of large numbers plays the role and the chaos is propagated to later times, the mean field limit now does not rely on the law of large numbers and chaos is imposed at every discrete time. Despite this, we will not only justify this mean-field limit (discrete in time) but will also show that the limit, as the discrete time interval $\tau \to 0$, approaches to the solution of a nonlinear Fokker-Planck equation arising as the mean-field limit of the original interacting particle system in Wasserstein distance.


title: Causal Bayesian Optimization

abstract: This paper studies the problem of globally optimizing a variable of interest that is part of a causal model in which a sequence of interventions can be performed. This problem arises in biology, operational research, communications and, more generally, in all fields where the goal is to optimize an output metric of a system of interconnected nodes. Our approach combines ideas from causal inference, uncertainty quantification and sequential decision making. In particular, it generalizes Bayesian optimization, which treats the input variables of the objective function as independent, to scenarios where causal information is available. We show how knowing the causal graph significantly improves the ability to reason about optimal decision making strategies decreasing the optimization cost while avoiding suboptimal solutions. We propose a new algorithm called Causal Bayesian Optimization (CBO). CBO automatically balances two trade-offs: the classical exploration-exploitation and the new observation-intervention, which emerges when combining real interventional data with the estimated intervention effects computed via do-calculus. We demonstrate the practical benefits of this method in a synthetic setting and in two real-world applications.


title: High-Resolution Image Inpainting with Iterative Confidence Feedback and Guided Upsampling

abstract: Existing image inpainting methods often produce artifacts when dealing with large holes in real applications. To address this challenge, we propose an iterative inpainting method with a feedback mechanism. Specifically, we introduce a deep generative model which not only outputs an inpainting result but also a corresponding confidence map. Using this map as feedback, it progressively fills the hole by trusting only high-confidence pixels inside the hole at each iteration and focuses on the remaining pixels in the next iteration. As it reuses partial predictions from the previous iterations as known pixels, this process gradually improves the result. In addition, we propose a guided upsampling network to enable generation of high-resolution inpainting results. We achieve this by extending the Contextual Attention module to borrow high-resolution feature patches in the input image. Furthermore, to mimic real object removal scenarios, we collect a large object mask dataset and synthesize more realistic training data that better simulates user inputs. Experiments show that our method significantly outperforms existing methods in both quantitative and qualitative evaluations. More results and Web APP are available at https://zengxianyu.github.io/iic.


title: The effect of measurement error on clustering algorithms

abstract: Clustering consists of a popular set of techniques used to separate data into interesting groups for further analysis. Many data sources on which clustering is performed are well-known to contain random and systematic measurement errors. Such errors may adversely affect clustering. While several techniques have been developed to deal with this problem, little is known about the effectiveness of these solutions. Moreover, no work to-date has examined the effect of systematic errors on clustering solutions. In this paper, we perform a Monte Carlo study to investigate the sensitivity of two common clustering algorithms, GMMs with merging and DBSCAN, to random and systematic error. We find that measurement error is particularly problematic when it is systematic and when it affects all variables in the dataset. For the conditions considered here, we also find that the partition-based GMM with merged components is less sensitive to measurement error than the density-based DBSCAN procedure.


title: Bayesian model predictive control: Efficient model exploration and regret bounds using posterior sampling

abstract: Tight performance specifications in combination with operational constraints make model predictive control (MPC) the method of choice in various industries. As the performance of an MPC controller depends on a sufficiently accurate objective and prediction model of the process, a significant effort in the MPC design procedure is dedicated to modeling and identification. Driven by the increasing amount of available system data and advances in the field of machine learning, data-driven MPC techniques have been developed to facilitate the MPC controller design. While these methods are able to leverage available data, they typically do not provide principled mechanisms to automatically trade off exploitation of available data and exploration to improve and update the objective and prediction model. To this end, we present a learning-based MPC formulation using posterior sampling techniques, which provides finite-time regret bounds on the learning performance while being simple to implement using off-the-shelf MPC software and algorithms. The performance analysis of the method is based on posterior sampling theory and its practical efficiency is illustrated using a numerical example of a highly nonlinear dynamical car-trailer system.


title: Two forms of the integral representations of the Mittag-Leffler function

abstract: The integral representation of the two-parameter Mittag-Leffler function $E_{\rho,\mu}(z)$ is considered in the paper that expresses its value in terms of the contour integral. For this integral representation, the transition is made from integration over a complex variable to integration over real variables. It is shown that as a result of such a transition, the integral representation of the function $E_{\rho,\mu}(z)$ has two forms: the representation ``A'' and ``B''. Each of these representations has its advantages and drawbacks. In the paper, the corresponding theorems are formulated and proved, and the advantages and disadvantages of each of the obtained representations are discussed.


title: Domain Specific, Semi-Supervised Transfer Learning for Medical Imaging

abstract: Limited availability of annotated medical imaging data poses a challenge for deep learning algorithms. Although transfer learning minimizes this hurdle in general, knowledge transfer across disparate domains is shown to be less effective. On the other hand, smaller architectures were found to be more compelling in learning better features. Consequently, we propose a lightweight architecture that uses mixed asymmetric kernels (MAKNet) to reduce the number of parameters significantly. Additionally, we train the proposed architecture using semi-supervised learning to provide pseudo-labels for a large medical dataset to assist with transfer learning. The proposed MAKNet provides better classification performance with $60 - 70\%$ less parameters than popular architectures. Experimental results also highlight the importance of domain-specific knowledge for effective transfer learning.


title: Efficient harmonic oscillator chain energy harvester driven by colored noise

abstract: We study the performance of an electromechanical harmonic oscillator chain as an energy harvester to extract power from finite-bandwidth ambient random vibrations, which are modelled by colored noise. The proposed device is numerically simulated and its performance assessed by means of the net electrical power generated and its efficiency in converting the external noise-supplied power into electrical power. Our main result is a much enhanced performance, both in the net electrical power delivered and in efficiency, of the harmonic chain with respect to the popular single oscillator resonator. Our numerical findings are explained by means of an analytical approximation, in excellent agreement with numerics.


title: Good speciation and endogenous business cycles in a constraint satisfaction macroeconomic model

abstract: We introduce a prototype agent-based model of the macroeconomy, with budgetary constraints at its core. The model is related to a class of constraint satisfaction problems (CSPs), which has been thoroughly investigated in computer science. The CSP paradigm allows us to propose an alternative price-setting mechanism: given agents' preferences and budgets, what set of prices satisfies the maximum number of agents? Such an approach permits the coupling of production and output within the economy to the allowed level of debt in a simplified framework. Within our model, we identify three different regimes upon varying the amount of debt that each agent can accumulate before defaulting. In presence of a very loose constraint on debt, endogenous crises leading to waves of synchronized bankruptcies are present. In the opposite regime of very tight debt constraining, the bankruptcy rate is extremely high and the economy remains structure-less. In an intermediate regime, the economy is stable with very low bankruptcy rate and no aggregate-level crises. This third regime displays a rich phenomenology:the system spontaneously and dynamically self-organizes in a set of cheap and expensive goods (i.e. some kind of "speciation"), with switches triggered by random fluctuations and feedback loops. Our analysis confirms the central role that debt levels play in the stability of the economy. More generally, our model shows that constraints at the individual scale can generate highly complex patterns at the aggregate level.


title: Chance-Constrained Equilibrium in Electricity Markets With Asymmetric Forecasts

abstract: We develop a stochastic equilibrium model for an electricity market with asymmetric renewable energy forecasts. In our setting, market participants optimize their profits using public information about a conditional expectation of energy production but use private information about the forecast error distribution. This information is given in the form of samples and incorporated into profit-maximizing optimizations of market participants through chance constraints. We model information asymmetry by varying the sample size of participants' private information. We show that with more information available, the equilibrium gradually converges to the ideal solution provided by the perfect information scenario. Under information scarcity, however, we show that the market converges to the ideal equilibrium if participants are to infer the forecast error distribution from the statistical properties of the data at hand or share their private forecasts.


title: The Cosmological OTOC: Formulating new cosmological micro-canonical correlation functions for random chaotic fluctuations in Out-of-Equilibrium Quantum Statistical Field Theory

abstract: The out-of-time-ordered correlation (OTOC) function is an important new probe in quantum field theory which is treated as a significant measure of random quantum correlations. In this paper, with the slogan "Cosmology meets Condensed Matter Physics" we demonstrate a formalism using which for the first time we compute the Cosmological OTOC during the stochastic particle production during inflation and reheating following canonical quantization technique. In this computation, two dynamical time scales are involved, out of them at one time scale the cosmological perturbation variable and for the other the canonically conjugate momentum is defined, which is the strict requirement to define time scale separated quantum operators for OTOC and perfectly consistent with the general definition of OTOC. Most importantly, using the present formalism not only one can study the quantum correlation during stochastic inflation and reheating, but also study quantum correlation for any random events in Cosmology. Next, using the late time exponential decay of cosmological OTOC with respect to the dynamical time scale of our universe which is associated with the canonically conjugate momentum operator in this formalism we study the phenomena of quantum chaos by computing the expression for {\it Lyapunov spectrum}. Further, using the well known Maldacena Shenker Stanford (MSS) bound, on Lyapunov exponent, $\lambda\leq 2\pi/\beta$, we propose a lower bound on the equilibrium temperature, $T=1/\beta$, at the very late time scale of the universe. On the other hand, with respect to the other time scale with which the perturbation variable is associated, we find decreasing but not exponentially decaying behaviour, which quantifies the random correlation at out-of-equilibrium. Finally, we have studied the classical limit of the OTOC to check the consistency with the large time limiting behaviour.

categories: hep-th cond-mat.stat-mech gr-qc hep-ph quant-ph


title: On 3-strand singular pure braid group

abstract: In the present paper we study the singular pure braid group $SP_{n}$ for $n=2, 3$. We find generators, defining relations and the algebraical structure of these groups. In particular, we prove that $SP_{3}$ is a semi-direct product $SP_{3} = \widetilde{V}_3 \leftthreetimes \mathbb{Z}$, where $\widetilde{V}_3$ is an HNN-extension with base group $\mathbb{Z}^2 * \mathbb{Z}^2$ and cyclic associated subgroups. We prove that the center $Z(SP_3)$ of $SP_3$ is a direct factor in $SP_3$.


title: On the generalization of Golomb's conjecture

abstract: Let $p$ be a sufficiently large prime number, $r$ be any given positive integer. Suppose that $a_1,\,\dots,\,a_r$ are pairwise distinct and not zero modulo $p$. Let $N(a_1,\,\dots,\,a_r;\,p)$ denote the number of $\alpha_1,\,\dots,\,\alpha_r,\,\beta$, which are primitive roots modulo $p$, such that $\alpha_1+\beta\equiv a_1,\,\dots,\,\alpha_r+\beta\equiv a_r\,({\rm mod}\,p).$ In the first version of this paper, we proved an asymptotic formula for $N(a_1,\,\dots,\,a_r;\,p)$ so that we could answer an open problem of Wenpeng Zhang and Tingting Wang. But we found that our result had been included in a paper of L. Carlitz in 1956, which is explained in the additional remark below.


title: Continuous Release of Data Streams under both Centralized and Local Differential Privacy

abstract: In this paper, we study the problem of publishing a stream of real-valued data satisfying differential privacy (DP). One major challenge is that the maximal possible value can be quite large; thus it is necessary to estimate a threshold so that numbers above it are truncated to reduce the amount of noise that is required to all the data. The estimation must be done based on the data in a private fashion. We develop such a method that uses the Exponential Mechanism with a quality function that approximates well the utility goal while maintaining a low sensitivity. Given the threshold, we then propose a novel online hierarchical method and several post-processing techniques. Building on these ideas, we formalize the steps into a framework for private publishing of stream data. Our framework consists of three components: a threshold optimizer that privately estimates the threshold, a perturber that adds calibrated noises to the stream, and a smoother that improves the result using post-processing. Within our framework, we design an algorithm satisfying the more stringent setting of DP called local DP (LDP). To our knowledge, this is the first LDP algorithm for publishing streaming data. Using four real-world datasets, we demonstrate that our mechanism outperforms the state-of-the-art by a factor of 6-10 orders of magnitude in terms of utility (measured by the mean squared error of answering a random range query).


title: Finite difference and numerical differentiation: General formulae from deferred corrections

abstract: This paper provides a new approach to derive various arbitrary high order finite difference formulae for the numerical differentiation of analytic functions. In this approach, various first and second order formulae for the numerical approximation of analytic functions are given with error terms explicitly expanded as Taylor series of the analytic function. These lower order approximations are successively improved by one or two (two order improvement for centered formulae) to give finite difference formulae of arbitrary high order. The new approach allows to recover the standard backward, forward, and centered finite difference formulae which are given in terms of formal power series of finite difference operators. Examples of new formulae suited for deferred correction methods are given.


title: Beyond the Lindblad Master Equation: Heat, Work and Energy Currents in Boundary Driven Spin Chains

abstract: We consider the accurate investigation of the energy current and its components, heat and work, in some boundary driven quantum spin systems. The expressions for the currents, as well as the associated Lindblad master equation, are obtained via a repeated interaction scheme. We consider small systems in order to analytically compute the steady distribution to study the current in the steady state. Asymmetrical XXZ and quantum Ising models are detailed analyzed. For the XXZ chain we present cases in which different compositions of heat and work currents, obtained via the repeated interaction protocol, lead to the same energy current, which may be obtained via the Lindblad master equation. For the quantum Ising chain, we describe a case of zero energy current and novanishing heat and work currents. Our findings make clear that to talk about heat in these boundary driven spin quantum systems we must go beyond an investigation involving only the Lindblad master equation.


title: Reliability and Performance Assessment of Federated Learning on Clinical Benchmark Data

abstract: As deep learning have been applied in a clinical context, privacy concerns have increased because of the collection and processing of a large amount of personal data. Recently, federated learning (FL) has been suggested to protect personal privacy because it does not centralize data during the training phase. In this study, we assessed the reliability and performance of FL on benchmark datasets including MNIST and MIMIC-III. In addition, we attempted to verify FL on datasets that simulated a realistic clinical data distribution. We implemented FL that uses a client and server architecture and tested client and server FL on modified MNIST and MIMIC-III datasets. FL delivered reliable performance on both imbalanced and extremely skewed distributions (i.e., the difference of the number of patients and the characteristics of patients in each hospital). Therefore, FL can be suitable to protect privacy when applied to medical data.


title: Req2Lib: A Semantic Neural Model for Software Library Recommendation

abstract: Third-party libraries are crucial to the development of software projects. To get suitable libraries, developers need to search through millions of libraries by filtering, evaluating, and comparing. The vast number of libraries places a barrier for programmers to locate appropriate ones. To help developers, researchers have proposed automated approaches to recommend libraries based on library usage pattern. However, these prior studies can not sufficiently match user requirements and suffer from cold-start problem. In this work, we would like to make recommendations based on requirement descriptions to avoid these problems. To this end, we propose a novel neural approach called Req2Lib which recommends libraries given descriptions of the project requirement. We use a Sequence-to-Sequence model to learn the library linked-usage information and semantic information of requirement descriptions in natural language. Besides, we apply a domain-specific pre-trained word2vec model for word embedding, which is trained over textual corpus from Stack Overflow posts. In the experiment, we train and evaluate the model with data from 5,625 java projects. Our preliminary evaluation demonstrates that Req2Lib can recommend libraries accurately.


title: On the impact of treewidth in the computational complexity of freezing dynamics

abstract: An automata network is a network of entities, each holding a state from a finite set and evolving according to a local update rule which depends only on its neighbors in the network's graph. It is freezing if there is an order on states such that the state evolution of any node is non-decreasing in any orbit. They are commonly used to model epidemic propagation, diffusion phenomena like bootstrap percolation or cristal growth. In this paper we establish how treewidth and maximum degree of the underlying graph are key parameters which influence the overall computational complexity of finite freezing automata networks. First, we define a general model checking formalism that captures many classical decision problems: prediction, nilpotency, predecessor, asynchronous reachability. Then, on one hand, we present an efficient parallel algorithm that solves the general model checking problem in NC for any graph with bounded degree and bounded treewidth. On the other hand, we show that these problems are hard in their respective classes when restricted to families of graph with polynomially growing treewidth. For prediction, predecessor and asynchronous reachability, we establish the hardness result with a fixed set-defiend update rule that is universally hard on any input graph of such families.


title: Random singlet phase of cold atoms coupled to a photonic crystal waveguide

abstract: Systems consisting of cold atoms trapped near photonic crystal waveguides have recently emerged as an exciting platform for quantum atom-light interfaces. Such a system enables realization of tunable long-range interactions between internal states of atoms (spins), mediated by guided photons. Currently, experimental platforms are still limited by low filling fractions, where the atom number is much smaller than the number of sites at which atoms can potentially be trapped. Here, we show that this regime in fact enables interesting many-body quantum phenomena, which are typically associated with short-range disordered systems. As an example, we show how the system can realize the so-called "random singlet phase", in which all atoms pair into entangled singlets, but the pairing occurs over a distribution of ranges as opposed to nearest neighbors. We use a renormalization group method to obtain the distribution of spin entanglement in the random singlet phase, and show how this state can be approximately reached via adiabatic evolution from the ground state of a non-interacting Hamiltonian. We also discuss how experimentally this random singlet phase can be observed. We anticipate that this work will accelerate the route toward the exploration of strongly correlated matter in atom-nanophotonics interfaces, by avoiding the requirement of perfectly filled lattices.


title: SERIL: Noise Adaptive Speech Enhancement using Regularization-based Incremental Learning

abstract: Numerous noise adaptation techniques have been proposed to fine-tune deep-learning models in speech enhancement (SE) for mismatched noise environments. Nevertheless, adaptation to a new environment may lead to catastrophic forgetting of the previously learned environments. The catastrophic forgetting issue degrades the performance of SE in real-world embedded devices, which often revisit previous noise environments. The nature of embedded devices does not allow solving the issue with additional storage of all pre-trained models or earlier training data. In this paper, we propose a regularization-based incremental learning SE (SERIL) strategy, complementing existing noise adaptation strategies without using additional storage. With a regularization constraint, the parameters are updated to the new noise environment while retaining the knowledge of the previous noise environments. The experimental results show that, when faced with a new noise domain, the SERIL model outperforms the unadapted SE model. Meanwhile, compared with the current adaptive technique based on fine-tuning, the SERIL model can reduce the forgetting of previous noise environments by 52%. The results verify that the SERIL model can effectively adjust itself to new noise environments while overcoming the catastrophic forgetting issue. The results make SERIL a favorable choice for real-world SE applications, where the noise environment changes frequently.


title: The interplay of transverse degrees of freedom and axial-vector mesons with short-distance constraints in g-2

abstract: We revisit well-known short-distance constraints relating the hadronic light-by light Green's function to the $\langle VVA \rangle$ one, that have been a subject of debate over the past years in the context of the muon $(g-2)$. Specifically, we identify a relation among the longitudinal and transverse degrees of freedom that is enforced by the axial anomaly that, by contrast, has not received attention in the past. Such relation allows, among other things, to overcome the problem of basis ambiguities when describing axial-vector mesons transition form factors, but further applications are discussed as well, with special focus on the role of axial-vector mesons in the HLbL contribution to the muon $(g-2)$. Our results should also contribute to a better understanding of the, so far, controversial interplay among short-distance constraints with longitudinal and transverse degrees of freedom, such as axial-vector mesons. This is key to confront the theoretical and experimental result for the muon $(g-2)$ that, currently, exhibits a $4.2\sigma$ tension.


title: Local Rigidity of Teichm\"uller space with Thurston metric

abstract: We show that every $\mathbb R$-linear surjective isometry between the cotangent spaces to the Teichm\"uller space equipped with the Thurston norm is induced by some isometry between the underlying hyperbolic surfaces, which is an analogue of Royden's theorem concerning the Teichm\"uller metric.


title: An Approximate Marginal Spread Computation Approach for the Budgeted Influence Maximization with Delay

abstract: In this paper, we study the Budgeted Influence Maximization with Delay Problem, for which the number of literature are limited. We propose an approximate marginal spread computation\mbox{-}based approach for solving this problem. The proposed methodology has been implemented with three benchmark social network datasets and the obtained results are compared with the existing methods from the literature. Experimental results show that the proposed approach is able to select seed nodes which leads to more number of influential nodes with reasonable computational time.


title: Div-Curl Problems and $\mathbf{H}^1$-regular Stream Functions in 3D Lipschitz Domains

abstract: We consider the problem of recovering the divergence-free velocity field ${\mathbf U}\in\mathbf{L}^2(\Omega)$ of a given vorticity ${\mathbf F}=\mathrm{curl}\,{\mathbf U}$ on a bounded Lipschitz domain $\Omega\subset\mathbb{R}^3$. To that end, we solve the "div-curl problem" for a given ${\mathbf F}\in{\mathbf H}^{-1}(\Omega)$. The solution is expressed in terms of a vector potential (or stream function) ${\mathbf A}\in{\mathbf H}^1(\Omega)$ such that ${\mathbf U}=\mathrm{curl}\,{\mathbf A}$. After discussing existence and uniqueness of solutions and associated vector potentials, we propose a well-posed construction for the stream function. A numerical method based on this construction is presented, and experiments confirm that the resulting approximations display higher regularity than those of another common approach.


title: Multiband effect in elastoresistance of Fe(Se,Te)

abstract: We have investigated the elastoresistance of two FeSe${}_{1-x}$Te${}_{x}$ (x about 0.4 - 0.5) compounds that have a close chemical composition but differ significantly in electronic properties. The first compound has a negative temperature coefficient of resistance and does not show any phase transitions other than superconducting. The elastoresistance of this compound approximately follows $1/T$ low as it usually occurs in Fe(Se,S) with metallic conductivity. The second compound has a metallic type of conductivity and in addition to the superconducting transition, there is also a phase transition at a temperature of about 30 K. The elastoresistance of the second compound is sign-reversing and can be approximated with the sum of two Curie-Weiss type terms with opposite signs and different critical temperatures which suggest a competition of contributions to the elastoresistance from different band valleys.


title: The Weisfeiler-Leman dimension of distance-hereditary graphs

abstract: A graph is said to be distance-hereditary if the distance function in every connected induced subgraph is the same as in the graph itself. We prove that the ordinary Weisfeiler-Leman algorithm correctly tests the isomorphism of any two graphs if one of them is distance-hereditary; more precisely, the Weisfeiler-Leman dimension of the class of finite distance-hereditary graphs is equal to $2$. The previously best known upper bound for the dimension was $7$.


title: Protein-ligand interaction study to identify potential dietary compounds binding at the active site of therapeutic target proteins of SARS-CoV-2

abstract: Objective: Total 186 biologically important phenylpropanoids and polyketides compounds from different Indian medicinal plants and dietary sources were screened to filter potential compounds that bind at the active site of the therapeutic target proteins of SARS-CoV-2. Method: The molecular docking studies were carried out by using the Autodock Vina. The in silico ADMET and drug-likeness properties of the compounds were predicted from SwissADME server. Result: The molecular docking study of the 186 compounds with the therapeutic target proteins (Mpro, PLpro, RdRp, SGp and ACE2) of SARS-CoV-2 resulted 40 compounds that bind at the active site with dock score above -8.0 kcal/mol. Conclusion: Based on the in silico ADMET study and drug-likeness prediction of 40 compounds, we proposed petunidin, baicalein, cyanidin, 7-hydroxy-3',4'-methylenedioxyflavan, quercetin and ellagic acid among the 186 biologically important phenylpropanoids and polyketides as potential lead compounds, which can further be investigated pharmacologically and clinically to formulate therapeutic approaches for the COVID-19.


title: KaLM at SemEval-2020 Task 4: Knowledge-aware Language Models for Comprehension And Generation

abstract: This paper presents our strategies in SemEval 2020 Task 4: Commonsense Validation and Explanation. We propose a novel way to search for evidence and choose the different large-scale pre-trained models as the backbone for three subtasks. The results show that our evidence-searching approach improves model performance on commonsense explanation task. Our team ranks 2nd in subtask C according to human evaluation score.


title: Lite Audio-Visual Speech Enhancement

abstract: Previous studies have confirmed the effectiveness of incorporating visual information into speech enhancement (SE) systems. Despite improved denoising performance, two problems may be encountered when implementing an audio-visual SE (AVSE) system: (1) additional processing costs are incurred to incorporate visual input and (2) the use of face or lip images may cause privacy problems. In this study, we propose a Lite AVSE (LAVSE) system to address these problems. The system includes two visual data compression techniques and removes the visual feature extraction network from the training model, yielding better online computation efficiency. Our experimental results indicate that the proposed LAVSE system can provide notably better performance than an audio-only SE system with a similar number of model parameters. In addition, the experimental results confirm the effectiveness of the two techniques for visual data compression.


title: Longitudinal Deep Kernel Gaussian Process Regression

abstract: Gaussian processes offer an attractive framework for predictive modeling from longitudinal data, i.e., irregularly sampled, sparse observations from a set of individuals over time. However, such methods have two key shortcomings: (i) They rely on ad hoc heuristics or expensive trial and error to choose the effective kernels, and (ii) They fail to handle multilevel correlation structure in the data. We introduce Longitudinal deep kernel Gaussian process regression (L-DKGPR), which to the best of our knowledge, is the only method to overcome these limitations by fully automating the discovery of complex multilevel correlation structure from longitudinal data. Specifically, L-DKGPR eliminates the need for ad hoc heuristics or trial and error using a novel adaptation of deep kernel learning that combines the expressive power of deep neural networks with the flexibility of non-parametric kernel methods. L-DKGPR effectively learns the multilevel correlation with a novel addictive kernel that simultaneously accommodates both time-varying and the time-invariant effects. We derive an efficient algorithm to train L-DKGPR using latent space inducing points and variational inference. Results of extensive experiments on several benchmark data sets demonstrate that L-DKGPR significantly outperforms the state-of-the-art longitudinal data analysis (LDA) methods.


title: Some endpoint estimates for bilinear Coifman-Meyer multipliers

abstract: In this paper we establish mapping properties of bilinear Coifman-Meyer multipliers acting on the product spaces $H^1(\mathbb{R}^n)\times\mathrm{bmo}(\mathbb{R}^n)$ and $L^p(\mathbb{R}^n)\times\mathrm{bmo}(\mathbb{R}^n)$, with $1<p<\infty$. As application of these results, we obtain some related Kato-Ponce-type inequalities involving the endpoint space $\mathrm{bmo}(\mathbb{R}^n)$, and we also study the pointwise product of a function in $\mathrm{bmo}(\mathbb{R}^n)$ with functions in $H^1(\mathbb{R}^n)$, $h^1(\mathbb{R}^n)$ and $L^p(\mathbb{R}^n)$, with $1<p<\infty$.


title: Deep learning approach to describe and classify fungi microscopic images

abstract: Preliminary diagnosis of fungal infections can rely on microscopic examination. However, in many cases, it does not allow unambiguous identification of the species by microbiologist due to their visual similarity. Therefore, it is usually necessary to use additional biochemical tests. That involves additional costs and extends the identification process up to 10 days. Such a delay in the implementation of targeted therapy may be grave in consequence as the mortality rate for immunosuppressed patients is high. In this paper, we apply a machine learning approach based on deep neural networks and Fisher Vector (advanced bag-of-words method) to classify microscopic images of various fungi species. Our approach has the potential to make the last stage of biochemical identification redundant, shortening the identification process by 2-3 days, and reducing the cost of the diagnosis.


title: Sticky-Reflected Stochastic Heat Equation Driven by Colored Noise

abstract: We prove the existence of a sticky-reflected solution to the heat equation on the spatial interval $[0,1]$ driven by colored noise. The process can be interpreted as an infinite-dimensional analog of the sticky-reflected Brownian motion on the real line, but now the solution obeys the usual stochastic heat equation except points where it reaches zero. At zero the solution has no noise and a drift pushes it to stay positive. The proof is based on a new approach that can also be applied to other types of SPDEs with discontinuous coefficients.


title: Cumulant methods in the estimation of response functions in time-invariant linear systems

abstract: Thesis is devoted to the application of cumulant analysis in the estimation of impulse response functions for continuous time-invariant linear systems, including systems with inner noises. The main assumption of the work is the second-order integration of the impulse response function. Our study deals with cumulant analysis of sample cross-correlograms between stationary Gaussian stochastic processes. An important role was played by integral representations for the higher-order cumulants of these second-order statistics. Using the diagram formula, all representations are reduced to the finite sums of integrals involving cyclic products of kernels. In the work we proved the convergence to zero of the corresponding integrals. Then, since the Gaussian distribution is uniquelly determined by its cumulants and also all higher-order cumulants of the estimators tend to zero, we establish the asymptotic normality of the integral-type cross-correlogram estimators.


title: Liquid-like growth of colloidal nanocrystals of coalescence

abstract: Our understanding of the growth of crystals is dominated by the classical description according to which individual atoms or molecules, driven by supersaturation, add to crystal facets. As a result, the growth of hard matter is still mostly considered to be fundamentally incomparable to the growth of soft matter, like polymers or liquids. By a combination of experiment and modeling we here show how amine-capped PbS colloidal nanoparticles grow in the absence of supersaturation by coalescence, like droplets in an emulsion. Specifically, we (i) determine that the rates of crystal-crystal coalescence are remarkably high (10^-2 to 10^1 M^-1*s^-1) in spite of the steric stabilization of the particles, and are comparable to those of bimolecular reactions, (thereby providing a new avenue for the development of a form of chemistry where the reactants are colloids rather than molecules), (ii) elucidate the rate limiting steps of crystal-crystal coalescence leading us to propose design rules to control it, and (iii) demonstrate a simple, two-parameter model that predicts quantitatively this process and its dependence on the ligands. Lastly, we use Brownian dynamics simulations to show how crowding effects and the relatively large size of the particles compared to their mean free path explain these remarkably large rates of coalescence and, at the same time, the puzzlingly low values of activation energy previously reported for oriented attachment processes.


title: Custody Protocols Using Bitcoin Vaults

abstract: A bitcoin \textit{covenant} is a mechanism to enforce conditions on future bitcoin transactions. A bitcoin \textit{vault} is a specific type of covenant transaction that enforces a time-lock on the transfer of control of funds to a hot wallet, but enables an immediate transfer of funds into a deep cold recovery wallet. This paper demonstrates how to integrate a bitcoin vault into a custody protocol and demonstrates the security properties of that protocol. The vault is implemented using pre-signed transactions with secure key deletion (as proposed in \cite{Swambo2020cov}). It is shown that vault-custody protocols enable the wallet owner to specify their desired balance for an inherent trade-off between the security of and accessibility of bitcoin holdings by adjusting the length of time-locks used. It is also demonstrated that wallet owners have increased control of risk-management by compartmentalizing funds across numerous vault transactions. While it isn't realistic to completely prevent theft, the most likely theft scenarios (compromising the hot wallet) have severely limited profitability for an attacker, deterring attempts at theft from the beginning. The proposed architecture was designed to offer defence-in-depth through redundancy and fault-tolerant functionality as well as countermeasures for class breaks through diversity across hardware and software layers. Finally, the architecture employs a detection (a watchtower) and response system that enables fail-safe recovery from attempted or partial thefts through a second type of covenant transaction, a push-to-recovery-wallet transaction.


title: Acoustic Word Embedding System for Code-Switching Query-by-example Spoken Term Detection

abstract: In this paper, we propose a deep convolutional neural network-based acoustic word embedding system on code-switching query by example spoken term detection. Different from previous configurations, we combine audio data in two languages for training instead of only using one single language. We transform the acoustic features of keyword templates and searching content to fixed-dimensional vectors and calculate the distances between keyword segments and searching content segments obtained in a sliding manner. An auxiliary variability-invariant loss is also applied to training data within the same word but different speakers. This strategy is used to prevent the extractor from encoding undesired speaker- or accent-related information into the acoustic word embeddings. Experimental results show that our proposed system produces promising searching results in the code-switching test scenario. With the increased number of templates and the employment of variability-invariant loss, the searching performance is further enhanced.


title: Rethinking Blockchains in the Internet of Things Era from a Wireless Communication Perspective

abstract: Due to the rapid development of Internet of Things (IoT), a massive number of devices are connected to the Internet. For these distributed devices in IoT networks, how to ensure their security and privacy becomes a significant challenge. The blockchain technology provides a promising solution to protect the data integrity, provenance, privacy, and consistency for IoT networks. In blockchains, communication is a prerequisite for participants, which are distributed in the system, to reach consensus. However, in IoT networks, most of the devices communicate through wireless links, which are not always reliable. Hence, the communication reliability of IoT devices influences the system security. In this article, we rethink the roles of communication and computing in blockchains by accounting for communication reliability. We analyze the tradeoff between communication reliability and computing power in blockchain security, and present a lower bound to the computing power that is needed to conduct an attack with a given communication reliability. Simulation results show that adversarial nodes can succeed in tampering a block with less computing power by hindering the propagation of blocks from other nodes.


title: Stochastic Resolution-of-the-Identity Auxiliary-Field Quantum Monte Carlo: Scaling Reduction without Overhead

abstract: We explore the use of the stochastic resolution-of-the-identity (sRI) with the phaseless auxiliary-field quantum Monte Carlo (ph-AFQMC) method. sRI is combined with four existing local energy evaluation strategies in ph-AFQMC, namely (1) the half-rotated electron repulsion integral tensor (HR), (2) Cholesky decomposition (CD), (3) tensor hypercontraction (THC), or (4) low-rank factorization (LR). We demonstrate that HR-sRI achieves no scaling reduction, CD-sRI scales as $\mathcal O(N^3)$, and THC-sRI and LR-sRI scale as $\mathcal O(N^2)$, albeit with a potentially large prefactor. Furthermore, the walker-specific extra memory requirement in CD is reduced from $\mathcal O(N^3)$ to $\mathcal O(N^2)$ with sRI, while sRI-based THC and LR algorithms lead to a reduction from $\mathcal O(N^2)$ extra memory to $\mathcal O(N)$. Based on numerical results for one-dimensional hydrogen chains and water clusters, we demonstrated that, along with the use of a variance reduction technique, CD-sRI achieves cubic-scaling {\it without overhead}. In particular, we find for the systems studied the observed scaling of standard CD is $\mathcal O(N^{3-4})$ while for CD-sRI it is reduced to $\mathcal O(N^{2-3})$. Once a memory bottleneck is reached, we expect THC-sRI and LR-sRI to be preferred methods due to their quadratic-scaling memory requirements and their quadratic-scaling of the local energy evaluation (with a potentially large prefactor). The theoretical framework developed here should facilitate large-scale ph-AFQMC applications that were previously difficult or impossible to carry out with standard computational resources.


title: Deep Convolutional Neural Network-based Bernoulli Heatmap for Head Pose Estimation

abstract: Head pose estimation is a crucial problem for many tasks, such as driver attention, fatigue detection, and human behaviour analysis. It is well known that neural networks are better at handling classification problems than regression problems. It is an extremely nonlinear process to let the network output the angle value directly for optimization learning, and the weight constraint of the loss function will be relatively weak. This paper proposes a novel Bernoulli heatmap for head pose estimation from a single RGB image. Our method can achieve the positioning of the head area while estimating the angles of the head. The Bernoulli heatmap makes it possible to construct fully convolutional neural networks without fully connected layers and provides a new idea for the output form of head pose estimation. A deep convolutional neural network (CNN) structure with multiscale representations is adopted to maintain high-resolution information and low-resolution information in parallel. This kind of structure can maintain rich, high-resolution representations. In addition, channelwise fusion is adopted to make the fusion weights learnable instead of simple addition with equal weights. As a result, the estimation is spatially more precise and potentially more accurate. The effectiveness of the proposed method is empirically demonstrated by comparing it with other state-of-the-art methods on public datasets.


title: On the existence of solutions of the second boundary value problem for $p$-Laplacian on Riemannian manifolds

abstract: We obtain necessary and sufficient existence conditions for solutions of the boundary value problem $$ \Delta_p u = f \quad \mbox{on } M, \quad \left. \left| \nabla u \right|^{p - 2} \frac{\partial u}{\partial \nu} \right|_{ \partial M } = h, $$ where $p > 1$ is a real number, $M$ is a connected oriented complete Riemannian manifold with boundary, and $\nu$ is the external normal vector to $\partial M$.


title: Magnetic structure of Cd-doped CeIrIn$_5$

abstract: We report the magnetic structure of nominally 10% Cd-doped CeIrIn$_5$, CeIr(In$_{0.9}$Cd$_{0.1}$)$_5$, determined by elastic neutron scattering. Magnetic intensity was observed only at the ordering wave vector $Q_{AF} = (1/2,1/2,1/2)$, commensurate with the crystal lattice. A staggered moment of 0.47(3)$\mu_B$ at 1.8 K resides on the Ce ion. The magnetic moments are found to be aligned along the crystallographic $c$ axis. This is further confirmed by magnetic susceptibility data, which suggest the $c$ axis to be the easy magnetic axis. The determined magnetic structure is strikingly different from the incommensurate antiferromagnetic ordering of the closely related compound CeRhIn$_5$, in which the magnetic moments are antiferromagnetically aligned within the tetragonal basal plane.


title: Achieving effective renormalization scale and scheme independence via the Principle of Observable Effective Matching

abstract: In this work, we explicate a new approach for eliminating renormalization scale and scheme (RSS) dependence in observables. We develop this approach by matching RSS dependent observables (such as cross-sections and decay rates) to a theory which is independent of both these forms of dependencies. We term the fundamental basis behind this approach as the principle of observable effective matching (POEM), which entails matching of a scale- and scheme-dependent observable with the fully physical scale (PS) and dynamical scale-dependent theory at loop orders at which RSS independence is guaranteed. This is aimed toward achieving so-called "effective" RSS-independent expressions as the resulting dynamical dependence is derived from a particular order in RSS-dependent perturbation theory. With this matching at a PS at which the coupling (and masses) is experimentally determined at this scale, we obtain an "effective theoretical observable (ETO)", a finite-order RSS-independent version of the RSS-dependent observable. We illustrate our approach with a study of the cross-section ratio $R_{e^{+}e^{-}}$ for $e^{+}e^{-}\rightarrow$ hadrons, which is demonstrated to achieve scale and scheme independence utilizing the three- and four-loop order MS scheme expression in QCD perturbation theory via matching at both one-loop and two-loop orders for obtaining the ETO. With two-loop matching, we obtain an ETO prediction of $\frac{3}{11}R_{e^{+}e^{-}}^{eff}=1.052431_{-0.0006}^{+0.0006}$ at $Q=31.6 GeV$, which is in excellent agreement with the experimental value of $\frac{3}{11}R_{e^{+}e^{-}}^{exp}=1.0527_{-0.005}^{+0.005}$.


title: The vanishing of the fundamental gap of convex domains in $\mathbb H^n$

abstract: For the Laplace operator with Dirichlet boundary conditions on convex domains in $\mathbb H^n$, $n\geq 2$, we prove that the product of the fundamental gap with the square of the diameter can be arbitrarily small for domains of any diameter.


title: Fused graphical lasso for brain networks with symmetries

abstract: Neuroimaging is the growing area of neuroscience devoted to produce data with the goal of capturing processes and dynamics of the human brain. We consider the problem of inferring the brain connectivity network from time dependent functional magnetic resonance imaging (fMRI) scans. To this aim we propose the symmetric graphical lasso, a penalized likelihood method with a fused type penalty function that takes into explicit account the natural symmetrical structure of the brain. Symmetric graphical lasso allows one to learn simultaneously both the network structure and a set of symmetries across the two hemispheres. We implement an alternating directions method of multipliers algorithm to solve the corresponding convex optimization problem. Furthermore, we apply our methods to estimate the brain networks of two subjects, one healthy and the other affected by a mental disorder, and to compare them with respect to their symmetric structure. The method applies once the temporal dependence characterising fMRI data has been accounted for and we compare the impact on the analysis of different detrending techniques on the estimated brain networks.


title: Analytical Channel Model and Link Design Optimization for Ground-to-HAP Free-Space Optical Communication Networks

abstract: Integrating high altitude platforms (HAPs) and free-space optical (FSO) communications is a promising solution to establish high data rate aerial links for the next-generation wireless networks. However, practical limitations such as pointing errors and angle-of-arrival (AOA) fluctuations of the optical beam due to the orientation deviations of hovering HAPs make it challenging to implement HAP-based FSO links. For a ground-to-HAP FSO link, tractable, closed-form statistical channel models are derived in this paper to simplify the optimal design of such systems. The proposed models include the combined effects of atmospheric turbulence regimes (i.e., log-normal and gamma-gamma), pointing error induced geometrical loss, pointing jitter variance caused by beam wander, detector aperture size, beam-width, and AOA fluctuations of the received optical beam. The analytical expressions are corroborated by performing Monte-Carlo simulations. Furthermore, closed-form expressions for the outage probability of the considered link under different turbulence regimes are derived. Detailed analysis is carried out to optimize the transmitted laser beam and the field-of-view of the receiver for minimizing outage probability under different channel conditions. The obtained analytical results can be applied to finding the optimal parameter values and designing ground-to-HAP FSO links without resorting to time-consuming simulations.


title: Common Sense or World Knowledge? Investigating Adapter-Based Knowledge Injection into Pretrained Transformers

abstract: Following the major success of neural language models (LMs) such as BERT or GPT-2 on a variety of language understanding tasks, recent work focused on injecting (structured) knowledge from external resources into these models. While on the one hand, joint pretraining (i.e., training from scratch, adding objectives based on external knowledge to the primary LM objective) may be prohibitively computationally expensive, post-hoc fine-tuning on external knowledge, on the other hand, may lead to the catastrophic forgetting of distributional knowledge. In this work, we investigate models for complementing the distributional knowledge of BERT with conceptual knowledge from ConceptNet and its corresponding Open Mind Common Sense (OMCS) corpus, respectively, using adapter training. While overall results on the GLUE benchmark paint an inconclusive picture, a deeper analysis reveals that our adapter-based models substantially outperform BERT (up to 15-20 performance points) on inference tasks that require the type of conceptual knowledge explicitly present in ConceptNet and OMCS. All code and experiments are open sourced under: https://github.com/wluper/retrograph .


title: Convergence Results for Optimal Control Problems Governed by Elliptic Quasivariational Inequalities

abstract: We consider an optimal control problem $\cQ$ governed by an elliptic quasivariational inequality with unilateral constraints. The existence of optimal pairs of the problem is a well known result, see \cite{SS}, for instance. We associate to $\cQ$ a new optimal control problem $\wQ$, obtained by perturbing the state inequality (including the set of constraints and the nonlinear operator) and the cost functional, as well. Then, we provide sufficient conditions which guarantee the convergence of solutions of Problem $\wQ$ to a solution of Problem $\cQ$. The proofs are based on convergence results for elliptic quasivariational inequalities, obtained by using arguments of compactness, lower semicontinuity, monotonicity, penalty and various estimates. Finally, we illustrate the use of the abstract convergence results in the study of optimal control associated with two boundary value problems. The first one describes the equilibrium of an elastic body in frictional contact with an obstacle, the so-called foundation. The process is static and the contact is modeled with normal compliance and unilateral constraint, associated to a version of Coulomb's law of dry friction. The second one describes a stationary heat transfer problem with unilateral constraints. For the two problems we prove existence, uniqueness and convergence results together with the corresponding physical interpretation.


title: SCRAMBLE: The State, Connectivity and Routing Augmentation Model for Building Logic Encryption

abstract: In this paper, we introduce SCRAMBLE, as a novel logic locking solution for sequential circuits while the access to the scan chain is restricted. The SCRAMBLE could be used to lock an FSM by hiding its state transition graph (STG) among a large number of key-controlled false transitions. Also, it could be used to lock sequential circuits (sequential datapath) by hiding the timing paths' connectivity among a large number of key-controlled false connections. Besides, the structure of SCRAMBLE allows us to engage this scheme as a new scan chain locking solution by hiding the correct scan chain sequence among a large number of the key-controlled false sequences. We demonstrate that the proposed scheme resists against both (1) the 2-stage attacks on FSM, and (2) SAT attacks integrated with unrolling as well as bounded-model-checking. We have discussed two variants of SCRAMBLE: (I) Connectivity SCRAMBLE (SCRAMBLE-C), and (b) Logic SCRAMBLE (SCRAMBLE-L). The SCRAMBLE-C relies on the SAT-hard and key-controlled modules that are built using near non-blocking logarithmic switching networks. The SCRAMBLE-L uses input multiplexing techniques to hide a part of the FSM in a memory. In the result section, we describe the effectiveness of each variant against state-of-the-art attacks.


title: Hausdorff dimension of intersections with planes and general sets

abstract: We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable sets $A\subset\Rn$ with positive and finite $s$-dimensional Hausdorff measure, $s>m$, and with positive lower density. As an application we prove for measurable sets $A,B\subset\Rn$ with positive $s$- and $t$-dimensional measures, and with positive lower density that if $s + (n-1)t/n > n$, then $\dim A\cap (g(B)+z) = s+t - n$ for almost all rotations $g$ and for positively many $z\in\Rn$.


title: Better Late than Never; Scaling Computation in Blockchains by Delaying Execution

abstract: Proof-of-Work~(PoW) based blockchains typically allocate only a tiny fraction (e.g., less than 1% for Ethereum) of the average interarrival time~($\mathbb{I}$) between blocks for validating transactions. A trivial increase in validation time~($\tau$) introduces the popularly known Verifier's Dilemma, and as we demonstrate, causes more forking and increases unfairness. Large $\tau$ also reduces the tolerance for safety against a Byzantine adversary. Solutions that offload validation to a set of non-chain nodes (a.k.a. off-chain approaches) suffer from trust issues that are non-trivial to resolve. In this paper, we present Tuxedo, the first on-chain protocol to theoretically scale $\tau/\mathbb{I} \approx 1$ in PoW blockchains. The key innovation in Tuxedo is to separate the consensus on the ordering of transactions from their execution. We achieve this by allowing miners to delay validation of transactions in a block by up to $\zeta$ blocks, where $\zeta$ is a system parameter. We perform security analysis of Tuxedo considering all possible adversarial strategies in a synchronous network with end-to-end delay $\Delta$ and demonstrate that Tuxedo achieves security equivalent to known results for longest chain PoW Nakamoto consensus. Additionally, we also suggest a principled approach for practical choices of parameter $\zeta$ as per the application requirement. Our prototype implementation of Tuxedo atop Ethereum demonstrates that it can scale $\tau$ without suffering the harmful effects of naive scaling in existing blockchains.


title: Global Sensitivity Analysis for the Linear Assignment Problem

abstract: In this paper, the following question is addressed: given a linear assignment problem, how much can the all of the individual assignment weights be perturbed without changing the optimal assignment? The extension of results involving perturbations in just one edge or one row/column are presented. Algorithms for the derivation of these bounds are provided. We also show how these bounds may be used to prevent assignment churning in a multi-vehicle guidance scenario.


title: The Dabkowski-Sahi invariant and $4$-moves for links

abstract: Dabkowski and Sahi defined an invariant of a link in the $3$-sphere, which is preserved under $4$-moves. This invariant is a quotient of the fundamental group of the complement of the link. It is generally difficult to distinguish the Dabkowski-Sahi invariants of given links. In this paper, we give a necessary condition for the existence of an isomorphism between the Dabkowski-Sahi invariant of a link and that of the corresponding trivial link. Using this condition, we provide a practical obstruction to a link to be trivial up to $4$-moves.


title: Vision-based control of a knuckle boom crane with online cable length estimation

abstract: A vision-based controller for a knuckle boom crane is presented. The controller is used to control the motion of the crane tip and at the same time compensate for payload oscillations. The oscillations of the payload are measured with three cameras that are fixed to the crane king and are used to track two spherical markers fixed to the payload cable. Based on color and size information, each camera identifies the image points corresponding to the markers. The payload angles are then determined using linear triangulation of the image points. An extended Kalman filter is used for estimation of payload angles and angular velocity. The length of the payload cable is also estimated using a least squares technique with projection. The crane is controlled by a linear cascade controller where the inner control loop is designed to damp out the pendulum oscillation, and the crane tip is controlled by the outer loop. The control variable of the controller is the commanded crane tip acceleration, which is converted to a velocity command using a velocity loop. The performance of the control system is studied experimentally using a scaled laboratory version of a knuckle boom crane.


title: Uncertainty Intervals for Robust Bottleneck Assignment

abstract: We examine the robustness of bottleneck assignment problems to perturbations in the assignment weights. We derive two algorithms that provide uncertainty bounds for robust assignment. We prove that the bottleneck assignment is guaranteed to be invariant to perturbations which lie within the provided bounds. We apply the method to an example of task assignment for a multi-agent system.


title: Walrasian Equilibria in Markets with Small Demands

abstract: We study the complexity of finding a Walrasian equilibrium in markets where the agents have $k$-demand valuations. These valuations are an extension of unit-demand valuations where a bundle's value is the maximum of its $k$-subsets' values. For unit-demand agents, where the existence of a Walrasian equilibrium is guaranteed, we show that the problem is in quasi-NC. For $k=2$, we show that it is NP-hard to decide if a Walrasian equilibrium exists even if the valuations are fractionally subadditive (XOS), while for $k=3$ the hardness carries over to budget-additive valuations. In addition, we give a polynomial-time algorithm for markets with 2-demand single-minded valuations, or unit-demand valuations.


title: Functional Space Variational Inference for Uncertainty Estimation in Computer Aided Diagnosis

abstract: Deep neural networks have revolutionized medical image analysis and disease diagnosis. Despite their impressive performance, it is difficult to generate well-calibrated probabilistic outputs for such networks, which makes them uninterpretable black boxes. Bayesian neural networks provide a principled approach for modelling uncertainty and increasing patient safety, but they have a large computational overhead and provide limited improvement in calibration. In this work, by taking skin lesion classification as an example task, we show that by shifting Bayesian inference to the functional space we can craft meaningful priors that give better calibrated uncertainty estimates at a much lower computational cost.


title: The distribution of dark galaxies and spin bias

abstract: In the light of the discovery of numerous (almost) dark galaxies from the ALFALAFA and LITTLE THINGS surveys, we revisit the predictions of Jimenez et al. 1997, based on the Toomre stability of rapidly-spinning gas disks. We have updated the predictions for $\Lambda$CDM with parameters given by Planck18, computing the expected number densities of dark objects, and their spin parameter and mass distributions. Comparing with the data is more challenging, but where the spins are more reliably determined, the spins are close to the threshold for disks to be stable according to the Toomre criterion, where the expected number density is highest, and reinforces the concept that there is a bias in the formation of luminous galaxies based on the spin of their parent halo.