title: Robots Assembling Machines: Learning from the World Robot Summit 2018 Assembly Challenge

abstract: The Industrial Assembly Challenge at the World Robot Summit was held in 2018 to showcase the state-of-the-art of autonomous manufacturing systems. The challenge included various tasks, such as bin picking, kitting, and assembly of standard industrial parts into 2D and 3D assemblies. Some of the tasks were only revealed at the competition itself, representing the challenge of "level 5" automation, i. e., programming and setting up an autonomous assembly system in less than one day. We conducted a survey among the teams that participated in the challenge and investigated aspects such as team composition, development costs, system setups as well as the teams' strategies and approaches. An analysis of the survey results reveals that the competitors have been in two camps: those constructing conventional robotic work cells with off-the-shelf tools, and teams who mostly relied on custom-made end effectors and novel software approaches in combination with collaborative robots. While both camps performed reasonably well, the winning team chose a middle ground in between, combining the efficiency of established play-back programming with the autonomy gained by CAD-based object detection and force control for assembly operations.


title: Deception through Half-Truths

abstract: Deception is a fundamental issue across a diverse array of settings, from cybersecurity, where decoys (e.g., honeypots) are an important tool, to politics that can feature politically motivated "leaks" and fake news about candidates.Typical considerations of deception view it as providing false information.However, just as important but less frequently studied is a more tacit form where information is strategically hidden or leaked.We consider the problem of how much an adversary can affect a principal's decision by "half-truths", that is, by masking or hiding bits of information, when the principal is oblivious to the presence of the adversary. The principal's problem can be modeled as one of predicting future states of variables in a dynamic Bayes network, and we show that, while theoretically the principal's decisions can be made arbitrarily bad, the optimal attack is NP-hard to approximate, even under strong assumptions favoring the attacker. However, we also describe an important special case where the dependency of future states on past states is additive, in which we can efficiently compute an approximately optimal attack. Moreover, in networks with a linear transition function we can solve the problem optimally in polynomial time.


title: Exclusive quarkonium production or decay in soft gluon factorization

abstract: In this paper, we study the application of the recently proposed soft gluon factorization (SGF) to exclusive quarkonium production or decay. We find that in the nonrelativistic QCD factorization framework there are too many nonperturbative parameters. Thanks to the factorization of kinematical physics from dynamical physics, the SGF significantly reduces the number of nonperturbative parameters. Therefore, the SGF can improve our predictive power of exclusive quarkonium production or decay. By applying to $\eta_c+\gamma$ production at B-factories, our result is the closest one to data among all theoretical calculations.


title: Revenue Maximization of Airbnb Marketplace using Search Results

abstract: Correctly pricing products or services in an online marketplace presents a challenging problem and one of the critical factors for the success of the business. When users are looking to buy an item they typically search for it. Query relevance models are used at this stage to retrieve and rank the items on the search page from most relevant to least relevant. The presented items are naturally "competing" against each other for user purchases. We provide a practical two-stage model to price this set of retrieved items for which distributions of their values are learned. The initial output of the pricing strategy is a price vector for the top displayed items in one search event. We later aggregate these results over searches to provide the supplier with the optimal price for each item. We applied our solution to large-scale search data obtained from Airbnb Experiences marketplace. Offline evaluation results show that our strategy improves upon baseline pricing strategies on key metrics by at least +20% in terms of booking regret and +55% in terms of revenue potential.


title: Fast multigrid solution of high-order accurate multi-phase Stokes problems

abstract: A fast multigrid solver is presented for high-order accurate Stokes problems discretised by local discontinuous Galerkin (LDG) methods. The multigrid algorithm consists of a simple V-cycle, using an element-wise block Gauss-Seidel smoother. The efficacy of this approach depends on the LDG pressure penalty stabilisation parameter -- provided the parameter is suitably chosen, numerical experiment shows that: (i) for steady-state Stokes problems, the convergence rate of the multigrid solver can match that of classical geometric multigrid methods for Poisson problems; (ii) for unsteady Stokes problems, the convergence rate further accelerates as the effective Reynolds number is increased. An extensive range of two- and three-dimensional test problems demonstrates the solver performance as well as high-order accuracy -- these include cases with periodic, Dirichlet, and stress boundary conditions; variable-viscosity and multi-phase embedded interface problems containing density and viscosity discontinuities several orders in magnitude; and test cases with curved geometries using semi-unstructured meshes.


title: Generating Persona Consistent Dialogues by Exploiting Natural Language Inference

abstract: Consistency is one of the major challenges faced by dialogue agents. A human-like dialogue agent should not only respond naturally, but also maintain a consistent persona. In this paper, we exploit the advantages of natural language inference (NLI) technique to address the issue of generating persona consistent dialogues. Different from existing work that re-ranks the retrieved responses through an NLI model, we cast the task as a reinforcement learning problem and propose to exploit the NLI signals from response-persona pairs as rewards for the process of dialogue generation. Specifically, our generator employs an attention-based encoder-decoder to generate persona-based responses. Our evaluator consists of two components: an adversarially trained naturalness module and an NLI based consistency module. Moreover, we use another well-performed NLI model in the evaluation of persona-consistency. Experimental results on both human and automatic metrics, including the model-based consistency evaluation, demonstrate that the proposed approach outperforms strong generative baselines, especially in the persona-consistency of generated responses.


title: Subbarrier fusion reactions of an aligned deformed nucleus

abstract: We discuss heavy-ion fusion reactions of a well-deformed odd-mass nucleus at energies around the Coulomb barrier. To this end, we consider the $^{16}$O+$^{165}$Ho reaction and take into account the effect of deformation of $^{165}$Ho using the orientation average formula. We show that fusion cross sections are sensitive to magnetic substates of the target nucleus, and cross sections for the side collision, which are relevant to a synthesis of superheavy elements, may be enhanced by a factor of around two by aligning the deformed target nuclei. We also discuss the effect of alignment on the fusion barrier distribution. We find that, for a particular choice of alignment, the shape of barrier distribution becomes similar to a typical shape of barrier distribution for a deformed nucleus with a negative hexadecapole deformation parameter, $\beta_4$, even if the intrinsic $\beta_4$ is positive in the target nucleus.


title: Dynamical dimerization phase in Jaynes-Cummings lattices

abstract: We report on an emergent dynamical phase of a strongly-correlated light-matter system, which is governed by dimerization processes due to short-range and long-range two-body interactions. The dynamical phase is characterized by the spontaneous symmetry breaking of the translational invariance and appears in an intermediate regime of light-matter interaction between the resonant and dispersive cases. We describe the quench dynamics from an initial state with integer filling factor of a finite-sized array of coupled resonators, each doped with a two-level system, in a closed and open scenario. The closed system dynamics has an effective Hilbert space description that allows us to demonstrate and characterize the emergent dynamical phase via time-averaged quantities, such as fluctuations in the number of polaritons per site and linear entropy. We prove that the dynamical phase is governed by intrinsic two-body interactions and the lattice topological structure. In the open system dynamics, we show evidence about the robustness of dynamical dimerization processes under loss mechanisms. Our findings can be used to determine the light-matter detuning range, where the dimerized phase emerges.


title: Reinforcement Learning for Market Making in a Multi-agent Dealer Market

abstract: Market makers play an important role in providing liquidity to markets by continuously quoting prices at which they are willing to buy and sell, and managing inventory risk. In this paper, we build a multi-agent simulation of a dealer market and demonstrate that it can be used to understand the behavior of a reinforcement learning (RL) based market maker agent. We use the simulator to train an RL-based market maker agent with different competitive scenarios, reward formulations and market price trends (drifts). We show that the reinforcement learning agent is able to learn about its competitor's pricing policy; it also learns to manage inventory by smartly selecting asymmetric prices on the buy and sell sides (skewing), and maintaining a positive (or negative) inventory depending on whether the market price drift is positive (or negative). Finally, we propose and test reward formulations for creating risk averse RL-based market maker agents.


title: A Spherical Version of Feynman's Static Field Momentum Example

abstract: The Feynman demonstration that electromagnetic field momentum is real-even for static fields-can be made more pedagogically useful by simplifying its geometry. Instead of Feynman's disk with charged balls on its surface, this article uses the geometry of a hollow non-conducting sphere with uniform surface charge density. With only methods available in a typical upper-division electrodynamics course, the initial field angular momentum and the final mechanical angular momentum can then be calculated in closed form and shown to be equal. This simplified geometry also provides a counterexample for the idea that electromagnetic field momentum is due to the flow of an electromagnetic inertial mass, defined as the energy density divided by the square of the speed of light. The curved flow lines of an inertial field momentum would require a centripetal force to bend them, but no such force can be identified.


title: Coincidence, Categorization, and Consolidation: Learning to Recognize Sounds with Minimal Supervision

abstract: Humans do not acquire perceptual abilities in the way we train machines. While machine learning algorithms typically operate on large collections of randomly-chosen, explicitly-labeled examples, human acquisition relies more heavily on multimodal unsupervised learning (as infants) and active learning (as children). With this motivation, we present a learning framework for sound representation and recognition that combines (i) a self-supervised objective based on a general notion of unimodal and cross-modal coincidence, (ii) a clustering objective that reflects our need to impose categorical structure on our experiences, and (iii) a cluster-based active learning procedure that solicits targeted weak supervision to consolidate categories into relevant semantic classes. By training a combined sound embedding/clustering/classification network according to these criteria, we achieve a new state-of-the-art unsupervised audio representation and demonstrate up to a 20-fold reduction in the number of labels required to reach a desired classification performance.


title: Pleiotropy enables specific and accurate signaling in the presence of ligand cross talk

