title: The $\Lambda$ to zero limit of spacetimes and its physical interpretation

abstract: We study the $\Lambda \to 0$ behaviour of Schwarzschild-de Sitter spacetime and show, according to Geroch's notion of spacetime limits, that it converges to the Schwarzschild spacetime. We use an embedding into $AdS_3$ to illustrate and quantify this limiting behaviour. We use these quantitative observations to establish a hierarchy of validity between the Einstein-de Sitter equations and the Einstein equations (and therefore in a weak field limit also Newton's equations), analogous to the quantum-classical limit when taking $\hbar \to 0$.


title: Masses of doubly heavy baryons in the Bethe-Salpeter equation approach

abstract: A doubly heavy baryon can be regarded as composed of a heavy diquark and a light quark. In this picture, we study the masses of the doubly heavy diquarkes in the Bethe-Salpeter (BS) formalism first, which are then used as one of the inputs in studying the masses of the doubly heavy baryons in the quark-diquark model. We establish the BS equations for both the heavy diquarks and the heavy baryons with and without taking the heavy quark limit, respectively. These equations are solved numerically with the kernel containing the scalar confinement and one-gluon-exchange terms. The mass of the doubly charmed baryon $\Xi_{cc}^{(\ast)}$ is obtained in both approaches, $3.60\sim3.65\,\rm GeV$ ($\Xi_{cc}^{(\ast)}$) under the heavy quark limit, $3.53\sim3.56\,\rm GeV$ for $\Xi_{cc}$ and $3.61\sim3.63\,\rm GeV$ for $\Xi_{cc}^\ast$ without taking the heavy quark limit. The masses of $\Xi_{bc}^\prime$, $\Xi_{bc}^{(\ast)}$, $\Xi_{bb}^{(\ast)}$, $\Omega_{cc}^{(\ast)}$, $\Omega_{bc}^\prime$, $\Omega_{bc}^{(\ast)}$ and $\Omega_{bb}^{(\ast)}$ are also predicted in the same way. We find that the corrections to the results in the heavy quark limit are about $-0.02\,\rm GeV\sim-0.11\,\rm GeV$ for the masses of the doubly heavy baryons.


title: Parameter-free Sentence Embedding via Orthogonal Basis

abstract: We propose a simple and robust non-parameterized approach for building sentence representations. Inspired by the Gram-Schmidt Process in geometric theory, we build an orthogonal basis of the subspace spanned by a word and its surrounding context in a sentence. We model the semantic meaning of a word in a sentence based on two aspects. One is its relatedness to the word vector subspace already spanned by its contextual words. The other is the word's novel semantic meaning which shall be introduced as a new basis vector perpendicular to this existing subspace. Following this motivation, we develop an innovative method based on orthogonal basis to combine pre-trained word embeddings into sentence representations. This approach requires zero parameters, along with efficient inference performance. We evaluate our approach on 11 downstream NLP tasks. Our model shows superior performance compared with non-parameterized alternatives and it is competitive to other approaches relying on either large amounts of labelled data or prolonged training time.


title: Upward-Pointing Cosmic-Ray-like Events Observed with ANITA

abstract: These proceedings address a recent publication by the ANITA collaboration of four upward- pointing cosmic-ray-like events observed in the first flight of ANITA. Three of these events were consistent with stratospheric cosmic-ray air showers where the axis of propagation does not inter- sect the surface of the Earth. The fourth event was consistent with a primary particle that emerges from the surface of the ice suggesting a possible {\tau}-lepton decay as the origin of this event. These proceedings follow-up on the modeling and testing of the hypothesis that this event was of {\tau} neutrino origin.


title: Minimal Random Code Learning: Getting Bits Back from Compressed Model Parameters

abstract: While deep neural networks are a highly successful model class, their large memory footprint puts considerable strain on energy consumption, communication bandwidth, and storage requirements. Consequently, model size reduction has become an utmost goal in deep learning. A typical approach is to train a set of deterministic weights, while applying certain techniques such as pruning and quantization, in order that the empirical weight distribution becomes amenable to Shannon-style coding schemes. However, as shown in this paper, relaxing weight determinism and using a full variational distribution over weights allows for more efficient coding schemes and consequently higher compression rates. In particular, following the classical bits-back argument, we encode the network weights using a random sample, requiring only a number of bits corresponding to the Kullback-Leibler divergence between the sampled variational distribution and the encoding distribution. By imposing a constraint on the Kullback-Leibler divergence, we are able to explicitly control the compression rate, while optimizing the expected loss on the training set. The employed encoding scheme can be shown to be close to the optimal information-theoretical lower bound, with respect to the employed variational family. Our method sets new state-of-the-art in neural network compression, as it strictly dominates previous approaches in a Pareto sense: On the benchmarks LeNet-5/MNIST and VGG-16/CIFAR-10, our approach yields the best test performance for a fixed memory budget, and vice versa, it achieves the highest compression rates for a fixed test performance.


title: Cosmological flows on hyperbolic surfaces

abstract: We outline the geometric formulation of cosmological flows for FLRW models with scalar matter as well as certain aspects which arise in their study with methods originating from the geometric theory of dynamical systems. We briefly summarize certain results of numerical analysis which we carried out when the scalar manifold of the model is a hyperbolic surface of infinite area.


title: Introduction to Classical Gauge Field Theory and to Batalin-Vilkovisky Quantization

abstract: Lectures held at the 22nd "Saalburg" Summer School (2016)


title: Concentration phenomena in the geometry of Bell correlations

abstract: Bell's theorem shows that local measurements on entangled states give rise to correlations incompatible with local hidden variable models. The degree of quantum nonlocality is not maximal though, as there are even more nonlocal theories beyond quantum theory still compatible with the nonsignalling principle. In spite of decades of research, we still have a very fragmented picture of the whole geometry of these different sets of correlations. Here we employ both analytical and numerical tools to ameliorate that. First, we identify two different classes of Bell scenarios where the nonsignalling correlations can behave very differently: in one case, the correlations are generically quantum and nonlocal while on the other quite the opposite happens as the correlations are generically classical and local. Second, by randomly sampling over nonsignalling correlations, we compute the distribution of a nonlocality quantifier based on the trace distance to the local set. With that, we conclude that the nonlocal correlations can show concentration phenomena: their distribution is peaked at a distance from the local set that increases both with the number of parts or measurements being performed.


title: Counting String Theory Standard Models

abstract: We derive an approximate analytic relation between the number of consistent heterotic Calabi-Yau compactifications of string theory with the exact charged matter content of the standard model of particle physics and the topological data of the internal manifold: the former scaling exponentially with the number of Kahler parameters. This is done by an estimate of the number of solutions to a set of Diophantine equations representing constraints satisfied by any consistent heterotic string vacuum with three chiral massless families, and has been computationally checked to hold for complete intersection Calabi-Yau threefolds (CICYs) with up to seven Kahler parameters. When extrapolated to the entire CICY list, the relation gives about 10^23 string theory standard models; for the class of Calabi-Yau hypersurfaces in toric varieties, it gives about 10^723 standard models.


title: An Application of ASP Theories of Intentions to Understanding Restaurant Scenarios: Insights and Narrative Corpus

abstract: This paper presents a practical application of Answer Set Programming to the understanding of narratives about restaurants. While this task was investigated in depth by Erik Mueller, exceptional scenarios remained a serious challenge for his script-based story comprehension system. We present a methodology that remedies this issue by modeling characters in a restaurant episode as intentional agents. We focus especially on the refinement of certain components of this methodology in order to increase coverage and performance. We present a restaurant story corpus that we created to design and evaluate our methodology. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Local-Ising type magnetic order and metamagnetism in the rare-earth pyrogermanate Er$_2$Ge$_2$O$_7$

