title: Regulating Safety and Security in Autonomous Robotic Systems

abstract: Autonomous Robotics Systems are inherently safety-critical and have complex safety issues to consider (for example, a safety failure can lead to a safety failure). Before they are deployed, these systems of have to show evidence that they adhere to a set of regulator-defined rules for safety and security. Formal methods provide robust approaches to proving a system obeys given rules, but formalising (usually natural language) rules can prove difficult. Regulations specifically for autonomous systems are still being developed, but the safety rules for a human operator are a good starting point when trying to show that an autonomous system is safe. For applications of autonomous systems like driverless cars and pilotless aircraft, there are clear rules for human operators, which have been formalised and used to prove that an autonomous system obeys some or all of these rules. However, in the space and nuclear sectors applications are more likely to differ, so a set of general safety principles has developed. This allows novel applications to be assessed for their safety, but are difficult to formalise. To improve this situation, we are collaborating with regulators and the community in the space and nuclear sectors to develop guidelines for autonomous and robotic systems that are amenable to robust (formal) verification. These activities also have the benefit of bridging the gaps in knowledge within both the space or nuclear communities and academia.


title: Charge Migration Manifests as Attosecond Solitons in Conjugated Organic Molecules

abstract: Charge migration is the electronic response that immediately follows localized ionization or excitation in a molecule, before the nuclei have time to move. It typically unfolds on sub-femtosecond time scales and most often corresponds to dynamics far from equilibrium, involving multi-electron interactions in a complex chemical environment. While charge migration has been documented experimentally and theoretically in multiple organic and inorganic compounds, the general mechanism that regulates it remains unsettled. In this work we use tools from nonlinear dynamics to analyze charge migration that takes place along the backbone of conjugated hydrocarbons, which we simulate using time-dependent density functional theory. In this electron-density framework we show that charge migration modes emerge as attosecond solitons and demonstrate the same type of solitary-wave dynamics in both simplified model systems and full three-dimensional molecular simulations. We show that these attosecond-soliton modes result from a balance between dispersion and nonlinear effects tied to time-dependent multi-electron interactions.%Our soliton-mode mechanism, and the nonlinear tools we use to analyze it, pave the way for understanding migration dynamics in a broad range of organic molecules.%For instance, we demonstrate the opportunities for chemically steering charge migration via molecular functionalization, which can alter both the initially localized electron perturbation and its subsequent time evolution.


title: Notes on the Phase Statistics of the Riemann Zeros

abstract: We numerically investigate, for zeros $\rho=1/2+i\gamma$, the statistics of the imaginary part of $\log(\zeta^\prime(1/2+i\gamma))$, computed by continuous variation along a vertical line from $\sigma=4$ to $4+i\gamma$ and then along a horizontal line to $1/2+i\gamma$.


title: Convexifying Sparse Interpolation with Infinitely Wide Neural Networks: An Atomic Norm Approach

abstract: This work examines the problem of exact data interpolation via sparse (neuron count), infinitely wide, single hidden layer neural networks with leaky rectified linear unit activations. Using the atomic norm framework of [Chandrasekaran et al., 2012], we derive simple characterizations of the convex hulls of the corresponding atomic sets for this problem under several different constraints on the weights and biases of the network, thus obtaining equivalent convex formulations for these problems. A modest extension of our proposed framework to a binary classification problem is also presented. We explore the efficacy of the resulting formulations experimentally, and compare with networks trained via gradient descent.


title: Conductive Paintable 2D Layered MoS2 Inks

abstract: Conductive and paintable inks of 2D layered MoS2 with aspect ratio-dependent conductivity are demonstrated. Using ultrasonically assisted solvent-exfoliation of MoS2, high concentration 2D and few-layer suspensions become inks that provide coherent films when painted. Conductivity of paintable 2D MoS2 inks can be modulated by length and width, where the conductivity is linked to the painting direction. Reducing the painted film width, increases conductivity for similar length, and the films conductivity is aspect ratio-dependent. Inks of solvent-exfoliated 2D MoS2 can be painted without polymeric additives.


title: Non Uniqueness of power-law flows

abstract: We apply the technique of convex integration to obtain non-uniqueness and existence results for power-law fluids, in dimension $d\ge 2$. For the power index $q$ below the compactness threshold, i.e. $q \in (1, \frac{2d}{d+2})$, we show ill-posedness of Leray-Hopf solutions. For a wider class of indices $q \in (1, \frac{3d+2}{d+2})$ we show ill-posedness of distributional (non-Leray-Hopf) solutions, extending the seminal paper of Buckmaster and Vicol. In this wider class we also construct non-unique solutions for every datum in $L^2$.


title: Combining Task Predictors via Enhancing Joint Predictability

abstract: Predictor combination aims to improve a (target) predictor of a learning task based on the (reference) predictors of potentially relevant tasks, without having access to the internals of individual predictors. We present a new predictor combination algorithm that improves the target by i) measuring the relevance of references based on their capabilities in predicting the target, and ii) strengthening such estimated relevance. Unlike existing predictor combination approaches that only exploit pairwise relationships between the target and each reference, and thereby ignore potentially useful dependence among references, our algorithm jointly assesses the relevance of all references by adopting a Bayesian framework. This also offers a rigorous way to automatically select only relevant references. Based on experiments on seven real-world datasets from visual attribute ranking and multi-class classification scenarios, we demonstrate that our algorithm offers a significant performance gain and broadens the application range of existing predictor combination approaches.


title: There are no nontrivial two-sided multiplicative (generalized)-skew derivations in prime rings

abstract: As originally defined by Ashraf and Mozumder, multiplicative (generalized)-skew derivations must satisfy two identities. In this short note we show that, as a consequence of the simultaneous satisfaction of both identities, a multiplicative (generalized)-skew derivation of a prime ring is either a multiplicative (generalized) derivation (i.e., not skew), or a generalized skew derivation (i.e., additive). Therefore only one of the identities should be taken in the definition of multiplicative (generalized)-skew derivations in order to get a new class of derivations in prime rings.


title: Dynamics of piecewise increasing contractions

abstract: Let $I_1=[a_0,a_1),\ldots,I_{k}= [a_{k-1},a_k)$ be a partition of the interval $I=[0,1)$ into $k$ subintervals. Let $f:I\to I$ be a map such that each restriction $f|_{I_i}$ is an increasing Lipschitz contraction. We prove that any $f$ admits at most $k$ periodic orbits, where the upper bound is sharp. We are also interested in the dynamics of piecewise linear $\lambda$-affine maps, where $0<\lambda<1$. Let $b_1,\ldots,b_k$ be real numbers and let $F_\lambda: I\to \mathbb{R}$ be a function such that each restriction $F_\lambda|_{I_i}(x)=\lambda x +b_i$. Under a generic assumption on the parameters $a_1,\ldots,a_{k-1},b_1,\ldots,b_k$, we prove that, up to a zero Hausdorff dimension set of slopes $\lambda$, the $\omega$-limit set of the piecewise $\lambda$-affine maps $f_\lambda:x\in I \mapsto F_\lambda(x)\pmod{1}$ at every point equals a periodic orbit and there exist at most $k$ periodic orbits. Moreover, let $\mathfrak{E}^{(k)}$ be the exceptional set of parameters $\lambda,a_1,\ldots,a_{k-1},b_1,\ldots,b_k$ which define non-asymptotically periodic $f$, we prove that $\mathfrak{E}^{(k)}$ is a Lebesgue null measure set whose Hausdorff dimension is large or equal to $k$.


title: Versatile Mixed Methods for the Incompressible Navier-Stokes Equations

abstract: In the spirit of the "Principle of Equipresence" introduced by Truesdell & Toupin, The Classical Field Theories (1960), we use the full version of the viscous stress tensor which was originally derived for compressible flows, instead of the classical incompressible stress tensor. In our approach, the divergence-free constraint for the viscous stress term is not enforced ahead of discretization. Instead, our formulation allows the scheme itself to "choose" a consistent way to interpret the divergence-free constraint: i.e., the divergence-free constraint is interpreted (or enforced) in a consistent fashion in both the mass conservation equation and the stress tensor term (in the momentum equation). Furthermore, our approach preserves the original symmetrical properties of the stress tensor, e.g. its rotational invariance, and it remains physically correct in the context of compressible flows. As a result, our approach facilitates versatility and code reuse. In this paper, we introduce our approach and establish some important mathematical properties for the resulting class of finite element schemes. More precisely, for general mixed methods, which are not necessarily pointwise divergence-free, we establish the existence of a new norm induced by the full, viscous bilinear form. Thereafter, we prove the coercivity of the viscous bilinear form and the semi-coercivity of a convective trilinear form. In addition, we demonstrate L2-stability of the discrete velocity fields for the general class of methods and (by deduction) the H(div)-conforming methods. Finally, we run some numerical experiments to illustrate the behavior of the versatile mixed methods, and we make careful comparisons with a conventional H(div)-conforming scheme.


title: Approximate computation of projection depths

abstract: Data depth is a concept in multivariate statistics that measures the centrality of a point in a given data cloud in $\IR^d$. If the depth of a point can be represented as the minimum of the depths with respect to all one-dimensional projections of the data, then the depth satisfies the so-called projection property. Such depths form an important class that includes many of the depths that have been proposed in literature. For depths that satisfy the projection property an approximate algorithm can easily be constructed since taking the minimum of the depths with respect to only a finite number of one-dimensional projections yields an upper bound for the depth with respect to the multivariate data. Such an algorithm is particularly useful if no exact algorithm exists or if the exact algorithm has a high computational complexity, as is the case with the halfspace depth or the projection depth. To compute these depths in high dimensions, the use of an approximate algorithm with better complexity is surely preferable. Instead of focusing on a single method we provide a comprehensive and fair comparison of several methods, both already described in the literature and original.


title: $\lambda_S$: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes

abstract: Deep learning is moving towards increasingly sophisticated optimization objectives that employ higher-order functions, such as integration, continuous optimization, and root-finding. Since differentiable programming frameworks such as PyTorch and TensorFlow do not have first-class representations of these functions, developers must reason about the semantics of such objectives and manually translate them to differentiable code. We present a differentiable programming language, $\lambda_S$, that is the first to deliver a semantics for higher-order functions, higher-order derivatives, and Lipschitz but nondifferentiable functions. Together, these features enable $\lambda_S$ to expose differentiable, higher-order functions for integration, optimization, and root-finding as first-class functions with automatically computed derivatives. $\lambda_S$'s semantics is computable, meaning that values can be computed to arbitrary precision, and we implement $\lambda_S$ as an embedded language in Haskell. We use $\lambda_S$ to construct novel differentiable libraries for representing probability distributions, implicit surfaces, and generalized parametric surfaces -- all as instances of higher-order datatypes -- and present case studies that rely on computing the derivatives of these higher-order functions and datatypes. In addition to modeling existing differentiable algorithms, such as a differentiable ray tracer for implicit surfaces, without requiring any user-level differentiation code, we demonstrate new differentiable algorithms, such as the Hausdorff distance of generalized parametric surfaces.


title: Search for $hep$ solar neutrinos and the diffuse supernova neutrino background using all three phases of the Sudbury Neutrino Observatory

abstract: A search has been performed for neutrinos from two sources, the $hep$ reaction in the solar $pp$ fusion chain and the $\nu_e$ component of the diffuse supernova neutrino background (DSNB), using the full dataset of the Sudbury Neutrino Observatory with a total exposure of 2.47 kton-years after fiducialization. The $hep$ search is performed using both a single-bin counting analysis and a likelihood fit. We find a best-fit flux that is compatible with solar model predictions while remaining consistent with zero flux, and set a one-sided upper limit of $\Phi_{hep} < 30\times10^{3}~\mathrm{cm}^{-2}~\mathrm{s}^{-1}$ [90% credible interval (CI)]. No events are observed in the DSNB search region, and we set an improved upper bound on the $\nu_e$ component of the DSNB flux of $\Phi^\mathrm{DSNB}_{\nu_e} < 19~\textrm{cm}^{-2}~\textrm{s}^{-1}$ (90% CI) in the energy range $22.9 < E_\nu < 36.9$~MeV.


title: Attention-Based Query Expansion Learning

abstract: Query expansion is a technique widely used in image search consisting in combining highly ranked images from an original query into an expanded query that is then reissued, generally leading to increased recall and precision. An important aspect of query expansion is choosing an appropriate way to combine the images into a new query. Interestingly, despite the undeniable empirical success of query expansion, ad-hoc methods with different caveats have dominated the landscape, and not a lot of research has been done on learning how to do query expansion. In this paper we propose a more principled framework to query expansion, where one trains, in a discriminative manner, a model that learns how images should be aggregated to form the expanded query. Within this framework, we propose a model that leverages a self-attention mechanism to effectively learn how to transfer information between the different images before aggregating them. Our approach obtains higher accuracy than existing approaches on standard benchmarks. More importantly, our approach is the only one that consistently shows high accuracy under different regimes, overcoming caveats of existing methods.


title: Regimes of Soft Lubrication

abstract: Elastohydrodynamic lubrication, or simply soft lubrication, refers to the motion of deformable objects near a boundary lubricated by a fluid, and is one of the key physical mechanisms to minimise friction and wear in natural and engineered systems. Hence it is of particular interest to relate the thickness of the lubricant layer to the entrainment (sliding/rolling) velocity, the mechanical loading exerted onto the contacting elements, and properties of the elastic boundary. In this work we provide an overview of the various regimes of soft lubrication for two-dimensional cylinders in lubricated contact with compliant walls. We discuss the limits of small and large entrainment velocity, which is equivalent to large and small elastic deformations, as the cylinder moves near thick or thin elastic layers. The analysis focusses on thin elastic coatings, both compressible and incompressible, for which analytical scaling laws are not yet available in the regime of large deformations. By analysing the elastohydrodynamic boundary layers that appear at the edge of the contact, we establish the missing scaling laws - including prefactors. As such, we offer a rather complete overview of physically relevant limits of soft lubrication.


title: Reconfigurable Waveguides Using Glide-Symmetric Bed of Nails: Design of an All-Metal Switch at Millimetre-Wave Band

abstract: A reconfigurable millimeter-wave artificial waveguide using glide-symmetric pin-like contact-less metasurfaces is proposed in order to enable low loss and high-power-handling capability in switching operations. Thanks to the remarkable behaviour of glide symmetry, the meta-structures are used both as wide-band EBG material to confine the field in the guide and as low-dispersive guiding medium filling the guide itself. The reconfigurability is achieved by adjusting the displacement between the metasurfaces. A higher displacement enables propagation within the waveguide and a lower displacement suppresses it. A two-state reconfigurability is therefore designed, allowing the device to act as an on-off switch in the V-band. In particular, a dispersion analysis highlights the potential of such technology to achieve switching operating over a 55-66 GHz frequency range. A complete design including matching mechanism and WR15 feeding is also described and shown to exhibit a $S_{11}<-10$ dB bandwidth from 57.4 to 62.8 GHz. In the "off" state, the switch isolation is better than 65 dB and in the "on" state, the insertion losses are better than 0.7 dB within the entire operating frequency range. The isolation between two adjacent waveguides is also discussed to assess the integration of such a device within a switching network.


title: Maximal Spread of Coherent Distributions: a Geometric and Combinatorial Perspective

abstract: We discuss some open problems concerning the maximal spread of coherent distributions. We prove a sharp bound on $\mathbb{E}|X-Y|^{\alpha}$ for $(X,Y)$ coherent and $\alpha \le 2$, and establish a novel connection between coherent distributions and such combinatorial objects as bipartite graphs, conjugate partitions and Ferrer diagrams. Our results may turn out to be helpful not only for probabilists, but also for graph theorists, especially for those interested in mathematical chemistry and the study of topological indices.


title: On the spectral radius of block graphs having all their blocks of the same size

abstract: Let $\mathcal{B}(n,q)$ be the class of block graphs on $n$ vertices having all their blocks of the same size. We prove that if $G\in \mathcal{B}(n,q)$ has at most three pairwise adjacent cut vertices then the minimum spectral radius $\rho(G)$ is attained at a unique graph. In addition, we present a lower bound for $\rho(G)$ when $G\in \mathcal{B}(n,q)$.


title: A Survey on Computational Propaganda Detection

abstract: Propaganda campaigns aim at influencing people's mindset with the purpose of advancing a specific agenda. They exploit the anonymity of the Internet, the micro-profiling ability of social networks, and the ease of automatically creating and managing coordinated networks of accounts, to reach millions of social network users with persuasive messages, specifically targeted to topics each individual user is sensitive to, and ultimately influencing the outcome on a targeted issue. In this survey, we review the state of the art on computational propaganda detection from the perspective of Natural Language Processing and Network Analysis, arguing about the need for combined efforts between these communities. We further discuss current challenges and future research directions.


title: GraphCL: Contrastive Self-Supervised Learning of Graph Representations

abstract: We propose Graph Contrastive Learning (GraphCL), a general framework for learning node representations in a self supervised manner. GraphCL learns node embeddings by maximizing the similarity between the representations of two randomly perturbed versions of the intrinsic features and link structure of the same node's local subgraph. We use graph neural networks to produce two representations of the same node and leverage a contrastive learning loss to maximize agreement between them. In both transductive and inductive learning setups, we demonstrate that our approach significantly outperforms the state-of-the-art in unsupervised learning on a number of node classification benchmarks.


title: OrbNet: Deep Learning for Quantum Chemistry Using Symmetry-Adapted Atomic-Orbital Features

abstract: We introduce a machine learning method in which energy solutions from the Schrodinger equation are predicted using symmetry adapted atomic orbitals features and a graph neural-network architecture. \textsc{OrbNet} is shown to outperform existing methods in terms of learning efficiency and transferability for the prediction of density functional theory results while employing low-cost features that are obtained from semi-empirical electronic structure calculations. For applications to datasets of drug-like molecules, including QM7b-T, QM9, GDB-13-T, DrugBank, and the conformer benchmark dataset of Folmsbee and Hutchison, \textsc{OrbNet} predicts energies within chemical accuracy of DFT at a computational cost that is thousand-fold or more reduced.


title: Integrated VAC: A robust strategy for identifying eigenfunctions of dynamical operators

abstract: One approach to analyzing the dynamics of a physical system is to search for long-lived patterns in its motions. This approach has been particularly successful for molecular dynamics data, where slowly decorrelating patterns can indicate large-scale conformational changes. Detecting such patterns is the central objective of the variational approach to conformational dynamics (VAC), as well as the related methods of time-lagged independent component analysis and Markov state modeling. In VAC, the search for slowly decorrelating patterns is formalized as a variational problem solved by the eigenfunctions of the system's transition operator. VAC computes solutions to this variational problem by optimizing a linear or nonlinear model of the eigenfunctions using time series data. Here, we build on VAC's success by addressing two practical limitations. First, VAC can give poor eigenfunction estimates when the lag time parameter is chosen poorly. Second, VAC can overfit when using flexible parameterizations such as artificial neural networks with insufficient regularization. To address these issues, we propose an extension that we call integrated VAC (IVAC). IVAC integrates over multiple lag times before solving the variational problem, making its results more robust and reproducible than VAC's.


title: Predicting Clinical Outcomes in COVID-19 using Radiomics and Deep Learning on Chest Radiographs: A Multi-Institutional Study