abstract: Living cells sense their environment through the binding of extra-cellular molecular ligands to cell surface receptors. Puzzlingly, vast numbers of signaling pathways exhibit a high degree of cross talk between different signals whereby different ligands act through the same receptor or shared components downstream. It remains unclear how a cell can accurately process information from the environment in such cross-wired pathways. We show that a feature which commonly accompanies cross talk - signaling pleiotropy (the ability of a receptor to produce multiple outputs) - offers a solution to the cross talk problem. In a minimal model we show that a single pleiotropic receptor can simultaneously identify and accurately sense the concentrations of arbitrary unknown ligands present individually or in a mixture. We calculate the fundamental limits of the signaling specificity and accuracy of such signaling schemes. The model serves as an elementary "building block" towards understanding more complex cross-wired receptor-ligand signaling networks.


title: Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six

abstract: We consider the problem of counting all $k$-vertex subgraphs in an input graph, for any constant $k$. This problem (denoted sub-cnt$_k$) has been studied extensively in both theory and practice. In a classic result, Chiba and Nishizeki (SICOMP 85) gave linear time algorithms for clique and 4-cycle counting for bounded degeneracy graphs. This is a rich class of sparse graphs that contains, for example, all minor-free families and preferential attachment graphs. The techniques from this result have inspired a number of recent practical algorithms for sub-cnt$_k$. Towards a better understanding of the limits of these techniques, we ask: for what values of $k$ can sub-cnt$_k$ be solved in linear time? We discover a chasm at $k=6$. Specifically, we prove that for $k < 6$, sub-cnt$_k$ can be solved in linear time. Assuming a standard conjecture in fine-grained complexity, we prove that for all $k \geq 6$, sub-cnt$_k$ cannot be solved even in near-linear time.


title: Spectral Structures of Type II Solar Radio Bursts and Solar Energetic Particles

abstract: We investigated the relationship between the spectral structures of type II solar radio bursts in the hectometric and kilometric wavelength ranges and solar energetic particles (SEPs). To examine the statistical relationship between type II bursts and SEPs, we selected 26 coronal mass ejection (CME) events with similar characteristics (e.g., initial speed, angular width, and location) observed by the Large Angle and Spectrometric Coronagraph (LASCO), regardless of the characteristics of the corresponding type II bursts and the SEP flux. Then, we compared associated type II bursts observed by the Radio and Plasma Wave Experiment (WAVES) onboard the Wind spacecraft and the SEP flux observed by the Geostationary Operational Environmental Satellite (GOES) orbiting around the Earth. We found that the bandwidth of the hectometric type II bursts and the peak flux of the SEPs has a positive correlation (with a correlation coefficient of 0.64). This result supports the idea that the nonthermal electrons of type II bursts and the nonthermal ions of SEPs are generated by the same shock and suggests that more SEPs may be generated for a wider or stronger CME shock with a longer duration. Our result also suggests that considering the spectral structures of type II bursts can improve the forecasting accuracy for the peak flux of gradual SEPs.


title: Courant cohomology, Cartan calculus, connections, curvature, characteristic classes

abstract: We give an explicit description, in terms of bracket, anchor, and pairing, of the standard cochain complex associated to a Courant algebroid. In this formulation, the differential satisfies a formula that is formally identical to the Cartan formula for the de Rham differential. This perspective allows us to develop the theory of Courant algebroid connections in a way that mirrors the classical theory of connections. Using a special class of connections, we construct secondary characteristic classes associated to any Courant algebroid.


title: Degrees of and lowness for isometric isomorphism

abstract: We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with respect to fixed computable presentations, and, in this vein, we obtain classifications of the degrees that are low for isometric isomorphism with respect to the standard copies of certain Lebesgue spaces.


title: Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan

abstract: This volume contains the papers presented at the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+) held on October 28, 2019, in Fukuoka, co-located with the 11th Asia-Pasific Symposium on Internetware (Internetware 2019). One regular paper and six short papers have been accepted for presentation, each of which has its unique ideas and/or interesting results on interoperability of autonomic distributed data. Moreover, SFDI2019+ featured two keynote talks by Hiroyuki Seki (Nagoya University) and Zinovy Diskin (McMaster University), which introduce concepts and directions novel to the series of SFDI workshops so far.


title: The Chemical Evolution of Iron-Peak Elements with Hypernovae

abstract: We calculate the mean evolution of the iron-peak abundance ratios [(Cr,Mn,Co,Zn)/Fe] in the Galaxy, using modern supernova and hypernova chemical yields and a Galactic Chemical Evolution code that assumes homogeneous chemical evolution. We investigate a range of hypernova occurrence rates and are able to produce a chemical composition that is a reasonable fit to the observed values in metal-poor stars. This requires a hypernova occurence rate that is large (50%) in the early Universe, decreasing throughout evolution to a value that is within present day observational constraints (>~ 1%). A large hypernova occurence rate is beneficial to matching the high [Zn/Fe] observed in the most metal-poor stars, although including hypernovae with progenitor mass >= 60 solar masses is detrimental to matching the observed [(Mn,Co)/Fe] evolution at low [Fe/H]. A significant contribution from HNe seems to be critical for producing supersolar [(Co,Zn)/Fe] at low metallicity, though more work will need to be done in order to match the most extreme values. We also emphasise the need to update models for the enrichment sources at higher metallicity, as the satisfactory recovery of the solar values of [(Cr,Mn,Co,Zn)/Fe] still presents a challenge.


title: Pre-discovery Activity of New Interstellar Comet 2I/Borisov Beyond 5 AU

abstract: Comet 2I/Borisov, the first unambiguous interstellar comet ever found, was discovered in August 2019 at $\sim3$ au from the Sun on its inbound leg. No pre-discovery detection beyond 3 au has yet been reported, mostly due to the comet's proximity to the Sun as seen from the Earth. Here we present a search for pre-discovery detections of comet Borisov using images taken by the Catalina Sky Survey (CSS), Pan-STARRS and Zwicky Transient Facility (ZTF), with a further comprehensive follow-up campaign being presented in \citet{Bolin2019}. We identified comet Borisov in ZTF images taken in May 2019 and use these data to update its orbit. This allowed us to identify the comet in images acquired as far back as December 2018, when it was 7.8 au from the Sun. The comet was not detected in November 2018 when it was 8.6 au from the Sun, possibly implying an onset of activity around this time. This suggests that the activity of the comet is either driven by a more volatile species other than H$_2$O, such as CO or CO$_2$, or by exothermic crystallization of amorphous ice. We derive the radius of the nucleus to be $<7$ km using the non-detection in November 2018, and estimate an area of $\sim0.5$---$10 \mathrm{km^2}$ has been active between December 2018 and September 2019, though this number is model-dependent and is highly uncertain. The behavior of comet Borisov during its inbound leg is observationally consistent with dynamically new comets observed in our solar system, suggesting some similarities between the two.


title: Multi-Antenna Aided Secrecy Beamforming Optimization for Wirelessly Powered HetNets

abstract: The new paradigm of wirelessly powered two-tier heterogeneous networks (HetNets) is considered in this paper. Specifically, the femtocell base station (FBS) is powered by a power beacon (PB) and transmits confidential information to a legitimate femtocell user (FU) in the presence of a potential eavesdropper (EVE) and a macro base station (MBS). In this scenario, we investigate the secrecy beamforming design under three different levels of FBS-EVE channel state information (CSI), namely, the perfect, imperfect and completely unknown FBS-EVE CSI. Firstly, given the perfect global CSI at the FBS, the PB energy covariance matrix, the FBS information covariance matrix and the time splitting factor are jointly optimized aiming for perfect secrecy rate maximization. Upon assuming the imperfect FBS-EVE CSI, the worst-case and outage-constrained SRM problems corresponding to deterministic and statistical CSI errors are investigated, respectively. Furthermore, considering the more realistic case of unknown FBS-EVE CSI, the artificial noise (AN) aided secrecy beamforming design is studied. Our analysis reveals that for all the above cases both the optimal PB energy and FBS information secrecy beamformings are of rank-1. Moreover, for all considered cases of FBS-EVE CSI, the closed-form PB energy beamforming solutions are available when the cross-tier interference constraint is inactive. Numerical simulation results demonstrate the secrecy performance advantages of all proposed secrecy beamforming designs compared to the adopted baseline algorithms.


title: There is Limited Correlation between Coverage and Robustness for Deep Neural Networks

abstract: Deep neural networks (DNN) are increasingly applied in safety-critical systems, e.g., for face recognition, autonomous car control and malware detection. It is also shown that DNNs are subject to attacks such as adversarial perturbation and thus must be properly tested. Many coverage criteria for DNN since have been proposed, inspired by the success of code coverage criteria for software programs. The expectation is that if a DNN is a well tested (and retrained) according to such coverage criteria, it is more likely to be robust. In this work, we conduct an empirical study to evaluate the relationship between coverage, robustness and attack/defense metrics for DNN. Our study is the largest to date and systematically done based on 100 DNN models and 25 metrics. One of our findings is that there is limited correlation between coverage and robustness, i.e., improving coverage does not help improve the robustness. Our dataset and implementation have been made available to serve as a benchmark for future studies on testing DNN.


title: Computing characteristic functions of quantum work in phase space

abstract: In phase space, we analytically obtain the characteristic functions (CFs) of a forced harmonic oscillator [Talkner et al., Phys. Rev. E, 75, 050102 (2007)], a time-dependent mass and frequency harmonic oscillator [Deffner and Lutz, Phys. Rev. E, 77, 021128 (2008)], and coupled harmonic oscillators under driving forces in a simple and unified way. For general quantum systems, a numerical method that approximates the CFs to $\hbar^2$ order is proposed. We exemplify the method with a time-dependent frequency harmonic oscillator and a family of quantum systems with time-dependent even power-law potentials.


title: Majorization-Minimization Aided Hybrid Transceivers for MIMO Interference Channels

