title: A blend of stretching and bending in nematic polymer networks

abstract: Nematic polymeric networks are (heat and light) activable materials, which combine the features of rubber and nematic liquid crystals. When only the stretching energy of a thin sheet of nematic polymeric network is minimized, the intrinsic (Guassian) curvature of the shape it takes upon (thermal or optical) actuation is determined. This, unfortunately, produces a multitude of possible shapes, for which we need a selection criterion, which may only be provided by a correcting bending energy depending on the extrinsic curvatures of the deformed shape. The literature has so far offered approximate corrections depending on the mean curvature. In this paper, we derive the appropriate bending energy of a sheet of polymeric nematic network from the celebrated neo-classical energy of nematic elastomers in three space dimensions. This task is performed via a dimension reduction based on a modified Kirchhoff-Love hypothesis, which withstands to the criticism of more sophisticated analytical tools. The result is a surface elastic free-energy density where stretching and bending are blended together; they may or may not be length-separated, and should be minimized together. The extrinsic curvatures of the deformed shape not only feature in the bending energy through the mean curvature, but also through the relative orientation of the nematic director in the frame of the directions of principal curvature.


title: TIE: Time-Informed Exploration For Robot Motion Planning

abstract: Anytime sampling-based methods are an attractive technique for solving kino-dynamic motion planning problems. These algorithms scale well to higher dimensions and can efficiently handle state and control constraints. However, an intelligent exploration strategy is required to accelerate their convergence and avoid redundant computations. Using ideas from reachability analysis, this work defines a "Time-Informed Set", that focuses the search for time-optimal kino-dynamic planning after an initial solution is found. Such a Time-Informed Set (TIS) includes all trajectories that can potentially improve the current best solution and hence exploration outside this set is redundant. Benchmarking experiments show that an exploration strategy based on the TIS can accelerate the convergence of sampling-based kino-dynamic motion planners.


title: Simulation-based Lidar Super-resolution for Ground Vehicles

abstract: We propose a methodology for lidar super-resolution with ground vehicles driving on roadways, which relies completely on a driving simulator to enhance, via deep learning, the apparent resolution of a physical lidar. To increase the resolution of the point cloud captured by a sparse 3D lidar, we convert this problem from 3D Euclidean space into an image super-resolution problem in 2D image space, which is solved using a deep convolutional neural network. By projecting a point cloud onto a range image, we are able to efficiently enhance the resolution of such an image using a deep neural network. Typically, the training of a deep neural network requires vast real-world data. Our approach does not require any real-world data, as we train the network purely using computer-generated data. Thus our method is applicable to the enhancement of any type of 3D lidar theoretically. By novelly applying Monte-Carlo dropout in the network and removing the predictions with high uncertainty, our method produces high accuracy point clouds comparable with the observations of a real high resolution lidar. We present experimental results applying our method to several simulated and real-world datasets. We argue for the method's potential benefits in real-world robotics applications such as occupancy mapping and terrain modeling.


title: Convolutional Neural Networks for Real-Time Localization and Classification in Feedback Digital Microscopy

abstract: We present an adapted single-shot convolutional neural network (YOLOv2) for the real-time localization and classification of particles in optical microscopy. As compared to previous works, we focus on the real-time detection capabilities of the system to allow for manipulation of microscopic objects in large heterogeneous ensembles with the help of feedback control. The network is capable of localizing and classifying several hundreds of microscopic objects even at very low signal-to-noise ratios for images as large as 416x416 pixels with an inference time of about 10 ms. We demonstrate the real-time detection performance by manipulating active particles propelled by laser-induced self-thermophoresis. In order to make our framework readily available for others, we provide all scripts and source code. The network is implemented in Python/Keras using the TensorFlow backend. A C library supporting GPUs is provided for the real-time inference.

categories: cond-mat.soft cs.LG eess.IV physics.optics


title: Efficient Sampled Softmax for Tensorflow

abstract: This short paper discusses an efficient implementation of \emph{sampled softmax loss} for Tensorflow. The speedup over the default implementation is achieved due to simplification of the graph for the forward and backward passes.


title: Baby MIND detector first physics run

abstract: Baby MIND is a Magnetized Iron Neutrino Detector, serving as a downstream magnetized muon range detector for WAGASCI on the T2K beam line in Japan. The first physics run of Baby MIND together with other WAGASCI sub-detectors took place in the period from November 2019 to February 2020 (T2K run10), where a total of $4.8 \times 10^{20}$ Protons on target (POT) was delivered. Preliminary results showing Baby MIND data quality, detector performance and examples of neutrino interactions on iron during the first physics run are presented.


title: Optical Tweezers: A Comprehensive Tutorial from Calibration to Applications

abstract: Since their invention in 1986 by Arthur Ashkin and colleagues, optical tweezers have become an essential tool in several fields of physics, spectroscopy, biology, nanotechnology, and thermodynamics. In this Tutorial, we provide a primer on how to calibrate optical tweezers and how to use them for advanced applications. After a brief general introduction on optical tweezers, we focus on describing and comparing the various available calibration techniques. Then, we discuss some cutting-edge applications of optical tweezers in a liquid medium, namely to study single-molecule and single-cell mechanics, microrheology, colloidal interactions, statistical physics, and transport phenomena. Finally, we consider optical tweezers in vacuum, where the absence of a viscous medium offers vastly different dynamics and presents new challenges. We conclude with some perspectives for the field and the future application of optical tweezers. This Tutorial provides both a step-by-step guide ideal for non-specialists entering the field and a comprehensive manual of advanced techniques useful for expert practitioners. All the examples are complemented by the sample data and software necessary to reproduce them.


title: FLIVVER: Fly Lobula Inspired Visual Velocity Estimation & Ranging

abstract: The mechanism by which a tiny insect or insect-sized robot could estimate its absolute velocity and distance to nearby objects remains unknown. However, this ability is critical for behaviors that require estimating wind direction during flight, such as odor-plume tracking. Neuroscience and behavior studies with insects have shown that they rely on the perception of image motion, or optic flow, to estimate relative motion, equivalent to a ratio of their velocity and distance to objects in the world. The key open challenge is therefore to decouple these two states from a single measurement of their ratio. Although modern SLAM (Simultaneous Localization and Mapping) methods provide a solution to this problem for robotic systems, these methods typically rely on computations that insects likely cannot perform, such as simultaneously tracking multiple individual visual features, remembering a 3D map of the world, and solving nonlinear optimization problems using iterative algorithms. Here we present a novel algorithm, FLIVVER, which combines the geometry of dynamic forward motion with inspiration from insect visual processing to \textit{directly} estimate absolute ground velocity from a combination of optic flow and acceleration information. Our algorithm provides a clear hypothesis for how insects might estimate absolute velocity, and also provides a theoretical framework for designing fast analog circuitry for efficient state estimation, which could be applied to insect-sized robots.


title: Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity

abstract: We reflect on our ongoing journey in the educational Cybersecurity Assessment Tools (CATS) Project to create two concept inventories for cybersecurity. We identify key steps in this journey and important questions we faced. We explain the decisions we made and discuss the consequences of those decisions, highlighting what worked well and what might have gone better. The CATS Project is creating and validating two concept inventories---conceptual tests of understanding---that can be used to measure the effectiveness of various approaches to teaching and learning cybersecurity. The Cybersecurity Concept Inventory (CCI) is for students who have recently completed any first course in cybersecurity; the Cybersecurity Curriculum Assessment (CCA) is for students who have recently completed an undergraduate major or track in cybersecurity. Each assessment tool comprises 25 multiple-choice questions (MCQs) of various difficulties that target the same five core concepts, but the CCA assumes greater technical background. Key steps include defining project scope, identifying the core concepts, uncovering student misconceptions, creating scenarios, drafting question stems, developing distractor answer choices, generating educational materials, performing expert reviews, recruiting student subjects, organizing workshops, building community acceptance, forming a team and nurturing collaboration, adopting tools, and obtaining and using funding. Creating effective MCQs is difficult and time-consuming, and cybersecurity presents special challenges. Because cybersecurity issues are often subtle, where the adversarial model and details matter greatly, it is challenging to construct MCQs for which there is exactly one best but non-obvious answer. We hope that our experiences and lessons learned may help others create more effective concept inventories and assessments in STEM.


title: Sequence Model Design for Code Completion in the Modern IDE

abstract: Code completion plays a prominent role in modern integrated development environments (IDEs). Machine learning has become ubiquitous in analogous natural language writing and search software, surfacing more relevant autocompletions and search suggestions in fewer keystrokes. Prior research has reported training high-accuracy, deep neural networks for modeling source code, but little attention has been given to the practical constraints imposed by interactive developer tools. In particular, neural language models for source code modeling like the one described in Maybe Deep Neural Networks are the Best Choice for Modeling Source Code are framed around code completion, but only report accuracy of next-token prediction. However, in order for a language model (LM) to work well within real-world code completion systems, it must also always make suggestions that produce valid code that typechecks to support code completion's role in correctness-checking; return instantaneous results to help programmers code more efficiently in fewer keystrokes; and be small enough to fit comfortably on disk and in memory on developer workstations, since virtually all modern IDEs run locally and support offline usage. To meet these additional requirements, we propose a novel design for predicting top-k next tokens that combines static analysis' ability to enumerate all valid keywords and in-scope identifiers with the ability of a language model to place a probability distribution over them. Our model mixes character-level input representation with token output to represent out-of-vocabulary (OOV) tokens meaningfully and minimize prediction latency. OOV tokens can be predicted through detection of local repetition common in software. This design achieves state-of-art accuracy in source code modeling and fits the constraints imposed by real-world code completion implementations in modern IDEs.


title: A generalization of Pythagoras on a surface