abstract: We predict mechanical ventilation requirement and mortality using computational modeling of chest radiographs (CXRs) for coronavirus disease 2019 (COVID-19) patients. This two-center, retrospective study analyzed 530 deidentified CXRs from 515 COVID-19 patients treated at Stony Brook University Hospital and Newark Beth Israel Medical Center between March and August 2020. DL and machine learning classifiers to predict mechanical ventilation requirement and mortality were trained and evaluated using patient CXRs. A novel radiomic embedding framework was also explored for outcome prediction. All results are compared against radiologist grading of CXRs (zone-wise expert severity scores). Radiomic and DL classification models had mAUCs of 0.78+/-0.02 and 0.81+/-0.04, compared with expert scores mAUCs of 0.75+/-0.02 and 0.79+/-0.05 for mechanical ventilation requirement and mortality prediction, respectively. Combined classifiers using both radiomics and expert severity scores resulted in mAUCs of 0.79+/-0.04 and 0.83+/-0.04 for each prediction task, demonstrating improvement over either artificial intelligence or radiologist interpretation alone. Our results also suggest instances where inclusion of radiomic features in DL improves model predictions, something that might be explored in other pathologies. The models proposed in this study and the prognostic information they provide might aid physician decision making and resource allocation during the COVID-19 pandemic.


title: Renormalization in gravitational leptogenesis with pseudo-scalar-tensor coupling

abstract: We consider the renormalization in the pseudo-scalar inflation models with the gravitational Chern-Simons term. In this model, lepton asymmetry is generated from the chiral gravitational waves produced due to the Chern-Simons term through the gravitational chiral anomaly. However, it is known that the naive estimate of the expectation value of the gravitational Chern-Pontryagin density as well as the resultant lepton number density depend on the UV-cutoff scale, which raises a question on their validity. In this paper, we propose a way to renormalize the expectation value of the Chern-Pontryagin density to remove the UV-cutoff dependence. We also discuss the renormalized lepton number density when we adopt the minimal subtraction scheme and the viability of the gravitational leptogenesis scenario.


title: Federated Learning in Mobile Edge Computing: An Edge-Learning Perspective for Beyond 5G

abstract: Owing to the large volume of sensed data from the enormous number of IoT devices in operation today, centralized machine learning algorithms operating on such data incur an unbearable training time, and thus cannot satisfy the requirements of delay-sensitive inference applications. By provisioning computing resources at the network edge, Mobile Edge Computing (MEC) has become a promising technology capable of collaborating with distributed IoT devices to facilitate federated learning, and thus realize real-time training. However, considering the large volume of sensed data and the limited resources of both edge servers and IoT devices, it is challenging to ensure the training efficiency and accuracy of delay-sensitive training tasks. Thus, in this paper, we design a novel edge computing-assisted federated learning framework, in which the communication constraints between IoT devices and edge servers and the effect of various IoT devices on the training accuracy are taken into account. On one hand, we employ machine learning methods to dynamically configure the communication resources in real-time to accelerate the interactions between IoT devices and edge servers, thus improving the training efficiency of federated learning. On the other hand, as various IoT devices have different training datasets which have varying influence on the accuracy of the global model derived at the edge server, an IoT device selection scheme is designed to improve the training accuracy under the resource constraints at edge servers. Extensive simulations have been conducted to demonstrate the performance of the introduced edge computing-assisted federated learning framework.


title: Optimal Coreset for Gaussian Kernel Density Estimation

abstract: Given a point set $P\subset \mathbb{R}^d$, the kernel density estimate of $P$ is defined as \[ \overline{\mathcal{G}}_P(x) = \frac{1}{\left|P\right|}\sum_{p\in P}e^{-\left\lVert x-p \right\rVert^2} \] for any $x\in\mathbb{R}^d$. We study how to construct a small subset $Q$ of $P$ such that the kernel density estimate of $P$ is approximated by the kernel density estimate of $Q$. This subset $Q$ is called a coreset. The main technique in this work is constructing a $\pm 1$ coloring on the point set $P$ by discrepancy theory and we leverage Banaszczyk's Theorem. When $d>1$ is a constant, our construction gives a coreset of size $O\left(\frac{1}{\varepsilon}\right)$ as opposed to the best-known result of $O\left(\frac{1}{\varepsilon}\sqrt{\log\frac{1}{\varepsilon}}\right)$. It is the first result to give a breakthrough on the barrier of $\sqrt{\log}$ factor even when $d=2$.


title: When and how CNNs generalize to out-of-distribution category-viewpoint combinations

abstract: Object recognition and viewpoint estimation lie at the heart of visual understanding. Recent works suggest that convolutional neural networks (CNNs) fail to generalize to out-of-distribution (OOD) category-viewpoint combinations, ie. combinations not seen during training. In this paper, we investigate when and how such OOD generalization may be possible by evaluating CNNs trained to classify both object category and 3D viewpoint on OOD combinations, and identifying the neural mechanisms that facilitate such OOD generalization. We show that increasing the number of in-distribution combinations (ie. data diversity) substantially improves generalization to OOD combinations, even with the same amount of training data. We compare learning category and viewpoint in separate and shared network architectures, and observe starkly different trends on in-distribution and OOD combinations, ie. while shared networks are helpful in-distribution, separate networks significantly outperform shared ones at OOD combinations. Finally, we demonstrate that such OOD generalization is facilitated by the neural mechanism of specialization, ie. the emergence of two types of neurons -- neurons selective to category and invariant to viewpoint, and vice versa.


title: On the Generation, Structure, and Semantics of Grammar Patterns in Source Code Identifiers

abstract: Identifiers make up a majority of the text in code. They are one of the most basic mediums through which developers describe the code they create and understand the code that others create. Therefore, understanding the patterns latent in identifier naming practices and how accurately we are able to automatically model these patterns is vital if researchers are to support developers and automated analysis approaches in comprehending and creating identifiers correctly and optimally. This paper investigates identifiers by studying sequences of part-of-speech annotations, referred to as grammar patterns. This work advances our understanding of these patterns and our ability to model them by 1) establishing common naming patterns in different types of identifiers, such as class and attribute names; 2) analyzing how different patterns influence comprehension; and 3) studying the accuracy of state-of-the-art techniques for part-of-speech annotations, which are vital in automatically modeling identifier naming patterns, in order to establish their limits and paths toward improvement. To do this, we manually annotate a dataset of 1,335 identifiers from 20 open-source systems and use this dataset to study naming patterns, semantics, and tagger accuracy.


title: Evaluating and Validating Cluster Results

abstract: Clustering is the technique to partition data according to their characteristics. Data that are similar in nature belong to the same cluster [1]. There are two types of evaluation methods to evaluate clustering quality. One is an external evaluation where the truth labels in the data sets are known in advance and the other is internal evaluation in which the evaluation is done with data set itself without true labels. In this paper, both external evaluation and internal evaluation are performed on the cluster results of the IRIS dataset. In the case of external evaluation Homogeneity, Correctness and V-measure scores are calculated for the dataset. For internal performance measures, the Silhouette Index and Sum of Square Errors are used. These internal performance measures along with the dendrogram (graphical tool from hierarchical Clustering) are used first to validate the number of clusters. Finally, as a statistical tool, we used the frequency distribution method to compare and provide a visual representation of the distribution of observations within a clustering result and the original data.


title: Radiation pattern prediction for Metasurfaces: A Neural Network based approach

abstract: As the current standardization for the 5G networks nears completion, work towards understanding the potential technologies for the 6G wireless networks is already underway. One of these potential technologies for the 6G networks are Reconfigurable Intelligent Surfaces (RISs). They offer unprecedented degrees of freedom towards engineering the wireless channel, i.e., the ability to modify the characteristics of the channel whenever and however required. Nevertheless, such properties demand that the response of the associated metasurface (MSF) is well understood under all possible operational conditions. While an understanding of the radiation pattern characteristics can be obtained through either analytical models or full wave simulations, they suffer from inaccuracy under certain conditions and extremely high computational complexity, respectively. Hence, in this paper we propose a novel neural networks based approach that enables a fast and accurate characterization of the MSF response. We analyze multiple scenarios and demonstrate the capabilities and utility of the proposed methodology. Concretely, we show that this method is able to learn and predict the parameters governing the reflected wave radiation pattern with an accuracy of a full wave simulation (98.8%-99.8%) and the time and computational complexity of an analytical model. The aforementioned result and methodology will be of specific importance for the design, fault tolerance and maintenance of the thousands of RISs that will be deployed in the 6G network environment.


title: Many-body effects in suspended graphene probed through magneto-phonon resonances

abstract: We make use of micro-magneto Raman scattering spectroscopy to probe magneto-phonon resonances (MPR) in suspended mono- to penta-layer graphene. MPR correspond to avoided crossings between zone-center optical phonons (G-mode) and optically-active inter Landau level (LL) transitions and provide a tool to perform LL spectroscopy at a fixed energy ($\approx 197~\rm{meV}$) set by the G-mode phonon. Using a single-particle effective bilayer model, we readily extract the velocity parameter associated with each MPR. A single velocity parameter slightly above the bulk graphite value suffices to fit all MPR for $N\geq2$ layer systems. In contrast, in monolayer graphene, we find that the velocity parameter increases significantly from $(1.23\pm 0.01) \times 10^6~\mathrm{m.s^{-1}}$ up to $(1.45\pm0.02) \times 10^6~\mathrm{m.s^{-1}}$ as the first to third optically-active inter LL transition couple to the G-mode phonon. This result is understood as a signature of enhanced many-body effects in unscreened graphene.


title: Active Visual Information Gathering for Vision-Language Navigation

