title: PUFchain: Hardware-Assisted Blockchain for Sustainable Simultaneous Device and Data Security in the Internet of Everything (IoE)

abstract: This article presents the first-ever blockchain which can simultaneously handle device and data security, which is important for the emerging Internet-of-Everything (IoE). This article presents a unique concept of blockchain that integrates hardware security primitives called Physical Unclonable Functions (PUFs) to solve scalability, latency, and energy requirement challenges and is called PUFchain. Data management and security (and privacy) of data, devices, and individuals, are some of the issues in the IoE architectures that need to be resolved. Integrating the blockchain into the IoE environment can help solve these issues and helps in the aspects of data storage and security. This article introduces a new blockchain architecture called PUFchain and introduces a new consensus algorithm called "Proof of PUF-Enabled Authentication" (PoP) for deployment in PUFchain. The proposed PoP is the PUF integration into our previously proposed Proof-of-Authentication (PoAh) consensus algorithm and can be called "Hardware-Assisted Proof-of-Authentication (HA-PoAh)". However, PUF integration is possible in the existing and new consensus algorithms. PoP utilizes PUFs which are responsible for generating a unique key that cannot be cloned and hence provide the highest level of security. A PUF uses the nanoelectronic manufacturing variations that are introduced during the fabrication of an integrated circuit to generate the keys. Hence, once generated from a PUF module, the keys cannot be cloned or generated from any other module. PUFchain uses a PUF and Hashing module which performs the necessary cryptographic functions. Hence the mining process is offloaded to the hardware module which reduces the processing times. PoP is approximately 1,000X faster than the well-established Proof-of-Work (PoW) and 5X faster than Proof-of-Authentication (PoAh).


title: Load-balanced Routing for Nested Interconnection Networks

abstract: We introduced the load-balanced routing algorithms, for interconnection networks resulting from nesting, by considering the pressure of the data forwarding in each node. Benchmarks on a small cluster with various network topologies, and simulations for several larger clusters whose prototypes are too costly to construct, demonstrated substantial gains of communication performance with our routing on these networks over other mainstream routing algorithms.


title: Robust block magnetism in the spin ladder compound BaFe$_2$Se$_3$ under hydrostatic pressure

abstract: The majority of the iron-based superconductors (FeSCs) exhibit a two-dimensional square lattice structure. Recent reports of pressure-induced superconductivity in the spin-ladder system, BaFe$_2$X$_3$ (X =S,Se), introduce a quasi-one-dimensional prototype and an insulating parent compound to the FeSCs. Here we report X-ray, neutron diffraction and muon spin relaxation experiments on BaFe$_2$Se$_3$ under hydrostatic pressure to investigate its magnetic and structural properties across the pressure-temperature phase diagram. A structural phase transition was identified at a pressure of 3.7(3) GPa. Neutron diffraction measurements at 6.8(3) GPa and 120 K show that the block magnetism persists even at these high pressures. A steady increase and then fast drop of the magnetic transition temperature $T\rm_N$ and greatly reduced moment above the pressure $P_s$ indicate potentially rich and competing phases close to the superconducting phase in this ladder system.


title: HyEdge: Optimal Request Scheduling in Hybrid Edge Computing Environment

abstract: With the widespread use of Internet of Things (IoT) devices and the arrival of the 5G era, edge computing has become an attractive paradigm to serve end-users and provide better QoS. Many efforts have been done to provision some merging public network services at the edge. We reveal that it is very common that specific users call for private and isolated edge services to preserve data privacy and enable other security intentions. However, it still remains open to fulfill such kind of mixed requests in edge computing. In this paper, we propose the framework of hybrid edge computing to offer both public and private edge services systematically. To fully exploit the benefits of this novel framework, we define the problem of optimal request scheduling over a given placement solution of hybrid edge servers, so as to minimize the response delay. This problem is further modeled as a mixed integer non-linear problem (MINLP), which is typically NP-hard. Accordingly, we propose the partition-based optimization method, which can efficiently solve this NP-hard problem via the problem decomposition and the branch and bound strategies. We finally conduct extensive evaluations with a real-world dataset to measure the performance of our methods. The results indicate that the proposed method achieves elegant performance with low computation complexity.


title: Adversarial Attack on Skeleton-based Human Action Recognition

abstract: Deep learning models achieve impressive performance for skeleton-based human action recognition. However, the robustness of these models to adversarial attacks remains largely unexplored due to their complex spatio-temporal nature that must represent sparse and discrete skeleton joints. This work presents the first adversarial attack on skeleton-based action recognition with graph convolutional networks. The proposed targeted attack, termed Constrained Iterative Attack for Skeleton Actions (CIASA), perturbs joint locations in an action sequence such that the resulting adversarial sequence preserves the temporal coherence, spatial integrity, and the anthropomorphic plausibility of the skeletons. CIASA achieves this feat by satisfying multiple physical constraints, and employing spatial skeleton realignments for the perturbed skeletons along with regularization of the adversarial skeletons with Generative networks. We also explore the possibility of semantically imperceptible localized attacks with CIASA, and succeed in fooling the state-of-the-art skeleton action recognition models with high confidence. CIASA perturbations show high transferability for black-box attacks. We also show that the perturbed skeleton sequences are able to induce adversarial behavior in the RGB videos created with computer graphics. A comprehensive evaluation with NTU and Kinetics datasets ascertains the effectiveness of CIASA for graph-based skeleton action recognition and reveals the imminent threat to the spatio-temporal deep learning tasks in general.


title: Benchmark neutrinoless double-beta decay matrix elements in a light nucleus

abstract: We compute nuclear matrix elements of neutrinoless double-beta decay mediated by light Majorana-neutrino exchange in the A = 6 system. The goal is to benchmark two many-body approaches, the No-Core Shell Model and the Multi-Reference In-Medium Similarity Renormalization Group. We use the SRG-evolved chiral N3LO-EM500 potential for the nuclear interaction, and make the approximation that isospin is conserved. We compare the results of the two approaches as a function of the cutoff on the many-body basis space. Although differences are seen in the predicted nuclear radii, the ground-state energies and neutrinoless double-beta decay matrix elements produced by the two approaches show significant agreement. We discuss the implications for calculations in heavier nuclei.


title: Multi-class Multilingual Classification of Wikipedia Articles Using Extended Named Entity Tag Set

abstract: Wikipedia is a great source of general world knowledge which can guide NLP models better understand their motivation to make predictions. Structuring Wikipedia is the initial step towards this goal which can facilitate fine-grain classification of articles. In this work, we introduce the Shinra 5-Language Categorization Dataset (SHINRA-5LDS), a large multi-lingual and multi-labeled set of annotated Wikipedia articles in Japanese, English, French, German, and Farsi using Extended Named Entity (ENE) tag set. We evaluate the dataset using the best models provided for ENE label set classification and show that the currently available classification models struggle with large datasets using fine-grained tag sets.


title: Community Detection for Hypergraph Networks via Regularized Tensor Power Iteration

abstract: To date, social network analysis has been largely focused on pairwise interactions. The study of higher-order interactions, via a hypergraph network, brings in new insights. We study community detection in a hypergraph network. A popular approach is to project the hypergraph to a graph and then apply community detection methods for graph networks, but we show that this approach may cause unwanted information loss. We propose a new method for community detection that operates directly on the hypergraph. At the heart of our method is a regularized higher-order orthogonal iteration (reg-HOOI) algorithm that computes an approximate low-rank decomposition of the network adjacency tensor. Compared with existing tensor decomposition methods such as HOSVD and vanilla HOOI, reg-HOOI yields better performance, especially when the hypergraph is sparse. Given the output of tensor decomposition, we then generalize the community detection method SCORE (Jin, 2015) from graph networks to hypergraph networks. We call our new method Tensor-SCORE. In theory, we introduce a degree-corrected block model for hypergraphs (hDCBM), and show that Tensor-SCORE yields consistent community detection for a wide range of network sparsity and degree heterogeneity. As a byproduct, we derive the rates of convergence on estimating the principal subspace by reg-HOOI, with different initializations, including the two new initialization methods we propose, a diagonal-removed HOSVD and a randomized graph projection. We apply our method to several real hypergraph networks which yields encouraging results. It suggests that exploring higher-order interactions provides additional information not seen in graph representations.


title: The human monogamy behavior can influence the transmission of AIDS

abstract: In this letter, we mainly consider an MSM (men have sex with men) network to analysis how monogamy behavior can influence the transmission of HIV. By calculating and analyzing the basic reproductive number of that network, we find the condition for when the monogamy rate can have a positive influence on controlling the transmission of HIV. Numerical simulations are also done to illustrate that monogamy can influence the transmission process of HIV.


title: Superconductivity in High-Entropy-Alloy Telluride AgInSnPbBiTe5

abstract: A polycrystalline sample of the high-entropy-alloy-type telluride AgInSnPbBiTe5 was synthesized using high-pressure synthesis. Superconductivity with a transition temperature (Tc) of 2.6 K was observed in AgInSnPbBiTe5. Elemental and structural analyses revealed that five metals are mixed in a metal site of an NaCl-type structure. Since AgInSnPbBiTe5 has a cation site (Ag, In, Sn, Pb, and Bi) and an anion site (Te), this is the first example of a high-entropy-alloy (HEA) pseudo-binary superconductor.


title: Network Effects on Robustness of Dynamic Systems