abstract: The recent discoveries of proximate quantum spin-liquid compounds and their potential application in quantum computing informs the search for new candidate materials for quantum spin-ice and spin-liquid physics. While the majority of such work has centered on members of the pyrochlore family due to their inherently frustrated linked tetrahedral structure, the rare-earth pyrogermanates also show promise for possible frustrated magnetic behavior. With the familiar stoichiometry $RE_2$Ge$_2$O$_7$, these compounds generally have tetragonal symmetry with a rare-earth sublattice built of a spiral of alternating edge and corner sharing rare-earth site triangles. Studies on Dy$_2$Ge$_2$O$_7$ and Ho$_2$Ge$_2$O$_7$ have shown tunable low temperature antiferromagnetic order, a high frustration index and spin-ice like dynamics. Here we use neutron diffraction to study magnetic order in Er$_2$Ge$_2$O$_7$ (space group $P4_{1}2_{1}2$ ) and find the lowest yet Ne\'el temperature in the pyrogermanates of 1.15 K. Using neutron powder diffraction we find the magnetic structure to order with $k = (0,0,0)$ ordering vector, magnetic space group symmetry $P4_{1}^{'}2_{1}2^{'}$ and a refined Er moment of $m = 8.1 \mu_B$ - near the expected value for the Er$^{3+}$ free ion. Provocatively, the magnetic structure exhibits similar 'local-Ising' behavior to that seen in the pyrocholres where the Er moment points up or down along the short Er-Er bond. Upon applying a magnetic field we find a first order metamagnetic transition at $\sim$ 0.35 T to a lower symmetry $P2_{1}^{'}2_{1}^{'}2$ structure. This magnetic transition involves an inversion of Er moments aligned antiparallel to the applied field describing a class I spin-flip type transition, indicating a strong local anisotropy at the Er site - reminiscent of that seen in the spin-ice pyrochlores.


title: Online Resource Allocation under Partially Predictable Demand

abstract: For online resource allocation problems, we propose a new demand arrival model where the sequence of arrivals contains both an adversarial component and a stochastic one. Our model requires no demand forecasting; however, due to the presence of the stochastic component, we can partially predict future demand as the sequence of arrivals unfolds. Under the proposed model, we study the problem of the online allocation of a single resource to two types of customers, and design online algorithms that outperform existing ones. Our algorithms are adjustable to the relative size of the stochastic component, and our analysis reveals that as the portion of the stochastic component grows, the loss due to making online decisions decreases. This highlights the value of (even partial) predictability in online resource allocation. We impose no conditions on how the resource capacity scales with the maximum number of customers. However, we show that using an adaptive algorithm---which makes online decisions based on observed data---is particularly beneficial when capacity scales linearly with the number of customers. Our work serves as a first step in bridging the long-standing gap between the two well-studied approaches to the design and analysis of online algorithms based on (1) adversarial models and (2) stochastic ones. Using novel algorithm design, we demonstrate that even if the arrival sequence contains an adversarial component, we can take advantage of the limited information that the data reveals to improve allocation decisions. We also study the classical secretary problem under our proposed arrival model, and we show that randomizing over multiple stopping rules may increase the probability of success.


title: Treatment of complex interfaces for Maxwell's equations with continuous coefficients using the correction function method

abstract: We propose a high-order FDTD scheme based on the correction function method (CFM) to treat interfaces with complex geometry without increasing the complexity of the numerical approach for constant coefficients. Correction functions are modeled by a system of PDEs based on Maxwell's equations with interface conditions. To be able to compute approximations of correction functions, a functional that is a square measure of the error associated with the correction functions' system of PDEs is minimized in a divergence-free discrete functional space. Afterward, approximations of correction functions are used to correct a FDTD scheme in the vicinity of an interface where it is needed. We perform a perturbation analysis on the correction functions' system of PDEs. The discrete divergence constraint and the consistency of resulting schemes are studied. Numerical experiments are performed for problems with different geometries of the interface. A second-order convergence is obtained for a second-order FDTD scheme corrected using the CFM. High-order convergence is obtained with a corrected fourth-order FDTD scheme. The discontinuities within solutions are accurately captured without spurious oscillations.


title: Every computable set is generically reducible to every computable set that does not have density 0 or 1

abstract: The notion of generic reducibility was introduced by A.Rybalov in his CiE 2018 paper: a set A is generically reducible to set B if there exists a total computable function f that m-reduces A to B such that the f-preimage of every set that has density 0 has density 0. It may be considered as the ``generic version'' of the notion of m-reducibility. In this note we improve one of his results and show that every two computable sets that do not have density 0 or 1 are equivalent with respect to generic reducibility, and that every computable set is reducible to every computable set that does not have density 0 or 1, thus providing a complete classification of computable sets with respect to generic reducibility.


title: Mean Field Control for Efficient Mixing of Energy Loads

abstract: We pose an engineering challenge of controlling an Ensemble of Energy Devices via coordinated, implementation-light and randomized on/off switching as a problem in Non-Equilibrium Statistical Mechanics. We show that Mean Field Control} with nonlinear feedback on the cumulative consumption, assumed available to the aggregator via direct physical measurements of the energy flow, allows the ensemble to recover from its use in the Demand Response regime, i.e. transition to a statistical steady state, significantly faster than in the case of the fixed feedback. Moreover when the nonlinearity is sufficiently strong, one observes the phenomenon of "super-relaxation" -- where the total instantaneous energy consumption of the ensemble transitions to the steady state much faster than the underlying probability distribution of the devices over their state space, while also leaving almost no devices outside of the comfort zone.

categories: cs.SY cond-mat.stat-mech nlin.AO physics.soc-ph


title: An efficient procedure for solving potential field problems: the Conformal Boundary Differences Method

abstract: A novel method rooted in the classical Schwarz-Christoffel transformation from the disk is introduced, which allows for fast and accurate solution of potential field problems in possibly inhomogeneous and multiply connected domains: this is for sure its most outstanding feature, circumventing the barriers that have increasingly restricted the scope of conformal mappings in applications since the advent of computers and purely numerical methods. An example problem, derived from a case of practical interest, is analyzed and results are compared with those obtained from FEA.


title: Probability-free foundation of continuum mechanics equations irreversibility: connection with particle dynamics

abstract: An equation describing the irreversible evolution of the local density of a continuous medium without involving any statistical hypotheses and assumptions is derived. The derivation is based on the smoothing of the microscopic dynamic characteristics of a many-body system, taking into account the retardation of the interactions between them. The resulting equation generalizes the classical equation of motion for fluids. Several particular cases of the resulting equation, as well as its connection with the dynamic density functional theory, are considered.


title: anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)

abstract: In a recent paper by Harrison et al., the concept of program completion is extended to a large class of programs in the input language of the ASP grounder gringo. We would like to automate the process of generating and simplifying completion formulas for programs in that language, because examining the output produced by this kind of software may help programmers to see more clearly what their program does and to what degree its set of stable models conforms with their intentions. If a formal specification for the program is available, then it may be possible to use this software, in combination with automated reasoning tools, to verify that the program is correct. This note is a preliminary report on a project motivated by this idea.


title: Ultra-low Power Microwave Oscillators based on Phase Change Oxides as Solid-State Neurons

abstract: Neuro-inspired computing architectures are one of the leading candidates to solve complex, large-scale associative learning problems. The two key building blocks for neuromorphic computing are the synapse and the neuron, which form the distributed computing and memory units. Solid state implementations of these units remain an active area of research. Specifically, voltage or current controlled oscillators are considered a minimal representation of neurons for hardware implementations. Such oscillators should demonstrate synchronization and coupling dynamics for demonstrating collective learning behavior, besides the desirable individual characteristics such as scaling, power, and performance. To this end, we propose the use of nanoscale, epitaxial heterostructures of phase change oxides and oxides with metallic conductivity as a fundamental unit of an ultralow power, tunable electrical oscillator capable of operating in the microwave regime. Our simulations show that optimized heterostructure design with low thermal boundary resistance can result in operation frequency of up to 3 GHz and power consumption as low as 15 fJ/cycle with rich coupling dynamics between the oscillators.


title: Streaming Algorithms for Planar Convex Hulls

abstract: Many classical algorithms are known for computing the convex hull of a set of $n$ point in $\mathbb{R}^2$ using $O(n)$ space. For large point sets, whose size exceeds the size of the working space, these algorithms cannot be directly used. The current best streaming algorithm for computing the convex hull is computationally expensive, because it needs to solve a set of linear programs. In this paper, we propose simpler and faster streaming and W-stream algorithms for computing the convex hull. Our streaming algorithm has small pass complexity, which is roughly a square root of the current best bound, and it is simpler in the sense that our algorithm mainly relies on computing the convex hulls of smaller point sets. Our W-stream algorithms, one of which is deterministic and the other of which is randomized, have nearly-optimal tradeoff between the pass complexity and space usage, as we established by a new unconditional lower bound.


title: Vertex corrections to the polarizability do not improve the GW approximation for the ionization potential of molecules

abstract: The $GW$ approximation is based on the neglect of vertex corrections, which appear in the exact self-energy and the exact polarizability. Here, we investigate the importance of vertex corrections in the polarizability only. We calculate the polarizability with equation-of-motion coupled-cluster theory with single and double excitations (EOM-CCSD), which rigorously includes a large class of diagrammatically-defined vertex corrections beyond the random phase approximation (RPA). As is well-known, the frequency-dependent polarizability predicted by EOM-CCSD is quite different and generally more accurate than that predicted by the RPA. We evaluate the effect of these vertex corrections on a test set of 20 atoms and molecules. When using a Hartree-Fock reference, ionization potentials predicted by the $GW$ approximation with the RPA polarizability are typically overestimated with a mean absolute error of 0.3 eV. However, those predicted with a vertex-corrected polarizability are typically underestimated with an increased mean absolute error of 0.5 eV. This result suggests that vertex corrections in the self-energy cannot be neglected, at least for molecules. We also assess the behavior of eigenvalue self-consistency in vertex-corrected $GW$ calculations, finding a further worsening of the predicted ionization potentials.


title: AgriColMap: Aerial-Ground Collaborative 3D Mapping for Precision Farming

abstract: The combination of aerial survey capabilities of Unmanned Aerial Vehicles with targeted intervention abilities of agricultural Unmanned Ground Vehicles can significantly improve the effectiveness of robotic systems applied to precision agriculture. In this context, building and updating a common map of the field is an essential but challenging task. The maps built using robots of different types show differences in size, resolution and scale, the associated geolocation data may be inaccurate and biased, while the repetitiveness of both visual appearance and geometric structures found within agricultural contexts render classical map merging techniques ineffective. In this paper we propose AgriColMap, a novel map registration pipeline that leverages a grid-based multimodal environment representation which includes a vegetation index map and a Digital Surface Model. We cast the data association problem between maps built from UAVs and UGVs as a multimodal, large displacement dense optical flow estimation. The dominant, coherent flows, selected using a voting scheme, are used as point-to-point correspondences to infer a preliminary non-rigid alignment between the maps. A final refinement is then performed, by exploiting only meaningful parts of the registered maps. We evaluate our system using real world data for 3 fields with different crop species. The results show that our method outperforms several state of the art map registration and matching techniques by a large margin, and has a higher tolerance to large initial misalignments. We release an implementation of the proposed approach along with the acquired datasets with this paper.


title: Geometry and Conservation Laws for a Class of Second-Order Parabolic Equations I: Geometry