abstract: Vision-language navigation (VLN) is the task of entailing an agent to carry out navigational instructions inside photo-realistic environments. One of the key challenges in VLN is how to conduct a robust navigation by mitigating the uncertainty caused by ambiguous instructions and insufficient observation of the environment. Agents trained by current approaches typically suffer from this and would consequently struggle to avoid random and inefficient actions at every step. In contrast, when humans face such a challenge, they can still maintain robust navigation by actively exploring the surroundings to gather more information and thus make more confident navigation decisions. This work draws inspiration from human navigation behavior and endows an agent with an active information gathering ability for a more intelligent vision-language navigation policy. To achieve this, we propose an end-to-end framework for learning an exploration policy that decides i) when and where to explore, ii) what information is worth gathering during exploration, and iii) how to adjust the navigation decision after the exploration. The experimental results show promising exploration strategies emerged from training, which leads to significant boost in navigation performance. On the R2R challenge leaderboard, our agent gets promising results all three VLN settings, i.e., single run, pre-exploration, and beam search.


title: A simple parity violating gravity model without ghost instability

abstract: In this paper we consider a parity violating gravity model without higher derivatives, thus ghost free. This model is constructed from the tetrad and its derivatives and coupled to a dynamical scalar field, like axion. It can be reduced from the Nieh-Yan term within the framework of teleparallel gravity. We apply this model to cosmology and investigate its consequences on cosmological perturbation theory. We find that the coupled dynamical scalar field lost its independent dynamics at the linear order and the parity violating term itself behaves like a viscosity. For gravitational waves, this model produces velocity difference between left- and right-handed polarizations, but generates no amplitude discrepancy.


title: Complete Multipole Basis Set for Single-Centered Electron Systems

abstract: A whole series of expressions for four species of multipoles (electric, magnetic, magnetic toroidal, and electric toroidal) is provided as a complete basis set to describe arbitrary single-centered spinful electron systems. A compact formula to calculate matrix elements of these multipoles is also derived. A visualization method of an electronic state characterized in terms of multipoles is proposed. The complete basis set is useful to narrow down a candidate order parameter of electron systems in phase transition, to describe a property of cross-correlated phenomena, to analyze spectra of x-ray scattering in magnetically ordered state, and so on. We demonstrate a usage of the complete basis set by taking monopole and toroidal dipole orderings, and the mutual relationship among three distinct magnetic dipoles (orbital, spin angular momenta and anisotropic dipole) in a spin-orbit coupled system as prime examples.


title: Transferring algebra structures on complexes

abstract: We discuss a homological method for transferring algebra structures on complexes along suitably nice homotopy equivalences, including those obtained after an application of the Perturbation Lemma. We study the implications for the Homotopy Transfer Theorems under such homotopy equivalences. As an application, we discuss how to use the homotopy on a Koszul complex given by a scaled de Rham map to find a new method for building a dg algebra structure on a well-known resolution, obtaining one that is both concrete and permutation invariant.


title: A Survey on Security Attacks and Defense Techniques for Connected and Autonomous Vehicles

abstract: Autonomous Vehicle has been transforming intelligent transportation systems. As telecommunication technology improves, autonomous vehicles are getting connected to each other and to infrastructures, forming Connected and Autonomous Vehicles (CAVs). CAVs will help humans achieve safe, efficient, and autonomous transportation systems. However, CAVs will face significant security challenges because many of their components are vulnerable to attacks, and a successful attack on a CAV may have significant impacts on other CAVs and infrastructures due to their communications. In this paper, we conduct a survey on 184 papers from 2000 to 2020 to understand state-of-the-art CAV attacks and defense techniques. This survey first presents a comprehensive overview of security attacks and their corresponding countermeasures on CAVs. We then discuss the details of attack models based on the targeted CAV components of attacks, access requirements, and attack motives. Finally, we identify some current research challenges and trends from the perspectives of both academic research and industrial development. Based on our studies of academic literature and industrial publications, we have not found any strong connection between academic research and industry's implementation on CAV-related security issues. While efforts from CAV manufacturers to secure CAVs have been reported, there is no evidence to show that CAVs on the market have the ability to defend against some novel attack models that the research community has recently found. This survey may give researchers and engineers a better understanding of the current status and trend of CAV security for CAV future improvement.


title: Review and experimental verification of X-ray darkfield signal interpretations with respect to quantitative isotropic and anisotropic darkfield computed tomography

abstract: Talbot(-Lau) interferometric X-ray darkfield imaging has, over the past decade, gained substantial interest for its ability to provide insights into a sample's microstructure below the imaging resolution by means of ultra small angle scattering effects. Quantitative interpretations of such images depend on models of the signal origination process that relate the observable image contrast to underlying physical processes. A review of such models is given here and their relation to the wave optical derivations by Yashiro et al. and Lynch et al. as well as to small angle X-ray scattering is discussed. Fresnel scaling is introduced to explain the characteristic distance dependence observed in cone beam geometries. Moreover, a model describing the anisotropic signals of fibrous objects is derived. The Yashiro-Lynch model is experimentally verified both in radiographic and tomographic imaging in a monochromatic synchrotron setting, considering both the effects of material and positional dependence of the resulting darkfield contrast. The effect of varying sample-detector distance on the darkfield signal is shown to be non-negligible for tomographic imaging, yet can be largely compensated for by symmetric acquisition trajectories. The derived orientation dependence of the darkfield contrast of fibrous materials both with respect to variations in autocorrelation width and scattering cross section is experimentally validated using carbon fiber reinforced rods.


title: Dynamical Zeta Functions in the Nonorientable Case

abstract: We use a simple argument to extend the microlocal proofs of meromorphicity of dynamical zeta functions to the nonorientable case. In the special case of geodesic flow on a connected non-orientable negatively curved closed surface, we compute the order of vanishing of the zeta function at the zero point to be the first Betti number of the surface.


title: Negative Pseudo Labeling using Class Proportion for Semantic Segmentation in Pathology

abstract: We propose a weakly-supervised cell tracking method that can train a convolutional neural network (CNN) by using only the annotation of "cell detection" (i.e., the coordinates of cell positions) without association information, in which cell positions can be easily obtained by nuclear staining. First, we train a co-detection CNN that detects cells in successive frames by using weak-labels. Our key assumption is that the co-detection CNN implicitly learns association in addition to detection. To obtain the association information, we propose a backward-and-forward propagation method that analyzes the correspondence of cell positions in the detection maps output of the co-detection CNN. Experiments demonstrated that the proposed method can match positions by analyzing the co-detection CNN. Even though the method uses only weak supervision, the performance of our method was almost the same as the state-of-the-art supervised method.


title: Fair Ride Allocation on a Line

abstract: The airport game is a classical and well-known model of fair cost-sharing for a single facility among multiple agents. This paper extends it to the so-called assignment setting, that is, for multiple facilities and agents, each agent chooses a facility to use and shares the cost with the other agents. Such a situation can be often seen in sharing economy, such as sharing fees for office desks among workers, taxis among customers of possibly different destinations on a line, and so on. Our model is regarded as a coalition formation game based on the fair cost-sharing of the airport game; we call our model \emph{a fair ride allocation on a line}. As criteria of solution concepts, we incorporate Nash stability and envy-freeness into our setting. We show that a Nash-stable feasible allocation that minimizes the social cost of agents can be computed efficiently if a feasible allocation exists. For envy-freeness, we provide several structural properties of envy-free allocations. Based on these, we design efficient algorithms for finding an envy-free allocation when at least one of (1) the number of facilities, (2) the capacity of facilities, and (3) the number of agent types, is small. Moreover, we show that a consecutive envy-free allocation can be computed in polynomial time. On the negative front, we show the NP-hardness of determining the existence of an allocation under two relaxed envy-free concepts.


title: Bias-free source-independent quantum random number generator

abstract: A bias-free source-independent quantum random number generator scheme based on the measurement of vacuum fluctuation is proposed to realize the effective elimination of system bias and common mode noise introduced by the local oscillator. Optimal parameter settings are derived to avoid the system recording two canonically conjugate quadratures simultaneously in each measurement. In particular, it provides a new approach to investigate the performance difference between measuring two quadratures of equal and unequal intensity. It is experimentally demonstrated that the system supports 4.2 Gbps bias-free source-independent random number generation, where its common mode rejection ratio reaches 61.17 dB. Furthermore, the scheme offers an all-optical method facilitating the integration of source-independent quantum random number generators into compact chips.


title: Heterogeneity Learning for SIRS model: an Application to the COVID-19

abstract: We propose a Bayesian Heterogeneity Learning approach for Susceptible-Infected-Removal-Susceptible (SIRS) model that allows underlying clustering patterns for transmission rate, recovery rate, and loss of immunity rate for the latest coronavirus (COVID-19) among different regions. Our proposed method provides simultaneously inference on parameter estimation and clustering information which contains both number of clusters and cluster configurations. Specifically, our key idea is to formulates the SIRS model into a hierarchical form and assign the Mixture of Finite mixtures priors for heterogeneity learning. The properties of the proposed models are examined and a Markov chain Monte Carlo sampling algorithm is used to sample from the posterior distribution. Extensive simulation studies are carried out to examine empirical performance of the proposed methods. We further apply the proposed methodology to analyze the state level COVID-19 data in U.S.


title: SafeRESTScript: Statically Checking REST API Consumers

abstract: Consumption of REST services has become a popular means of invoking code provided by third parties, particularly in web applications. Nowadays programmers of web applications can choose TypeScript over JavaScript to benefit from static type checking that enables validating calls to local functions or to those provided by libraries. Errors in calls to REST services, however, can only be found at run-time. In this paper, we present SafeRESTScript (SRS, for short) a language that extends the support of static analysis to calls to REST services, with the ability to statically find common errors such as missing or invalid data in REST calls and misuse of the results from such calls. SafeRESTScript features a syntax similar to JavaScript and is equipped with (i) a rich collection of types (including objects, arrays and refinement types)and (ii) primitives to natively support REST calls that are statically validated against specifications of the corresponding APIs. Specifications are written in HeadREST, a language that also features refinement types and supports the description of semantic aspects of REST APIs in a style reminiscent of Hoare triples. We present SafeRESTScript and its validation system, based on a general-purpose verification tool (Boogie). The evaluation of SafeRESTScript and of the prototype implementations for its validator, available in the form of an Eclipse plugin, is also discussed.


