title: Generalizable Resource Allocation in Stream Processing via Deep Reinforcement Learning

abstract: This paper considers the problem of resource allocation in stream processing, where continuous data flows must be processed in real time in a large distributed system. To maximize system throughput, the resource allocation strategy that partitions the computation tasks of a stream processing graph onto computing devices must simultaneously balance workload distribution and minimize communication. Since this problem of graph partitioning is known to be NP-complete yet crucial to practical streaming systems, many heuristic-based algorithms have been developed to find reasonably good solutions. In this paper, we present a graph-aware encoder-decoder framework to learn a generalizable resource allocation strategy that can properly distribute computation tasks of stream processing graphs unobserved from training data. We, for the first time, propose to leverage graph embedding to learn the structural information of the stream processing graphs. Jointly trained with the graph-aware decoder using deep reinforcement learning, our approach can effectively find optimized solutions for unseen graphs. Our experiments show that the proposed model outperforms both METIS, a state-of-the-art graph partitioning algorithm, and an LSTM-based encoder-decoder model, in about 70% of the test cases.


title: Supported-BinaryNet: Bitcell Array-based Weight Supports for Dynamic Accuracy-Latency Trade-offs in SRAM-based Binarized Neural Network

abstract: In this work, we introduce bitcell array-based support parameters to improve the prediction accuracy of SRAM-based binarized neural network (SRAM-BNN). Our approach enhances the training weight space of SRAM-BNN while requiring minimal overheads to a typical design. More flexibility of the weight space leads to higher prediction accuracy in our design. We adapt row digital-to-analog (DAC) converter, and computing flow in SRAM-BNN for bitcell array-based weight supports. Using the discussed interventions, our scheme also allows a dynamic trade-off of accuracy against latency to address dynamic latency constraints in typical real-time applications. We specifically discuss results on two training cases: (i) learning of support parameters on a pre-trained BNN and (ii) simultaneous learning of supports and weight binarization. In the former case, our approach reduces classification error in MNIST by 35.71% (error rate decreases from 1.4% to 0.91%). In the latter case, the error is reduced by 27.65% (error rate decreases from 1.4% to 1.13%). To reduce the power overheads, we propose a dynamic drop out a part of the support parameters. Our architecture can drop out 52% of the bitcell array-based support parameters without losing accuracy. We also characterize our design under varying degrees of process variability in the transistors.


title: Observation of topological surface state in a superconducting material

abstract: The discovery of topological insulator phase has ignited massive research interests in novel quantum materials. Topological insulators with superconductivity further invigorate the importance of materials providing the platform to study the interplay between these two unique states. However, the candidates of such materials are rare. Here, we report a systematic angle-resolved photoemission spectroscopy (ARPES) study of a superconducting material CaBi2 [Tc = 2 K], corroborated by the first principles calculations. Our study reveals the presence of Dirac cones with a topological protection in this system. Systematic topological analysis based on symmetry indicator shows the presence of weak topological indices in this material. Furthermore, our transport measurements show the presence of large magnetoresistance in this compound. Our results indicate that CaBi2 could potentially provide a material platform to study the interplay between superconductivity and topology.


title: MicroCash: Practical Concurrent Processing of Micropayments

abstract: Micropayments are increasingly being adopted by a large number of applications. However, processing micropayments individually can be expensive, with transaction fees exceeding the payment value itself. By aggregating these small transactions into a few larger ones, and using cryptocurrencies, today's decentralized probabilistic micropayment schemes can reduce these fees. Unfortunately, existing solutions force micropayments to be issued sequentially, thus to support fast issuance rates a customer needs to create a large number of escrows, which bloats the blockchain. Moreover, these schemes incur a large computation and bandwidth overhead, which limit their applicability in large-scale systems. In this paper, we propose MicroCash, the first decentralized probabilistic framework that supports concurrent micropayments. MicroCash introduces a novel escrow setup that enables a customer to concurrently issue payment tickets at a fast rate using a single escrow. MicroCash is also cost effective because it allows for ticket exchange using only one round of communication, and it aggregates the micropayments using a lottery protocol that requires only secure hashing. Our experiments show that MicroCash can process thousands of tickets per second, which is around 1.7-4.2x times the rate of a state-of-the-art sequential micropayment system. Moreover, MicroCash supports any ticket issue rate over any period using only one escrow, while the sequential scheme would need more than 1000 escrows per second to permit high rates. This enables our system to further reduce transaction fees and data on the blockchain by around 50%.


title: Synthetic Controls with Imperfect Pre-Treatment Fit

abstract: We analyze the properties of the Synthetic Control (SC) and related estimators when the pre-treatment fit is imperfect. In this framework, we show that these estimators are generally biased if treatment assignment is correlated with unobserved confounders, even when the number of pre-treatment periods goes to infinity. Still, we show that a demeaned version of the SC method can substantially improve in terms of bias and variance relative to the difference-in-difference estimator. We also derive a specification test for the demeaned SC estimator in this setting with imperfect pre-treatment fit. Given our theoretical results, we provide practical guidance for applied researchers on how to justify the use of such estimators in empirical applications.


title: Aging Memories Generate More Fluent Dialogue Responses with Memory Augmented Neural Networks

abstract: Memory Networks have emerged as effective models to incorporate Knowledge Bases (KB) into neural networks. By storing KB embeddings into a memory component, these models can learn meaningful representations that are grounded to external knowledge. However, as the memory unit becomes full, the oldest memories are replaced by newer representations. In this paper, we question this approach and provide experimental evidence that conventional Memory Networks store highly correlated vectors during training. While increasing the memory size mitigates this problem, this also leads to overfitting as the memory stores a large number of training latent representations. To address these issues, we propose a novel regularization mechanism named memory dropout which 1) Samples a single latent vector from the distribution of redundant memories. 2) Ages redundant memories thus increasing their probability of overwriting them during training. This fully differentiable technique allows us to achieve state-of-the-art response generation in the Stanford Multi-Turn Dialogue and Cambridge Restaurant datasets.


title: Nondynamical modeling of resonances in a Quantum Field formalism

abstract: Well-defined nonlinear deformations of free quantum fields are introduced as manifestly Poincar\'e invariant scaling and resonance properties of non-dynamical scale models in Minkowski space, instead of introducing nonlinear dynamical deformations of free quantum fields that require the various truncations and scaling corrections of regularization and renormalization. With the given algebraic construction, energy and momentum operators can be constructed \emph{ex post facto} as the generators of translations. A weakened version of microcausality emerges naturally, "convex hull microcausality" ---that operators associated with two regions of space--time must commute if \emph{the convex hulls of} those regions are space-like separated---, which is enough for us to be able to construct an abundant class of interacting quantum fields.


title: Vortex interaction in thin films -- a crossover from type I to type II superconductivity

abstract: Interactions between vortices in thin superconducting films are investigated in the crossover (intertype) regime between superconductivity types I and II. We consider two main factors responsible for this crossover: a) changes in the material characteristics of the film and b) variations of the film thickness controlling the effect of the stray magnetic fields outside superconducting sample. The analysis is done within the formalism that combines the perturbation expansion of the microscopic equations to one order beyond the Ginzburg-Landau theory with the leading contribution of the stray fields. It is shown that the latter gives rise to qualitatively different spatial profile and temperature dependence of the vortex interaction potential, as compared to bulk vortex interactions. The resulting interaction is long-range repulsive while exhibiting complex competition of attraction and repulsion at small and intermediate separations of vortices. This explains the appearance of vortex chains reported earlier for superconducting films.


title: Exact finite volume expectation values of conserved currents

abstract: The vacuum expectation values of conserved currents play an essential role in the generalized hydrodynamics of integrable quantum field theories. We use analytic continuation to extend these results for the excited state expectation values in a finite volume. Our formulas are valid for diagonally scattering theories and incorporate all finite size corrections.


title: The nonsmooth landscape of blind deconvolution

abstract: The blind deconvolution problem aims to recover a rank-one matrix from a set of rank-one linear measurements. Recently, Charisopulos et al. introduced a nonconvex nonsmooth formulation that can be used, in combination with an initialization procedure, to provably solve this problem under standard statistical assumptions. In practice, however, initialization is unnecessary. As we demonstrate numerically, a randomly initialized subgradient method consistently solves the problem. In pursuit of a better understanding of this phenomenon, we study the random landscape of this formulation. We characterize in closed form the landscape of the population objective and describe the approximate location of the stationary points of the sample objective. In particular, we show that the set of spurious critical points lies close to a codimension two subspace. In doing this, we develop tools for studying the landscape of a broader family of singular value functions, these results may be of independent interest.


title: Projected Gradient Method for Decentralized Optimization over Time-Varying Networks

abstract: Decentralized distributed optimization over time-varying graphs (networks) is nowadays a very popular branch of research in optimization theory and consensus theory. One of the motivations to consider such networks is an application to drone networks. However, the first theoretical results in this branch appeared only five years ago (Nedic, 2014). The first results about the possibility of geometric rates of convergence for strongly convex smooth optimization problems on such networks were obtained only two years ago (Nedic, 2017). In this paper, we improve the rate of geometric convergence in the latter paper for the considered class of problems, using an original penalty method trick and robustness of projected gradient descent.


title: Haptic Sketches on the Arm for Manipulation in Virtual Reality

abstract: We propose a haptic system that applies forces or skin deformation to the user's arm, rather than at the fingertips, for believable interaction with virtual objects as an alternative to complex thimble devices. Such a haptic system would be able to convey information to the arm instead of the fingertips, even though the user manipulates virtual objects using their hands. We developed a set of haptic sketches to determine which directions of skin deformation are deemed more believable during a grasp and lift task. Subjective reports indicate that normal forces were the most believable feedback to represent this interaction.


title: Euclidean Bottleneck Bounded-Degree Spanning Tree Ratios