abstract: I consider the geometry of the general class of scalar 2nd-order differential equations with parabolic symbol, including non-linear and non-evolutionary parabolic equations. After defining the appropriate $G$-structure to model parabolic equations, I apply Cartan techniques to determine local geometric invariants (quantities invariant up to a generalized change of variables). One family of invariants gives a geometric characterization for parabolic equation of Monge-Amp\`ere type. A second family of invariants determines when a parabolic equation has a local choice of coordinates putting it in evolutionary form. In addition to their intrinsic interest, these results are applied in a follow up paper on the conservation laws of parabolic equations. It is shown there that conservation laws for any evolutionary parabolic equation depend on at most second derivatives of solutions. As a corollary, the only evolutionary parabolic equations with at least one non-trivial conservation law are of Monge-Amp\`ere type.


title: Higher-degree Smoothness of Perturbations III

abstract: This paper is the continuation of the previous two papers with the same title.


title: TacWhiskers: Biomimetic optical tactile whiskered robots

abstract: Here we propose and investigate a novel vibrissal tactile sensor - the TacWhisker array - based on modifying a 3D-printed optical cutaneous (fingertip) tactile sensor - the TacTip. Two versions are considered: a static TacWhisker array analogous to immotile tactile vibrissae (e.g. rodent microvibrissae) and a dynamic TacWhisker array analogous to motile tactile vibrissae (e.g. rodent macrovibrissae). Performance is assessed on an active object localization task. The whisking motion of the dynamic TacWhisker leads to millimetre-scale location perception, whereas perception with the static TacWhisker array is relatively poor when making dabbing contacts. The dynamic sensor output is dominated by a self-generated motion signal, which can be compensated by comparing to a reference signal. Overall, the TacWhisker arrays give a new class of tactile whiskered robots that benefit from being relatively inexpensive and customizable. Furthermore, the biomimetic basis for the TacWhiskers fits well with building an embodied model of the rodent sensory system for investigating animal perception. A video demonstrating this robot can be seen at https://www.youtube.com/watch?v=ksS177ep6yY


title: 3D-PSRNet: Part Segmented 3D Point Cloud Reconstruction From a Single Image

abstract: We propose a mechanism to reconstruct part annotated 3D point clouds of objects given just a single input image. We demonstrate that jointly training for both reconstruction and segmentation leads to improved performance in both the tasks, when compared to training for each task individually. The key idea is to propagate information from each task so as to aid the other during the training procedure. Towards this end, we introduce a location-aware segmentation loss in the training regime. We empirically show the effectiveness of the proposed loss in generating more faithful part reconstructions while also improving segmentation accuracy. We thoroughly evaluate the proposed approach on different object categories from the ShapeNet dataset to obtain improved results in reconstruction as well as segmentation.


title: A Human-Computer Interface Design for Quantitative Measure of Regret Theory

abstract: Regret theory is a theory that describes human decision-making under risk. The key of obtaining a quantitative model of regret theory is to measure the preference in humans' mind when they choose among a set of options. Unlike physical quantities, measuring psychological preference is not procedure invariant, i.e. the readings alter when the methods change. In this work, we alleviate this influence by choosing the procedure compatible with the way that an individual makes a choice. We believe the resulting model is closer to the nature of human decision-making. The preference elicitation process is decomposed into a series of short surveys to reduce cognitive workload and increase response accuracy. To make the questions natural and familiar to the subjects, we follow the insight that humans generate, quantify and communicate preference in natural language. The fuzzy-set theory is hence utilized to model responses from subjects. Based on these ideas, a graphical human-computer interface (HCI) is designed to articulate the information as well as to efficiently collect human responses. The design also accounts for human heuristics and biases, e.g. range effect and anchoring effect, to enhance its reliability. The overall performance of the survey is satisfactory because the measured model shows prediction accuracy equivalent to the revisit-performance of the subjects.


title: Third Homology of some Sporadic Finite Groups

abstract: We compute the integral third homology of most of the sporadic finite simple groups and of their central extensions.


title: Master of Web Puppets: Abusing Web Browsers for Persistent and Stealthy Computation

abstract: The proliferation of web applications has essentially transformed modern browsers into small but powerful operating systems. Upon visiting a website, user devices run implicitly trusted script code, the execution of which is confined within the browser to prevent any interference with the user's system. Recent JavaScript APIs, however, provide advanced capabilities that not only enable feature-rich web applications, but also allow attackers to perform malicious operations despite the confined nature of JavaScript code execution. In this paper, we demonstrate the powerful capabilities that modern browser APIs provide to attackers by presenting MarioNet: a framework that allows a remote malicious entity to control a visitor's browser and abuse its resources for unwanted computation or harmful operations, such as cryptocurrency mining, password-cracking, and DDoS. MarioNet relies solely on already available HTML5 APIs, without requiring the installation of any additional software. In contrast to previous browser-based botnets, the persistence and stealthiness characteristics of MarioNet allow the malicious computations to continue in the background of the browser even after the user closes the window or tab of the initial malicious website. We present the design, implementation, and evaluation of a prototype system, MarioNet, that is compatible with all major browsers, and discuss potential defense strategies to counter the threat of such persistent in-browser attacks. Our main goal is to raise awareness regarding this new class of attacks, and inform the design of future browser APIs so that they provide a more secure client-side environment for web applications.


title: Horndeski Genesis: strong coupling and absence thereof

abstract: We consider Genesis in the Horndeski theory as an alternative to or completion of the inflationary scenario. One of the options free of instabilities at all cosmological epochs is the one in which the early Genesis is naively plagued with strong coupling. We address this issue to see whether classical field theory description of the background evolution at this early stage is consistent, nevertheless. We argue that, indeed, despite the fact that the effective Plank mass tends to zero at early time asymptotics, the classical analysis is legitimate in a certain range of Lagrangian parameters.


title: Interactive Learning with Corrective Feedback for Policies based on Deep Neural Networks

abstract: Deep Reinforcement Learning (DRL) has become a powerful strategy to solve complex decision making problems based on Deep Neural Networks (DNNs). However, it is highly data demanding, so unfeasible in physical systems for most applications. In this work, we approach an alternative Interactive Machine Learning (IML) strategy for training DNN policies based on human corrective feedback, with a method called Deep COACH (D-COACH). This approach not only takes advantage of the knowledge and insights of human teachers as well as the power of DNNs, but also has no need of a reward function (which sometimes implies the need of external perception for computing rewards). We combine Deep Learning with the COrrective Advice Communicated by Humans (COACH) framework, in which non-expert humans shape policies by correcting the agent's actions during execution. The D-COACH framework has the potential to solve complex problems without much data or time required. Experimental results validated the efficiency of the framework in three different problems (two simulated, one with a real robot), with state spaces of low and high dimensions, showing the capacity to successfully learn policies for continuous action spaces like in the Car Racing and Cart-Pole problems faster than with DRL.


title: A central limit theorem for almost local additive tree functionals

abstract: An additive functional of a rooted tree is a functional that can be calculated recursively as the sum of the values of the functional over the branches, plus a certain toll function. Janson recently proved a central limit theorem for additive functionals of conditioned Galton-Watson trees under the assumption that the toll function is local, i.e. only depends on a fixed neighbourhood of the root. We extend his result to functionals that are "almost local" in a certain sense, thus covering a wider range of functionals. The notion of almost local functional intuitively means that the toll function can be approximated well by considering only a neighbourhood of the root. Our main result is illustrated by several explicit examples including natural graph theoretic parameters such as the number of independent sets, the number of matchings, and the number of dominating sets. We also cover a functional stemming from a tree reduction process that was studied by Hackl, Heuberger, Kropf, and Prodinger.


title: Bayesian Transfer Reinforcement Learning with Prior Knowledge Rules

abstract: We propose a probabilistic framework to directly insert prior knowledge in reinforcement learning (RL) algorithms by defining the behaviour policy as a Bayesian posterior distribution. Such a posterior combines task specific information with prior knowledge, thus allowing to achieve transfer learning across tasks. The resulting method is flexible and it can be easily incorporated to any standard off-policy and on-policy algorithms, such as those based on temporal differences and policy gradients. We develop a specific instance of this Bayesian transfer RL framework by expressing prior knowledge as general deterministic rules that can be useful in a large variety of tasks, such as navigation tasks. Also, we elaborate more on recent probabilistic and entropy-regularised RL by developing a novel temporal learning algorithm and show how to combine it with Bayesian transfer RL. Finally, we demonstrate our method for solving mazes and show that significant speed ups can be obtained.


title: Optimization of Bit Mapping and Quantized Decoding for Off-the-Shelf Protograph LDPC Codes with Application to IEEE 802.3ca

abstract: Protograph-based, off-the-shelf low-density parity-check (LDPC) codes are optimized for higher-order modulation and quantized sum-product decoders. As an example, for the recently proposed LDPC code from the upcoming IEEE 802.3ca standard for passive optical networks (PONs), an optimized mapping of the bit channels originating from bit-metric decoding to the protograph variable nodes gains 0.4 dB and 0.3 dB at a bit-error rate of 1e-6 for shaped and uniform signaling, respectively. Furthermore, the clipping value for a quantized sum-product LDPC decoder is optimized via discretized density evolution.


title: Procedural Noise Adversarial Examples for Black-Box Attacks on Deep Convolutional Networks

abstract: Deep Convolutional Networks (DCNs) have been shown to be vulnerable to adversarial examples---perturbed inputs specifically designed to produce intentional errors in the learning algorithms at test time. Existing input-agnostic adversarial perturbations exhibit interesting visual patterns that are currently unexplained. In this paper, we introduce a structured approach for generating Universal Adversarial Perturbations (UAPs) with procedural noise functions. Our approach unveils the systemic vulnerability of popular DCN models like Inception v3 and YOLO v3, with single noise patterns able to fool a model on up to 90% of the dataset. Procedural noise allows us to generate a distribution of UAPs with high universal evasion rates using only a few parameters. Additionally, we propose Bayesian optimization to efficiently learn procedural noise parameters to construct inexpensive untargeted black-box attacks. We demonstrate that it can achieve an average of less than 10 queries per successful attack, a 100-fold improvement on existing methods. We further motivate the use of input-agnostic defences to increase the stability of models to adversarial perturbations. The universality of our attacks suggests that DCN models may be sensitive to aggregations of low-level class-agnostic features. These findings give insight on the nature of some universal adversarial perturbations and how they could be generated in other applications.


title: Identifying Bias in AI using Simulation

abstract: Machine learned models exhibit bias, often because the datasets used to train them are biased. This presents a serious problem for the deployment of such technology, as the resulting models might perform poorly on populations that are minorities within the training set and ultimately present higher risks to them. We propose to use high-fidelity computer simulations to interrogate and diagnose biases within ML classifiers. We present a framework that leverages Bayesian parameter search to efficiently characterize the high dimensional feature space and more quickly identify weakness in performance. We apply our approach to an example domain, face detection, and show that it can be used to help identify demographic biases in commercial face application programming interfaces (APIs).


title: Automatic Evaluation of Neural Personality-based Chatbots

abstract: Stylistic variation is critical to render the utterances generated by conversational agents natural and engaging. In this paper, we focus on sequence-to-sequence models for open-domain dialogue response generation and propose a new method to evaluate the extent to which such models are able to generate responses that reflect different personality traits.


title: Valence and core excitons in solids from velocity-gauge real-time TDDFT with range-separated hybrid functionals: An LCAO approach

abstract: An atomic-orbital basis set framework is presented for carrying out velocity- gauge real-time time-dependent density functional theory (TDDFT) simulations in periodic systems employing range-separated hybrid functionals. Linear optical response obtained from real-time propagation of the time-dependent Kohn-Sham equations including nonlocal exchange is considered in prototypical solid-state materials such as bulk Si, LiF and monolayer hexagonal-BN. Additionally core excitations in monolayer hexagonal-BN at the B and N K-edges are investigated and the role of long-range and short-range nonlocal exchange in capturing valence and core excitonic effects is discussed. Results obtained using this time-domain atomic orbital basis set framework are shown to be consistent with equivalent frequency-domain planewave results in the literature. The developments discussed lead to a time-domain generalized Kohn-Sham TDDFT implementation for the treatment of core and valence electron dynamics and light-matter interaction in periodic solid-state systems.


title: Optimized setups for detection of Megatesla-level magnetic fields through Faraday rotation of XFEL beams

abstract: A solid density target irradiated by a high-intensity laser pulse can become relativistically transparent, which then allows it to sustain an extremely strong laser-driven longitudinal electron current. The current generates a filament with a slowly-varying MT-level azimuthal magnetic field that has been shown to prompt efficient emission of multi-MeV photons in the form of a collimated beam required for multiple applications. This work examines the feasibility of using an x-ray beam from the European XFEL for the detection of the magnetic field via the Faraday rotation. Post-processed 3D particle-in-cell simulations show that, even though the relativistic transparency dramatically reduces the rotation in a uniform target, the detrimental effect can be successfully reversed by employing a structured target containing a channel to achieve a rotation angle of $10^{-4}$ rad. The channel must be relativistically transparent with an electron density that is lower than the near-solid density in the bulk. The detection setup has been optimized by varying the channel radius and the focusing of the laser pulse driving the magnetic field. We predict that the Faraday rotation can produce $10^3$ photons with polarization orthogonal to the polarization of the incoming 100 fs long probe beam with $5 \times 10^{12}$ x-ray photons. Based on the calculated rotation angle, the polarization purity must be much better than $10^{-8}$ in order to detect the signal above the noise level.


title: Deep Learning for End-to-End Atrial Fibrillation Recurrence Estimation

abstract: Left atrium shape has been shown to be an independent predictor of recurrence after atrial fibrillation (AF) ablation. Shape-based representation is imperative to such an estimation process, where correspondence-based representation offers the most flexibility and ease-of-computation for population-level shape statistics. Nonetheless, population-level shape representations in the form of image segmentation and correspondence models derived from cardiac MRI require significant human resources with sufficient anatomy-specific expertise. In this paper, we propose a machine learning approach that uses deep networks to estimate AF recurrence by predicting shape descriptors directly from MRI images, with NO image pre-processing involved. We also propose a novel data augmentation scheme to effectively train a deep network in a limited training data setting. We compare this new method of estimating shape descriptors from images with the state-of-the-art correspondence-based shape modeling that requires image segmentation and correspondence optimization. Results show that the proposed method and the current state-of-the-art produce statistically similar outcomes on AF recurrence, eliminating the need for expensive pre-processing pipelines and associated human labor.


title: Hopf algebras of prime dimension in positive characteristic

abstract: We prove that a Hopf algebra of prime dimension $p$ over an algebraically closed field, whose characteristic is equal to $p$, is either a group algebra or a restricted universal enveloping algebra. Moreover, we show that any Hopf algebra of prime dimension $p$ over a field of characteristic $q>0$ is commutative and cocommutative when $q=2$ or $p<4q$. This problem remains open in positive characteristic when $2<q<p/4$.


title: Quarkonium: a theory overview

abstract: Quarkonium has long been proposed as one of the golden probes to identify the phase transition from confined hadronic matter to the deconfined quark-gluon plasma in heavy-ion collisions. Since then, we have achieved a better understanding, not only about the propagation of quarkonium in-medium, but also about its production. Recent theoretical developments in our comprehension of the quarkonium production mechanism in proton-proton collisions and on the propagation of quarkonia in proton-nucleus and nucleus-nucleus collisions are reviewed and discussed.


title: Computational and molecular dissection of an X-box cis-Regulatory module

abstract: Ciliopathies are a class of human diseases marked by dysfunction of the cellular organelle, cilia. While many of the molecular components that make up cilia have been identified and studied, comparatively little is understood about the transcriptional regulation of genes encoding these components. The conserved transcription factor Regulatory Factor X (RFX)/DAF-19, which acts through binding to the cis-regulatory motif known as X-box, has been shown to regulate ciliary genes in many animals from Caenorhabditis elegans to humans. However, accumulating evidence suggests that RFX is unable to initiate transcription on its own. Therefore, other factors and cis-regulatory elements are likely required. One such element, a DNA motif called the C-box, has recently been identified in C. elegans. It is still unclear if the X-box and C-boxes are the only regulatory elements involved and how they interact. To this end, I analyzed the transcriptional regulation of dyf-5, the C. elegans ortholog of the human ciliopathy gene Male-Associated Kinase (MAK). Using computational methods, I was able to confirm the presence of the previously reported X-box and C-boxes as well as identifying an additional C-box. By sequentially mutating each of the identified motifs, I identified the role each potential motif plays in transcriptional regulation of dyf-5. My results showed that only the X-box and the three C-boxes are necessary and are sufficient to drive transcription, with the X-box and the centre C-box being the major contributors and the other two C-boxes enhancing expression. This study advances the knowledge of gene regulation in general and will further our understanding of ciliopathies and the mutations that cause them.


title: An edge-on disk in the quadruply lensed quasar cross GraL~J181730853+272940139

abstract: Data mining through large, multi-band ground-based surveys and the recent availability of source catalogues from the {\it Gaia} space mission has led to a surge in the number of known gravitationally lensed quasars, including some unusual systems. One of these newly discovered systems is GraL~J181730853+272940139. This system was reported in Delchambre et al. 2018, and was identified as a quadruply lensed quasar candidate via a machine learning search inside {\it Gaia} Data Release 2, where it consists of three sources with maximum separation $1.8''$. Lemon et al. in prep (private communications) confirmed it spectroscopically as a lensed quasar with source redshift $z=3.07$. A mass model of this system has not been published to date, and the highest resolution imaging data available is from PanSTARRS1 \citep{chambers16}, with seeing $\sim1.0''-1.3''$ in the $grizy$ filters. Here we present the first mass model of J1817+2729, which includes the measured relative astrometry and morphology of the lensing galaxy, using newly acquired Subaru/FOCAS imaging.


title: Disentangling lattice and electronic contributions to the metal-insulator transition from bulk vs. layer confined RNiO$_3$

abstract: In complex oxide materials, changes in electronic properties are often associated with changes in crystal structure, raising the question of the relative roles of the electronic and lattice effects in driving the metal-insulator transition. This paper presents a combined theoretical and experimental analysis of the dependence of the metal-insulator transition of NdNiO$_3$ on crystal structure, specifically comparing properties of bulk materials to one and two layer samples of NdNiO$_3$ grown between multiple electronically inert NdAlO$_3$ counterlayers in a superlattice. The comparison amplifies and validates a theoretical approach developed in previous papers and disentangles the electronic and lattice contributions, through an independent variation of each. In bulk NdNiO$_3$ the correlations are not strong enough to drive a metal-insulator transition by themselves: a lattice distortion is required. Ultra-thin films exhibit two additional electronic effects and one lattice-related effect. The electronic effects are quantum confinement, leading to dimensional reduction of the electronic Hamiltonian, and an increase in electronic bandwidth due to counterlayer induced bond angle changes. We find that the confinement effect is much more important. The lattice effect is an increase in stiffness due to the cost of propagation of the lattice disproportionation into the confining material.


title: Two new results about quantum exact learning

abstract: We present two new results about exact learning by quantum computers. First, we show how to exactly learn a $k$-Fourier-sparse $n$-bit Boolean function from $O(k^{1.5}(\log k)^2)$ uniform quantum examples for that function. This improves over the bound of $\widetilde{\Theta}(kn)$ uniformly random \emph{classical} examples (Haviv and Regev, CCC'15). Additionally, we provide a possible direction to improve our $\widetilde{O}(k^{1.5})$ upper bound by proving an improvement of Chang's lemma for $k$-Fourier-sparse Boolean functions. Second, we show that if a concept class $\mathcal{C}$ can be exactly learned using $Q$ quantum membership queries, then it can also be learned using $O\left(\frac{Q^2}{\log Q}\log|\mathcal{C}|\right)$ \emph{classical} membership queries. This improves the previous-best simulation result (Servedio and Gortler, SICOMP'04) by a $\log Q$-factor.


title: Few-Shot Goal Inference for Visuomotor Learning and Planning

abstract: Reinforcement learning and planning methods require an objective or reward function that encodes the desired behavior. Yet, in practice, there is a wide range of scenarios where an objective is difficult to provide programmatically, such as tasks with visual observations involving unknown object positions or deformable objects. In these cases, prior methods use engineered problem-specific solutions, e.g., by instrumenting the environment with additional sensors to measure a proxy for the objective. Such solutions require a significant engineering effort on a per-task basis, and make it impractical for robots to continuously learn complex skills outside of laboratory settings. We aim to find a more general and scalable solution for specifying goals for robot learning in unconstrained environments. To that end, we formulate the few-shot objective learning problem, where the goal is to learn a task objective from only a few example images of successful end states for that task. We propose a simple solution to this problem: meta-learn a classifier that can recognize new goals from a few examples. We show how this approach can be used with both model-free reinforcement learning and visual model-based planning and show results in three domains: rope manipulation from images in simulation, visual navigation in a simulated 3D environment, and object arrangement into user-specified configurations on a real robot.


title: Mean values of arithmetic functions in short intervals and in arithmetic progressions in the large-degree limit

abstract: A classical problem in number theory is showing that the mean value of an arithmetic function is asymptotic to its mean value over a short interval or over an arithmetic progression, with the interval as short as possible or the modulus as large as possible. We study this problem in the function field setting, and prove for a wide class of arithmetic functions (namely factorization functions), that such an asymptotic result holds, allowing the size of the short interval to be as small as a square-root of the size of the full interval, and analogously for arithmetic progressions. For instance, our results apply for the indicator function of polynomials with a divisor of given degree, and are much stronger than those known for the analogous function over the integers. As opposed to many previous works, our results apply in the \emph{large-degree limit}, where the base field $\mathbb{F}_q$ is fixed. Our proofs are based on relationships between certain character sums and symmetric functions, and in particular we use results from symmetric function theory due to E\u{g}ecio\u{g}lu and Remmel. We also use recent bounds of Bhowmick, L\^{e} and Liu on character sums, which are in the spirit of the Drinfeld--Vl\u{a}du\c{t} bound.


title: A Volumetric Approach to Point Cloud Compression

abstract: Compression of point clouds has so far been confined to coding the positions of a discrete set of points in space and the attributes of those discrete points. We introduce an alternative approach based on volumetric functions, which are functions defined not just on a finite set of points, but throughout space. As in regression analysis, volumetric functions are continuous functions that are able to interpolate values on a finite set of points as linear combinations of continuous basis functions. Using a B-spline wavelet basis, we are able to code volumetric functions representing both geometry and attributes. Geometry is represented implicitly as the level set of a volumetric function (the signed distance function or similar). Attributes are represented by a volumetric function whose coefficients can be regarded as a critically sampled orthonormal transform that generalizes the recent successful region-adaptive hierarchical (or Haar) transform to higher orders. Experimental results show that both geometry and attribute compression using volumetric functions improve over those used in the emerging MPEG Point Cloud Compression standard.


title: Improved Proximity, Contact, and Force Sensing via Optimization of Elastomer-Air Interface Geometry

abstract: We describe a single fingertip-mounted sensing system for robot manipulation that provides proximity (pre-touch), contact detection (touch), and force sensing (post-touch). The sensor system consists of optical time-of-flight range measurement modules covered in a clear elastomer. Because the elastomer is clear, the sensor can detect and range nearby objects, as well as measure deformations caused by objects that are in contact with the sensor and thereby estimate the applied force. We examine how this sensor design can be improved with respect to invariance to object reflectivity, signal-to-noise ratio, and continuous operation when switching between the distance and force measurement regimes. By harnessing time-of-flight technology and optimizing the elastomer-air boundary to control the emitted light's path, we develop a sensor that is able to seamlessly transition between measuring distances of up to 50mm and contact forces of up to 10 newtons. Furthermore, we provide all hardware design files and software sources, and offer thorough instructions on how to manufacture the sensor from inexpensive, commercially available components.


title: Hard-core Radius of Nucleons within the Induced Surface Tension Approach

abstract: In this work we discuss a novel approach to model the hadronic and nuclear matter equations of state using the induced surface tension concept. Since the obtained equations of state, classical and quantum, are among the most successful ones in describing the properties of low density phases of strongly interacting matter, they set strong restrictions on the possible value of the hard-core radius of nucleons. Therefore, we perform a detailed analysis of its value which follows from hadronic and nuclear matter properties and find the most trustworthy range of its values: the hard-core radius of nucleons is 0.30--0.36 fm. A comparison with the phenomenology of neutron stars implies that the hard-core radius of nucleons has to be temperature and density dependent.


title: Ground-state properties for bilayer Kitaev model: dimer expansion study

abstract: We study ground state properties in the bilayer Kitaev model by means of the dimer expansion. The existence of parity symmetries in the system reduces the computational cost significantly. This allows us to expand the ground state energy and interlayer spin-spin correlation up to 30th order in the interdimer Kitaev coupling. The numerical calculations clarify that the dimer singlet state is indeed realized in the wide parameter region.


title: Mediating exchange bias by Verwey transition in CoO/Fe3O4 thin film

abstract: We report the tunability of the exchange bias effect by the first-order metal-insulator transition (known as the Verwey transition) of Fe3O4 in CoO (5 nm)/Fe3O4 (40 nm)/MgO (001) thin film. In the vicinity of the Verwey transition, the exchange bias field is substantially enhanced because of a sharp increase in magnetocrystalline anisotropy constant from high-temperature cubic to lowtemperature monoclinic structure. Moreover, with respect to the Fe3O4 (40 nm)/MgO (001) thin film, the coercivity field of the CoO (5 nm)/Fe3O4 (40 nm)/MgO (001) bilayer is greatly increased for all the temperature range, which would be due to the coupling between Co spins and Fe spins across the interface.


title: Eigenvector Delocalization for Non-Hermitian Random Matrices and Applications

abstract: Improving upon results of Rudelson and Vershynin, we establish delocalization bounds for eigenvectors of independent-entry random matrices. In particular, we show that with high probability every eigenvector is delocalized, meaning any subset of its coordinates carries an appropriate proportion of its mass. Our results hold for random matrices with genuinely complex as well as real entries. In both cases, our bounds match numerical simulations, up to lower order terms, indicating the optimality of our results. As an application of our methods, we also establish delocalization bounds for normal vectors to random hyperplanes. The proofs of our main results rely on a least singular value bound for genuinely complex rectangular random matrices, which generalizes a previous bound due to the first author, and may be of independent interest.


title: Learning Deep Representations from Clinical Data for Chronic Kidney Disease

abstract: We study the behavior of a Time-Aware Long Short-Term Memory Autoencoder, a state-of-the-art method, in the context of learning latent representations from irregularly sampled patient data. We identify a key issue in the way such recurrent neural network models are being currently used and show that the solution of the issue leads to significant improvements in the learnt representations on both synthetic and real datasets. A detailed analysis of the improved methodology for representing patients suffering from Chronic Kidney Disease (CKD) using clinical data is provided. Experimental results show that the proposed T-LSTM model is able to capture the long-term trends in the data, while effectively handling the noise in the signal. Finally, we show that by using the latent representations of the CKD patients obtained from the T-LSTM autoencoder, one can identify unusual patient profiles from the target population.


title: Decentralized Schemes with Overlap for Solving Graph-Structured Optimization Problems

abstract: We present a new algorithmic paradigm for the decentralized solution of graph-structured optimization problems that arise in the estimation and control of network systems. A key and novel design concept of the proposed approach is that it uses overlapping subdomains to promote and accelerate convergence. We show that the algorithm converges if the size of the overlap is sufficiently large and that the convergence rate improves exponentially with the size of the overlap. The proposed approach provides a bridge between fully decentralized and centralized architectures and is flexible in that it enables the implementation of asynchronous schemes, handling of constraints, and balancing of computing, communication, and data privacy needs. The proposed scheme is tested in an estimation problem for a 9241-node power network and we show that it outperforms the alternating direction method of multipliers.


title: Chords of an ellipse, Lucas polynomials, and cubic equations

abstract: A beautiful theorem of Thomas Price links the Fibonacci numbers and the Lucas polynomials to the plane geometry of an ellipse, generalizing a classic problem about circles. We give a brief history of the circle problem, an account of Price's ellipse proof, and a reorganized proof, with some new ideas, designed to situate the result within a dense web of connections to classical mathematics. It is inspired by Cardano's solution of the cubic equation and Newton's theorem on power sums, and yields an interpretation of generalized Lucas polynomials in terms of the theory of symmetric polynomials. We also develop additional connections that surface along the way; e.g., we give a parallel interpretation of generalized Fibonacci polynomials, and we show that Cardano's method can be used write down the roots of the Lucas polynomials.


title: Borel Complexity and the Schr\"oder-Bernstein Property

abstract: We introduce a new invariant of Borel reducibility, namely the notion of thickness; this associates to every sentence $\Phi$ of $\mathcal{L}_{\omega_1 \omega}$ and to every cardinal $\lambda$, the thickness $\tau(\Phi, \lambda)$ of $\Phi$ at $\lambda$. As applications, we show that all the Friedman-Stanley jumps of torsion abelian groups are non-Borel complete. We also show that under the existence of large cardinals, if $\Phi$ is a sentence of $\mathcal{L}_{\omega_1 \omega}$ with the Schr\"{o}der-Bernstein property (that is, whenever two countable models of $\Phi$ are biembeddable, then they are isomorphic), then $\Phi$ is not Borel complete.


title: Ranking Paragraphs for Improving Answer Recall in Open-Domain Question Answering

abstract: Recently, open-domain question answering (QA) has been combined with machine comprehension models to find answers in a large knowledge source. As open-domain QA requires retrieving relevant documents from text corpora to answer questions, its performance largely depends on the performance of document retrievers. However, since traditional information retrieval systems are not effective in obtaining documents with a high probability of containing answers, they lower the performance of QA systems. Simply extracting more documents increases the number of irrelevant documents, which also degrades the performance of QA systems. In this paper, we introduce Paragraph Ranker which ranks paragraphs of retrieved documents for a higher answer recall with less noise. We show that ranking paragraphs and aggregating answers using Paragraph Ranker improves performance of open-domain QA pipeline on the four open-domain QA datasets by 7.8% on average.


title: Hybrid Noise Removal in Hyperspectral Imagery With a Spatial-Spectral Gradient Network

abstract: The existence of hybrid noise in hyperspectral images (HSIs) severely degrades the data quality, reduces the interpretation accuracy of HSIs, and restricts the subsequent HSIs applications. In this paper, the spatial-spectral gradient network (SSGN) is presented for mixed noise removal in HSIs. The proposed method employs a spatial-spectral gradient learning strategy, in consideration of the unique spatial structure directionality of sparse noise and spectral differences with additional complementary information for better extracting intrinsic and deep features of HSIs. Based on a fully cascaded multi-scale convolutional network, SSGN can simultaneously deal with the different types of noise in different HSIs or spectra by the use of the same model. The simulated and real-data experiments undertaken in this study confirmed that the proposed SSGN performs better at mixed noise removal than the other state-of-the-art HSI denoising algorithms, in evaluation indices, visual assessments, and time consumption.


title: First extraction of transversity from data on lepton-hadron scattering and hadronic collisions

abstract: We present the first extraction of the transversity distribution based on the global analysis of pion-pair production in deep-inelastic scattering and in proton-proton collisions with one transversely polarized proton. The extraction relies on the knowledge of di-hadron fragmentation functions, which are taken from the analysis of electron-positron annihilation data. For the first time, the chiral-odd transversity is extracted from a global analysis similar to what is usually done for the chiral-even spin-averaged and helicity distributions. The knowledge of transversity is important among other things for detecting possible signals of new physics in high-precision low-energy experiments.


title: Topology and Topological Sequence Entropy

abstract: Let $X$ be a compact metric space and $T:X\longrightarrow X$ be continuous. Let $h^*(T)$ be the supremum of topological sequence entropies of $T$ over all subsequences of $\mathbb Z_+$ and $S(X)$ be the set of the values $h^*(T)$ for all continuous maps $T$ on $X$. It is known that $\{0\} \subseteq S(X)\subseteq \{0, \log 2, \log 3, \ldots\}\cup \{\infty\}$. Only three possibilities for $S(X)$ have been observed so far, namely $S(X)=\{0\}$, $S(X)=\{0,\log2, \infty\}$ and $S(X)=\{0, \log 2, \log 3, \ldots\}\cup \{\infty\}$. In this paper we completely solve the problem of finding all possibilities for $S(X)$ by showing that in fact for every set $\{0\} \subseteq A \subseteq \{0, \log 2, \log 3, \ldots\}\cup \{\infty\}$ there exists a one-dimensional continuum $X_A$ with $S(X_A) = A$. In the construction of $X_A$ we use Cook continua. This is apparently the first application of these very rigid continua in dynamics. We further show that the same result is true if one considers only homeomorphisms rather than con\-ti\-nuous maps. The problem for group actions is also addressed. For some class of group actions (by homeomorphisms) we provide an analogous result, but in full generality this problem remains open. The result works also for an analogous class of semigroup actions (by continuous maps).


title: Hybridization and Decay of Magnetic Excitations in two-dimensional Triangular Lattice Antiferromagnets

abstract: Elementary quasiparticles in solids such as phonons and magnons occasionally have nontrivial interactions between them, as well as among themselves. As a result, their energy eigenvalues are renormalized, the quasiparticles spontaneously decay into a multi-particle continuum state, or they are hybridized with each other when their energies are close. As discussed in this review, such anomalous features can appear dominantly in quantum magnets but are not, a priori, negligible for magnetic systems with larger spin values and noncollinear magnetic structures. We review the unconventional magnetic excitations in two-dimensional triangular lattice antiferromagnets and discuss their implications on related issues.


title: Spatial Stochastic Modeling with MCell and CellBlender

abstract: This chapter provides a brief introduction to the theory and practice of spatial stochastic simulations. It begins with an overview of different methods available for biochemical simulations highlighting their strengths and limitations. Spatial stochastic modeling approaches are indicated when diffusion is relatively slow and spatial inhomogeneities involve relatively small numbers of particles. The popular software package MCell allows particle-based stochastic simulations of biochemical systems in complex three dimensional (3D) geometries, which are important for many cell biology applications. Here, we provide an overview of the simulation algorithms used by MCell and the underlying theory. We then give a tutorial on building and simulating MCell models using the CellBlender graphical user interface, that is built as a plug-in to Blender, a widely-used and freely available software platform for 3D modeling. The tutorial starts with simple models that demonstrate basic MCell functionality and then advances to a number of more complex examples that demonstrate a range of features and provide examples of important biophysical effects that require spatially-resolved stochastic dynamics to capture.


title: One Network to Solve All ROIs: Deep Learning CT for Any ROI using Differentiated Backprojection

abstract: Computed tomography for region-of-interest (ROI) reconstruction has advantages of reducing X-ray radiation dose and using a small detector. However, standard analytic reconstruction methods suffer from severe cupping artifacts, and existing model-based iterative reconstruction methods require extensive computations. Recently, we proposed a deep neural network to learn the cupping artifact, but the network is not well generalized for different ROIs due to the singularities in the corrupted images. Therefore, there is an increasing demand for a neural network that works well for any ROI sizes. In this paper, two types of neural networks are designed. The first type learns ROI size-specific cupping artifacts from the analytic reconstruction images, whereas the second type network is to learn to invert the finite Hilbert transform from the truncated differentiated backprojection (DBP) data. Their generalizability for any ROI sizes is then examined. Experimental results show that the new type of neural network significantly outperforms the existing iterative methods for any ROI size in spite of significantly reduced run-time complexity. Since the proposed method consistently surpasses existing methods for any ROIs, it can be used as a general CT reconstruction engine for many practical applications without compromising possible detector truncation.


title: Parallels and promising directions in the study of genetic, cultural, and moral evolution

abstract: Experimental evolution has yielded surprising insights into human history and evolution by shedding light on the roles of chance and contingency in history and evolution, and on the deep evolutionary roots of cooperation, conflict and kin discrimination. We argue that an interesting research direction would be to develop computational and experimental systems for studying evolutionary processes that involve multiple layers of inheritance (such as genes, epigenetic inheritance, language, and culture) and feedbacks (such as gene-culture coevolution and mate choice) as well as open-ended niche construction---all of which are important in human history and evolution. Such systems would also be a clear way to motivate evolution and computation to scholars and students across diverse cultural and socioeconomic backgrounds, as well as to scholars and students in the social sciences and humanities. In principle, computational models of cultural evolution could be compared to data, given that large-scale datasets already exist for tracking cultural change in real-time. Thus, experimental evolution, as a laboratory and computational science, is poised to grow as an educational tool for people to question and study where we come from, why we believe what we believe, and where we as a species may be headed.


title: Quantified Degeneracy, Entropy and Metal-Insulator Transition in Complex Transition-Metal Oxides

abstract: Understanding complex correlated oxides and their phase transitions has long been a challenge. The difficulty largely arises from the intriguing interplay between multiple degrees of freedoms. While degeneracy can play an important role in determining material characteristics, there is no well-defined way to quantify and to unveil its role in real materials having complicated band structures. Here we suggest a way to quantify the `effective degeneracy' relevant to metal-insulator transition by introducing entropy-like terms. This new quantity well describes the electronic behaviors of transition-metal oxides as a function of external and internal parameters. With $3d$ titanates, $4d$ ruthenates, and $5d$ iridates as our examples, we show that this new effective quantity provides useful insights to understand these systems and their phase transitions. For LaTiO$_3$/LaAlO$_3$ superlattice, we suggest a novel `degeneracy control' metal-insulator transition.