title: Global dynamics of the Horava-Lifshitz cosmological model in a non-flat universe with non-zero cosmological constant

abstract: When the cosmological constant is non-zero the dynamics of the cosmological model based on Horava-Lifshitz gravity in a non-flat universe is characterized by using the qualitative theory of differential equations.


title: Sarin and Air Permeation Through a Nanoporous Graphene

abstract: Sarin gas is a dangerous chemical warfare agent (CWA). It is a nerve agent capable of bringing a person to death in about 15 minutes. A lethal concentration of sarin molecules in air is about 30 mg/m3. Experimental research on this gas requires very careful safety protocols for handling and storage. Therefore, theoretical and computational studies on sarin gas are very welcome and might provide important safe guides towards the management of this lethal substance. In this work, we investigated the interactions between sarin, air and nanoporous graphene, using tools of classical molecular dynamics simulations. Aiming to cast some light in the possible sarin selective filtration by graphene, we designed a bipartite simulation box with a porous graphene nanosheet placed at the middle. Sarin and air molecules were initially placed only on one side of the box so as to create an initial pressure towards the passage of both to the other side. The box dimensions were chosen so that the hole in the graphene was the only possible way through which sarin and air molecules can get to the other side of the box. The number of molecules that passed through the hole in graphene was monitored during 10 ns of simulation and the results for different temperatures were compared. The results show that, as far as the size of the holes are small, van der Waals forces between graphene and the molecules play a significant role on keeping sarin near graphene, at room temperature.


title: Information Theoretic Limits of Cardinality Estimation: Fisher Meets Shannon

abstract: Estimating the cardinality (number of distinct elements) of a large multiset is a classic problem in streaming and sketching, dating back to Flajolet and Martin's classic Probabilistic Counting (PCSA) algorithm from 1983. In this paper we study the intrinsic tradeoff between the space complexity of the sketch and its estimation error in the random oracle model. We define a new measure of efficiency for cardinality estimators called the Fisher-Shannon (Fish) number $\mathcal{H}/\mathcal{I}$. It captures the tension between the limiting Shannon entropy ($\mathcal{H}$) of the sketch and its normalized Fisher information ($\mathcal{I}$), which characterizes the variance of a statistically efficient, asymptotically unbiased estimator. Our results are as follows. We prove that all base-$q$ variants of Flajolet and Martin's PCSA sketch have Fish-number $H_0/I_0 \approx 1.98016$ and that every base-$q$ variant of (Hyper)LogLog has Fish-number worse than $H_0/I_0$, but that they tend to $H_0/I_0$ in the limit as $q\rightarrow \infty$. Here $H_0,I_0$ are precisely defined constants. We describe a sketch called Fishmonger that is based on a smoothed, entropy-compressed variant of PCSA with a different estimator function. It is proved that with high probability, Fishmonger processes a multiset of $[U]$ such that at all times, its space is $O(\log^2\log U) + (1+o(1))(H_0/I_0)b \approx 1.98b$ bits and its standard error is $1/\sqrt{b}$. We give circumstantial evidence that $H_0/I_0$ is the optimum Fish-number of mergeable sketches for Cardinality Estimation. We define a class of linearizable sketches and prove that no member of this class can beat $H_0/I_0$. The popular mergeable sketches are, in fact, also linearizable.


title: Translate Reverberated Speech to Anechoic Ones: Speech Dereverberation with BERT

abstract: Single channel speech dereverberation is considered in this work. Inspired by the recent success of Bidirectional Encoder Representations from Transformers (BERT) model in the domain of Natural Language Processing (NLP), we investigate its applicability as backbone sequence model to enhance reverberated speech signal. We present a variation of the basic BERT model: a pre-sequence network, which extracts local spectral-temporal information and/or provides order information, before the backbone sequence model. In addition, we use pre-trained neural vocoder for implicit phase reconstruction. To evaluate our method, we used the data from the 3rd CHiME challenge, and compare our results with other methods. Experiments show that the proposed method outperforms traditional method WPE, and achieve comparable performance with state-of-the-art BLSTM-based sequence models.


title: Inductive Link Prediction for Nodes Having Only Attribute Information

abstract: Predicting the link between two nodes is a fundamental problem for graph data analytics. In attributed graphs, both the structure and attribute information can be utilized for link prediction. Most existing studies focus on transductive link prediction where both nodes are already in the graph. However, many real-world applications require inductive prediction for new nodes having only attribute information. It is more challenging since the new nodes do not have structure information and cannot be seen during the model training. To solve this problem, we propose a model called DEAL, which consists of three components: two node embedding encoders and one alignment mechanism. The two encoders aim to output the attribute-oriented node embedding and the structure-oriented node embedding, and the alignment mechanism aligns the two types of embeddings to build the connections between the attributes and links. Our model DEAL is versatile in the sense that it works for both inductive and transductive link prediction. Extensive experiments on several benchmark datasets show that our proposed model significantly outperforms existing inductive link prediction methods, and also outperforms the state-of-the-art methods on transductive link prediction.


title: Non-parametric estimation of Stochastic Differential Equations from stationary time-series

abstract: We study efficiency of non-parametric estimation of diffusions (stochastic differential equations driven by Brownian motion) from long stationary trajectories. First, we introduce estimators based on conditional expectation which is motivated by the definition of drift and diffusion coefficients. These estimators involve time- and space-discretization parameters for computing expected values from discretely-sampled stationary data. Next, we analyze consistency and mean squared error of these estimators depending on computational parameters. We derive relationships between the number of observational points, time- and space-discretization parameters in order to achieve the optimal speed of convergence and minimize computational complexity. We illustrate our approach with numerical simulations.


title: Spin torque and persistent currents caused by percolation of topological surface states

abstract: The topological insulator/ferromagnetic metal (TI/FMM) bilayer thin films emerged as promising topological surface state-based spintronic devices, most notably in their efficiency of current-induced spin torque. Using a cubic lattice model, we reveal that the surface state Dirac cone of the TI can gradually merge into or be highly intertwined with the FMM bulk bands, and the surface states percolate into the FMM and eventually hybridize with the quantum well states therein. The magnetization can distort the spin-momentum locking of the surface states and yield an asymmetric band structure, which causes a laminar flow of room temperature persistent charge current. Moreover, the proximity to the FMM also promotes a persistent laminar spin current. Through a linear response theory, we elaborate that both the surface state and the FMM bulk bands contribute to the current-induced spin torque, and their real wave functions render the spin torque predominantly field-like, with a magnitude highly influenced by the degree of the percolation of the surface states. On the other hand, impurities can change the spin polarization expected from the Edelstein effect and generate a damping-like torque, and produce a torque even when the magnetization points in-plane and orthogonal to the current direction.


title: Automatic transformation of irreducible representations for efficient contraction of tensors with cyclic group symmetry

abstract: Tensor contractions are ubiquitous in computational chemistry and physics, where tensors generally represent states or operators and contractions express the algebra of these quantities. In this context, the states and operators often preserve physical conservation laws, which are manifested as group symmetries in the tensors. These group symmetries imply that each tensor has block sparsity and can be stored in a reduced form. For nontrivial contractions, the memory footprint and cost are lowered, respectively, by a linear and a quadratic factor in the number of symmetry sectors. State-of-the-art tensor contraction software libraries exploit this opportunity by iterating over blocks or using general block-sparse tensor representations. Both approaches entail overhead in performance and code complexity. With intuition aided by tensor diagrams, we present a technique, irreducible representation alignment, which enables efficient handling of Abelian group symmetries via only dense tensors, by using contraction-specific reduced forms. This technique yields a general algorithm for arbitrary group symmetric contractions, which we implement in Python and apply to a variety of representative contractions from quantum chemistry and tensor network methods. As a consequence of relying on only dense tensor contractions, we can easily make use of efficient batched matrix multiplication via Intel's MKL and distributed tensor contraction via the Cyclops library, achieving good efficiency and parallel scalability on up to 4096 Knights Landing cores of a supercomputer.


title: A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem

abstract: We give the first $2$-approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than $2$ is UGC-hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most $2$ from any vertex of the input graph. As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.


title: Rapid Mixing for Colorings via Spectral Independence

abstract: The spectral independence approach of Anari et al. (2020) utilized recent results on high-dimensional expanders of Alev and Lau (2020) and established rapid mixing of the Glauber dynamics for the hard-core model defined on weighted independent sets. We develop the spectral independence approach for colorings, and obtain new algorithmic results for the corresponding counting/sampling problems. Let $\alpha^*\approx 1.763$ denote the solution to $\exp(1/x)=x$ and let $\alpha>\alpha^*$. We prove that, for any triangle-free graph $G=(V,E)$ with maximum degree $\Delta$, for all $q\geq\alpha\Delta+1$, the mixing time of the Glauber dynamics for $q$-colorings is polynomial in $n=|V|$, with the exponent of the polynomial independent of $\Delta$ and $q$. In comparison, previous approximate counting results for colorings held for a similar range of $q$ (asymptotically in $\Delta$) but with larger girth requirement or with a running time where the polynomial exponent depended on $\Delta$ and $q$ (exponentially). One further feature of using the spectral independence approach to study colorings is that it avoids many of the technical complications in previous approaches caused by coupling arguments or by passing to the complex plane; the key improvement on the running time is based on relatively simple combinatorial arguments which are then translated into spectral bounds.


title: Binary asteroid (31) Euphrosyne: Ice-rich and nearly spherical