abstract: Inspired by the seminal works of Khuller et al. (STOC 1994) and Chan (SoCG 2003) we study the bottleneck version of the Euclidean bounded-degree spanning tree problem. A bottleneck spanning tree is a spanning tree whose largest edge-length is minimum, and a bottleneck degree-$K$ spanning tree is a degree-$K$ spanning tree whose largest edge-length is minimum. Let $\beta_K$ be the supremum ratio of the largest edge-length of the bottleneck degree-$K$ spanning tree to the largest edge-length of the bottleneck spanning tree, over all finite point sets in the Euclidean plane. It is known that $\beta_5=1$, and it is easy to verify that $\beta_2\ge 2$, $\beta_3\ge \sqrt{2}$, and $\beta_4>1.175$. It is implied by the Hamiltonicity of the cube of the bottleneck spanning tree that $\beta_2\le 3$. The degree-3 spanning tree algorithm of Ravi et al. (STOC 1993) implies that $\beta_3\le 2$. Andersen and Ras (Networks, 68(4):302-314, 2016) showed that $\beta_4\le \sqrt{3}$. We present the following improved bounds: $\beta_2\ge\sqrt{7}$, $\beta_3\le \sqrt{3}$, and $\beta_4\le \sqrt{2}$. As a result, we obtain better approximation algorithms for Euclidean bottleneck degree-3 and degree-4 spanning trees. As parts of our proofs of these bounds we present some structural properties of the Euclidean minimum spanning tree which are of independent interest.


title: Gromov-Wasserstein Factorization Models for Graph Clustering

abstract: We propose a new nonlinear factorization model for graphs that are with topological structures, and optionally, node attributes. This model is based on a pseudometric called Gromov-Wasserstein (GW) discrepancy, which compares graphs in a relational way. It estimates observed graphs as GW barycenters constructed by a set of atoms with different weights. By minimizing the GW discrepancy between each observed graph and its GW barycenter-based estimation, we learn the atoms and their weights associated with the observed graphs. The model achieves a novel and flexible factorization mechanism under GW discrepancy, in which both the observed graphs and the learnable atoms can be unaligned and with different sizes. We design an effective approximate algorithm for learning this Gromov-Wasserstein factorization (GWF) model, unrolling loopy computations as stacked modules and computing gradients with backpropagation. The stacked modules can be with two different architectures, which correspond to the proximal point algorithm (PPA) and Bregman alternating direction method of multipliers (BADMM), respectively. Experiments show that our model obtains encouraging results on clustering graphs.


title: A Framework for Challenge Design: Insight and Deployment Challenges to Address Medical Image Analysis Problems

abstract: In this paper we aim to refine the concept of grand challenges in medical image analysis, based on statistical principles from quantitative and qualitative experimental research. We identify two types of challenges based on their generalization objective: 1) a deployment challenge and 2) an insight challenge. A deployment challenge's generalization objective is to find algorithms that solve a medical image analysis problem, which thereby requires the use of a quantitative experimental design. An insight challenge's generalization objective is to gain a broad understanding of what class of algorithms might be effective for a class of medical image analysis problems, in which case a qualitative experimental design is sufficient. Both challenge types are valuable, but problems arise when a challenge's design and objective are inconsistent, as is often the case when a challenge does not carefully consider these concepts. Therefore, in this paper, we propose a theoretical framework, based on statistical principles, to guide researchers in challenge design, documentation, and assessment. Experimental results are given that explore the factors that effect the practical implementation of this theoretical framework.


title: Optimal Robust Learning of Discrete Distributions from Batches

abstract: Many applications, including natural language processing, sensor networks, collaborative filtering, and federated learning, call for estimating discrete distributions from data collected in batches, some of which may be untrustworthy, erroneous, faulty, or even adversarial. Previous estimators for this setting ran in exponential time, and for some regimes required a suboptimal number of batches. We provide the first polynomial-time estimator that is optimal in the number of batches and achieves essentially the best possible estimation accuracy.


title: Stability of logarithmic Sobolev inequalities under a noncommutative change of measure

abstract: We generalize Holley-Stroock's perturbation argument from commutative to quantum Markov semigroups. As a consequence, results on (complete) modified logarithmic Sobolev inequalities and logarithmic Sobolev inequalities for self-adjoint quantum Markov process can be used to prove estimates on the exponential convergence in relative entropy of quantum Markov systems which preserve a fixed state. This leads to estimates for the decay to equilibrium for coupled systems and to estimates for mixed state preparation times using Lindblad operators. Our techniques also apply to discrete time settings, where we show that the strong data processing inequality constant of a quantum channel can be controlled by that of a corresponding unital channel.


title: Analysis of wall-pressure fluctuation sources from DNS of turbulent channel flow

abstract: The sources of wall-pressure fluctuations in turbulent channel flow are studied using a novel framework. The wall-pressure power spectral density (PSD) $(\phi_{pp}(\omega))$ is expressed as an integrated contribution from all wall-parallel plane pairs, $\phi_{pp}(\omega)=\int_{-\delta}^{+\delta}\int_{-\delta}^{+\delta}\Gamma(r,s,\omega)\,\mathrm{dr}\,\mathrm{ds}$, using the Green's function. Here, $\Gamma(r,s,\omega)$ is termed the net source cross spectral density (CSD) between two wall-parallel planes, $y=r$ and $y=s$ and $\delta$ is the half channel height. Direct Numerical Simulation (DNS) data at friction Reynolds number of $180$ and $400$ are used to compute $\Gamma(r,s,\omega)$. Analysis of the net source CSD, $\Gamma(r,s,\omega)$ reveals that the location of dominant sources responsible for the premultiplied peak in the power spectra at $\omega^+\approx 0.35$ and the wavenumber spectra at $\lambda^+\approx 200$ is in the buffer layer at $y^+\approx 16.5$ and $18.4$ for $Re_{\tau}=180$ and $400$, respectively. The contribution from a wall-parallel plane (located at distance $y^+$ from the wall) to wall-pressure PSD is log-normal in $y^+$ for $\omega^+>0.35$. A dominant inner-overlap region interaction of the sources is observed at low frequencies. Further, the decorrelated features of the wall-pressure fluctuation sources are analyzed using spectral Proper Orthogonal Decomposition (POD). We require the modes to be orthogonal in an inner product with a symmetric positive definite kernel. Spectral POD supports the case that the net source is composed of two decorrelated components - active (dominant mode) and inactive (remaining modes). The structure represented by the dominant POD mode at the premultiplied wall-pressure PSD peak inclines in the downstream direction. At the low-frequency linear PSD peak, the dominant mode resembles a large scale vertical pattern.


title: Estimating Reciprocal Partition Functions to Enable Design Space Sampling

abstract: Reaction rates are a complicated function of molecular interactions, which can be selected from vast chemical design spaces. Seeking the design that optimizes a rate is a particularly challenging problem since the rate calculation for any one design is itself a difficult computation. Toward this end, we demonstrate a strategy based on transition path sampling to generate an ensemble of designs and reactive trajectories with a preference for fast reaction rates. Each step of the Monte Carlo procedure requires a measure of how a design constrains molecular configurations, expressed via the reciprocal of the partition function for the design. Though the reciprocal of the partition function would be prohibitively expensive to compute, we apply Booth's method for generating unbiased estimates of a reciprocal of an integral to sample designs without bias. A generalization with multiple trajectories introduces a stronger preference for fast rates, pushing the sampled designs closer to the optimal design. We illustrate the methodology on two toy models of increasing complexity: escape of a single particle from a Lennard-Jones potential well of tunable depth and escape from a metastable tetrahedral cluster with tunable pair potentials.


title: Strong excess Faraday rotation on the Inside of the Sagittarius spiral arm

abstract: We present first results for Faraday rotation of compact polarized sources (1 to 2 GHz continuum) in The HI/OH/Recombination line (THOR) survey of the inner Galaxy. In the Galactic longitude range 39 degr < l < 52 degr, we find rotation measures in the range -310 rad/m2 < RM < +4219 rad/m2, with the highest values concentrated within a degree of l = 48 degrees at the Sagittarius arm tangent. Most of the high RMs arise in diffuse plasma, along lines of sight that do not intersect HII regions. For l > 49 degr, RM drops off rapidly, while at l < 47 degr, the mean RM is higher with a larger standard deviation than at l > 49 degr. We attribute the RM structure to the compressed diffuse Warm Ionized Medium in the spiral arm, upstream of the major star formation regions. The Sagittarius arm acts as a significant Faraday screen inside the Galaxy. This has implications for models of the Galactic magnetic field and the expected amount of Faraday rotation of Fast Radio Bursts from their host galaxies. We emphasize the importance of sensitivity to high Faraday depth in future polarization surveys.


title: Magnetic and electronic phase transitions probed by nanomechanical resonance

abstract: Two-dimensional (2D) materials enable new types of magnetic and electronic phases mediated by their reduced dimensionality like magic-angle induced phase transitions, 2D Ising antiferromagnets and ferromagnetism in 2D atomic layers and heterostructures. However, only a few methods are available to study these phase transitions, which for example is particularly challenging for antiferromagnetic materials. Here, we demonstrate that these phases can be probed by the mechanical motion: the temperature dependent resonance frequency and quality factor of multilayer 2D material membranes show clear anomalies near the phase transition temperature, which are correlated to anomalies in the specific heat of the materials. The observed coupling of mechanical degrees of freedom to magnetic and electronic order is attributed to thermodynamic relations that are not restricted to van der Waals materials. Nanomechanical resonators, therefore, offer the potential to characterize phase transitions in a wide variety of materials, including those that are antiferromagnetic, insulating or so thin that conventional bulk characterization methods become unsuitable.

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


title: Heterogeneous Deep Graph Infomax

