title: White paper for Chandra cool attitude targets (CAT): Stellar activity with TESS and Chandra

abstract: All cool stars show magnetic activity, and X-ray emission is the hallmark of this activity. Gaining an understanding of activity aids us in answering fundamental questions about stellar astrophysics and in determining the impact of activity on the exoplanets that orbit these stars. Stellar activity is driven by magnetic fields, which are ultimately powered by convection and stellar rotation. However, the resulting dynamo properties heavily depend on the stellar interior structure and are far from being understood. X-ray radiation can evaporate exoplanet atmospheres and damage organic materials on the planetary surface, reducing the probability that life can form or be sustained, but also provides an important source of energy for prebiotic chemical reactions. Over the next two years, the TESS mission will deliver a catalog of the closest exoplanets, along with rotation periods and activity diagnostics for millions of stars, whether or not they have a planet. We propose to include all cool stars that are TESS targets and bright enough for Chandra observations, as determined by their detection and flux in the ROSAT all-sky survey (RASS), to the list of Chandra Cool Attitude Targets (CATs). For each target, the signal will be sufficient to fit the coronal plasma with at least two temperature components, and compare abundances of groups of elements with low, medium, or high first ionization potential. Similar to the known relation between X-ray luminosity $L_X$ and rotation period, we can correlate stellar properties with coronal temperatures and abundances to constrain models for stellar activity, coronal heating, and stellar dynamos. Detailed X-ray characterization for even a subset of planet-hosting systems would dramatically advance our knowledge of what impact these emissions have on orbiting planets.


title: Deep Generative Design: Integration of Topology Optimization and Generative Models

abstract: Deep learning has recently been applied to various research areas of design optimization. This study presents the need and effectiveness of adopting deep learning for generative design (or design exploration) research area. This work proposes an artificial intelligent (AI)-based design automation framework that is capable of generating numerous design options which are not only aesthetic but also optimized for engineering performance. The proposed framework integrates topology optimization and deep generative models (e.g., generative adversarial networks (GANs)) in an iterative manner to explore new design options, thus generating a large number of designs starting from limited previous design data. In addition, anomaly detection can evaluate the novelty of generated designs, thus helping designers choose among design options. The 2D wheel design problem is applied as a case study for validation of the proposed framework. The framework manifests better aesthetics, diversity, and robustness of generated designs than previous generative design methods.


title: A Machine Learning-Based Detection Technique for Optical Fiber Nonlinearity Mitigation

abstract: We investigate the performance of a machine learning classification technique, called the Parzen window, to mitigate the fiber nonlinearity in the context of dispersion managed and dispersion unmanaged systems. The technique is applied for detection at the receiver side, and deals with the non-Gaussian nonlinear effects by designing improved decision boundaries. We also propose a two-stage mitigation technique using digital back propagation and Parzen window for dispersion unmanaged systems. In this case, digital back propagation compensates for the deterministic nonlinearity and the Parzen window deals with the stochastic nonlinear signal-noise interactions, which are not taken into account by digital back propagation. A performance improvement up to 0:4 dB in terms of Q factor is observed.


title: Detecting Target-Area Link-Flooding DDoS Attacks using Traffic Analysis and Supervised Learning

abstract: A novel class of extreme link-flooding DDoS (Distributed Denial of Service) attacks is designed to cut off entire geographical areas such as cities and even countries from the Internet by simultaneously targeting a selected set of network links. The Crossfire attack is a target-area link-flooding attack, which is orchestrated in three complex phases. The attack uses a massively distributed large-scale botnet to generate low-rate benign traffic aiming to congest selected network links, so-called target links. The adoption of benign traffic, while simultaneously targeting multiple network links, makes detecting the Crossfire attack a serious challenge. In this paper, we present analytical and emulated results showing hitherto unidentified vulnerabilities in the execution of the attack, such as a correlation between coordination of the botnet traffic and the quality of the attack, and a correlation between the attack distribution and detectability of the attack. Additionally, we identified a warm-up period due to the bot synchronization. For attack detection, we report results of using two supervised machine learning approaches: Support Vector Machine (SVM) and Random Forest (RF) for classification of network traffic to normal and abnormal traffic, i.e, attack traffic. These machine learning models have been trained in various scenarios using the link volume as the main feature set.


title: Extreme Learning Machine-Based Receiver for MIMO LED Communications

abstract: This work concerns receiver design for light-emitting diode (LED) multiple input multiple output (MIMO) communications where the LED nonlinearity can severely degrade the performance of communications. In this paper, we propose an extreme learning machine (ELM) based receiver to jointly handle the LED nonlinearity and cross-LED interference, and a circulant input weight matrix is employed, which significantly reduces the complexity of the receiver with the fast Fourier transform (FFT). It is demonstrated that the proposed receiver can efficiently handle the LED nonlinearity and cross-LED interference.


title: 1D Convolutional Neural Network Models for Sleep Arousal Detection

abstract: Sleep arousals transition the depth of sleep to a more superficial stage. The occurrence of such events is often considered as a protective mechanism to alert the body of harmful stimuli. Thus, accurate sleep arousal detection can lead to an enhanced understanding of the underlying causes and influencing the assessment of sleep quality. Previous studies and guidelines have suggested that sleep arousals are linked mainly to abrupt frequency shifts in EEG signals, but the proposed rules are shown to be insufficient for a comprehensive characterization of arousals. This study investigates the application of five recent convolutional neural networks (CNNs) for sleep arousal detection and performs comparative evaluations to determine the best model for this task. The investigated state-of-the-art CNN models have originally been designed for image or speech processing. A detailed set of evaluations is performed on the benchmark dataset provided by PhysioNet/Computing in Cardiology Challenge 2018, and the results show that the best 1D CNN model has achieved an average of 0.31 and 0.84 for the area under the precision-recall and area under the ROC curves, respectively.


title: Existence local and global solution of multipoint Cauchy problem for nonlocal nonlinear equations

abstract: In this paper, the multipoint Cauchy problem for nonlocal nonlinear wave type equat{\i}ons are studied.The equation involves a convolution integral operator with a general kernel function whose Fourier transform is nonnegative. We establish local and global existence and uniqueness of solutions assuming enough smoothness on the initial data together with some growth conditions on the nonlinear term


title: Constant angle surfaces in 4-dimensional Minkowski space

abstract: We first define a complex angle between two oriented spacelike planes in 4-dimensional Minkowski space, and then study the constant angle surfaces in that space, i.e. the oriented spacelike surfaces whose tangent planes form a constant complex angle with respect to a fixed spacelike plane. This notion is the natural Lorentzian analogue of the notion of constant angle surfaces in 4-dimensional Euclidean space. We prove that these surfaces have vanishing Gauss and normal curvatures, obtain representation formulas for the constant angle surfaces with regular Gauss maps and construct constant angle surfaces using PDE's methods. We then describe their invariants of second order and show that a surface with regular Gauss map and constant angle $\psi\neq 0\ [\pi/2]$ is never complete. We finally study the special cases of surfaces with constant angle $\pi/2\ [\pi],$ with real or pure imaginary constant angle and describe the constant angle surfaces in hyperspheres and lightcones.


title: An Explorative Study of GitHub Repositories of AI Papers

abstract: With the rapid development of AI technologies, thousands of AI papers are being published each year. Many of these papers have released sample code to facilitate follow-up researchers. This paper presents an explorative study of over 1700 code repositories of AI papers hosted on GitHub. We find that these repositories are often poorly written, lack of documents, lack of maintenance, and hard to configure the underlying runtime environment. Thus, many code repositories become inactive and abandoned. Such a situation makes follow-up researchers hard to reproduce the results or do further research. In addition, these hard-to-reuse code makes a gap between academia and industry. Based on the findings, we give some recommendations on how to improve the quality of code repositories of AI papers.


title: A Subjective-Logic-based Reliability Estimation Mechanism for Cooperative Information with Application to IV's Safety

abstract: Use of cooperative information, distributed by road-side units, offers large potential for intelligent vehicles (IVs). As vehicle automation progresses and cooperative perception is used to fill the blind spots of onboard sensors, the question of reliability of the data becomes increasingly important in safety considerations (SOTIF, Safety of the Intended Functionality). This paper addresses the problem to estimate the reliability of cooperative information for in-vehicle use. We propose a novel method to infer the reliability of received data based on the theory of Subjective Logic (SL). Using SL, we fuse multiple information sources, which individually only provide mild cues of the reliability, into a holistic estimate, which is statistically sound through an end-to-end modeling within the theory of SL. Using the proposed scheme for probabilistic SL-based fusion, IVs are able to separate faulty from correct data samples with a large margin of safety. Real world experiments show the applicability and effectiveness of our approach.


title: Mesoscopic description of the adiabatic piston: kinetic equations and $\mathcal H$-theorem

abstract: The adiabatic piston problem is solved at the mesoscale using a Kinetic Theory approach. The problem is to determine the evolution towards equilibrium of two gases separated by a wall with only one degree of freedom (the adiabatic piston). A closed system of equations for the distribution functions of the gases conditioned to a position of the piston and the distribution function of the piston is derived from the Liouville equation, under the assumption of a generalized molecular chaos. It is shown that the resulting kinetic description has the canonical equilibrium as a steady-state solution. Moreover, the Boltzmann entropy, which includes the motion of the piston, verifies the $\mathcal H$-theorem. The results are generalized to any short-ranged repulsive potentials among particles and include the ideal gas as a limiting case.

categories: cond-mat.stat-mech math-ph math.MP physics.flu-dyn


title: Tuning the GENIE Pion Production Model with MINERvA Data