abstract: Asteroid (31) Euphrosyne is one of the biggest objects in the asteroid main belt and the Euphrosyne family occupies a highly inclined region in the outer main belt and contains a remarkably large number of members, which is interpreted as an outcome of a disruptive cratering event. The goals of this adaptive-optics imaging study were threefold: to characterize the shape of Euphrosyne, to constrain its density, and to search for the large craters that may be associated with the family formation event. We obtained disk-resolved images of Euphrosyne using SPHERE/ZIMPOL at ESO's 8.2-m VLT as part of our large program (ID: 199.C-0074, PI: Vernazza). We reconstructed its 3D-shape using the adam shape modeling algorithm based on the SPHERE images and the available lightcurves of this asteroid. We analyzed the dynamics of the satellite with the genoid meta-heuristic algorithm. Finally, we studied the shape of Euphrosyne using hydrostatic equilibrium models. Our SPHERE observations show that Euphrosyne has a nearly spherical shape with the sphericity index of 0.9888 and its surface lacks large impact craters. Euphrosyne's diameter is 268+/-6 km, making it one of the top 10 largest main belt asteroids. We detected a satellite of Euphrosyne -- S/2019 (31) 1-- that is about 4 km across, on an circular orbit. The mass determined from the orbit of the satellite together with the volume computed from the shape model imply a density of 1665+/-242 kg/m^3, suggesting that Euphrosyne probably contain a large fraction of water ice in its interior. We find that the spherical shape of Euphrosyne is a result of the reaccumulation process following the impact, as in the case of (10) Hygiea. However, our shape analysis reveals that, contrary to Hygiea, the axis ratios of Euphrosyne significantly differ from the ones suggested by fluid hydrostatic equilibrium following reaccumulation.


title: GRADE: Graph Dynamic Embedding

abstract: Representation learning of static and more recently dynamically evolving graphs has gained noticeable attention. Existing approaches for modelling graph dynamics focus extensively on the evolution of individual nodes independently of the evolution of mesoscale community structures. As a result, current methods do not provide useful tools to study and cannot explicitly capture temporal community dynamics. To address this challenge, we propose GRADE - a probabilistic model that learns to generate evolving node and community representations by imposing a random walk prior over their trajectories. Our model also learns node community membership which is updated between time steps via a transition matrix. At each time step link generation is performed by first assigning node membership from a distribution over the communities, and then sampling a neighbor from a distribution over the nodes for the assigned community. We parametrize the node and community distributions with neural networks and learn their parameters via variational inference. Experiments demonstrate GRADE outperforms baselines in dynamic link prediction, shows favourable performance on dynamic community detection, and identifies coherent and interpretable evolving communities.


title: Fast Distributed Bandits for Online Recommendation Systems

abstract: Contextual bandit algorithms are commonly used in recommender systems, where content popularity can change rapidly. These algorithms continuously learn latent mappings between users and items, based on contexts associated with them both. Recent recommendation algorithms that learn clustering or social structures between users have exhibited higher recommendation accuracy. However, as the number of users and items in the environment increases, the time required to generate recommendations deteriorates significantly. As a result, these cannot be deployed in practice. The state-of-the-art distributed bandit algorithm - DCCB - relies on a peer-to-peer net-work to share information among distributed workers. However, this approach does not scale well with the increasing number of users. Furthermore, it suffers from slow discovery of clusters, resulting in accuracy degradation. To address the above issues, this paper proposes a novel distributed bandit-based algorithm called DistCLUB. This algorithm lazily creates clusters in a distributed manner, and dramatically reduces the network data sharing requirement, achieving high scalability. Additionally, DistCLUB finds clusters much faster, achieving better accuracy than the state-of-the-art algorithm. Evaluation over both real-world benchmarks and synthetic datasets shows that DistCLUB is on average 8.87x faster than DCCB, and achieves 14.5% higher normalized prediction performance.


title: Statistical Analysis of the Relation between Coronal Mass Ejections and Solar Energetic Particles

abstract: To improve the forecasting capability of impactful solar energetic particle (SEP) events, the relation between coronal mass ejections (CMEs) and SEP events needs to be better understood. Here we present a statistical study of SEP occurrences and timescales with respect to the CME source locations and speeds, considering all 257 fast ($v_{CME}$ $\ge$ 900 km/s) and wide (angular width $\ge$ 60$^{\circ}$) CMEs that occurred between December 2006 and October 2017. We associate them with SEP events at energies above 10 MeV. Examination of the source region of each CME reveals that CMEs more often accompany a SEP event if they originate from the longitude of E20-W100 relative to the observer. However, a SEP event could still be absent if the CME is $<$ 2000 km/s. For the associated CME-SEP pairs, we compute three timescales for each of the SEP events, following Kahler (2005, 2013); namely the timescale of the onset (TO), the rise time (TR), and the duration (TD). They are correlated with the longitude of the CME source region relative to the footpoint of the Parker spiral ($\Delta\Phi$) and $v_{CME}$. The TO tends to be short for $|\Delta\Phi|$ $<$ 60$^{\circ}$ . This trend is weaker for TR and TD. The SEP timescales are only weakly correlated with $v_{CME}$. Positive correlations of both TR and TD with $v_{CME}$ are seen in poorly connected (large $|\Delta\Phi|$) events. Additionally, TO appears to be negatively correlated with $v_{CME}$ for events with small $|\Delta\Phi|$.


title: A fast noise filtering algorithm for time series prediction using recurrent neural networks

abstract: Recent research demonstrate that prediction of time series by recurrent neural networks (RNNs) based on the noisy input generates a smooth anticipated trajectory. We examine the internal dynamics of RNNs and establish a set of conditions required for such behavior. Based on this analysis we propose a new approximate algorithm and show that it significantly speeds up the predictive process without loss of accuracy.


title: Decentralized Ride-Sharing and Vehicle-Pooling Based on Fair Cost-Sharing Mechanisms

abstract: Ride-sharing or vehicle-pooling allows commuters to team up spontaneously for transportation cost sharing. This has become a popular trend in the emerging paradigm of sharing economy. One crucial component to support effective ride-sharing is the matching mechanism that pairs up suitable commuters. Traditionally, matching has been performed in a centralized manner, whereby an operator arranges ride-sharing according to a global objective (e.g., total cost of all commuters). However, ride-sharing is a decentralized decision-making paradigm, where commuters are self-interested and only motivated to team up based on individual payments. Particularly, it is not clear how transportation cost should be shared fairly between commuters, and what ramifications of cost-sharing are on decentralized ride-sharing. This paper sheds light on the principles of decentralized ride-sharing and vehicle-pooling mechanisms based on stable matching, such that no one would be better off to deviate from a stable matching outcome. We study various fair cost-sharing mechanisms and the induced stable matching outcomes. We compare the stable matching outcomes with a social optimal outcome (that minimizes total cost) by theoretical bounds of social optimality ratios, and show that several fair cost-sharing mechanisms can achieve high social optimality. We also corroborate our results with an empirical study of taxi sharing under fair cost-sharing mechanisms by a data analysis on New York City taxi trip dataset, and provide useful insights on effective decentralized mechanisms for practical ride-sharing and vehicle-pooling.


title: Stability of in-plane and out-of-plane chiral skyrmions in epitaxial MnSi(111)/Si(111) thin films: surface twists versus easy-plane anisotropy

abstract: The revisited theoretical phase diagrams for thin films of cubic helimagnets with the easy-plane anisotropy are shown to have different topology as previously reported [Phys. Rev. B 85, 094429 (2012)]. For both in-plane and out-of-plane directions of an applied magnetic field, the phase diagrams exhibit extensive areas of stable skyrmions, which overlap for a wide range of anisotropy parameters. Although the existence of the out-of-plane skyrmions was contradicted within the previous theoretical models, we prove that additional surface twists lead to their stability, while the moderate easy-plane anisotropy increases the stability range of in-plane skyrmions. Moreover, the interplay between the anisotropy and the surface twists gives rise to a stable spiral state canted with respect to the surfaces. Being absent in bulk helimagnets, this oblique spiral occupies vast areas at the phase diagrams in thin-film nanosystems and serves as a connecting-link between cones and helicoids. Our theory gives clear directions for renewed experimental studies of in-plane and out-of-plane skyrmions in epitaxial MnSi(111)/Si(111) thin films.


title: Trail: A Blockchain Architecture for Light Nodes

abstract: In Bitcoin and Ethereum, nodes require large storage capacity to maintain all the blockchain data, such as transactions, UTXOs, and account states. As of May 2020, the storage size of the Bitcoin blockchain has expanded to 270 GB, and it will continue to increase. This storage requirement is a major hurdle to becoming a block proposer or validator. Although many studies have attempted to reduce the storage size, in the proposed methods, a node cannot keep all blocks or cannot generate a block. We propose an architecture called Trail that allows nodes to hold all blocks in a small storage and to generate and validate blocks and transactions. Trail does not depend on a consensus algorithm or fork choice rule. In this architecture, a client who issues transactions has the data to prove its own balances and can generate a transaction containing the proof of balances. The nodes in Trail do not store transactions, UTXOs and account balances: they keep only blocks. The blocksize is approximately 8 KB, which is 100 times smaller than that of Bitcoin. Further, the block size is constant regardless of the number of accounts and the number of transactions. Compared to traditional blockchains, clients who issue transactions must store additional data. However, we show that proper data archiving can keep the account device storage size small. Trail allows more users to be block proposers and validators and improves the decentralization of the blockchain.


title: $USp(32)$ Special Grand Unification

abstract: We discuss a grand unified theory (GUT) based on a $USp(32)$ GUT gauge group broken to its subgroups including a special subgroup. A GUT based on an $SO(32)$ GUT gauge group has been discussed on six-dimensional (6D) orbifold space $M^4\times T^2/\mathbb{Z}_2$. It is inspired by the $SO(32)$ string theory behind the $SU(16)$ GUT whose $SU(16)$ is broken to a special subgroup $SO(10)$. Alternative direction is to embed an $SU(16)$ gauge group into a $USp(32)$ GUT gauge group, which is inspired by a non-supersymmetric symplectic-type $USp(32)$ string theory. In a $USp(32)$ GUT, one generation of the SM fermions is embedded into a 6D bulk Weyl fermion in a $USp(32)$ defining representation. For a three generation model, all the 6D and 4D gauge anomalies in the bulk and on the fixed points are canceled out without exotic chiral fermions at low energies. The SM Higgs scalar is embedded into a 6D bulk scalar field in a $USp(32)$ adjoint representation.