abstract: The potential of deploying large-scale antenna arrays in future wireless systems has stimulated extensive research on hybrid transceiver designs aiming to approximate the optimal fully-digital schemes with much reduced hardware cost and signal processing complexity. Generally, this hybrid transceiver structure requires a joint design of analog and digital processing to enable both beamsteering and spatial multiplexing gains. In this paper, we develop various weighted mean-square-error minimization (WMMSE) based hybrid transceiver designs over multiple-input multiple-output (MIMO) interference channels at both millimeter wave (mmWave) and microwave frequencies. Firstly, a heuristic joint design of hybrid precoder and combiner using alternating optimization is proposed, in which the majorization-minimization (MM) method is utilized to design the analog precoder and combiner with unit-modulus constraints. It is validated that this scheme achieves the comparable performance to the WMMSE fully-digital solution. To further reduce the complexity, a phase projection-based two-stage scheme is proposed to decouple the designs of analog and digital precoder combiner. Secondly, inspired by the fully-digital solutions based on the block-diagonalization zero-forcing (BD-ZF) and signal-to-leakage-plus-noise ratio (SLNR) criteria, low-complexity MMbased BD-ZF and SLNR hybrid designs are proposed to well approximate the corresponding fully-digital solutions. Thirdly, the partially-connected hybrid structure for reducing system hardware cost and power consumption is considered, for which the MM-based alternating optimization still works. Numerical results demonstrate the similar or superior performance of all the above proposed schemes over the existing benchmarks.


title: A Dynamic Preference Logic for reasoning about Agent Programming

abstract: In this work, we investigate the use of Dynamic Preference Logic to encode BDI mental attitudes. Further, exploring this codification and the representation of preferences over possible worlds by preferences over propositional formulas, here called priority graphs, we comment on how to interpret BDI agent programs in this logic. Also, using the connection between dynamic operations defined over preference models and their encoding as transformations on priority graphs, we show how our logic can be used not only to reason about agent programs, but as a tool to specify reasoning mechanisms to guarantee certain properties in the theory of rationality for the programming language.


title: Tractable reasoning about Agent Programming in Dynamic Preference Logic

abstract: While several BDI logics have been proposed in the area of Agent Programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. More yet, the reasoning problems in these logics, being based on modal logic, are not tractable in general, limiting their usage to tackle real-world problems. In this work, we use of Dynamic Preference Logic to provide a semantic foundation to BDI agent programming languages and investigate tractable expressive fragments of this logic to reason about agent programs. With that, we aim to provide a way of implementing semantically grounded agent programming languages with tractable reasoning cycles.


title: Explainable Ordinal Factorization Model: Deciphering the Effects of Attributes by Piece-wise Linear Approximation

abstract: Ordinal regression predicts the objects' labels that exhibit a natural ordering, which is important to many managerial problems such as credit scoring and clinical diagnosis. In these problems, the ability to explain how the attributes affect the prediction is critical to users. However, most, if not all, existing ordinal regression models simplify such explanation in the form of constant coefficients for the main and interaction effects of individual attributes. Such explanation cannot characterize the contributions of attributes at different value scales. To address this challenge, we propose a new explainable ordinal regression model, namely, the Explainable Ordinal Factorization Model (XOFM). XOFM uses the piece-wise linear functions to approximate the actual contributions of individual attributes and their interactions. Moreover, XOFM introduces a novel ordinal transformation process to assign each object the probabilities of belonging to multiple relevant classes, instead of fixing boundaries to differentiate classes. XOFM is based on the Factorization Machines to handle the potential sparsity problem as a result of discretizing the attribute scales. Comprehensive experiments with benchmark datasets and baseline models demonstrate that the proposed XOFM exhibits superior explainability and leads to state-of-the-art prediction accuracy.


title: Univoque bases of real numbers: local dimension, Devil's staircase and isolated points

