title: Strategy and Benchmark for Converting Deep Q-Networks to Event-Driven Spiking Neural Networks

abstract: Spiking neural networks (SNNs) have great potential for energy-efficient implementation of Deep Neural Networks (DNNs) on dedicated neuromorphic hardware. Recent studies demonstrated competitive performance of SNNs compared with DNNs on image classification tasks, including CIFAR-10 and ImageNet data. The present work focuses on using SNNs in combination with deep reinforcement learning in ATARI games, which involves additional complexity as compared to image classification. We review the theory of converting DNNs to SNNs and extending the conversion to Deep Q-Networks (DQNs). We propose a robust representation of the firing rate to reduce the error during the conversion process. In addition, we introduce a new metric to evaluate the conversion process by comparing the decisions made by the DQN and SNN, respectively. We also analyze how the simulation time and parameter normalization influence the performance of converted SNNs. We achieve competitive scores on 17 top-performing Atari games. To the best of our knowledge, our work is the first to achieve state-of-the-art performance on multiple Atari games with SNNs. Our work serves as a benchmark for the conversion of DQNs to SNNs and paves the way for further research on solving reinforcement learning tasks with SNNs.


title: Towards a Multi-modal, Multi-task Learning based Pre-training Framework for Document Representation Learning

abstract: Recent approaches in literature have exploited the multi-modal information in documents (text, layout, image) to serve specific downstream document tasks. However, they are limited by their - (i) inability to learn cross-modal representations across text, layout and image dimensions for documents and (ii) inability to process multi-page documents. Pre-training techniques have been shown in Natural Language Processing (NLP) domain to learn generic textual representations from large unlabelled datasets, applicable to various downstream NLP tasks. In this paper, we propose a multi-task learning-based framework that utilizes a combination of self-supervised and supervised pre-training tasks to learn a generic document representation applicable to various downstream document tasks. Specifically, we introduce Document Topic Modelling and Document Shuffle Prediction as novel pre-training tasks to learn rich image representations along with the text and layout representations for documents. We utilize the Longformer network architecture as the backbone to encode the multi-modal information from multi-page documents in an end-to-end fashion. We showcase the applicability of our pre-training framework on a variety of different real-world document tasks such as document classification, document information extraction, and document retrieval. We evaluate our framework on different standard document datasets and conduct exhaustive experiments to compare performance against various ablations of our framework and state-of-the-art baselines.


title: DER Information Unaware Coordination via Day-ahead Dynamic Power Bounds

abstract: Reliability and voltage quality in distribution networks have been achieved via a combination of transformer power rating satisfaction and voltage management asset control. To maintain reliable operation under this paradigm, however, future grids with deep DER penetrations would require costly equipment upgrades. These upgrades can be mitigated via judicious coordination of DER operation. Earlier work has assumed a hierarchical control architecture in which a global controller (GC) uses detailed power injection and DER data and knowledge of DER owners' objectives to determine setpoints that local controllers should follow in order to achieve reliable and cost effective grid operation. Having such data and assuming knowledge of DER owners' objectives, however, are often not desirable or possible. In an earlier work, a 2-layer DER coordination architecture was shown to achieve close to optimal performance despite infrequent communication to a global controller. Motivated by this work, this paper proposes a day-ahead coordination scheme that uses forecasted power profile ranges to generate day-ahead dynamic power rating bounds at each transformer. Novel features of this scheme include: (i) the GC knows only past node power injection data and does not impose or know DER owner objectives, (ii) we use bounds that ensure reliable operation to guide the local controllers rather than setpoint tracking, and (iii) we consider electric vehicle (EV) charging in addition to storage. Simulations using the IEEE 123-bus network show that with 50% solar, 50% EVs and 10% storage penetrations, the uncoordinated approach incurs rating violations at nearly all 86 transformers and results in 10 times higher voltage deviation, while our approach incurs only 12 rating violations and maintains almost the same voltage deviations as before the addition of solar and EVs.


title: LEBANONUPRISING: a thorough study of Lebanese tweets

abstract: Recent studies showed a huge interest in social networks sentiment analysis. Twitter, which is a microblogging service, can be a great source of information on how the users feel about a certain topic, or what their opinion is regarding a social, economic and even political matter. On October 17, Lebanon witnessed the start of a revolution; the LebanonUprising hashtag became viral on Twitter. A dataset consisting of a 100,0000 tweets was collected between 18 and 21 October. In this paper, we conducted a sentiment analysis study for the tweets in spoken Lebanese Arabic related to the LebanonUprising hashtag using different machine learning algorithms. The dataset was manually annotated to measure the precision and recall metrics and to compare between the different algorithms. Furthermore, the work completed in this paper provides two more contributions. The first is related to building a Lebanese to Modern Standard Arabic mapping dictionary that was used for the preprocessing of the tweets and the second is an attempt to move from sentiment analysis to emotion detection using emojis, and the two emotions we tried to predict were the "sarcastic" and "funny" emotions. We built a training set from the tweets collected in October 2019 and then we used this set to predict sentiments and emotions of the tweets we collected between May and August 2020. The analysis we conducted shows the variation in sentiments, emotions and users between the two datasets. The results we obtained seem satisfactory especially considering that there was no previous or similar work done involving Lebanese Arabic tweets, to our knowledge.


title: Study of self-interaction errors in density functional predictions of dipole polarizabilities and ionization energies of water clusters using Perdew-Zunger and locally scaled self-interaction corrected methods

abstract: We studied the effect of self-interaction error (SIE) on the static dipole polarizabilities of water clusters modelled with three increasingly sophisticated, non-empirical density functional approximations (DFAs), viz. the local spin density approximation (LDA), the Perdew-Burke-Ernzherof (PBE) generalized-gradient approximation (GGA), and the strongly constrained and appropriately normed (SCAN) meta-GGA, using the Perdew-Zunger self-interaction-correction (PZ-SIC) energy functional in the Fermi-L\"owdin orbital SIC (FLO-SIC) framework. Our results show that while all three DFAs overestimate the cluster polarizabilities, the description systematically improves from LDA to PBE to SCAN. The self-correlation free SCAN predicts polarizabilities quite accurately with a mean absolute error (MAE) of 0.58 Bohr$^3$ with respect to coupled cluster singles and doubles (CCSD) values. Removing SIE using PZ-SIC correctly reduces the DFA polarizabilities, but over-corrects, resulting in underestimated polarizabilities in SIC-LDA, -PBE, and -SCAN. Finally, we applied a recently proposed local-scaling SIC (LSIC) method using a quasi self-consistent scheme and using the kinetic energy density ratio as an iso-orbital indicator. The results show that the LSIC polarizabilities are in excellent agreement with mean absolute error of 0.08 Bohr$^3$ for LSIC-LDA and 0.06 Bohr$^3$ for LSIC-PBE with most recent CCSD polarizabilities. Likewise, the ionization energy estimates as an absolute of highest occupied energy eigenvalue predicted by LSIC are also in excellent agreement with CCSD(T) ionization energies with MAE of 0.4 eV for LSIC-LDA and 0.04 eV for LSIC-PBE. The LSIC-LDA predictions of ionization energies are comparable to the reported GW ionization energies while the LSIC-PBE ionization energies are more accurate than reported GW results.


title: Double/Debiased Machine Learning for Logistic Partially Linear Model

abstract: We propose double/debiased machine learning approaches to infer (at the parametric rate) the parametric component of a logistic partially linear model with the binary response following a conditional logistic model of a low dimensional linear parametric function of some key (exposure) covariates and a nonparametric function adjusting for the confounding effect of other covariates. We consider a Neyman orthogonal (doubly robust) score equation consisting of two nuisance functions: nonparametric component in the logistic model and conditional mean of the exposure on the other covariates and with the response fixed. To estimate the nuisance models, we separately consider the use of high dimensional (HD) sparse parametric models and more general (typically nonparametric) machine learning (ML) methods. In the HD case, we derive certain moment equations to calibrate the first-order bias of the nuisance models and grant our method a model double robustness property in the sense that our estimator achieves the desirable rate when at least one of the nuisance models is correctly specified and both of them are ultra-sparse. In the ML case, the non-linearity of the logit link makes it substantially harder than the partially linear setting to use an arbitrary conditional mean learning algorithm to estimate the nuisance component of the logistic model. We handle this obstacle through a novel full model refitting procedure that is easy-to-implement and facilitates the use of nonparametric ML algorithms in our framework. Our ML estimator is rate doubly robust in the same sense as Chernozhukov et al. (2018a). We evaluate our methods through simulation studies and apply them in assessing the effect of emergency contraceptive (EC) pill on early gestation foetal with a policy reform in Chile in 2008 (Bentancor and Clarke, 2017).


title: A Nanoscale Room-Temperature Multilayer Skyrmionic Synapse for Deep Spiking Neural Networks

abstract: Magnetic skyrmions have attracted considerable interest, especially after their recent experimental demonstration at room temperature in multilayers. The robustness, nanoscale size and non-volatility of skyrmions have triggered a substantial amount of research on skyrmion-based low-power, ultra-dense nanocomputing and neuromorphic systems such as artificial synapses. Room-temperature operation is required to integrate skyrmionic synapses in practical future devices. Here, we numerically propose a nanoscale skyrmionic synapse composed of magnetic multilayers that enables room-temperature device operation tailored for optimal synaptic resolution. We demonstrate that when embedding such multilayer skyrmionic synapses in a simple spiking neural network (SNN) with unsupervised learning via the spike-timing-dependent plasticity rule, we can achieve only a 78% classification accuracy in the MNIST handwritten data set under realistic conditions. We propose that this performance can be significantly improved to about 98.61% by using a deep SNN with supervised learning. Our results illustrate that the proposed skyrmionic synapse can be a potential candidate for future energy-efficient neuromorphic edge computing.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph


title: Neural RST-based Evaluation of Discourse Coherence