title: The Swendsen-Wang Dynamics on Trees

abstract: The Swendsen-Wang algorithm is a sophisticated, widely-used Markov chain for sampling from the Gibbs distribution for the ferromagnetic Ising and Potts models. This chain has proved difficult to analyze, due in part to the global nature of its updates. We present optimal bounds on the convergence rate of the Swendsen-Wang algorithm for the complete $d$-ary tree. Our bounds extend to the non-uniqueness region and apply to all boundary conditions. We show that the spatial mixing conditions known as Variance Mixing and Entropy Mixing, introduced in the study of local Markov chains by Martinelli et al. (2003), imply $\Omega(1)$ spectral gap and $O(\log{n})$ mixing time, respectively, for the Swendsen-Wang dynamics on the $d$-ary tree. We also show that these bounds are asymptotically optimal. As a consequence, we establish $\Theta(\log{n})$ mixing for the Swendsen-Wang dynamics for all boundary conditions throughout the tree uniqueness region; in fact, our bounds hold beyond the uniqueness threshold for the Ising model, and for the $q$-state Potts model when $q$ is small with respect to $d$. Our proofs feature a novel spectral view of the Variance Mixing condition inspired by several recent rapid mixing results on high-dimensional expanders and utilize recent work on block factorization of entropy under spatial mixing conditions.


title: Maximizing coverage while ensuring fairness: a tale of conflicting objective

abstract: Ensuring fairness in computational problems has emerged as a $key$ topic during recent years, buoyed by considerations for equitable resource distributions and social justice. It $is$ possible to incorporate fairness in computational problems from several perspectives, such as using optimization, game-theoretic or machine learning frameworks. In this paper we address the problem of incorporation of fairness from a $combinatorial$ $optimization$ perspective. We formulate a combinatorial optimization framework, suitable for analysis by researchers in approximation algorithms and related areas, that incorporates fairness in maximum coverage problems as an interplay between $two$ conflicting objectives. Fairness is imposed in coverage by using coloring constraints that $minimizes$ the discrepancies between number of elements of different colors covered by selected sets; this is in contrast to the usual discrepancy minimization problems studied extensively in the literature where (usually two) colors are $not$ given $a$ $priori$ but need to be selected to minimize the maximum color discrepancy of $each$ individual set. Our main results are a set of randomized and deterministic approximation algorithms that attempts to $simultaneously$ approximate both fairness and coverage in this framework.


title: Quantifying closeness between black hole spacetimes: a superspace approach

abstract: The set of all metrics that can be placed on a given manifold defines an infinite-dimensional `superspace' that can itself be imbued with the structure of a Riemannian manifold. Geodesic distances between points on Met$(M)$ measure how close two different metrics over $M$ are to one another. Restricting our attention to only those metrics that describe physical black holes, these distances may therefore be thought of as measuring the level of geometric similarity between different black hole structures. This allows for a systematic quantification of the extent to which a black hole, possibly arising as an exact solution to a theory of gravity extending general relativity in some way, might be `non-Kerr'. In this paper, a detailed construction of a superspace for stationary black holes with an arbitrary number of hairs is carried out. As an example application, we are able to strengthen a recent claim made by Konoplya and Zhidenko about which deviation parameters describing a hypothetical, non-Schwarzschild black hole are likely to be most relevant for astrophysical observables.


title: Learning End-to-End Action Interaction by Paired-Embedding Data Augmentation

abstract: In recognition-based action interaction, robots' responses to human actions are often pre-designed according to recognized categories and thus stiff. In this paper, we specify a new Interactive Action Translation (IAT) task which aims to learn end-to-end action interaction from unlabeled interactive pairs, removing explicit action recognition. To enable learning on small-scale data, we propose a Paired-Embedding (PE) method for effective and reliable data augmentation. Specifically, our method first utilizes paired relationships to cluster individual actions in an embedding space. Then two actions originally paired can be replaced with other actions in their respective neighborhood, assembling into new pairs. An Act2Act network based on conditional GAN follows to learn from augmented data. Besides, IAT-test and IAT-train scores are specifically proposed for evaluating methods on our task. Experimental results on two datasets show impressive effects and broad application prospects of our method.


title: Theory of the Inverse Faraday Effect due to the Rashba Spin-Oribt Interactions: Roles of Band Dispersions and Fermi Surfaces

abstract: We theoretically study the inverse Faraday effect, i.e., the optical induction of spin polarization with circularly polarized light, by particularly focusing on effects of band dispersions and Fermi surfaces in crystal systems with the spin-orbit interaction (SOI). By numerically solving the time-dependent Schr\"odinger equation of a tight-binding model with the Rashba-type SOI, we reproduce the light-induced spin polarization proportional to $E_0^2/\omega^3$ where $E_0$ and $\omega$ are the electric-field amplitude and the angular frequency of light, respectively. This optical spin induction is attributed to dynamical magnetoelectric coupling between the light electric field and the electron spins mediated by the SOI. We elucidate that the magnitude and sign of the induced spin polarization sensitively depend on the electron filling. To understand these results, we construct an analytical theory based on the Floquet theorem. The theory successfully explains the dependencies on $E_0$ and $\omega$ and ascribes the electron-filling dependence to a momentum-dependent effective magnetic field governed by the Fermi-surface geometry. Several candidate materials and experimental conditions relevant to our theory and model parameters are also discussed. Our findings will enable us to engineer the magneto-optical responses of matters via tuning the material parameters.


title: Unseen Object Instance Segmentation for Robotic Environments

abstract: In order to function in unstructured environments, robots need the ability to recognize unseen objects. We take a step in this direction by tackling the problem of segmenting unseen object instances in tabletop environments. However, the type of large-scale real-world dataset required for this task typically does not exist for most robotic settings, which motivates the use of synthetic data. Our proposed method, UOIS-Net, separately leverages synthetic RGB and synthetic depth for unseen object instance segmentation. UOIS-Net is comprised of two stages: first, it operates only on depth to produce object instance center votes in 2D or 3D and assembles them into rough initial masks. Secondly, these initial masks are refined using RGB. Surprisingly, our framework is able to learn from synthetic RGB-D data where the RGB is non-photorealistic. To train our method, we introduce a large-scale synthetic dataset of random objects on tabletops. We show that our method can produce sharp and accurate segmentation masks, outperforming state-of-the-art methods on unseen object instance segmentation. We also show that our method can segment unseen objects for robot grasping.


title: Suppress and Balance: A Simple Gated Network for Salient Object Detection

abstract: Most salient object detection approaches use U-Net or feature pyramid networks (FPN) as their basic structures. These methods ignore two key problems when the encoder exchanges information with the decoder: one is the lack of interference control between them, the other is without considering the disparity of the contributions of different encoder blocks. In this work, we propose a simple gated network (GateNet) to solve both issues at once. With the help of multilevel gate units, the valuable context information from the encoder can be optimally transmitted to the decoder. We design a novel gated dual branch structure to build the cooperation among different levels of features and improve the discriminability of the whole network. Through the dual branch design, more details of the saliency map can be further restored. In addition, we adopt the atrous spatial pyramid pooling based on the proposed "Fold" operation (Fold-ASPP) to accurately localize salient objects of various scales. Extensive experiments on five challenging datasets demonstrate that the proposed model performs favorably against most state-of-the-art methods under different evaluation metrics.


title: Augmented Sparsifiers for Generalized Hypergraph Cuts with Applications to Decomposable Submodular Function Minimization

abstract: In recent years, hypergraph generalizations of many graph cut problems have been introduced and analyzed as a way to better explore and understand complex systems and datasets characterized by multiway relationships. Recent work has made use of a generalized hypergraph cut function which for a hypergraph $\mathcal{H} = (V,E)$ can be defined by associating each hyperedge $e \in E$ with a splitting function ${\bf w}_e$, which assigns a penalty to each way of separating the nodes of $e$. When each ${\bf w}_e$ is a submodular cardinality-based splitting function, meaning that ${\bf w}_e(S) = g(|S|)$ for some concave function $g$, previous work has shown that a generalized hypergraph cut problem can be reduced to a directed graph cut problem on an augmented node set. However, existing reduction procedures often result in a dense graph, even when the hypergraph is sparse, which leads to slow runtimes for algorithms that run on the reduced graph. We introduce a new framework of sparsifying hypergraph-to-graph reductions, where a hypergraph cut defined by submodular cardinality-based splitting functions is $(1+\varepsilon)$-approximated by a cut on a directed graph. Our techniques are based on approximating concave functions using piecewise linear curves. For $\varepsilon > 0$ we need at most $O(\varepsilon^{-1}|e| \log |e|)$ edges to reduce any hyperedge $e$, which leads to faster runtimes for approximating generalized hypergraph $s$-$t$ cut problems. For the machine learning heuristic of a clique splitting function, our approach requires only $O(|e| \varepsilon^{-1/2} \log \log \frac{1}{\varepsilon})$ edges. This sparsification leads to faster approximate min $s$-$t$ graph cut algorithms for certain classes of co-occurrence graphs. Finally, we apply our sparsification techniques to develop approximation algorithms for minimizing sums of cardinality-based submodular functions.


title: Memory based fusion for multi-modal deep learning