title: Efficient Optimal Reconstruction of Linear Fields and Band-powers from Cosmological Data

abstract: We present an efficient implementation of Wiener filtering of real-space linear field and optimal quadratic estimator of its power spectrum Band-powers. We first recast the field reconstruction into an optimization problem, which we solve using quasi-Newton optimization. We then recast the power spectrum estimation into the field marginalization problem, from which we obtain an expression that depends on the field reconstruction solution and a determinant term. We develop a novel simulation based method for the latter. We extend the simulations formalism to provide the covariance matrix for the power spectrum. We develop a flexible framework that can be used on a variety of cosmological fields and present results for a variety of test cases, using simulated examples of projected density fields, projected shear maps from galaxy lensing, and observed Cosmic Microwave Background (CMB) temperature anisotropies, with a wide range of map incompleteness and variable noise. For smaller cases where direct numerical inversion is possible, we show that our solution matches that created by direct Wiener Filtering at a fraction of the overall computation cost. Even more significant reduction of computational is achieved by this implementation of optimal quadratic estimator due to the fast evaluation of the Hessian matrix. This technique allows for accurate map and power spectrum reconstruction with complex masks and nontrivial noise properties.


title: On possible multiple occurrences of the breakdown of the dipole and dipole-quadrupole approximations in angle-differential spectra of fullerene anions, C$_{n}^{-}$