abstract: We review selected results related to robustness of networked systems in finite and asymptotically large size regimes, under static and dynamical settings. In the static setting, within the framework of flow over finite networks, we discuss the effect of physical constraints on robustness to loss in link capacities. In the dynamical setting, we review several settings in which small gain type analysis provides tight robustness guarantees for linear dynamics over finite networks towards worst-case and stochastic disturbances. We also discuss network flow dynamic settings where nonlinear techniques facilitate in understanding the effect on robustness of constraints on capacity and information, substituting information with control action, and cascading failure. We also contrast the latter with a representative contagion model. For asymptotically large networks, we discuss the role of network properties in connecting microscopic shocks to emergent macroscopic fluctuations under linear dynamics as well as for economic networks at equilibrium. Through the review of these results, the paper aims to achieve two objectives. First, to highlight selected settings in which the role of interconnectivity structure of a network on its robustness is well-understood. Second, to highlight a few additional settings in which existing system theoretic tools give tight robustness guarantees, and which are also appropriate avenues for future network-theoretic investigations.


title: Performance Analysis of Spatial and Transform Filters for Efficient Image Noise Reduction

abstract: During the acquisition of an image from its source, noise always becomes an integral part of it. Various algorithms have been used in past to denoise the images. Image denoising still has scope for improvement. Visual information transmitted in the form of digital images has become a considerable method of communication in the modern age, but the image obtained after the transmission is often corrupted due to noise. In this paper, we review the existing denoising algorithms such as filtering approach and wavelets based approach and then perform their comparative study with bilateral filters. We use different noise models to describe additive and multiplicative noise in an image. Based on the samples of degraded pixel neighbourhoods as inputs, the output of an efficient filtering approach has shown a better image denoising performance. This yields promising qualitative and quantitative results of the degraded noisy images in terms of Peak Signal to Noise Ratio, Mean Square Error and Universal Quality Identifier.


title: Building Second-Order Mental Models for Human-Robot Interaction

abstract: The mental models that humans form of other agents---encapsulating human beliefs about agent goals, intentions, capabilities, and more---create an underlying basis for interaction. These mental models have the potential to affect both the human's decision making during the interaction and the human's subjective assessment of the interaction. In this paper, we surveyed existing methods for modeling how humans view robots, then identified a potential method for improving these estimates through inferring a human's model of a robot agent directly from their actions. Then, we conducted an online study to collect data in a grid-world environment involving humans moving an avatar past a virtual agent. Through our analysis, we demonstrated that participants' action choices leaked information about their mental models of a virtual agent. We conclude by discussing the implications of these findings and the potential for such a method to improve human-robot interactions.


title: The Optimal Deterrence of Crime: A Focus on the Time Preference of DWI Offenders

abstract: We develop a general model for finding the optimal penal strategy based on the behavioral traits of the offenders. We focus on how the discount rate (level of time discounting) affects criminal propensity on the individual level, and how the aggregation of these effects influences criminal activities on the population level. The effects are aggregated based on the distribution of discount rate among the population. We study this distribution empirically through a survey with 207 participants, and we show that it follows zero-inflated exponential distribution. We quantify the effectiveness of the penal strategy as its net utility for the population, and show how this quantity can be maximized. When we apply the maximization procedure on the offense of impaired driving (DWI), we discover that the effectiveness of DWI deterrence depends critically on the amount of fine and prison condition.


title: Developing Computational Models of Social Assistance to Guide Socially Assistive Robots

abstract: While there are many examples in which robots provide social assistance, a lack of theory on how the robots should decide how to assist impedes progress in realizing these technologies. To address this deficiency, we propose a pair of computational models to guide a robot as it provides social assistance. The model of social autonomy helps a robot select an appropriate assistance that will help with the task at hand while also maintaining the autonomy of the person being assisted. The model of social alliance describes how a to determine whether the robot and the person being assisted are cooperatively working towards the same goal. Each of these models are rooted in social reasoning between people, and we describe here our ongoing work to adapt this social reasoning to human-robot interactions.


title: A new model for natural groupings in high-dimensional data

abstract: Clustering aims to divide a set of points into groups. The current paradigm assumes that the grouping is well-defined (unique) given the probability model from which the data is drawn. Yet, recent experiments have uncovered several high-dimensional datasets that form different binary groupings after projecting the data to randomly chosen one-dimensional subspaces. This paper describes a probability model for the data that could explain this phenomenon. It is a simple model to serve as a proof of concept for understanding the geometry of high-dimensional data. We start by building a rescaled multivariate Bernouilli model (stretched hypercube) so to create several overlapping grouping structures in the data. The size of each scaling parameter is related to the likelihood of uncovering the corresponding grouping by random 1D projection. Clusters in the original space are then created by adding noise to this cluster-free model. In high dimension, these clusters would hardly be observable given a sample set from the distribution because of the curse of dimensionality, but the binary groupings are clear. Our construction makes it clear that one needs to make a distinction between "groupings" and "clusters" in the original space. It also highlights the need to interpret any clustering found in projected data as merely one among potentially many other groupings in a dataset.


title: On Safeguarding Privacy and Security in the Framework of Federated Learning

abstract: Motivated by the advancing computational capacity of wireless end-user equipment (UE), as well as the increasing concerns about sharing private data, a new machine learning (ML) paradigm has emerged, namely federated learning (FL). Specifically, FL allows a decoupling of data provision at UEs and ML model aggregation at a central unit. By training model locally, FL is capable of avoiding data leakage from the UEs, thereby preserving privacy and security to some extend. However, even if raw data are not disclosed from UEs, individual's private information can still be extracted by some recently discovered attacks in the FL architecture. In this work, we analyze the privacy and security issues in FL, and raise several challenges on preserving privacy and security when designing FL systems. In addition, we provide extensive simulation results to illustrate the discussed issues and possible solutions.


title: Existence of nonconstant CR-holomorphic functions of polynomial growth in Sasakian Manifolds

abstract: In this paper, we show that there exists a nonconstant CR holomorphic function of polynomial growth in a complete noncompact Sasakian manifold of nonnegative pseudohermitian bisectional curvature with the CR maximal volume growth property. This is the very first step toward the CR analogue of Yau uniformization conjecture which states that any complete noncompact Sasakian manifold of positive pseudohermitian bisectional curvature is CR biholomorphic to the standard Heisenberg group.


title: The Howland-Kato Commutator Problem II

abstract: We continue to discuss the following problem: For which bounded measurable real functions f and g is the commutator i[f(P),g(Q)] a non-negative operator on L^2(R)? In this work we concentrate on the situation where the commutator is a finite rank operator.


title: Harnessing Indirect Training Data for End-to-End Automatic Speech Translation: Tricks of the Trade

abstract: For automatic speech translation (AST), end-to-end approaches are outperformed by cascaded models that transcribe with automatic speech recognition (ASR), then translate with machine translation (MT). A major cause of the performance gap is that, while existing AST corpora are small, massive datasets exist for both the ASR and MT subsystems. In this work, we evaluate several data augmentation and pretraining approaches for AST, by comparing all on the same datasets. Simple data augmentation by translating ASR transcripts proves most effective on the English--French augmented LibriSpeech dataset, closing the performance gap from 8.2 to 1.4 BLEU, compared to a very strong cascade that could directly utilize copious ASR and MT data. The same end-to-end approach plus fine-tuning closes the gap on the English--Romanian MuST-C dataset from 6.7 to 3.7 BLEU. In addition to these results, we present practical recommendations for augmentation and pretraining approaches. Finally, we decrease the performance gap to 0.01 BLEU using a Transformer-based architecture.


title: A Universal Parent Model for Low-Resource Neural Machine Translation Transfer