abstract: This paper evaluates the utility of Rhetorical Structure Theory (RST) trees and relations in discourse coherence evaluation. We show that incorporating silver-standard RST features can increase accuracy when classifying coherence. We demonstrate this through our tree-recursive neural model, namely RST-Recursive, which takes advantage of the text's RST features produced by a state of the art RST parser. We evaluate our approach on the Grammarly Corpus for Discourse Coherence (GCDC) and show that when ensembled with the current state of the art, we can achieve the new state of the art accuracy on this benchmark. Furthermore, when deployed alone, RST-Recursive achieves competitive accuracy while having 62% fewer parameters.


title: Impact of impurity scattering on odd-frequency spin-triplet pairing near the edge of the Kitaev chain

abstract: We study a Kitaev chain model, which is the simplest model of topological superconductors hosting Majorana fermion, appearing as a zero-energy state at the edge. We analytically calculate the Green's function of the semi-infinite Kitaev chain with a delta-function-type impurity potential within the quasi-classical regime to obtain the spatial dependence of the induced odd-frequency pairing. It is found that if the position of the impurity is not far from the edge, the spatial profile of the local density of states (LDOS) and the odd-frequency spin-triplet $s$-wave pair amplitude is tunable as a function of the strength of the impurity potential. Moreover, the zero-energy LDOS and low-frequency odd-frequency pair amplitude are found to have the same spatial dependence. The spatial profile of the zero-energy LDOS is analyzed based on the wave function of Majorana fermions.


title: Task Matters When Scanning Data Visualizations

abstract: One of the major challenges for evaluating the effectiveness of data visualizations and visual analytics tools arises from the fact that different users may be using these tools for different tasks. In this paper, we present a simple example of how different tasks lead to different patterns of attention to the same underlying data visualizations. We argue that the general approach used in this experiment could be applied systematically to task and feature taxonomies that have been developed by visualization researchers. Using eye tracking to study the impact of common tasks on how humans attend to common types of visualizations will support a deeper understanding of visualization cognition and the development of more robust methods for evaluating the effectiveness of visualizations.


title: Stability conditions on affine Noetherian schemes

abstract: We show that the existence of locally finite stability conditions on the bounded derived category $\mathbf{D}^{b}(X)$ of coherent sheaves on an affine Noetherian scheme $X$ is equivalent to $\dim X=0$. We also study the spaces of stability conditions on the category of morphisms $\mathbf M_{X}$ in the derived category of the scheme $X$ and show that the spaces of stability conditions on $\mathbf{D}^{b}(X)$ and $\mathbf{M}_{X}$ are homotopy equivalent to each other.


title: Distributed Many-to-Many Protein Sequence Alignment using Sparse Matrices

abstract: Identifying similar protein sequences is a core step in many computational biology pipelines such as detection of homologous protein sequences, generation of similarity protein graphs for downstream analysis, functional annotation and gene location. Performance and scalability of protein similarity searches have proven to be a bottleneck in many bioinformatics pipelines due to increases in cheap and abundant sequencing data. This work presents a new distributed-memory software, PASTIS. PASTIS relies on sparse matrix computations for efficient identification of possibly similar proteins. We use distributed sparse matrices for scalability and show that the sparse matrix infrastructure is a great fit for protein similarity searches when coupled with a fully-distributed dictionary of sequences that allows remote sequence requests to be fulfilled. Our algorithm incorporates the unique bias in amino acid sequence substitution in searches without altering the basic sparse matrix model, and in turn, achieves ideal scaling up to millions of protein sequences.


title: Learning Image-adaptive 3D Lookup Tables for High Performance Photo Enhancement in Real-time

abstract: Recent years have witnessed the increasing popularity of learning based methods to enhance the color and tone of photos. However, many existing photo enhancement methods either deliver unsatisfactory results or consume too much computational and memory resources, hindering their application to high-resolution images (usually with more than 12 megapixels) in practice. In this paper, we learn image-adaptive 3-dimensional lookup tables (3D LUTs) to achieve fast and robust photo enhancement. 3D LUTs are widely used for manipulating color and tone of photos, but they are usually manually tuned and fixed in camera imaging pipeline or photo editing tools. We, for the first time to our best knowledge, propose to learn 3D LUTs from annotated data using pairwise or unpaired learning. More importantly, our learned 3D LUT is image-adaptive for flexible photo enhancement. We learn multiple basis 3D LUTs and a small convolutional neural network (CNN) simultaneously in an end-to-end manner. The small CNN works on the down-sampled version of the input image to predict content-dependent weights to fuse the multiple basis 3D LUTs into an image-adaptive one, which is employed to transform the color and tone of source images efficiently. Our model contains less than 600K parameters and takes less than 2 ms to process an image of 4K resolution using one Titan RTX GPU. While being highly efficient, our model also outperforms the state-of-the-art photo enhancement methods by a large margin in terms of PSNR, SSIM and a color difference metric on two publically available benchmark datasets.


title: System measurement of Intel AEP Optane DIMM

abstract: In recent years, memory wall has been a great performance bottleneck of computer system. To overcome it, Non-Volatile Main Memory (NVMM) technology has been discussed widely to provide a much larger main memory capacity. Last year, Intel released AEP Optane DIMM, which provides hundreds of GB capacity as a promising replacement of traditional DRAM memory. But as most key parameters of AEP is not open to users, there is a need to get to know them because they will guide a direction of further NVMM research. In this paper, we focus on measuring performance and architecture features of AEP DIMM. Together, we explore the design of DRAM cache which is an important part of DRAM-AEP hybrid memory system. As a result, we estimate the write latency of AEP DIMM which has not been measured accurately. And, we discover the current design parameters of DRAM cache, such as tag organization, cache associativity and set index mapping. All of these features are first published on academic paper which are greatly helpful to future NVMM optimizations.


title: EZFF: Python Library for Multi-Objective Parameterization and Uncertainty Quantification of Interatomic Forcefields for Molecular Dynamics

abstract: Parameterization of interatomic forcefields is a necessary first step in performing molecular dynamics simulations. This is a non-trivial global optimization problem involving quantification of multiple empirical variables against one or more properties. We present EZFF, a lightweight Python library for parameterization of several types of interatomic forcefields implemented in several molecular dynamics engines against multiple objectives using genetic-algorithm-based global optimization methods. The EZFF scheme provides unique functionality such as the parameterization of hybrid forcefields composed of multiple forcefield interactions as well as built-in quantification of uncertainty in forcefield parameters and can be easily extended to other forcefield functional forms as well as MD engines.


title: PettingZoo: Gym for Multi-Agent Reinforcement Learning

abstract: This paper introduces the PettingZoo library and the accompanying Agent Environment Cycle ("AEC") games model. PettingZoo is a library of diverse sets of multi-agent environments with a universal, elegant Python API. PettingZoo was developed with the goal of accelerating research in Multi-Agent Reinforcement Learning ("MARL"), by making work more interchangeable, accessible and reproducible akin to what OpenAI's Gym library did for single-agent reinforcement learning. PettingZoo's API, while inheriting many features of Gym, is unique amongst MARL APIs in that it's based around the novel AEC games model. We argue, in part through case studies on major problems in popular MARL environments, that the popular game models are poor conceptual models of games commonly used in MARL and accordingly can promote confusing bugs that are hard to detect, and that the AEC games model addresses these problems.


title: Constraint energy minimization generalized multiscale finite element method in mixed formulation for parabolic equations

abstract: In this paper, we develop the constraint energy minimization generalized multiscale finite element method (CEM-GMsFEM) in mixed formulation applied to parabolic equations with heterogeneous diffusion coefficients. The construction of the method is based on two multiscale spaces: pressure multiscale space and velocity multiscale space. The pressure space is constructed via a set of well-designed local spectral problems, which can be solved independently. Based on the computed pressure multiscale space, we will construct the velocity multiscale space by applying constrained energy minimization. The convergence of the proposed method is proved.In particular, we prove that the convergence of the method depends only on the coarse grid size, and is independent of the heterogeneities and contrast of thediffusion coefficient. Four typical types of permeability fields are exploited in the numerical simulations, and the results indicate that our proposed method works well and gives efficient and accurate numerical solutions.


title: The Online Broadcast Range-Assignment Problem

abstract: Let $P=\{p_0,\ldots,p_{n-1}\}$ be a set of points in $\mathbb{R}^d$, modeling devices in a wireless network. A range assignment assigns a range $r(p_i)$ to each point $p_i\in P$, thus inducing a directed communication graph $G_r$ in which there is a directed edge $(p_i,p_j)$ iff $\textrm{dist}(p_i, p_j) \leq r(p_i)$, where $\textrm{dist}(p_i,p_j)$ denotes the distance between $p_i$ and $p_j$. The range-assignment problem is to assign the transmission ranges such that $G_r$ has a certain desirable property, while minimizing the cost of the assignment; here the cost is given by $\sum_{p_i\in P} r(p_i)^{\alpha}$, for some constant $\alpha>1$ called the distance-power gradient. We introduce the online version of the range-assignment problem, where the points $p_j$ arrive one by one, and the range assignment has to be updated at each arrival. Following the standard in online algorithms, resources given out cannot be taken away -- in our case this means that the transmission ranges will never decrease. The property we want to maintain is that $G_r$ has a broadcast tree rooted at the first point $p_0$. Our results include the following. - For $d=1$, a 1-competitive algorithm does not exist. In particular, for $\alpha=2$ any online algorithm has competitive ratio at least 1.57. - For $d=1$ and $d=2$, we analyze two natural strategies: Upon the arrival of a new point $p_j$, Nearest-Neighbor increases the range of the nearest point to cover $p_j$ and Cheapest Increase increases the range of the point for which the resulting cost increase to be able to reach $p_j$ is minimal. - We generalize the problem to arbitrary metric spaces, where we present an $O(\log n)$-competitive algorithm.


title: User-item matching for recommendation fairness