abstract: Graph representation learning is to learn universal node representations that preserve both node attributes and structural information. The derived node representations can be used to serve various downstream tasks, such as node classification and node clustering. When a graph is heterogeneous, the problem becomes more challenging than the homogeneous graph node learning problem. Inspired by the emerging information theoretic-based learning algorithm, in this paper we propose an unsupervised graph neural network Heterogeneous Deep Graph Infomax (HDGI) for heterogeneous graph representation learning. We use the meta-path structure to analyze the connections involving semantics in heterogeneous graphs and utilize graph convolution module and semantic-level attention mechanism to capture local representations. By maximizing local-global mutual information, HDGI effectively learns high-level node representations that can be utilized in downstream graph-related tasks. Experiment results show that HDGI remarkably outperforms state-of-the-art unsupervised graph representation learning methods on both classification and clustering tasks. By feeding the learned representations into a parametric model, such as logistic regression, we even achieve comparable performance in node classification tasks when comparing with state-of-the-art supervised end-to-end GNN models.


title: Tur\'an-type problems for long cycles in random and pseudo-random graphs

abstract: We study the Tur\'an number of long cycles in random graphs and in pseudo-random graphs. Denote by $ex(G(n,p),H)$ the random variable counting the number of edges in a largest subgraph of $G(n,p)$ without a copy of $H$. We determine the asymptotic value of $ex(G(n,p), C_t)$ where $C_t$ is a cycle of length $t$, for $p\geq \frac Cn$ and $A \log n \leq t \leq (1 - \varepsilon)n$. The typical behavior of $ex(G(n,p), C_t)$ depends substantially on the parity of $t$. In particular, our results match the classical result of Woodall on the Tur\'an number of long cycles, and can be seen as its random version, showing that the transference principle holds here as well. In fact, our techniques apply in a more general sparse pseudo-random setting. We also prove a robustness-type result, showing the likely existence of cycles of prescribed lengths in a random subgraph of a graph with a nearly optimal density.


title: Automorphism groups of homogeneous structures with stationary weak independence relations

abstract: We generalise the result of Tent and Ziegler to homogeneous structures that have a stationary independence relation without the symmetry axiom. We apply our result to prove simplicity of the automorphism group of some asymmetric examples due to Cherlin.


title: Deep Motion Blur Removal Using Noisy/Blurry Image Pairs

abstract: Removing spatially variant motion blur from a blurry image is a challenging problem as blur sources are complicated and difficult to model accurately. Recent progress in deep neural networks suggests that kernel free single image deblurring can be efficiently performed, but questions about deblurring performance persist. Thus, we propose to restore a sharp image by fusing a pair of noisy/blurry images captured in a burst. Two neural network structures, DeblurRNN and DeblurMerger, are presented to exploit the pair of images in a sequential manner or parallel manner. To boost the training, gradient loss, adversarial loss and spectral normalization are leveraged. The training dataset that consists of pairs of noisy/blurry images and the corresponding ground truth sharp image is synthesized based on the benchmark dataset GOPRO. We evaluated the trained networks on a variety of synthetic datasets and real image pairs. The results demonstrate that the proposed approach outperforms the state-of-the-art both qualitatively and quantitatively.


title: Learning to Control Latent Representations for Few-Shot Learning of Named Entities

abstract: Humans excel in continuously learning with small data without forgetting how to solve old problems. However, neural networks require large datasets to compute latent representations across different tasks while minimizing a loss function. For example, a natural language understanding (NLU) system will often deal with emerging entities during its deployment as interactions with users in realistic scenarios will generate new and infrequent names, events, and locations. Here, we address this scenario by introducing an RL trainable controller that disentangles the representation learning of a neural encoder from its memory management role. Our proposed solution is straightforward and simple: we train a controller to execute an optimal sequence of reading and writing operations on an external memory with the goal of leveraging diverse activations from the past and provide accurate predictions. Our approach is named Learning to Control (LTC) and allows few-shot learning with two degrees of memory plasticity. We experimentally show that our system obtains accurate results for few-shot learning of entity recognition in the Stanford Task-Oriented Dialogue dataset.


title: The Smallest Scale of Hierarchy Survey (SSH). I. Survey Description

abstract: The Smallest Scale of Hierarchy (SSH) survey is an ongoing strategic large program at the Large Binocular Telescope, aimed at the detection of faint stellar streams and satellites around 45 late-type dwarf galaxies located in the Local Universe within $\simeq$10 Mpc. SSH exploits the wide-field, deep photometry provided by the Large Binocular Cameras in the two wide filters $g$ and $r$. This paper describes the survey, its goals, and the observational and data reduction strategies. We present preliminary scientific results for five representative cases (UGC 12613, NGC 2366, UGC 685, NGC 5477 and UGC 4426) covering the whole distance range spanned by the SSH targets. We reach a surface brightness limit as faint as $\mu(r)\sim$ 31 mag arcsec$^{-2}$ both for targets closer than 4$-$5 Mpc, which are resolved into individual stars, and for more distant targets through the diffuse light. Our analysis reveals the presence of extended low surface brightness stellar envelopes around the dwarfs, reaching farther out than what traced by the integrated light, and as far out as, or even beyond, the observed HI disk. Stellar streams, arcs, and peculiar features are detected in some cases, indicating possible perturbation, accretion, or merging events. We also report on the discovery of an extreme case of Ultra Diffuse Galaxy ($\mu_g(0)=27.9$~mag/arcsec$^2$) in the background of one of our targets, to illustrate the power of the survey in revealing extremely low surface brightness systems.


title: The Dynamics of Solvable Subgroups of PSL(3,C)

abstract: In this work we study and provide a full description, up to a finite index subgroup, of the dynamics of solvable complex Kleinian subgroups of PSL(3,C). These groups havesimpledynamics, contrary to strongly irre-ducible groups. Because of this, we propose to define elementary subgroups of PSL(3,C) as solvable groups. We show that triangular groups can be de-composed in four layers, via the semi-direct product of fourtypes of elements,with parabolic elements in the inner most layers and loxodromic elements inthe outer layers. It is also shown that solvable groups, up toa finite index sub-group, act properly and discontinuously on the complement of either a line,two lines, a line and a point outside of the line, or a pencil oflines passingthrough a point. These results are another step towards the completion of thestudy of elementary subgroups of PSL(3,C)


title: A comparison of cosmological filaments catalogues

abstract: In this work we compare three catalogues of cosmological filaments identified in the Sloan Digital Sky Survey by means of different algorithms by Tempel et al., Pereyra et al., and Mart\'inez et al. We analyse how different identification techniques determine differences in the filament statistical properties: length, elongation, redshift distribution, and abundance. We find that the statistical properties of the filaments strongly depend on the identification algorithm. We use a volume limited sample of galaxies to characterise other properties of filaments such as: galaxy overdensity, luminosity function of galaxies, mean galaxy luminosity, filament luminosity, and the overdensity profile of galaxies around filaments. In general, we find that these properties primarily depended on filament length. Shorter filaments have larger overdensities, are more populated by red galaxies, and have better defined galaxy overdensity profiles, than longer filaments. Concluding that galaxies belonging to filaments have characteristic signatures depending on the identification algorithm used.


title: The Complex Rotational Light Curve of (385446) Manw\"e-Thorondor, a Multi-Component Eclipsing System in the Kuiper Belt

abstract: Kuiper Belt Object (385446) Manw\"e-Thorondor is a multi-object system with mutual events predicted to occur from 2014 to 2019. To detect the events, we observed the system at 4 epochs (UT 2016 Aug 25 and 26, 2017 Jul 22 and 25, 2017 Nov 9, and 2018 Oct 6) in g, r, and VR bands using the 4-m SOAR and the 8.1-m Gemini South telescopes at Cerro Pach\'on, Chile and Lowell Observatory ' s 4.3-m Discovery Channel Telescope at Happy Jack, Arizona. These dates overlap the uncertainty range (+/- 0.5 d) for four inferior events (Thorondor eclipsing Manw\"e). We clearly observe variability for the unresolved system with a double-peaked period 11.88190 +/- 0.00005 h and ~0.5 mag amplitude together with much longer-term variability. Using a multi-component model, we simultaneously fit our observations and earlier photometry measured separately for Manw\"e and Thorondor with the Hubble Space Telescope. Our fit suggests Manw\"e is bi-lobed, close to the barbell shape expected for a strengthless body with density ~0.8 g/cm3 in hydrostatic equilibrium. For Manw\"e, we thereby derive maximum width to length ratio ~0.30, surface area equivalent to a sphere of diameter 190 km, geometric albedo 0.06, mass 1.4x1018 kg, and spin axis oriented ~75 deg from Earth ' s line of sight. Changes in Thorondor ' s brightness by ~0.6 mag with ~300-d period may account for the system ' s long-term variability. Mutual events with unexpectedly shallow depth and short duration may account for residuals to the fit. The system is complex, providing a challenging puzzle for future modeling efforts.


title: Transport coefficients for the hot quark-gluon plasma at finite chemical potential $\mu_B$

abstract: We calculate transport coefficients of the quark-gluon plasma (QGP) within the dynamical quasiparticle model (DQPM) by explicitly computing the parton interaction rates as a function of temperature $T$ and baryon chemical potential $\mu_B$ on the basis of the DQPM couplings and partonic propagators. The latter are extracted from lattice QCD by matching the equation of state, entropy density and energy density at $\mu_B$= 0. For baryon chemical potentials $0 \leq \mu_B \leq 500 MeV$ we employ a scaling Ansatz for the effective coupling which was shown before to lead to thermodynamic consistent results in this range. We compute the ratio of the shear and bulk viscosities to the entropy density, i.e. $\eta/s$ and $\zeta/s$, the electric conductivity $\sigma_0/T$ as well as the baryon diffusion coefficient $\kappa_B$ and compare to related approaches from the literature. We find that the ratios $\eta/s$ and $\zeta/s$ as well as $\sigma_0/T$ are in accord with the results from lattice QCD at $\mu_B$=0 and only weakly depend on the ratio $T/T_c(\mu_B)$ where $T_c(\mu_B)$ denotes the critical temperature at finite baryon chemical potential.