abstract: The use of multi-modal data for deep machine learning has shown promise when compared to uni-modal approaches with fusion of multi-modal features resulting in improved performance in several applications. However, most state-of-the-art methods use naive fusion which processes feature streams independently, ignoring possible long-term dependencies within the data during fusion. In this paper, we present a novel Memory based Attentive Fusion layer, which fuses modes by incorporating both the current features and longterm dependencies in the data, thus allowing the model to understand the relative importance of modes over time. We introduce an explicit memory block within the fusion layer which stores features containing long-term dependencies of the fused data. The feature inputs from uni-modal encoders are fused through attentive composition and transformation followed by naive fusion of the resultant memory derived features with layer inputs. Following state-of-the-art methods, we have evaluated the performance and the generalizability of the proposed fusion approach on two different datasets with different modalities. In our experiments, we replace the naive fusion layer in benchmark networks with our proposed layer to enable a fair comparison. Experimental results indicate that the MBAF layer can generalise across different modalities and networks to enhance fusion and improve performance.


title: HyperTune: Dynamic Hyperparameter Tuning For Efficient Distribution of DNN Training Over Heterogeneous Systems

abstract: Distributed training is a novel approach to accelerate Deep Neural Networks (DNN) training, but common training libraries fall short of addressing the distributed cases with heterogeneous processors or the cases where the processing nodes get interrupted by other workloads. This paper describes distributed training of DNN on computational storage devices (CSD), which are NAND flash-based, high capacity data storage with internal processing engines. A CSD-based distributed architecture incorporates the advantages of federated learning in terms of performance scalability, resiliency, and data privacy by eliminating the unnecessary data movement between the storage device and the host processor. The paper also describes Stannis, a DNN training framework that improves on the shortcomings of existing distributed training frameworks by dynamically tuning the training hyperparameters in heterogeneous systems to maintain the maximum overall processing speed in term of processed images per second and energy efficiency. Experimental results on image classification training benchmarks show up to 3.1x improvement in performance and 2.45x reduction in energy consumption when using Stannis plus CSD compare to the generic systems.


title: Political audience diversity and news reliability in algorithmic ranking

abstract: Newsfeed algorithms frequently amplify misinformation and other low-quality content. How can social media platforms more effectively promote reliable information? Existing approaches are difficult to scale and vulnerable to manipulation. In this paper, we propose using the political diversity of a website's audience as a quality signal. Using news source reliability ratings from domain experts and web browsing data from a diverse sample of 6,890 U.S. citizens, we first show that websites with more extreme and less politically diverse audiences have lower journalistic standards. We then incorporate audience diversity into a standard collaborative filtering framework and show that our improved algorithm increases the trustworthiness of websites suggested to users -- especially those who most frequently consume misinformation -- while keeping recommendations relevant. These findings suggest that partisan audience diversity is a valuable signal of higher journalistic standards that should be incorporated into algorithmic ranking decisions.


title: Unique determination of ellipsoids by their dual volumes and the moment problem

abstract: Gusakova and Zaporozhets conjectured that ellipsoids in $\mathbb R^n$ are uniquely determined (up to an isometry) by their Steiner polynomials. Petrov and Tarasov confirmed this conjecture in $\mathbb R^3$. In this paper we solve the dual problem. We show that any ellipsoid in $\mathbb{R}^n$ centered at the origin is uniquely determined (up to an isometry) by its dual Steiner polynomial. To prove this result we reduce it to a problem of moments. As a by-product we give an alternative proof of the result of Petrov and Tarasov.


title: Efficient Rare-Event Simulation for Multiple Jump Events in Regularly Varying L\'evy Processes with Infinite Activities

abstract: In this paper we address the problem of rare-event simulation for heavy-tailed L\'evy processes with infinite activities. We propose a strongly efficient importance sampling algorithm that builds upon the sample path large deviations for heavy-tailed L\'evy processes, stick-breaking approximation of extrema of L\'evy processes, and the randomized debiasing Monte Carlo scheme. The proposed importance sampling algorithm can be applied to a broad class of L\'evy processes and exhibits significant improvements in efficiency when compared to crude Monte-Carlo method in our numerical experiments.


title: The efficiency of nuclear burning during thermonuclear (Type I) bursts as a function of accretion rate

abstract: We measured the thermonuclear burning efficiency as a function of accretion rate for the Type I X-ray bursts of five low-mass X-ray binary systems. We chose sources with measured neutron star spins and a substantial population of bursts from a large observational sample. The general trend for the burst rate is qualitatively the same for all sources; the burst rate first increases with the accretion rate up to a maximum, above which the burst rate declines, despite the increasing accretion rate. At higher accretion rates, when the burst rate decreases, the {\alpha}-value (the ratio of accretion energy and burst energy) increases by up to a factor of 10 above that in the rising burst rate regime. These observations are contrary to the predictions of 1D numerical models, but can be explained as the consequence of a zone of stable burning on the neutron star surface, which expands with increasing accretion rate. The stable burning also "pollutes" the unstable burning layer with ashes, contributing to the change in burst properties measured in the falling burst rate regime. We find that the mass accretion rate at which the burst rate begins to decrease is anti-correlated with the spin of the neutron star. We conclude that the neutron star spin is a key factor, moderating the nuclear burning stability, via the local accretion rate and fuel composition over the star.


title: Distributed Reinforcement Learning of Targeted Grasping with Active Vision for Mobile Manipulators

abstract: Developing personal robots that can perform a diverse range of manipulation tasks in unstructured environments necessitates solving several challenges for robotic grasping systems. We take a step towards this broader goal by presenting the first RL-based system, to our knowledge, for a mobile manipulator that can (a) achieve targeted grasping generalizing to unseen target objects, (b) learn complex grasping strategies for cluttered scenes with occluded objects, and (c) perform active vision through its movable wrist camera to better locate objects. The system is informed of the desired target object in the form of a single, arbitrary-pose RGB image of that object, enabling the system to generalize to unseen objects without retraining. To achieve such a system, we combine several advances in deep reinforcement learning and present a large-scale distributed training system using synchronous SGD that seamlessly scales to multi-node, multi-GPU infrastructure to make rapid prototyping easier. We train and evaluate our system in a simulated environment, identify key components for improving performance, analyze its behaviors, and transfer to a real-world setup.


title: Model-Based Manipulation of Linear Flexible Objects with Visual Curvature Feedback

abstract: Manipulation of deformable objects is a desired skill in making robots ubiquitous in manufacturing, service, healthcare, and security. Deformable objects are common in our daily lives, e.g., wires, clothes, bed sheets, etc., and are significantly more difficult to model than rigid objects. In this study, we investigate vision-based manipulation of linear flexible objects such as cables. We propose a geometric modeling method that is based on visual feedback to develop a general representation of the linear flexible object that is subject to gravity. The model characterizes the shape of the object by combining the curvatures on two projection planes. In this approach, we achieve tracking of the position and orientation (pose) of a cable-like object, the pose of its tip, and the pose of the selected grasp point on the object, which enables closed-loop manipulation of the object. We demonstrate the feasibility of our approach by completing the Plug Task used in the 2015 DARPA Robotics Challenge Finals, which involves unplugging a power cable from one socket and plugging it into another. Experiments show that we can successfully complete the task autonomously within 30 seconds.


title: Local Certification of Graphs with Bounded Genus

abstract: Naor, Parter, and Yogev [SODA 2020] recently designed a compiler for automatically translating standard centralized interactive protocols to distributed interactive protocols, as introduced by Kol, Oshman, and Saxena [PODC 2018]. In particular, by using this compiler, every linear-time algorithm for deciding the membership to some fixed graph class can be translated into a $\mathsf{dMAM}(O(\log n))$ protocol for this class, that is, a distributed interactive protocol with $O(\log n)$-bit proof size in $n$-node graphs, and three interactions between the (centralizer) computationally-unbounded but non-trustable prover Merlin, and the (decentralized) randomized computationally-limited verifier Arthur. As a corollary, there is a $\mathsf{dMAM}(O(\log n))$ protocol for the class of planar graphs, as well as for the class of graphs with bounded genus. We show that there exists a distributed interactive protocol for the class of graphs with bounded genus performing just a single interaction, from the prover to the verifier, yet preserving proof size of $O(\log n)$ bits. This result also holds for the class of graphs with bounded demi-genus, that is, graphs that can be embedded on a non-orientable surface of bounded genus. The interactive protocols described in this paper are actually proof-labeling schemes, i.e., a subclass of interactive protocols, previously introduced by Korman, Kutten, and Peleg [PODC 2005]. In particular, these schemes do not require any randomization from the verifier, and the proofs may often be computed a priori, at low cost, by the nodes themselves. Our results thus extend the recent proof-labeling scheme for planar graphs by Feuilloley et al. [PODC 2020], to graphs of bounded genus, and to graphs of bounded demigenus.


title: Optimizing Volumetric Efficiency and Modeling Backscatter Communication in Biosensing Ultrasonic Implants

abstract: Ultrasonic backscatter communication has gained popularity in recent years with the advent of deep-tissue sub-mm scale biosensing implants in which piezoceramic (piezo) resonators are used as acoustic antennas. Miniaturization is a key design goal for such implants to reduce tissue displacement and enable minimally invasive implantation techniques. Here, we provide a systematic design approach for the implant piezo geometry and operation frequency to minimize the overall volume of the implant. Moreover, a critical design aspect of an ultrasonic backscatter communication link is the response of the piezo acoustic reflection coefficient $\Gamma$ with respect to the variable shunt impedance, $Z_E$, of the implant uplink modulator. Due to the complexity of the piezo governing equations and multi-domain, electro-acoustical nature of the piezo, $\Gamma(Z_E)$ has often been characterized numerically and the implant uplink modulator has been designed empirically resulting in sub-optimal performance in terms of data rate and linearity. Here, we present a SPICE friendly end-to-end equivalent circuit model of the channel as a piezo-IC co-simulation tool that incorporates inherent path losses present in a typical ultrasonic backscatter channel. The circuit model is then used to simulate the channel transient response in a common CAD tool. To provide further insight into the channel response, we present experimentally validated closed form expressions for $\Gamma(Z_E)$ under various boundary conditions. These expressions couple $\Gamma$ to the commonly used Thevenin equivalent circuit model of the piezo, facilitating systematic design and synthesis of ultrasonic backscatter uplink modulators