abstract: Transfer learning from a high-resource language pair `parent' has been proven to be an effective way to improve neural machine translation quality for low-resource language pairs `children.' However, previous approaches build a custom parent model or at least update an existing parent model's vocabulary for each child language pair they wish to train, in an effort to align parent and child vocabularies. This is not a practical solution. It is wasteful to devote the majority of training time for new language pairs to optimizing parameters on an unrelated data set. Further, this overhead reduces the utility of neural machine translation for deployment in humanitarian assistance scenarios, where extra time to deploy a new language pair can mean the difference between life and death. In this work, we present a `universal' pre-trained neural parent model with constant vocabulary that can be used as a starting point for training practically any new low-resource language to a fixed target language. We demonstrate that our approach, which leverages orthography unification and a broad-coverage approach to subword identification, generalizes well to several languages from a variety of families, and that translation systems built with our approach can be built more quickly than competing methods and with better quality as well.


title: Slow Recurrences

abstract: For positive integers $\alpha$ and $\beta$, we define an $(\alpha,\beta)$-walk to be any sequence of positive integers satisfying $w_{k+2}=\alpha w_{k+1}+\beta w_k$. We say that an $(\alpha,\beta)$-walk is $n$-slow if $w_s=n$ with $s$ as large as possible. Slow $(1,1)$-walks have been investigated by several authors. In this paper we consider $(\alpha,\beta)$-walks for arbitrary positive $\alpha,\beta$. We derive a characterization theorem for these walks, and with this we prove several results concerning the total number of $n$-slow walks for a given $n$. In addition to this, we study the slowest $n$-slow walk for a given $n$ amongst all possible $\alpha,\beta$.


title: Counting Labeled Threshold Graphs with Eulerian Numbers

abstract: A threshold graph is any graph which can be constructed from the empty graph by repeatedly adding a new vertex that is either adjacent to every vertex or to no vertices. The Eulerian number $\genfrac{\langle}{\rangle}{0pt}{}{n}{k}$ counts the number of permutations of size $n$ with exactly $k$ ascents. Implicitly Beissinger and Peled proved that the number of labeled threshold graphs on $n\ge 2$ vertices is \[\sum_{k=1}^{n-1}(n-k)\genfrac{\langle}{\rangle}{0pt}{}{n-1}{k-1}2^k.\] Their proof used generating functions. We give a direct combinatorial proof of this result.


title: A Bayesian Approach for De-duplication in the Presence of Relational Data

abstract: In this paper, we study the impact of combining profile and network data in a de-duplication setting. We also assess the influence of a range of prior distributions on the linkage structure. Furthermore, we explore stochastic gradient Hamiltonian Monte Carlo methods as a faster alternative to obtain samples from the posterior distribution for network parameters. Our methodology is evaluated using the RLdata500 data, which is a popular dataset in the record linkage literature.


title: Modular $A_4$ invariance and leptogenesis

abstract: We consider a model with three right-handed neutrinos in which Yukawa coupling constants and Majorana masses are obtained by requiring the modular $A_4$ symmetry. It has been shown that the model can explain mass hierarchies and mixing patterns of charged leptons and neutrinos with the seesaw mechanism. In this article we investigate the leptogenesis by decays of right-handed neutrinos in this model. It is shown that masses of right-handed neutrinos are about $10^{13}$ GeV in order to account for the observed baryon asymmetry of the universe. Furthermore, the positive sign of the baryon asymmetry is obtained only for the limited ranges of mixing angles and CP violation phases of active neutrinos, which can be tested by future neutrino experiments.


title: The influence of the scalar unparticle on the W-pair production at ILC in the Randall Sundrum model

abstract: An attempt is made to present the contribution of the scalar unparticle on some scattering processes in the Randall - Sundum (RS) model. We have evaluated the contribution of the scalar unparticle on the W - pair production cross-sections at International Linear Colliders (ILC). The results indicate that at the low values of the scaling dimension and the bounds on scale $\Lambda_{U}$ are around few TeV, the cross-sections are much enhanced, which is quite comparable with the W-production in the standard model and hence it is worthwhile to explore in future colliders.


title: Multilingual Graphemic Hybrid ASR with Massive Data Augmentation

abstract: Towards developing high-performing ASR for low-resource languages, approaches to address the lack of resources are to make use of data from multiple languages, and to augment the training data by creating acoustic variations. In this work we present a single grapheme-based ASR model learned on 7 geographically proximal languages, using standard hybrid BLSTM-HMM acoustic models with lattice-free MMI objective. We build the single ASR grapheme set via taking the union over each language-specific grapheme set, and we find such multilingual graphemic hybrid ASR model can perform language-independent recognition on all 7 languages, and substantially outperform each monolingual ASR model. Secondly, we evaluate the efficacy of multiple data augmentation alternatives within language, as well as their complementarity with multilingual modeling. Overall, we show that the proposed multilingual graphemic hybrid ASR with various data augmentation can not only recognize any within training set languages, but also provide large ASR performance improvements.


title: Justifying the Norms of Inductive Inference

abstract: Bayesian inference is limited in scope because it cannot be applied in idealized contexts where none of the hypotheses under consideration is true and because it is committed to always using the likelihood as a measure of evidential favoring, even when that is inappropriate. The purpose of this paper is to study inductive inference in a very general setting where finding the truth is not necessarily the goal and where the measure of evidential favoring is not necessarily the likelihood. I use an accuracy argument to argue for probabilism and I develop a new kind of argument to argue for two general updating rules, both of which are reasonable in different contexts. One of the updating rules has standard Bayesian updating, Bissiri et al's (2016) general Bayesian updating, Douven's (2016) IBE-based updating, and Vassend's (2019a) quasi-Bayesian updating as special cases. The other updating rule is novel.


title: A Generalized Randomized Rank-Revealing Factorization

abstract: We introduce a Generalized Randomized QR-decomposition that may be applied to arbitrary products of matrices and their inverses, without needing to explicitly compute the products or inverses. This factorization is a critical part of a communication-optimal spectral divide-and-conquer algorithm for the nonsymmetric eigenvalue problem. In this paper, we establish that this randomized QR-factorization satisfies the strong rank-revealing properties. We also formally prove its stability, making it suitable in applications. Finally, we present numerical experiments which demonstrate that our theoretical bounds capture the empirical behavior of the factorization.


title: Stochastic Resolution of Identity for Real-Time Second-Order Green's Function: Ionization Potential and Quasi-particle Spectrum

abstract: We develop a stochastic resolution of identity approach to the real-time second-order Green's function (real-time sRI-GF2) theory, extending our recent work for imaginary-time Matsubara Green's function {\em J. Chem. Phys.} {\bf 151}, 044114 (2019)). The approach provides a framework to obtain the quasi-particle spectra across a wide range of frequencies as well as predict ionization potentials and electron affinities. To assess the accuracy of the real-time sRI-GF2, we study a series of molecules and compare our results to experiments and to a many-body perturbation approach based on the GW approximation, where we find that the real-time sRI-GF2 is as accurate as self-consistent GW. The stochastic formulation reduces the formal scaling to $O(N_e^3)$, where $N_e$ is the number of electrons. This is illustrated for a chain of hydrogen dimers, where we observe a slightly lower than cubic scaling for systems containing up to $N_e \approx 1000$.


title: FfDL : A Flexible Multi-tenant Deep Learning Platform

abstract: Deep learning (DL) is becoming increasingly popular in several application domains and has made several new application features involving computer vision, speech recognition and synthesis, self-driving automobiles, drug design, etc. feasible and accurate. As a result, large scale on-premise and cloud-hosted deep learning platforms have become essential infrastructure in many organizations. These systems accept, schedule, manage and execute DL training jobs at scale. This paper describes the design, implementation and our experiences with FfDL, a DL platform used at IBM. We describe how our design balances dependability with scalability, elasticity, flexibility and efficiency. We examine FfDL qualitatively through a retrospective look at the lessons learned from building, operating, and supporting FfDL; and quantitatively through a detailed empirical evaluation of FfDL, including the overheads introduced by the platform for various deep learning models, the load and performance observed in a real case study using FfDL within our organization, the frequency of various faults observed including unanticipated faults, and experiments demonstrating the benefits of various scheduling policies. FfDL has been open-sourced.


title: Towards Effective Human-AI Teams: The Case of Collaborative Packing

abstract: We focus on the problem of designing an artificial agent (AI), capable of assisting a human user to complete a task. Our goal is to guide human users towards optimal task performance while keeping their cognitive load as low as possible. Our insight is that doing so requires an understanding of human decision making for the task domain at hand. In this work, we consider the domain of collaborative packing, in which an AI agent provides placement recommendations to a human user. As a first step, we explore the mechanisms underlying human packing strategies. We conducted a user study in which 100 human participants completed a series of packing tasks in a virtual environment. We analyzed their packing strategies and discovered spatial and temporal patterns, such as that humans tend to place larger items at corners first. We expect that imbuing an artificial agent with an understanding of this spatiotemporal structure will enable improved assistance, which will be reflected in the task performance and the human perception of the AI. Ongoing work involves the development of a framework that incorporates the extracted insights to predict and manipulate human decision making towards an efficient trajectory of low cognitive load and high efficiency. A follow-up study will evaluate our framework against a set of baselines featuring alternative strategies of assistance. Our eventual goal is the deployment and evaluation of our framework on an autonomous robotic manipulator, actively assisting users on a packing task.


title: Effect of geometry on the positioning of a single spot in reaction-diffusion systems

abstract: We consider the formation of a single spot (localized solution) in reaction-diffusion (RD) equation on a curved manifold. Specifically, we study the direction (alignment) of the normal to interface between maxima and minima of concentration in the steady-state on a prolate and on an oblate ellipsoid. We further analyse the effect of shape asymmetry on l = 1 eigenmode of the sphere by assuming a small deformation from the spherical geometry. Our analysis shows that the eigenfunction corresponding to highest eigenvalue align along the symmetry axis for a prolate ellipsoid, and perpendicular to the symmetry axis for an oblate ellipsoid. Finally, we compare the direction of variation of the most unstable mode (eigenfunction with highest growth rate) in the system obtained by assuming a small deformation from the sphere and the alignment of interface normal obtain from the numerical simulations.


title: Solving Service Robot Tasks: UT Austin Villa@Home 2019 Team Report

abstract: RoboCup@Home is an international robotics competition based on domestic tasks requiring autonomous capabilities pertaining to a large variety of AI technologies. Research challenges are motivated by these tasks both at the level of individual technologies and the integration of subsystems into a fully functional, robustly autonomous system. We describe the progress made by the UT Austin Villa 2019 RoboCup@Home team which represents a significant step forward in AI-based HRI due to the breadth of tasks accomplished within a unified system. Presented are the competition tasks, component technologies they rely on, our initial approaches both to the components and their integration, and directions for future research.


title: Reflection-Symmetry Protected Antiferromagnetic Topological Insulator in Three-Dimensional Heavy-Fermion Systems

abstract: We study the topological properties of an antiferromagnetic phase with reflection symmetry in three-dimensional heavy-fermion systems. We here propose a reflection-symmetric topological state in the three-dimensional antiferromagnetic phase and demonstrate how the paramagnetic phase changes into the antiferromagnetic topological phase of f -electron materials such as SmB6.


title: A note on the Brauer group and the Brauer-Manin set of a product

abstract: We generalize the results of Skorobogatov and Zarhin considering the commutativity of Brauer groups (and Brauer-Manin sets) with taking product of two varieties, by relaxing the condition that varieties are projective.


title: Bootstrapping non-parallel voice conversion from speaker-adaptive text-to-speech

abstract: Voice conversion (VC) and text-to-speech (TTS) are two tasks that share a similar objective, generating speech with a target voice. However, they are usually developed independently under vastly different frameworks. In this paper, we propose a methodology to bootstrap a VC system from a pretrained speaker-adaptive TTS model and unify the techniques as well as the interpretations of these two tasks. Moreover by offloading the heavy data demand to the training stage of the TTS model, our VC system can be built using a small amount of target speaker speech data. It also opens up the possibility of using speech in a foreign unseen language to build the system. Our subjective evaluations show that the proposed framework is able to not only achieve competitive performance in the standard intra-language scenario but also adapt and convert using speech utterances in an unseen language.


title: Neuromodulated Patience for Robot and Self-Driving Vehicle Navigation

abstract: Robots and self-driving vehicles face a number of challenges when navigating through real environments. Successful navigation in dynamic environments requires prioritizing subtasks and monitoring resources. Animals are under similar constraints. It has been shown that the neuromodulator serotonin regulates impulsiveness and patience in animals. In the present paper, we take inspiration from the serotonergic system and apply it to the task of robot navigation. In a set of outdoor experiments, we show how changing the level of patience can affect the amount of time the robot will spend searching for a desired location. To navigate GPS compromised environments, we introduce a deep reinforcement learning paradigm in which the robot learns to follow sidewalks. This may further regulate a tradeoff between a smooth long route and a rough shorter route. Using patience as a parameter may be beneficial for autonomous systems under time pressure.


title: Semiparametric Imputation Using Conditional Gaussian Mixture Models under Item Nonresponse

abstract: Imputation is a popular technique for handling item nonresponse in survey sampling. Parametric imputation is based on a parametric model for imputation and is less robust against the failure of the imputation model. Nonparametric imputation is fully robust but is not applicable when the dimension of covariates is large due to the curse of dimensionality. Semiparametric imputation is another robust imputation based on a flexible model where the number of model parameters can increase with the sample size. In this paper, we propose another semiparametric imputation based on a more flexible model assumption than the Gaussian mixture model. In the proposed mixture model, we assume a conditional Gaussian model for the study variable given the auxiliary variables, but the marginal distribution of the auxiliary variables is not necessarily Gaussian. We show that the proposed mixture model achieves a lower approximation error bound to any unknown target density than the Gaussian mixture model in terms of the Kullback-Leibler divergence. The proposed method is applicable to high dimensional covariate problem by including a penalty function in the conditional log-likelihood function. The proposed method is applied to 2017 Korean Household Income and Expenditure Survey conducted by Statistics Korea. Supplementary material is available online.


title: Private and Atomic Exchange of Assets over Zero Knowledge Based Payment Ledger

abstract: Bitcoin brings a new type of digital currency that does not rely on a central system to maintain transactions. By benefiting from the concept of decentralized ledger, users who do not know or trust each other can still conduct transactions in a peer-to-peer manner. Inspired by Bitcoin, other cryptocurrencies were invented in recent years such as Ethereum, Dash, Zcash, Monero, Grin, etc. Some of these focus on enhancing privacy for instance crypto note or systems that apply the similar concept of encrypted notes used for transactions to enhance privacy (e.g., Zcash, Monero). However, there are few mechanisms to support the exchange of privacy-enhanced notes or assets on the chain, and at the same time preserving the privacy of the exchange operations. Existing approaches for fair exchanges of assets with privacy mostly rely on off-chain/side-chain, escrow or centralized services. Thus, we propose a solution that supports oblivious and privacy-protected fair exchange of crypto notes or privacy enhanced crypto assets. The technology is demonstrated by extending zero-knowledge based crypto notes. To address "privacy" and "multi-currency", we build a new zero-knowledge proving system and extend note format with new property to represent various types of tokenized assets or cryptocurrencies. By extending the payment protocol, exchange operations are realized through privacy enhanced transactions (e.g., shielded transactions). Based on the possible scenarios during the exchange operation, we add new constraints and conditions to the zero-knowledge proving system used for validating transactions publicly.


title: Optimized Routing and Spectrum Assignment for Video Communication over an Elastic Optical Network

abstract: Elastic optical network (EON) efficiently utilize spectral resources for optical fiber communication by allocating the minimum necessary bandwidth to client demands. On the other hand, network traffic has been continuously increasing due to the wide penetration of video streaming services, so the efficient and cost-effective use of available bandwidth plays an important role in improving service provisioning. In this work, we formulate and solve an optimization problem to perform routing and spectrum assignment (RSA) in EON with focus on video streaming. In this formulation, EON and video constraints such as spectrum fragmentation and received video quality are considered jointly. In this way, we utilize a machine learning (ML) technique to estimate the video quality versus channel state. The proposed algorithm is evaluated over two benchmarks fiber-optic network, namely NSFNET and US-backbone using numerical simulations based on random traffic models. The results reveal that the mean optical signal-to-noise ratio (OSNR) for video content data in the receiver is remarkably higher than in non-video data. This is while the blocking ratio is the same for both data types.


title: Speeding Up Distributed Pseudo-tree Optimization Procedure with Cross Edge Consistency to Solve DCOPs

abstract: Distributed Pseudo-tree Optimization Procedure (DPOP) is a well-known message passing algorithm that has been used to provide optimal solutions of Distributed Constraint Optimization Problems (DCOPs) -- a framework that is designed to optimize constraints in cooperative multi-agent systems. The traditional DCOP formulation does not consider those constraints that must be satisfied (also known as hard constraints), rather it concentrates only on soft constraints. However, the presence of both types of constraints are observed in a number of applications, such as Distributed Radio Link Frequency Assignment and Distributed Event Scheduling, etc. Although the combination of these types of constraints is recently incorporated in DPOP to solve DCOPs, scalability remains an issue for them as finding an optimal solution is NP-hard. Additionally, in DPOP, the agents are arranged as a DFS pseudo-tree. Recently it has been observed that the constructed pseudo-trees in this way often come to be chain-like and greatly impair the algorithm's performance. To address these issues, we develop an algorithm that speeds up the DPOP algorithm by reducing the size of the messages exchanged and increasing parallelism in the pseudo tree. Our empirical evidence suggests that our approach outperforms the state-of-the-art algorithms by a significant margin.


title: From Ohkawa to strong generation via approximable triangulated categories -- a variation on the theme of Amnon Neeman's Nagoya lecture series

abstract: This survey stems from Amnon Neeman's lecture series at Ohakawa's memorial workshop. Starting with Ohakawa's theorem, this survey intends to supply enough motivation, background and technical details to read Neeman's recent papers on his "approximable triangulated categories" and his $D_{coh}^b(X)$ strong generation sufficient criterion via de Jong's regular alteration, even for non-experts. At the same time, the author, who happens to be a coorganizer of this workshop and an editor of the follow-up proceedings to be published as a series in Springer Proceedings in Mathematics and Statistics, repeatedly mentioned rich mathematical interaction with other papers in the proceedings, whenever appropriate.


title: AI slipping on tiles: data leakage in digital pathology

abstract: Reproducibility of AI models on biomedical data still stays as a major concern for their acceptance into the clinical practice. Initiatives for reproducibility in the development of predictive biomarkers as the MAQC Consortium already underlined the importance of appropriate Data Analysis Plans (DAPs) to control for different types of bias, including data leakage from the training to the test set. In the context of digital pathology, the leakage typically lurks in weakly designed experiments not accounting for the subjects in their data partitioning schemes. This issue is then exacerbated when fractions or subregions of slides (i.e. "tiles") are considered. Despite this aspect is largely recognized by the community, we argue that it is often overlooked. In this study, we assess the impact of data leakage on the performance of machine learning models trained and validated on multiple histology data collection. We prove that, even with a properly designed DAP (10x5 repeated cross-validation), predictive scores can be inflated up to 41% when tiles from the same subject are used both in training and validation sets by deep learning models. We replicate the experiments for $4$ classification tasks on 3 histopathological datasets, for a total of 374 subjects, 556 slides and more than 27,000 tiles. Also, we discuss the effects of data leakage on transfer learning strategies with models pre-trained on general-purpose datasets or off-task digital pathology collections. Finally, we propose a solution that automates the creation of leakage-free deep learning pipelines for digital pathology based on histolab, a novel Python package for histology data preprocessing. We validate the solution on two public datasets (TCGA and GTEx).


title: Rapid Bayesian inference for expensive stochastic models

abstract: Almost all fields of science rely upon statistical inference to estimate unknown parameters in theoretical and computational models. While the performance of modern computer hardware continues to grow, the computational requirements for the simulation of models are growing even faster. This is largely due to the increase in model complexity, often including stochastic dynamics, that is necessary to describe and characterize phenomena observed using modern, high resolution, experimental techniques. Such models are rarely analytically tractable, meaning that extremely large numbers of stochastic simulations are required for parameter inference. In such cases, parameter inference can be practically impossible. In this work, we present new computational Bayesian techniques that accelerate inference for expensive stochastic models by using computationally inexpensive approximations to inform feasible regions in parameter space, and through learning transforms that adjust the biased approximate inferences to closer represent the correct inferences under the expensive stochastic model. Using topical examples from ecology and cell biology, we demonstrate a speed improvement of an order of magnitude without any loss in accuracy. This represents a substantial improvement over current state-of-the-art methods for Bayesian computations when appropriate model approximations are available.


title: Scalable Gaussian Process Classification with Additive Noise for Various Likelihoods

abstract: Gaussian process classification (GPC) provides a flexible and powerful statistical framework describing joint distributions over function space. Conventional GPCs however suffer from (i) poor scalability for big data due to the full kernel matrix, and (ii) intractable inference due to the non-Gaussian likelihoods. Hence, various scalable GPCs have been proposed through (i) the sparse approximation built upon a small inducing set to reduce the time complexity; and (ii) the approximate inference to derive analytical evidence lower bound (ELBO). However, these scalable GPCs equipped with analytical ELBO are limited to specific likelihoods or additional assumptions. In this work, we present a unifying framework which accommodates scalable GPCs using various likelihoods. Analogous to GP regression (GPR), we introduce additive noises to augment the probability space for (i) the GPCs with step, (multinomial) probit and logit likelihoods via the internal variables; and particularly, (ii) the GPC using softmax likelihood via the noise variables themselves. This leads to unified scalable GPCs with analytical ELBO by using variational inference. Empirically, our GPCs showcase better results than state-of-the-art scalable GPCs for extensive binary/multi-class classification tasks with up to two million data points.


abstract: In this paper, we establish Anderson localization for the Maryland model with long range interactions.


title: Node Injection Attacks on Graphs via Reinforcement Learning

abstract: Real-world graph applications, such as advertisements and product recommendations make profits based on accurately classify the label of the nodes. However, in such scenarios, there are high incentives for the adversaries to attack such graph to reduce the node classification performance. Previous work on graph adversarial attacks focus on modifying existing graph structures, which is infeasible in most real-world applications. In contrast, it is more practical to inject adversarial nodes into existing graphs, which can also potentially reduce the performance of the classifier. In this paper, we study the novel node injection poisoning attacks problem which aims to poison the graph. We describe a reinforcement learning based method, namely NIPA, to sequentially modify the adversarial information of the injected nodes. We report the results of experiments using several benchmark data sets that show the superior performance of the proposed method NIPA, relative to the existing state-of-the-art methods.


title: Protection of a qubit with a subradiance effect: Josephson quantum filter

abstract: The coupling between a superconducting qubit and a control line inevitably results in radiative decay of the qubit into the line. We propose a Josephson quantum filter (JQF), which protects the data qubit (DQ) from radiative decay through the control line without reducing the gate speed on DQ. JQF consists of a qubit strongly coupled to the control line to DQ, and its working principle is a subradiance effect characteristic to waveguide quantum electrodynamics setups. JQF is a passive circuit element and is therefore suitable for integration in a scalable superconducting qubit system.


title: Topological inductive constructions for tight surface graphs

abstract: We investigate properties of sparse and tight surface graphs. In particular we derive topological inductive constructions for $(2, 2)$-tight surface graphs in the case of the sphere, the plane, the twice punctured sphere and the torus. In the case of the torus we identify all 116 irreducible base graphs and provide a geometric application involving contact graphs of configurations of circular arcs.


title: Generalization of Abhyankar's Lemma to henselian valued fields

abstract: Abhyankar showed that for a finite tame extension $L_1/K$ and a finite extension $L_2/K$ of $\mathfrak{P}$-adic fields, the condition $[\nu L_1 : \nu K]$ divides $[\nu L_2 : \nu K]$ is sufficient to eliminate ramification, that is, $L_1 \cdot L_2 / L_2$ is unramified. In this paper, we show that the above condition is not sufficient in the case of an arbitrary henselian valued field. We construct a counterexample illustrating that fact. We also give a necessary and sufficient condition for the elimination of tame ramification of a henselian field after a finite extension of the base field.


title: Experimental observation of end-pinching in the Rayleigh breakup of an electrodynamically levitated charged droplet

abstract: The experimental time-lapse images of the breakup phenomenon of a charged droplet (diameter ~100-300 micro-m) levitated in an electrodynamic (ED) balance is reported. During the breakup process, a levitated charged droplet undergoes evaporation leading to a reduction in droplet size and increase in the corresponding surface charge density. As the surface charge density reaches to a critical value, known as the Rayleigh limit, the droplet undergoes breakup by forming a jet which further ejects highly charged progeny droplets. All the successive events of the droplet breakup process such as drop deformation, breakup, and relaxation of the drop back to spherical shape after ejection of progeny droplets have been recorded using the high-speed camera at 1.3 hundred thousand frames per second. The droplet is observed to eject 3-5 progeny droplets from a jet indicating end pinching mode of breakup. The jet is then observed to relax back after ejecting 31% of the total charge and ~3\% of the total mass. A suitable theory is provided to supplement the experimental observations, and a reasonable agreement is observed. Additionally, the theory is extended for the prediction of total mass loss and the entire lifetime of a charged droplet.


title: N-Carbophenes: two-dimensional covalent organic frameworks derived from linear N-phenylenes

abstract: N-Carbophene (carbophene) is a novel class of two-dimensional covalent organic frameworks (2DCOF), based on linear N-phenylenes, that have moderate band gaps and low-mobility bands surrounding the Fermi energy; the simplest of which may have been recently synthesized. Using tight-binding density functional theory, the ground state configurations single layers, bilayers, and bulk systems was determined. This work finds that carbophenes have formation energies per carbon atom similar to that of graphenylene. The similarity of formation energies between graphenylene and carbophene suggests that when trying to synthesize one, the other may also be synthesized. The formation energies could explain why the first reported synthesis of graphenylene also indicated that they may have synthesized 3-carbophene. Results contained in this work suggests that a carbophene was synthesized instead of graphenylene. The projected density of states (PDOS) demonstrates that the anti-aromatic nature of the cyclobutene units plays a direct role in the creation of bands around the Fermi level, making this an exciting material in the theoretical understanding of the nature of aromatic bonds.


title: Photoemission Signatures of Non-Equilibrium Carrier Dynamics from First Principles

abstract: Time- and angle-resolved photoemission spectroscopy (tr-ARPES) constitutes a powerful tool to inspect the dynamics and thermalization of hot carriers. The identification of the processes that drive the dynamics, however, is challenging even for the simplest systems owing to the coexistence of several relaxation mechanisms. Here, we devise a Green's function formalism for predicting the tr-ARPES spectral function and establish the origin of carrier thermalization entirely from first principles. The predictive power of this approach is demonstrated by an excellent agreement with experiments for graphene over time scales ranging from a few tens of femtoseconds up to several picoseconds. Our work provides compelling evidence of a non-equilibrium dynamics dominated by the establishment of a hot-phonon regime.


title: Direct detection of polar structure formation in helium nanodroplets by beam deflection measurements

abstract: Long-range intermolecular forces are able to steer polar molecules submerged in superfluid helium nanodroplets into highly polar metastable configurations. We demonstrate that the presence of such special structures can be identified, in a direct and determinative way, by electrostatic deflection of the doped nanodroplet beam. The measurement also establishes the structures' electric dipole moments. In consequence, the introduced approach is complementary to spectroscopic studies of low-temperature molecular assembly reactions. It is enabled by the fact that within the cold superfluid matrix the molecular dipoles become nearly completely oriented by the applied electric field. As a result, the massive (tens of thousands of helium atoms) nanodroplets undergo significant deflections. The method is illustrated here by an application to dimers and trimers of dimethyl sulfoxide (DMSO) molecules. We interpret the experimental results with ab initio theory, mapping the potential energy surface of DMSO complexes and simulating their low temperature aggregation dynamics.


title: Yamabe Solitons on (LCS)$_n$-manifolds

abstract: The object of the present paper is to study some properties of (LCS)$_n$-manifolds whose metric is Yamabe soliton. We establish some characterization of (LCS)$_n$-manifolds when the soliton becomes steady. Next we have studied some certain curvature conditions of (LCS)$_n$-manifolds admitting Yamabe solitons. Lastly we construct a 3-dimensional (LCS)$_n$-manifold satisfying the results.


title: Phonon thermal Hall effect in strontium titanate

abstract: It has been known for more than a decade that phonons can produce an off-diagonal thermal conductivity in presence of magnetic field. Recent studies of thermal Hall conductivity, $\kappa_{xy}$, in a variety of contexts, however, have assumed a negligibly small phonon contribution. We present a study of $\kappa_{xy}$ in quantum paraelectric SrTiO$_3$, which is a non-magnetic insulator and find that its peak value exceeds what has been reported in any other insulator, including those in which the signal has been qualified as 'giant'. Remarkably, $\kappa_{xy}(T)$ and $\kappa(T)$ peak at the same temperature and the former decreases faster than the latter at both sides of the peak. Interestingly, in the case of La$_2$CuO$_4$ and $\alpha$-RuCl$_3$, $\kappa_{xy}(T)$ and $\kappa(T)$ peak also at the same temperature. We also studied KTaO$_3$ and found a small signal, indicating that a sizable $\kappa_{xy}(T)$ is not a generic feature of quantum paraelectrics. Combined to other observations, this points to a crucial role played by antiferrodistortive domains in generating $\kappa_{xy}$ of this solid.


title: Design of Task-Specific Optical Systems Using Broadband Diffractive Neural Networks

abstract: We report a broadband diffractive optical neural network design that simultaneously processes a continuum of wavelengths generated by a temporally-incoherent broadband source to all-optically perform a specific task learned using deep learning. We experimentally validated the success of this broadband diffractive neural network architecture by designing, fabricating and testing seven different multi-layer, diffractive optical systems that transform the optical wavefront generated by a broadband THz pulse to realize (1) a series of tunable, single passband as well as dual passband spectral filters, and (2) spatially-controlled wavelength de-multiplexing. Merging the native or engineered dispersion of various material systems with a deep learning-based design strategy, broadband diffractive neural networks help us engineer light-matter interaction in 3D, diverging from intuitive and analytical design methods to create task-specific optical components that can all-optically perform deterministic tasks or statistical inference for optical machine learning.


title: Divalent lanthanoid ions in crystals for neutrino mass spectroscopy

abstract: Electron spin flip in atoms or ions can cause neutrino pair emission, which provides a method to explore still unknown important neutrino properties by measuring spectrum of emitted photon in association, when electroweak rates are amplified by a phase coherence among participating atoms. Two important remaining neutrino issues to be determined are the absolute neutrino mass (or the smallest neutrino mass in the three-flavor scheme) and the nature of neutrino masses, either of Dirac type or of Majorana type. Use of Raman scattered photon was recently proposed as a promising tool for this purpose. In the present work we continue along this line to further identify promising ion targets in crystals, calculate neutrino pair emission rates, and study how to extract neutrino properties from Raman scattered photon angular distribution. Divalent lanthanoid ions in crystals, in particular Sm$^{2+}$, are the most promising, due to (1) its large number density, (2) sharp optical lines, (3) a variety of available ionic levels. Rejection of amplified quantum electrodynamic backgrounds is made possible to controllable levels by choosing a range of Raman trigger direction, when Sm$^{2+}$ sites are at O$_h$ inversion center of host crystals such as SrF$_2$.

categories: hep-ph cond-mat.mtrl-sci hep-ex physics.atom-ph


title: Pressure-Induced Re-entrant transition in NbS3 Phases: Combined Raman Scattering and X-ray Diffraction Study

abstract: We report the evolution of charge density wave states under pressure for two NbS3 phases triclinic (phase I) and monoclinic (phase II) at room temperature. Raman and X-ray diffraction (XRD) techniques are applied. The x-ray studies on the monoclinic phase under pressure show a compression of the lattice at different rates below and above 7 GPa but without a change in space group symmetry. The Raman spectra of the two phases evolve similarly with pressure; all peaks almost disappear in the 6-8 GPa range, indicating a transition from an insulating to a metallic state, and peaks at new positions appear above 8 GPa. The results suggest suppression of the ambient charge-density waves and their subsequent recovery with new orderings above 8 GPa.


title: Expansion of the irregular solution in the theory of Stark effect in hydrogenic-like Rydberg atoms

abstract: We derive the expansion of the irregular physical solution over the spherical solutions at negative energies, which is necessary for obtaining the $S$ matrix of the process. The relation of this expansion to the theory developed by Giannakees et al., Phys. Rev. A 94, 013419 (2016), is analyzed. In particular, we show that the expansion of the irregular solution missing in Giannakees et al.'s theory can be derived from one of their main postulates. The expansion thus obtained turns out to be numerically equivalent to our expansion up to high angular momenta. Analytical expressions for the key matrix of both expansions are derived.


title: Symmetry Breaking in UCA-Based Vortex Waves

abstract: In literature, it is often said that a uniform circular array (UCA) composed of a sufficient number of radiating elements is able to generate a vortex wave with arbitrary topological charge. While providing a very simple and intuitive solution without the need for any synthesis method, the excitation of UCAs by means of a progressive phase shift does not always guarantee that vortex waves are correctly generated, since a major role is played by the symmetry and radiation properties of each individual element which constitutes the array. When the UCAs are employed in vortex communication links, these symmetry properties strongly affect the orthogonality of the channel modes and, therefore, the communication efficiency. In this work, the symmetry breaking associated with the radiation of vortex waves by UCAs and its impact on the mode orthogonality are explored in detail.


title: Uniformly positive correlations in the dimer model and phase transition in lattice permutations on $\mathbb{Z}^d$, $d > 2$, via reflection positivity

abstract: Our first main result is that correlations between monomers in the dimer model in $\mathbb{Z}^d$ do not decay to zero when $d > 2$. This is the first rigorous result about correlations in the dimer model in dimensions greater than two and shows that the model behaves drastically differently than in two dimensions, in which case it is integrable and correlations are known to decay to zero polynomially. Such a result is implied by our more general, second main result, which states the occurrence of a phase transition in the model of lattice permutations, which is related to the quantum Bose gas. More precisely, we consider a self-avoiding walk interacting with lattice permutations and we prove that, in the regime of fully-packed loops, such a walk is `long' and the distance between its end-points grows linearly with the diameter of the box. These results follow from the derivation of a version of the infrared bound from a new general probabilistic settings, with coloured loops and walks interacting at sites and walks entering into the system from some `virtual' vertices.