title: Cross-Class Relevance Learning for Temporal Concept Localization

abstract: We present a novel Cross-Class Relevance Learning approach for the task of temporal concept localization. Most localization architectures rely on feature extraction layers followed by a classification layer which outputs class probabilities for each segment. However, in many real-world applications classes can exhibit complex relationships that are difficult to model with this architecture. In contrast, we propose to incorporate target class and class-related features as input, and learn a pairwise binary model to predict general segment to class relevance. This facilitates learning of shared information between classes, and allows for arbitrary class-specific feature engineering. We apply this approach to the 3rd YouTube-8M Video Understanding Challenge together with other leading models, and achieve first place out of over 280 teams. In this paper we describe our approach and show some empirical results.


title: The weight distribution of irreducible cyclic codes associated with decomposable generalized Paley graphs

abstract: We use known characterizations of generalized Paley graphs which are cartesian decomposable to explicitly compute the spectra of the corresponding associated irreducible cyclic codes. As applications, we give reduction formulas for the number of rational points in Artin-Schreier curves defined over extension fields and to the computation of Gaussian periods.


title: MeV-GeV $\gamma$-ray telescopes probing gravitino LSP with coexisting axino NLSP as dark matter in the $\mu\nu$SSM

abstract: In $R$-parity violating supersymmetry, the gravitino as the lightest supersymmetric particle (LSP) is a good candidate for dark matter, with the interesting characteristic to be detectable through $\gamma$-ray telescopes. We extend this analysis considering an axino next-to-LSP (NLSP) as a coexisting dark matter particle contributing with a detectable signal in the $\gamma$-ray spectrum. The analysis is carried out in the framework of the $\mu\nu$SSM, which solves the $\mu$ problem reproducing simultaneously neutrino data only with the addition of right-handed neutrinos. We find that important regions of the parameter space can be tested by future MeV-GeV $\gamma$-ray telescopes through the line signal coming from the decay of the axino NLSP into photon-neutrino. In a special region, a double-line signal from axino NLSP and gravitino LSP is possible with both contributions detectable.


title: Prediction Focused Topic Models for Electronic Health Records

abstract: Electronic Health Record (EHR) data can be represented as discrete counts over a high dimensional set of possible procedures, diagnoses, and medications. Supervised topic models present an attractive option for incorporating EHR data as features into a prediction problem: given a patient's record, we estimate a set of latent factors that are predictive of the response variable. However, existing methods for supervised topic modeling struggle to balance prediction quality and coherence of the latent factors. We introduce a novel approach, the prediction-focused topic model, that uses the supervisory signal to retain only features that improve, or do not hinder, prediction performance. By removing features with irrelevant signal, the topic model is able to learn task-relevant, interpretable topics. We demonstrate on a EHR dataset and a movie review dataset that compared to existing approaches, prediction-focused topic models are able to learn much more coherent topics while maintaining competitive predictions.


title: On the Number of Edges in Maximally Linkless Graphs

abstract: A maximally linkless graph is a graph that can be embedded in $\mathbb{R}^3$ without any links, but cannot be embedded in such a way if any other edge is added to the graph. Recently, a family of maximally linkless graphs was found with $m=3n-3$ edges. We improve upon this by demonstrating a new family of maximally linkless graphs with $m\le \frac{14}{5}n$ edges.


title: Six Degree-of-Freedom Body-Fixed Hovering over Unmapped Asteroids via LIDAR Altimetry and Reinforcement Meta-Learning

abstract: We optimize a six degrees of freedom hovering policy using reinforcement meta-learning. The policy maps flash LIDAR measurements directly to on/off spacecraft body-frame thrust commands, allowing hovering at a fixed position and attitude in the asteroid body-fixed reference frame. Importantly, the policy does not require position and velocity estimates, and can operate in environments with unknown dynamics, and without an asteroid shape model or navigation aids. Indeed, during optimization the agent is confronted with a new randomly generated asteroid for each episode, insuring that it does not learn an asteroid's shape, texture, or environmental dynamics. This allows the deployed policy to generalize well to novel asteroid characteristics, which we demonstrate in our experiments. Moreover, our experiments show that the optimized policy adapts to actuator failure and sensor noise. Although the policy is optimized using randomly generated synthetic asteroids, it is tested on two shape models from actual asteroids: Bennu and Itokawa. We find that the policy generalizes well to these shape models. The hovering controller has the potential to simplify mission planning by allowing asteroid body-fixed hovering immediately upon the spacecraft's arrival to an asteroid. This in turn simplifies shape model generation and allows resource mapping via remote sensing immediately upon arrival at the target asteroid.


title: Classification as Decoder: Trading Flexibility for Control in Medical Dialogue

abstract: Generative seq2seq dialogue systems are trained to predict the next word in dialogues that have already occurred. They can learn from large unlabeled conversation datasets, build a deeper understanding of conversational context, and generate a wide variety of responses. This flexibility comes at the cost of control, a concerning tradeoff in doctor/patient interactions. Inaccuracies, typos, or undesirable content in the training data will be reproduced by the model at inference time. We trade a small amount of labeling effort and some loss of response variety in exchange for quality control. More specifically, a pretrained language model encodes the conversational context, and we finetune a classification head to map an encoded conversational context to a response class, where each class is a noisily labeled group of interchangeable responses. Experts can update these exemplar responses over time as best practices change without retraining the classifier or invalidating old training data. Expert evaluation of 775 unseen doctor/patient conversations shows that only 12% of the discriminative model's responses are worse than the what the doctor ended up writing, compared to 18% for the generative model.


title: Exploiting Oxide Based Resistive RAM Variability for Bayesian Neural Network Hardware Design

abstract: Uncertainty plays a key role in real-time machine learning. As a significant shift from standard deep networks, which does not consider any uncertainty formulation during its training or inference, Bayesian deep networks are being currently investigated where the network is envisaged as an ensemble of plausible models learnt by the Bayes' formulation in response to uncertainties in sensory data. Bayesian deep networks consider each synaptic weight as a sample drawn from a probability distribution with learnt mean and variance. This paper elaborates on a hardware design that exploits cycle-to-cycle variability of oxide based Resistive Random Access Memories (RRAMs) as a means to realize such a probabilistic sampling function, instead of viewing it as a disadvantage.


title: Towards Reducing Bias in Gender Classification

abstract: Societal bias towards certain communities is a big problem that affects a lot of machine learning systems. This work aims at addressing the racial bias present in many modern gender recognition systems. We learn race invariant representations of human faces with an adversarially trained autoencoder model. We show that such representations help us achieve less biased performance in gender classification. We use variance in classification accuracy across different races as a surrogate for the racial bias of the model and achieve a drop of over 40% in variance with race invariant representations.


title: Modulational instability of dust-ion-acoustic mode and associated rogue waves in a non-extensive plasma medium

abstract: The modulational instability of dust-ion-acoustic (DIA) mode and associated rogue waves in a three component dusty plasma system (containing inertial warm ion and negatively charged dust fluids along with inertialess $q$-distributed electrons) has been theoretically investigated. A nonlinear Schr\"{o}dinger equation (NLSE) has been derived by employing the reductive perturbation method. It is observed that the dusty plasma system under consideration supports the fast and slow DIA modes, and that the dispersion and nonlinear coefficients of the NLSE determine the parametric regimes not only for the modulationally stable and unstable fast DIA mode, but also for the formation of the DIA rogue waves. The parametric regimes for the modulational instability of the fast DIA mode, and the criterion for the formation of the DIA rogue waves have been found to be significantly modified by the effects of the relevant plasma parameters, particularly, mass and charge state of ion and dust species, number density of the plasma species, and non-extensive parameter $q$, etc. It is found that the modulationally stable parametric regime decreases (increases) with the increase in the value of positive (negative) $q$. The numerical analysis has also shown that the nonlinearity as well as the amplitude and width of the rogue waves increases (decreases) with the mass of positive ion (negative dust grains) while decreases (increases) with the charge state of the positive ion (negative dust). The applications of our present work in space (viz., Earth ionosphere, magnetosphere, molecular clouds, interstellar medium, cometary tails, and planetary rings, etc.) and laboratory plasmas have been pinpointed.


title: The Longest $(s, t)$-paths of $O$-shaped Supergrid Graphs

abstract: In this paper, we continue the study of the Hamiltonian and longest $(s, t)$-paths of supergrid graphs. The Hamiltonian $(s, t)$-path of a graph is a Hamiltonian path between any two given vertices $s$ and $t$ in the graph, and the longest $(s, t)$-path is a simple path with the maximum number of vertices from $s$ to $t$ in the graph. A graph holds Hamiltonian connected property if it contains a Hamiltonian $(s, t)$-path. These two problems are well-known NP-complete for general supergrid graphs. An $O$-shaped supergrid graph is a special kind of a rectangular grid graph with a rectangular hole. In this paper, we first prove the Hamiltonian connectivity of $O$-shaped supergrid graphs except few conditions. We then show that the longest $(s, t)$-path of an $O$-shaped supergrid graph can be computed in linear time. The Hamiltonian and longest $(s, t)$-paths of $O$-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a hollow object is printed.


title: MUQUT: Multi-Constraint Quantum Circuit Mapping on Noisy Intermediate-Scale Quantum Computers

abstract: Rapid advancement in the domain of quantum technologies has opened up researchers to the real possibility of experimenting with quantum circuits and simulating small-scale quantum programs. Nevertheless, the quality of currently available qubits and environmental noise poses a challenge in the smooth execution of the quantum circuits. Therefore, efficient design automation flows for mapping a given algorithm to the Noisy Intermediate Scale Quantum (NISQ) computer becomes of utmost importance. State-of-the-art quantum design automation tools are primarily focused on reducing logical depth, gate count and qubit count with the recent emphasis on topology-aware (nearest-neighbor compliance) mapping. In this work, we extend the technology mapping flows to simultaneously consider the topology and gate fidelity constraints while keeping logical depth and gate count as optimization objectives. We provide a comprehensive problem formulation and multi-tier approach towards solving it. The proposed automation flow is compatible with commercial quantum computers, such as IBM QX and Rigetti. Our simulation results over 10 quantum circuit benchmarks show that the fidelity of the circuit can be improved up to 3.37X with an average improvement of 1.87X.