abstract: Given a positive integer $M$ and a real number $x>0$, let $\mathcal U(x)$ be the set of all bases $q\in(1, M+1]$ for which there exists a unique sequence $(d_i)=d_1d_2\ldots$ with each digit $d_i\in\{0,1,\ldots, M\}$ satisfying $$ x=\sum_{i=1}^\infty\frac{d_i}{q^i}. $$ The sequence $(d_i)$ is called a $q$-expansion of $x$. In this paper we investigate the local dimension of $\mathcal U(x)$ and prove a `variation principle' for unique non-integer base expansions. We also determine the critical values of $\mathcal U(x)$ such that when $x$ passes the first critical value the set $\mathcal U(x)$ changes from a set with positive Hausdorff dimension to a countable set, and when $x$ passes the second critical value the set $\mathcal U(x)$ changes from an infinite set to a singleton. Denote by $\mathbf U(x)$ the set of all unique $q$-expansions of $x$ for $q\in\mathcal U(x)$. We give the Hausdorff dimension of $\mathbf U(x)$ and show that the dimensional function $x\mapsto\dim_H\mathbf U(x)$ is a non-increasing Devil's staircase. Finally, we investigate the topological structure of $\mathcal U(x)$. In contrast with $x=1$ that $\mathcal U(1)$ has no isolated points, we prove that for typical $x>0$ the set $\mathcal U(x)$ contains isolated points.


title: Recent Advances in Algorithmic High-Dimensional Robust Statistics

abstract: Learning in the presence of outliers is a fundamental problem in statistics. Until recently, all known efficient unsupervised learning algorithms were very sensitive to outliers in high dimensions. In particular, even for the task of robust mean estimation under natural distributional assumptions, no efficient algorithm was known. Recent work in theoretical computer science gave the first efficient robust estimators for a number of fundamental statistical tasks, including mean and covariance estimation. Since then, there has been a flurry of research activity on algorithmic high-dimensional robust estimation in a range of settings. In this survey article, we introduce the core ideas and algorithmic techniques in the emerging area of algorithmic high-dimensional robust statistics with a focus on robust mean estimation. We also provide an overview of the approaches that have led to computationally efficient robust estimators for a range of broader statistical tasks and discuss new directions and opportunities for future work.


title: Latin squares with maximal partial transversals of many lengths

abstract: A partial transversal $T$ of a Latin square $L$ is a set of entries of $L$ in which each row, column and symbol is represented at most once. A partial transversal is maximal if it is not contained in a larger partial transversal. Any maximal partial transversal of a Latin square of order $n$ has size at least $\lceil\frac{n}{2}\rceil$ and at most $n$. We say that a Latin square is omniversal if it possesses a maximal partial transversal of all feasible sizes and is near-omniversal if it possesses a maximal partial transversal of all feasible sizes except one. Evans showed that omniversal Latin squares of order $n$ exist for any odd $n \neq 3$. By extending this result, we show that an omniversal Latin square of order $n$ exists if and only if $n\notin\{3,4\}$ and $n \not\equiv 2 \mod 4$. Furthermore, we show that near-omniversal Latin squares exist for all orders $n \equiv 2 \mod 4$. Finally, we show that no non-trivial group has an omniversal Cayley table, and only 15 groups have a near-omniversal Cayley table. In fact, as $n$ grows, Cayley tables of groups of order $n$ miss a constant fraction of the feasible sizes of maximal partial transversals. In the course of proving this, we are led to consider the following interesting problem in combinatorial group theory. Suppose that we have two subsets $R,C\subseteq G$ of a finite group $G$ such that $|\{rc:r\in R,c\in C\}|=m$. How large do $|R|$ and $|C|$ need to be (in terms of $m$) to be certain that $R\subseteq xH$ and $C\subseteq Hy$ for some subgroup $H$ of order $m$ in $G$, and $x,y\in G$.


title: RWF-2000: An Open Large Scale Video Database for Violence Detection

abstract: In recent years, surveillance cameras are widely deployed in public places, and the general crime rate has been reduced significantly due to these ubiquitous devices. Usually, these cameras provide cues and evidence after crimes are conducted, while they are rarely used to prevent or stop criminal activities in time. It is both time and labor consuming to manually monitor a large amount of video data from surveillance cameras. Therefore, automatically recognizing violent behaviors from video signals becomes essential. This paper summarizes several existing video datasets for violence detection and proposes the RWF-2000 database with 2,000 videos captured by surveillance cameras in real-world scenes. Also, we present a new method that utilizes both the merits of 3D-CNNs and optical flow, namely Flow Gated Network. The proposed approach obtains an accuracy of 87.25% on the test set of our proposed database. The database and source codes are currently open to access.


title: Graphical combinatorics and a distributive law for modular operads

abstract: This work presents a detailed analysis of the combinatorics of modular operads. These are operad-like structures that admit a contraction operation as well as an operadic multiplication. Their combinatorics are governed by graphs that admit cycles, and are known for their complexity. In 2011, Joyal and Kock introduced a powerful graphical formalism for modular operads. This paper extends that work. A monad for modular operads is constructed and a corresponding nerve theorem is proved, using Weber's abstract nerve theory, in the terms originally stated by Joyal and Kock. This is achieved using a distributive law that sheds new light on the combinatorics of modular operads.


title: Hausdorff Measures, Dyadic Approximations and Dobi\'nski Set

abstract: Dobi\'nski set $\mathcal{D}$ is an exceptional set for a certain infinite product identity, whose points are characterized as having exceedingly good approximations by dyadic rationals. We study the Hausdorff dimension and logarithmic measure of $\mathcal{D}$ by means of the Mass Transference Principle and by the construction of certain appropriate Cantor-like sets, termed willow sets, contained in $\mathcal{D}$.


title: Adversarial Margin Maximization Networks

abstract: The tremendous recent success of deep neural networks (DNNs) has sparked a surge of interest in understanding their predictive ability. Unlike the human visual system which is able to generalize robustly and learn with little supervision, DNNs normally require a massive amount of data to learn new concepts. In addition, research works also show that DNNs are vulnerable to adversarial examples-maliciously generated images which seem perceptually similar to the natural ones but are actually formed to fool learning models, which means the models have problem generalizing to unseen data with certain type of distortions. In this paper, we analyze the generalization ability of DNNs comprehensively and attempt to improve it from a geometric point of view. We propose adversarial margin maximization (AMM), a learning-based regularization which exploits an adversarial perturbation as a proxy. It encourages a large margin in the input space, just like the support vector machines. With a differentiable formulation of the perturbation, we train the regularized DNNs simply through back-propagation in an end-to-end manner. Experimental results on various datasets (including MNIST, CIFAR-10/100, SVHN and ImageNet) and different DNN architectures demonstrate the superiority of our method over previous state-of-the-arts. Code and models for reproducing our results will be made publicly available.


title: The convex hull of random points on the boundary of a simple polytope

abstract: The convex hull of N independent random points chosen on the boundary of a simple polytope in R^n is investigated. Asymptotic formulas for the expected number of vertices and facets, and for the expectation of the volume difference are derived. This is one of the first investigations leading to rigorous results for random polytopes which are neither simple nor simplicial. The results contrast existing results when points are chosen in the interior of a convex set.


title: Optimal Server Selection for Straggler Mitigation

abstract: The performance of large-scale distributed compute systems is adversely impacted by stragglers when the execution time of a job is uncertain. To manage stragglers, we consider a multi-fork approach for job scheduling, where additional parallel servers are added at forking instants. In terms of the forking instants and the number of additional servers, we compute the job completion time and the cost of server utilization when the task processing times are assumed to have a shifted exponential distribution. We use this study to provide insights into the scheduling design of the forking instants and the associated number of additional servers to be started. Numerical results demonstrate orders of magnitude improvement in cost in the regime of low completion times as compared to the prior works.


title: Complementary metasurfaces for guiding electromagnetic waves

abstract: Waveguides are critically important components in microwave, THz, and optical technologies. Due to recent progress in two-dimensional materials, metasurfaces can be efficiently used to design novel waveguide structures which confine the electromagnetic energy while the structure is open. Here, we introduce a special type of such structures formed by two penetrable metasurfaces which have complementary isotropic surface impedances. We theoretically study guided modes supported by the proposed structure and discuss the corresponding dispersion properties. Furthermore, we show the results for different scenarios in which the surface impedances possess non-resonant or resonant characteristics, and the distance between the metasurfaces changes from large values to the extreme limit of zero. As an implication of this work, we demonstrate that there is a possibility to excite two modes with orthogonal polarizations having the same phase velocity within a broad frequency range. This property is promising for applications in leaky-wave antennas and field focusing.


title: Understanding the Disharmony between Weight Normalization Family and Weight Decay: $\epsilon-$shifted $L_2$ Regularizer

abstract: The merits of fast convergence and potentially better performance of the weight normalization family have drawn increasing attention in recent years. These methods use standardization or normalization that changes the weight $\boldsymbol{W}$ to $\boldsymbol{W}'$, which makes $\boldsymbol{W}'$ independent to the magnitude of $\boldsymbol{W}$. Surprisingly, $\boldsymbol{W}$ must be decayed during gradient descent, otherwise we will observe a severe under-fitting problem, which is very counter-intuitive since weight decay is widely known to prevent deep networks from over-fitting. In this paper, we \emph{theoretically} prove that the weight decay term $\frac{1}{2}\lambda||{\boldsymbol{W}}||^2$ merely modulates the effective learning rate for improving objective optimization, and has no influence on generalization when the weight normalization family is compositely employed. Furthermore, we also expose several critical problems when introducing weight decay term to weight normalization family, including the missing of global minimum and training instability. To address these problems, we propose an $\epsilon-$shifted $L_2$ regularizer, which shifts the $L_2$ objective by a positive constant $\epsilon$. Such a simple operation can theoretically guarantee the existence of global minimum, while preventing the network weights from being too small and thus avoiding gradient float overflow. It significantly improves the training stability and can achieve slightly better performance in our practice. The effectiveness of $\epsilon-$shifted $L_2$ regularizer is comprehensively validated on the ImageNet, CIFAR-100, and COCO datasets. Our codes and pretrained models will be released in https://github.com/implus/PytorchInsight.


title: Programmable View Update Strategies on Relations

abstract: View update is an important mechanism that allows updates on a view by translating them into the corresponding updates on the base relations. The existing literature has shown the ambiguity of translating view updates. To address this ambiguity, we propose a robust language-based approach for making view update strategies programmable and validatable. Specifically, we introduce a novel approach to use Datalog to describe these update strategies. We propose a validation algorithm to check the well-behavedness of the written Datalog programs. We present a fragment of the Datalog language for which our validation is both sound and complete. This fragment not only has good properties in theory but is also useful for solving practical view updates. Furthermore, we develop an algorithm for optimizing user-written programs to efficiently implement updatable views in relational database management systems. We have implemented our proposed approach. The experimental results show that our framework is feasible and efficient in practice.


title: Atari-fying the Vehicle Routing Problem with Stochastic Service Requests

abstract: We present a new general approach to modeling research problems as Atari-like videogames to make them amenable to recent groundbreaking solution methods from the deep reinforcement learning community. The approach is flexible, applicable to a wide range of problems. We demonstrate its application on a well known vehicle routing problem. Our preliminary results on this problem, though not transformative, show signs of success and suggest that Atari-fication may be a useful modeling approach for researchers studying problems involving sequential decision making under uncertainty.


title: From Peccei Quinn symmetry to mass hierarchy problem

abstract: We propose a non-universal $\mathrm{U}(1)_{X}$ gauge extension to the Standard Model (SM) and an additional Peccei-Quinn (PQ) global symmetry to study the mass hierarchy and strong CP problem. The scheme allows us to distinguish among fermion families and to generate the fermionic mass spectrum of particles of the SM. The symmetry breaking is performed by two scalar Higgs doublets and two scalar Higgs singlets, where one of these has the axion which turns out to be a candidate for Cold Dark Matter. The exotic sector is composed by one up-like $T$ and two down-like $J^{1,2}$ heavy quarks, two heavy charged leptons $E,\mathcal{E}$, one additional right-handed neutrino per family $\nu_{R}^{e,\mu,\tau}$, and an invisible axion $a$. In addition, the large energy scale associated to the breaking of the PQ-symmetry gives masses to the right-handed neutrinos in such a way that the active neutrinos acquire eV-mass values due to the see-saw mechanism. On the other hand, from the non-linear effective Lagrangian, the flavour changing of the down quarks and charged leptons with the axion are considered.


title: Free-standing silicon shadow masks for transmon qubit fabrication

abstract: Nanofabrication techniques for superconducting qubits rely on resist-based masks patterned by electron-beam or optical lithography. We have developed an alternative nanofabrication technique based on free-standing silicon shadow masks fabricated from silicon-on-insulator wafers. These silicon shadow masks not only eliminate organic residues associated with resist-based lithography, but also provide a pathway to better understand and control surface-dielectric losses in superconducting qubits by decoupling mask fabrication from substrate preparation. We have successfully fabricated aluminum 3D transmon superconducting qubits with these shadow masks and found coherence quality factors comparable to those fabricated with standard techniques.


title: THOR 42: A touchstone $\sim$24 Myr-old eclipsing binary spanning the fully-convective boundary

abstract: We present the characterization of CRTS J055255.7$-$004426 (=THOR 42), a young eclipsing binary comprising two pre-main sequence M dwarfs (combined spectral type M3.5). This nearby (103 pc), short-period (0.859 d) system was recently proposed as a member of the $\sim$24 Myr-old 32 Orionis Moving Group. Using ground- and space-based photometry in combination with medium- and high-resolution spectroscopy, we model the light and radial velocity curves to derive precise system parameters. The resulting component masses and radii are $0.497\pm0.005$ and $0.205\pm0.002$ $\rm{M}_{\odot}$, and $0.659\pm0.003$ and $0.424\pm0.002$ $\rm{R}_{\odot}$, respectively. With mass and radius uncertainties of $\sim$1 per cent and $\sim$0.5 per cent, respectively, THOR 42 is one of the most precisely characterized pre-main sequence eclipsing binaries known. Its systemic velocity, parallax, proper motion, colour-magnitude diagram placement and enlarged radii are all consistent with membership in the 32 Ori Group. The system provides a unique opportunity to test pre-main sequence evolutionary models at an age and mass range not well constrained by observation. From the radius and mass measurements we derive ages of 22-26 Myr using standard (non-magnetic) models, in excellent agreement with the age of the group. However, none of the models can simultaneously reproduce the observed mass, radius, temperature and luminosity of the coeval components. In particular, their H-R diagram ages are 2-4 times younger and we infer masses $\sim$50 per cent smaller than the dynamical values.


title: Compact-Range RCS Measurements and Modeling of Small Drones at 15 GHz and 25 GHz

abstract: The knowledge of the radar signature of aerial targets, such as drones, is critical in designing an effective radar detection system. It is a challenging task to measure the radar cross-section (RCS) of small drones. This paper describes a compact-range approach for measuring the RCS of small drones at 15 GHz and 25 GHz. The measurement results show that the average RCS of the three small drones varies with the radar frequency with higher reflections observed around certain directions. Moreover, the results show that for each drone, the RCS at 25 GHz is higher than the RCS at 15 GHz. Besides, information-theoretical based model selection for the RCS data is carried using the Akaike information criterion (AIC). We find that the generalized extreme value distribution is a good fit for modeling the RCS of small drones.


title: Enabling Efficient Privacy-Assured Outlier Detection over Encrypted Incremental Datasets

abstract: Outlier detection is widely used in practice to track the anomaly on incremental datasets such as network traffic and system logs. However, these datasets often involve sensitive information, and sharing the data to third parties for anomaly detection raises privacy concerns. In this paper, we present a privacy-preserving outlier detection protocol (PPOD) for incremental datasets. The protocol decomposes the outlier detection algorithm into several phases and recognises the necessary cryptographic operations in each phase. It realises several cryptographic modules via efficient and interchangeable protocols to support the above cryptographic operations and composes them in the overall protocol to enable outlier detection over encrypted datasets. To support efficient updates, it integrates the sliding window model to periodically evict the expired data in order to maintain a constant update time. We build a prototype of PPOD and systematically evaluates the cryptographic modules and the overall protocols under various parameter settings. Our results show that PPOD can handle encrypted incremental datasets with a moderate computation and communication cost.


title: Entangling two microwave modes via optomechanics

abstract: We in theory proposed a hybrid system consisting of a mechanical resonator, an optical Fabry-P\'erot cavity, and two superconducting microwave circuits to generate stationary continuous-variable quantum entanglement between two microwave modes. We show that the hybrid system can also achieve quantum entanglement of other bipartite subsystems in experimentally accessible parameter regimes, which has the potential to be useful in quantum information processing and quantum illumination radar.


title: Blinding multi-probe cosmological experiments

abstract: The goal of blinding is to hide an experiment's critical results -- here the inferred cosmological parameters -- until all decisions affecting its analysis have been finalised. This is especially important in the current era of precision cosmology, when the results of any new experiment are closely scrutinised for consistency or tension with previous results. In analyses that combine multiple observational probes, like the combination of galaxy clustering and weak lensing in the Dark Energy Survey (DES), it is challenging to blind the results while retaining the ability to check for (in)consistency between different parts of the data. We propose a simple new blinding transformation that works by modifying the summary statistics that are input to parameter estimation, such as two-point correlation functions. The transformation shifts the measured statistics to new values that are consistent with (blindly) shifted cosmological parameters, while preserving internal (in)consistency. We apply the blinding transformation to simulated data for the projected DES Year 3 galaxy clustering and weak lensing analysis, demonstrating that practical blinding is achieved without significant perturbation of internal-consistency checks, as measured here by degradation of the $\chi^2$ between data and best-fitting model. Our blinding method conserves $\chi^2$ more precisely as experiments evolve to higher precision.


title: FAQ-based Question Answering via Knowledge Anchors

abstract: Question answering (QA) aims to understand questions and find appropriate answers. In real-world QA systems, Frequently Asked Question (FAQ) based QA is usually a practical and effective solution, especially for some complicated questions (e.g., How and Why). Recent years have witnessed the great successes of knowledge graphs (KGs) in KBQA systems, while there are still few works focusing on making full use of KGs in FAQ-based QA. In this paper, we propose a novel Knowledge Anchor based Question Answering (KAQA) framework for FAQ-based QA to better understand questions and retrieve more appropriate answers. More specifically, KAQA mainly consists of three modules: knowledge graph construction, query anchoring and query-document matching. We consider entities and triples of KGs in texts as knowledge anchors to precisely capture the core semantics, which brings in higher precision and better interpretability. The multi-channel matching strategy also enables most sentence matching models to be flexibly plugged in our KAQA framework to fit different real-world computation limitations. In experiments, we evaluate our models on both offline and online query-document matching tasks on a real-world FAQ-based QA system in WeChat Search, with detailed analysis, ablation tests and case studies. The significant improvements confirm the effectiveness and robustness of the KAQA framework in real-world FAQ-based QA.


title: VisionISP: Repurposing the Image Signal Processor for Computer Vision Applications

abstract: Traditional image signal processors (ISPs) are primarily designed and optimized to improve the image quality perceived by humans. However, optimal perceptual image quality does not always translate into optimal performance for computer vision applications. We propose a set of methods, which we collectively call VisionISP, to repurpose the ISP for machine consumption. VisionISP significantly reduces data transmission needs by reducing the bit-depth and resolution while preserving the relevant information. The blocks in VisionISP are simple, content-aware, and trainable. Experimental results show that VisionISP boosts the performance of a subsequent computer vision system trained to detect objects in an autonomous driving setting. The results demonstrate the potential and the practicality of VisionISP for computer vision applications.


title: GIFT: Learning Transformation-Invariant Dense Visual Descriptors via Group CNNs

abstract: Finding local correspondences between images with different viewpoints requires local descriptors that are robust against geometric transformations. An approach for transformation invariance is to integrate out the transformations by pooling the features extracted from transformed versions of an image. However, the feature pooling may sacrifice the distinctiveness of the resulting descriptors. In this paper, we introduce a novel visual descriptor named Group Invariant Feature Transform (GIFT), which is both discriminative and robust to geometric transformations. The key idea is that the features extracted from the transformed versions of an image can be viewed as a function defined on the group of the transformations. Instead of feature pooling, we use group convolutions to exploit underlying structures of the extracted features on the group, resulting in descriptors that are both discriminative and provably invariant to the group of transformations. Extensive experiments show that GIFT outperforms state-of-the-art methods on several benchmark datasets and practically improves the performance of relative pose estimation.


title: Counting statistics of microwave photons in circuit QED

abstract: In superconducting circuit architectures for quantum computing, microwave resonators are often used both to isolate qubits from the electromagnetic environment and to facilitate qubit state readout. We analyze the full counting statistics of photons emitted from such driven readout resonators both in and beyond the dispersive approximation. We calculate the overlap between emitted-photon distributions for the two qubit states and explore strategies for its minimization with the purpose of increasing fidelity of intensity-sensitive readout techniques. In the dispersive approximation and at negligible qubit relaxation, both distributions are Poissonian, and the overlap between them can be easily made arbitrarily small. Nondispersive terms of the Hamiltonian generate squeezing and the Purcell decay with the latter effect giving the dominant contribution to the overlap between two distributions.


title: Multi-Attribute Bayesian Optimization With Interactive Preference Learning

abstract: We consider black-box global optimization of time-consuming-to-evaluate functions on behalf of a decision-maker (DM) whose preferences must be learned. Each feasible design is associated with a time-consuming-to-evaluate vector of attributes and each vector of attributes is assigned a utility by the DM's utility function, which may be learned approximately using preferences expressed over pairs of attribute vectors. Past work has used a point estimate of this utility function as if it were error-free within single-objective optimization. However, utility estimation errors may yield a poor suggested design. Furthermore, this approach produces a single suggested "best" design, whereas DMs often prefer to choose from a menu. We propose a novel multi-attribute Bayesian optimization with preference learning approach. Our approach acknowledges the uncertainty in preference estimation and implicitly chooses designs to evaluate that are good not just for a single estimated utility function but a range of likely ones. The outcome of our approach is a menu of designs and evaluated attributes from which the DM makes a final selection. We demonstrate the value and flexibility of our approach in a variety of experiments.


title: Accelerating quantum optics experiments with statistical learning

abstract: Quantum optics experiments, involving the measurement of low-probability photon events, are known to be extremely time-consuming. We present a new methodology for accelerating such experiments using physically-motivated ansatzes together with simple statistical learning techniques such as Bayesian maximum a posteriori estimation based on few-shot data. We show that it is possible to reconstruct time-dependent data using a small number of detected photons, allowing for fast estimates in under a minute and providing a one-to-two order of magnitude speed up in data acquisition time. We test our approach using real experimental data to retrieve the second order intensity correlation function, $G^{(2)}(\tau)$, as a function of time delay $\tau$ between detector counts, for thermal light as well as anti-bunched light emitted by a quantum dot driven by periodic laser pulses. The proposed methodology has a wide range of applicability and has the potential to impact the scientific discovery process across a multitude of domains.

categories: quant-ph physics.app-ph physics.atom-ph physics.optics


title: Small Latin arrays have a near transversal

abstract: A Latin array is a matrix of symbols in which no symbol occurs more than once within a row or within a column. A diagonal of an $n\times n$ array is a selection of $n$ cells taken from different rows and columns of the array. The weight of a diagonal is the number of different symbols on it. We show via computation that every Latin array of order $n\le11$ has a diagonal of weight at least $n-1$. A corollary is the existence of near transversals in Latin squares of these orders. More generally, for all $k\le20$ we compute a lower bound on the order of any Latin array that does not have a diagonal of weight at least $n-k$.


title: Ultrafast Wave-Particle Energy Transfer in the Collapse of Standing Whistler Waves

abstract: Efficient energy transfer from electromagnetic waves to ions has been demanded to control laboratory plasmas for various applications and could be useful to understand the nature of space and astrophysical plasmas. However, there exists a severe unsolved problem that most of the wave energy is converted quickly to electrons, but not to ions. Here, an energy conversion process to ions in overdense plasmas associated with whistler waves is investigated by numerical simulations and theoretical model. Whistler waves propagating along a magnetic field in space and laboratories often form the standing waves by the collision of counter-propagating waves or through the reflection. We find that ions in the standing whistler waves acquire a large amount of energy directly from the waves in a short timescale comparable to the wave oscillation period. Thermalized ion temperature increases in proportion to the square of the wave amplitude and becomes much higher than the electron temperature in a wide range of wave-plasma conditions. This efficient ion-heating mechanism applies to various plasma phenomena in space physics and fusion energy sciences.


title: An extension of Weyl's equidistribution theorem to generalized polynomials and applications

abstract: Generalized polynomials are mappings obtained from the conventional polynomials by the use of operations of addition, multiplication and taking the integer part. Extending the classical theorem of H. Weyl on equidistribution of polynomials, we show that a generalized polynomial $q(n)$ has the property that the sequence $(q(n) \lambda)_{n \in \mathbb{Z}}$ is well distributed $\bmod \, 1$ for all but countably many $\lambda \in \mathbb{R}$ if and only if $\lim\limits_{\substack{|n| \rightarrow \infty n \notin J}} |q(n)| = \infty$ for some (possibly empty) set $J$ having zero density in $\mathbb{Z}$. We also prove a version of this theorem along the primes (which may be viewed as an extension of classical results of I. Vinogradov and G. Rhin). Finally, we utilize these results to obtain new examples of sets of recurrence and van der Corput sets.


title: SimVODIS: Simultaneous Visual Odometry, Object Detection, and Instance Segmentation

abstract: Intelligent agents need to understand the surrounding environment to provide meaningful services to or interact intelligently with humans. The agents should perceive geometric features as well as semantic entities inherent in the environment. Contemporary methods in general provide one type of information regarding the environment at a time, making it difficult to conduct high-level tasks. Moreover, running two types of methods and associating two resultant information requires a lot of computation and complicates the software architecture. To overcome these limitations, we propose a neural architecture that simultaneously performs both geometric and semantic tasks in a single thread: simultaneous visual odometry, object detection, and instance segmentation (SimVODIS). Training SimVODIS requires unlabeled video sequences and the photometric consistency between input image frames generates self-supervision signals. The performance of SimVODIS outperforms or matches the state-of-the-art performance in pose estimation, depth map prediction, object detection, and instance segmentation tasks while completing all the tasks in a single thread. We expect SimVODIS would enhance the autonomy of intelligent agents and let the agents provide effective services to humans.


title: Distributional Clustering: A distribution-preserving clustering method

abstract: One key use of k-means clustering is to identify cluster prototypes which can serve as representative points for a dataset. However, a drawback of using k-means cluster centers as representative points is that such points distort the distribution of the underlying data. This can be highly disadvantageous in problems where the representative points are subsequently used to gain insights on the data distribution, as these points do not mimic the distribution of the data. To this end, we propose a new clustering method called "distributional clustering", which ensures cluster centers capture the distribution of the underlying data. We first prove the asymptotic convergence of the proposed cluster centers to the data generating distribution, then present an efficient algorithm for computing these cluster centers in practice. Finally, we demonstrate the effectiveness of distributional clustering on synthetic and real datasets.


title: An Efficient Hardware-Oriented Dropout Algorithm

abstract: This paper proposes a hardware-oriented dropout algorithm, which is efficient for field programmable gate array (FPGA) implementation. In deep neural networks (DNNs), overfitting occurs when networks are overtrained and adapt too well to training data. Consequently, they fail in predicting unseen data used as test data. Dropout is a common technique that is often applied in DNNs to overcome this problem. In general, implementing such training algorithms of DNNs in embedded systems is difficult due to power and memory constraints. Training DNNs is power-, time-, and memory- intensive; however, embedded systems require low power consumption and real-time processing. An FPGA is suitable for embedded systems for its parallel processing characteristic and low operating power; however, due to its limited memory and different architecture, it is difficult to apply general neural network algorithms. Therefore, we propose a hardware-oriented dropout algorithm that can effectively utilize the characteristics of an FPGA with less memory required. Software program verification demonstrates that the performance of the proposed method is identical to that of conventional dropout, and hardware synthesis demonstrates that it results in significant resource reduction.


title: Progressive Feature Polishing Network for Salient Object Detection

abstract: Feature matters for salient object detection. Existing methods mainly focus on designing a sophisticated structure to incorporate multi-level features and filter out cluttered features. We present Progressive Feature Polishing Network (PFPN), a simple yet effective framework to progressively polish the multi-level features to be more accurate and representative. By employing multiple Feature Polishing Modules (FPMs) in a recurrent manner, our approach is able to detect salient objects with fine details without any post-processing. A FPM parallelly updates the features of each level by directly incorporating all higher level context information. Moreover, it can keep the dimensions and hierarchical structures of the feature maps, which makes it flexible to be integrated with any CNN-based models. Empirical experiments show that our results are monotonically getting better with increasing number of FPMs. Without bells and whistles, PFPN outperforms the state-of-the-art methods significantly on five benchmark datasets under various evaluation metrics.


title: Structured Mean-field Variational Inference and Learning in Winner-take-all Spiking Neural Networks

abstract: The Bayesian view of the brain hypothesizes that the brain constructs a generative model of the world, and uses it to make inferences via Bayes' rule. Although many types of approximate inference schemes have been proposed for hierarchical Bayesian models of the brain, the questions of how these distinct inference procedures can be realized by hierarchical networks of spiking neurons remains largely unresolved. Based on a previously proposed multi-compartment neuron model in which dendrites perform logarithmic compression, and stochastic spiking winner-take-all (WTA) circuits in which firing probability of each neuron is normalized by activities of other neurons, here we construct Spiking Neural Networks that perform \emph{structured} mean-field variational inference and learning, on hierarchical directed probabilistic graphical models with discrete random variables. In these models, we do away with symmetric synaptic weights previously assumed for \emph{unstructured} mean-field variational inference by learning both the feedback and feedforward weights separately. The resulting online learning rules take the form of an error-modulated local Spike-Timing-Dependent Plasticity rule. Importantly, we consider two types of WTA circuits in which only one neuron is allowed to fire at a time (hard WTA) or neurons can fire independently (soft WTA), which makes neurons in these circuits operate in regimes of temporal and rate coding respectively. We show how the hard WTA circuits can be used to perform Gibbs sampling whereas the soft WTA circuits can be used to implement a message passing algorithm that computes the marginals approximately. Notably, a simple change in the amount of lateral inhibition realizes switching between the hard and soft WTA spiking regimes. Hence the proposed network provides a unified view of the two previously disparate modes of inference and coding by spiking neurons.


title: 2L-3W: 2-Level 3-Way Hardware-Software Co-Verification for the Mapping of Deep Learning Architecture (DLA) onto FPGA Boards

abstract: FPGAs have become a popular choice for deploying deep learning architectures (DLA). There are many researchers that have explored the deployment and mapping of DLA on FPGA. However, there has been a growing need to do design-time hardware-software co-verification of these deployments. To the best of our knowledge this is the first work that proposes a 2-Level 3-Way (2L-3W) hardware-software co-verification methodology and provides a step-by-step guide for the successful mapping, deployment and verification of DLA on FPGA boards. The 2-Level verification is to make sure the implementation in each stage (software and hardware) are following the desired behavior. The 3-Way co-verification provides a cross-paradigm (software, design and hardware) layer-by-layer parameter check to assure the correct implementation and mapping of the DLA onto FPGA boards. The proposed 2L-3W co-verification methodology has been evaluated over several test cases. In each case, the prediction and layer-by-layer output of the DLA deployed on PYNQ FPGA board (hardware) alongside with the intermediate design results of the layer-by-layer output of the DLA implemented on Vivado HLS and the prediction and layer-by-layer output of the software level (Caffe deep learning framework) are compared to obtain a layer-by-layer similarity score. The comparison is achieved using a completely automated Python script. The comparison provides a layer-by-layer similarity score that informs us the degree of success of the DLA mapping to the FPGA or help identify in design time the layer to be debugged in the case of unsuccessful mapping. We demonstrated our technique on LeNet DLA and Caffe inspired Cifar-10 DLA and the co-verification results yielded layer-by-layer similarity scores of 99\% accuracy.


title: Domain structures and quark potentials in SU($3$) gauge theory

abstract: We analyze the static potentials for various representations in SU($3$) Yang-Mills theory within the framework of the domain model of center vortices. The influence of vortex interactions is investigated on the static potentials. We show that, by ad-hoc choosing the probability weights of the different vortex configurations contributing to the static potential, a phenomenologically satisfactory result for the different representations can be achieved. In particular including vacuum domains, a way to effectively parametrize vortex interactions, is crucial in obtaining an (almost) everywhere convex potential when interpolating between the short distances and the asymptotic regimes.


title: A Scalable Approach for Facial Action Unit Classifier Training UsingNoisy Data for Pre-Training

abstract: Machine learning systems are being used to automate many types of laborious labeling tasks. Facial actioncoding is an example of such a labeling task that requires copious amounts of time and a beyond average level of human domain expertise. In recent years, the use of end-to-end deep neural networks has led to significant improvements in action unit recognition performance and many network architectures have been proposed. Do the more complex deep neural network(DNN) architectures perform sufficiently well to justify the additional complexity? We show that pre-training on a large diverse set of noisy data can result in even a simple CNN model improving over the current state-of-the-art DNN architectures.The average F1-score achieved with our proposed method on the DISFA dataset is 0.60, compared to a previous state-of-the-art of 0.57. Additionally, we show how the number of subjects and number of images used for pre-training impacts the model performance. The approach that we have outlined is open-source, highly scalable, and not dependent on the model architecture. We release the code and data: https://github.com/facialactionpretrain/facs.


title: Hiding in Multilayer Networks

abstract: Multilayer networks allow for modeling complex relationships, where individuals are embedded in multiple social networks at the same time. Given the ubiquity of such relationships, these networks have been increasingly gaining attention in the literature. This paper presents the first analysis of the robustness of centrality measures against strategic manipulation in multilayer networks. More specifically, we consider an "evader" who strategically chooses which connections to form in a multilayer network in order to obtain a low centrality-based ranking-thereby reducing the chance of being highlighted as a key figure in the network-while ensuring that she remains connected to a certain group of people. We prove that determining an optimal way to "hide" is NP-complete and hard to approximate for most centrality measures considered in our study. Moreover, we empirically evaluate a number of heuristics that the evader can use. Our results suggest that the centrality measures that are functions of the entire network topology are more robust to such a strategic evader than their counterparts which consider each layer separately.


title: Evolution implications of neutron star magnetic fields: inferred from pulsars and cyclotron lines of HMXBs

abstract: The evolution of neutron star (NS) magnetic field (B-field) has long been an important topic, which is still not yet settled down. Here, we analyze the NS B-fields inferred by the cyclotron resonance scattering features (CRSFs) for the high mass X-ray binaries (HMXBs) and by the magnetic dipole model for the spin-down pulsars. We find that the B-fields of both the 32 NSHMXBs and 28 young pulsars with the supernova remnants follow the log-normal distributions, with the average values of 3.4 * 10^12 G and 4.1 * 10^12 G respectively, which are further verified to come from the same continuous distribution by the statistical tests. These results declaim that the two methods of measuring NS B-fields are reliable for the above two groups of samples. In addition, since the NS-HMXBs have experienced the spin-down phase as the normal pulsars without accretion and then the spin-up phase by accretion, their ages should be about million years (Myrs). Our statistical facts imply that the B-fields of NS-HMXBs have little decayed in their non-accretion spin-down phases of ~ Myrs, as well as in their accretion phases of ~ 0.1Myrs.


title: Online Second Price Auction with Semi-bandit Feedback Under the Non-Stationary Setting

abstract: In this paper, we study the non-stationary online second price auction problem. We assume that the seller is selling the same type of items in $T$ rounds by the second price auction, and she can set the reserve price in each round. In each round, the bidders draw their private values from a joint distribution unknown to the seller. Then, the seller announced the reserve price in this round. Next, bidders with private values higher than the announced reserve price in that round will report their values to the seller as their bids. The bidder with the highest bid larger than the reserved price would win the item and she will pay to the seller the price equal to the second-highest bid or the reserve price, whichever is larger. The seller wants to maximize her total revenue during the time horizon $T$ while learning the distribution of private values over time. The problem is more challenging than the standard online learning scenario since the private value distribution is non-stationary, meaning that the distribution of bidders' private values may change over time, and we need to use the \emph{non-stationary regret} to measure the performance of our algorithm. To our knowledge, this paper is the first to study the repeated auction in the non-stationary setting theoretically. Our algorithm achieves the non-stationary regret upper bound $\tilde{\mathcal{O}}(\min\{\sqrt{\mathcal S T}, \bar{\mathcal{V}}^{\frac{1}{3}}T^{\frac{2}{3}}\})$, where $\mathcal S$ is the number of switches in the distribution, and $\bar{\mathcal{V}}$ is the sum of total variation, and $\mathcal S$ and $\bar{\mathcal{V}}$ are not needed to be known by the algorithm. We also prove regret lower bounds $\Omega(\sqrt{\mathcal S T})$ in the switching case and $\Omega(\bar{\mathcal{V}}^{\frac{1}{3}}T^{\frac{2}{3}})$ in the dynamic case, showing that our algorithm has nearly optimal \emph{non-stationary regret}.


title: Electron spin mediated distortion in metallic systems

abstract: The deviation of positions of atoms from their ideal lattice sites in crystalline solid state systems causes distortion and can lead to variation in structural [1] and functional properties [2]. Distortion in molecular systems has been traditionally understood in the term of Jahn-Teller distortion [3], while for the one-dimensional chain of metals, the Peierls distortion mechanism has been proposed [4]. In a real three dimensional metallic systems, a fundamental description of the distortion is missing, which we need to design alloys with attractive structural properties. The present investigation presents the evolution of distortion in metallic systems in terms of magnetovolume effects arising due to magnetic ground-state of the system. Particularly the significant distortion in the case of Cr due to presence of other transition metals is seen. Cr alloyed with transition metals as a candidate system to study the correlation between charge disproportion, spin-flip, magnetovolume effects and Fermi surface nesting. This study provides a novel explanation of strengthening effect of Cr observed in alloys due to its unique magnetic properties.


title: Resistance distance in directed cactus graphs

abstract: Let $G=(V,E)$ be a strongly connected and balanced digraph with vertex set $V=\{1,\dotsc,n\}$. The classical distance $d_{ij}$ between any two vertices $i$ and $j$ in $G$ is the minimum length of all the directed paths joining $i$ and $j$. The resistance distance (or, simply the resistance) between any two vertices $i$ and $j$ in $V$ is defined by $r_{ij}:=l_{ii}^{\dag}+l_{jj}^{\dag}-2l_{ij}^{\dag}$, where $l_{pq}^{\dagger}$ is the $(p,q)^{\rm th}$ entry of the Moore-Penrose inverse of $L$ which is the Laplacian matrix of $G$. In practice, the resistance $r_{ij}$ is more significant than the classical distance. One reason for this is, numerical examples show that the resistance distance between $i$ and $j$ is always less than or equal to the classical distance, i.e. $r_{ij} \leq d_{ij}$. However, no proof for this inequality is known. In this paper, we show that this inequality holds for all directed cactus graphs.


title: Change-point Analysis in Financial Networks

abstract: A major impact of globalization has been the information flow across the financial markets rendering them vulnerable to financial contagion. Research has focused on network analysis techniques to understand the extent and nature of such information flow. It is now an established fact that a stock market crash in one country can have a serious impact on other markets across the globe. It follows that such crashes or critical regimes will affect the network dynamics of the global financial markets. In this paper, we use sequential change point detection in dynamic networks to detect changes in the network characteristics of thirteen stock markets across the globe. Our method helps us to detect changes in network behavior across all known stock market crashes during the period of study. In most of the cases, we can detect a change in the network characteristics prior to crash. Our work thus opens the possibility of using this technique to create a warning bell for critical regimes in financial markets.


title: Ethanos: Lightweight Bootstrapping for Ethereum

abstract: As ethereum blockchain has become popular, the number of users and transactions has skyrocketed, causing an explosive increase of its data size. As a result, ordinary clients using PCs or smartphones cannot easily bootstrap as a full node, but rely on other full nodes such as the miners to run or verify transactions. This may affect the security of ethereum, so light bootstrapping techniques such as fast sync has been proposed to download only parts of full data, yet the space overhead is still too high. One of the biggest space overhead that cannot easily be reduced is caused by saving the state of all accounts in the block's state trie. Fortunately, we found that more than 90% of accounts are inactive and old transactions are hard to be manipulated. Based on these observations, this paper propose a novel optimization technique called ethanos that can reduce bootstrapping cost by sweeping inactive accounts periodically and by not downloading old transactions. If an inactive account becomes active, ethanos restore its state by running a restoration transaction. Also, ethanos gives incentives for archive nodes to maintain the old transactions for possible re-verification. We implemented ethanos by instrumenting the go-ethereum (geth) client and evaluated with the real 113 million transactions from 14 million accounts between 7M-th and 8M-th blocks in ethereum. Our experimental result shows that ethanos can reduce the size of the account state by half, which, if combined with removing old transactions, may reduce the storage size for bootstrapping to around 1GB. This would be reasonable enough for ordinary clients to bootstrap on their personal devices.


abstract: Graph Neural Networks (GNNs), which generalize deep neural networks to graph-structured data, have drawn considerable attention and achieved state-of-the-art performance in numerous graph related tasks. However, existing GNN models mainly focus on designing graph convolution operations. The graph pooling (or downsampling) operations, that play an important role in learning hierarchical representations, are usually overlooked. In this paper, we propose a novel graph pooling operator, called Hierarchical Graph Pooling with Structure Learning (HGP-SL), which can be integrated into various graph neural network architectures. HGP-SL incorporates graph pooling and structure learning into a unified module to generate hierarchical representations of graphs. More specifically, the graph pooling operation adaptively selects a subset of nodes to form an induced subgraph for the subsequent layers. To preserve the integrity of graph's topological information, we further introduce a structure learning mechanism to learn a refined graph structure for the pooled graph at each layer. By combining HGP-SL operator with graph neural networks, we perform graph level representation learning with focus on graph classification task. Experimental results on six widely used benchmarks demonstrate the effectiveness of our proposed model.


title: $\mathbb{A}^{1}$-Local Degree via Stacks

abstract: We extend results of Kass--Wickelgren to define an Euler class for a non-orientable (or non-relatively orientable) vector bundle on a smooth scheme, valued in the Grothendieck--Witt group of the ground field. We use a root stack construction to produce this Euler class and discuss its relation to other versions of an Euler class in $\mathbb{A}^{1}$-homotopy theory. This allows one to apply Kass--Wickelgren's technique for arithmetic enrichments of enumerative geometry to a larger class of problems; as an example, we use our construction to give an arithmetic count of the number of lines meeting $6$ planes in $\mathbb{P}^4$.


title: Contextual Bandits Evolving Over Finite Time

abstract: Contextual bandits have the same exploration-exploitation trade-off as standard multi-armed bandits. On adding positive externalities that decay with time, this problem becomes much more difficult as wrong decisions at the start are hard to recover from. We explore existing policies in this setting and highlight their biases towards the inherent reward matrix. We propose a rejection based policy that achieves a low regret irrespective of the structure of the reward probability matrix.


title: Determination of quantum numbers for several excited charmed mesons observed in $B^- \to D^{*+} \pi^- \pi^-$ decays

abstract: A four-body amplitude analysis of the $B^- \to D^{*+} \pi^- \pi^-$ decay is performed, where fractions and relative phases of the various resonances contributing to the decay are measured. Several quasi-model-independent analyses are performed aimed at searching for the presence of new states and establishing the quantum numbers of previously observed charmed meson resonances. In particular the resonance parameters and quantum numbers are determined for the $D_1(2420)$, $D_1(2430)$, $D_0(2550)$, $D^*_1(2600)$, $D_2(2740)$ and $D^*_3(2750)$ states. The mixing between the $D_1(2420)$ and $D_1(2430)$ resonances is studied and the mixing parameters are measured. The dataset corresponds to an integrated luminosity of 4.7 $fb^{-1}$, collected in proton-proton collisions at center-of-mass energies of 7, 8 and 13 TeV with the LHCb detector.


title: Studies of the beam-ion instability and its mitigation with feedback system

abstract: The beam-ion interaction is a potential limitation of beam performance in electron accelerators, especially where the beam emittance is of a great concern in future ultra-low emittance light source. "Conventionally", the beam instability due to beam-ion interaction is attributed to two types of effects: ion trapping effect and fast ion effect, which emphasize the beam-ion dynamics in different time scales. Whereas, in accelerators, the beam suffers from a mixture of ion trapping effect and fast ion effect, leading to a more complicated process and requiring a self-consistent treatment. To evaluate the beam characteristics, as emittance growth under the influence from beam-ion effect, a new numerical simulation code based on the "quasi-strong-strong" model has been developed, including modules of ionization, beam-ion interaction, synchrotron radiation damping, quantum excitation, bunch-by-bunch feedback, etc. In the study, we do not regularly distinguish the ion trapping effect and the fast ion effect, but treat beam-ion interaction more generally and consistently. The lattice of High Energy Photon Source, a diffraction limit ring under construction in Beijing, is used as an example to show the beam-ion effect. It is found that in this low emittance ring, the beam-ion instability is not a dominant mechanism in operation mode with a high beam current, but seriously occurs in a lower beam current region. When the beam-ion instability were significantly driven and can not be damped by the synchrotron radiation damping, the simulations show the bunch-by-bunch feedback system based on the Finite Impulse Response filter technique can be adopted to mitigate it effectively.


title: Performance of Two-Way Relaying over $\alpha$-$\mu$ Fading Channels in Hybrid RF/FSO Wireless Networks

abstract: In this paper, the performance of two-way relaying in mixed RF/FSO communication system with a backup RF link is investigated. Uplink RF channels are used to send data of $K$ users to a two-way relay, $R$, whereas FSO link is mainly used to exchange data between a base station $S$ and $R$. We propose to have a backup RF link between the relay $R$ and the node $S$ to improve reliability under certain conditions. All uplink RF channels follow Rayleigh fading model while $\alpha$-$\mu$ is adopted to model both backup RF and FSO links. We approximate the widely used Gamma-Gamma fading model using the $\alpha$-$\mu$ distribution based on moments-based estimator technique assuming perfect alignment between transmitter and receiver antennas. This approximation shows good agreement under certain atmospheric turbulence conditions. Then, we derive exact closed-form expressions for the outage and average symbol error probabilities and derive approximations at high signal-to-noise ratio (SNR). We corroborate our analytical expressions with extensive Monte-Carlo simulations and demonstrate exact match. Furthermore, we analyze the effect of number of nodes, opportunistic scheduling among $K$ nodes, and $\alpha$-$\mu$ parameters on the overall performance of mixed RF/FSO and backup RF systems. Our numerical results illustrate an achievable coding gain when increasing $K$; however, performance degradation occurs as the relay applies selection that favors the domination of specific links in the system.


title: Contextual Recurrent Units for Cloze-style Reading Comprehension

abstract: Recurrent Neural Networks (RNN) are known as powerful models for handling sequential data, and especially widely utilized in various natural language processing tasks. In this paper, we propose Contextual Recurrent Units (CRU) for enhancing local contextual representations in neural networks. The proposed CRU injects convolutional neural networks (CNN) into the recurrent units to enhance the ability to model the local context and reducing word ambiguities even in bi-directional RNNs. We tested our CRU model on sentence-level and document-level modeling NLP tasks: sentiment classification and reading comprehension. Experimental results show that the proposed CRU model could give significant improvements over traditional CNN or RNN models, including bidirectional conditions, as well as various state-of-the-art systems on both tasks, showing its promising future of extensibility to other NLP tasks as well.


title: Quasiparabolic sets and Stanley symmetric functions for affine fixed-point-free involutions

abstract: We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Sch\"utzenberger's transition formula for Schubert polynomials. Our results suggest several conjectures and open problems.


title: The globalization problem of the Hamilton-DeDonder-Weyl equations on a local $k$-symplectic framework

abstract: In this paper we aim at addressing the globalization problem of Hamilton-DeDonder-Weyl equations on a local $k$-symplectic framework and we introduce the notion of {\it locally conformal $k$-symplectic (l.c.k-s.) manifolds}. This formalism describes the dynamical properties of physical systems that locally behave like multi-Hamiltonian systems. Here, we describe the local Hamiltonian properties of such systems, but we also provide a global outlook by introducing the global Lee one-form approach. In particular, the dynamics will be depicted with the aid of the Hamilton--Jacobi equation, which is specifically proposed in a l.c.k-s manifold.


title: Strong First Order Electroweak Phase Transition in Gauge-Higgs Unification at Finite Temperature

abstract: We analyze the electroweak phase transition at finite temperature in a model of gauge-Higgs unification where the fermion mass hierarchy including top quark mass, a viable electroweak symmetry breaking and an observed Higgs mass are successfully reproduced. To study the phase transition, we derive the general formula of the 1-loop effective potential at finite temperature by using the $\zeta$ function regularization method. It is remarkable that the functions determining the Kaluza-Klein mass spectrum have only to be necessary in calculations. This potential can be applicable to any higher dimensional theory in flat space where one extra spatial dimension is compactified. Applying to our model of gauge-Higgs unification, the strong first phase transition compatible with 125 GeV Higgs mass is found to happen.


title: Tricritical directed percolation with long-range interaction in one and two dimensions

abstract: Recently, the quantum contact process, in which branching and coagulation processes occur both coherently and incoherently, was theoretically and experimentally investigated in driven open quantum spin systems. In the semi-classical approach, the quantum coherence effect was regarded as a process in which two consecutive atoms are involved in the excitation of a neighboring atom from the inactive (ground) state to the active state (excited $s$ state). In this case, both second-order and first-order transitions occur. Therefore, a tricritical point exists at which the transition belongs to the tricritical directed percolation (TDP) class. On the other hand, when an atom is excited to the $d$ state, long-range interaction is induced. Here, to account for this long-range interaction, we extend the TDP model to one with long-range interaction in the form of $\sim 1/r^{d+\sigma}$ (denoted as LTDP), where $r$ is the separation, $d$ is the spatial dimension, and $\sigma$ is a control parameter. In particular, we investigate the properties of the LTDP class below the upper critical dimension $d_c=$ min$(3,\,1.5\sigma)$. We numerically obtain a set of critical exponents in the LTDP class and determine the interval of $\sigma$ for the LTDP class. Finally, we construct a diagram of universality classes in the space ($d$, $\sigma$).


title: Molecular Bridge Mediated Ultra-Low-Power Gas Sensing

abstract: We report the electrical detection of captured gases through measurement of the tunneling characteristics of gas-mediated molecular junctions formed across nanogaps. The gas sensing nanogap device consists of a pair of vertically stacked gold electrodes separated by an insulating spacer of (~1.5 nm of sputtered amorphous Si and ~4.5 nm ALD SiO2) which is notched ~10 nm along the edges of the top electrode. The exposed gold surface is functionalized with a self-assembled monolayer (SAM) of conjugated thiol linker molecules. When the device is exposed to a target gas (1, 5-diaminopentane), the SAM layer electrostatically captures the target gas molecules forming a molecular bridge across the nanogap. The gas capture lowers the barrier potential for electron tunneling from ~5 eV to ~0.9 eV across the notched edge regions and establishes additional conducting paths for charge transport between the gold electrodes, leading to a substantial decrease in junction resistance. We demonstrated an output resistance change of greater than 100000000 times on exposure to 80 ppm of diamine target gas as well as ultra-low standby power consumption of smaller than 15 pW, confirming electron tunneling through molecular bridges for ultra-low power gas sensing.


title: A Liouville type theorem for fractional elliptic equation with exponential nonlinearity

abstract: In this paper, we are concerned with stable solutions to the fractional elliptic equation $$ (-\Delta)^s u=e^u\mbox{ in }\mathbb R^{N}, $$ where $(-\Delta)^s$ is the fractional Laplacian with $0<s<1$. We establish the nonexistence of stable solutions provided that $N<10s$. This result is optimal when $s\uparrow 1$.


title: Efficient First-Principles Approach with a Pseudohybrid Density Functional for Extended Hubbard Interactions

abstract: For fast and accurate calculations of band gaps of solids, we present an {\it ab initio} method that extends the density functional theory plus on-site Hubbard interaction (DFT+$U$) to include inter-site Hubbard interaction ($V$). This formalism is appropriate for considering various interactions such as a local Coulomb repulsion, covalent hybridizations, and their coexistence in solids. To achieve self-consistent evaluations of $U$ and $V$, we adapt a recently proposed Agapito-Curtarolo-Buongiorno Nardelli pseudohybrid functional for DFT$+U$ to implement a density functional of $V$ and obtain band gaps of diverse bulk materials as accurate as those from $GW$ or hybrid functionals methods with a standard DFT computational cost. Moreover, we also show that computed band gaps of few layers black phosphorous and Si(111)-($2\times1$) surface agree with experiments very well, thus meriting the new method for large-scale as well as high throughput calculations with higher accuracy.


title: Tunable Valley Splitting due to Topological Orbital Magnetic Moment in Bilayer Graphene Quantum Point Contacts

abstract: In multivalley semiconductors, the valley degree of freedom can be potentially used to store, manipulate and read quantum information, but its control remains challenging. The valleys in bilayer graphene can be addressed by a perpendicular magnetic field which couples by the valley g-factor. However, control over the valley g-factor has not been demonstrated yet. We experimentally determine the energy spectrum of a quantum point contact realized by a suitable gate geometry in bilayer graphene. Using finite bias spectroscopy we measure the energy scales arising from the lateral confinement as well as the Zeeman splitting and find a spin g-factor of 2. The valley g-factor can be tuned by a factor of 3 using vertical electric fields, reaching values between 40 and 120. The results are quantitatively explained by a calculation considering topological magnetic moment and its dependence on confinement and the vertical displacement field.