abstract: We analyze Toponogov's sine theorem for an infinitesimal geodesic triangle ABC on a C^2 regular surface M, which is given in his book [6, Problem 3.7.2] and we provide a generalization of the law of cosines for ABC on M. By replacing in the law of cosines B=\frac{\pi}{2} on M, we derive the generalized theorem of Pythagoras on a surface: AC^2 = AB^2 + BC^2 + f(\angle A,\frac{\pi}{2},AB,BC)o(AC^2) or AC^2 = AB^2 + BC^2 + (\angle A + \angle C-\frac{\pi}{2})^2 where f(\angle A,\angle B,AB,BC) is a rational function w.r. to cosA; cosB, sinA, sinB, AB and BC.


title: CONTAIN: Privacy-oriented Contact Tracing Protocols for Epidemics

abstract: Pandemic and epidemic diseases such as CoVID-19, SARS-CoV2, and Ebola have spread to multiple countries and infected thousands of people. Such diseases spread mainly through person-to-person contacts. Health care authorities recommend contact tracing procedures to prevent the spread to a vast population. Although several mobile applications have been developed to trace contacts, they typically require collection of privacy-intrusive information such as GPS locations, and the logging of privacy-sensitive data on a third party server, or require additional infrastructure such as WiFi APs with known locations. In this paper, we introduce CONTAIN, a privacy-oriented mobile contact tracing application that does not rely on GPS or any other form of infrastructure-based location sensing, nor the continuous logging of any other personally identifiable information on a server. The goal of CONTAIN is to allow users to determine with complete privacy if they have been within a short distance, specifically, Bluetooth wireless range, of someone that is infected, and potentially also when. We identify and prove the privacy guarantees provided by our approach. Our simulation study utilizing an empirical trace dataset (Asturies) involving 100 mobile devices and around 60000 records shows that users can maximize their possibility of identifying if they were near an infected user by turning on the app during active times.


title: Asymptotic phase-locking dynamics and critical coupling strength for the Kuramoto model

abstract: We study the asymptotic clustering (phase-locking) dynamics for the Kuramoto model. For the analysis of emergent asymptotic patterns in the Kuramoto flow, we introduce the pathwise critical coupling strength which yields a sharp transition from partial phase-locking to complete phase-locking, and provide nontrivial upper bounds for the pathwise critical coupling strength. Numerical simulations suggest that multi- and mono-clusters can emerge asymptotically in the Kuramoto flow depending on the relative magnitude of the coupling strength compared to the sizes of natural frequencies. However, theoretical and rigorous analysis for such phase-locking dynamics of the Kuramoto flow still lacks a complete understanding, although there were some recent progress on the complete synchronization of the Kuramoto model in a sufficiently large coupling strength regime. In this paper, we present sufficient frameworks for partial phase-locking of a majority ensemble and the complete phase-locking in terms of the initial phase configuration, coupling strength and natural frequencies. As a by-product of our analysis, we obtain nontrivial upper bounds for the pathwise critical coupling strength in terms of the diameter of natural frequencies, initial Kuramoto order parameter and the system size $N$. We also show that phase-locked states whose order parameters are less than $N^{-\frac{1}{2}}$ are linearly unstable.


title: Weakly Supercyclic Power Bounded Operators of Class C_{1.}

abstract: There is no supercyclic power bounded operator of class $C_{1{\textstyle\cdot}}.$ There exist, however, weakly l-sequentially supercyclic unitary operators$.$ We show that if $T$ is a weakly l-sequentially supercyclic power bounded operator of class $C_{1{\textstyle\cdot}}$, then it has an extension $\widehat T$ which is a weakly l-sequentially supercyclic singular-continuous unitary (and $\widehat T$ has a Rajchman scalar spectral measure whenever $T$ is weakly stable)$.$ The above result implies $\sigma_{\kern-1ptP}(T)=\sigma_{\kern-1ptP}(T^*)=\varnothing$, and also that if a weakly l-sequentially supercyclic operator is similar to an isometry, then it is similar to a unitary operator.


title: Time-Dependent Pseudo-Hermitian Hamiltonians and a Hidden Geometric Aspect of Quantum Mechanics

abstract: A non-Hermitian operator $H$ defined in a Hilbert space with inner product $\langle\cdot|\cdot\rangle$ may serve as the Hamiltonian for a unitary quantum system, if it is $\eta$-pseudo-Hermitian for a metric operator (positive-definite automorphism) $\eta$. The latter defines the inner product $\langle \cdot|\eta\cdot\rangle $ of the physical Hilbert space $\mathscr{H} _{\eta}$ of the system. For situations where some of the eigenstates of $H$ depend on time, $\eta$ becomes time-dependent. Therefore the system has a non-stationary Hilbert space. Such quantum systems, which are also encountered in the study of quantum mechanics in cosmological backgrounds, suffer from a conflict between the unitarity of time evolution and the unobservability of the Hamiltonian. Their proper treatment requires a geometric framework which clarifies the notion of the energy observable and leads to a geometric extension of quantum mechanics (GEQM). We provide a general introduction to the subject, review some of the recent developments, offer a straightforward description of the Heisenberg-picture formulation of the dynamics for quantum systems having a time-dependent Hilbert space, and outline the Heisenberg-picture formulation of dynamics in GEQM.


title: Divisibility Results for zero-cycles

abstract: Let $X$ be a product of smooth projective curves over a finite unramified extension $k$ of $\mathbb{Q}_p$. Suppose that the Albanese variety of $X$ has good reduction and that $X$ has a $k$-rational point. We propose the following conjecture. The kernel of the Albanese map $CH_0(X)^0\rightarrow\text{Alb}_X(k)$ is $p$-divisible. When $p$ is an odd prime, we prove this conjecture for a large family of products of elliptic curves and certain principal homogeneous spaces of abelian varieties. Using this, we provide some evidence for a local-to-global conjecture for zero-cycles of Colliot-Th\'{e}l\`{e}ne and Sansuc (\cite{Colliot-Thelene/Sansuc1981}), and Kato and Saito (\cite{Kato/Saito1986}).


title: Deciphering the Protein Motion of S1 Subunit in SARS-CoV-2 Spike Glycoprotein Through Integrated Computational Methods

abstract: The novel severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is a major worldwide public health emergency that has infected over $1.5$ million people. The partially open state of S1 subunit in spike glycoprotein is considered vital for its infection with host cell and is represented as a key target for neutralizing antibodies. However, the mechanism elucidating the transition from the closed state to the partially open state still remains unclear. Here, we applied a combination of Markov state model, transition path theory and random forest to analyze the S1 motion. Our results explored a promising complete conformational movement of receptor-binding domain, from buried, partially open, to detached states. We also numerically confirmed the transition probability between those states. Based on the asymmetry in both the dynamics behavior and backbone C$\alpha$ importance, we further suggested a relation between chains in the trimer spike protein, which may help in the vaccine design and antibody neutralization.


title: The Role of the Critical Ionization Velocity Effect in Interstellar Space and the Derived Abundance of Helium

abstract: Gaussian analysis of new, high-angular-resolution interstellar 21-cm neutral hydrogen emission profile structure more clearly reveals the presence of the previously reported signature of the critical ionization velocity ({\it CIV}) of Helium (34 km s$^{-1}$). The present analysis includes 1496 component line widths for 178 neutral hydrogen profiles in two areas of sky at galactic latitudes around $-$50$^\circ$, well away from the galactic plane. The new data considered here allow the interstellar abundance of Helium to be calculated, and the derived value of 0.095 $\pm$ 0.020 compares extremely well with the value of 0.085 for the cosmic abundance based on solar data. Although the precise mechanisms that give rise to the {\it CIV} effect in interstellar space are not yet understood, our results may provide additional motivation for further theoretical study of how the mechanism operates.


title: Exploring Optimal Deep Learning Models for Image-based Malware Variant Classification

abstract: Analyzing a huge amount of malware is a major burden for security analysts. Since emerging malware is often a variant of existing malware, automatically classifying malware into known families greatly reduces a part of their burden. Image-based malware classification with deep learning is an attractive approach for its simplicity, versatility, and affinity with the latest technologies. However, the impact of differences in deep learning models and the degree of transfer learning on the classification accuracy of malware variants has not been fully studied. In this paper, we conducted an exhaustive survey of deep learning models using 24 ImageNet pre-trained models and five fine-tuning parameters, totaling 120 combinations, on two platforms. As a result, we found that the highest classification accuracy was obtained by fine-tuning one of the latest deep learning models with a relatively low degree of transfer learning, and we achieved the highest classification accuracy ever in cross-validation on the Malimg and Drebin datasets. We also confirmed that this trend holds true for the recent malware variants using the VirusTotal 2020 Windows and Android datasets. The experimental results suggest that it is effective to periodically explore optimal deep learning models with the latest models and malware datasets by gradually reducing the degree of transfer learning from half.


title: A proof of the Theta Operator Conjecture

abstract: In the context of the (generalized) Delta Conjecture and its compositional form, D'Adderio, Iraci, and Wyngaerd recently stated a conjecture relating two symmetric function operators, $D_k$ and $\Theta_k$. We prove this Theta Operator Conjecture, finding it as a consequence of the five-term relation of Mellit and Garsia. As a result, we find surprising ways of writing the $D_k$ operators.


title: Effect of deep gain layer and Carbon infusion on LGAD radiation hardness

abstract: The properties of 50 um thick Low Gain Avalanche Diode (LGAD) detectors manufactured by Hamamatsu photonics (HPK) and Fondazione Bruno Kessler (FBK) were tested before and after irradiation with 1 MeV neutrons. Their performance were measured in charge collection studies using b-particles from a 90Sr source and in capacitance-voltage scans (C-V) to determine the bias to deplete the gain layer. Carbon infusion to the gain layer of the sensors was tested by FBK in the UFSD3 production. HPK instead produced LGADs with a very thin, highly doped and deep multiplication layer. The sensors were exposed to a neutron fluence from 4e14 neq/cm2 to 4e15 neq/cm2. The collected charge and the timing resolution were measured as a function of bias voltage at -30C, furthermore the profile of the capacitance over voltage of the sensors was measured.