abstract: We provide the initial insight into the angle-differential photodetachment spectra of fullerene anions beyond the dipole approximation by utilizing a broadly used modelling of C$_{n}$. In the model, the C$_{n}$ cage is approximated by a spherical attractive potential of a certain inner radius, thickness and depth which binds an external electron, thereby turning into a C$_{n}^{-}$ anion. It is demonstrated in the framework of the utilized model, which a single-electron model in its essence, that the dipole and dipole-quadrupole approximations might get broken down in the angle-differential photodetachment spectra of fullerene anions, C$_{n}^{-}$, at a great number of photon energies of only a few tens of eV. Moreover, the breakdown occurrences are shown to start developing at lower photon energies, and the frequency of the occurrences grows with increasing size of C$_{n}^{-}$. The findings are demonstrated by direct calculations of angle-differential photodetachment cross sections of the C$_{60}^{-}$, C$_{240}^{-}$, C$_{540}^{-}$ and C$_{1500}^{-}$ anions. It is not clear beforehand how electron correlation might affect the predicted anomalies in the C$_{n}^{-}$ angle-differential photodetachment spectra, so that the verification(s) of the predicted breakdowns by means of more sophisticated theories is urged.


title: On the capture rates of big bang neutrinos by nuclei within the Dirac and Majorana hypotheses