title: Towards the understanding of $Z_c(3900)$ from lattice QCD

abstract: Within the framework of three-channel Ross-Shaw effective range theory, we derive the constraints among different parameters of the theory in the case of a narrow resonance close to the threshold of the third channel, which is relevant for the resonance-like structure $Z_c(3900)$. The usage of these constraint relations, together with the multi-channel L\"uscher formula in lattice QCD calculations are also discussed and the strategies are outlined.


title: Berberian extension and its S-spectra in a quaternionic Hilbert space

abstract: For a bounded right linear operators $A$, in a right quaternionic Hilbert space $V_{\mathbb{H}}^{R}$, following the complex formalism, we study the Berberian extension $A^\circ$, which is an extension of $A$ in a right quaternionic Hilbert space obtained from $V_{\mathbb{H}}^{R}$. In the complex setting, the important feature of the Berberian extension is that it converts approximate point spectrum of $A$ into point spectrum of $A^\circ$. We show that the same is true for the quaternionic S-spectrum. As in the complex case, we use the Berberian extension to study some properties of the commutator of two quaternionic bounded right linear operators.


title: Alternating knots with large boundary slope diameter

abstract: We show that, for an alternating knot, the ratio of the diameter of the set of boundary slopes to the crossing number can be arbitrarily large.


title: Robust Sub-Meter Level Indoor Localization With a Single WiFi Access Point-Regression Versus Classification

abstract: Precise indoor localization is an increasingly demanding requirement for various emerging applications, like Virtual/Augmented reality and personalized advertising. Current indoor environments are equipped with pluralities of WiFi access points (APs), whose deployment is expected to be massive in the future enabling highly precise localization approaches. Though the conventional model-based localization schemes have achieved sub-meter level accuracy by fusing multiple channel state information (CSI) observations, the corresponding computational overhead is usually significant, especially in the current multiple-input multiple-output orthogonal frequency division multiplexing (MIMO-OFDM) systems. In order to address this issue, model-free localization techniques using deep learning frameworks have been lately proposed, where mainly classification methods were applied. In this paper, instead of classification based mechanism, we propose a logistic regression based scheme with the deep learning framework, combined with Cram\'er-Rao lower bound (CRLB) assisted robust training, which achieves more robust sub-meter level accuracy (0.97m median distance error) in the standard laboratory environment and maintains reasonable online prediction overhead under the single WiFi AP settings.


title: Enhancing Generic Segmentation with Learned Region Representations

abstract: Current successful approaches for generic (non-semantic) segmentation rely mostly on edge detection and have leveraged the strengths of deep learning mainly by improving the edge detection stage in the algorithmic pipeline. This is in contrast to semantic and instance segmentation, where DNNs are applied directly to generate pixel-wise segment representations. We propose a new method for learning a pixel-wise representation that reflects segment relatedness. This representation is combined with an edge map to yield a new segmentation algorithm. We show that the representations themselves achieve state-of-the-art segment similarity scores. Moreover, the proposed combined segmentation algorithm provides results that are either state of the art or improve upon it, for most quality measures.


title: A Longitudinal Study on Web-sites Password Management (in)Security: Evidence and Remedies

abstract: Single-factor password-based authentication is generally the norm to access on-line Web-sites. While single-factor authentication is well known to be a weak form of authentication, a further concern arises when considering the possibility for an attacker to recover the user passwords by leveraging the loopholes in the password recovery mechanisms. Indeed, the adoption by a Web-site of a poor password management system makes useless even the most robust password chosen by the registered users. In this paper, building on the results of our previous work, we study the possible attacks to on-line password recovery systems analyzing the mechanisms implemented by some of the most popular Web-sites. In detail, we provide several contributions: (i) we revise and detail the attacker model; (ii) we provide an updated analysis with respect to a preliminary study we carried out in December 2017; (iii) we perform a brand new analysis of the current top 200 Alexa's Web-sites of five major EU countries; and, (iv) we propose \sol, a working open-source module that could be adopted by any Web-site to provide registered users with a password recovery mechanism to prevent mail service provider-level attacks. Overall, it is striking to notice how the analyzed Web-sites have made little (if any) effort to become compliant with the GDPR regulation, showing that the objective to have basic user protection mechanisms in place---despite the fines threatened by GDPR---is still far, mainly because of sub-standard security management practices. Finally, it is worth noting that while this study has been focused on EU registered Web-sites, the proposed solution has, instead, general applicability.


title: Joint Super-Resolution and Alignment of Tiny Faces

abstract: Super-resolution (SR) and landmark localization of tiny faces are highly correlated tasks. On the one hand, landmark localization could obtain higher accuracy with faces of high-resolution (HR). On the other hand, face SR would benefit from prior knowledge of facial attributes such as landmarks. Thus, we propose a joint alignment and SR network to simultaneously detect facial landmarks and super-resolve tiny faces. More specifically, a shared deep encoder is applied to extract features for both tasks by leveraging complementary information. To exploit the representative power of the hierarchical encoder, intermediate layers of a shared feature extraction module are fused to form efficient feature representations. The fused features are then fed to task-specific modules to detect landmarks and super-resolve face images in parallel. Extensive experiments demonstrate that the proposed model significantly outperforms the state-of-the-art in both landmark localization and SR of faces. We show a large improvement for landmark localization of tiny faces (i.e., 16*16). Furthermore, the proposed framework yields comparable results for landmark localization on low-resolution (LR) faces (i.e., 64*64) to existing methods on HR (i.e., 256*256). As for SR, the proposed method recovers sharper edges and more details from LR face images than other state-of-the-art methods, which we demonstrate qualitatively and quantitatively.


title: Multi-domain Conversation Quality Evaluation via User Satisfaction Estimation

abstract: An automated metric to evaluate dialogue quality is vital for optimizing data driven dialogue management. The common approach of relying on explicit user feedback during a conversation is intrusive and sparse. Current models to estimate user satisfaction use limited feature sets and employ annotation schemes with limited generalizability to conversations spanning multiple domains. To address these gaps, we created a new Response Quality annotation scheme, introduced five new domain-independent feature sets and experimented with six machine learning models to estimate User Satisfaction at both turn and dialogue level. Response Quality ratings achieved significantly high correlation (0.76) with explicit turn-level user ratings. Using the new feature sets we introduced, Gradient Boosting Regression model achieved best (rating [1-5]) prediction performance on 26 seen (linear correlation ~0.79) and one new multi-turn domain (linear correlation 0.67). We observed a 16% relative improvement (68% -> 79%) in binary ("satisfactory/dissatisfactory") class prediction accuracy of a domain-independent dialogue-level satisfaction estimation model after including predicted turn-level satisfaction ratings as features.


title: Accurate Trajectory Prediction for Autonomous Vehicles

abstract: Predicting vehicle trajectories, angle and speed is important for safe and comfortable driving. We demonstrate the best predicted angle, speed, and best performance overall winning the top three places of the ICCV 2019 Learning to Drive challenge. Our key contributions are (i) a general neural network system architecture which embeds and fuses together multiple inputs by encoding, and decodes multiple outputs using neural networks, (ii) using pre-trained neural networks for augmenting the given input data with segmentation maps and semantic information, and (iii) leveraging the form and distribution of the expected output in the model.


title: On the small time asymptotics of quasilinear parabolic stochastic partial differential equations

abstract: In this paper, we establish a small time large deviation principles for the quasilinear parabolic stochastic partial differential equations with multiplicative noise, which are neither monotone nor locally monotone.


title: Non-local to local transition for ground states of fractional Schr\"{o}dinger equations on $\mathbb{R}^N$

abstract: We consider the nonlinear fractional problem \begin{align*} (-\Delta)^{s} u + V(x) u = f(x,u) &\quad \hbox{in $\mathbb{R}^N$} \end{align*} We show that ground state solutions converge (along a subsequence) in $L^2_{\mathrm{loc}} (\mathbb{R}^N)$, under suitable conditions on $f$ and $V$, to a weak solution of the local problem as $s \to 1^-$.


title: Localizing Occluders with Compositional Convolutional Networks

abstract: Compositional convolutional networks are generative compositional models of neural network features, that achieve state of the art results when classifying partially occluded objects, even when they have not been exposed to occluded objects during training. In this work, we study the performance of CompositionalNets at localizing occluders in images. We show that the original model is not able to localize occluders well. We propose to overcome this limitation by modeling the feature activations as a mixture of von-Mises-Fisher distributions, which also allows for an end-to-end training of CompositionalNets. Our experimental results demonstrate that the proposed extensions increase the model's performance at localizing occluders as well as at classifying partially occluded objects.


title: Optical control of an individual Cr spin in a semiconductor quantum dot

abstract: We demonstrate that the spin of a Cr atom in a quantum dot (QD) can be controlled optically and we discuss the main properties of this single spin system. The photoluminescence of individual Cr-doped QDs and their evolution in magnetic field reveal a large magnetic anisotropy of the Cr spin induced by local strain. This results in a splitting of the Cr spin states and in a thermalization on the lower energy states states S$_z$=0 and S$_z$=$\pm$1. The magneto-optical properties of Cr-doped QDs can be modelled by an effective spin Hamiltonian including the spin to strain coupling and the influence of the QD symmetry. We also show that a single Cr spin can be prepared by resonant optical pumping. Monitoring the intensity of the resonant fluorescence of the QD during this process permits to probe the dynamics of the optical initialization of the spin. Hole-Cr flip-flops induced by an interplay of the hole-Cr exchange interaction and the coupling with acoustic phonons are the main source of relaxation that explains the efficient resonant optical pumping. The Cr spin relaxation time is measured in the $\mu s$ range. We evidence that a Cr spin couples to non-equilibrium acoustic phonons generated during the optical excitation inside or near the QD). Finally we show that the energy of any spin state of an individual Cr atom can be independently tuned by a resonant single mode laser through the optical Stark effect. All these properties make Cr-doped QDs very promising for the development of hybrid spin-mechanical systems where a coherent mechanical driving of an individual spin in an oscillator is required.