title: Instructional Level Parallelism

abstract: This paper is a review of the developments in Instruction level parallelism. It takes into account all the changes made in speeding up the execution. The various drawbacks and dependencies due to pipelining are discussed and various solutions to overcome them are also incorporated. It goes ahead in the last section to explain where is the new research leading us.


title: Unclogging Our Arteries: Using Human-Inspired Signals to Disambiguate Navigational Intentions

abstract: People are proficient at communicating their intentions in order to avoid conflicts when navigating in narrow, crowded environments. In many situations mobile robots lack both the ability to interpret human intentions and the ability to clearly communicate their own intentions to people sharing their space. This work addresses the second of these points, leveraging insights about how people implicitly communicate with each other through observations of behaviors such as gaze to provide mobile robots with better social navigation skills. In a preliminary human study, the importance of gaze as a signal used by people to interpret each-other's intentions during navigation of a shared space is observed. This study is followed by the development of a virtual agent head which is mounted to the top of the chassis of the BWIBot mobile robot platform. Contrasting the performance of the virtual agent head against an LED turn signal demonstrates that the naturalistic, implicit gaze cue is more easily interpreted than the LED turn signal.


title: Commitments in Human-Robot Interaction

abstract: An important tradition in philosophy holds that in order to successfully perform a joint action, the participants must be capable of establishing commitments on joint goals and shared plans. This suggests that social robotics should endow robots with similar competences for commitment management in order to achieve the objective of performing joint tasks in human-robot interactions. In this paper, we examine two philosophical approaches to commitments. These approaches, we argue, emphasize different behavioral and cognitive aspects of commitments that give roboticists a way to give meaning to monitoring and pro-active signaling in joint action with human partners. To show that, we present an example of use-case with guiding robots and we sketch a framework that can be used to explore the type of capacities and behaviors that a robot may need to manage commitments.