abstract: Faced with unresolved tensions between neutrino interaction measurements at few-GeV neutrino energies, current experiments are forced to accept large systematic uncertainties to cover discrepancies between their data and model predictions. In this paper, the widely used pion production model in GENIE is compared to four MINERvA charged current pion production measurements using NUISANCE. Tunings, ie, adjustments of model parameters, to help match GENIE to MINERvA and older bubble chamber data are presented here. We find that scattering off nuclear targets as measured in MINERvA is not in good agreement with scattering off nucleon (hydrogen or deuterium) targets in the bubble chamber data. An additional ad hoc correction for the low-$Q^2$ region, where collective effects are expected to be large, is also presented. While these tunings and corrections improve the agreement of GENIE with the data, the modeling is imperfect. The development of these tunings within the NUISANCE frameworkallows for straightforward extensions to other neutrino event generators and models, and allows omitting and including new data sets as they become available.


title: Randomisation of Pulse Phases for Unambiguous and Robust Quantum Sensing

abstract: We develop theoretically and demonstrate experimentally a universal dynamical decoupling method for robust quantum sensing with unambiguous signal identification. Our method uses randomisation of control pulses to suppress simultaneously two types of errors in the measured spectra that would otherwise lead to false signal identification. These are spurious responses due to finite-width $\pi$ pulses, as well as signal distortion caused by $\pi$ pulse imperfections. For the cases of nanoscale nuclear spin sensing and AC magnetometry, we benchmark the performance of the protocol with a single nitrogen vacancy centre in diamond against widely used non-randomised pulse sequences. Our method is general and can be combined with existing multipulse quantum sensing sequences to enhance their performance.


title: Equidistribution of primitive vectors, and the shortest solutions to their GCD equations

abstract: We prove effective joint equidistribution of several natural parameters associated to primitive vectors in $\mathbb{Z}^{n}$, as the norm of these vectors tends to infinity. These parameters include the direction, the orthogonal lattice, and the length of the shortest solution to the associated $\gcd$ equation. We show that the first two parameters equidistribute w.r.t. the Haar measure on the corresponding spaces, which are the unit sphere and the space of unimodular rank $n-1$ lattices in $\mathbb{R}^{n}$ respectively. The main novelty is the equidistribution of the shortest solutions to the $\gcd$ equations: we show that, when normalized by the covering radius of the orthogonal lattice, the lengths of these solutions equidistribute in the interval $\left[0,1\right]$ w.r.t. a measure that is Lebesgue only when $n=2$, and non-Lebesgue otherwise. These equidistribution results are deduced from effectively counting lattice points in domains which are defined w.r.t. a generalization of the Iwasawa decomposition in simple algebraic Lie groups, where we apply a method due to A. Gorodnik and A. Nevo.


title: The tricky line of sight towards Cygnus-X: The [DB2001] CL05 embedded cluster as a pilot case

abstract: The nearest massive star-forming complex, Cygnus-X, is widely used as a laboratory for star cluster formation and feedback processes, under the implicit assumption that all its components are located roughly at the same distance. We present a multi-wavelength study of a 15' x 15' field in southern Cygnus-X, where different components involving clustered star formation are overlapped. Preliminary results indicate that the Berkeley 87 and [DB2001] CL05 clusters are actually located at very different distances, invalidating previous claims of physical interaction between them. This shows the importance of a careful treatment of extinction and distance calculations for cluster formation studies, particularly in Cygnus-X.


title: High-Performance Numerical Modeling of Nanofabrics with Distinct Element Method

abstract: A universal framework for modeling composites and fabrics of micro- and nanofibers, such as carbon nanotubes, carbon fibers and amyloid fibrils, is presented. Within this framework, fibers are represented with chains of rigid bodies, linked with elastic bonds. Elasticity of the bonds utilizes recently developed enhanced vector model formalism. The type of interactions between fibers is determined by their nature and physical length scale of the simulation. The dynamics of fibers is computed using the modification of rigid particle dynamics module of the waLBerla multiphysics framework. Our modeling system demonstrates exceptionally high parallel performance combined with the physical accuracy of the modeling. The efficiency of our approach is demonstrated with illustrative mechanical test on a hypothetical carbon nanotube textile.


title: Evaluating Adversarial Evasion Attacks in the Context of Wireless Communications

abstract: Recent advancements in radio frequency machine learning (RFML) have demonstrated the use of raw in-phase and quadrature (IQ) samples for multiple spectrum sensing tasks. Yet, deep learning techniques have been shown, in other applications, to be vulnerable to adversarial machine learning (ML) techniques, which seek to craft small perturbations that are added to the input to cause a misclassification. The current work differentiates the threats that adversarial ML poses to RFML systems based on where the attack is executed from: direct access to classifier input, synchronously transmitted over the air (OTA), or asynchronously transmitted from a separate device. Additionally, the current work develops a methodology for evaluating adversarial success in the context of wireless communications, where the primary metric of interest is bit error rate and not human perception, as is the case in image recognition. The methodology is demonstrated using the well known Fast Gradient Sign Method to evaluate the vulnerabilities of raw IQ based Automatic Modulation Classification and concludes RFML is vulnerable to adversarial examples, even in OTA attacks. However, RFML domain specific receiver effects, which would be encountered in an OTA attack, can present significant impairments to adversarial evasion.


title: Life detection strategy based on infrared vision and ultra-wideband radar data fusion

abstract: The life detection method based on a single type of information source cannot meet the requirement of post-earthquake rescue due to its limitations in different scenes and bad robustness in life detection. This paper proposes a method based on deep neural network for multi-sensor decision-level fusion which concludes Convolutional Neural Network and Long Short Term Memory neural network (CNN+LSTM). Firstly, we calculate the value of the life detection probability of each sensor with various methods in the same scene simultaneously, which will be gathered to make samples for inputs of the deep neural network. Then we use Convolutional Neural Network (CNN) to extract the distribution characteristics of the spatial domain from inputs which is the two-channel combination of the probability values and the smoothing probability values of each life detection sensor respectively. Furthermore, the sequence time relationship of the outputs from the last layers will be analyzed with Long Short Term Memory (LSTM) layers, then we concatenate the results from three branches of LSTM layers. Finally, two sets of LSTM neural networks that is different from the previous layers are used to integrate the three branches of the features, and the results of the two classifications are output using the fully connected network with Binary Cross Entropy (BEC) loss function. Therefore, the classification results of the life detection can be concluded accurately with the proposed algorithm.


title: A semi-implicit, energy- and charge-conserving particle-in-cell algorithm for the relativistic Vlasov-Maxwell equations

abstract: Conventional explicit electromagnetic particle-in-cell (PIC) algorithms do not conserve discrete energy exactly. Time-centered fully implicit PIC algorithms can conserve discrete energy exactly, but may introduce large dispersion errors in the light-wave modes. This can lead to intolerable simulation errors where accurate light propagation is needed (e.g. in laser-plasma interactions). In this study, we selectively combine the leap-frog and Crank-Nicolson methods to produce an exactly energy- and charge-conserving relativistic electromagnetic PIC algorithm. Specifically, we employ the leap-frog method for Maxwell's equations, and the Crank-Nicolson method for the particle equations. The semi-implicit algorithm admits exact global energy conservation, exact local charge conservation, and preserves the dispersion properties of the leap-frog method for the light wave. The algorithm employs a new particle pusher designed to maximize efficiency and minimize wall-clock-time impact vs. the explicit alternative. It has been implemented in a code named iVPIC, based on the Los Alamos National Laboratory VPIC code (\url{https://github.com/losalamos/vpic}). We present numerical results that demonstrate the properties of the scheme with sample test problems: relativistic two-stream instability, Weibel instability, and laser-plasma instabilities.


title: On Additive Divisor Sums and minorants of divisor functions

abstract: We establish asymptotic formulae for various correlations involving general divisor functions $d_k(n)$ and partial divisor functions $d_l(n,A)=\sum_{q|n:q\leq n^A}d_{l-1}(q)$, where $A\in[0,1]$ is a parameter and $k,l\in\mathbb{N}$ are fixed. Our results relate the parameter $A$ to the lengths of arithmetic progressions in which $d_k(n)$ is uniformly distributed. As applications to additive divisor sums, we establish new lower bounds and a new equivalent condition for the conjectured asymptotic. We also prove a Tauberian theorem for general additive divisor sums.


title: Model Primitive Hierarchical Lifelong Reinforcement Learning

abstract: Learning interpretable and transferable subpolicies and performing task decomposition from a single, complex task is difficult. Some traditional hierarchical reinforcement learning techniques enforce this decomposition in a top-down manner, while meta-learning techniques require a task distribution at hand to learn such decompositions. This paper presents a framework for using diverse suboptimal world models to decompose complex task solutions into simpler modular subpolicies. This framework performs automatic decomposition of a single source task in a bottom up manner, concurrently learning the required modular subpolicies as well as a controller to coordinate them. We perform a series of experiments on high dimensional continuous action control tasks to demonstrate the effectiveness of this approach at both complex single task learning and lifelong learning. Finally, we perform ablation studies to understand the importance and robustness of different elements in the framework and limitations to this approach.


title: The H3D Dataset for Full-Surround 3D Multi-Object Detection and Tracking in Crowded Urban Scenes

abstract: 3D multi-object detection and tracking are crucial for traffic scene understanding. However, the community pays less attention to these areas due to the lack of a standardized benchmark dataset to advance the field. Moreover, existing datasets (e.g., KITTI) do not provide sufficient data and labels to tackle challenging scenes where highly interactive and occluded traffic participants are present. To address the issues, we present the Honda Research Institute 3D Dataset (H3D), a large-scale full-surround 3D multi-object detection and tracking dataset collected using a 3D LiDAR scanner. H3D comprises of 160 crowded and highly interactive traffic scenes with a total of 1 million labeled instances in 27,721 frames. With unique dataset size, rich annotations, and complex scenes, H3D is gathered to stimulate research on full-surround 3D multi-object detection and tracking. To effectively and efficiently annotate a large-scale 3D point cloud dataset, we propose a labeling methodology to speed up the overall annotation cycle. A standardized benchmark is created to evaluate full-surround 3D multi-object detection and tracking algorithms. 3D object detection and tracking algorithms are trained and tested on H3D. Finally, sources of errors are discussed for the development of future algorithms.