abstract: The capture rates of non-relativistic neutrinos on beta decaying nuclei depends on whether their mass is Dirac or Majorana. It is known that for relic neutrinos from the big-bang, and within minimal assumptions, the rate is a factor two larger in the Majorana case. We show that this difference also depends on the value of the lightest neutrino mass and on the type of mass hierarchy. If the lightest neutrino has a mass below the meV, so that it is still relativistic today, its capture rate for the case of Dirac masses becomes equal to that for Majorana masses. As a consequence, for the case of normal neutrino mass hierarchy, for which the total capture rate is dominated by the contribution from the lightest neutrino, if this one is below the meV the distinction between the Dirac and Majorana scenarios can only rely on the detection of the two heavier neutrinos, which is something very challenging.


title: Simple and Fast Algorithms for Interactive Machine Learning with Random Counter-examples

abstract: This work describes simple and efficient algorithms for interactively learning non-binary concepts in the learning from random counter-examples (LRC) model. Here, learning takes place from random counter-examples that the learner receives in response to their proper equivalence queries. In this context, the learning time is defined as the number of counter-examples needed by the learner to identify the target concept. Such learning is particularly suited for online ranking, classification, clustering, etc., where machine learning models must be used before they are fully trained. We provide two simple LRC algorithms, deterministic and randomized, for exactly learning non-binary target concepts for any concept class $H$. We show that both of these algorithms have an $\mathcal{O}(\log{}|H|)$ asymptotically optimal average learning time. This solves an open problem on the existence of an efficient LRC randomized algorithm while simplifying and generalizing previous results. We also show that the expected learning time of any arbitrary LRC algorithm can be upper bounded by $\mathcal{O}(\frac{1}{\epsilon}\log{\frac{|H|}{\delta}})$, where $\epsilon$ and $\delta$ are the allowed learning error and failure probability respectively. This shows that LRC interactive learning is at least as efficient as non-interactive Probably Approximately Correct (PAC) learning. Our simulations show that in practice, these algorithms outperform their theoretical bounds.