title: On optimal parameters involved with two-weighted estimates of commutators of singular and fractional integral operators

abstract: In this paper we prove two-weighted norm estimates for higher order commutator of singular integral and fractional type operators between weighted $L^p$ and certain spaces that include Lipschitz, BMO and Morrey spaces. We also give the optimal parameters involved with these results, where the optimality is understood in the sense that the parameters defining the corresponding spaces belong to certain region out of which the classes of weights are satisfied by trivial weights. We also exhibit pairs of non-trivial weights in the optimal region satisfying the conditions required.


title: Limit varieties of aperiodic monoids with commuting idempotents

abstract: A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.


title: Unitary calculus: model Categories and convergence

abstract: We construct the unitary analogue of orthogonal calculus developed by Weiss, utilising model categories to give a clear description of the intricacies in the equivariance and homotopy theory involved. The subtle differences between real and complex geometry lead to subtle differences between orthogonal and unitary calculus. To address these differences we construct unitary spectra - a variation of orthogonal spectra - as a model for the stable homotopy category. We show through a zig-zag of Quillen equivalences that unitary spectra with an action of the $n$-th unitary group models the homogeneous part of unitary calculus. We address the issue of convergence of the Taylor tower by introducing weakly polynomial functors, which are similar to weakly analytic functors of Goodwillie but more computationally tractable.


title: New definitions of thermodynamic temperature and entropy not based on the concepts of heat and thermal reservoir

abstract: From a new rigorous formulation of the general axiomatic foundations of thermodynamics we derive an operational definition of entropy that responds to the emergent need in many technological frameworks to understand and deploy thermodynamic entropy well beyond the traditional realm of equilibrium states of macroscopic systems. The new treatment starts from a previously developed set of carefully worded operational definitions for all the necessary basic concepts, and is not based on the traditional ones of "heat" and of "thermal reservoir." It is achieved in three steps. First, a new definition of thermodynamic temperature is stated, for any stable equilibrium state. Then, by employing this definition, a measurement procedure is developed which defines uniquely the property entropy in a broad domain of states, which could include \textit{in principle}, even some non-equilibrium states of few-particle systems, provided they are separable and uncorrelated. Finally, the domain of validity of the definition is extended, possibly to every state of every system, by a different procedure, based on the preceding one, which associates a range of entropy values to any state not included in the previous domain. The principle of entropy non-decrease and the additivity of entropy are proved in both the domains considered.


title: Representation Learning with Multisets

abstract: We study the problem of learning permutation invariant representations that can capture "flexible" notions of containment. We formalize this problem via a measure theoretic definition of multisets, and obtain a theoretically-motivated learning model. We propose training this model on a novel task: predicting the size of the symmetric difference (or intersection) between pairs of multisets. We demonstrate that our model not only performs very well on predicting containment relations (and more effectively predicts the sizes of symmetric differences and intersections than DeepSets-based approaches with unconstrained object representations), but that it also learns meaningful representations.


title: Oscillations arising when switching on/off a discontinuous magnetic field

abstract: In the present paper, we theoretically study the effect of density of state variation on the phenomena in the discontinuous magnetic field. Special attention is paid to the transient processes when the magnetic field is switched on (off). The difference in the density of states for the free 2D electron gas and the electron gas on under the magnetic field can lead to the occurrence of the electrostatic potential. Considering the transient phenomena of magnetic field switching, we obtain oscillating behavior of the electrostatic potential. The analysis includes two limit cases when the oscillation frequency of the electrostatic potential is low relative to the cyclotron frequency and when they are of the same order.


title: Power-law decay of weights and recurrence of the two-dimensional VRJP

abstract: The vertex-reinforced jump process (VRJP) is a form of self-interacting random walk in which the walker is biased towards returning to previously visited vertices with the bias depending linearly on the local time at these vertices. We prove that, for any initial bias, the weights sampled from the magic formula on a two-dimensional graph decay at least at a power-law rate. Via arguments of Sabot and Zeng, the result implies that the VRJP is recurrent in two dimensions for any initial bias.


title: Long lived dust rings around HD169142

abstract: Recent ALMA observations of the protoplanetary disc around HD~169142 reveal a peculiar structure made of concentric dusty rings: a main ring at $\sim$20 au, a triple system of rings at $\sim 55-75$ au in millimetric continuum emission and a perturbed gas surface density from the $^{12}$CO,$^{13}$CO and C$^{18}$O$(J=2-1)$ surface brightness profile. In this Letter, we perform three-dimensional numerical simulations and radiative transfer modeling exploring the possibility that two giant planets interacting with the disc and orbiting in resonant locking can be responsible for the origin of the observed dust inner rings structure. We find that in this configuration the dust structure is actually long lived while the gas mass of the disc is accreted onto the star and the giant planets, emptying the inner region. In addition, we also find that the innermost planet is located at the inner edge of the dust ring, and can accrete mass from the disc, generating a signature in the dust ring shape that can be observed in mm ALMA observations.


title: A Configuration-Space Decomposition Scheme for Learning-based Collision Checking

abstract: Motion planning for robots of high degrees-of-freedom (DOFs) is an important problem in robotics with sampling-based methods in configuration space C as one popular solution. Recently, machine learning methods have been introduced into sampling-based motion planning methods, which train a classifier to distinguish collision free subspace from in-collision subspace in C. In this paper, we propose a novel configuration space decomposition method and show two nice properties resulted from this decomposition. Using these two properties, we build a composite classifier that works compatibly with previous machine learning methods by using them as the elementary classifiers. Experimental results are presented, showing that our composite classifier outperforms state-of-the-art single classifier methods by a large margin. A real application of motion planning in a multi-robot system in plant phenotyping using three UR5 robotic arms is also presented.


title: End to end collision avoidance based on optical flow and neural networks

abstract: Optical flow is believed to play an important role in the agile flight of birds and insects. Even though it is a very simple concept, it is rarely used in computer vision for collision avoidance. This work implements a neural network based collision avoidance which was deployed and evaluated on a solely for this purpose refitted car.


title: Mirror Neuron; A Beautiful Unnecessary Concept

abstract: The mirror neuron theory that has enjoyed continued validations was developed with no particular attention to the phenomenon of the vision. Understandably the perception of vision has always been thought to happen, naturally, as that for any of the other four senses. However, the reality that underlies this presumption is by no means obvious; vision perception is based on remote sensing of the ecology, fundamentally different form that of the other senses, which have tactile stimulation origin (contact with matter). While its reality, as explicated here, explains why the above presumption is true, it also bears heavily on the mirror neuron theory: the revelation of the nature of vision makes mirror neurons unnecessary. The extensive cognitive neurosciences investigation of primates and humans, over the past three decades, have experimentally validated the theory of mirror neurons which had been put forward early in the period (1980s and 1990s) based on the results of cognitive research experiments on the macaque monkeys. Based on further experimental works, phenomena such as learning, empathy, and some aspects of survival, are ascribed to the operations of this class of additional neurons. Here I reason that all the results of the efforts of the proponents of the theory can, not only find explanation in the context of the new theory of vision but also provide support for it. This new take of the phenomenon of vision is developed based on the nature of the experimental methods that have succeeded in developing some measure of vision for the blinds, and the inferences from the very likely nature of the computational strategy of the brain. I present evidence that the mental phenomena, which rendered the claim of the mirror neurons, are in essence the results of subjects beings variably touched by their ecology, through the coherent tactile operation of all senses.


title: Neocortical plasticity: an unsupervised cake but no free lunch

abstract: The fields of artificial intelligence and neuroscience have a long history of fertile bi-directional interactions. On the one hand, important inspiration for the development of artificial intelligence systems has come from the study of natural systems of intelligence, the mammalian neocortex in particular. On the other, important inspiration for models and theories of the brain have emerged from artificial intelligence research. A central question at the intersection of these two areas is concerned with the processes by which neocortex learns, and the extent to which they are analogous to the back-propagation training algorithm of deep networks. Matching the data efficiency, transfer and generalization properties of neocortical learning remains an area of active research in the field of deep learning. Recent advances in our understanding of neuronal, synaptic and dendritic physiology of the neocortex suggest new approaches for unsupervised representation learning, perhaps through a new class of objective functions, which could act alongside or in lieu of back-propagation. Such local learning rules have implicit rather than explicit objectives with respect to the training data, facilitating domain adaptation and generalization. Incorporating them into deep networks for representation learning could better leverage unlabelled datasets to offer significant improvements in data efficiency of downstream supervised readout learning, and reduce susceptibility to adversarial perturbations, at the cost of a more restricted domain of applicability.


title: Ghost Units Yield Biologically Plausible Backprop in Deep Neural Networks

abstract: In the past few years, deep learning has transformed artificial intelligence research and led to impressive performance in various difficult tasks. However, it is still unclear how the brain can perform credit assignment across many areas as efficiently as backpropagation does in deep neural networks. In this paper, we introduce a model that relies on a new role for a neuronal inhibitory machinery, referred to as ghost units. By cancelling the feedback coming from the upper layer when no target signal is provided to the top layer, the ghost units enables the network to backpropagate errors and do efficient credit assignment in deep structures. While considering one-compartment neurons and requiring very few biological assumptions, it is able to approximate the error gradient and achieve good performance on classification tasks. Error backpropagation occurs through the recurrent dynamics of the network and thanks to biologically plausible local learning rules. In particular, it does not require separate feedforward and feedback circuits. Different mechanisms for cancelling the feedback were studied, ranging from complete duplication of the connectivity by long term processes to online replication of the feedback activity. This reduced system combines the essential elements to have a working biologically abstracted analogue of backpropagation with a simple formulation and proofs of the associated results. Therefore, this model is a step towards understanding how learning and memory are implemented in cortical multilayer structures, but it also raises interesting perspectives for neuromorphic hardware.