title: Towards Anomaly Detection in Dashcam Videos

abstract: Inexpensive sensing and computation, as well as insurance innovations, have made smart dashboard cameras ubiquitous. Increasingly, simple model-driven computer vision algorithms focused on lane departures or safe following distances are finding their way into these devices. Unfortunately, the long-tailed distribution of road hazards means that these hand-crafted pipelines are inadequate for driver safety systems. We propose to apply data-driven anomaly detection ideas from deep learning to dashcam videos, which hold the promise of bridging this gap. Unfortunately, there exists almost no literature applying anomaly understanding to moving cameras, and correspondingly there is also a lack of relevant datasets. To counter this issue, we present a large and diverse dataset of truck dashcam videos, namely RetroTrucks, that includes normal and anomalous driving scenes. We apply: (i) one-class classification loss and (ii) reconstruction-based loss, for anomaly detection on RetroTrucks as well as on existing static-camera datasets. We introduce formulations for modeling object interactions in this context as priors. Our experiments indicate that our dataset is indeed more challenging than standard anomaly detection datasets, and previous anomaly detection methods do not perform well here out-of-the-box. In addition, we share insights into the behavior of these two important families of anomaly detection approaches on dashcam data.


title: A Minimal Model of the Hydrodynamical Coupling of Flagella on a Spherical Body with application to Volvox

abstract: Flagella are hair-like appendages attached to microorganisms that allow the organisms to traverse their fluid environment. The algae Volvox are spherical swimmers with thousands of individual flagella on their surface and their coordination is not fully understood. In this work, a previously developed minimal model of flagella synchronization is extended to the outer surface of a sphere submerged in a fluid. Each beating flagellum tip is modelled as a small sphere, elastically bound to a circular orbit just above the spherical surface and a regularized image system for Stokes flow outside of a sphere is used to enforce the no-slip condition. Biologically relevant distributions of rotors results in a rapidly developing and robust symplectic metachronal wave traveling from the anterior to the posterior of the spherical Volvox body.


title: Chiral Effective Field Theory Calculations of Weak Transitions in Light Nuclei

abstract: We report Quantum Monte Carlo calculations of weak transitions in $A\leq 10$ nuclei, based on the Norfolk two- and three-nucleon chiral interactions, and associated one- and two-body axial currents. We find that the contribution from two-body currents is at the $2$ - $3\%$ level, with the exception of matrix elements entering the rates of $^8$Li, $^8$B, and $^8$He beta decays. These matrix elements are suppressed in impulse approximation based on the (leading order) Gamow Teller transition operator alone; two-body currents provide a $20$ - $30\%$ correction, which is, however, insufficient to bring theory in agreement with experimental data. For the other transitions, the agreement with the data is satisfactory, and the results exhibit a negligible to mild model dependence when different combinations of Norfolk interactions are utilized to construct the nuclear wave functions. We report a complete study of two-body weak transition densities which reveals the expected universal behavior of two-body currents at short distances throughout the range of $A\,$=$\,3$ to $A\,$=$\,10$ systems considered here.


title: Pseudo-real-time retinal layer segmentation for high-resolution adaptive optics optical coherence tomography

abstract: We present a pseudo-real-time retinal layer segmentation for high-resolution Sensorless Adaptive Optics-Optical Coherence Tomography (SAO-OCT). Our pseudo-real-time segmentation method is based on Dijkstra's algorithm that uses the intensity of pixels and the vertical gradient of the image to find the minimum cost in a geometric graph formulation within a limited search region. It segments six retinal layer boundaries in an iterative process according to their order of prominence. The segmentation time is strongly correlated to the number of retinal layers to be segmented. Our program permits en face images to be extracted during data acquisition to guide the depth specific focus control and depth dependent aberration correction for high-resolution SAO-OCT systems. The average processing times for our entire pipeline for segmenting six layers in a retinal B-scan of 496x400 pixels and 240x400 pixels are around 25.60 ms and 13.76 ms, respectively. When reducing the number of layers segmented to only two layers, the time required for a 240x400 pixel image is 8.26 ms.


title: Visual Spoofing in content based spam detection

abstract: Although the problem of spam classification seems to be solved, there are still vulnerabilities in the current spam filters that could be easily exploited. We present one such vulnerability, in which one could replace some characters with corresponding characters from a different alphabet. These characters are visually similar, yet have a different Unicode encoding. With this approach spammers can create messages that bypass existing spam filters. Moreover, we show that this approach can be used to avoid plagiarism detection, and in other applications that use natural language processing for automatic analysis of text documents.


title: Continuity of capacity of a holomorphic motion

abstract: We study the behavior of various set-functions under holomorphic motions. We show that, under such deformations, logarithmic capacity varies continuously, while analytic capacity may not.


title: What Kind of Programming Language Best Suits Integrative AGI?

abstract: What kind of programming language would be most appropriate to serve the needs of integrative, multi-paradigm, multi-software-system approaches to AGI? This question is broached via exploring the more particular question of how to create a more scalable and usable version of the "Atomese" programming language that forms a key component of the OpenCog AGI design (an "Atomese 2.0") . It is tentatively proposed that the core of Atomese 2.0 should be a very flexible framework of rewriting rules for rewriting a metagraph (where the rules themselves are represented within the same metagraph, and some of the intermediate data created and used during the rule-interpretation process may be represented in the same metagraph). This framework should support concurrent rewriting of the metagraph according to rules that are labeled with various sorts of uncertainty-quantifications, and that are labeled with various sorts of types associated with various type systems. A gradual typing approach should be used to enable mixture of rules and other metagraph nodes/links associated with various type systems, and untyped metagraph nodes/links not associated with any type system. This must be done in a way that allows reasonable efficiency and scalability, including in concurrent and distributed processing contexts, in the case where a large percentage of of processing time is occupied with evaluating static pattern-matching queries on specific subgraphs of a large metagraph (including a rich variety of queries such as matches against nodes representing variables, and matches against whole subgraphs, etc.).


title: Combinatorial Decision Dags: A Natural Computational Model for General Intelligence

abstract: A novel computational model (CoDD) utilizing combinatory logic to create higher-order decision trees is presented. A theoretical analysis of general intelligence in terms of the formal theory of pattern recognition and pattern formation is outlined, and shown to take especially natural form in the case where patterns are expressed in CoDD language. Relationships between logical entropy and algorithmic information, and Shannon entropy and runtime complexity, are shown to be elucidated by this approach. Extension to the quantum computing case is also briefly discussed.


title: Grounding Occam's Razor in a Formal Theory of Simplicity

abstract: A formal theory of simplicity is introduced, in the context of a "combinational" computation model that views computation as comprising the iterated transformational and compositional activity of a population of agents upon each other. Conventional measures of simplicity in terms of algorithmic information etc. are shown to be special cases of a broader understanding of the core "symmetry" properties constituting what is defined here as a Compositional Simplicity Measure (CoSM). This theory of CoSMs is extended to a theory of CoSMOS (Combinational Simplicity Measure Operating Sets) which involve multiple simplicity measures utilized together. Given a vector of simplicity measures, an entity is associated not with an individual simplicity value but with a "simplicity bundles" of Pareto-optimal simplicity-value vectors. CoSMs and CoSMOS are then used as a foundation for a theory of pattern and multipattern, and a theory of hierarchy and heterarchy in systems of patterns. A formalization of the cognitive-systems notion of a "coherent dual network" interweaving hierarchy and heterarchy in a consistent way is presented. The high level end result of this investigation is to re-envision Occam's Razor as something like: When in doubt, prefer hypotheses whose simplicity bundles are Pareto optimal, partly because doing so both permits and benefits from the construction of coherent dual networks comprising coordinated and consistent multipattern hierarchies and heterarchies.


title: Studying the local magnetic field and anisotropy of magnetic turbulence by synchrotron polarization derivative

abstract: Due to the inevitable accumulation of the observed information in the direction of the line of sight, it is difficult to measure the local magnetic field of MHD turbulence. However, the correct understanding of the local magnetic field is a prerequisite for reconstructing the Galactic 3D magnetic field. We study how to reveal the local magnetic field direction and the eddy anisotropy on the basis of the statistics of synchrotron polarization derivative with respect to the squared wavelength $dP/d\lambda^2$. In the low frequency and strong Faraday rotation regime, we implement numerical simulations in the combination of multiple statistic techniques, such as structure function, quadrupole ratio modulus, spectral correlation function, correlation function anisotropy and spatial gradient techniques. We find that (1) statistic analysis of $dP/d\lambda^2$ indeed reveals the anisotropy of underlying MHD turbulence, the degree of which increases with the increase of the radiation frequency; (2) the synergy of both correlation function anisotropy and gradient calculation of $dP/d\lambda^2$ enables the measurement of the local magnetic field direction.


title: Cosmology with the Wide-Field Infrared Survey Telescope -- Multi-Probe Strategies

abstract: We simulate the scientific performance of the Wide-Field Infrared Survey Telescope (WFIRST) High Latitude Survey (HLS) on dark energy and modified gravity. The 1.6 year HLS Reference survey is currently envisioned to image 2000 deg$^2$ in multiple bands to a depth of $\sim$26.5 in Y, J, H and to cover the same area with slit-less spectroscopy beyond z=3. The combination of deep, multi-band photometry and deep spectroscopy will allow scientists to measure the growth and geometry of the Universe through a variety of cosmological probes (e.g., weak lensing, galaxy clusters, galaxy clustering, BAO, Type Ia supernova) and, equally, it will allow an exquisite control of observational and astrophysical systematic effects. In this paper we explore multi-probe strategies that can be implemented given WFIRST's instrument capabilities. We model cosmological probes individually and jointly and account for correlated systematics and statistical uncertainties due to the higher order moments of the density field. We explore different levels of observational systematics for the WFIRST survey (photo-z and shear calibration) and ultimately run a joint likelihood analysis in N-dim parameter space. We find that the WFIRST reference survey alone (no external data sets) can achieve a standard dark energy FoM of >300 when including all probes. This assumes no information from external data sets and realistic assumptions for systematics. Our study of the HLS reference survey should be seen as part of a future community driven effort to simulate and optimize the science return of WFIRST.