abstract: As we all know, users and item-providers are two main parties of participants in recommender systems. However, most existing research efforts on recommendation were focused on better serving users and overlooked the purpose of item-providers. This paper is devoted to improve the item exposure fairness for item-providers' objective, and keep the recommendation accuracy not decreased or even improved for users' objective. We propose to set stock volume constraints on items, to be specific, limit the maximally allowable recommended times of an item to be proportional to the frequency of its being interacted in the past, which is validated to achieve superior item exposure fairness to common recommenders and thus mitigates the Matthew Effect on item popularity. With the two constraints of pre-existing recommendation length of users and our stock volumes of items, a heuristic strategy based on normalized scores and a Minimum Cost Maximum Flow (MCMF) based model are proposed to solve the optimal user-item matching problem, whose accuracy performances are even better than that of baseline algorithm in regular recommendation context, and in line with state-of-the-art enhancement of the baseline. What's more, our MCMF based strategy is parameter-free, while those counterpart algorithms have to resort to parameter traversal process to achieve their best performance.


title: Combinatorics of orthogonal polynomials of type $R_I$

abstract: A combinatorial theory for type $R_I$ orthogonal polynomials is given. The ingredients include weighted generalized Motzkin paths, moments, continued fractions, determinants, and histories. Several explicit examples in the Askey scheme are given.


title: Infrared detection of aliphatic organics on a cometary nucleus

abstract: The ESA Rosetta mission has acquired unprecedented measurements of comet 67/P-Churyumov-Gerasimenko (hereafter 67P) nucleus surface, whose composition, as determined by in situ and remote sensing instruments including VIRTIS (Visible, InfraRed and Thermal Imaging Spectrometer) appears to be made by an assemblage of ices, minerals, and organic material. We performed a refined analysis of infrared observations of the nucleus of comet 67P carried out by the VIRTIS-M hyperspectral imager. We found that the overall shape of the 67P infrared spectrum is similar to that of other carbon-rich outer solar system objects suggesting a possible genetic link with them. More importantly, we are also able to confirm the complex spectral structure of the wide 2.8-3.6 micron absorption feature populated by fainter bands. Among these, we unambiguously identified the presence of aliphatic organics by their ubiquitous 3.38, 3.42 and 3.47 micron bands. This novel infrared detection of aliphatic species on a cometary surface has strong implications for the evolutionary history of the primordial solar system and give evidence that comets provide an evolutionary link between interstellar material and solar system bodies.


title: A Coevolutionary Variable Neighborhood Search Algorithm for Discrete Multitasking (CoVNS): Application to Community Detection over Graphs

abstract: The main goal of the multitasking optimization paradigm is to solve multiple and concurrent optimization tasks in a simultaneous way through a single search process. For attaining promising results, potential complementarities and synergies between tasks are properly exploited, helping each other by virtue of the exchange of genetic material. This paper is focused on Evolutionary Multitasking, which is a perspective for dealing with multitasking optimization scenarios by embracing concepts from Evolutionary Computation. This work contributes to this field by presenting a new multitasking approach named as Coevolutionary Variable Neighborhood Search Algorithm, which finds its inspiration on both the Variable Neighborhood Search metaheuristic and coevolutionary strategies. The second contribution of this paper is the application field, which is the optimal partitioning of graph instances whose connections among nodes are directed and weighted. This paper pioneers on the simultaneous solving of this kind of tasks. Two different multitasking scenarios are considered, each comprising 11 graph instances. Results obtained by our method are compared to those issued by a parallel Variable Neighborhood Search and independent executions of the basic Variable Neighborhood Search. The discussion on such results support our hypothesis that the proposed method is a promising scheme for simultaneous solving community detection problems over graphs.


title: Connecting scrambling and work statistics for short-range interactions in the harmonic oscillator

abstract: We investigate the relationship between information scrambling and work statistics after a quench for the paradigmatic example of short-range interacting particles in a one-dimensional harmonic trap, considering up to five particles numerically. In particular, we find that scrambling requires finite interactions, in the presence of which the long-time average of the squared commutator for the individual canonical operators is directly proportional to the variance of the work probability distribution. In addition to the numerical results, we outline the mathematical structure of the N-body system which leads to this outcome. We thereby establish a connection between the scrambling properties and the induced work fluctuations, with the latter being an experimental observable that is directly accessible in modern cold atom experiments.


title: Monochromatic Triangles, Intermediate Matrix Products, and Convolutions

abstract: The most studied linear algebraic operation, matrix multiplication, has surprisingly fast $O(n^\omega)$ time algorithms for $\omega<2.373$. On the other hand, the $(\min,+)$ matrix product which is at the heart of many fundamental graph problems such as APSP, has received only minor improvements over its brute-force cubic running time and is widely conjectured to require $n^{3-o(1)}$ time. There is a plethora of matrix products and graph problems whose complexity seems to lie in the middle of these two problems. For instance, the Min-Max matrix product, the Minimum Witness matrix product, APSP in directed unweighted graphs and determining whether an edge-colored graph contains a monochromatic triangle, can all be solved in $\tilde O(n^{(3+\omega)/2})$ time. A similar phenomenon occurs for convolution problems, where analogous intermediate problems can be solved in $\tilde O(n^{1.5})$ time. Can one improve upon the running times for these intermediate problems, in either the matrix product or the convolution world? Or, alternatively, can one relate these problems to each other and to other key problems in a meaningful way? This paper makes progress on these questions by providing a network of fine-grained reductions. We show for instance that APSP in directed unweighted graphs and Minimum Witness product can be reduced to both the Min-Max product and a variant of the monochromatic triangle problem. We also show that a natural convolution variant of monochromatic triangle is fine-grained equivalent to the famous 3SUM problem. As this variant is solvable in $O(n^{1.5})$ time and 3SUM is in $O(n^2)$ time (and is conjectured to require $n^{2-o(1)}$ time), our result gives the first fine-grained equivalence between natural problems of different running times.


title: Network memory in the movement of hospital patients carrying drug-resistant bacteria

abstract: Hospitals constitute highly interconnected systems that bring into contact an abundance of infectious pathogens and susceptible individuals, thus making infection outbreaks both common and challenging. In recent years, there has been a sharp incidence of antimicrobial-resistance amongst healthcare-associated infections, a situation now considered endemic in many countries. Here we present network-based analyses of a data set capturing the movement of patients harbouring drug-resistant bacteria across three large London hospitals. We show that there are substantial memory effects in the movement of hospital patients colonised with drug-resistant bacteria. Such memory effects break first-order Markovian transitive assumptions and substantially alter the conclusions from the analysis, specifically on node rankings and the evolution of diffusive processes. We capture variable length memory effects by constructing a lumped-state memory network, which we then use to identify overlapping communities of wards. We find that these communities of wards display a quasi-hierarchical structure at different levels of granularity which is consistent with different aspects of patient flows related to hospital locations and medical specialties.


title: Impact and Calibration of Nonlinear Reciprocity Mismatch in Massive MIMO

abstract: Time-division-duplexing massive multiple-input multiple-output (MIMO) systems estimate the channel state information (CSI) by leveraging the uplink-downlink channel reciprocity, which is no longer valid when the mismatch arises from the asymmetric uplink and downlink radio frequency (RF) chains. Existing works treat the reciprocity mismatch as constant for simplicity. However, the practical RF chain consists of nonlinear components, which leads to nonlinear reciprocity mismatch. In this work, we examine the impact and the calibration approach of the nonlinear reciprocity mismatch in massive MIMO systems. To evaluate the impact of the nonlinear mismatch, we first derive the closed-form expression of the ergodic achievable rate. Then, we analyze the performance loss caused by the nonlinear mismatch to show that the impact of the mismatch at the base station (BS) side is much larger than that at the user equipment side. Therefore, we propose a calibration method for the BS. During the calibration, polynomial function is applied to approximate the nonlinear mismatch factor, and over-the-air training is employed to estimate the polynomial coefficients. After that, the calibration coefficients are computed by maximizing the downlink achievable rate. Simulation results are presented to verify the analytical results and to show the performance of the proposed calibration approach.


title: Exit rights open complex pathways to cooperation

abstract: We study the evolutionary dynamics of the prisoner's dilemma game in which cooperators and defectors interact with another actor type called exiters. Rather than being exploited by defectors, exiters exit the game in favour of a small payoff. We find that this simple extension of the game allows cooperation to flourish in well-mixed populations when iterations or reputation are added. In networked populations, however, the exit option is less conducive to cooperation. Instead, it enables the coexistence of cooperators, defectors, and exiters through cyclic dominance. Other outcomes are also possible as the exit payoff increases or the network structure changes, including network-wide oscillations in actor abundances that may cause the extinction of exiters and the domination of defectors, although game parameters should favour exiting. The complex dynamics that emerges in the wake of a simple option to exit the game implies that nuances matter even if our analyses are restricted to incentives for rational behaviour.


title: Unidirectional transmission of single photons under non-ideal chiral photon-atom interactions

abstract: Single-photon transport in non-ideal chiral photon-atom interaction structures generally contains information backflow and thus limits the capabilities to transfer information between distant emitters in cascaded quantum networks. Here, in the non-ideal chiral case, a V -type atom coupled to a waveguide is proposed to realize completely unidirectional transmission of the single photons in a superposition state of different frequencies. A microwave field is introduced to drive the two excited states of the atom and results in photon conversion between two transitions. By adjusting the Rabi frequency and the phase of the external driving field, the transport behaviors of incident photons with specific frequencies can be optimized to complete transmission or reflection. Based on the constructive interferences between photons from different traveling paths, the transmission probabilities of the specific-frequency photons could be enhanced. Due to photon conversions with compensating the dissipations and ensuring the complete destructive interference, the ideal unidirectional transmission contrast can be maintained to 1, even when the atom has dissipations into the non-waveguide modes.


title: On Mendelian Randomization Mixed-Scale Treatment Effect Robust Identification (MR MiSTERI) and Estimation for Causal Inference