title: Study of $\pmb{R_{\rm AA}}$ and $\pmb{v_2}$ of non-strange D mesons and D-jet production in Pb-Pb collisions with ALICE

abstract: Heavy quarks are sensitive probes of the colour-deconfined medium formed in ultra-relativistic heavy-ion collisions, the Quark-Gluon Plasma (QGP). The ALICE Collaboration measured the production of $\rm D^0$, $\rm D^+$, and $\rm D^{*+}$ mesons in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV. The properties of the in-medium energy loss are investigated via the measurement of the nuclear modification factor ($R_{\rm AA}$) of non-strange D mesons. The modification of the D-meson transverse momentum ($p_{\rm T}$) distributions inside the jet is studied via the measurement of the D-meson tagged jet $R_{\rm AA}$ in central Pb-Pb collisions. In mid-central collisions, the measurement of the D-meson elliptic flow ($v_2$) at low and intermediate $p_{\rm T}$ gives insight into the participation of the charm quark in the collective motion of the system, while at high $p_{\rm T}$ it constrains the path-length dependence of the energy loss. The coupling of the charm quark to the light quarks in the underlying medium is further investigated with the application of the event-shape engineering (ESE) technique to D-meson elliptic flow.


title: Multi-view and Multi-source Transfers in Neural Topic Modeling with Pretrained Topic and Word Embeddings