title: Modeling the Heterogeneity in COVID-19's Reproductive Number and its Impact on Predictive Scenarios

abstract: The correct evaluation of the reproductive number $R$ for COVID-19 -- which characterizes the average number of secondary cases generated by each typical primary case -- is central in the quantification of the potential scope of the pandemic and the selection of an appropriate course of action. In most models, $R$ is modeled as a universal constant for the virus across outbreak clusters and individuals -- effectively averaging out the inherent variability of the transmission process due to varying individual contact rates, population densities, demographics, or temporal factors amongst many. Yet, due to the exponential nature of epidemic growth, the error due to this simplification can be rapidly amplified and lead to inaccurate predictions and/or risk evaluation. From the statistical modeling perspective, the magnitude of the impact of this averaging remains an open question: how can this intrinsic variability be percolated into epidemic models, and how can its impact on uncertainty quantification and predictive scenarios be better quantified? In this paper, we propose to study this question through a Bayesian perspective, creating a bridge between the agent-based and compartmental approaches commonly used in the literature. After deriving a Bayesian model that captures at scale the heterogeneity of a population and environmental conditions, we simulate the spread of the epidemic as well as the impact of different social distancing strategies, and highlight the strong impact of this added variability on the reported results. We base our discussion on both synthetic experiments -- thereby quantifying of the reliability and the magnitude of the effects -- and real COVID-19 data.


title: Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties

abstract: Robots operating in real world settings must navigate and maintain safety while interacting with many heterogeneous agents and obstacles. Multi-Agent Control Barrier Functions (CBF) have emerged as a computationally efficient tool to guarantee safety in multi-agent environments, but they assume perfect knowledge of both the robot dynamics and other agents' dynamics. While knowledge of the robot's dynamics might be reasonably well known, the heterogeneity of agents in real-world environments means there will always be considerable uncertainty in our prediction of other agents' dynamics. This work aims to learn high-confidence bounds for these dynamic uncertainties using Matrix-Variate Gaussian Process models, and incorporates them into a robust multi-agent CBF framework. We transform the resulting min-max robust CBF into a quadratic program, which can be efficiently solved in real time. We verify via simulation results that the nominal multi-agent CBF is often violated during agent interactions, whereas our robust formulation maintains safety with a much higher probability and adapts to learned uncertainties


title: Improved Speech Representations with Multi-Target Autoregressive Predictive Coding

abstract: Training objectives based on predictive coding have recently been shown to be very effective at learning meaningful representations from unlabeled speech. One example is Autoregressive Predictive Coding (Chung et al., 2019), which trains an autoregressive RNN to generate an unseen future frame given a context such as recent past frames. The basic hypothesis of these approaches is that hidden states that can accurately predict future frames are a useful representation for many downstream tasks. In this paper we extend this hypothesis and aim to enrich the information encoded in the hidden states by training the model to make more accurate future predictions. We propose an auxiliary objective that serves as a regularization to improve generalization of the future frame prediction task. Experimental results on phonetic classification, speech recognition, and speech translation not only support the hypothesis, but also demonstrate the effectiveness of our approach in learning representations that contain richer phonetic content.


title: Multi-View Matching (MVM): Facilitating Multi-Person 3D Pose Estimation Learning with Action-Frozen People Video

abstract: To tackle the challeging problem of multi-person 3D pose estimation from a single image, we propose a multi-view matching (MVM) method in this work. The MVM method generates reliable 3D human poses from a large-scale video dataset, called the Mannequin dataset, that contains action-frozen people immitating mannequins. With a large amount of in-the-wild video data labeled by 3D supervisions automatically generated by MVM, we are able to train a neural network that takes a single image as the input for multi-person 3D pose estimation. The core technology of MVM lies in effective alignment of 2D poses obtained from multiple views of a static scene that has a strong geometric constraint. Our objective is to maximize mutual consistency of 2D poses estimated in multiple frames, where geometric constraints as well as appearance similarities are taken into account simultaneously. To demonstrate the effectiveness of 3D supervisions provided by the MVM method, we conduct experiments on the 3DPW and the MSCOCO datasets and show that our proposed solution offers the state-of-the-art performance.


title: Mean curvature interface limit from Glauber+Zero-range interacting particles

abstract: We derive a continuum mean-curvature flow as a certain hydrodynamic scaling limit of a class of Glauber+Zero-range particle systems. The Zero-range part moves particles while preserving particle numbers, and the Glauber part governs the creation and annihilation of particles and is set to favor two levels of particle density. When the two parts are simultaneously seen in certain different time-scales, the Zero-range part being diffusively scaled while the Glauber part is speeded up at a lesser rate, a mean-curvature interface flow emerges, with a homogenized `surface tension-mobility' parameter reflecting microscopic rates, between the two levels of particle density. We use relative entropy methods, along with a suitable `Boltzmann-Gibbs' principle, to show that the random microscopic system may be approximated by a `discretized' Allen-Cahn PDE with nonlinear diffusion. In turn, we show the behavior, especially generation and propagation of interface properties, of this `discretized' PDE.


title: On Error Correction Neural Networks for Economic Forecasting

abstract: Recurrent neural networks (RNNs) are more suitable for learning non-linear dependencies in dynamical systems from observed time series data. In practice all the external variables driving such systems are not known a priori, especially in economical forecasting. A class of RNNs called Error Correction Neural Networks (ECNNs) was designed to compensate for missing input variables. It does this by feeding back in the current step the error made in the previous step. The ECNN is implemented in Python by the computation of the appropriate gradients and it is tested on stock market predictions. As expected it out performed the simple RNN and LSTM and other hybrid models which involve a de-noising pre-processing step. The intuition for the latter is that de-noising may lead to loss of information.


title: Long-term scheduling and power control for wirelessly powered cell-free IoT

abstract: We investigate the long-term scheduling and power control scheme for a wirelessly powered cell-free Internet of Things (IoT) network which consists of distributed access points (APs) and large number of sensors. In each time slot, a subset of sensors are scheduled for uplink data transmission or downlink power transfer. Through asymptotic analysis, we obtain closedform expressions for the harvested energy and the achievable rates that are independent of random pilots. Then, using these expressions, we formulate a long-term scheduling and power control problem to maximize the minimum time average achievable rate among all sensors, while maintaining the battery state of each sensor higher than a predefined minimum level. Using Lyapunov optimization, the transmission mode, the active sensor set, and the power control coefficients for each time slot are jointly determined. Finally, simulation results validate the accuracy of our derived closed-form expressions and reveal that the minimum time average achievable rate is boosted significantly by the proposed scheme compare with the simple greedy transmission scheme.


title: Towards Green Mobile Edge Computing Offloading Systems with Security Enhancement

abstract: Mobile edge computing (MEC) is an emerging communication scheme that aims at reducing latency. In this paper, we investigate a green MEC system under the existence of an eavesdropper. We use computation efficiency, which is defined as the total number of bits computed divided by the total energy consumption, as our main metric. To alleviate stringent latency requirement, a joint secure offloading and computation model is proposed. Additionally, we formulate an optimization problem for maximizing computation efficiency, under several practical constraints. The non-convex problem is tackled by successive convex approximation and an iterative algorithm. Simulation results have verified the superiority of our proposed scheme, as well as the effectiveness of our problem solution.


title: A Fair and Privacy-Aware EV Discharging Strategy using Decentralized Whale Optimization Algorithm for Minimizing Cost of EVs and the EV Aggregator

abstract: A key motivation to fasten roll-out of electric vehicles (EVs) to the market is to implement Vehicle-to-Grid (V2G) functionalities. With V2G in place, EV owners can have extra freedom to interact their battery energy with power grids, namely by selling their energy to the grid when their EVs are not in use. On the other hand, EV aggregators and utility companies can leverage the flexibility of the collected energy to implement various ancillary services to the grids, which may significantly reduce costs of, for instance, running spinning reserve of traditional power plants on the grid side. However, this extra freedom also poses practical challenges in terms of how to devise a discharging strategy for a group of EVs that is fair and in some sense optimal. In this paper, we present a new design of EV discharging strategy in a typical V2G energy trading framework whilst leveraging the whale optimization algorithm in a decentralized manner, a metaheuristic algorithm that has been shown effective in solving large-scale centralized optimization problems. We demonstrate that by using simple ideas of data shuffling and aggregation, one can design an EV discharging strategy in a fair, optimal and privacy-aware manner, where the privacy refers to the fact that no critical information of EVs should be exchanged with the EV aggregator, and vice versa. The fairness implies that a common discharge rate needs to be sought for all EVs so that no one gets better benefits than others in the same V2G programme. Simulation results are presented to illustrate the efficacy of our proposed system.


title: Covariance Estimation for Matrix-valued Data

abstract: Covariance estimation for matrix-valued data has received an increasing interest in applications. Unlike previous works that rely heavily on matrix normal distribution assumption and the requirement of fixed matrix size, we propose a class of distribution-free regularized covariance estimation methods for high-dimensional matrix data under a separability condition and a bandable covariance structure. Under these conditions, the original covariance matrix is decomposed into a Kronecker product of two bandable small covariance matrices representing the variability over row and column directions. We formulate a unified framework for estimating bandable covariance, and introduce an efficient algorithm based on rank one unconstrained Kronecker product approximation. The convergence rates of the proposed estimators are established, and the derived minimax lower bound shows our proposed estimator is rate-optimal under certain divergence regimes of matrix size. We further introduce a class of robust covariance estimators and provide theoretical guarantees to deal with heavy-tailed data. We demonstrate the superior finite-sample performance of our methods using simulations and real applications from a gridded temperature anomalies dataset and a S&P 500 stock data analysis.


title: An Isoperimetric-Type Inequality for Spacelike Submanifold in the Minkowski Space

abstract: We prove an isoperimetric-type inequality for maximal, spacelike submanifold in the Minkowski space. The argument is based on the recent work of Brendle.


title: Covering $\mathsf{Irrep}(S_n)$ With Tensor Products and Powers

abstract: We study when a tensor product of irreducible representations of the symmetric group $S_n$ contains all irreducibles as subrepresentations; we say such a tensor product covers $\mathsf{Irrep}(S_n)$. Our results show that this behavior is typical. We first give a general sufficient criterion for tensor products to have this property, which holds asymptotically almost surely for constant-sized collections of (Plancherel or uniformly) random irreducibles. We also consider the minimal tensor power of a single fixed irreducible representation needed to cover $\mathsf{Irrep}(S_n)$. Here a simple lower bound comes from considering dimensions, and we show it is always tight up to a universal constant factor as was recently conjectured by Liebeck, Shalev, and Tiep.


title: From Quantized DNNs to Quantizable DNNs

abstract: This paper proposes Quantizable DNNs, a special type of DNNs that can flexibly quantize its bit-width (denoted as `bit modes' thereafter) during execution without further re-training. To simultaneously optimize for all bit modes, a combinational loss of all bit modes is proposed, which enforces consistent predictions ranging from low-bit mode to 32-bit mode. This Consistency-based Loss may also be viewed as certain form of regularization during training. Because outputs of matrix multiplication in different bit modes have different distributions, we introduce Bit-Specific Batch Normalization so as to reduce conflicts among different bit modes. Experiments on CIFAR100 and ImageNet have shown that compared to quantized DNNs, Quantizable DNNs not only have much better flexibility, but also achieve even higher classification accuracy. Ablation studies further verify that the regularization through the consistency-based loss indeed improves the model's generalization performance.