abstract: Standard Mendelian randomization analysis can produce biased results if the genetic variant defining the instrumental variable (IV) is confounded and/or has a horizontal pleiotropic effect on the outcome of interest not mediated by the treatment. We provide novel identification conditions for the causal effect of a treatment in presence of unmeasured confounding, by leveraging an invalid IV for which both the IV independence and exclusion restriction assumptions may be violated. The proposed Mendelian Randomization Mixed-Scale Treatment Effect Robust Identification (MR MiSTERI) approach relies on (i) an assumption that the treatment effect does not vary with the invalid IV on the additive scale; and (ii) that the selection bias due to confounding does not vary with the invalid IV on the odds ratio scale; and (iii) that the residual variance for the outcome is heteroscedastic and thus varies with the invalid IV. We formally establish that their conjunction can identify a causal effect even with an invalid IV subject to pleiotropy. MiSTERI is shown to be particularly advantageous in presence of pervasive heterogeneity of pleiotropic effects on additive scale, a setting in which two recently proposed robust estimation methods MR GxE and MR GENIUS can be severely biased. In order to incorporate multiple, possibly correlated and weak IVs, a common challenge in MR studies, we develop a MAny Weak Invalid Instruments (MR MaWII MiSTERI) approach for strengthened identification and improved accuracy MaWII MiSTERI is shown to be robust to horizontal pleiotropy, violation of IV independence assumption and weak IV bias. Both simulation studies and real data analysis results demonstrate the robustness of the proposed MR MiSTERI methods.


title: Boundedness for finite subgroups of linear algebraic groups

abstract: We show the boundedness of finite subgroups in any anisotropic reductive algebraic group over a perfect field that contains all roots of 1. Also, we provide explicit bounds for orders of finite subgroups of automorphism groups of Severi-Brauer varieties and quadrics over such fields.


title: Spectral investigation of Ceres analogue mixtures: in-depth analysis of crater central peak material (ccp) on Ceres

abstract: In order to investigate the causes of different spectral slope in ccps, different grain-sizes of Ceres analogue mixtures were produced, heated to remove absorption of atmospheric water, and spectrally analyzed. First, the end-members which compose the Ceres surface (using the antigorite as Mg-phyllosilicate, the NH4-montmorillonite as NH4-phyllosilicate, the dolomite as carbonate and the graphite as dark component), were mixed, obtaining mixtures with different relative abundance, and identifying the mixture with the reflectance spectrum most similar to the average Ceres spectrum. The mixtures were obtained with grain size of 0-25 {\mu}m, 25-50 mic and 50-100 mic, were heated and spectrally analysed at T= 300 K and T=200 K (typical for surface Ceres temperature during VIR observations). The most similar Ceres analogue mixture is composed of dolomite (18%), graphite (27%), antigorite (32%) and NH4-montmorillonite (29%) and the results of this work suggest that this mixture is more similar to the Ceres youngest region than to the Ceres average, in particular for the negative slope of spectrum. Small variation in the composition and grain size of end-members need to be considered, in addition to the occurrence of a dark component dispersed in fine size. Furthermore, the positive spectral slope that characterizes the mean Ceres spectrum can be obtained by the application of some processes simulating the space weathering on Ceres (as micro-meteoritic impacts and solar wind irradiation), i.e. laser and ion irradiation. As conclusion, youngest ccps on Ceresare probably composed by fresher and weakly processed mixture with fine dark material intimately dispersed: as a result, the reflectance spectra of youngest material show a negative slope in the 1.2-1.9 mic range. The redder slope observed in the older ccps is probably the consequence of the space weathering effects on fresher material


title: The Utility of Decorrelating Colour Spaces in Vector Quantised Variational Autoencoders

abstract: Vector quantised variational autoencoders (VQ-VAE) are characterised by three main components: 1) encoding visual data, 2) assigning $k$ different vectors in the so-called embedding space, and 3) decoding the learnt features. While images are often represented in RGB colour space, the specific organisation of colours in other spaces also offer interesting features, e.g. CIE L*a*b* decorrelates chromaticity into opponent axes. In this article, we propose colour space conversion, a simple quasi-unsupervised task, to enforce a network learning structured representations. To this end, we trained several instances of VQ-VAE whose input is an image in one colour space, and its output in another, e.g. from RGB to CIE L*a*b* (in total five colour spaces were considered). We examined the finite embedding space of trained networks in order to disentangle the colour representation in VQ-VAE models. Our analysis suggests that certain vectors encode hue and others luminance information. We further evaluated the quality of reconstructed images at low-level using pixel-wise colour metrics, and at high-level by inputting them to image classification and scene segmentation networks. We conducted experiments in three benchmark datasets: ImageNet, COCO and CelebA. Our results show, with respect to the baseline network (whose input and output are RGB), colour conversion to decorrelated spaces obtains 1-2 Delta-E lower colour difference and 5-10% higher classification accuracy. We also observed that the learnt embedding space is easier to interpret in colour opponent models.


title: Generalized Koch curves and Thue-Morse sequences

abstract: Let $(t_n)_{n\ge0}$ be the well konwn $\pm1$ Thue-Morse sequence $$+1,-1,-1,+1,-1,+1,+1,-1,\cdots.$$ Since the 1982-1983 work of Coquet and Dekking, it is known that $\sum_{k<n}t_ke^\frac{2k\pi i}{3}$ is strongly related to the famous Koch curve. As a natural generalization, for integer $m\ge1$, we use $\sum_{k<n}\delta_ke^\frac{2k\pi i}{m}$ to define generalized Koch curve, where $(\delta_n)_{n\ge0}$ is the generalized Thue-Morse sequence defined to be the unique fixed point of the morphism $$+1\mapsto+1,+\delta_1,\cdots,+\delta_m$$ $$-1\mapsto-1,-\delta_1,\cdots,-\delta_m$$ beginning with $\delta_0=+1$ and $\delta_1,\cdots,\delta_m\in\{+1,-1\}$, and we prove that generalized Koch curves are the attractors of corresponding iterated function systems. For the case that $m\ge2$, $\delta_0=\cdots=\delta_{\lfloor\frac{m}{4}\rfloor}=+1$, $\delta_{\lfloor\frac{m}{4}\rfloor+1}=\cdots=\delta_{m-\lfloor\frac{m}{4}\rfloor-1}=-1$ and $\delta_{m-\lfloor\frac{m}{4}\rfloor}=\cdots=\delta_m=+1$, the open set condition holds, and then the corresponding generalized Koch curve has Hausdorff, packing and box dimension $\log(m+1)/\log|\sum_{k=0}^m\delta_ke^{\frac{2k\pi i}{m}}|$, where taking $m=3$ and then $\delta_0=+1,\delta_1=\delta_2=-1,\delta_3=+1$ will recover the result on the classical Koch curve.


title: Comparison of simulated backgrounds with in-orbit observations for HE, ME and LE onboard Insight-HXMT

abstract: Insight-HXMT, the first X-ray astronomical satellite in China, aims to reveal new sources in the Galaxy and to study fundamental physics of X-ray binaries from 1\,keV to 250\,keV. It has three collimated telescopes, the High Energy X-ray telescope (HE), the Medium Energy X-ray telescope (ME) and the Low Energy X-ray telescope (LE). Before the launch, in-orbit backgrounds of these three telescopes had been estimated through Geant4 simulation, in order to investigate the instrument performance and the achievement of scientific goals. In this work, these simulated backgrounds are compared with in-orbit observations. Good agreement is shown for all three telescopes. For HE, 1) the deviation of the simulated background rate after two years of operation in space is $\sim5\%$ from the observation; 2) the total background spectrum and the relative abundance of the $\sim$67\,keV line show long-term increases both in simulations and observations. For ME, 1) the deviation of simulated background rate is within $\sim15\%$ from the observation, and 2) there are no obvious long-term increase features in the background spectra of simulations and observations. For LE, the background level given by simulations is also consistent with observations. The consistencies of these comparisons validate that the Insight-HXMT mass model, i.e. space environment components and models adopted, physics processes selected and detector constructions built, is reasonable. However, the line features at $\sim$7.5\,keV and 8.0\,keV, which are obvious in the observed spectra of LE, are not evident in simulations. This might result from uncertainties in the LE constructions.


title: Label-free microscopy of mitotic chromosomes using the polarization Orthogonality Breaking technique

abstract: The vast majority of the microscopy methods currently available to study biological samples require staining prior to imaging. Nevertheless, the ability to reveal specific cell structures or organelles in a label-free manner remains desirable in different contexts. Polarization microscopy has long been considered as an interesting alternative to fluorescence-based methods in order to gain specificity on the imaged biological samples. In this work, we show how an original polarization imaging technique, implementing micro-wave photonics and referred to as orthogonality-breaking (OB) microscopy, can provide informative polarization images from a single scan of the cell sample in a fast and sensitive way. For OB imaging, the sample is probed with a laser setup simultaneously generating two orthogonal polarizations shifted in frequency by a few tens of MHz. If the imaged samples display some polarimetric properties, the orthogonality between the two polarizations is broken, leading to a beatnote interference signal that can be detected with a fast detector. The comparison of the images of various cell lines at different cell-cycle stages obtained by OB polarization microscopy and fluorescence confocal images shows that an endogenous polarimetric contrast arizes on compacted chromosomes during cell division. This technique paves the way to label-free real-time polarization imaging of mitotic chromosomes with further potential applications in histology and cancer diagnosis.


title: An Exclusion Principle for Sum-Free Quantum Numbers

abstract: A hypothetical exclusion principle for quantum particles is introduced that generalizes the exclusion and inclusion principles for fermions and bosons, respectively: the correlated exclusion principle. The sum-free condition for Schur numbers can be read off as a form of exclusion principle for quantum particles. Consequences of this interpretation are analysed within the framework of quantum many-body systems. A particular instance of the correlated exclusion principle can be solved explicitly yielding a sequence of quantum numbers that exhibits a fractal structure and is a relative of the Thue-Thurston sequence. The corresponding algebra of creation and annihilation operators can be identified in terms of commutation and anticommutation relations of a restricted version of the hard-core boson algebra.


title: A quantum magnetic analogue to the critical point of water