abstract: Though word embeddings and topics are complementary representations, several past works have only used pre-trained word embeddings in (neural) topic modeling to address data sparsity problem in short text or small collection of documents. However, no prior work has employed (pre-trained latent) topics in transfer learning paradigm. In this paper, we propose an approach to (1) perform knowledge transfer using latent topics obtained from a large source corpus, and (2) jointly transfer knowledge via the two representations (or views) in neural topic modeling to improve topic quality, better deal with polysemy and data sparsity issues in a target corpus. In doing so, we first accumulate topics and word representations from one or many source corpora to build a pool of topics and word vectors. Then, we identify one or multiple relevant source domain(s) and take advantage of corresponding topics and word features via the respective pools to guide meaningful learning in the sparse target domain. We quantify the quality of topic and document representations via generalization (perplexity), interpretability (topic coherence) and information retrieval (IR) using short-text, long-text, small and large document collections from news and medical domains. We have demonstrated the state-of-the-art results on topic modeling with the proposed framework.


title: ALTER: Auxiliary Text Rewriting Tool for Natural Language Generation

abstract: In this paper, we describe ALTER, an auxiliary text rewriting tool that facilitates the rewriting process for natural language generation tasks, such as paraphrasing, text simplification, fairness-aware text rewriting, and text style transfer. Our tool is characterized by two features, i) recording of word-level revision histories and ii) flexible auxiliary edit support and feedback to annotators. The text rewriting assist and traceable rewriting history are potentially beneficial to the future research of natural language generation.


title: Semi-analytical calculation of the singular and hypersingular integrals for discrete Helmholtz operators in 2D BEM

abstract: Approximate solutions to elliptic partial differential equations with known kernel can be obtained via the boundary element method (BEM) by discretizing the corresponding boundary integral operators and solving the resulting linear system of algebraic equations. Due to the presence of singular and hypersingular integrals, the evaluation of the operator matrix entries requires the use of regularization techniques. In this work, the singular and hypersingular integrals associated with first-order Galerkin discrete boundary operators for the two-dimensional Helmholtz equation are reduced to quasi-closed-form expressions. The obtained formulas may prove useful for the implementation of the BEM in two-dimensional electromagnetic, acoustic and quantum mechanical problems.


title: Activity time series of old stars from late F to early K IV. Diagnosis from photometry

abstract: High-precision time series have recently become available for many stars as a result of data from CoRoT, Kepler, and TESS and have been widely used to study stellar activity. They provide information integrated over the stellar disk, hence many degeneracies between spots and plages or sizes and contrasts. Our aim is to understand how to relate photometric variability to physical parameters in order to help the interpretation of these observations. We computed a large number of synthetic time series of brightness variations for old MS stars within the F6-K4 range, using consistent modeling for radial velocity, astrometry, and LogR'HK. We analyzed these time series to study the effect of the star spectral type on brightness variability, the relationship between brightness variability and LogR'HK, the interpretation of brightness variability as a function of spot and plage properties, and the spot-dominated or plage-dominated regimes. Within our range of activity levels, the brightness variability increases toward low-mass stars, as suggested by Kepler results. Brightness variability roughly correlates to LogR'HK level, but with a large dispersion, caused by spot contrast and inclination. It is also directly related to the number of structures, and we show that it cannot be interpreted solely in terms of spot sizes. In the activity range of old main-sequence stars, we can obtain both spot or plage dominated regimes, as in observation. The same star can be observed in both regimes depending on inclination. Only strong correlations between LogR'HK and brightness variability are significant. Our realistic time series proves to be extremely useful when interpreting observations and understanding their limitations, most notably in terms of activity interpretation. Inclination is crucial and affects many properties, such as amplitudes and the respective role of spots and plages.


title: Color image recovery using low-rank quaternion matrix completion algorithm