title: Explaining the Relationship between Internet and Democracy in Partly Free Countries Using Machine Learning Models

abstract: Previous studies have offered a variety of explanations on the relationship between democracy and the internet. However, most of these studies concentrate on regions, specific states or authoritarian regimes. No study has investigated the influence of the internet in partly free countries defined by the Freedom House. Moreover, very little is known about the effects of online censorship on the development, stagnation, or decline of democracy. Drawing upon the International Telecommunication Union, Freedom House, and World Bank databases and using machine learning methods, this study sheds new light on the effects of the internet on democratization in partly free countries. The findings suggest that internet penetration and online censorship both have a negative impact on democracy scores and the internet's effect on democracy scores is conditioned by online censorship. Moreover, results from random forest suggest that online censorship is the most important variable followed by governance index and education on democracy scores. The comparison of the various machine learning models reveals that the best predicting model is the 175-tree random forest model which has 92% accuracy. Also, this study might help "IT professionals" to see their important role not only in the technical fields but also in society in terms of democratization and how close IT is to social sciences.


title: Recent advances in opinion propagation dynamics: A 2020 Survey

abstract: Opinion dynamics have attracted the interest of researchers from different fields. Local interactions among individuals create interesting dynamics for the system as a whole. Such dynamics are important from a variety of perspectives. Group decision making, successful marketing, and constructing networks (in which consensus can be reached or prevented) are a few examples of existing or potential applications. The invention of the Internet has made the opinion fusion faster, unilateral, and on a whole different scale. Spread of fake news, propaganda, and election interferences have made it clear there is an essential need to know more about these dynamics. The emergence of new ideas in the field has accelerated over the last few years. In the first quarter of 2020, at least 50 research papers have emerged, either peer-reviewed and published or on pre-print outlets such as arXiv. In this paper, we summarize these ground-breaking ideas and their fascinating extensions and introduce newly surfaced concepts.


title: The ZX&-calculus: A complete graphical calculus for classical circuits using spiders

abstract: We give a complete presentation for the fragment, ZX&, of the ZX-calculus generated by the Z and X spiders (corresponding to copying and addition) along with the not gate and the and gate. To prove completeness, we freely add a unit and counit to the category TOF generated by the Toffoli gate and ancillary bits, showing that this yields the full subcategory of finite ordinals and functions with objects powers of two; and then perform a two way translation between this category and ZX&. A translation to some extension of TOF, as opposed to some fragment of the ZX-calculus, is a natural choice because of the multiplicative nature of the Toffoli gate. To this end, we show that freely adding counits to the semi-Frobenius algebras of a discrete inverse category is the same as constructing the Cartesian completion. In particular, for a discrete inverse category, the category of classical channels, the Cartesian completion and adding counits all produce the same category. Therefore, applying these constructions to TOF produces the full subcategory of finite ordinals and partial maps with objects powers of two. By glueing together the free counit completion and the free unit completion, this yields "qubit multirelations."


title: Location of Ritz values in the numerical range of normal matrices

abstract: Let $\mu_1$ be a complex number in the numerical range $W(A)$ of a normal matrix $A$. In the case when no eigenvalues of $A$ lie in the interior of $W(A)$, we identify the smallest convex region containing all possible complex numbers $\mu_2$ for which $\begin{bmatrix}\mu_1& *\\0& \mu_2\end{bmatrix}$ is a $2$-by-$2$ compression of $A$.


title: Machine Learning Based Solutions for Security of Internet of Things (IoT): A Survey

abstract: Over the last decade, IoT platforms have been developed into a global giant that grabs every aspect of our daily lives by advancing human life with its unaccountable smart services. Because of easy accessibility and fast-growing demand for smart devices and network, IoT is now facing more security challenges than ever before. There are existing security measures that can be applied to protect IoT. However, traditional techniques are not as efficient with the advancement booms as well as different attack types and their severeness. Thus, a strong-dynamically enhanced and up to date security system is required for next-generation IoT system. A huge technological advancement has been noticed in Machine Learning (ML) which has opened many possible research windows to address ongoing and future challenges in IoT. In order to detect attacks and identify abnormal behaviors of smart devices and networks, ML is being utilized as a powerful technology to fulfill this purpose. In this survey paper, the architecture of IoT is discussed, following a comprehensive literature review on ML approaches the importance of security of IoT in terms of different types of possible attacks. Moreover, ML-based potential solutions for IoT security has been presented and future challenges are discussed.


title: A Convex Parameterization of Robust Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) are a class of nonlinear dynamical systems often used to model sequence-to-sequence maps. RNNs have excellent expressive power but lack the stability or robustness guarantees that are necessary for many applications. In this paper, we formulate convex sets of RNNs with stability and robustness guarantees. The guarantees are derived using incremental quadratic constraints and can ensure global exponential stability of all solutions, and bounds on incremental $ \ell_2 $ gain (the Lipschitz constant of the learned sequence-to-sequence mapping). Using an implicit model structure, we construct a parametrization of RNNs that is jointly convex in the model parameters and stability certificate. We prove that this model structure includes all previously-proposed convex sets of stable RNNs as special cases, and also includes all stable linear dynamical systems. We illustrate the utility of the proposed model class in the context of non-linear system identification.


title: Producing 3d Ricci flows with non-negative Ricci curvature via singular Ricci flows

abstract: We extend the concept of singular Ricci flow by Kleiner and Lott from 3d compact manifolds to 3d complete manifolds with possibly unbounded curvature. As an application of the generalized singular Ricci flow, we show that for any 3d complete Riemannian manifold with non-negative Ricci curvature, there exists a smooth Ricci flow starting from it.


title: Finite presentability of universal central extensions of ${\mathfrak{sl}_n}$

abstract: In this paper we discuss finite presentability of the universal central extensions of Lie algebras ${\mathfrak{sl}_n(R)}$, where $n\geq 3$ and $R$ is a unital associative $k$-algebra. We show that a universal central extension is finitely presented if and only if the algebra $R$ is finitely presented.


title: Finite presentability of universal central extensions of ${\mathfrak{sl}_n}$, II

abstract: In this note we connect finite presentability of a Jordan algebra to finite presentability of its Tits-Kantor-Koecher algebra. Through this we complete our discussion of finite presentability of universal central extensions of ${\mathfrak{sl}_n(A)}$, $A$ a $k$-algebra, initiated in our previous paper, and answer a question raised by Shestakov-Zelmanov in the positive.


title: Rule 184 fuzzy cellular automaton as a mathematical model for traffic flow

abstract: The rule 184 fuzzy cellular automaton is regarded as a mathematical model of traffic flow because it contains the two fundamental traffic flow models, the rule 184 cellular automaton and the Burgers equation, as special cases. We show that the fundamental diagram (flux-density diagram) of this model consists of three parts: a free-flow part, a congestion part and a two-periodic part. The two-periodic part, which may correspond to the synchronized mode region, is a two-dimensional area in the diagram, the boundary of which consists of the free-flow and the congestion parts. We prove that any state in both the congestion and the two-periodic parts is stable, but is not asymptotically stable, while that in the free-flow part is unstable. Transient behaviour of the model and bottle-neck effects are also examined by numerical simulations. Furthermore, to investigate low or high density limit, we consider ultradiscrete limit of the model and show that any ultradiscrete state turns to a travelling wave state of velocity one in finite time steps for generic initial conditions.


title: Quiver Gauge Theories: Beyond Reflexivity

abstract: Reflexive polygons have been extensively studied in a variety of contexts in mathematics and physics. We generalize this programme by looking at the 45 different lattice polygons with two interior points up to SL(2,$\mathbb{Z}$) equivalence. Each corresponds to some affine toric 3-fold as a cone over a Sasaki-Einstein 5-fold. We study the quiver gauge theories of D3-branes probing these cones, which coincide with the mesonic moduli space. The minimum of the volume function of the Sasaki-Einstein base manifold plays an important role in computing the R-charges. We analyze these minimized volumes with respect to the topological quantities of the compact surfaces constructed from the polygons. Unlike reflexive polytopes, one can have two fans from the two interior points, and hence give rise to two smooth varieties after complete resolutions, leading to an interesting pair of closely related geometries and gauge theories.