abstract: At the familiar liquid-gas phase transition in water, the density jumps discontinuously at atmospheric pressure, but the line of these first-order transitions defined by increasing pressures terminates at the critical point, a concept ubiquitous in statistical thermodynamics. In correlated quantum materials, a critical point was predicted and measured terminating the line of Mott metal-insulator transitions, which are also first-order with a discontinuous charge density. In quantum spin systems, continuous quantum phase transitions (QPTs) have been investigated extensively, but discontinuous QPTs have received less attention. The frustrated quantum antiferromagnet SrCu$_2$(BO$_3$)$_2$ constitutes a near-exact realization of the paradigmatic Shastry-Sutherland model and displays exotic phenomena including magnetization plateaux, anomalous thermodynamics and discontinuous QPTs. We demonstrate by high-precision specific-heat measurements under pressure and applied magnetic field that, like water, the pressure-temperature phase diagram of SrCu$_2$(BO$_3$)$_2$ has an Ising critical point terminating a first-order transition line, which separates phases with different densities of magnetic particles (triplets). We achieve a quantitative explanation of our data by detailed numerical calculations using newly-developed finite-temperature tensor-network methods. These results open a new dimension in understanding the thermodynamics of quantum magnetic materials, where the anisotropic spin interactions producing topological properties for spintronic applications drive an increasing focus on first-order QPTs.


title: Stable double-heavy tetraquarks: spectrum and structure

abstract: Bound states of double-heavy tetraquarks are studied in a constituent quark model. Two bound states are found for isospin and spin-parity I(J^P ) = 0(1^+) in the bb\bar{u}\bar{d} channel. One is deeply bound and compact made of colored diquarks, while the other is shallow and extended as a BB^* molecule. The former agrees well with lattice QCD results. A systematic decrease in the binding energy is seen by replacing one of the heavy quarks to a lighter one. Altogether we find ten bound states. It is shown for the first time that hadrons with totally different natures emerge from a single Hamiltonian.


title: Molecular beam epitaxy of superconducting Sn$_{1-x}$In$_x$Te thin films

abstract: We report a systematic study on the growth conditions of Sn$_{1-x}$In$_x$Te thin films by molecular beam epitaxy for maximization of superconducting transition temperature $T_\mathrm{c}$. Careful tuning of the flux ratios of Sn, In, and Te enables us to find an optimum condition for substituting rich In content ($x$ = 0.66) into Sn site in a single phase of Sn$_{1-x}$In$_x$Te beyond the bulk solubility limit at ambient pressure ($x$ = 0.5). $T_\mathrm{c}$ shows a dome-shaped dependence on In content $x$ with the highest $T_\mathrm{c}$ = 4.20 K at $x$ = 0.55, being consistent to that reported for bulk crystals. The well-regulated Sn$_{1-x}$In$_x$Te films can be a useful platform to study possible topological superconductivity by integrating them into the state-of-the-art junctions and/or proximity-coupled devices.


title: Forced variational integrator for distance-based shape control with flocking behavior of multi-agent systems

abstract: A multi-agent system designed to achieve distance-based shape control with flocking behavior can be seen as a mechanical system described by a Lagrangian function and subject to additional external forces. Forced variational integrators are given by the discretization of Lagrange-d'Alembert principle for systems subject to external forces, and have proved useful for numerical simulation studies of complex dynamical systems. We derive forced variational integrators that can be employed in the context of control algorithms for distance-based shape with velocity consensus. In particular, we provide an accurate numerical integrator with a lower computational cost than traditional solutions, while preserving the configuration space and symmetries. We also provide an explicit expression for the integration scheme in the case of an arbitrary number of agents with double integrator dynamics. For a numerical comparison of the performances, we use a planar formation consisting of three autonomous agents.


title: Robust method to provide exponential convergence of model parameters solving LTI plant identification problem

abstract: The scope of this research is a problem of parameters identification of a linear time-invariant (LTI) plant, which 1) input signal is not frequency-rich, 2) is subjected to initial conditions and external disturbances. The memory regressor extension (MRE) scheme, in which a specially derived differential equation is used as a filter, is applied to solve the above-stated problem. Such a filter allows us to obtain a limited regressor value, for which a condition of the initial excitation (IE) is met. Using the MRE scheme, the recursive least-squares (RLS) method with the forgetting factor is used to derive an adaptation law. The following properties have been proved for the proposed approach. If the IE condition is met, then: 1) the parameter error of identification is a limited value and converges to zero exponentially (if there are no external disturbances) or to a bounded set (in the case of them) with an adjustable rate, 2) the parameters adaptation rate is a finite value. The above-mentioned properties are mathematically proved and demonstrated via simulation experiments.


title: Radio and X-ray Observations of Short-lived Episodes of Electron Acceleration in a Solar Microflare

abstract: Solar flares are sudden energy release events in the solar corona, resulting from magnetic reconnection, that accelerates particles and heats the ambient plasma. During a flare, there are often multiple, temporally and spatially separated individual energy release episodes that can be difficult to resolve depending on the observing instrument. We present multi-wavelength imaging and spectroscopy observations of multiple electron acceleration episodes during a GOES B1.7-class two-ribbon flare on 2012 February 25, observed simultaneously with the Karl G. Jansky Very Large Array (VLA) at 1--2 GHz, the Reuven Ramatay High Energy Solar Spectroscopic Imager (RHESSI) in X-rays, and the Solar Dynamics Observatory in extreme ultraviolet (EUV). During the initial phase of the flare, five radio bursts were observed. A nonthermal X-ray source was seen co-temporal, but not co-spatial, with the first three radio bursts. Their radio spectra are interpreted as optically thick gyrosynchrotron emission. By fitting the radio spectra with a gyrosynchrotron model, we derive the magnetic field strength and nonthermal electron spectral parameters in each acceleration episode. Notably, the nonthermal parameters derived from X-rays differ considerably from the nonthermal parameters inferred from the radio. The observations are indicative of multiple, co-temporal acceleration episodes during the impulsive phase of a solar microflare. The X-ray and radio burst sources likely originate from separate electron distributions in different magnetic loops.


title: Reduced model reconstruction method for stable positive network systems

abstract: We consider a reconstruction problem of a reduced stable positive network system with the preservation of the original interconnection structure based on an $H^2$ optimal model reduction problem with constraints. To this end, we define an important set using the Perron--Frobenius theory of nonnegative matrices such that all elements of the set are stable and Metzler. Using the projection onto the set, we propose a cyclic projected gradient method to produce a better reduced model than an initial reduced model in the sense of the $H^2$ norm. In the method, we use Lipschitz constants of the gradients of our objective function to define the step sizes without a line search method whose computational complexity is large. Moreover, the existence of the Lipschitz constants guarantees the global convergence of our proposed algorithm to a stationary point. The numerical experiments demonstrate that the proposed algorithm improves a given reduced model, and can be used for large-scale systems.


title: Detecting Autism Spectrum Disorder using Machine Learning

abstract: Autism Spectrum Disorder (ASD), which is a neuro development disorder, is often accompanied by sensory issues such an over sensitivity or under sensitivity to sounds and smells or touch. Although its main cause is genetics in nature, early detection and treatment can help to improve the conditions. In recent years, machine learning based intelligent diagnosis has been evolved to complement the traditional clinical methods which can be time consuming and expensive. The focus of this paper is to find out the most significant traits and automate the diagnosis process using available classification techniques for improved diagnosis purpose. We have analyzed ASD datasets of Toddler, Child, Adolescent and Adult. We determine the best performing classifier for these binary datasets using the evaluation metrics recall, precision, F-measures and classification errors. Our finding shows that Sequential minimal optimization (SMO) based Support Vector Machines (SVM) classifier outperforms all other benchmark machine learning algorithms in terms of accuracy during the detection of ASD cases and produces less classification errors compared to other algorithms. Also, we find that Relief Attributes algorithm is the best to identify the most significant attributes in ASD datasets.


title: Physical Layer Security Enhancement Using Artificial Noise in Cellular Vehicle-to-Everything (C-V2X) Networks

abstract: The secure transmission of confidential information in cellular vehicle-to-everything (C-V2X) communication networks is vitally important for user's personal safety. However, for C-V2X there have not been much studies on the physical layer security (PLS). Since artificial noise (AN) and secure beamforming are popular PLS techniques for cellular communications, in this paper we investigate the potential of these PLS techniques for enhancing the security of C-V2X networks. In particular, leveraging stochastic geometry, we study the PLS of an AN assisted C-V2X network, where the locations of legitimate vehicular nodes, malicious vehicular nodes and road side units (RSUs) are modeled by Cox processes driven by a common Poisson line process (PLP), and the locations of cellular base stations (BSs) are modeled by a two-dimensional (2D) Poisson point process (PPP). Based on the maximum signal-to-interference-ratio (SIR) association scheme, we calculate the coverage probability of the network. We also derive bounds on the secrecy probability, which are validated by simulation results. Moreover, we obtain an analytical result of the effective secrecy throughput for characterizing the reliability and security of wiretap channels. Simulation results are given to validate the analytical result, and provide interesting insights into the impact of network parameters on the achievable secrecy performance. Simulation results show that a larger array antenna can provide a better robustness of the secure transmission strategy, and the optimal power allocation ratio between confidential information and AN remains almost unchanged for different numbers of antennas.


title: Multi-Pen Robust Robotic 3D Drawing Using Closed-Loop Planning

abstract: This paper develops a flexible and robust robotic system for autonomous drawing on 3D surfaces. The system takes 2D drawing strokes and a 3D target surface (mesh or point clouds) as input. It maps the 2D strokes onto the 3D surface and generates a robot motion to draw the mapped strokes using visual recognition, grasp pose reasoning, and motion planning. The system is flexible compared to conventional robotic drawing systems as we do not fix drawing tools to the end of a robot arm. Instead, a robot selects drawing tools using a vision system and holds drawing tools for painting using its hand. Meanwhile, with the flexibility, the system has high robustness thanks to the following crafts: First, a high-quality mapping method is developed to minimize deformation in the strokes. Second, visual detection is used to re-estimate the drawing tool's pose before executing each drawing motion. Third, force control is employed to avoid noisy visual detection and calibration, and ensure a firm touch between the pen tip and a target surface. Fourth, error detection and recovery are implemented to deal with unexpected problems. The planning and executions are performed in a closed-loop manner until the strokes are successfully drawn. We evaluate the system and analyze the necessity of the various crafts using different real-word tasks. The results show that the proposed system is flexible and robust to generate a robot motion from picking and placing the pens to successfully drawing 3D strokes on given surfaces.