title: A microscopic model of wave-function dephasing and decoherence in the double-slit experiment

abstract: The act of measurement on a quantum state is supposed to "collapse" the state into one of several eigenstates of the operator corresponding to the observable being measured. This measurement process is sometimes described as outside standard quantum-mechanical evolution and not calculable from Schr\"odinger's equation. There are two general approaches to the study of wave-function collapse: one called the "consistent" or "decoherent" histories approach and the other, the "environmental decoherence" approach, which studies the effect of the environment upon the quantum system, to explain wave-function collapse. In the "environmental decoherence" approach, one usually studies a Markovian-approximated Master equation to study the time-evolution of reduced density matrix and obtains the long-term dependence of the off-diagonal elements of this matrix. We do not make a Markovian assumption and study a particularly simple and calculable example. We find, the short-time behavior of a collapsing system, at least the one considered in this paper, is not exponential, which is a new result (the long-term behavior is, of course, still exponential). This allows one to connect the Fermi-golden rule quadratic-in-time behavior of a transition probability to the exponential long-time behavior of a collapsing wave-function.


title: Solving machine learning optimization problems using quantum computers

abstract: Classical optimization algorithms in machine learning often take a long time to compute when applied to a multi-dimensional problem and require a huge amount of CPU and GPU resource. Quantum parallelism has a potential to speed up machine learning algorithms. We describe a generic mathematical model to leverage quantum parallelism to speed-up machine learning algorithms. We also apply quantum machine learning and quantum parallelism applied to a $3$-dimensional image that vary with time.


title: Mini Lesions Detection on Diabetic Retinopathy Images via Large Scale CNN Features

abstract: Diabetic retinopathy (DR) is a diabetes complication that affects eyes. DR is a primary cause of blindness in working-age people and it is estimated that 3 to 4 million people with diabetes are blinded by DR every year worldwide. Early diagnosis have been considered an effective way to mitigate such problem. The ultimate goal of our research is to develop novel machine learning techniques to analyze the DR images generated by the fundus camera for automatically DR diagnosis. In this paper, we focus on identifying small lesions on DR fundus images. The results from our analysis, which include the lesion category and their exact locations in the image, can be used to facilitate the determination of DR severity (indicated by DR stages). Different from traditional object detection for natural images, lesion detection for fundus images have unique challenges. Specifically, the size of a lesion instance is usually very small, compared with the original resolution of the fundus images, making them diffcult to be detected. We analyze the lesion-vs-image scale carefully and propose a large-size feature pyramid network (LFPN) to preserve more image details for mini lesion instance detection. Our method includes an effective region proposal strategy to increase the sensitivity. The experimental results show that our proposed method is superior to the original feature pyramid network (FPN) method and Faster RCNN.


title: Machine Learning Classification Informed by a Functional Biophysical System

abstract: We present a novel machine learning architecture for classification suggested by experiments on olfactory systems. The network separates input stimuli, represented as spatially distinct currents, via winnerless competition---a process based on the intrinsic sequential dynamics of the neural system---then uses a support vector machine (SVM) to provide precision to the space-time separation of the output. The combined network uses biophysical models of neurons and shows high discrimination among inputs and robustness to noise. While using the SVM alone does not permit determination of the components of mixtures of classified inputs, the combined network is able to tell the precise concentrations of the constituent parts.


title: Folding Rate Optimization Promotes Frustrated Interactions in Entangled Protein Structures

abstract: Many native structures of proteins accomodate complex topological motifs such as knots, lassos, and other geometrical entanglements. How proteins can fold quickly even in the presence of such topological obstacles is a debated question in structural biology. Recently, the hypothesis that energetic frustration might be a mechanism to avoid topological frustration has been put forward based on the empirical observation that loops involved in entanglements are stabilized by weak interactions between amino-acids at their extrema. To verify this idea, we use a toy lattice model for the folding of proteins into two almost identical structures, one entangled and one not. As expected, the folding time is longer when random sequences folds into the entangled structure. This holds also under an evolutionary pressure simulated by optimizing the folding time. It turns out that optmized protein sequences in the entangled structure are in fact characterized by frustrated interactions at the closures of entangled loops. This phenomenon is much less enhanced in the control case where the entanglement is not present. Our findings, which are in agreement with experimental observations, corroborate the idea that an evolutionary pressure shapes the folding funnel to avoid topological and kinetic traps.


title: Learning Stylized Character Expressions from Humans

abstract: We present DeepExpr, a novel expression transfer system from humans to multiple stylized characters via deep learning. We developed : 1) a data-driven perceptual model of facial expressions, 2) a novel stylized character data set with cardinal expression annotations : FERG (Facial Expression Research Group) - DB (added two new characters), and 3) . We evaluated our method on a set of retrieval tasks on our collected stylized character dataset of expressions. We have also shown that the ranking order predicted by the proposed features is highly correlated with the ranking order provided by a facial expression expert and Mechanical Turk (MT) experiments.


title: Multi-GMR sensors controlled by additive dipolar coupling

abstract: Vertical packaging of multiple Giant Magnetoresistance (multi-GMR) stacks is a very interesting noise reduction strategy for local magnetic sensor measurements, which has not been reported experimentally so far. Here, we have fabricated multi-GMR sensors (up to 12 repetitions) keeping good GMR ratio, linearity and low roughness. From magnetotransport measurements, two different resistance responses have been observed with a crossover around 5 GMR repetitions: step-like (N<5) and linear (N>5) behavior, respectively. With the help of micromagnetic simulations, we have analyzed in detail the two main magnetic mechanisms: the Neel coupling distribution induced by the roughness propagation and the additive dipolar coupling between the N free layers. Furthermore we have correlated the dipolar coupling mechanism, controlled by the number of GMRs (N) and lateral dimensions (width), to the sensor performance (sensitivity, noise and detectivity) in good agreement with analytical theory. The noise roughly decreases in multi-GMRs as 1/\sqrt{N} in both regimes (low frequency 1/f and thermal noise). The sensitivity is even stronger reduced, scaling as 1/N, in the strong dipolar regime (narrow devices) while converges to a constant value in the weak dipolar regime (wide devices). Very interestingly, they are more robust against undesirable RTN noise than single GMRs at high voltages and the linearity can be extended towards much larger magnetic field range without dealing with the size and the reduction of GMR ratio. Finally, we have identified the optimal conditions for which multi-GMRs exhibit lower magnetic field detectivity than single GMRs: wide devices operating in the thermal regime where much higher voltage can be applied without generating remarkable magnetic noise.


title: Multi-attribute community detection in International Trade Network

abstract: Understanding the structure of communities in a network has a great importance in the economic analysis. Communities are indeed characterized by specific properties, that are different from those of both the individual node and the whole network, and they can affect various processes on the network. In the International Trade Network, community detection aims to search sets of countries (or of trade sectors) which have a high intra-cluster connectivity and a low inter-cluster connectivity. In general, exchanges among countries occur according to preferential economic relationships ranging over different sectors. In this paper, we combine community detection with specific topological indicators, such as centrality measures. As a result, a new weighted network is constructed by the original one, in which weights are determined taking into account all the topological indicators in a multi-criteria approach. To solve the resulting Clique Partitioning Problem and find homogeneous group of nations, we use a new fast algorithm, based on quick descents to a local optimal solution. The analysis allows to cluster countries by interconnections, economic power and intensity of trade, giving an important overview on the international trade patterns.


title: Precision measurement of the $\Xi_{cc}^{++}$ mass

abstract: A measurement of the $\Xi_{cc}^{++}$ mass is performed using data collected by the LHCb experiment between 2016 and 2018 in $pp$ collisions at a centre-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 5.6 $\mathrm{fb}^{-1}$. The $\Xi_{cc}^{++}$ candidates are reconstructed via the decay modes $\Xi_{cc}^{++}\to\Lambda_c^+K^-\pi^+\pi^+$ and $\Xi_{cc}^{++}\to\Xi_c^+\pi^+$. The result, $3621.55 \pm 0.23{\rm\,(stat)\,} \pm 0.30 {\rm\,(syst)\,}{\rm MeV}/c^2$, is the most precise measurement of the $\Xi_{cc}^{++}$ mass to date.


title: Probabilistic Properties of GIG Digraphs

abstract: We study the probabilistic properties of the Greatest Increase Grid (GIG) digraph. We compute the probability of a particular sequence of directed edges connecting two random vertices. We compute the joint probability that a set of vertices are all sinks, and derive the mean and variance in the number of sinks in a randomly labeled GIG digraph. Finally, we show that the expected size of the maximum component of vertices converges.


title: Impact of Clouds and Hazes on the Simulated JWST Transmission Spectra of Habitable Zone Planets in the TRAPPIST-1 System