title: Searching the Entirety of Kepler Data. II. Occurrence Rate Estimates for FGK Stars

abstract: We present exoplanet occurrence rates estimated with approximate Bayesian computation for planets with radii between 0.5 and 16 $R_{\bigoplus}$ and orbital periods between 0.78 and 400 days, orbiting FGK dwarf stars. We base our results on an independent planet catalogue compiled from our search of all ~200,000 stars observed over the Kepler mission, with precise planetary radii supplemented by Gaia DR2-incorporated stellar radii. We take into account detection and vetting efficiency, planet radius uncertainty, and reliability against transit-like noise signals in the data. By analyzing our FGK occurrence rates as well as those computed after separating F-, G-, and K-type stars, we explore dependencies on stellar effective temperature, planet radius, and orbital period. We reveal new characteristics of the photoevaporation-driven "radius gap" between ~1.5 and 2 $R_{\bigoplus}$, indicating that the bimodal distribution previously revealed for $P$ < 100 days exists only over a much narrower range of orbital periods, above which sub-Neptunes dominate and below which super-Earths dominate. Finally, we provide several estimates of the "eta-Earth" value -- the frequency of potentially habitable, rocky planets orbiting Sun-like stars. For planets with sizes 0.75 - 1.5 $R_{\bigoplus}$ orbiting in a conservatively defined habitable zone (0.99 - 1.70 AU) around G-type stars, we place an upper limit (84.1th percentile) of <0.18 planets per star.


title: Graphsurge: Graph Analytics on View Collections Using Differential Computation

abstract: This paper presents the design and implementation of a new open-source view-based graph analytics system called Graphsurge. Graphsurge is designed to support applications that analyze multiple snapshots or views of a large-scale graph. Users program Graphsurge through a declarative graph view definition language (GVDL) to create views over input graphs and a Differential Dataflow-based programming API to write analytics computations. A key feature of GVDL is the ability to organize views into view collections, which allows Graphsurge to automatically share computation across views, without users writing any incrementalization code, by performing computations differentially. We then introduce two optimization problems that naturally arise in our setting. First is the collection ordering problem to determine the order of views that leads to minimum differences across consecutive views. We prove this problem is NP-hard and show a constant-factor approximation algorithm drawn from literature. Second is the collection splitting problem to decide on which views to run computations differentially vs from scratch, for which we present an adaptive solution that makes decisions at runtime. We present extensive experiments to demonstrate the benefits of running computations differentially for view collections and our collection ordering and splitting optimizations.


title: Detached Error Feedback for Distributed SGD with Random Sparsification

abstract: The communication bottleneck has been a critical problem in large-scale distributed deep learning. In this work, we study distributed SGD with random block-wise sparsification as the gradient compressor, which is ring-allreduce compatible and highly computation-efficient but leads to inferior performance. To tackle this important issue, we improve the communication-efficient distributed SGD from a novel aspect, that is, the trade-off between the variance and second moment of the gradient. With this motivation, we propose a new detached error feedback (DEF) algorithm, which shows better convergence bound than error feedback for non-convex problems. We also propose DEF-A to accelerate the generalization of DEF at the early stages of the training, which shows better generalization bounds than DEF. Furthermore, we establish the connection between communication-efficient distributed SGD and SGD with iterate averaging (SGD-IA) for the first time. Extensive deep learning experiments show significant empirical improvement of the proposed methods under various settings.


title: Quantitative Stability and Error Estimates for Optimal Transport Plans