title: Statistics of turbulence and intermittency enhancement in superfluid $^4$He counterflow

abstract: We report a detailed analysis of the energy spectra, second- and high-order structure functions of velocity differences in superfluid $^4$He counterflow turbulence, measured in a wide range of temperatures and heat fluxes. We show that the one-dimensional energy spectrum $E_{xz} (k_y)$ (averaged over the $xz$-plane, parallel to the channel wall), directly measured as a function of the wall-normal wave-vector $k_y$, gives more detailed information on the energy distribution over scales than the corresponding second-order structure function $S_{2}(\delta_y)$. In particular, we discover two intervals of $k_y$ with different apparent exponents: $E_{xz} (k_y)\propto k_y^{-m_C}$ for $k\lesssim k_\times$ and $E_{xz} (k_y)\propto k_y^{-m_F}$ for $k\gtrsim k_\times$. Here $k_\times$ denotes wavenumber that separate scales with relatively strong (for $k\lesssim k_\times$) and relatively weak (for $k\gtrsim k_\times$) coupling between the normal-fluid and superfluid velocity components. We interpret these $k$-ranges as cascade-dominated and mutual friction-dominated intervals, respectively. General behavior of the experimental spectra $E_{xz}(k_y)$ agree well with the predicted spectra [Phys. Rev. B 97, 214513 (2018)]. Analysis of the $n$-th order structure functions statistics shows that in the energy-containing interval the statistics of counterflow turbulence is close to Gaussian, similar to the classical hydrodynamic turbulence. In the cascade- and mutual friction-dominated intervals we found some modest enhancement of intermittency with respect of its level in classical turbulence. However, at small scales, the intermittency becomes much stronger than in the classical turbulence.


title: Constructing non-Mori Dream Spaces from negative curves

abstract: We study blowups of weighted projective planes at a general point, and more generally blowups of toric surfaces of Picard number one. Based on the positive characteristic methods of Kurano and Nishida, we give a general method for constructing examples of Mori Dream Spaces and non-Mori Dream Spaces among such blowups. Compared to previous constructions, this method uses the geometric properties of the varieties and applies to a number of cases. We use it to fully classify the examples coming from two families of negative curves.


title: Non-Wigner-Dyson level statistics and fractal wavefunction of disordered Weyl semimetals

abstract: Finding fingerprints of disordered Weyl semimetals (WSMs) is an unsolved task. Here we report such findings in the level statistics and the fractal nature of electron wavefunction around Weyl nodes of disordered WSMs. The nearest-neighbor level spacing follows a new universal distribution $P_c(s)=C_1 s^2\exp[-C_2 s^{2-\gamma_0}]$ originally proposed for the level statistics of critical states in the integer quantum Hall systems or normal dirty metals (diffusive metals) at metal-to-insulator transitions, instead of the Wigner-Dyson distribution for diffusive metals. Numerically, we find $\gamma_0=0.62\pm0.07$. In contrast to the Bloch wavefuntions of clean WSMs that uniformly distribute over the whole space of ($D=3$) at large length scale, the wavefunction of disordered WSMs at a Weyl node occupies a fractal space of dimension $D=2.18\pm 0.05$. The finite size scaling of the inverse participation ratio suggests that the correlation length of wavefunctions at Weyl nodes ($E=0$) diverges as $\xi\propto |E|^{-\nu}$ with $\nu=0.89\pm0.05$. In the ergodic limit,the level number variance $\Sigma_2$ around Weyl nodes increases linearly with the average level number $N$, $\Sigma_2=\chi N$, where $\chi= 0.2\pm0.1$ is independent of system sizes and disorder strengths.


title: Interactive Agent Modeling by Learning to Probe

abstract: The ability of modeling the other agents, such as understanding their intentions and skills, is essential to an agent's interactions with other agents. Conventional agent modeling relies on passive observation from demonstrations. In this work, we propose an interactive agent modeling scheme enabled by encouraging an agent to learn to probe. In particular, the probing agent (i.e. a learner) learns to interact with the environment and with a target agent (i.e., a demonstrator) to maximize the change in the observed behaviors of that agent. Through probing, rich behaviors can be observed and are used for enhancing the agent modeling to learn a more accurate mind model of the target agent. Our framework consists of two learning processes: i) imitation learning for an approximated agent model and ii) pure curiosity-driven reinforcement learning for an efficient probing policy to discover new behaviors that otherwise can not be observed. We have validated our approach in four different tasks. The experimental results suggest that the agent model learned by our approach i) generalizes better in novel scenarios than the ones learned by passive observation, random probing, and other curiosity-driven approaches do, and ii) can be used for enhancing performance in multiple applications including distilling optimal planning to a policy net, collaboration, and competition. A video demo is available at https://www.dropbox.com/s/8mz6rd3349tso67/Probing_Demo.mov?dl=0


title: Chasing Similarity: Distribution-aware Aggregation Scheduling (Extended Version)

abstract: Parallel aggregation is a ubiquitous operation in data analytics that is expressed as GROUP BY in SQL, reduce in Hadoop, or segment in TensorFlow. Parallel aggregation starts with an optional local pre-aggregation step and then repartitions the intermediate result across the network. While local pre-aggregation works well for low-cardinality aggregations, the network communication cost remains significant for high-cardinality aggregations even after local pre-aggregation. The problem is that the repartition-based algorithm for high-cardinality aggregation does not fully utilize the network. In this work, we first formulate a mathematical model that captures the performance of parallel aggregation. We prove that finding optimal aggregation plans from a known data distribution is NP-hard, assuming the Small Set Expansion conjecture. We propose GRASP, a GReedy Aggregation Scheduling Protocol that decomposes parallel aggregation into phases. GRASP is distribution-aware as it aggregates the most similar partitions in each phase to reduce the transmitted data size in subsequent phases. In addition, GRASP takes the available network bandwidth into account when scheduling aggregations in each phase to maximize network utilization. The experimental evaluation on real data shows that GRASP outperforms repartition-based aggregation by 3.5x and LOOM by 2.0x.


title: On the Observability Inequality of Coupled Wave Equations: the Case without Boundary

abstract: In this paper, we study the observability and controllability of wave equations coupled by first or zero order terms on a compact manifold. We adopt the approach in Dehman-Lebeau's paper \cite{DehmanLebeau09} to prove that: the weak observability inequality holds for wave equations coupled by first order terms on compact manifold without boundary if and only if a class of ordinary differential equations related to the symbol of the first order terms along the Hamiltonian flow are exactly controllable. We also compute the higher order part of the observability constant and the observation time. By duality, we obtain the controllability of the dual control system in a finite co-dimensional space. This gives the full controllability under the assumption of unique continuation of eigenfunctions. Moreover, these results can be applied to the systems of wave equations coupled by zero order terms of cascade structure after an appropriate change of unknowns and spaces. Finally, we provide some concrete examples as applications where the unique continuation property indeed holds.


title: The $\log\log$ growth of channel capacity for nondispersive nonlinear optical fiber channel in intermediate power range. Extension of the model