abstract: As a new color image representation tool, quaternion has achieved excellent results in color image processing problems. In this paper, we propose a novel low-rank quaternion matrix completion algorithm to recover missing data of color image. Motivated by two kinds of low-rank approximation approaches (low-rank decomposition and nuclear norm minimization) in traditional matrix-based methods, we combine the two approaches in our quaternion matrix-based model. Furthermore, the nuclear norm of the quaternion matrix is replaced by the sum of Frobenius norm of its two low-rank factor quaternion matrices. Based on the relationship between quaternion matrix and its equivalent complex matrix, the problem eventually is converted from quaternion number field to complex number field. An alternating minimization method is applied to solve the model. Simulation results on real world color image recovery show the superior performance and efficiency of the proposed algorithm over some state-of-the-art tensor-based ones.


title: Probabilistic Zero Forcing on Random Graphs

abstract: Zero forcing is a deterministic iterative graph coloring process in which vertices are colored either blue or white, and in every round, any blue vertices that have a single white neighbor force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbor to become blue. We explore the propagation time for probabilistic zero forcing on the Erd\H{o}s-R\'eyni random graph $\Gnp$ when we start with a single vertex colored blue. We show that when $p=\log^{-o(1)}n$, then with high probability it takes $(1+o(1))\log_2\log_2n$ rounds for all the vertices in $\Gnp$ to become blue, and when $\log n/n\ll p\leq \log^{-O(1)}n$, then with high probability it takes $\Theta(\log(1/p))$ rounds.


title: Differential operators on almost-Hermitian manifolds and harmonic forms

abstract: We consider several differential operators on compact almost-complex, almost-Hermitian and almost-K\"ahler manifolds. We discuss Hodge Theory for these operators and a possible cohomological interpretation. We compare the associated spaces of harmonic forms and cohomologies with the classical de Rham, Dolbeault, Bott-Chern and Aeppli cohomologies.


title: Planning Jerk-Optimized Trajectory with Discrete-Time Constraints for Redundant Robots

abstract: We present a method for effectively planning the motion trajectory of robots in manufacturing tasks, the tool-paths of which are usually complex and have a large number of discrete-time constraints as waypoints. Kinematic redundancy also exists in these robotic systems. The jerk of motion is optimized in our trajectory planning method at the meanwhile of fabrication process to improve the quality of fabrication.


title: Minimizing Age of Information in a Multihop Wireless Network

abstract: We consider the problem of minimizing age in a multihop wireless network. There are multiple source-destination pairs, transmitting data through multiple wireless channels, over multiple hops. We propose a network control policy which consists of a distributed scheduling algorithm, utilizing channel state information and queue lengths at each link, in combination with a packet dropping rule. Dropping of older packets locally at queues is seen to reduce the average age of flows, even below what can be achieved by Last Come First Served (LCFS) scheduling. Dropping of older packets also allows us to use the network without congestion, irrespective of the rate at which updates are generated. Furthermore, exploiting system state information substantially improves performance. The proposed scheduling policy obtains average age values close to a theoretical lower bound as well.


title: Data-driven approach for synchrotron X-ray Laue microdiffraction scan analysis

abstract: We propose a novel data-driven approach for analyzing synchrotron Laue X-ray microdiffraction scans based on machine learning algorithms. The basic architecture and major components of the method are formulated mathematically. We demonstrate it through typical examples including polycrystalline BaTiO$_3$, multiphase transforming alloys and finely twinned martensite. The computational pipeline is implemented for beamline 12.3.2 at the Advanced Light Source, Lawrence Berkeley National Lab. The conventional analytical pathway for X-ray diffraction scans is based on a slow pattern by pattern crystal indexing process. This work provides a new way for analyzing X-ray diffraction 2D patterns, independent of the indexing process, and motivates further studies of X-ray diffraction patterns from the machine learning prospective for the development of suitable feature extraction, clustering and labeling algorithms.


title: Extreme sensitivity of the vortex state in a-MoGe films to radio-frequency electromagnetic perturbation

abstract: Recently, detailed real space imaging using scanning tunneling spectroscopy of the vortex lattice in a weakly pinned a-MoGe thin film revealed that the vortex lattice melts in two steps with temperature or magnetic field, going first from a vortex solid to a hexatic vortex fluid and then from a hexatic vortex fluid to an isotropic vortex liquid. In this paper, we show that the resistance in the vortex fluid states is extremely sensitive to radio-frequency electromagnetic perturbation. In the presence of very low-amplitude excitation above few kilohertz, the resistance increases by several orders of magnitude. On the other hand when the superconductor is well shielded from external electromagnetic radiation, the dissipation in the sample is very small and the resistance is below our detection limit.


title: Derived Crystal Structure of Martensitic Materials by Solid-Solid Phase Transformation

abstract: We propose a mathematical description of crystal structure: underlying translational periodicity together with the distinct atomic positions up to the symmetry operations in the unit cell. It is consistent with the international table of crystallography. By the Cauchy-Born hypothesis, such a description can be integrated with the theory of continuum mechanics to calculate a derived crystal structure produced by solid-solid phase transformation. In addition, we generalize the expressions for orientation relationship between the parent lattice and the derived lattice. The derived structure rationalizes the lattice parameters and the general equivalent atomic positions that assist the indexing process of X-ray diffraction analysis for low symmetry martensitic materials undergoing phase transformation. The analysis is demonstrated in a CuAlMn shape memory alloy. From its austenite phase (L2_1 face-centered cubic structure), we identify that the derived martensitic structure has the orthorhombic symmetry Pmmm with derived lattice parameters a_dv = 4.36491 \AA, b_dv = 5.40865 \AA and c_dv = 4.2402 \AA, by which the complicated X-ray Laue diffraction pattern can be well indexed, and the orientation relationship can be verified.


title: Quantum Dot Arrays in Silicon and Germanium

abstract: Electrons and holes confined in quantum dots define an excellent building block for quantum emergence, simulation, and computation. In order for quantum electronics to become practical, large numbers of quantum dots will be required, necessitating the fabrication of scaled structures such as linear and 2D arrays. Group IV semiconductors contain stable isotopes with zero nuclear spin and can thereby serve as excellent host for spins with long quantum coherence. Here we demonstrate group IV quantum dot arrays in silicon metal-oxide-semiconductor (SiMOS), strained silicon (Si/SiGe) and strained germanium (Ge/SiGe). We fabricate using a multi-layer technique to achieve tightly confined quantum dots and compare integration processes. While SiMOS can benefit from a larger temperature budget and Ge/SiGe can make ohmic contact to metals, the overlapping gate structure to define the quantum dots can be based on a nearly identical integration. We realize charge sensing in each platform, for the first time in Ge/SiGe, and demonstrate fully functional linear and two-dimensional arrays where all quantum dots can be depleted to the last charge state. In Si/SiGe, we tune a quintuple quantum dot using the N+1 method to simultaneously reach the few electron regime for each quantum dot. We compare capacitive cross talk and find it to be the smallest in SiMOS, relevant for the tuning of quantum dot arrays. These results constitute an excellent base for quantum computation with quantum dots and provide opportunities for each platform to be integrated with standard semiconductor manufacturing.


title: Torchmeta: A Meta-Learning library for PyTorch

abstract: The constant introduction of standardized benchmarks in the literature has helped accelerating the recent advances in meta-learning research. They offer a way to get a fair comparison between different algorithms, and the wide range of datasets available allows full control over the complexity of this evaluation. However, for a large majority of code available online, the data pipeline is often specific to one dataset, and testing on another dataset requires significant rework. We introduce Torchmeta, a library built on top of PyTorch that enables seamless and consistent evaluation of meta-learning algorithms on multiple datasets, by providing data-loaders for most of the standard benchmarks in few-shot classification and regression, with a new meta-dataset abstraction. It also features some extensions for PyTorch to simplify the development of models compatible with meta-learning algorithms. The code is available here: https://github.com/tristandeleu/pytorch-meta


title: On Generalization of Some Inequalities of Chebyshevs Functional Using Generalized Katugampola Fractional Integral