abstract: Optimal transport maps and plans between two absolutely continuous measures $\mu$ and $\nu$ can be approximated by solving semi-discrete or fully-discrete optimal transport problems. These two problems ensue from approximating $\mu$ or both $\mu$ and $\nu$ by Dirac measures. Extending an idea from [Gigli, On H\"older continuity-in-time of the optimal transport map towards measures along a curve], we characterize how transport plans change under perturbation of both $\mu$ and $\nu$. We apply this insight to prove error estimates for semi-discrete and fully-discrete algorithms in terms of errors solely arising from approximating measures. We obtain weighted $L^2$ error estimates for both types of algorithms with a convergence rate $O(h^{1/2})$. This coincides with the rate in [Berman, Convergence rates for discretized Monge--Amp\`ere equations and quantitative stability of Optimal Transport, Theorem 5.4] for semi-discrete methods, but the error notion is different.


title: Cooperative relaying in a SWIPT network:Asymptotic analysis using extreme value theory for non-identically distributed RVs

abstract: This paper derives the distribution of the maximum end-to-end (e2e) signal to noise ratio (SNR) in an opportunistic relay selection based cooperative relaying (CR) network having large number of non-identical relay links between the source and destination node. The source node is assumed to be simultaneous wireless information and power transfer (SWIPT) enabled and the relays are capable of both time splitting (TS) and power splitting (PS) based energy harvesting (EH). Contrary to the majority of literature in communication, which uses extreme value theory (EVT) to derive the statistics of extremes of sequences of independent and identically distributed (i.i.d.) random variables (RVs), we demonstrate how tools from EVT can be used to derive the asymptotic statistics of sequences of independent and non-identically distributed (i.n.i.d.) normalised SNR RVs and hence characterise the distribution of the maximum e2e SNR RV. Using these results we derive the expressions for ergodic and outage capacities at the destination node. Finally, we present the utility of the asymptotic results for deciding the optimum TS and PS factors of the hybrid EH relays that (i) minimise outage probability and (ii) maximise ergodic capacity at the destination. Furthermore, we demonstrate how stochastic ordering results can be utilised for simplifying these optimisation problems.


title: Symplectic group methods and the Arthurs Kelly model of measurement in quantum mechanics

abstract: We study the use of methods based on the real symplectic groups $Sp(2n,\mathcal{R})$ in the analysis of the Arthurs-Kelly model of proposed simultaneous measurements of position and momentum in quantum mechanics. Consistent with the fact that such measurements are in fact not possible, we show that the observable consequences of the Arthurs-Kelly interaction term are contained in the symplectic transformation law connecting the system plus apparatus variance matrices at an initial and a final time. The individual variance matrices are made up of averages and spreads or uncertainties for single hermitian observables one at a time, which are quantum mechanically well defined. The consequences of the multimode symplectic covariant Uncertainty Principle in the Arthurs-Kelly context are examined.


title: Wolf phase tomography (WPT) of transparent structures using partially coherent illumination

abstract: Diffraction tomography using coherent holographic imaging has been proposed by Emil Wolf in 1969 to extract 3D information from transparent, inhomogeneous objects. At the same time, the Wolf equations describe the propagation correlations associated with partially coherent fields. Combining these two concepts, here we present Wolf phase tomography (WPT), which is a method for performing diffraction tomography using partially coherent fields. The WPT reconstruction works in the direct space-time domain, without the need of Fourier transformation, and decouples the refractive index distribution from the thickness of the sample. We demonstrate the WPT principle using data acquired by spatial light interference microscopy (SLIM). SLIM is a quantitative phase imaging method that upgrades an existing phase contrast microscope by introducing controlled phase shifts between the incident and scattered fields. The illumination field in SLIM is spatially partially coherent (emerging from a ring-shaped pupil function) and of low temporal coherence (white light), thus, suitable for the Wolf equations. From three intensity measurements corresponding to different phase-contrast frames in SLIM, the 3D refractive index distribution is obtained right away by computing the Laplacian and second time derivative of the measured complex correlation function. The high-throughput and simplicity of this method enables the study of 3D, dynamic events in living cells across entire multi-well plates, with RI sensitivity on the order of 10-5. We validate WPT with measurements of standard samples (microbeads), spermatozoa, and live neural networks.


title: Object-oriented SLAM using Quadrics and Symmetry Properties for Indoor Environments

abstract: Aiming at the application environment of indoor mobile robots, this paper proposes a sparse object-level SLAM algorithm based on an RGB-D camera. A quadric representation is used as a landmark to compactly model objects, including their position, orientation, and occupied space. The state-of-art quadric-based SLAM algorithm faces the observability problem caused by the limited perspective under the plane trajectory of the mobile robot. To solve the problem, the proposed algorithm fuses both object detection and point cloud data to estimate the quadric parameters. It finishes the quadric initialization based on a single frame of RGB-D data, which significantly reduces the requirements for perspective changes. As objects are often observed locally, the proposed algorithm uses the symmetrical properties of indoor artificial objects to estimate the occluded parts to obtain more accurate quadric parameters. Experiments have shown that compared with the state-of-art algorithm, especially on the forward trajectory of mobile robots, the proposed algorithm significantly improves the accuracy and convergence speed of quadric reconstruction. Finally, we made available an opensource implementation to replicate the experiments.


title: Inter-Region Affinity Distillation for Road Marking Segmentation

abstract: We study the problem of distilling knowledge from a large deep teacher network to a much smaller student network for the task of road marking segmentation. In this work, we explore a novel knowledge distillation (KD) approach that can transfer 'knowledge' on scene structure more effectively from a teacher to a student model. Our method is known as Inter-Region Affinity KD (IntRA-KD). It decomposes a given road scene image into different regions and represents each region as a node in a graph. An inter-region affinity graph is then formed by establishing pairwise relationships between nodes based on their similarity in feature distribution. To learn structural knowledge from the teacher network, the student is required to match the graph generated by the teacher. The proposed method shows promising results on three large-scale road marking segmentation benchmarks, i.e., ApolloScape, CULane and LLAMAS, by taking various lightweight models as students and ResNet-101 as the teacher. IntRA-KD consistently brings higher performance gains on all lightweight models, compared to previous distillation methods. Our code is available at https://github.com/cardwing/Codes-for-IntRA-KD.


title: Pathwise unique solutions and stochastic averaging for mixed stochastic partial differential equations driven by fractional Brownian motion and Brownian motion

abstract: This paper is devoted to a system of stochastic partial differential equations (SPDEs) that have a slow component driven by fractional Brownian motion (fBm) with the Hurst parameter $H >1/2$ and a fast component driven by fast-varying diffusion. It improves previous work in two aspects: Firstly, using a stopping time technique and an approximation of the fBm, we prove an existence and uniqueness theorem for a class of mixed SPDEs driven by both fBm and Brownian motion; Secondly, an averaging principle in the mean square sense for SPDEs driven by fBm subject to an additional fast-varying diffusion process is established. To carry out these improvements, we combine the pathwise approach based on the generalized Stieltjes integration theory with the It\^o stochastic calculus. Then, we obtain a desired limit process of the slow component which strongly relies on an invariant measure of the fast-varying diffusion process.


title: Identification of molecular quantum states using phase-sensitive forces

abstract: Quantum-logic techniques used to manipulate quantum systems are now increasingly being applied to molecules. Previous experiments on single trapped diatomic species have enabled state detection with excellent fidelities and highly precise spectroscopic measurements. However, for complex molecules with a dense energy-level structure improved methods are necessary. Here, we demonstrate an enhanced quantum protocol for molecular state detection using state-dependent forces. Our approach is based on interfering a reference and a signal force applied to a single atomic and molecular ion, respectively, in order to extract their relative phase. We use this phase information to identify states embedded in a dense molecular energy-level structure and to monitor state-to-state inelastic scattering processes. This method can also be used to exclude a large number of states in a single measurement when the initial state preparation is imperfect and information on the molecular properties is incomplete. While the present experiments focus on N$_2^+$, the method is general and is expected to be of particular benefit for polyatomic systems.


title: Bayesian Shrinkage towards Sharp Minimaxity

abstract: Shrinkage prior are becoming more and more popular in Bayesian modeling for high dimensional sparse problems due to its computational efficiency. Recent works show that a polynomially decaying prior leads to satisfactory posterior asymptotics under regression models. In the literature, statisticians have investigated how the global shrinkage parameter, i.e., the scale parameter, in a heavy tail prior affects the posterior contraction. In this work, we explore how the shape of the prior, or more specifically, the polynomial order of the prior tail affects the posterior. We discover that, under the sparse normal means models, the polynomial order does affect the multiplicative constant of the posterior contraction rate. More importantly, if the polynomial order is sufficiently close to 1, it will induce the optimal Bayesian posterior convergence, in the sense that the Bayesian contraction rate is sharply minimax, i.e., not only the order, but also the multiplicative constant of the posterior contraction rate are optimal. The above Bayesian sharp minimaxity holds when the global shrinkage parameter follows a deterministic choice which depends on the unknown sparsity $s$. Therefore, a Beta-prior modeling is further proposed, such that our sharply minimax Bayesian procedure is adaptive to unknown $s$. Our theoretical discoveries are justified by simulation studies.


title: Statistical inference and Bayesian optimal life-testing plans under Type-II unified hybrid censoring scheme

abstract: This article describes the inferential procedures and Bayesian optimal life-testing issues under Type-II unified hybrid censoring scheme. First, the explicit expressions of expected number of failures, expected duration of testing and Fisher information matrix for the unknown parameters of the underlying lifetime model are derived. Then, using these quantities, the Bayesian optimal life-testing plans are computed in subsequent section. A cost constraint D-optimal optimization problem has been formulated and the corresponding solution algorithm is provided to obtain optimal plans. Computational procedures are illustrated through numerical examples.


title: Grammar-compressed Self-index with Lyndon Words

abstract: We introduce a new class of straight-line programs (SLPs), named the Lyndon SLP, inspired by the Lyndon trees (Barcelo, 1990). Based on this SLP, we propose a self-index data structure of $O(g)$ words of space that can be built from a string $T$ in $O(n \lg n)$ expected time, retrieving the starting positions of all occurrences of a pattern $P$ of length $m$ in $O(m + \lg m \lg n + occ \lg g)$ time, where $n$ is the length of $T$, $g$ is the size of the Lyndon SLP for $T$, and $occ$ is the number of occurrences of $P$ in $T$.


title: Probabilistic Oriented Object Detection in Automotive Radar

abstract: Autonomous radar has been an integral part of advanced driver assistance systems due to its robustness to adverse weather and various lighting conditions. Conventional automotive radars use digital signal processing (DSP) algorithms to process raw data into sparse radar pins that do not provide information regarding the size and orientation of the objects. In this paper, we propose a deep-learning based algorithm for radar object detection. The algorithm takes in radar data in its raw tensor representation and places probabilistic oriented bounding boxes around the detected objects in bird's-eye-view space. We created a new multimodal dataset with 102544 frames of raw radar and synchronized LiDAR data. To reduce human annotation effort we developed a scalable pipeline to automatically annotate ground truth using LiDAR as reference. Based on this dataset we developed a vehicle detection pipeline using raw radar data as the only input. Our best performing radar detection model achieves 77.28\% AP under oriented IoU of 0.3. To the best of our knowledge, this is the first attempt to investigate object detection with raw radar data for conventional corner automotive radars.


title: A general velocity correction scheme for two-way coupled point-particle simulations

abstract: The accuracy of Euler-Lagrange point-particle models employed in particle-laden fluid flow simulations depends on accurate estimation of the particle force through closure models. Typical force closure models require computation of the slip velocity at the particle location, which in turn requires accurate estimation of the undisturbed fluid velocity. However, when the fluid and particle phases are two-way coupled the fluid velocity field is disturbed by the presence of the particle. A common practice is to use the disturbed velocity to compute the particle force which can result in errors as much as 100% in predicting the particle dynamics. In this work, a general velocity correction scheme is developed that facilitates accurate estimation of the undisturbed fluid velocity in particle-laden fluid flows with and without no-slip walls. The model can handle particles of different size, arbitrary interpolation functions, anisotropic grids with large aspect ratios, and wall-bounded flows. The present correction scheme is motivated by the recent work of Esmaily & Horwitz (JCP, 2018) on unbounded particle-laden flows. Modifications necessary for wall-bounded flows are developed such that the undisturbed fluid velocity at any wall distance is accurately recovered, asymptotically approaching the unbounded scheme for particles far away from walls. A detailed series of verification tests were conducted on settling velocity of a particle in parallel and perpendicular motions to a no-slip wall. A range of flow parameters and grid configurations; involving anisotropic grids with aspect ratios typically encountered in particle-laden turbulent channel flows, were considered in detail. When the wall effects are accounted for, the present correction scheme reduces the errors in predicting the near-wall particle motion by one order of magnitude smaller values compared to the unbounded correction schemes.


title: Analysis on the black hole formations inside old neutron stars by isospin-violating dark matter with self-interaction

abstract: Fermionic dark matter (DM) with attractive self-interaction is possible to form black holes (BH) inside the Gyr-old neutron stars (NS). Therefore by observing such NS corresponding to their adjacent DM environments can place bounds on DM properties, eg. DM-baryon cross section $\sigma_{\chi b}$, DM mass $m_{\chi}$, dark coupling $\alpha_\chi$ and mediator mass $m_\phi$. In case of isospin violation, DM couples to neutron and proton in different strengths. Even NS is composed of protons roughly one to two percent of the total baryons, the contribution from protons to the DM capture rate could be drastically changed in the presence of isospin violation. We demonstrate that this effect can be important in certain cases. On the other hand, DM-forming BH inside the star is subject to many criteria and the underlying dynamics is rich with interesting features. We also systematically review the relevant physics based on the virial equation. Moreover, an accompanied python package \texttt{dm2nsbh} to realize the mechanism is also released on the github for other relevant research.


title: Comment on "Chaotic-Integrable Transition in the Sachdev-Ye-Kitaev Model"

abstract: In arXiv:1707.02197, the authors considered the Sachdev-Ye-Kitaev model with quadratic perturbation (also known as mass-deformed SYK), and claimed that the quantum Lyapunov exponent would vanish in the regime of low temperature and small quartic coupling. We calculate the exponent exactly in that regime and show that it is nonzero.


title: Brillouin Light Scattering of Spin Waves Inaccessible with Free-Space Light

abstract: Micro-focus Brillouin light scattering is a powerful technique for the spectroscopic and spatial characterization of elementary excitations in materials. However, the small momentum of light limits the accessible excitations to the center of the Brillouin zone. Here, we utilize a metallic nanoantenna fabricated on the archetypal ferrimagnet yttrium iron garnet to demonstrate the possibility of Brillouin light scattering from large-wavevector, high-frequency spin wave excitations that are inaccessible with free-space light. The antenna facilitates sub-diffraction confinement of electromagnetic field, which enhances the local field intensity and generates momentum components significantly larger than those of free-space light. Our approach provides access to high frequency spin waves important for fast nanomagnetic devices, and can be generalized to other types of excitations and light scattering techniques.


title: The Uncertainty Principle of Quantum Processes

abstract: Heisenberg's uncertainty principle, which imposes intrinsic restrictions on our ability to predict the outcomes of incompatible quantum measurements to arbitrary precision, demonstrates one of the key differences between classical and quantum mechanics. The physical systems considered in the uncertainty principle are static in nature and described mathematically with a quantum state in a Hilbert space. However, many physical systems are dynamic in nature and described with the formalism of a quantum channel. In this paper, we show that the uncertainty principle can be reformulated to include process-measurements that are performed on quantum channels. Since both quantum states and quantum measurements are themselves special cases of quantum channels, our formalism encapsulates the uncertainty principle in its utmost generality. More specifically, we obtain expressions that generalize the Maassen-Uffink uncertainty relation and the universal uncertainty relations from quantum states to quantum channels.


title: Ivy: Instrumental Variable Synthesis for Causal Inference

abstract: A popular way to estimate the causal effect of a variable x on y from observational data is to use an instrumental variable (IV): a third variable z that affects y only through x. The more strongly z is associated with x, the more reliable the estimate is, but such strong IVs are difficult to find. Instead, practitioners combine more commonly available IV candidates---which are not necessarily strong, or even valid, IVs---into a single "summary" that is plugged into causal effect estimators in place of an IV. In genetic epidemiology, such approaches are known as allele scores. Allele scores require strong assumptions---independence and validity of all IV candidates---for the resulting estimate to be reliable. To relax these assumptions, we propose Ivy, a new method to combine IV candidates that can handle correlated and invalid IV candidates in a robust manner. Theoretically, we characterize this robustness, its limits, and its impact on the resulting causal estimates. Empirically, Ivy can correctly identify the directionality of known relationships and is robust against false discovery (median effect size <= 0.025) on three real-world datasets with no causal effects, while allele scores return more biased estimates (median effect size >= 0.118).


title: Volumetric Displacement Effects of Dispersed Phase on the Euler-Lagrange Prediction of a Dense Spray

abstract: Accurate prediction of a dense spray using an Euler-Lagrange approach is challenging because of high volume fraction of the dispersed phase due to subgrid cluster of droplets. To accurately model dense sprays, one needs to capture this effect by taking into account the spatio-temporal changes in the volume fraction of the carrier phase due to the motion and presence of the dispersed phase. This leads to zero-Mach number, variable density equations which are commonly neglected in the standard two-way coupling spray simulations. Using pressure-based solvers, this gives rise to a source term in the pressure Poisson equation and a non-divergence free velocity field. To validate the predictive capability of such approach, an atomized non-evaporating dilute particulate round jet is first examined using Large Eddy Simulation coupled with Point-Particle approach and then higher volume loadings up to 38% are investigated with and without taking into account the volumetric displacement effects. It is shown that for volume loadings above 5%, the volumetric displacement effects enhance dynamics of the flow resulting in a higher stream-wise mean and r.m.s. velocities compared to the results of standard two-way coupling. This is more pronounced for the near field of the jet where local volume fraction of the dispersed phase is relatively high. This enhancement is conjectured to be due to the velocity divergence effect due to the modified continuity equation where spatio-temporal variations in volume fraction of the carrier phase increases velocity in the regions of high void fraction.


title: Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare Diseases

abstract: Mortality prediction of diverse rare diseases using electronic health record (EHR) data is a crucial task for intelligent healthcare. However, data insufficiency and the clinical diversity of rare diseases make it hard for directly training deep learning models on individual disease data or all the data from different diseases. Mortality prediction for these patients with different diseases can be viewed as a multi-task learning problem with insufficient data and large task number. But the tasks with little training data also make it hard to train task-specific modules in multi-task learning models. To address the challenges of data insufficiency and task diversity, we propose an initialization-sharing multi-task learning method (Ada-Sit) which learns the parameter initialization for fast adaptation to dynamically measured similar tasks. We use Ada-Sit to train long short-term memory networks (LSTM) based prediction models on longitudinal EHR data. And experimental results demonstrate that the proposed model is effective for mortality prediction of diverse rare diseases.


title: KD-MRI: A knowledge distillation framework for image reconstruction and image restoration in MRI workflow

abstract: Deep learning networks are being developed in every stage of the MRI workflow and have provided state-of-the-art results. However, this has come at the cost of increased computation requirement and storage. Hence, replacing the networks with compact models at various stages in the MRI workflow can significantly reduce the required storage space and provide considerable speedup. In computer vision, knowledge distillation is a commonly used method for model compression. In our work, we propose a knowledge distillation (KD) framework for the image to image problems in the MRI workflow in order to develop compact, low-parameter models without a significant drop in performance. We propose a combination of the attention-based feature distillation method and imitation loss and demonstrate its effectiveness on the popular MRI reconstruction architecture, DC-CNN. We conduct extensive experiments using Cardiac, Brain, and Knee MRI datasets for 4x, 5x and 8x accelerations. We observed that the student network trained with the assistance of the teacher using our proposed KD framework provided significant improvement over the student network trained without assistance across all the datasets and acceleration factors. Specifically, for the Knee dataset, the student network achieves $65\%$ parameter reduction, 2x faster CPU running time, and 1.5x faster GPU running time compared to the teacher. Furthermore, we compare our attention-based feature distillation method with other feature distillation methods. We also conduct an ablative study to understand the significance of attention-based distillation and imitation loss. We also extend our KD framework for MRI super-resolution and show encouraging results.


title: Precise pulse shaping for quantum control of strong optical transitions

abstract: Advances of quantum control technology have led to nearly perfect single-qubit control of nuclear spins and atomic hyperfine ground states. In contrast, quantum control of strong optical transitions, even for free atoms, are far from being perfect. Developments of such quantum control appears to be bottlenecked by available laser technology for generating isolated, sub-nanosecond optical waveforms with sub-THz programming bandwidth. Here we propose a simple and robust method for the desired pulse shaping, based on precisely stacking multiple delayed picosecond pulses. Our proof-of-principal demonstration leads to arbitrarily shapeable optical waveforms with 30~GHz bandwidth and $100~$ps duration. We confirm the stability of the waveforms by interfacing the pulses with laser-cooled atoms, resulting in ``super-resolved'' spectroscopic signals. This pulse shaping method may open exciting perspectives in quantum optics, and for fast laser cooling and atom interferometry with mode-locked lasers.


title: Topological properties of some function spaces

abstract: Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from $X$ to $Y$ endowed with the $\mathcal{I}$-open topology. We prove that $C_{\mathcal{I}}(X,Y)$ is Fr\'{e}chet - Urysohn iff $X$ has the property $\gamma_{\mathcal{I}}$. We characterize zero - dimensional Tychonoff spaces $X$ for which the space $C_{\mathcal{I}}(X,{\bf 2})$ is sequential. Extending the classical theorems of Gerlits, Nagy and Pytkeev we show that if $Y$ is not compact, then $C_{p}(X,Y)$ is Fr\'{e}chet - Urysohn iff it is sequential iff it is a $k$-space iff $X$ has the property $\gamma$. An analogous result is obtained for the space of bounded continuous functions taking values in a metrizable locally convex space. Denote by $B_{1}(X,Y)$ and $B(X,Y)$ the space of Baire one functions and the space of all Baire functions from $X$ to $Y$, respectively. If $H$ is a subspace of $B(X,Y)$ containing $B_{1}(X,Y)$, then $H$ is metrizable iff it is a $\sigma$ - space iff it has countable $cs^*$ - character iff $X$ is countable. If additionally $Y$ is not compact, then $H$ is Fr\'{e}chet - Urysohn iff it is sequential iff it is a $k$ - space iff it has countable tightness iff $X_{\aleph_0}$ has the property $\gamma$, where $X_{\aleph_0}$ is the space $X$ with the Baire topology. We show that if $X$ is a Polish space, then the space $B_{1}(X,\mathbb{R})$ is normal iff $X$ is countable.


title: Holding-Based Evaluation upon Actively Managed Stock Mutual Funds in China

abstract: We analyze actively managed mutual funds in China from 2005 to 2017. We develop performance measures for asset allocation and selection. We find that stock selection ability from holding-based model is positively correlated with selection ability estimated from Fama-French three-factor model, which is price-based regression model. We also find that industry allocation from holding-based model is positively correlated with timing ability estimated from price-based Treynor-Mazuy model most of the time. We conclude that most actively managed funds have positive stock selection ability but not asset allocation ability, which is due to the difficulty in predicting policy changes.


title: Improving Disfluency Detection by Self-Training a Self-Attentive Model

abstract: Self-attentive neural syntactic parsers using contextualized word embeddings (e.g. ELMo or BERT) currently produce state-of-the-art results in joint parsing and disfluency detection in speech transcripts. Since the contextualized word embeddings are pre-trained on a large amount of unlabeled data, using additional unlabeled data to train a neural model might seem redundant. However, we show that self-training - a semi-supervised technique for incorporating unlabeled data - sets a new state-of-the-art for the self-attentive parser on disfluency detection, demonstrating that self-training provides benefits orthogonal to the pre-trained contextualized word representations. We also show that ensembling self-trained parsers provides further gains for disfluency detection.


title: Improving Semantic Segmentation through Spatio-Temporal Consistency Learned from Videos

abstract: We leverage unsupervised learning of depth, egomotion, and camera intrinsics to improve the performance of single-image semantic segmentation, by enforcing 3D-geometric and temporal consistency of segmentation masks across video frames. The predicted depth, egomotion, and camera intrinsics are used to provide an additional supervision signal to the segmentation model, significantly enhancing its quality, or, alternatively, reducing the number of labels the segmentation model needs. Our experiments were performed on the ScanNet dataset.


title: Evolving efficiency and robustness of global oil trade networks

abstract: As a vital strategic resource, oil has an essential influence on the world economy, diplomacy and military development. Using oil trade data to dynamically monitor and warn about international trade risks is an urgent need. Based on the UN Comtrade data from 1988 to 2017, we construct unweighted and weighted global oil trade networks (OTNs). Complex network theories have some advantages in analyzing global oil trade as a system with numerous economies and complicated relationships. This paper establishes a trading-based network model for global oil trade to study the evolving efficiency, criticality and robustness of economies and the relationships between oil trade partners. The results show that for unweighted OTNs, the efficiency of oil flows gradually increases with growing complexity of the OTNs, and the weighted efficiency indicators are more capable of highlighting the impact of major events on the OTNs. The identified critical economies and trade relationships have more important strategic significance in the real market. The simulated deliberate attacks corresponding to national bankruptcy, trade blockade, and economic sanctions have a more significant impact on the robustness than random attacks. When the economies are promoting high-quality economic development, and continuously enhancing positions in the OTN, more attention needs be paid to the identified critical economies and trade relationships. To conclude, some suggestions for application are given according to the results.