abstract: In our previous paper [Phys. Rev. E 95, 062122 (2017)] we considered the optical channel modelled by the nonlinear Schr\"odinger equation with zero dispersion and additive Gaussian noise. We found per-sample channel capacity rof this model. In the present paper we extend per-sample model by introducing the initial signal dependence on time and the output signal detection procedure. The proposed model is a closer approximation of the realistic communication link than the per-sample model where there is no dependence of the initial signal on time. For the proposed model we found the correlators of the output signal both analytically and numerically. Using these correlators we built the conditional probability density function. Then we calculated an entropy of the output signal, a conditional entropy, and the mutual information. Maximizing the mutual information we found the optimal input signal distribution, channel capacity? and their dependence on the shape or the initial signal in the time domain for the intermediate power range.


title: Investigating Spatial Error Structures in Continuous Raster Data

abstract: The objective of this study is to investigate spatial structures of error in the assessment of continuous raster data. The use of conventional diagnostics of error often overlooks the possible spatial variation in error because such diagnostics report only average error or deviation between predicted and reference values. In this respect, this work uses a moving window (kernel) approach to generate geographically weighted (GW) versions of the mean signed deviation, the mean absolute error and the root mean squared error and to quantify their spatial variations. Such approach computes local error diagnostics from data weighted by its distance to the centre of a moving kernel and allows to map spatial surfaces of each type of error. In addition, a GW correlation analysis between predicted and reference values provides an alternative view of local error. Full abstract can be found in the pdf.


title: Radio-loud AGN variability from three-dimensional propagating relativistic jets

abstract: The enormous sizes and variability of emission of radio-loud AGNs arise from the relativistic flows of plasma along two oppositely directed jets. We use the Athena hydrodynamics code to simulate an extensive suite of 54 propagating three-dimensional relativistic jets with wide ranges of input jet velocities and jet-to-ambient matter density ratios. We determine which parameter sets yield unstable jets that produce jet dominated FR I type radio galaxy morphologies and which tend to produce stable jets with hot-spots and FR II morphologies. Nearly all our simulations involve jets with internal pressures matched to those of the ambient medium but we also consider over-pressured jets and discuss differences from the standard ones. We also show that the results are not strongly dependent on the adiabatic index of the fluid. We focus on simulations that remain stable for extended distances (60-240) times the initial jet radius. Scaled to the much smaller sizes probed by VLBI observations, the fluctuations in such simulated flows yield variability in observed emissivity on timescales from months. Adopting results for the densities, pressures and velocities from these simulations we estimate normalized rest frame synchrotron emissivities from individual cells in the jets. The observed emission from each cell is strongly dependent upon its variable Doppler boosting factor. We sum the fluxes from thousands of zones around the primary reconfinement shock. The light curves an power-spectra, with red-noise slopes between -2.1 and -2.5, so produced are similar to those observed from blazars.


title: A New Form of Banking -- Concept and Mathematical Model of Venture Banking

abstract: This theoretical model contains concept, equations, and graphical results for venture banking. A system of 27 equations describes the behavior of the venture-bank and underwriter system allowing phase-space type graphs that show where profits and losses occur. These results confirm and expand those obtained from the original spreadsheet based model. An example investment in a castle at a loss is provided to clarify concept. This model requires that all investments are in enterprises that create new utility value. The assessed utility value created is the new money out of which the venture bank and underwriter are paid. The model presented chooses parameters that ensure that the venture-bank experiences losses before the underwriter does. Parameters are: DIN Premium, 0.05; Clawback lien fraction, 0.77; Clawback bonds and equity futures discount, 1.5 x (USA 12 month LIBOR); Range of clawback bonds sold, 0 to 100%; Range of equity futures sold 0 to 70%.


title: Commutation Error in Reduced Order Modeling of Fluid Flows

abstract: For reduced order models (ROMs) of fluid flows, we investigate theoretically and computationally whether differentiation and ROM spatial filtering commute, i.e., whether the commutation error (CE) is nonzero. We study the CE for the Laplacian and two ROM filters: the ROM projection and the ROM differential filter. Furthermore, when the CE is nonzero, we investigate whether it has any significant effect on ROMs that are constructed by using spatial filtering. As numerical tests, we use the Burgers equation with viscosities $\nu=10^{-1}$ and $\nu=10^{-3}$ and a 2D flow past a circular cylinder at Reynolds numbers $Re=1$ and $Re=100$. Our investigation shows that: (i) the CE exists, and (ii) the CE has a significant effect on ROM development for low Reynolds numbers, but not so much for higher Reynolds numbers.


title: Layer-compensated Pruning for Resource-constrained Convolutional Neural Networks

abstract: Resource-efficient convolution neural networks enable not only the intelligence on edge devices but also opportunities in system-level optimization such as scheduling. In this work, we aim to improve the performance of resource-constrained filter pruning by merging two sub-problems commonly considered, i.e., (i) how many filters to prune for each layer and (ii) which filters to prune given a per-layer pruning budget, into a global filter ranking problem. Our framework entails a novel algorithm, dubbed layer-compensated pruning, where meta-learning is involved to determine better solutions. We show empirically that the proposed algorithm is superior to prior art in both effectiveness and efficiency. Specifically, we reduce the accuracy gap between the pruned and original networks from 0.9% to 0.7% with 8x reduction in time needed for meta-learning, i.e., from 1 hour down to 7 minutes. To this end, we demonstrate the effectiveness of our algorithm using ResNet and MobileNetV2 networks under CIFAR-10, ImageNet, and Bird-200 datasets.


title: The Freiheitssatz and automorphisms for free brace algebras

abstract: Over a field of characteristic zero, we prove that the Freiheitssatz holds for brace algebras, the word problem for the brace algebras with a single defining relation is decidable, two generated subalgebras of free brace algebras are free, and that automorphisms of two generated free brace algebras are tame.


title: FIRE-DES++: Enhanced Online Pruning of Base Classifiers for Dynamic Ensemble Selection

abstract: Despite being very effective in several classification tasks, Dynamic Ensemble Selection (DES) techniques can select classifiers that classify all samples in the region of competence as being from the same class. The Frienemy Indecision REgion DES (FIRE-DES) tackles this problem by pre-selecting classifiers that correctly classify at least one pair of samples from different classes in the region of competence of the test sample. However, FIRE-DES applies the pre-selection for the classification of a test sample if and only if its region of competence is composed of samples from different classes (indecision region), even though this criterion is not reliable for determining if a test sample is located close to the borders of classes (true indecision region) when the region of competence is obtained using classical nearest neighbors approach. Because of that, FIRE-DES mistakes noisy regions for true indecision regions, leading to the pre-selection of incompetent classifiers, and mistakes true indecision regions for safe regions, leaving samples in such regions without any pre-selection. To tackle these issues, we propose the FIRE-DES++, an enhanced FIRE-DES that removes noise and reduces the overlap of classes in the validation set; and defines the region of competence using an equal number of samples of each class, avoiding selecting a region of competence with samples of a single class. Experiments are conducted using FIRE-DES++ with 8 different dynamic selection techniques on 64 classification datasets. Experimental results show that FIRE-DES++ increases the classification performance of all DES techniques considered in this work, outperforming FIRE-DES with 7 out of the 8 DES techniques, and outperforming state-of-the-art DES frameworks.


title: A Simple Machine Learning Method for Commonsense Reasoning? A Short Commentary on Trinh & Le (2018)

abstract: This is a short Commentary on Trinh & Le (2018) ("A Simple Method for Commonsense Reasoning") that outlines three serious flaws in the cited paper and discusses why data-driven approaches cannot be considered as serious models for the commonsense reasoning needed in natural language understanding in general, and in reference resolution, in particular.


title: Decentralized collaborative transport of fabrics using micro-UAVs

abstract: Small unmanned aerial vehicles (UAVs) have generally little capacity to carry payloads. Through collaboration, the UAVs can increase their joint payload capacity and carry more significant loads. For maximum flexibility to dynamic and unstructured environments and task demands, we propose a fully decentralized control infrastructure based on a swarm-specific scripting language, Buzz. In this paper, we describe the control infrastructure and use it to compare two algorithms for collaborative transport: field potentials and spring-damper. We test the performance of our approach with a fleet of micro-UAVs, demonstrating the potential of decentralized control for collaborative transport.


title: End-To-End Alzheimer's Disease Diagnosis and Biomarker Identification

abstract: As shown in computer vision, the power of deep learning lies in automatically learning relevant and powerful features for any perdition task, which is made possible through end-to-end architectures. However, deep learning approaches applied for classifying medical images do not adhere to this architecture as they rely on several pre- and post-processing steps. This shortcoming can be explained by the relatively small number of available labeled subjects, the high dimensionality of neuroimaging data, and difficulties in interpreting the results of deep learning methods. In this paper, we propose a simple 3D Convolutional Neural Networks and exploit its model parameters to tailor the end-to-end architecture for the diagnosis of Alzheimer's disease (AD). Our model can diagnose AD with an accuracy of 94.1\% on the popular ADNI dataset using only MRI data, which outperforms the previous state-of-the-art. Based on the learned model, we identify the disease biomarkers, the results of which were in accordance with the literature. We further transfer the learned model to diagnose mild cognitive impairment (MCI), the prodromal stage of AD, which yield better results compared to other methods.


title: Rapid production of many-body entanglement in spin-1 atoms via cavity output photon counting

abstract: We propose a simple and efficient method for generating metrologically useful quantum entanglement in an ensemble of spin-1 atoms that interacts with a high-finesse optical cavity mode. It requires straightforward preparation of $N$ atoms in the $m_F=0$ sublevel, tailoring of the atom-field interaction to give an effective Tavis-Cummings model for the collective spin-1 ensemble, and a photon counting measurement on the cavity output field. The photon number provides a projective measurement of the collective spin length $S$, which, for the chosen initial state, is heavily weighted around values $S\simeq\sqrt{N}$, for which the corresponding spin states are strongly entangled and exhibit Heisenberg scaling of the metrological sensitivity with $N$, as quantified by the quantum Fisher information.