abstract: In this paper we obtain a generalization of some integral inequalities related to Chebyshev`s functional by using a generalized Katugampola fractional integral.


title: The Laplacian eigenvalue 2 of bicyclic graphs

abstract: If $G$ is a graph, its Laplacian is the difference between diagonal matrix of its vertex degrees and its adjacency matrix. A one-edge connection of two graphs $G_{1}$ and $G_{2}$ is a graph $G=G_{1}\odot G_{2}$ with $V(G)=V(G_{1})\cup V(G_{2})$ and $E(G)= E(G_{1})\cup E(G_{2})\cup \{e=uv\}$ where $u\in V(G_1)$ and $v\in V(G_2)$. In this paper, we consider the eigenvector of unicycle graphs. We study the relationship between the Laplacian eigenvalue $2$ of unicyclic graphs $G_1$ and $G_2$; and bicyclic graphs $G=G_{1}\odot G_{2}$. We also characterize the broken sun graphs and the one edge connection of two broken sun graphs by their Laplacian eigenvalue $2$.


title: A shape optimization problem for the first mixed Steklov-Dirichlet eigenvalue

abstract: We consider a shape optimization problem for the first mixed Steklov-Dirichlet eigenvalues of domains bounded by two balls in two-point homogeneous space. We give a geometric proof which is motivated by Newton's shell theorem


title: Solar Filament Recognition Based on Deep Learning

abstract: The paper presents a reliable method using deep learning to recognize solar filaments in H-alpha full-disk solar images automatically. This method cannot only identify filaments accurately but also minimize the effects of noise points of the solar images. Firstly, a raw filament dataset is set up, consisting of tens of thousands of images required for deep learning. Secondly, an automated method for solar filament identification is developed using the U-Net deep convolutional network. To test the performance of the method, a dataset with 60 pairs of manually corrected H-alpha images is employed. These images are obtained from the Big Bear Solar Observatory/Full-Disk H-alpha Patrol Telescope (BBSO/FDHA) in 2013. Cross-validation indicates that the method can efficiently identify filaments in full-disk H-alpha images.


title: Blind Super-Resolution Kernel Estimation using an Internal-GAN

abstract: Super resolution (SR) methods typically assume that the low-resolution (LR) image was downscaled from the unknown high-resolution (HR) image by a fixed 'ideal' downscaling kernel (e.g. Bicubic downscaling). However, this is rarely the case in real LR images, in contrast to synthetically generated SR datasets. When the assumed downscaling kernel deviates from the true one, the performance of SR methods significantly deteriorates. This gave rise to Blind-SR - namely, SR when the downscaling kernel ("SR-kernel") is unknown. It was further shown that the true SR-kernel is the one that maximizes the recurrence of patches across scales of the LR image. In this paper we show how this powerful cross-scale recurrence property can be realized using Deep Internal Learning. We introduce "KernelGAN", an image-specific Internal-GAN, which trains solely on the LR test image at test time, and learns its internal distribution of patches. Its Generator is trained to produce a downscaled version of the LR test image, such that its Discriminator cannot distinguish between the patch distribution of the downscaled image, and the patch distribution of the original LR image. The Generator, once trained, constitutes the downscaling operation with the correct image-specific SR-kernel. KernelGAN is fully unsupervised, requires no training data other than the input image itself, and leads to state-of-the-art results in Blind-SR when plugged into existing SR algorithms.


title: Equivariant quantum differential equation and $qKZ$ equations for a projective space: Stokes bases as exceptional collections, Stokes matrices as Gram matrices, and B-Theorem

abstract: In arXiv:1901.02990v1 the equivariant quantum differential equation ($qDE$) for a projective space was considered and a compatible system of difference $qKZ$ equations was introduced; the space of solutions to the joint system of the $qDE$ and $qKZ$ equations was identified with the space of the equivariant $K$-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant $K$-theory algebra. This paper is a continuation of arXiv:1901.02990v1. We describe the relation between solutions to the joint system of the $qDE$ and $qKZ$ equations and the topological-enumerative solution to the $qDE$ only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant $K$-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space. We consider a Stokes basis, the associated exceptional basis in the equivariant $K$-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincar\'{e} pairing wrt to the basis, which is the left dual to the associated exceptional basis. We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space. These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani.


title: Confidence Tubes for Curves on SO(3) and Identification of Subject-Specific Gait Change after Kneeling

abstract: In order to identify changes of gait patterns, e.g. due to prolonged occupational kneeling, which is believed to be major risk factor, among others, for the development of knee osteoarthritis, we develop confidence tubes for curves following a Gaussian perturbation model on SO(3). These are based on an application of the Gaussian kinematic formula to a process of Hotelling statistics and we approximate them by a computible version, for which we show convergence. Simulations endorse our method, which in application to gait curves from eight volunteers undergoing kneeling tasks, identifies phases of the gait cycle that have changed due to kneeling tasks. We find that after kneeling, deviation from normal gait is stronger, in particular for older aged male volunteers. Notably our method adjusts for different walking speeds and marker replacement at different visits.


title: Embedding theorems in the fractional Orlicz-Sobolev space and applications to non-local problems

abstract: In the present paper, we deal with a new continuous and compact embedding theorems for the fractional Orlicz-Sobolev spaces, also, we study the existence of infinitely many nontrivial solutions for a class of non-local fractional Orlicz-Sobolev Schr\"{o}dinger equations whose simplest prototype is $$(-\triangle)^{s}_{m}u+V(x)m(u)=f(x,u),\ x\in\mathbb{R}^{d},$$ where $0<s<1$, $d\geq2$ and $(-\triangle)^{s}_{m}$ is the fractional $M$-Laplace operator. The proof is based on the variant Fountain theorem established by Zou.


title: Deep Robotic Prediction with hierarchical RGB-D Fusion

abstract: Robotic arm grasping is a fundamental operation in robotic control task goals. Most current methods for robotic grasping focus on RGB-D policy in the table surface scenario or 3D point cloud analysis and inference in the 3D space. Comparing to these methods, we propose a novel real-time multimodal hierarchical encoder-decoder neural network that fuses RGB and depth data to realize robotic humanoid grasping in 3D space with only partial observation. The quantification of raw depth data's uncertainty and depth estimation fusing RGB is considered. We develop a general labeling method to label ground-truth on common RGB-D datasets. We evaluate the effectiveness and performance of our method on a physical robot setup and our method achieves over 90\% success rate in both table surface and 3D space scenarios.


title: Highly Dynamic Quadruped Locomotion via Whole-Body Impulse Control and Model Predictive Control

abstract: Dynamic legged locomotion is a challenging topic because of the lack of established control schemes which can handle aerial phases, short stance times, and high-speed leg swings. In this paper, we propose a controller combining whole-body control (WBC) and model predictive control (MPC). In our framework, MPC finds an optimal reaction force profile over a longer time horizon with a simple model, and WBC computes joint torque, position, and velocity commands based on the reaction forces computed from MPC. Unlike existing WBCs, which attempt to track commanded body trajectories, our controller is focused more on the reaction force command, which allows it to accomplish high speed dynamic locomotion with aerial phases. The newly devised WBC is integrated with MPC and tested on the Mini-Cheetah quadruped robot. To demonstrate the robustness and versatility, the controller is tested on six different gaits in a number of different environments, including outdoors and on a treadmill, reaching a top speed of 3.7 m/s.


title: An Analysis of Blockchain Consistency in Asynchronous Networks: Deriving a Neat Bound

abstract: Formal analyses of blockchain protocols have received much attention recently. Consistency results of Nakamoto's blockchain protocol are often expressed in a quantity $c$, which denotes the expected number of network delays before some block is mined. With $\mu$ (resp., $\nu$) denoting the fraction of computational power controlled by benign miners (resp., the adversary), where $\mu + \nu = 1$, we prove for the first time that to ensure the consistency property of Nakamoto's blockchain protocol in an asynchronous network, it suffices to have $c$ to be just slightly greater than $\frac{2\mu}{\ln (\mu/\nu)}$. Such a result is both neater and stronger than existing ones. In the proof, we formulate novel Markov chains which characterize the numbers of mined blocks in different rounds.


title: Branch and Bound for Piecewise Linear Neural Network Verification

abstract: The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. In this context, verification involves proving or disproving that an NN model satisfies certain input-output properties. Despite the reputation of learned NN models as black boxes, and the theoretical hardness of proving useful properties about them, researchers have been successful in verifying some classes of models by exploiting their piecewise linear structure and taking insights from formal methods such as Satisifiability Modulo Theory. However, these methods are still far from scaling to realistic neural networks. To facilitate progress on this crucial area, we exploit the Mixed Integer Linear Programming (MIP) formulation of verification to propose a family of algorithms based on Branch-and-Bound (BaB). We show that our family contains previous verification methods as special cases. With the help of the BaB framework, we make three key contributions. Firstly, we identify new methods that combine the strengths of multiple existing approaches, accomplishing significant performance improvements over previous state of the art. Secondly, we introduce an effective branching strategy on ReLU non-linearities. This branching strategy allows us to efficiently and successfully deal with high input dimensional problems with convolutional network architecture, on which previous methods fail frequently. Finally, we propose comprehensive test data sets and benchmarks which includes a collection of previously released testcases. We use the data sets to conduct a thorough experimental comparison of existing and new algorithms and to provide an inclusive analysis of the factors impacting the hardness of verification problems.


title: On Schur multiplier and projective representations of Heisenberg groups

abstract: In this article, we study the Schur mutiplier of the discrete as well as the finite Heisenberg groups and their t-variants. We describe the representation groups of these Heisenberg groups and through these give a construction of their finite dimensional complex projective irreducible representations.


title: Classification of the invariants of foliations by curves of low degree on the three-dimensional projective space

abstract: We study foliations by curves on the three-dimensional projective space with no isolated singularities, which is equivalent to assuming that the conormal sheaf is locally free. We provide a classification of the topological and algebraic invariants of the conormal sheaves and singular schemes for such foliations by curves, up to degree 3. In particular, we prove that foliations by curves of degree 1 or 2 are contained in a pencil of planes or are Legendrian, and are given by the complete intersection of two codimension one distributions. Furthermore, we prove that the conormal sheaf of a foliation by curves of degree 3 with reduced singular scheme either splits as a sum of line bundles or is an instanton bundle. For degree larger than 3, we focus on two classes of foliations by curves, namely Legendrian foliations and those whose conormal sheaf is a twisted null-correlation bundle. We give characterizations of such foliations, describe their singular schemes and their moduli spaces.


title: Sem-LSD: A Learning-based Semantic Line Segment Detector

abstract: In this paper, we introduces a new type of line-shaped image representation, named semantic line segment (Sem-LS) and focus on solving its detection problem. Sem-LS contains high-level semantics and is a compact scene representation where only visually salient line segments with stable semantics are preserved. Combined with high-level semantics, Sem-LS is more robust under cluttered environment compared with existing line-shaped representations. The compactness of Sem-LS facilitates its use in large-scale applications, such as city-scale SLAM (simultaneously localization and mapping) and LCD (loop closure detection). Sem-LS detection is a challenging task due to its significantly different appearance from existing learning-based image representations such as wireframes and objects. For further investigation, we first label Sem-LS on two well-known datasets, KITTI and KAIST URBAN, as new benchmarks. Then, we propose a learning-based Sem-LS detector (Sem-LSD) and devise new module as well as metrics to address unique challenges in Sem-LS detection. Experimental results have shown both the efficacy and efficiency of Sem-LSD. Finally, the effectiveness of the proposed Sem-LS is supported by two experiments on detector repeatability and a city-scale LCD problem. Labeled datasets and code will be released shortly.