title: Stochastic Precision Ensemble: Self-Knowledge Distillation for Quantized Deep Neural Networks

abstract: The quantization of deep neural networks (QDNNs) has been actively studied for deployment in edge devices. Recent studies employ the knowledge distillation (KD) method to improve the performance of quantized networks. In this study, we propose stochastic precision ensemble training for QDNNs (SPEQ). SPEQ is a knowledge distillation training scheme; however, the teacher is formed by sharing the model parameters of the student network. We obtain the soft labels of the teacher by changing the bit precision of the activation stochastically at each layer of the forward-pass computation. The student model is trained with these soft labels to reduce the activation quantization noise. The cosine similarity loss is employed, instead of the KL-divergence, for KD training. As the teacher model changes continuously by random bit-precision assignment, it exploits the effect of stochastic ensemble KD. SPEQ outperforms the existing quantization training methods in various tasks, such as image classification, question-answering, and transfer learning without the need for cumbersome teacher networks.


title: Recognition of Surface Oxygen Intermediates on NiFe Oxyhydroxide Oxygen-evolving Catalysts by Homogeneous Oxidation Reactivity

abstract: NiFe oxyhydroxide is one of the most promising oxygen evolution reaction (OER) catalysts for renewable hydrogen production, and deciphering the identity and reactivity of the oxygen intermediates on its surface is a key challenge but is critical to understanding the OER mechanism as well as designing water-splitting catalysts with higher efficiencies. Here, we screened and utilized in situ reactive probes that can selectively target specific oxygen intermediates with high rates to investigate the OER intermediates and pathway on NiFe oxyhydroxide. Most importantly, the oxygen atom transfer (OAT) probes (e.g. 4-(Diphenylphosphino) benzoic acid) could efficiently inhibit the OER kinetics by scavenging the OER intermediates, exhibiting lower OER currents, larger Tafel slopes and larger kinetic isotope effect values, while probes with other reactivities demonstrated much smaller effects. Combining the OAT reactivity with electrochemical kinetic and operando Raman spectroscopic techniques, we identified a resting Fe=O intermediate in the Ni-O scaffold and a rate-limiting O-O chemical coupling step between a Fe=O moiety and a vicinal bridging O. DFT calculation further revealed a longer Fe=O bond formed on the surface and a large kinetic energy barrier of the O-O chemical step, corroborating the experimental results. These results point to a new direction of liberating lattice O and expediting O-O coupling for optimizing NiFe-based OER electrocatalyst.


title: Special values of L-functions of one-motives over function fields

abstract: The purpose of this paper is to give a formula for the leading coefficient at $s=1$ of the $L$-function of one-motives over function fields in terms of Weil-\'etale cohomology, generalizing the Weil-\'etale version of the Birch and Swinnerton-Dyer conjecture in the authors' previous work. As a consequence we express the Tamagawa number of a torus introduced by Ono-Oesterl\'e in terms of Weil-\'etale cohomology, and reprove their Tamagawa number formula.


title: TaxiNLI: Taking a Ride up the NLU Hill

abstract: Pre-trained Transformer-based neural architectures have consistently achieved state-of-the-art performance in the Natural Language Inference (NLI) task. Since NLI examples encompass a variety of linguistic, logical, and reasoning phenomena, it remains unclear as to which specific concepts are learnt by the trained systems and where they can achieve strong generalization. To investigate this question, we propose a taxonomic hierarchy of categories that are relevant for the NLI task. We introduce TAXINLI, a new dataset, that has 10k examples from the MNLI dataset (Williams et al., 2018) with these taxonomic labels. Through various experiments on TAXINLI, we observe that whereas for certain taxonomic categories SOTA neural models have achieved near perfect accuracies - a large jump over the previous models - some categories still remain difficult. Our work adds to the growing body of literature that shows the gaps in the current NLI systems and datasets through a systematic presentation and analysis of reasoning categories.


title: Linear Matrix Factorization Embeddings for Single-objective Optimization Landscapes

abstract: Automated per-instance algorithm selection and configuration have shown promising performances for a number of classic optimization problems, including satisfiability, AI planning, and TSP. The techniques often rely on a set of features that measure some characteristics of the problem instance at hand. In the context of black-box optimization, these features have to be derived from a set of $(x,f(x))$ samples. A number of different features have been proposed in the literature, measuring, for example, the modality, the separability, or the ruggedness of the instance at hand. Several of the commonly used features, however, are highly correlated. While state-of-the-art machine learning techniques can routinely filter such correlations, they hinder explainability of the derived algorithm design techniques. We therefore propose in this work to pre-process the measured (raw) landscape features through representation learning. More precisely, we show that a linear dimensionality reduction via matrix factorization significantly contributes towards a better detection of correlation between different problem instances -- a key prerequisite for successful automated algorithm design.


title: Discussions on Inverse Kinematics based on Levenberg-Marquardt Method and Model-Free Adaptive (Predictive) Control

abstract: In this brief, the current robust numerical solution to the inverse kinematics based on Levenberg-Marquardt (LM) method is reanalyzed through control theory instead of numerical method. Compared to current works, the robustness of computation and convergence performance of computational error are analyzed much more clearly by analyzing the control performance of the corrected model free adaptive control (MFAC). Then mainly motivated by minimizing the predictive tracking error, this study suggests a new method of model free adaptive predictive control (MFAPC) to solve the inverse kinematics problem. At last, we apply the MFAPC as a controller for the robotic kinematic control problem in simulation. It not only shows an excellent control performance but also efficiently acquires the solution to inverse kinematic.


title: Lattice Thermal Transport in Two-Dimensional Alloys and Fractal Heterostructures

abstract: Engineering thermal transport in two dimensional materials, alloys and heterostructures is critical for the design of next-generation flexible optoelectronic and energy harvesting devices. Direct experimental characterization of lattice thermal conductivity in these ultra-thin systems is challenging and the impact of dopant atoms and hetero-phase interfaces, introduced unintentionally during synthesis or as part of deliberate material design, on thermal transport properties is not understood. Here, we use non-equilibrium molecular dynamics simulations to calculate lattice thermal conductivity of (Mo|W)Se$_2$ monolayer crystals including Mo$_{1-x}$W$_x$Se$_2$ alloys with substitutional point defects, periodic MoSe$_2$|WSe$_2$ heterostructures with characteristic length scales and scale-free fractal MoSe$_2$|WSe$_2$ heterostructures. Each of these features has a distinct effect on phonon propagation in the crystal, which can be used to design fractal and periodic alloy structures with highly tunable thermal conductivities. This control over lattice thermal conductivity will enable applications ranging from thermal barriers to thermoelectrics.


title: Towards Target-Driven Visual Navigation in Indoor Scenes via Generative Imitation Learning

abstract: We present a target-driven navigation system to improve mapless visual navigation in indoor scenes. Our method takes a multi-view observation of a robot and a target as inputs at each time step to provide a sequence of actions that move the robot to the target without relying on odometry or GPS at runtime. The system is learned by optimizing a combinational objective encompassing three key designs. First, we propose that an agent conceives the next observation before making an action decision. This is achieved by learning a variational generative module from expert demonstrations. We then propose predicting static collision in advance, as an auxiliary task to improve safety during navigation. Moreover, to alleviate the training data imbalance problem of termination action prediction, we also introduce a target checking module to differentiate from augmenting navigation policy with a termination action. The three proposed designs all contribute to the improved training data efficiency, static collision avoidance, and navigation generalization performance, resulting in a novel target-driven mapless navigation system. Through experiments on a TurtleBot, we provide evidence that our model can be integrated into a robotic system and navigate in the real world. Videos and models can be found in the supplementary material.


title: Cross-lingual Spoken Language Understanding with Regularized Representation Alignment

abstract: Despite the promising results of current cross-lingual models for spoken language understanding systems, they still suffer from imperfect cross-lingual representation alignments between the source and target languages, which makes the performance sub-optimal. To cope with this issue, we propose a regularization approach to further align word-level and sentence-level representations across languages without any external resource. First, we regularize the representation of user utterances based on their corresponding labels. Second, we regularize the latent variable model (Liu et al., 2019) by leveraging adversarial training to disentangle the latent variables. Experiments on the cross-lingual spoken language understanding task show that our model outperforms current state-of-the-art methods in both few-shot and zero-shot scenarios, and our model, trained on a few-shot setting with only 3\% of the target language training data, achieves comparable performance to the supervised training with all the training data.


title: Parameter spaces of locally constant cocycles

abstract: This article concerns the locus of all locally constant $\mathrm{SL}(2,\mathbb{R})$-valued cocycles that are uniformly hyperbolic, called the hyperbolic locus. Using the theory of semigroups of M\"obius transformations we introduce a new locus in $\mathrm{SL}(2,\mathbb{R})^N$ which allows us to study the complement of the hyperbolic locus. Our results answer a question of Avila, Bochi and Yoccoz, and Jacques and Short, while motivating a new line of investigation on the subject.


title: Fast versus conventional HAADF-STEM tomography: advantages and challenges

abstract: Electron tomography is a widely used experimental technique for analyzing nanometer-scale structures of a large variety of materials in three dimensions. Unfortunately, the acquisition of conventional electron tomography tilt series can easily take up one hour or more, depending on the complexity of the experiment. Using electron tomography, it is therefore far from straightforward to obtain statistically meaningful 3D data, to investigate samples that do not withstand long acquisition, or to perform in situ 3D characterization using this technique. Various acquisition strategies have been proposed to accelerate the tomographic acquisition, and reduce the required electron dose. These methods include tilting the holder continuously while acquiring a projection movie and a hybrid, incremental, methodology which combines the benefits of the conventional and continuous technique. In this paper, the different acquisition strategies will be experimentally compared in terms of speed, resolution and electron dose, based on experimental tilt series acquired for various metallic nanoparticles.


title: How coordinate Bethe ansatz works for Inozemtsev model