title: ELT Contributions to The First Explosions

abstract: The large aperture and sensitive optical and near infrared imager spectrographs will enable an ELT system to observe some supernovae at large distances, deep into cosmological history when supernovae first began to occur.


title: Using matrix product states to study the dynamical large deviations of kinetically constrained models

abstract: Here we demonstrate that tensor network techniques - originally devised for the analysis of quantum many-body problems - are well suited for the detailed study of rare event statistics in kinetically constrained models (KCMs). As concrete examples we consider the Fredrickson-Andersen and East models, two paradigmatic KCMs relevant to the modelling of glasses. We show how variational matrix product states allow to numerically approximate - systematically and with high accuracy - the leading eigenstates of the tilted dynamical generators which encode the large deviation statistics of the dynamics. Via this approach we can study system sizes beyond what is possible with other methods, allowing us to characterise in detail the finite size scaling of the trajectory-space phase transition of these models, the behaviour of spectral gaps, and the spatial structure and "entanglement" properties of dynamical phases. We discuss the broader implications of our results.


title: Ensemble photometric redshifts

abstract: Upcoming imaging surveys, such as LSST, will provide an unprecedented view of the Universe, but with limited resolution along the line-of-sight. Common ways to increase resolution in the third dimension, and reduce misclassifications, include observing a wider wavelength range and/or combining the broad-band imaging with higher spectral resolution data. The challenge with these approaches is matching the depth of these ancillary data with the original imaging survey. However, while a full 3D map is required for some science, there are many situations where only the statistical distribution of objects (dN/dz) in the line-of-sight direction is needed. In such situations, there is no need to measure the fluxes of individual objects in all of the surveys. Rather a stacking procedure can be used to perform an `ensemble photo-z'. We show how a shallow, higher spectral resolution survey can be used to measure dN/dz for stacks of galaxies which coincide in a deeper, lower resolution survey. The galaxies in the deeper survey do not even need to appear individually in the shallow survey. We give a toy model example to illustrate tradeoffs and considerations for applying this method. This approach will allow deep imaging surveys to leverage the high resolution of spectroscopic and narrow/medium band surveys underway, even when the latter do not have the same reach to high redshift.


title: A new study of the variable star population in the Hercules globular cluster (M13; NGC 6205)

abstract: We present the results from $VI$ CCD time-series photometry of the globular cluster M13 (NGC 6205). From the Fourier decomposition of the light curves of RRab and RRc stars we found an average metallicity of [Fe/H]zw = -1.58 $\pm$ 0.09. The distance to the cluster was estimated as 7.1 $\pm$ 0.1 kpc from independent methods related to the variable star families RR Lyrae, SX Phe and W Virginis, from the luminosity of the theoretical ZAHB and from the orbit solution of a newly discovered contact binary star. The RR Lyrae pulsation modes are segregated by the red edge of the first overtone instability strip in this OoII type cluster. A membership analysis of 52,800 stars in the field of the cluster is presented based on \textit{Gaia}-DR2 proper motions which enabled the recognition of 23,070 likely cluster members, for 7,630 of which we possess $VI$ photometry. The identification of member stars allowed the construction of a clean CMD and a proper ZAHB and isochrone fitting, consistent with a reddening, age and distance of 0.02 mag, 12.6 Gyrs and 7.1 kpc respectively. We report seven new variables; one RRc, two SX Phe stars, three SR and one contact binary. V31 presents double-mode nature and we confirm V36 as RRd. Fifteen variable star candidates are also reported. The analysis of eighteen stars in the field of the cluster, reported as RR Lyrae from the $Gaia$-DR2 data base reveals that at least seven are not variable. We noted the presence of a high velocity star in the field of the cluster.


title: Mode switching and oscillations in PSR B1828-11

abstract: The young pulsar PSR B1828-11 has long been known to show correlated shape and spin-down changes with timescales of roughly 500 and 250 days, perhaps associated with large-scale magnetospheric switching. Here we present multi-hour observations with the Parkes and Green Bank Telescopes at multiple phases across the roughly 500-day cycle and show that the pulsar undergoes mode-changing between two stable, extreme profile states. The fraction of time spent in each profile state naturally accounts for the observed overall "shape parameter" (defined to be 0 for wide profiles and 1 for narrow ones); this and the variable rate of the mode transitions are directly related to the spin-down changes. We observe that the mode transition rate could plausibly function as an additional parameter governing the chaotic behaviour in this object which was proposed earlier by Seymour and Lorimer. Free precession is not needed to account for the variations.


title: Magnetospheric Switching in PSR B1828-11

abstract: PSR B1828-11 is a young pulsar once thought to be undergoing free precession and recently found instead to be switching magnetospheric states in tandem with spin-down changes. Here we show the two extreme states of the mode-changing found for this pulsar and comment briefly on its interpretation.


title: ELT Contributions to Tidal Disruption Events

abstract: An ELT system with its large aperture and sensitive optical and near infrared imager spectrographs will make major contributions to the study of stars ripped apart by supermassive black holes.


title: V2X System Architecture Utilizing Hybrid Gaussian Process-based Model Structures

abstract: Scalable communication is of utmost importance for reliable dissemination of time-sensitive information in cooperative vehicular ad-hoc networks (VANETs), which is, in turn, an essential prerequisite for the proper operation of the critical cooperative safety applications. The model-based communication (MBC) is a recently-explored scalability solution proposed in the literature, which has shown a promising potential to reduce the channel congestion to a great extent. In this work, based on the MBC notion, a technology-agnostic hybrid model selection policy for Vehicle-to-Everything (V2X) communication is proposed which benefits from the characteristics of the non-parametric Bayesian inference techniques, specifically Gaussian Processes. The results show the effectiveness of the proposed communication architecture on both reducing the required message exchange rate and increasing the remote agent tracking precision.


title: Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems

abstract: Many modern nonlinear control methods aim to endow systems with guaranteed properties, such as stability or safety, and have been successfully applied to the domain of robotics. However, model uncertainty remains a persistent challenge, weakening theoretical guarantees and causing implementation failures on physical systems. This paper develops a machine learning framework centered around Control Lyapunov Functions (CLFs) to adapt to parametric uncertainty and unmodeled dynamics in general robotic systems. Our proposed method proceeds by iteratively updating estimates of Lyapunov function derivatives and improving controllers, ultimately yielding a stabilizing quadratic program model-based controller. We validate our approach on a planar Segway simulation, demonstrating substantial performance improvements by iteratively refining on a base model-free controller.


title: Limited polynomials and sendov's conjecture

abstract: In this paper we study a particular class of polynomials. We study the distribution of their zeros, including the zeros of their derivatives as well as the interaction between this two. We prove a weak variant of the sendov conjecture in the case the zeros are real and are of the same sign.


title: Ordering of Binary Colloidal Crystals by Random Potentials

abstract: Structural defects are ubiquitous in condensed matter, and not always a nuisance. For example, they underlie phenomena such as Anderson localization and hyperuniformity, and they are now being exploited to engineer novel materials. Here, we show experimentally that the density of structural defects in a 2D binary colloidal crystal can be engineered with a random potential. We generate the random potential using an optical speckle pattern, whose induced forces act strongly on one species of particles (strong particles) and weakly on the other (weak particles). Thus, the strong particles are more attracted to the randomly distributed local minima of the optical potential, leaving a trail of defects in the crystalline structure of the colloidal crystal. While, as expected, the crystalline ordering initially decreases with increasing fraction of strong particles, the crystalline order is surprisingly recovered for sufficiently large fractions. We confirm our experimental results with particle-based simulations, which permit us to elucidate how this non-monotonic behavior results from the competition between the particle-potential and particle-particle interactions.


title: Morita equivalences for cyclotomic Hecke algebras of type B and D

abstract: We give a Morita equivalence theorem for so-called cyclotomic quotients of affine Hecke algebras of type B and D, in the spirit of a classical result of Dipper-Mathas in type A for Ariki-Koike algebras. As a consequence, the representation theory of affine Hecke algebras of type B and D reduces to the study of their cyclotomic quotients with eigenvalues in a single orbit under multiplication by $q^2$ and inversion. The main step in the proof consists in a decomposition theorem for generalisations of quiver Hecke algebras that appeared recently in the study of affine Hecke algebras of type B and D. This theorem reduces the general situation of a disconnected quiver with involution to a simpler setting. To be able to treat types B and D at the same time we unify the different definitions of generalisations of quiver Hecke algebra for type B that exist in the literature.


title: On measuring the iconicity of a face

abstract: For a given identity in a face dataset, there are certain iconic images which are more representative of the subject than others. In this paper, we explore the problem of computing the iconicity of a face. The premise of the proposed approach is as follows: For an identity containing a mixture of iconic and non iconic images, if a given face cannot be successfully matched with any other face of the same identity, then the iconicity of the face image is low. Using this information, we train a Siamese Multi-Layer Perceptron network, such that each of its twins predict iconicity scores of the image feature pair, fed in as input. We observe the variation of the obtained scores with respect to covariates such as blur, yaw, pitch, roll and occlusion to demonstrate that they effectively predict the quality of the image and compare it with other existing metrics. Furthermore, we use these scores to weight features for template-based face verification and compare it with media averaging of features.


title: Venus Express radio occultation observed by PRIDE

abstract: Context. Radio occultation is a technique used to study planetary atmospheres by means of the refraction and absorption of a spacecraft carrier signal through the atmosphere of the celestial body of interest, as detected from a ground station on Earth. This technique is usually employed by the deep space tracking and communication facilities (e.g., NASA's Deep Space Network (DSN), ESA's Estrack). Aims. We want to characterize the capabilities of the Planetary Radio Interferometry and Doppler Experiment (PRIDE) technique for radio occultation experiments, using radio telescopes equipped with Very Long Baseline Interferometry (VLBI) instrumentation. Methods. We conducted a test with ESA's Venus Express (VEX), to evaluate the performance of the PRIDE technique for this particular application. We explain in detail the data processing pipeline of radio occultation experiments with PRIDE, based on the collection of so-called open-loop Doppler data with VLBI stations, and perform an error propagation analysis of the technique. Results. With the VEX test case and the corresponding error analysis, we have demonstrated that the PRIDE setup and processing pipeline is suited for radio occultation experiments of planetary bodies. The noise budget of the open-loop Doppler data collected with PRIDE indicated that the uncertainties in the derived density and temperature profiles remain within the range of uncertainties reported in previous Venus' studies. Open-loop Doppler data can probe deeper layers of thick atmospheres, such as that of Venus, when compared to closed-loop Doppler data. Furthermore, PRIDE through the VLBI networks around the world, provides a wide coverage and range of large antenna dishes, that can be used for this type of experiments.


title: Improving the Survivability of Clustered Interdependent Networks by Restructuring Dependencies

abstract: The interdependency between different network layers is commonly observed in Cyber Physical Systems and communication networks adopting the dissociation of logic and hardware implementation, such as Software Defined Networking and Network Function Virtualization. This paper formulates an optimization problem to improve the survivability of interdependent networks by restructuring the provisioning relations. A characteristic of the proposed algorithm is that the continuous availability of the entire system is guaranteed during the restructuring of dependencies by the preservation of certain structures in the original networks. Our simulation results demonstrate that the proposed restructuring algorithm can substantially enhance the survivability of interdependent networks, and provide insights into the ideal allocation of dependencies.


title: Self-Assembling Ice Membranes on Europa: Brinicle Properties, Field Examples, and Possible Energetic Systems in Icy Ocean Worlds

abstract: Brinicles are self-assembling tubular ice membrane structures, centimeters to meters in length, found beneath sea ice in the polar regions of Earth. We discuss how the properties of brinicles make them of possible importance for chemistry in cold environments-including that of life's emergence-and we consider their formation in icy ocean world. We argue that the non-ice composition of the ice on Europa and Enceladus will vary spatially due to thermodynamic and mechanical properties that serve to separate and fractionate brines and solid materials. The specifics of the composition and dynamics of both the ice and the ocean in these worlds remain poorly constrained. We demonstrate through calculations using FREZCHEM that sulfate likely fractionates out of accreting ice in Europa and Enceladus, and thus that an exogenous origin of sulfate observed on Europa's surface need not preclude additional endogenous sulfate in Europa's ocean. We suggest that, like hydrothermal vents on Earth, brinicles in icy ocean worlds constitute ideal places where ecosystems of organisms might be found.


title: Low-energy M1 excitations in $^{208}$Pb and the spin channel of the Skyrme energy-density functional

abstract: We investigate the spin dependent part of the Skyrme energy-density functional, in particular its impact on the residual particle-hole interaction in self-consistent calculations of excitations. Test cases are the low-energy M1 excitations in $^{208}$Pb treated within the self-consistent random-phase approximation based on the Skyrme energy-density functional. We investigate different parametrizations of the functionals to find out which parameters of the functional have strongest correlations with M1 properties. We explore a simple method of the modification of the spin-related parameters which delivers a better description of M1 excitations while basically maintaining the good description of ground state properties.


title: Proximity inductive dimension and Brouwer dimension agree on compact Hausdorff spaces

abstract: In this paper we show that the proximity inductive dimension defined by Isbell agrees with the Brouwer dimension originally described by Brouwer on the class of compact Hausdorff spaces. Consequently, Fedorchuk's example of a compact Hausdorff space whose Brouwer dimension exceeds its Lebesgue covering dimension is an example of a space whose proximity inductive dimension exceeds its proximity dimension as defined by Smirnov.


title: Foliations between crooked planes in 3-dimensional Minkowski space

abstract: We show that any two disjoint crooked planes in R^3 are leaves of a crooked foliation. This answers a question asked by Charette and Kim.


title: Mechanical Search: Multi-Step Retrieval of a Target Object Occluded by Clutter

abstract: When operating in unstructured environments such as warehouses, homes, and retail centers, robots are frequently required to interactively search for and retrieve specific objects from cluttered bins, shelves, or tables. Mechanical Search describes the class of tasks where the goal is to locate and extract a known target object. In this paper, we formalize Mechanical Search and study a version where distractor objects are heaped over the target object in a bin. The robot uses an RGBD perception system and control policies to iteratively select, parameterize, and perform one of 3 actions -- push, suction, grasp -- until the target object is extracted, or either a time limit is exceeded, or no high confidence push or grasp is available. We present a study of 5 algorithmic policies for mechanical search, with 15,000 simulated trials and 300 physical trials for heaps ranging from 10 to 20 objects. Results suggest that success can be achieved in this long-horizon task with algorithmic policies in over 95% of instances and that the number of actions required scales approximately linearly with the size of the heap. Code and supplementary material can be found at http://ai.stanford.edu/mech-search .


title: Albatross: An optimistic consensus algorithm

abstract: The consensus protocol is a critical component of distributed ledgers and blockchains. Achieving consensus over a decentralized network poses challenges to transaction finality and performance. Currently, the highest-performing consensus algorithms are speculative BFT algorithms, which, however, compromise on the transaction finality guarantees offered by their non-speculative counterparts. In this paper, we introduce Albatross, a Proof-of-Stake (PoS) blockchain consensus algorithm that aims to combine the best of both worlds. At its heart, Albatross is a high-performing, speculative BFT algorithm that offers strong probabilistic finality. We complement this by periodically guaranteeing finality through the Tendermint protocol. We prove our protocol to be secure under standard BFT assumptions and analyze its performance both on a theoretical and practical level. For that, we provide an open-source Rust implementation of Albatross. Our real-world measurements support that our protocol has a performance close to the theoretical maximum for single-chain Proof-of-Stake consensus algorithms.


title: Enso: A general-purpose virtual machine

abstract: In this paper we introduce Enso, a virtual machine designed to be used as general-purpose state transition function in blockchains. This design allows the blockchain application logic to be coded into the state, instead of into the state transition function, making it much more flexible and easier to modify. A byproduct is reducing the frequency of forks, concerted or not.


title: The Curious Case of KOI 4: Confirming Kepler's First Exoplanet

abstract: The discovery of thousands of planetary systems by Kepler has demonstrated that planets are ubiquitous. However, a major challenge has been the confirmation of Kepler planet candidates, many of which still await confirmation. One of the most enigmatic examples is KOI 4.01, Kepler's first discovered planet candidate detection (as KOI 1.01, 2.01, and 3.01 were known prior to launch). Here we present the confirmation and characterization of KOI 4.01 (now Kepler-1658), using a combination of asteroseismology and radial velocities. Kepler-1658 is a massive, evolved subgiant (Mstar = 1.45 +/- 0.06 Msun, Rstar = 2.89 +/- 0.12 Rsun) hosting a massive (Mp = 5.88 +/- 0.47 MJ, Rp = 1.07 +/- 0.05 RJ) hot Jupiter that orbits every 3.85 days. Kepler-1658 joins a small population of evolved hosts with short-period (<=100 days) planets and is now the closest known planet in terms of orbital period to an evolved star. Because of its uniqueness and short orbital period, Kepler-1658 is a new benchmark system for testing tidal dissipation and hot Jupiter formation theories. Using all 4 years of Kepler data, we constrain the orbital decay rate to be Pdot <= -0.42 s/yr, corresponding to a strong observational limit of Qstar >= 4.826 x 10^3 for the tidal quality factor in evolved stars. With an effective temperature Teff ~6200 K, Kepler-1658 sits close to the spin-orbit misalignment boundary at ~6250 K, making it a prime target for follow-up observations to better constrain its obliquity and to provide insight into theories for hot Jupiter formation and migration.


title: Intrinsic volumes of sublevel sets

abstract: We establish formulas that give the intrinsic volumes, or curvature measures, of sublevel sets of functions defined on Riemannian manifolds as integrals of functionals of the function and its derivatives. For instance, in the Euclidean case, if $f \in \mathcal{C}^3(\mathbb{R}^n, \mathbb{R})$ and 0 is a regular value of $f$, then the intrinsic volume of degree $n-k$ of the sublevel set $M^0 = f^{-1}(]-\infty, 0])$, if the latter is compact, is given by \begin{equation*} \mathcal{L}_{n-k}(M^0) = \frac{\Gamma(k/2)}{2 \pi^{k/2} (k-1)!} \int_{M^0} \operatorname{div} \left( \frac{P_{n, k}(\operatorname{Hess}(f), \nabla f)}{\sqrt{f^{2(3k-2)} + \|\nabla f\|^{2(3k-2)}}} \nabla f \right) \operatorname{vol}_n \end{equation*} for $1 \leq k \leq n$, where the $P_{n, k}$'s are polynomials given in the text. This includes as special cases the Euler--Poincar\'e characteristic of sublevel sets and the nodal volumes of functions defined on Riemannian manifolds. Therefore, these formulas give what can be seen as generalizations of the Kac--Rice formula. Finally, we use these formulas to prove the Lipschitz continuity of the intrinsic volumes of sublevel sets.


title: Multilinear fractional Calder\'on-Zygmund operators on weighted Hardy spaces

abstract: We prove norm estimates for multilinear fractional integrals acting on weighted and variable Hardy spaces. In the weighted case we develop ideas we used for multilinear singular integrals [7]. For the variable exponent case, a key element of our proof is a new multilinear, off-diagonal version of the Rubio de Francia extrapolation theorem.


title: Unsupervised Domain-Specific Deblurring via Disentangled Representations

abstract: Image deblurring aims to restore the latent sharp images from the corresponding blurred ones. In this paper, we present an unsupervised method for domain-specific single-image deblurring based on disentangled representations. The disentanglement is achieved by splitting the content and blur features in a blurred image using content encoders and blur encoders. We enforce a KL divergence loss to regularize the distribution range of extracted blur attributes such that little content information is contained. Meanwhile, to handle the unpaired training data, a blurring branch and the cycle-consistency loss are added to guarantee that the content structures of the deblurred results match the original images. We also add an adversarial loss on deblurred results to generate visually realistic images and a perceptual loss to further mitigate the artifacts. We perform extensive experiments on the tasks of face and text deblurring using both synthetic datasets and real images, and achieve improved results compared to recent state-of-the-art deblurring methods.


title: Newman-Ziff algorithm for the bootstrap percolation: application to the Archimedean lattices

abstract: We propose very efficient algorithms for the bootstrap percolation and the diffusion percolation models by extending the Newman-Ziff algorithm of the classical percolation [M. E. J. Newman and R. M. Ziff, Phys. Rev. Lett. 85 (2000) 4104]. Using these algorithms and the finite-size-scaling, we calculated with high precision the percolation threshold and critical exponents in the eleven two-dimensional Archimedean lattices. We present the condition for the continuous percolation transition in the bootstrap percolation and the diffusion percolation, and show that they have the same critical exponents as the classical percolation within error bars in two dimensions. We conclude that the bootstrap percolation and the diffusion percolation almost certainly belong to the same universality class as the classical percolation.


title: CAT(0) cube complexes and inner amenability

abstract: We here consider inner amenability from a geometric and group theoretical perspective. We prove that for every non-elementary action of a group $G$ on a finite dimensional irreducible CAT(0) cube complex, there is a nonempty $G$-invariant closed convex subset such that every conjugation invariant mean on $G$ gives full measure to the stabilizer of each point of this subset. Specializing our result to trees leads to a complete characterization of inner amenability for HNN-extensions and amalgamated free products. One novelty of the proof is that it makes use of the existence of certain idempotent conjugation-invariant means on $G$. We additionally obtain a complete characterization of inner amenability for permutational wreath product groups. One of the main ingredients used for this is a general lemma which we call the location lemma, which allows us to "locate" conjugation invariant means on a group $G$ relative to a given normal subgroup $N$ of $G$. We give several further applications of the location lemma beyond the aforementioned characterization of inner amenable wreath products.


title: The metallicity and elemental abundance maps of kinematically atypical galaxies for constraining minor merger and accretion histories

abstract: Explaining the internal distribution and motions of stars and gas in galaxies is a key aspect in understanding their evolution. In previous work we identified five well resolved galaxies with atypical kinematics from a cosmological simulation; two had kinematically distinct cores (KDCs), and three had counter-rotating gas and stars (CRGD). In this paper, we show that i) the KDC galaxies have flattening of stellar [O/Fe] at large galacto-centric radii due to the minor mergers that gave rise to the KDCs, and ii) the CRGD galaxies have an abrupt transition in the gas metallicity maps, from high metallicity in the centre to very low metallicity further out. These galaxies are embedded in dark matter filaments where there is a ready supply of near-pristine gas to cause this effect. The non-linear increase in gas metallicity is also seen in the radial profiles, but when the metallicity gradients are measured, the difference is buried in the scatter of the relation. We also find that all five galaxies are fairly compact, with small effective radii given their stellar masses. This is because they have not experienced major mergers that kinematically heat the stars, and would have destroyed their unusual kinematics. In order to detect these signatures of minor mergers or accretion, the galaxy scaling relations or radial metallicity profiles are not enough, and it is necessary to obtain the 2D maps with integral field spectroscopy observations.


title: Change-point detection for multivariate and non-Euclidean data with local dependency

abstract: In a sequence of multivariate observations or non-Euclidean data objects, such as networks, local dependence is common and could lead to false change-point discoveries. We propose a new way of permutation -- circular block permutation with a random starting point -- to address this problem. This permutation scheme is studied on a non-parametric change-point detection framework based on a similarity graph constructed on the observations, leading to a general framework for change-point detection for data with local dependency. Simulation studies show that this new framework retains the same level of power when there is no local dependency, while it controls type I error correctly for sequences with and without local dependency. We also derive an analytic p-value approximation under this new framework. The approximation works well for sequences with length in hundreds and above, making this approach fast-applicable for long data sequences.


title: Learning Dynamics Model in Reinforcement Learning by Incorporating the Long Term Future

abstract: In model-based reinforcement learning, the agent interleaves between model learning and planning. These two components are inextricably intertwined. If the model is not able to provide sensible long-term prediction, the executed planner would exploit model flaws, which can yield catastrophic failures. This paper focuses on building a model that reasons about the long-term future and demonstrates how to use this for efficient planning and exploration. To this end, we build a latent-variable autoregressive model by leveraging recent ideas in variational inference. We argue that forcing latent variables to carry future information through an auxiliary task substantially improves long-term predictions. Moreover, by planning in the latent space, the planner's solution is ensured to be within regions where the model is valid. An exploration strategy can be devised by searching for unlikely trajectories under the model. Our method achieves higher reward faster compared to baselines on a variety of tasks and environments in both the imitation learning and model-based reinforcement learning settings.


title: Katal: A standard framework for finance

abstract: Katal is a new blockchain that provides a standard way to build and deploy decentralized financial applications. It brings together all the components necessary for the backend of a financial application, namely: a high-performance consensus, an authenticated data feed system, a standard for financial contracts and connectivity to the rest of the blockchain ecosystem. Katal enables and simplifies the creation of financial services that are non-custodial, trustless, fast, convenient and interoperable.


title: Quantifying Gait Changes Using Microsoft Kinect and Sample Entropy

abstract: This study describes a method to quantify potential gait changes in human subjects. Microsoft Kinect devices were used to provide and track coordinates of fifteen different joints of a subject over time. Three male subjects walk a 10-foot path multiple times with and without motion-restricting devices. Their walking patterns were recorded via two Kinect devices through frontal and sagittal planes. A modified sample entropy (SE) value was computed to quantify the variability of the time series for each joint. The SE values with and without motion-restricting devices were used to compare the changes in each joint. The preliminary results of the experiments show that the proposed quantification method can detect differences in walking patterns with and without motion-restricting devices. The proposed method has the potential to be applied to track personal progress in physical therapy sessions.


title: The Regretful Agent: Heuristic-Aided Navigation through Progress Estimation

abstract: As deep learning continues to make progress for challenging perception tasks, there is increased interest in combining vision, language, and decision-making. Specifically, the Vision and Language Navigation (VLN) task involves navigating to a goal purely from language instructions and visual information without explicit knowledge of the goal. Recent successful approaches have made in-roads in achieving good success rates for this task but rely on beam search, which thoroughly explores a large number of trajectories and is unrealistic for applications such as robotics. In this paper, inspired by the intuition of viewing the problem as search on a navigation graph, we propose to use a progress monitor developed in prior work as a learnable heuristic for search. We then propose two modules incorporated into an end-to-end architecture: 1) A learned mechanism to perform backtracking, which decides whether to continue moving forward or roll back to a previous state (Regret Module) and 2) A mechanism to help the agent decide which direction to go next by showing directions that are visited and their associated progress estimate (Progress Marker). Combined, the proposed approach significantly outperforms current state-of-the-art methods using greedy action selection, with 5% absolute improvement on the test server in success rates, and more importantly 8% on success rates normalized by the path length. Our code is available at https://github.com/chihyaoma/regretful-agent .


title: A multinomial Asymptotic Representation of Zenga's Discrete Index, its Influence Function and Data-driven Applications

abstract: In this paper, we consider the Zenga index, one of the most recent inequality index. We keep the finite-valued original form and address the asymptotic theory. The asymptotic normality is established through a multinomial representation. The Influence function is also given. Th results are simulated and applied to Senegalese data.


title: Twin-Timescale Radio Resource Management for Ultra-Reliable and Low-Latency Vehicular Networks

abstract: To efficiently support safety-related vehicular applications, the ultra-reliable and low-latency communication (URLLC) concept has become an indispensable component of vehicular networks (VNETs). Due to the high mobility of VNETs, exchanging near-instantaneous channel state information (CSI) and making reliable resource allocation decisions based on such short-term CSI evaluations are not practical. In this paper, we consider the downlink of a vehicle-to-infrastructure (V2I) system conceived for URLLC based on idealized perfect and realistic imperfect CSI. By exploiting the benefits of the massive MIMO concept, a two-stage radio resource allocation problem is formulated based on a novel twin-timescale perspective for avoiding the frequent exchange of near-instantaneous CSI. Specifically, based on the prevalent road-traffic density, Stage 1 is constructed for minimizing the worst-case transmission latency on a long-term timescale. In Stage 2, the base station allocates the total power at a short-term timescale according to the large-scale fading CSI encountered for minimizing the maximum transmission latency across all vehicular users. Then, a primary algorithm and a secondary algorithm are conceived for our V2I URLLC system to find the optimal solution of the twin-timescale resource allocation problem, with special emphasis on the complexity imposed. Finally, our simulation results show that the proposed resource allocation scheme significantly reduces the maximum transmission latency, and it is not sensitive to the fluctuation of road-traffic density.


title: All-optical cryogenic thermometry based on NV centers in nanodiamonds

abstract: The nitrogen-vacancy (NV) center in diamond has been recognized as a high-sensitivity nanometer-scale metrology platform. Thermometry has been a recent focus, with attention largely confined to room temperature applications. Thermometry has been a recent focus, with attention largely confined to room temperature applications. Temperature sensing at low temperatures, however, remains challenging as the sensitivity decreases for many commonly used techniques which rely on a temperature dependent frequency shift of the NV centers spin resonance and its control with microwaves. Here we use an alternative approach that does not require microwaves, ratiometric all-optical thermometry, and demonstrate that it may be utilized to liquid nitrogen temperatures without deterioration of the sensitivity. The use of an array of nanodiamonds embedded within a portably polydimethylsiloxane (PDMS) sheet provides a versatile temperature sensing platform that can probe a wide variety of systems without the configurational restrictions needed for applying microwaves. With this device, we observe a temperature gradient over tens of microns in a ferromagnetic-insulator substrate (YIG) under local heating by a resistive heater. This thermometry technique provides a cryogenically compatible, microwave-free, minimally invasive approach capable of probing local temperatures with few restrictions on the substrate materials.


title: New Short Proofs to Some Stability Theorems

abstract: We present new short proofs to both the exact and the stability results of two extremal problems. The first one is the extension of Tur\'{a}n's theorem in hypergraphs, which was firstly studied by Mubayi $\cite{MU06}$. The second one is about the cancellative hypergraphs, which was firstly studied by Bollob\'{a}s $\cite{BO74}$ and later by Keevash and Mubayi $\cite{KM04}$. Our proofs are concise and straightforward, but give a sharper version of stability theorems to both problems.


title: Fuzzy vectors via convex bodies

abstract: In the most accessible terms this paper presents a convex-geometric approach to the study of fuzzy vectors. Motivated by several key results from the theory of convex bodies, we establish a representation theorem of fuzzy vectors through support functions, in which a necessary and sufficient condition for a function to be the support function of a fuzzy vector is provided. As applications, symmetric and skew fuzzy vectors are postulated, based on which a Mare\v{s} core of each fuzzy vector is constructed through convex bodies and support functions, and it is shown that every fuzzy vector over the $n$-dimensional Euclidean space has a unique Mare\v{s} core if, and only if, the dimension $n=1$.


title: Theoretical guarantees for sampling and inference in generative models with latent diffusions

abstract: We introduce and study a class of probabilistic generative models, where the latent object is a finite-dimensional diffusion process on a finite time interval and the observed variable is drawn conditionally on the terminal point of the diffusion. We make the following contributions: We provide a unified viewpoint on both sampling and variational inference in such generative models through the lens of stochastic control. We quantify the expressiveness of diffusion-based generative models. Specifically, we show that one can efficiently sample from a wide class of terminal target distributions by choosing the drift of the latent diffusion from the class of multilayer feedforward neural nets, with the accuracy of sampling measured by the Kullback-Leibler divergence to the target distribution. Finally, we present and analyze a scheme for unbiased simulation of generative models with latent diffusions and provide bounds on the variance of the resulting estimators. This scheme can be implemented as a deep generative model with a random number of layers.


title: Targeting ultra-high energy neutrinos with the ARIANNA experiment

abstract: The measurement of ultra-high energy (UHE) neutrinos (E $>$ \SI{e16}{eV}) opens a new field of astronomy with the potential to reveal the sources of ultra-high energy cosmic rays especially if combined with observations in the electromagnetic spectrum and gravitational waves. The ARIANNA pilot detector explores the detection of UHE neutrinos with a surface array of independent radio detector stations in Antarctica which allows for a cost-effective instrumentation of large volumes. Twelve stations are currently operating successfully at the Moore's Bay site (Ross Ice Shelf) in Antarctica and at the South Pole. We will review the current state of ARIANNA and its main results. We report on a newly developed wind generator that successfully operates in the harsh Antarctic conditions and powers the station for a substantial time during the dark winter months. The robust ARIANNA surface architecture, combined with environmentally friendly solar and wind power generators, can be installed at any deep ice location on the planet and operated autonomously. We report on the detector capabilities to determine the neutrino direction by reconstructing the signal arrival direction of a \SI{800}{m} deep calibration pulser, and the reconstruction of the signal polarization using the more abundant cosmic-ray air showers. Finally, we describe a large-scale design -- ARIA -- that capitalizes on the successful experience of the ARIANNA operation and is designed sensitive enough to discover the first UHE neutrino.


title: Adversarial Examples on Graph Data: Deep Insights into Attack and Defense

abstract: Graph deep learning models, such as graph convolutional networks (GCN) achieve remarkable performance for tasks on graph data. Similar to other types of deep models, graph deep learning models often suffer from adversarial attacks. However, compared with non-graph data, the discrete features, graph connections and different definitions of imperceptible perturbations bring unique challenges and opportunities for the adversarial attacks and defenses for graph data. In this paper, we propose both attack and defense techniques. For attack, we show that the discreteness problem could easily be resolved by introducing integrated gradients which could accurately reflect the effect of perturbing certain features or edges while still benefiting from the parallel computations. For defense, we observe that the adversarially manipulated graph for the targeted attack differs from normal graphs statistically. Based on this observation, we propose a defense approach which inspects the graph and recovers the potential adversarial perturbations. Our experiments on a number of datasets show the effectiveness of the proposed methods.


title: Stabilizing the Lottery Ticket Hypothesis

abstract: Pruning is a well-established technique for removing unnecessary structure from neural networks after training to improve the performance of inference. Several recent results have explored the possibility of pruning at initialization time to provide similar benefits during training. In particular, the "lottery ticket hypothesis" conjectures that typical neural networks contain small subnetworks that can train to similar accuracy in a commensurate number of steps. The evidence for this claim is that a procedure based on iterative magnitude pruning (IMP) reliably finds such subnetworks retroactively on small vision tasks. However, IMP fails on deeper networks, and proposed methods to prune before training or train pruned networks encounter similar scaling limitations. In this paper, we argue that these efforts have struggled on deeper networks because they have focused on pruning precisely at initialization. We modify IMP to search for subnetworks that could have been obtained by pruning early in training (0.1% to 7% through) rather than at iteration 0. With this change, it finds small subnetworks of deeper networks (e.g., 80% sparsity on Resnet-50) that can complete the training process to match the accuracy of the original network on more challenging tasks (e.g., ImageNet). In situations where IMP fails at iteration 0, the accuracy benefits of delaying pruning accrue rapidly over the earliest iterations of training. To explain these behaviors, we study subnetwork "stability," finding that - as accuracy improves in this fashion - IMP subnetworks train to parameters closer to those of the full network and do so with improved consistency in the face of gradient noise. These results offer new insights into the opportunity to prune large-scale networks early in training and the behaviors underlying the lottery ticket hypothesis


title: Defense Against Adversarial Images using Web-Scale Nearest-Neighbor Search

abstract: A plethora of recent work has shown that convolutional networks are not robust to adversarial images: images that are created by perturbing a sample from the data distribution as to maximize the loss on the perturbed example. In this work, we hypothesize that adversarial perturbations move the image away from the image manifold in the sense that there exists no physical process that could have produced the adversarial image. This hypothesis suggests that a successful defense mechanism against adversarial images should aim to project the images back onto the image manifold. We study such defense mechanisms, which approximate the projection onto the unknown image manifold by a nearest-neighbor search against a web-scale image database containing tens of billions of images. Empirical evaluations of this defense strategy on ImageNet suggest that it is very effective in attack settings in which the adversary does not have access to the image database. We also propose two novel attack methods to break nearest-neighbor defenses, and demonstrate conditions under which nearest-neighbor defense fails. We perform a series of ablation experiments, which suggest that there is a trade-off between robustness and accuracy in our defenses, that a large image database (with hundreds of millions of images) is crucial to get good performance, and that careful construction the image database is important to be robust against attacks tailored to circumvent our defenses.


title: Searches for Population III pair-instability supernovae: Predictions for ULTIMATE-Subaru and WFIRST

abstract: ULTIMATE-Subaru (Ultra-wide Laser Tomographic Imager and MOS with AO for Transcendent Exploration on Subaru) and WFIRST (Wide Field Infra-Red Survey Telescope) are the next generation near-infrared instruments that have a large field-of-view. They allow us to conduct deep and wide transient surveys in near-infrared. Such a near-infrared transient survey enables us to find very distant supernovae that are redshifted to the near-infrared wavelengths. We have performed the mock transient surveys with ULTIMATE-Subaru and WFIRST to investigate their ability to discover Population III pair-instability supernovae. We found that a 5-year 1 deg2 K-band transient survey with the point-source limiting magnitude of 26.5 mag with ULTIMATE-Subaru may find about 2 Population III pair-instability supernovae beyond the redshift of 6. A 5-year 10 deg2 survey with WFIRST reaching 26.5 mag in the F184 band may find about 7 Population III pair-instability supernovae beyond the redshift of 6. We also find that the expected numbers of the Population III pair-instability supernova detections increase about a factor of 2 if the near-infrared transient surveys are performed towards clusters of galaxies. Other supernovae such as Population II pair-instability supernovae would also be detected in the same survey. This study demonstrates that the future wide-field near-infrared instruments allow us to investigate the explosions of the first generation supernovae by performing the deep and wide near-infrared transient surveys.


title: Searches for Population III Pair-Instability Supernovae: Impact of Gravitational Lensing Magnification

abstract: Superluminous supernovae have been proposed to arise from Population III progenitors that explode as pair-instability supernovae. Pop III stars are the first generation of stars in the Universe, and are thought to form as late as $z \sim 6$. Future near-infrared imaging facilities such as ULTIMATE-Subaru can potentially detect and identify these PISNe with a dedicated survey. Gravitational lensing by intervening structure in the Universe can aid in the detection of these rare objects by magnifying the high-$z$ source population into detectability. We perform a mock survey with ULTIMATE-Subaru, taking into account lensing by line-of-sight structure to evaluate its impact on the predicted detection rate. We compare a LOS mass reconstruction using observational data from the Hyper Suprime Cam survey to results from cosmological simulations to test their consistency in calculating the magnification distribution in the Universe to high-$z$, but find that the data-based method is still limited by an inability to accurately characterize structure beyond $z \sim1.2$. We also evaluate a survey strategy of targeting massive galaxy clusters to take advantage of their large areas of high magnification. We find that targeting clusters can result in a gain of a factor of $\sim$two in the predicted number of detected PISNe at $z > 5$, and even higher gains with increasing redshift, given our assumed survey parameters. For the highest-redshift sources at $z \sim 7-9$, blank field surveys will not detect any sources, and lensing magnification by massive clusters will be necessary to observe this population.


title: Stationary measure for three-state quantum walk

abstract: We focus on the three-state quantum walk(QW) in one dimension. In this paper, we give the stationary measure in general condition, originated from the eigenvalue problem. Firstly, we get the transfer matrices by our new recipe, and solve the eigenvalue problem. Then we obtain the general form of the stationary measure for concrete initial state and eigenvalue. We also show some specific examples of the stationary measure for the three-state QW. One of the interesting and crucial future problems is to make clear the whole picture of the set of stationary measures.


title: Dispersion assessment of three-dimensional Phononic Crystals using Laser Doppler Vibrometry

abstract: The elastodynamic response of finite 3D phononic structures is analyzed by means of comparing experimental findings obtained through a laser Doppler vibrometry-based methodology and theoretical computations performed with the Layer-Multiple-Scattering method. The recorded frequency-gap spectrum of the phononic slabs exhibited a good agreement of theory to experiment. Along these lines, a newly developed technique, based on laser doppler vibrometry, has been proposed and validated for the dispersion efficiency in 3D phononic metamaterials.


title: Socially-Aware Congestion Control in Ad-Hoc Networks: Current Status and The Way Forward

abstract: Ad-hoc social networks (ASNETs) represent a special type of traditional ad-hoc network in which a user's social properties (such as the social connections and communications metadata as well as application data) are leveraged for offering enhanced services in a distributed infrastructureless environments. However, the wireless medium, due to limited bandwidth, can easily suffer from the problem of congestion when social metadata and application data are exchanged among nodes---a problem that is compounded by the fact that some nodes may act selfishly and not share its resources. While a number of congestion control schemes have been proposed for the traditional ad-hoc networks, there has been limited focus on incorporating social awareness into congestion control schemes. We revisit the existing traditional ad-hoc congestion control and data distribution protocols and motivate the need for embedding social awareness into these protocols to improve performance. We report that although some work is available in opportunistic network that uses socially-aware techniques to control the congestion issue, this area is largely unexplored and warrants more research attention. In this regards, we highlight the current research progress and identify multiple future directions of research.


title: Detecting and Classifying Android Malware using Static Analysis along with Creator Information

abstract: Thousands of malicious applications targeting mobile devices, including the popular Android platform, are created every day. A large number of those applications are created by a small number of professional under-ground actors, however previous studies overlooked such information as a feature in detecting and classifying malware, and in attributing malware to creators. Guided by this insight, we propose a method to improve on the performance of Android malware detection by incorporating the creator's information as a feature and classify malicious applications into similar groups. We developed a system that implements this method in practice. Our system enables fast detection of malware by using creator information such as serial number of certificate. Additionally, it analyzes malicious be-haviors and permissions to increase detection accuracy. The system also can classify malware based on similarity scoring. Finally, we showed detection and classification performance with 98% and 90% accuracy respectively.


title: PolarLight: a CubeSat X-ray Polarimeter based on the Gas Pixel Detector

abstract: The gas pixel detector (GPD) is designed and developed for high-sensitivity astronomical X-ray polarimetry, which is a new window about to open in a few years. Due to the small mass, low power, and compact geometry of the GPD, we propose a CubeSat mission Polarimeter Light (PolarLight) to demonstrate and test the technology directly in space. There is no optics but a collimator to constrain the field of view to 2.3 degrees. Filled with pure dimethyl ether (DME) at 0.8 atm and sealed by a beryllium window of 100 micron thick, with a sensitive area of about 1.4 mm by 1.4 mm, PolarLight allows us to observe the brightest X-ray sources on the sky, with a count rate of, e.g., ~0.2 counts/s from the Crab nebula. The PolarLight is 1U in size and mounted in a 6U CubeSat, which was launched into a low Earth Sun-synchronous orbit on October 29, 2018, and is currently under test. More launches with improved designs are planned in 2019. These tests will help increase the technology readiness for future missions such as the enhanced X-ray Timing and Polarimetry (eXTP), better understand the orbital background, and may help constrain the physics with observations of the brightest objects.


title: What to Expect of Classifiers? Reasoning about Logistic Regression with Missing Features

abstract: While discriminative classifiers often yield strong predictive performance, missing feature values at prediction time can still be a challenge. Classifiers may not behave as expected under certain ways of substituting the missing values, since they inherently make assumptions about the data distribution they were trained on. In this paper, we propose a novel framework that classifies examples with missing features by computing the expected prediction with respect to a feature distribution. Moreover, we use geometric programming to learn a naive Bayes distribution that embeds a given logistic regression classifier and can efficiently take its expected predictions. Empirical evaluations show that our model achieves the same performance as the logistic regression with all features observed, and outperforms standard imputation techniques when features go missing during prediction time. Furthermore, we demonstrate that our method can be used to generate "sufficient explanations" of logistic regression classifications, by removing features that do not affect the classification.


title: Initial boundary value problem for nonlinear Dirac equation of Gross-Neveu type in $1+1$ dimensions

abstract: This paper studies an initial boundary value problem for a class of nonlinear Dirac equations with cubic terms and moving boundary. For the initial data with bounded $L^2$ norm and the suitable boundary conditions, the global existence and the uniqueness of the strong solution are proved.


title: Structural results for conditionally intersecting families and some applications

abstract: Let $k\ge d\ge 3$ be fixed. Let $\mathcal{F}$ be a $k$-uniform family on $[n]$. Then $\mathcal{F}$ is $(d,s)$-conditionally intersecting if it does not contain $d$ sets with union of size at most $s$ and empty intersection. Answering a question of Frankl, we present some structural results for families that are $(d,s)$-conditionally intersecting with $s\ge 2k+d-3$, and families that are $(k,2k)$-conditionally intersecting. As applications of our structural results, we present some new proofs to the upper bounds for the size of the following $k$-uniform families on $[n]$. (a) $(d,2k+d-3)$-conditionally intersecting families with $n\ge 3k^5$. (b) $(k,2k)$-conditionally intersecting families with $n\ge k^2/(k-1)$. (c) Nonintersecting $(3,2k)$-conditionally intersecting families with $n\ge 3k\binom{2k}{k}$. Our results for $(c)$ confirms a conjecture of Mammoliti and Britz for the case $d=3$.


title: A complete classification of three-dimensional algebras over ${\mathbb R}$ and ${\mathbb C}$

abstract: We provide a complete classification of three-dimensional associative algebras over the real and complex number fields based on a complete elementary proof. We list up all the multiplication tables of the algebras up to isomorphism. We compare our results with those given by mathematicians in the 19th century.


title: Nonlocal Thresholds for Improving the Spatial Resolution of Pixel Detectors

abstract: Pixel detectors only record signals above a tuned threshold in order to suppress noise. As sensors become thinner, pitches decrease, and radiation damage reduces the collected charge, it is increasingly desirable to lower thresholds. By making the simple, but powerful observation that hit pixels tend to be spatially close to each other, we introduce a scheme for dynamic thresholds. This dynamic scheme can enhance the signal efficiency without significantly increasing the occupancy. In addition to presenting a selection of empirical results, we also discuss some potential methods for implementing dynamic thresholds in a realistic readout chip for the Large Hadron Collider or other future colliders.


title: Study of Sparsity-Aware Reduced-Dimension Beam-Doppler Space-Time Adaptive Processing

abstract: Existing reduced-dimension beam-Doppler space-time adaptive processing (RD-BD-STAP) algorithms are confined to the beam-Doppler cells used for adaptation, which often leads to some performance degradation. In this work, a novel sparsity-aware RD-BD-STAP algorithm, denoted Sparse Constraint on Beam-Doppler Selection Reduced-Dimension Space-Time Adaptive Processing (SCBDS-RD-STAP), is proposed can adaptively selects the best beam-Doppler cells for adaptation. The proposed SCBDS-RD-STAP approach formulates the filter design as a sparse representation problem and enforcing most of the elements in the weight vector to be zero (or sufficiently small in amplitude). Simulation results illustrate that the proposed SCBDS-RD-STAP algorithm outperforms the traditional RD-BD-STAP approaches with fixed beam-Doppler localized processing.


title: Air Shower Observation by a Simple Structured Fresnel lens Telescope with Single Pixel for the Next Generation of Ultra-High Energy Cosmic Ray Observatory

abstract: Improved statistics and mass-composition-sensitive observation are required to clarify the origin of ultra-high energy cosmic rays (UHECRs). Inevitably in the future, the UHECR observatories will have to be expanded due to the small flux; however, the upgrade will be expensive with the detectors currently in use. Hence, we are developing a new fluorescence detector for UHECR observation. The proposed fluorescence detector, called cosmic ray air fluorescence Fresnel-lens telescope (CRAFFT), has an extremely simple structure and can observe the longitudinal development of an air shower. Furthermore, CRAFFT has the potential to significantly reduce costs for the realization of a huge observatory for UHECR research. We deployed four CRAFFT detectors at the Telescope Array site and conducted the test observation. We have successfully observed ten air-shower events using CRAFFT. Thus, CRAFFT can be a solution to realize the next generation of UHECR observatories.


title: Suppressed spontaneous emission for coherent momentum transfer

abstract: Strong optical forces with minimal spontaneous emission are desired for molecular deceleration and atom interferometry applications. We report experimental benchmarking of such a stimulated optical force driven by ultrafast laser pulses. We apply this technique to accelerate atoms, demonstrating up to an average of $19$ $\hbar k$ momentum transfers per spontaneous emission event. This represents more than an order of magnitude improvement in suppression of spontaneous emission compared to radiative scattering forces. For molecular beam slowing, this technique is capable of delivering a many-fold increase in the achievable time-averaged force to significantly reduce both the slowing distance and detrimental losses to dark vibrational states.


title: Gauged fermionic matrix quantum mechanics

abstract: We consider the gauged free fermionic matrix model, for a single fermionic matrix. In the large $N$ limit this system describes a $c=1/2$ chiral fermion in $1+1$ dimensions. The Gauss' law constraint implies that to obtain a physical state, indices of the fermionic matrices must be fully contracted, to form a singlet. There are two ways in which this can be achieved: one can consider a trace basis formed from products of traces of fermionic matrices or one can consider a Schur function basis, labeled by Young diagrams. The Schur polynomials for the fermions involve a twisted character, as a consequence of Fermi statistics. The main result of this paper is a proof that the trace and Schur bases coincide up to a simple normalization coefficient that we have computed.


title: The International Linear Collider: A Global Project

abstract: The International Linear Collider (ILC) is now under consideration as the next global project in particle physics. In this report, we review of all aspects of the ILC program: the physics motivation, the accelerator design, the run plan, the proposed detectors, the experimental measurements on the Higgs boson, the top quark, the couplings of the W and Z bosons, and searches for new particles. We review the important role that polarized beams play in the ILC program. The first stage of the ILC is planned to be a Higgs factory at 250 GeV in the centre of mass. Energy upgrades can naturally be implemented based on the concept of a linear collider. We discuss in detail the ILC program of Higgs boson measurements and the expected precision in the determination of Higgs couplings. We compare the ILC capabilities to those of the HL-LHC and to those of other proposed e+e- Higgs factories. We emphasize throughout that the readiness of the accelerator and the estimates of ILC performance are based on detailed simulations backed by extensive RandD and, for the accelerator technology, operational experience.


title: Strongly Exponential Separation Between Monotone VP and Monotone VNP

abstract: We show that there is a sequence of explicit multilinear polynomials $P_n(x_1,\ldots,x_n)\in \mathbb{R}[x_1,\ldots,x_n]$ with non-negative coefficients that lies in monotone VNP such that any monotone algebraic circuit for $P_n$ must have size $\exp(\Omega(n)).$ This builds on (and strengthens) a result of Yehudayoff (2018) who showed a lower bound of $\exp(\tilde{\Omega}(\sqrt{n})).$


title: Planning Grasps for Assembly Tasks

abstract: This paper develops model-based grasp planning algorithms for assembly tasks. It focuses on industrial end-effectors like grippers and suction cups, and plans grasp configurations considering CAD models of target objects. The developed algorithms are able to stably plan a large number of high-quality grasps, with high precision and little dependency on the quality of CAD models. The undergoing core technique is superimposed segmentation, which pre-processes a mesh model by peeling it into facets. The algorithms use superimposed segments to locate contact points and parallel facets, and synthesize grasp poses for popular industrial end-effectors. Several tunable parameters were prepared to adapt the algorithms to meet various requirements. The experimental section demonstrates the advantages of the algorithms by analyzing the cost and stability of the algorithms, the precision of the planned grasps, and the tunable parameters with both simulations and real-world experiments. Also, some examples of robotic assembly systems using the proposed algorithms are presented to demonstrate the efficacy.


title: Demonstration of a Time-Efficient Mobility System Using a Scaled Smart City

abstract: The implementation of connected and automated vehicle (CAV) technologies enables a novel computational framework to deliver real-time control actions that optimize travel time, energy, and safety. Hardware is an integral part of any practical implementation of CAVs, and as such, it should be incorporated in any validation method. However, high costs associated with full scale, field testing of CAVs have proven to be a significant barrier. In this paper, we present the implementation of a decentralized control framework, which was developed previously, in a scaled-city using robotic CAVs, and discuss the implications of CAVs on travel time. Supplemental information and videos can be found at https://sites.google.com/view/ud-ids-lab/tfms.


title: Verifying the existence of maximum likelihood estimates for generalized linear models

abstract: A fundamental problem with nonlinear models is that maximum likelihood estimates are not guaranteed to exist. Though nonexistence is a well known problem in the binary choice literature, it presents significant challenges for other models as well and is not as well understood in more general settings. These challenges are only magnified for models that feature many fixed effects and other high-dimensional parameters. We address the current ambiguity surrounding this topic by studying the conditions that govern the existence of estimates for (pseudo-)maximum likelihood estimators used to estimate a wide class of generalized linear models (GLMs). We show that some, but not all, of these GLM estimators can still deliver consistent estimates of at least some of the linear parameters when these conditions fail to hold. We also demonstrate how to verify these conditions in models with high-dimensional parameters, such as panel data models with multiple levels of fixed effects.


title: Resonance width for a particle-core coupling model with a square-well potential

abstract: We derive a simple formula for the width of a multi-channel resonance state. To this end, we use a deformed square-well potential and solve the coupled-channels equations. We obtain the $S$-matrix in the Breit-Wigner form, from which partial widths can be extracted. We apply the resultant formula to a deformed nucleus and discuss the behavior of partial width for an $s$-wave channel.


title: Streaming Batch Eigenupdates for Hardware Neuromorphic Networks

abstract: Neuromorphic networks based on nanodevices, such as metal oxide memristors, phase change memories, and flash memory cells, have generated considerable interest for their increased energy efficiency and density in comparison to graphics processing units (GPUs) and central processing units (CPUs). Though immense acceleration of the training process can be achieved by leveraging the fact that the time complexity of training does not scale with the network size, it is limited by the space complexity of stochastic gradient descent, which grows quadratically. The main objective of this work is to reduce this space complexity by using low-rank approximations of stochastic gradient descent. This low spatial complexity combined with streaming methods allows for significant reductions in memory and compute overhead, opening the doors for improvements in area, time and energy efficiency of training. We refer to this algorithm and architecture to implement it as the streaming batch eigenupdate (SBE) approach.


title: Deformations of Dimer Models

abstract: The combinatorial mutation of polygons, which transforms a given lattice polygon into another one, is an important operation to understand mirror partners for two-dimensional Fano manifolds, and the mutation-equivalent polygons give ${\mathbb Q}$-Gorenstein deformation-equivalent toric varieties. On the other hand, for a dimer model, which is a bipartite graph described on the real two-torus, one can assign a lattice polygon called the perfect matching polygon. It is known that for each lattice polygon $P$ there exists a dimer model having $P$ as the perfect matching polygon and satisfying certain consistency conditions. Moreover, a dimer model has rich information regarding toric geometry associated with the perfect matching polygon. In this paper, we introduce a set of operations which we call deformations of consistent dimer models, and show that the deformations of consistent dimer models realize the combinatorial mutations of the associated perfect matching polygons.


title: Econometric analysis of potential outcomes time series: instruments, shocks, linearity and the causal response function

abstract: Bojinov & Shephard (2019) defined potential outcome time series to nonparametrically measure dynamic causal effects in time series experiments. Four innovations are developed in this paper: "instrumental paths," treatments which are "shocks," "linear potential outcomes" and the "causal response function." Potential outcome time series are then used to provide a nonparametric causal interpretation of impulse response functions, generalized impulse response functions, local projections and LP-IV.


title: Phase-Retrieval-Based Wavefront Metrology for High Contrast Coronagraphy

abstract: We discuss the use of parametric phase-diverse phase retrieval as an in-situ high-fidelity wavefront measurement method to characterize and optimize the transmitted wavefront of a high-contrast coronagraphic instrument. We apply our method to correct the transmitted wavefront of the HiCAT (High contrast imager for Complex Aperture Telescopes) coronagraphic testbed. This correction requires a series of calibration steps, which we describe. The correction improves the system wavefront from 16 nm RMS to 3.0 nm RMS.


title: A recurrent formula of $A_{\infty}$-quasi inverses of dg-natural transformations between dg-lifts of derived functors

abstract: A dg-natural transformation between dg-functors is called an objectwise homotopy equivalence if its induced morphism on each object admits a homotopy inverse. In general an objectwise homotopy equivalence does not have a dg-inverse but has an $A_{\infty}$ quasi-inverse. In this note we give a recurrent formula of the $A_{\infty}$ quasi-inverse. This result is useful in studying the compositions of dg-lifts of derived functors of schemes.


title: Trion-based High-speed Electroluminescence from Semiconducting Carbon Nanotube Films

abstract: High-speed light emitters integrated on silicon chips can enable novel architectures for silicon-based optoelectronics, such as on-chip optical interconnects and silicon photonics. However, conventional light sources based on compound semiconductors face major challenges for their integration with the silicon-based platforms because of the difficulty of their direct growth on a silicon substrate. Here, we report high-brightness, high-speed, ultra-small-size on-chip electroluminescence (EL) emitters based on semiconducting single-walled carbon nanotubes (SWNTs) thin films. The peaks of the EL emission spectra are 0.2-eV red-shifted from the peaks of the absorption and photoluminescence emission spectra, which suggests emission from trions. High-speed responses of ~ 100 ps were experimentally observed from the trion-based EL emitters, which indicates the possibility of several-GHz modulation. The pulsed light generation was also obtained by applying pulse voltage. These high-speed and ultra-small-size EL emitters can enable novel on-chip optoelectronic devices for highly integrated optoelectronics and silicon photonics.


title: Fourier-Mukai transformation and logarithmic Higgs bundles on punctual Hilbert schemes

abstract: Given a vector bundle $E$ on a smooth projective curve or surface $X$ carrying the structure of a $V$-twisted Hitchin pair for some vector bundle $V$, we observe that the associated tautological bundle $E^{[n]}$ on the punctual Hilbert scheme of points $X^{[n]}$ has an induced structure of a $((V^\vee)^{[n]})^\vee$-twisted Hitchin pair, where $(V^\vee)^{[n]}$ is a vector bundle on $X^{[n]}$ constructed using the dual $V^\vee$ of $V$. In particular, a Higgs bundle on $X$ induces a logarithmic Higgs bundle on the Hilbert scheme $X^{[n]}$. We then show that the known results on stability of tautological bundles and reconstruction from tautological bundles generalize to tautological Hitchin pairs.