abstract: The TRAPPIST-1 system, consisting of an ultra-cool host star having seven known Earth-size planets will be a prime target for atmospheric characterization with JWST. However, the detectability of atmospheric molecular species may be severely impacted by the presence of clouds and/or hazes. In this work, we perform 3-D General Circulation Model (GCM) simulations with the LMD Generic model supplemented by 1-D photochemistry simulations at the terminator with the Atmos model to simulate several possible atmospheres for TRAPPIST-1e, 1f and 1g: 1) modern Earth, 2) Archean Earth, and 3) CO2-rich atmospheres. JWST synthetic transit spectra were computed using the GSFC Planetary Spectrum Generator (PSG). We find that TRAPPIST-1e, 1f and 1g atmospheres, with clouds and/or hazes, could be detected using JWST's NIRSpec prism from the CO2 absorption line at 4.3 um in less than 15 transits at 3 sigma or less than 35 transits at 5 sigma. However, our analysis suggests that other gases would require hundreds (or thousands) of transits to be detectable. We also find that H2O, mostly confined in the lower atmosphere, is very challenging to detect for these planets or similar systems if the planets' atmospheres are not in a moist greenhouse state. This result demonstrates that the use of GCMs, self-consistently taking into account the effect of clouds and sub-saturation, is crucial to evaluate the detectability of atmospheric molecules of interest as well as for interpreting future detections in a more global (and thus robust and relevant) approach.


title: Foldy-Lax approximation of the electromagnetic fields generated by anisotropic inhomogeneities in the mesoscale regime with complements for the perfectly conducting case

abstract: The Foldy-Lax (or the point-interaction) approximation of the electromagnetic fields generated by a cluster of small scaled inhomogeneities is derived in the mesoscale regime, i.e. when the minimum distance $\delta$ between the particles is proportional to their maximum radi $a$ in the form $\delta=c_r \; a$ with a positive constant $c_r$ that we call the dilution parameter. We consider two types of families of inhomogeneities. In the first one, the small particles are modeled by anisotropic electric permittivities and/or magnetic permeabilities with possibly complex values. In the second one, they are given as perfectly conductive inclusions. In both the cases, we provide the dominating field (the so-called Foldy-Lax field) with explicit error estimates in terms of the dilution parameter $c_r$. In the case of perfectly conductive inclusions, the results provided here improve sharply the ones derived recently in \cite{AB-SM:MMS2019}. Such approximations are key steps in different research areas as imaging and material sciences.


title: Observation of an edge supercurrent in the Weyl superconductor MoTe$_2$

abstract: Edge supercurrents in superconductors have long been an elusive target. Interest in them has reappeared in the context of topological superconductivity. We report the observation of a robust edge supercurrent in the Weyl superconductor MoTe2. In a magnetic field B, fluxoid quantization generates a periodic modulation of the edge condensate observable as a "fast-mode" oscillation of the critical current Ic versus B. Remarkably, the fast-mode frequency is distinct from the conventional Fraunhofer oscillation displayed by the bulk supercurrent. We confirm that the fast mode frequency increases with crystal area as expected for an edge supercurrent. In addition, weak excitation branches are resolved which display an unusual broken symmetry.


title: Measurements of elastoresistance under pressure by combining in-situ tunable quasi-uniaxial stress with hydrostatic pressure

abstract: Uniaxial stress, as well as hydrostatic pressure are often used to tune material properties in condensed matter physics. Here, we present a setup which allows for the study of the combined effects of quasi-uniaxial stress and hydrostatic pressure. Following earlier designs for measurements under finite stress at ambient pressure (e.g., Chu et al., Science 337, 710 (2012)), the present setup utilizes a piezoelectric actuator to change stress in situ inside the piston-cylinder pressure cell. We show that the actuator can be operated over the full temperature (from 30K up to 260 K) and pressure range (up to ~2GPa), resulting in a clear and measurable quasi-uniaxial strain. To demonstrate functionality, measurements of the elastoresistance (i.e., the change of resistance of a sample as a response to quasi-uniaxial strain) under finite hydrostatic pressure on the iron-based compound BaFe$_2$As$_2$ are presented as a proof-of-principle example, and discussed in the framework of electronic nematicity. Overall, this work introduces the combination of in situ tunable quasi-uniaxial stress and large (up to ~2GPa) hydrostatic pressure as a powerful combination in the study of novel electronic phases. In addition, it also points towards further technical advancements which can be made in the future.


title: Steepest ascent can be exponential in bounded treewidth problems

abstract: We investigate the complexity of local search based on steepest ascent. We show that even when all variables have domains of size two and the underlying constraint graph of variable interactions has bounded treewidth (in our construction, treewidth 7), there are fitness landscapes for which an exponential number of steps may be required to reach a local optimum. This is an improvement on prior recursive constructions of long steepest ascents, which we prove to need constraint graphs of unbounded treewidth.


title: Large-$d$ behavior of the Feynman amplitudes for a just-renormalizable tensorial group field theory

abstract: This paper aims at giving a novel approach to investigate the behavior of the renormalization group flow for tensorial group field theories to all orders of the perturbation theory. From an appropriate choice of the kinetic kernel, we build an infinite family of just-renormalizable models, for tensor fields with arbitrary rank $d$. Investigating the large $ d$ limit, we show that the self-energy melonic amplitude is decomposed as a product of loop-vertex functions, depending only on dimensionless mass. The corresponding melonic amplitudes may be mapped as trees in the so-called Hubbard-Stratonivich representation, and we show that only trees with edges of different colors survive in the large $d$-limit. These two key features allow us to resum the perturbative expansion for self-energy, providing an explicit expression for arbitrary external momenta in terms of Lambert function. Finally, inserting this resumed solution into the Callan-Symanzik equations, and taking into account the strong relation between two and four-point functions arising from melonic Ward-Takahashi identities, we then deduce an explicit expression for relevant and marginal $\beta$-functions, valid to all orders of the perturbative expansion. By investigating the solutions of the resulting flow, we conclude about the non-existence of any fixed point in the investigated region of the full phase space.


title: Causality violation without time-travel: closed lightlike paths in G\"{o}del's universe

abstract: We revisit the issue of causality violations in G\"{o}del's universe, restricting to geodesic motions. It is well-known that while there are closed timelike curves in this spacetime, there are no closed causal geodesics. We show further that no observer can communicate directly (i.e.\ using a single causal geodesic) with their own past. However, we show that this type of causality violation can be achieved by a system of relays: we prove that from any event $P$ in G\"{o}del's universe, there is a future-directed lightlike path - a sequence of future-directed null geodesic segments, laid end to end - which has $P$ as its past and future endpoints. By analysing the envelope of the family of future directed null geodesics emanating from a point of the spacetime, we show that this lightlike path must contain a minimum of eight geodesic segments, and show further that this bound is attained. We prove a related general result, that events of a time orientable spacetime are connected by a (closed) timelike curve if and only if they are connected by a (closed) lightlike path. This suggests a means of violating causality in G\"{o}del's universe without the need for unfeasibly large accelerations, using instead a sequence of light signals reflected by a suitably located system of mirrors.


title: Forbidden knowledge in machine learning -- Reflections on the limits of research and publication

abstract: Certain research strands can yield "forbidden knowledge". This term refers to knowledge that is considered too sensitive, dangerous or taboo to be produced or shared. Discourses about such publication restrictions are already entrenched in scientific fields like IT security, synthetic biology or nuclear physics research. This paper makes the case for transferring this discourse to machine learning research. Some machine learning applications can very easily be misused and unfold harmful consequences, for instance with regard to generative video or text synthesis, personality analysis, behavior manipulation, software vulnerability detection and the like. Up to now, the machine learning research community embraces the idea of open access. However, this is opposed to precautionary efforts to prevent the malicious use of machine learning applications. Information about or from such applications may, if improperly disclosed, cause harm to people, organizations or whole societies. Hence, the goal of this work is to outline norms that can help to decide whether and when the dissemination of such information should be prevented. It proposes review parameters for the machine learning community to establish an ethical framework on how to deal with forbidden knowledge and dual-use applications.


title: Reduction of SISO H-infinity Output Feedback Control Problem

abstract: We consider the linear matrix inequality (LMI) problem of $H_\infty$ output feedback control problem for a generalized plant whose control input, measured output, disturbance input, and controlled output are scalar. We provide an explicit form of the optimal value. This form is the unification of some results in the literature of $H_\infty$ performance limitation analysis. To obtain the form of the optimal value, we focus on the non-uniqueness of perpendicular matrices, which appear in the LMI problem. We use the null vectors of invariant zeros associated with the dynamical system for the expression of the perpendicular matrices. This expression enables us to reduce and simplify the LMI problem. Our approach uses some well-known fundamental tools, e.g., the Schur complement, Lyapunov equation, Sylvester equation, and matrix completion. We use these techniques for the simplification of the LMI problem. Also, we investigate the structure of dual feasible solutions and reduce the size of the dual. This reduction is called a facial reduction in the literature of convex optimization.


title: Joints tightened

abstract: In $d$-dimensional space (over any field), given a set of lines, a joint is a point passed through by $d$ lines not all lying in some hyperplane. The joints problem asks to determine the maximum number of joints formed by $L$ lines, and it was one of the successes of the Guth--Katz polynomial method. We prove a new upper bound on the number of joints that matches, up to a $1+o(1)$ factor, the best known construction: place $k$ generic hyperplanes, and use their $(d-1)$-wise intersections to form $\binom{k}{d-1}$ lines and their $d$-wise intersections to form $\binom{k}{d}$ joints. Guth conjectured that this construction is optimal. Our technique builds on the work on Ruixiang Zhang proving the multijoints conjecture via an extension of the polynomial method. We set up a variational problem to control the high order of vanishing of a polynomial at each joint.


title: CoopNet: Cooperative Convolutional Neural Network for Low-Power MCUs

abstract: Fixed-point quantization and binarization are two reduction methods adopted to deploy Convolutional Neural Networks (CNN) on end-nodes powered by low-power micro-controller units (MCUs). While most of the existing works use them as stand-alone optimizations, this work aims at demonstrating there is margin for a joint cooperation that leads to inferential engines with lower latency and higher accuracy. Called CoopNet, the proposed heterogeneous model is conceived, implemented and tested on off-the-shelf MCUs with small on-chip memory and few computational resources. Experimental results conducted on three different CNNs using as test-bench the low-power RISC core of the Cortex-M family by ARM validate the CoopNet proposal by showing substantial improvements w.r.t. designs where quantization and binarization are applied separately.