abstract: Three decades ago, Inozemtsev found an isotropic long-range spin chain with elliptic pair potential that interpolates between the Heisenberg and Haldane-Shastry (HS) spin chains while admitting an exact solution throughout, based on a connection with the elliptic quantum Calogero-Sutherland model. Though Inozemtsev's spin chain is widely believed to be quantum integrable, the underlying algebraic reason for its exact solvability is not yet well understood. As a step in this direction we refine Inozemtsev's `extended coordinate Bethe ansatz' and clarify various aspects of the model's exact spectrum and its limits. We identify quasimomenta in terms of which the $M$-particle energy is close to being (functionally) additive, as one would expect from the limiting models; our expression is additive iff the energy of the elliptic Calogero-Sutherland system is so. This enables us to rewrite the energy and Bethe-ansatz equations on the elliptic curve, turning the spectral problem into a rational problem as might be expected for an isotropic spin chain. We treat the $M=2$ particle sector and its limits in detail. We identify an $S$-matrix that is independent of positions. We show that the Bethe-ansatz equations reduce to those of Heisenberg in one limit and give rise to the `motifs' of HS in the other limit. We show that, as the interpolation parameter changes, the `scattering states' from Heisenberg become Yangian highest-weight states for HS, while bound states become ($\mathfrak{sl}_2$-highest weight versions of) affine descendants of the magnons from $M=1$. For bound states we find a generalisation of the known equation for the `critical length' for the Heisenberg spin chain. We discuss completeness for $M=2$ by passing to the elliptic curve. Our review of the two-particle sectors of the Heisenberg and HS spin chains may be of independent interest.

categories: math-ph cond-mat.str-el hep-th math.MP nlin.SI


title: Asynchronous Liquids: Regional Time Stepping for Faster SPH and PCISPH

abstract: This paper presents novel and efficient strategies to spatially adapt the amount of computational effort applied based on the local dynamics of a free surface flow, for both classic weakly compressible SPH (WCSPH) and predictive-corrective incompressible SPH (PCISPH). Using a convenient and readily parallelizable block-based approach, different regions of the fluid are assigned differing time steps and solved at different rates to minimize computational cost. Our approach for WCSPH scheme extends an asynchronous SPH technique from compressible flow of astrophysical phenomena to the incompressible free surface setting, and further accelerates it by entirely decoupling the time steps of widely spaced particles. Similarly, our approach to PCISPH adjusts the the number of iterations of density correction applied to different regions, and asynchronously updates the neighborhood regions used to perform these corrections; this sharply reduces the computational cost of slowly deforming regions while preserving the standard density invariant. We demonstrate our approaches on a number of highly dynamic scenarios, demonstrating that they can typically double the speed of a simulation compared to standard methods while achieving visually consistent results.


title: What We See and What We Get from Visualization: Eye Tracking Beyond Gaze Distributions and Scanpaths

abstract: Technical progress in hardware and software enables us to record gaze data in everyday situations and over long time spans. Among a multitude of research opportunities, this technology enables visualization researchers to catch a glimpse behind performance measures and into the perceptual and cognitive processes of people using visualization techniques. The majority of eye tracking studies performed for visualization research is limited to the analysis of gaze distributions and aggregated statistics, thus only covering a small portion of insights that can be derived from gaze data. We argue that incorporating theories and methodology from psychology and cognitive science will benefit the design and evaluation of eye tracking experiments for visualization. This position paper outlines our experiences with eye tracking in visualization and states the benefits that an interdisciplinary research field on visualization psychology might bring for better understanding how people interpret visualizations.


title: Upper and lower bounds for the solution of a stochastic prey-predator system with foraging arena scheme

abstract: We investigate some probabilistic aspects of the unique global strong solution of a two dimensional system of stochastic differential equations describing a prey-predator model perturbed by Gaussian noise. We first establish, for any fixed $t> 0$, almost sure upper and lower bounds for the components $X(t)$ and $Y(t)$ of the solution vector: these explicit estimates emphasize the interplay between the various parameters of the model and agree with the asymptotic results found in the literature. Then, standing on the aforementioned bounds, we derive upper and lower estimates for the joint moments and distribution function of $(X(t),Y(t))$. Our analysis is based on a careful use of comparison theorems for stochastic differential equations and exploits several peculiar features of the noise driving the equation.


title: Ultrafast humidity sensor based on liquid phase exfoliated graphene

abstract: Humidity sensing is important to a variety of technologies and industries, ranging from environmental and industrial monitoring to medical applications. Although humidity sensors abound, few available solutions are thin, transparent, compatible with large-area sensor production and flexible, and almost none are fast enough to perform human respiration monitoring through breath detection or real-time finger proximity monitoring via skin humidity sensing. This work describes chemiresistive graphene-based humidity sensors produced in few steps with facile liquid phase exfoliation (LPE) followed by Langmuir-Blodgett assembly that enables active areas of practically any size. The graphene sensors provide a unique mix of performance parameters, exhibiting resistance changes up to 10% with varying humidity, linear performance over relative humidity (RH) levels between 8% and 95%, weak response to other constituents of air, flexibility, transparency of nearly 80%, and response times of 30 ms. The fast response to humidity is shown to be useful for respiration monitoring and real-time finger proximity detection, with potential applications in flexible touchless interactive panels.


title: Microflexiblity and local integrability of horizontal curves

abstract: Let $\xi$ be an analytic bracket-generating distribution. We show that the subspace of germs that are singular (in the sense of Control Theory) has infinite codimension within the space of germs of smooth curves tangent to $\xi$. We formalise this as an asymptotic statement about finite jets of tangent curves. This solves, in the analytic setting, a conjecture of Y. Eliashberg and N.M. Mishachev regarding an earlier claim by M. Gromov about the microflexibility of the tangency condition. From these statements it follows, by an argument due to M. Gromov, that the $h$-principle holds for maps and immersions transverse to $\xi$.


title: Uncertainty Estimation For Community Standards Violation In Online Social Networks

abstract: Online Social Networks (OSNs) provide a platform for users to share their thoughts and opinions with their community of friends or to the general public. In order to keep the platform safe for all users, as well as to keep it compliant with local laws, OSNs typically create a set of community standards organized into policy groups, and use Machine Learning (ML) models to identify and remove content that violates any of the policies. However, out of the billions of content that is uploaded on a daily basis only a small fraction is so unambiguously violating that it can be removed by the automated models. Prevalence estimation is the task of estimating the fraction of violating content in the residual items by sending a small sample of these items to human labelers to get ground truth labels. This task is exceedingly hard because even though we can easily get the ML scores or features for all of the billions of items we can only get ground truth labels on a few thousands of these items due to practical considerations. Indeed the prevalence can be so low that even after a judicious choice of items to be labeled there can be many days in which not even a single item is labeled violating. A pragmatic choice for such low prevalence, $10^{-4}$ to $10^{-5}$, regimes is to report the upper bound, or $97.5\%$ confidence interval, prevalence (UBP) that takes the uncertainties of the sampling and labeling processes into account and gives a smoothed estimate. In this work we present two novel techniques Bucketed-Beta-Binomial and a Bucketed-Gaussian Process for this UBP task and demonstrate on real and simulated data that it has much better coverage than the commonly used bootstrapping technique.


title: Constraining Models of the Pulsar Wind Nebula in SNR G0.9+0.1 via Simulation of its Detection Properties using the Cherenkov Telescope Array

abstract: SNR G0.9+0.1 is a well known source in the direction of the Galactic Center composed by a Supernova Remnant (SNR) and a Pulsar Wind Nebula (PWN) in the core. We investigate the potential of the future Cherenkov Telescope Array (CTA), simulating observations of SNR G0.9+0.1. We studied the spatial and spectral properties of this source and estimated the systematic errors of these measurements. The source will be resolved if the VHE emission region is bigger than $\sim0.65'$. It will also be possible to distinguish between different spectral models and calculate the cut-off energy. The systematic errors are dominated by the IRF instrumental uncertainties, especially at low energies. We computed the evolution of a young PWN inside a SNR using a one-zone time-dependent leptonic model. We applied the model to the simulated CTA data and found that it will be possible to accurately measure the cut-off energy of the $\gamma$-ray spectrum. Fitting of the multiwavelength spectrum will allow us to constrain also the magnetization of the PWN. Conversely, a pure power law spectrum would rule out this model. Finally, we checked the impact of the spectral shape and the energy density of the Inter-Stellar Radiation Fields (ISRFs) on the estimate of the parameters of the PWN, finding that they are not significantly affected.


title: Complexity and Algorithms for Exploiting Quantal Opponents in Large Two-Player Games

abstract: Solution concepts of traditional game theory assume entirely rational players; therefore, their ability to exploit subrational opponents is limited. One type of subrationality that describes human behavior well is the quantal response. While there exist algorithms for computing solutions against quantal opponents, they either do not scale or may provide strategies that are even worse than the entirely-rational Nash strategies. This paper aims to analyze and propose scalable algorithms for computing effective and robust strategies against a quantal opponent in normal-form and extensive-form games. Our contributions are: (1) we define two different solution concepts related to exploiting quantal opponents and analyze their properties; (2) we prove that computing these solutions is computationally hard; (3) therefore, we evaluate several heuristic approximations based on scalable counterfactual regret minimization (CFR); and (4) we identify a CFR variant that exploits the bounded opponents better than the previously used variants while being less exploitable by the worst-case perfectly-rational opponent.


title: A note on Higgs-de Rham flows of level zero

abstract: The notion of Higgs-de Rham flows was introduced by Lan-Sheng-Zuo, as an analogue of Yang-Mills-Higgs flows in the complex nonabelian Hodge theory. In this short note we investigate a small part of this theory, and study those Higgs-de Rham flows which are of level zero. We improve the original definition of level-zero Higgs-de Rham flows (which works for general levels), and establish a Hitchin-Simpson-type correspondence between such objects and certain representations of fundamental groups in positive characteristic, which generalizes the classical results of Katz. We compare the deformation theories of two sides in the correspondence, and translate the Galois action on the geometric fundamental groups of algebraic varieties defined over finite fields into the Higgs side.


title: Embedded Emotions -- A Data Driven Approach to Learn Transferable Feature Representations from Raw Speech Input for Emotion Recognition

abstract: Traditional approaches to automatic emotion recognition are relying on the application of handcrafted features. More recently however the advent of deep learning enabled algorithms to learn meaningful representations of input data automatically. In this paper, we investigate the applicability of transferring knowledge learned from large text and audio corpora to the task of automatic emotion recognition. To evaluate the practicability of our approach, we are taking part in this year's Interspeech ComParE Elderly Emotion Sub-Challenge, where the goal is to classify spoken narratives of elderly people with respect to the emotion of the speaker. Our results show that the learned feature representations can be effectively applied for classifying emotions from spoken language. We found the performance of the features extracted from the audio signal to be not as consistent as those that have been extracted from the transcripts. While the acoustic features achieved best in class results on the development set, when compared to the baseline systems, their performance dropped considerably on the test set of the challenge. The features extracted from the text form, however, are showing promising results on both sets and are outperforming the official baseline by 5.7 percentage points unweighted average recall.


title: Monocular Differentiable Rendering for Self-Supervised 3D Object Detection

abstract: 3D object detection from monocular images is an ill-posed problem due to the projective entanglement of depth and scale. To overcome this ambiguity, we present a novel self-supervised method for textured 3D shape reconstruction and pose estimation of rigid objects with the help of strong shape priors and 2D instance masks. Our method predicts the 3D location and meshes of each object in an image using differentiable rendering and a self-supervised objective derived from a pretrained monocular depth estimation network. We use the KITTI 3D object detection dataset to evaluate the accuracy of the method. Experiments demonstrate that we can effectively use noisy monocular depth and differentiable rendering as an alternative to expensive 3D ground-truth labels or LiDAR information.


title: Visual Semantic Multimedia Event Model for Complex Event Detection in Video Streams

abstract: Multimedia data is highly expressive and has traditionally been very difficult for a machine to interpret. Middleware systems such as complex event processing (CEP) mine patterns from data streams and send notifications to users in a timely fashion. Presently, CEP systems have inherent limitations to process multimedia streams due to its data complexity and the lack of an underlying structured data model. In this work, we present a visual event specification method to enable complex multimedia event processing by creating a semantic knowledge representation derived from low-level media streams. The method enables the detection of high-level semantic concepts from the media streams using an ensemble of pattern detection capabilities. The semantic model is aligned with a multimedia CEP engine deep learning models to give flexibility to end-users to build rules using spatiotemporal event calculus. This enhances CEP capability to detect patterns from media streams and bridge the semantic gap between highly expressive knowledge-centric user queries to the low-level features of the multi-media data. We have built a small traffic event ontology prototype to validate the approach and performance. The paper contribution is threefold: i) we present a knowledge graph representation for multimedia streams, ii) a hierarchical event network to detect visual patterns from media streams and iii) define complex pattern rules for complex multimedia event reasoning using event calculus


title: Thunder-cell as Source of Energetic Protons

abstract: In this article we present the following hypothesis: thunder-cell ejects highly energetic protons, each of which creates a tree-structure of weakly ionized trajectories that can develop into a lightning channel. The tree-structure and the channel have the same geometry so the mean free path of a proton corresponds to the average length of the channel between two successive nodes (branching points). We show this length is around 660 m in lower Earth atmosphere. Effects of Coulomb interaction and various outcomes of proton-nucleus reaction are taken into account. A prediction of CG/CC ratio that follows agrees well with the available data, but only measurements of lightning geometry can reveal whether the hypothesis is any closer to the correct explanation of the phenomenon.


title: Fate of domain walls in 5D gravitational theory with compact extra dimension

abstract: We pursue the time evolution of the domain walls in 5D gravitational theory with a compact extra dimension by numerical calculation. In order to avoid a kink-antikink pair that decays into the vacuum, we introduce a topological winding in the field space. In contrast to the case of non-gravitational theories, there is no static domain-wall solution in the setup. In the case that the minimal value of the potential is non-negative, we find that both the 3D space and the extra dimension will expand at late times if the initial value of the Hubble parameter is chosen as positive. The wall width almost remains constant during the evolution. In other cases, the extra dimension diverges and the 3D space shrinks to zero at a finite time.


title: VIBES: VIsual Binary Exoplanet survey with SPHERE Upper limits on wide S-planet and S-BD frequencies, triple system discovery, and astrometric confirmation of 20 stellar binaries and three triple systems

abstract: Recent surveys indicate that planets in binary systems are more abundant than previously thought, which is in agreement with theoretical work on disc dynamics and planet formation in binaries. In order to measure the abundance and physical characteristics of wide-orbit giant exoplanets in binary systems, we have designed the 'VIsual Binary Exoplanet survey with Sphere' (VIBES) to search for planets in visual binaries. It uses the SPHERE instrument at VLT to search for planets in 23 visual binary and four visual triple systems with ages of <145 Myr and distances of <150 pc. We used the IRDIS dual-band imager on SPHERE to acquire high-contrast images of the sample targets. For each binary, the two components were observed at the same time with a coronagraph masking only the primary star. For the triple star, the tight components were treated as a single star for data reduction. This enabled us to effectively search for companions around 50 individual stars in binaries and four binaries in triples. We derived upper limits of $<$13.7\% for the frequency of sub-stellar companions around primaries in visual binaries, $<$26.5\% for the fraction of sub-stellar companions around secondaries in visual binaries, and an occurrence rate of $<$9.0\% for giant planets and brown dwarfs around either component of visual binaries. We have combined our observations with literature measurements to astrometrically confirm, for the first time, that 20 binaries and two triple systems, which were previously known, are indeed physically bound. Finally, we discovered a third component of the binary HD~121336. The upper limits we derived are compatible with planet formation through the core accretion and the gravitational instability processes in binaries. These limits are also in line with limits found for single star and circumbinary planet search surveys.


title: Characterization of Beauville's algebraic numbers via Hodge theory

abstract: We provide a Hodge theoretical characterization of the set of algebraic numbers which arises from the complete list, due to A. Beauville, of semistable families of elliptic curves over $\mathbb{P}^1$ with four singular fibers. Our technical innovation is the analysis of the periodicity of the uniformizing Higgs bundle attached to $\mathbb{P}^1$ minus four points over the field of complex numbers.


title: Asymmetric Contextual Modulation for Infrared Small Target Detection

abstract: Single-frame infrared small target detection remains a challenge not only due to the scarcity of intrinsic target characteristics but also because of lacking a public dataset. In this paper, we first contribute an open dataset with high-quality annotations to advance the research in this field. We also propose an asymmetric contextual modulation module specially designed for detecting infrared small targets. To better highlight small targets, besides a top-down global contextual feedback, we supplement a bottom-up modulation pathway based on point-wise channel attention for exchanging high-level semantics and subtle low-level details. We report ablation studies and comparisons to state-of-the-art methods, where we find that our approach performs significantly better. Our dataset and code are available online.


title: Contactless rheology of finite-size air-water interfaces

abstract: We present contactless atomic-force microscopy measurements of the hydrodynamic interactions between a rigid sphere and an air bubble in water at the micro-scale. The size of the bubble is found to have a significant effect on the response due to the long-range capillary deformation of the air-water interface. To rationalize the experimental data, we develop a viscocapillary lubrication model accounting for the finite-size effect. The comparison between experiments and theory allows us to measure the air-water surface tension, without contact, paving the way towards robust contactless tensiometry of polluted air-water interfaces.


title: Atomic scale spectral control of thermal transport in phononic crystal superlattices

abstract: We present experimental and theoretical investigations of phonon thermal transport in (LaMnO$_3$)$_m$/(SrMnO$_3$)$_n$ superlattices (LMO/SMO SLs) with the thickness of individual layers $m,n = 3 - 10\;$ u.c. and the thickness ratio $m/n = 1, 2$. Optical transient thermal reflectivity measurements reveal a pronounced difference in the thermal conductivity between SLs with $m/n = 1$, and SLs with $m/n = 2$. State-of-the art electron microscopy techniques and ab-initio density functional calculations enables us to assign the origin of this difference to the absence ($m/n = 1$) or presence ($m/n = 2$) of spatially periodic, static oxygen octahedral rotation (OOR) inside the LMO layers. The experimental data analysis shows that the effective thermal conductance of the LMO/SMO interfaces strongly changes from $0.3$ GW/m$^2$K for $m/n = 2$ SLs with OOR to a surprisingly large value of $1.8$ GW/m$^2$K for $m/n = 1$ SLs without OOR. An instructive lattice dynamical model rationalizes our experimental findings as a result of coherent phonon transmission for $m/n = 1$ versus coherent phonon blocking in SLs with $m/n = 2$. We briefly discuss the possibilities to exploit these results for atomic-scale engineering of a crystalline phonon insulator. The thermal resistivity of this proposal for a thermal metamaterial surpasses the amorphous limit, although phonons still propagate coherently.


title: Modelling the effect of ribosome mobility on the rate of protein synthesis

abstract: Translation is one of the main steps in the synthesis of proteins. It consists of ribosomes that translate sequences of nucleotides encoded on mRNA into polypeptide sequences of amino acids. Ribosomes bound to mRNA move unidirectionally, while unbound ribosomes diffuse in the cytoplasm. It has been hypothesized that finite diffusion of ribosomes plays an important role in ribosome recycling and that mRNA circularization enhances the efficiency of translation. In order to estimate the effect of cytoplasmic diffusion on the rate of translation, we consider a Totally Asymmetric Simple Exclusion Process (TASEP) coupled to a finite diffusive reservoir, which we call the Ribosome Transport model with Diffusion (RTD). In this model, we derive an analytical expression for the rate of protein synthesis as a function of the diffusion constant of ribosomes, which is corroborated with results from continuous-time Monte Carlo simulations. Using a wide range of biological relevant parameters, we conclude that diffusion in biological cells is fast enough so that it does not play a role in controlling the rate of translation initiation.