title: Fully Convolutional Network for Melanoma Diagnostics

abstract: This work seeks to determine how modern machine learning techniques may be applied to the previously unexplored topic of melanoma diagnostics using digital pathology. We curated a new dataset of 50 patient cases of cutaneous melanoma using digital pathology. We provide gold standard annotations for three tissue types (tumour, epidermis, and dermis) which are important for the prognostic measurements known as Breslow thickness and Clark level. Then, we devised a novel multi-stride fully convolutional network (FCN) architecture that outperformed other networks trained and evaluated using the same data according to standard metrics. Finally, we trained a model to detect and localize the target tissue types. When processing previously unseen cases, our model's output is qualitatively very similar to the gold standard. In addition to the standard metrics computed as a baseline for our approach, we asked three additional pathologists to measure the Breslow thickness on the network's output. Their responses were diagnostically equivalent to the ground truth measurements, and when removing cases where a measurement was not appropriate, inter-rater reliability (IRR) between the four pathologists was 75.0%. Given the qualitative and quantitative results, it is possible to overcome the discriminative challenges of the skin and tumour anatomy for segmentation using modern machine learning techniques, though more work is required to improve the network's performance on dermis segmentation. Further, we show that it is possible to achieve a level of accuracy required to manually perform the Breslow thickness measurement.


title: The Energy Dependence of Micro Black Hole Horizon in Quantum Gravity Theory

abstract: The energy dependence of the deflection angle is a common prediction in some quantum gravity theories when the impact parameters are much larger than the photon wavelength. For low energy photons, the deflection angle recovers to the prediction of GR. But it reduces to zero for infinite energy photons. In this paper, we develop an effective approach to calculate the trajectory of photons and other deflection-related quantities semiclassically by replacing $h_{\mu \nu}$ with $h_{\mu \nu} \times f(E)$ to include the correction of quantum gravity. This approach could provide more information for photons traveling in an external gravitational field. We compute the horizon of micro black hole with this method and find that they are all energy dependent and decrease to zero as the energy increases to infinity.


title: Keeping it together: a phase field version of path-connectedness and its implementation

abstract: We describe the implementation of a topological constraint in finite element simulations of phase field models which ensures path-connectedness of preimages of intervals in the phase field variable. Two main applications of our method are presented. First, a discrete steepest decent of a phase field version of a bending energy with spontaneous curvature and additional surface area penalty is shown, which leads to disconnected surfaces without our topological constraint but connected surfaces with the constraint. The second application is the segmentation of an image into a connected component and its exterior. Numerically, our constraint is treated using a suitable geodesic distance function which is computed using Dijkstra's algorithm.


title: Hierarchical Long-term Video Prediction without Supervision

abstract: Much of recent research has been devoted to video prediction and generation, yet most of the previous works have demonstrated only limited success in generating videos on short-term horizons. The hierarchical video prediction method by Villegas et al. (2017) is an example of a state-of-the-art method for long-term video prediction, but their method is limited because it requires ground truth annotation of high-level structures (e.g., human joint landmarks) at training time. Our network encodes the input frame, predicts a high-level encoding into the future, and then a decoder with access to the first frame produces the predicted image from the predicted encoding. The decoder also produces a mask that outlines the predicted foreground object (e.g., person) as a by-product. Unlike Villegas et al. (2017), we develop a novel training method that jointly trains the encoder, the predictor, and the decoder together without highlevel supervision; we further improve upon this by using an adversarial loss in the feature space to train the predictor. Our method can predict about 20 seconds into the future and provides better results compared to Denton and Fergus (2018) and Finn et al. (2016) on the Human 3.6M dataset.


title: Interpretation of the diffuse astrophysical neutrino flux in terms of the blazar sequence

abstract: We study if the diffuse astrophysical neutrino flux can come from blazar jets -- a subclass of Active Galactic Nuclei (AGNs) -- while it, at the same time, respects the blazar stacking limit based on source catalogs and is consistent with the observation from TXS 0506+056. We compute the neutrino flux from resolved and unresolved sources using an averaged, empirical relationship between electromagnetic spectrum and luminosity, known as the {\em blazar sequence}, for two populations of blazars (BL Lacs and FSRQs). Using a source model with realistic neutrino flux computations, we demonstrate that blazars can indeed power the diffuse neutrino flux at the highest energies and obey the stacking limit at the same time, and we derive the conditions for the baryonic loading (proton versus $\gamma$-ray luminosity) evolving over the blazar sequence. Under the hypothesis that low-luminosity blazars power the diffuse astrophysical neutrino flux, we find that the dominant contribution of the diffuse flux up to PeV energies must come from unresolved BL Lacs with baryonic loadings larger than about $10^5$ -- while only a very small contribution may come from resolved high-luminosity BL Lacs or FSRQs, which can be directly tested by the stacking limit. We find that the blazar TXS 0506+056 is on the verge of these populations in our baseline scenario, at a relatively high luminosity and redshift; as a consequence we predict about 0.3 $\gamma$-ray-neutrino associations per year from the whole population, dominated by BL Lacs with $L_\gamma \simeq 10^{45} \, \mathrm{erg/s}$ and $z \sim 0.1$.


title: Speculative Thread Framework for Transient Management and Bumpless Transfer in Reconfigurable Digital Filters

abstract: There are many methods developed to mitigate transients induced when abruptly changing dynamic algorithms such as those found in digital filters or controllers. These "bumpless transfer" methods have a computational burden to them and take time to implement, causing a delay in the desired switching time. This paper develops a method that automatically reconfigures the computational resources in order to implement a transient management method without any delay in switching times. The method spawns a speculative thread when it predicts if a switch in algorithms is imminent so that the calculations are done prior to the switch being made. The software framework is described and experimental results are shown for a switching between filters in a filter bank.


title: Search for dark matter produced in association with a Higgs boson decaying to $\gamma\gamma$ or $\tau^+\tau^-$ at $\sqrt{s} =$ 13 TeV

abstract: A search for dark matter particles is performed by looking for events with large transverse momentum imbalance and a recoiling Higgs boson decaying to either a pair of photons or a pair of $\tau$ leptons. The search is based on proton-proton collision data at a center-of-mass energy of 13 TeV collected at the CERN LHC in 2016 and corresponding to an integrated luminosity of 35.9 fb$^{-1}$. No significant excess over the expected standard model background is observed. Upper limits at 95% confidence level are presented for the product of the production cross section and branching fraction in the context of two benchmark simplified models. For the Z'-two-Higgs-doublet model (where Z' is a new massive boson mediator) with an intermediate heavy pseudoscalar particle of mass $m_\mathrm{A} =$ 300 GeV and $m_\mathrm{DM} =$ 100 GeV, Z' masses from 550 GeV up to 1265 GeV are excluded. For a baryonic Z' model, with $m_\mathrm{DM} =$ 1 GeV, Z' masses up to 615 GeV are excluded. Results are also presented for the spin-independent cross section for the dark matter-nucleon interaction as a function of the mass of the dark matter particle. This is the first search for dark matter particles produced in association with a Higgs boson decaying to two $\tau$ leptons.


title: Activating many-body localization in solids by driving with light

abstract: Due to the presence of phonons, many body localization (MBL) does not occur in disordered solids, even if disorder is strong. Local conservation laws characterizing an underlying MBL phase decay due to the coupling to phonons. Here we show that this decay can be compensated when the system is driven out of equilibrium. The resulting variations of the local temperature provide characteristic fingerprints of an underlying MBL phase. We consider a one-dimensional disordered spin-chain which is weakly coupled to a phonon bath and weakly irradiated by white light. The irradiation has weak effects in the ergodic phase. However, if the system is in the MBL phase irradiation induces strong temperature variations of order 1 despite the coupling to phonons. Temperature variations can be used similar to an order parameter to detect MBL phases, the phase transition and an MBL correlation length.


title: Static Malware Detection & Subterfuge: Quantifying the Robustness of Machine Learning and Current Anti-Virus

abstract: As machine-learning (ML) based systems for malware detection become more prevalent, it becomes necessary to quantify the benefits compared to the more traditional anti-virus (AV) systems widely used today. It is not practical to build an agreed upon test set to benchmark malware detection systems on pure classification performance. Instead we tackle the problem by creating a new testing methodology, where we evaluate the change in performance on a set of known benign & malicious files as adversarial modifications are performed. The change in performance combined with the evasion techniques then quantifies a system's robustness against that approach. Through these experiments we are able to show in a quantifiable way how purely ML based systems can be more robust than AV products at detecting malware that attempts evasion through modification, but may be slower to adapt in the face of significantly novel attacks.


title: Goal-Oriented Conjecturing for Isabelle/HOL

abstract: We present PGT, a Proof Goal Transformer for Isabelle/HOL. Given a proof goal and its background context, PGT attempts to generate conjectures from the original goal by transforming the original proof goal. These conjectures should be weak enough to be provable by automation but sufficiently strong to prove the original goal. By incorporating PGT into the pre-existing PSL framework, we exploit Isabelle's strong automation to identify and prove such conjectures.


title: Emergent c-axis magnetic helix in manganite-nickelate superlattices

abstract: The nature of the magnetic order in (La2/3Sr1/3MnO3)9/(LaNiO3)3 superlattices is investigated using x-ray resonant magnetic reflectometry. We observe a new c-axis magnetic helix state in the (LaNiO3)3 layers that had never been reported in nickelates, and which mediates the ~130deg magnetic coupling between the ferromagnetic (La2/3Sr1/3MnO3)9 layers, illustrating the power of x-rays for discovering the magnetic state of complex oxide interfaces. Resonant inelastic x-ray scattering and x-ray absorption spectroscopy show that Ni-O ligand hole states from bulk LaNiO3 are mostly filled due to interfacial electron transfer from Mn, driving the Ni orbitals closer to an atomic-like 3d8 configuration. We discuss the constraints imposed by this electronic configuration to the microscopic origin of the observed magnetic structure. The presence of a magnetic helix in (La2/3Sr1/3MnO3)9/(LaNiO3)3 is crucial for modeling the potential spintronic functionality of this system and may be important for designing emergent magnetism in novel devices in general.


title: Real-time on-device nod and shake recognition

abstract: We discuss methods for teaching systems to identify gestures such as head nod and shake. We use iPhone X depth camera to gather data and later use similar data as input for a working app. These methods have proved robust for training with limited datasets and thus we make the argument that similar methods could be adapted to learn other human to human non-verbal gestures. We showcase how to augment Euler angle gesture sequences to train models with a relatively large number of parameters such as LSTM and GRU and gain better performance than reported for smaller models such as HMM. In the examples here, we demonstrate how to train such models with Keras and run the resulting models real time on device with CoreML.


title: Quantum-Accurate Spectral Neighbor Analysis Potential Models for Ni-Mo Binary Alloys and FCC Metals

abstract: In recent years, efficient inter-atomic potentials approaching the accuracy of density functional theory (DFT) calculations have been developed using rigorous atomic descriptors satisfying strict invariances, for example, to translation, rotation, permutation of homonuclear atoms, among others. In this work, we generalize the spectral neighbor analysis potential (SNAP) model to bcc-fcc binary alloy systems. We demonstrate that machine-learned SNAP models can yield significant improvements even over well-established, high-performing embedded atom method (EAM) and modified EAM (MEAM) potentials for fcc Cu and Ni. We also report on the development of a SNAP model for the fcc Ni-bcc Mo binary system by machine learning a carefully-constructed large computed data set of elemental and intermetallic compounds. We demonstrate that this binary Ni-Mo SNAP model can achieve excellent agreement with experiments in the prediction of Ni-Mo phase diagram as well as near-DFT accuracy in the prediction of many key properties such as elastic constants, formation energies, melting points, etc., across the entire binary composition range. In contrast, the existing Ni-Mo EAM has significant errors in the prediction of the phase diagram and completely fails in binary compounds. This work provides a systematic model development process for multicomponent alloy systems, including an efficient procedure to optimize the hyper-parameters in the model fitting, and paves the way to long-time, large-scale simulations of such systems.


title: Fattening and nonfattening phenomena for planar nonlocal curvature flows

abstract: We discuss fattening phenomenon for the evolution of planar curves according to their nonlocal curvature. More precisely, we consider a class of generalized curvatures which correspond to the first variation of suitable nonlocal perimeter functionals, defined in terms of an interaction kernel $K$, which is symmetric, nonnegative, possibly singular at the origin, and satisfies appropriate integrability conditions. We prove a general result about uniqueness of the geometric evolutions starting from regular sets with positive $K$-curvature and we discuss the fattening phenomenon for the evolution starting from the cross, showing that this phenomenon is very sensitive to the strength of the interactions. As a matter of fact, we show that the fattening of the cross occurs for kernels with sufficiently large mass near the origin, while for kernels that are sufficiently weak near the origin such a fattening phenomenon does not occur. We also provide some further results in the case of the fractional mean curvature flow, showing that strictly starshaped sets have a unique geometric evolution. Moreover, we exhibit two illustrative examples of closed nonregular curves, the first with a Lipschitz-type singularity and the second with a cusp-type singularity, given by two tangent circles of equal radius, whose evolution develops fattening in the first case, and is uniquely defined in the second, thus remarking the high sensitivity of the fattening phenomenon in terms of the regularity of the initial datum. The latter example is in striking contrast to the classical case of the (local) curvature flow, where two tangent circles always develop fattening. As a byproduct of our analysis, we provide also a simple proof of the fact that the cross is not a $K$-minimal set for the nonlocal perimeter functional associated to $K$.


title: Convolutional Neural Networks for Aircraft Noise Monitoring

abstract: Air travel is one of the fastest growing modes of transportation, however, the effects of aircraft noise on populations surrounding airports is hindering its growth. In an effort to study and ultimately mitigate the impact that this noise has, many airports continuously monitor the aircraft noise in their surrounding communities. Noise monitoring and analysis is complicated by the fact that aircraft are not the only source of noise. In this work, we show that a Convolutional Neural Network is well-suited for the task of identifying noise events which are not caused by aircraft. Our system achieves an accuracy of 0.970 when trained on 900 manually labeled noise events. Our training data and a TensorFlow implementation of our model are available at https://github.com/neheller/aircraftnoise.


title: Delay-Free Concurrency on Faulty Persistent Memory

abstract: Non-volatile memory (NVM) promises persistent main memory that remains correct despite loss of power. This has sparked a line of research into algorithms that can recover from a system crash. Since caches are expected to remain volatile, concurrent data structures and algorithms must be redesigned to guarantee that they are left in a consistent state after a system crash, and that the execution can be continued upon recovery. However, the prospect of redesigning every concurrent data structure or algorithm before it can be used in NVM architectures is daunting. In this paper, we present a construction that takes any concurrent program with reads, writes and CASs to shared memory and makes it persistent, i.e., can be continued after one or more processes fault and have to restart. Importantly the converted algorithm has constant computational delay (preserves instruction counts on each process within a constant factor), as well as constant recovery delay (a process can recover from a fault in a constant number of instructions). We show this first for a simple transformation, and then present optimizations to make it more practical, allowing for a tradeoff for better constant factors in computational delay, for sometimes increased recovery delay. We also provide an optimized transformation that works for any normalized lock-free data structure, thus allowing more efficient constructions for a large class of concurrent algorithms. We experimentally evaluate our transformations by applying them to a queue.


title: On the Convergence Rate of Stochastic Mirror Descent for Nonsmooth Nonconvex Optimization

abstract: In this paper, we investigate the non-asymptotic stationary convergence behavior of Stochastic Mirror Descent (SMD) for nonconvex optimization. We focus on a general class of nonconvex nonsmooth stochastic optimization problems, in which the objective can be decomposed into a relatively weakly convex function (possibly non-Lipschitz) and a simple non-smooth convex regularizer. We prove that SMD, without the use of mini-batch, is guaranteed to converge to a stationary point in a convergence rate of $ \mathcal{O}(1/\sqrt{t}) $. The efficiency estimate matches with existing results for stochastic subgradient method, but is evaluated under a stronger stationarity measure. Our convergence analysis applies to both the original SMD and its proximal version, as well as the deterministic variants, for solving relatively weakly convex problems.


title: Dynamical and current-induced Dzyaloshinskii-Moriya interaction: Role for damping, gyromagnetism, and current-induced torques in noncollinear magnets

abstract: Both applied electric currents and magnetization dynamics modify the Dzyaloshinskii-Moriya interaction (DMI), which we call current-induced DMI (CIDMI) and dynamical DMI (DDMI), respectively. We report a theory of CIDMI and DDMI. The inverse of CIDMI consists in charge pumping by a time-dependent gradient of magnetization $\partial^2 M(r,t)/\partial r\partial t$, while the inverse of DDMI describes the torque generated by $\partial^2 M(r,t)/\partial r\partial t$. In noncollinear magnets CIDMI and DDMI depend on the local magnetization direction. The resulting spatial gradients correspond to torques that need to be included into the theories of Gilbert damping, gyromagnetism, and current-induced torques (CITs) in order to satisfy the Onsager reciprocity relations. CIDMI is related to the modification of orbital magnetism induced by magnetization dynamics, which we call dynamical orbital magnetism (DOM), and spatial gradients of DOM contribute to charge pumping. We present applications of this formalism to the CITs and to the torque-torque correlation in textured Rashba ferromagnets.


title: Estimates for character sums in finite fields of order $p^2$ and $p^3$

abstract: Let $p$ be a prime number, $\mathbb{F}_{p^n}$ be the finite field of order $p^n$, and $\{\omega_1,\ldots\omega_n\}$ be a basis of $\mathbb{F}_{p^n}$ over $\mathbb{F}_p$. Let, further, $N_i,H_i$ be integers such that $1\leq H_i\leq p$, $\,\,i=1,\ldots,n$. Define $n$-dimensional parallelepiped $B\subseteq\mathbb{F}_{p^n}$ as follows: $$B=\left\{\sum_{i=1}^nx_i\omega_i \,:\, N_i+1\leq x_i\leq N_i+H_i, \,\,\, 1\leq i\leq n\right\}. $$ Let $n\in\{2,3\}$, $\chi$ be a nontrivial multiplicative character of $\mathbb{F}_{p^n}$ and $|B|\geq p^{n(1/4+\varepsilon)}$, and let us assume that $H_1\leq\ldots\leq H_n$. Then we prove that $$\left|\sum_{x\in B}\chi(x)\right|\ll_{\varepsilon} |B|p^{-\varepsilon^2/12}, $$ if $\chi|_{\mathbb{F}_p}$ is not identical, and $$\left|\sum_{x\in B}\chi(x)\right|\ll_{\varepsilon} |B|p^{-\varepsilon^2/12}+|B\cap \omega_n\mathbb{F}_p| $$ otherwise.


title: On Flow-Induced Diffusive Mobile Molecular Communication: First Hitting Time and Performance Analysis

abstract: This work considers the problem of flow-induced diffusive molecular communication under various mobility conditions such as (i) both transmitter (TX) and receiver (RX) nanomachines are mobile, (ii) TX is mobile and RX is fixed, and (iii) TX is fixed and RX is mobile. Closed-form expressions for the probability density function (PDF) of the first hitting time under the aforementioned mobile scenarios are derived, by characterizing the movement of the nanomachines and information molecules using Brownian motion with positive drift. The derived PDF expressions are validated through particle-based simulations. Based on these results, the performance of molecular communication with on-off keying (OOK) modulation in flow-induced diffusive channels is investigated. In particular, closed-form expressions for the probabilities of detection and false alarm with optimal Likelihood ratio test (LRT) based decision rule, probability of error, and the capacity in the presence of inter-symbol interference, counting errors, and noise from the other sources are derived. Simulation results are presented to verify the theoretical results and to yield insights into the system performance for different mobility conditions.


title: Ohno-type identities for multiple harmonic sums

abstract: We establish Ohno-type identities for multiple harmonic ($q$-)sums which generalize Hoffman's identity and Bradley's identity. Our result leads to a new proof of the Ohno-type relation for $\mathcal{A}$-finite multiple zeta values recently proved by Hirose, Imatomi, Murahara and Saito. As a further application, we give certain sum formulas for $\mathcal{A}_2$- or $\mathcal{A}_3$-finite multiple zeta values.


title: Cosmological constraints from the thermal Sunyaev Zeldovich power spectrum?

abstract: The latest Planck results on the power spectrum of the Compton-$y$ parameter are the most accurate probe of the thermal Sunyaev Zeldovich (tSZ) effect caused by resolved and un-resolved clusters of galaxies. On large angular scales, the power spectrum amplitude is mostly due to the statistical distribution of clusters in the sky and therefore is an indirect probe of the clustering of matter, $\sigma_8$, as well as the angular diameter distance that depends on other cosmological parameters such as the Hubble parameter, $h$, and the matter density $\Omega_m$. Here I discuss the constraining power of the tSZ power spectrum, in light of the Planck Compton-$y$ map data, and our current understanding and measurements of the intra-cluster medium.


title: Towards Time-Resolved Atomic Structure Determination by X-Ray Standing Waves at a Free-Electron Laser

abstract: We demonstrate the structural sensitivity and accuracy of the standing wave technique at a high repetition rate free-electron laser, FLASH at DESY in Hamburg, by measuring the photoelectron yield from the surface SiO2 of Mo/Si multilayers. These experiments open up the possibility to obtain unprecedented structural information of adsorbate and surface atoms with picometer spatial accuracy and femtosecond temporal resolution. This technique will substantially contribute to a fundamental understanding of chemical reactions at catalytic surfaces and the structural dynamics of superconductors.


title: The microscopic role of deformation in the dynamics of soft colloids

abstract: Soft colloids allow to explore high density states well beyond random close packing. An important open question is whether softness controls the dynamics under these dense conditions. While experimental works reported conflicting results, numerical studies so far mostly focused on simple models that allow particles to overlap, but neglect particle deformations, thus making the concept of softness in simulations and in experiments very different. To fill this gap here we propose a new model system consisting of polymer rings with internal elasticity. At high packing fractions the system displays a compressed exponential decay of the intermediate scattering functions and a super-diffusive behavior of the mean-squared displacement. These intriguing features are explained in terms of the complex interplay between particle deformations and dynamic heterogeneities, which give rise to persistent motion of ballistic particles. We also observe a striking variation of the relaxation times with increasing particle softness clearly demonstrating the crucial role of particle deformation in the dynamics of realistic soft colloids.


title: Manipulation of Au nanoparticles using an electron probe: electron golf

abstract: A tool for manipulation of specific nanoparticles is essential for nanofabrication. This paper describes a new class of nanoscale techniques for manipulating individual nanoparticles on an insulating substrate using a focused electron beam. The controlled displacement of 20 nm Au nanoparticles is demonstrated, along with the extension to other systems, by exploiting the fundamental principles of particle motion under intense electron irradiation, which we elucidate. Excitation and ionization by the focused electron beam within the substrate are shown to produce an electric field on the particle in this new mechanism. The strength and direction of the electric field, and thus the motion of the nanoparticle, can be precisely controlled by the current density, exposure time and position of the electron beam.


title: Relevance of the fluorescence radiation in VHE gamma-ray observations with the Cherenkov technique

abstract: Atmospheric fluorescence is usually neglected in the reconstruction of the signals registered by Cherenkov telescopes, both IACTs and wide-angle detector arrays. In this paper we quantify the fluorescence contribution to the total light recorded in typical observational configurations. To this end we have implemented the production and tracking of fluorescence light in the CORSIKA code. Both the Cherenkov and fluorescence light distributions on ground (2200 m a.s.l.) have been simulated for gamma-ray showers in a wide energy range ($10^{-1} - 10^3$ TeV). The relative fluorescence contribution has been evaluated as a function of the shower energy and zenith angle. Our results indicate that at distances from the impact point smaller than 200 m the fluorescence contamination is negligible in both types of telescopes. However, at about 1000 m, the contamination in IACTs is around 5%. At these core distances, the signals recorded by wide-angle detectors contain around 45% of atmospheric fluorescence in the PeV region.


title: A bijective proof of a false theta function identity from Ramanujan's lost notebook

abstract: In his lost notebook, Ramanujan listed 5 identities related to the false theta function $$f(q)=\sum_{n=0}^\infty (-1)^nq^{n(n+1)/2}.$$ A new combinatorial interpretation and proof of one of these identities is given. The methods of the proof allow for new multivariate generalizations of this identity. Additionally, the same technique can be used to obtained a combinatorial interpretation of another one of the identities.


title: Characterization of low-mass companion HD 142527 B

abstract: The circumstellar disk of the Herbig Fe star HD 142527 is host to several remarkable features including a warped inner disk, a 120 au-wide annular gap, a prominent dust trap and several spiral arms. A low-mass companion, HD 142527 B, was also found orbiting the primary star at $\sim$14 au. This study aims to better characterize this companion, which could help explain its impact on the peculiar geometry of the disk. We observed the source with VLT/SINFONI in $H$+$K$ band in pupil-tracking mode. Data were post-processed with several algorithms based on angular differential imaging (ADI). HD 142527 B is conspicuously re-detected in most spectral channels, which enables us to extract the first medium-resolution spectrum of a low-mass companion within 0.1'' from its central star. Fitting our spectrum with both template and synthetic spectra suggests that the companion is a young M2.5$\pm$1.0 star with an effective temperature of $3500\pm100$ K, possibly surrounded with a hot (1700 K) circum-secondary environment. Pre-main sequence evolutionary tracks provide a mass estimate of $0.34\pm0.06 M_{\odot}$, independent of the presence of a hot environment. However, the estimated stellar radius and age do depend on that assumption; we find a radius of $1.37 \pm 0.05 R_{\odot}$ (resp. $1.96 \pm 0.10 R_{\odot}$) and an age of $1.8^{+1.2}_{-0.5}$ Myr (resp. $0.75 \pm 0.25$ Myr) in the case of the presence (resp. absence) of a hot environment contributing in $H$+$K$. Our new values for the mass and radius yield a mass accretion rate of $\sim$5 $\times 10^{-9} M_{\odot}$ yr$^{-1}$ (2-3% that of the primary). Our results illustrate thus the potential for SINFONI+ADI to characterize faint close-in companions. The new spectral type makes HD 142527 B a twin of the well known TW Hya T-Tauri star, and the revision of its mass to higher values further supports its role in shaping the disk.


title: A Connectome Based Hexagonal Lattice Convolutional Network Model of the Drosophila Visual System

abstract: What can we learn from a connectome? We constructed a simplified model of the first two stages of the fly visual system, the lamina and medulla. The resulting hexagonal lattice convolutional network was trained using backpropagation through time to perform object tracking in natural scene videos. Networks initialized with weights from connectome reconstructions automatically discovered well-known orientation and direction selectivity properties in T4 neurons and their inputs, while networks initialized at random did not. Our work is the first demonstration, that knowledge of the connectome can enable in silico predictions of the functional properties of individual neurons in a circuit, leading to an understanding of circuit function from structure alone.


title: Thermal rectification and heat amplification in a nonequilibrium V-type three-level system

abstract: Thermal rectification and heat amplification are investigated in a nonequilibrium V-type three-level system with quantum interference. By applying the Redfield master equation combined with full counting statistics, we analyze the steady state heat transport. The noise-induced interference is found to be able to rectify the heat current, which paves a new way to design quantum thermal rectifier. Within the three-reservoir setup, the heat amplification is clearly identified far-from equilibrium, which is in absence of the negative differential thermal conductance.


title: Drive2Vec: Multiscale State-Space Embedding of Vehicular Sensor Data

abstract: With automobiles becoming increasingly reliant on sensors to perform various driving tasks, it is important to encode the relevant CAN bus sensor data in a way that captures the general state of the vehicle in a compact form. In this paper, we develop a deep learning-based method, called Drive2Vec, for embedding such sensor data in a low-dimensional yet actionable form. Our method is based on stacked gated recurrent units (GRUs). It accepts a short interval of automobile sensor data as input and computes a low-dimensional representation of that data, which can then be used to accurately solve a range of tasks. With this representation, we (1) predict the exact values of the sensors in the short term (up to three seconds in the future), (2) forecast the long-term average values of these same sensors, (3) infer additional contextual information that is not encoded in the data, including the identity of the driver behind the wheel, and (4) build a knowledge base that can be used to auto-label data and identify risky states. We evaluate our approach on a dataset collected by Audi, which equipped a fleet of test vehicles with data loggers to store all sensor readings on 2,098 hours of driving on real roads. We show in several experiments that our method outperforms other baselines by up to 90%, and we further demonstrate how these embeddings of sensor data can be used to solve a variety of real-world automotive applications.


title: A Holistic Framework for Open Low-Power Internet of Things Technology Ecosystems

abstract: The low-power Internet of Things (IoT) has been thriving because of the recent technological advancement and ecosystems meeting the vertical application requirements and market needs. An open IoT technology ecosystem of the low-power IoT has become increasingly important to all the players and stakeholders and to the research community. However, there are several mainstream low-power IoT ecosystems available out of industry consortia or research projects and there are different models implied in them. We need to identify the working framework behind the scene and find out the principle of driving the future trends in the industry and research community. With a close look at these IoT technology ecosystems, four major business models are identified that can lead to the proposed ecosystem framework. The framework considers the technical building blocks, market needs, and business vertical segments, where these parts are making the IoT evolve as a whole for the years to come.


title: Generation of $^{87}$Rb-resonant bright two-mode squeezed light with four-wave mixing

abstract: Squeezed states of light have found their way into a number of applications in quantum-enhanced metrology due to their reduced noise properties. In order to extend such an enhancement to metrology experiments based on atomic ensembles, an efficient light-atom interaction is required. Thus, there is a particular interest in generating narrow-band squeezed light that is on atomic resonance. This will make it possible not only to enhance the sensitivity of atomic based sensors, but also to deterministically entangle two distant atomic ensembles. We generate bright two-mode squeezed states of light, or twin beams, with a non-degenerate four-wave mixing (FWM) process in hot $^{85}$Rb in a double-lambda configuration. Given the proximity of the energy levels in the D1 line of $^{85}$Rb and $^{87}$Rb, we are able to operate the FWM in $^{85}$Rb in a regime that generates two-mode squeezed states in which both modes are simultaneously on resonance with transitions in the D1 line of $^{87}$Rb, one mode with the $F=2$ to $F'=2$ transition and the other one with the $F=1$ to $F'=1$ transition. For this configuration, we obtain an intensity difference squeezing level of $-3.5$ dB. Moreover, the intensity difference squeezing increases to $-5.4$ dB and $-5.0$ dB when only one of the modes of the squeezed state is resonant with the D1 $F=2$ to $F'=2$ or $F=1$ to $F'=1$ transition of $^{87}$Rb, respectively.


title: Meta-Learning Transferable Active Learning Policies by Deep Reinforcement Learning

abstract: Active learning (AL) aims to enable training high performance classifiers with low annotation cost by predicting which subset of unlabelled instances would be most beneficial to label. The importance of AL has motivated extensive research, proposing a wide variety of manually designed AL algorithms with diverse theoretical and intuitive motivations. In contrast to this body of research, we propose to treat active learning algorithm design as a meta-learning problem and learn the best criterion from data. We model an active learning algorithm as a deep neural network that inputs the base learner state and the unlabelled point set and predicts the best point to annotate next. Training this active query policy network with reinforcement learning, produces the best non-myopic policy for a given dataset. The key challenge in achieving a general solution to AL then becomes that of learner generalisation, particularly across heterogeneous datasets. We propose a multi-task dataset-embedding approach that allows dataset-agnostic active learners to be trained. Our evaluation shows that AL algorithms trained in this way can directly generalise across diverse problems.


title: Intrinsic Transverse Motion of the Pion's Valence Quarks

abstract: Starting with the solution to the Bethe-Salpeter equation for the pion, in a beyond rainbow-ladder truncation to QCD's Dyson-Schwinger equations (DSEs), we determine the pion's $l_z=0$ and $|l_z|=1$ leading Fock-state light-front wave functions (LFWFs) [labeled by $\psi_{l_z}(x,k_T^2)$]. The leading-twist time-reversal even transverse momentum dependent parton distribution function (TMD) of the pion is then directly obtained from these LFWFs. A key characteristic of the LFWFs, which is driven by dynamical chiral symmetry breaking, is that at typical hadronic scales they are broad functions in the light-cone momentum fraction $x$. The LFWFs have a non-trivial $(x,k_T^2)$ dependence and in general do not factorize into separate functions of each variable. The $l_z=0$ LFWF is concave with a maximum at $x=1/2$, whereas orbital angular momentum effects causes the $|l_z|=1$ LFWF to have a slight {\it double-humped} structure for quark transverse momentum in the range $0.5 \lesssim k_T^2 \lesssim 5\,$GeV$^2$. For $k_T^2 \lesssim 1\,$GeV$^2$ the $k_T^2$ dependence of the LFWFs is well described by a Gaussian, however for $k_T^2 \gtrsim 10\,$GeV$^2$ these LFWFs behave as $\psi_0 \propto x(1-x)/k_T^2$ and $\psi_1 \propto x(1-x)/k_T^4$, and therefore exhibit the power-law behavior predicted by perturbative QCD. The pion's TMD inherits many features from the LFWFs, where for $k_T^2 \lesssim 1\,$GeV$^2$ the $k_T^2$ dependence is well described by a Gaussian, and for large $k_T^2$ the TMD behaves as $f_\pi^q \propto x^2(1-x)^2/k_T^4$. At the model scale we find the average transverse momentum, defined by a Bessel-weighted moment with $b_T=0.3\,$fm, to equal $\langle k_T^2\rangle = 0.19\,$GeV$^2$. The TMD evolution of our result is studied using both the $b^*$ and $\zeta$ prescriptions which allows a qualitative comparison with existing Drell-Yan data.


title: Higher melonic theories

abstract: We classify a large set of melonic theories with arbitrary $q$-fold interactions, demonstrating that the interaction vertices exhibit a range of symmetries, always of the form $\mathbb{Z}_2^n$ for some $n$, which may be $0$. The number of different theories proliferates quickly as $q$ increases above $8$ and is related to the problem of counting one-factorizations of complete graphs. The symmetries of the interaction vertex lead to an effective interaction strength that enters into the Schwinger-Dyson equation for the two-point function as well as the kernel used for constructing higher-point functions.


title: Harmonic surface mapping algorithm for fast electrostatic sums

abstract: We propose a harmonic surface mapping algorithm (HSMA) for electrostatic pairwise sums of an infinite number of image charges. The images are induced by point sources within a box due to a specific boundary condition which can be non-periodic. The HSMA first introduces an auxiliary surface such that the contribution of images outside the surface can be approximated by the least-squares method using spherical harmonics as basis functions. The so-called harmonic surface mapping is the procedure to transform the approximate solution into a surface charge and a surface dipole over the auxiliary surface, which becomes point images by using numerical integration. The mapping procedure is independent of the number of the sources and is considered to have a low complexity. The electrostatic interactions are then among those charges within the surface and at the integration points, which are all the form of Coulomb potential and can be accelerated straightforwardly by the fast multipole method to achieve linear scaling. Numerical calculations of the Madelung constant of a crystalline lattice, electrostatic energy of ions in a metallic cavity, and the time performance for large-scale systems show that the HSMA is accurate and fast, and thus is attractive for many applications.


title: Estimating nucleon substructure properties in a unified model of p-Pb and Pb-Pb collisions

abstract: We apply a well tested hybrid transport model, which couples viscous hydrodynamics to a hadronic afterburner, to describe bulk observables in proton-lead and lead-lead collisions at $\sqrt{s_{NN}}=5.02$ TeV. The quark-gluon plasma (QGP) initial conditions are modeled using the parametric TRENTO model with additional nucleon substructure parameters to vary the number and size of hot spots inside each nucleon, followed by a pre-equilibrium free streaming stage to match the full energy-momentum tensor of the initial state onto viscous hydrodynamics. Initial condition and QGP medium parameters, such as the temperature dependence of the QGP shear and bulk viscosities, are then calibrated using Bayesian parameter estimation to describe charged particle yields, mean $p_T$ and anisotropic flow harmonics of both collision systems in a single self-consistent framework. We find that the hybrid model provides a compelling, simultaneous description of both collision systems using appropriately chosen model parameters, and present new posterior estimates for the size and shape of the nucleon and temperature dependence of QGP shear and bulk viscosities.


title: One-parameter 2-equipped posets and classification of their corepresentations

abstract: One-parameter criterion for 2-equipped posets with respect to cerepresentations is stated and proved. The list of sincere one-parameter 2-equipped posets is given as well as a complex matrix classification of all their indecomposables corepresentations. Relations between dimensions of indecoposable corepresentations and roots of the Tits quadratic form are also established.


title: Differential Categories Revisited

abstract: Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were introduced. The basic approach used a deriving transformation, while a more refined approach, in the presence of a bialgebra modality, used a codereliction. The latter approach is particularly relevant to linear logic settings, where the coalgebra modality is monoidal and the Seely isomorphisms give rise to a bialgebra modality. Here, we prove that these apparently distinct notions of differentiation, in the presence of a monoidal coalgebra modality, are completely equivalent. Thus, for linear logic settings, there is only one notion of differentiation. This paper also presents a number of separating examples for coalgebra modalities including examples which are and are not monoidal, as well as examples which do and do not support differential structure. Of particular interest is the observation that -- somewhat counter-intuitively -- differential algebras never induce a differential category although they provide a monoidal coalgebra modality. On the other hand, Rota-Baxter algebras -- which are usually associated with integration -- provide an example of a differential category which has a non-monoidal coalgebra modality.


title: Blue straggler stars beyond the Milky Way. II. A binary origin for blue straggler stars in Magellanic Cloud clusters

abstract: We have analyzed populations of blue straggler stars (BSSs) in 24 Magellanic Cloud star clusters using multi-passband Hubble Space Telescope images. We compiled a homogeneous BSS database, containing both traditional and evolved BSSs. We uncovered a sub-linear correlation between the number of BSSs in the cluster cores and the clusters' core masses, characterized by a power-law index of $0.51\pm 0.07$. For low stellar collision rates, the mass-normalized number of BSSs depends only weakly (or perhaps not at all) on the collision rate, implying that the binary-driven BSS formation channel dominates. Comparison with simulations suggests that stellar collisions contribute less than 20\% to the total number of BSSs formed. Further tests, including analysis of the BSS specific frequencies and their population numbers at larger cluster radii, suggest that binary interactions may be their main formation channel, hinting at an anti-correlation between a cluster's binary fraction and its core mass.


title: Ultra-fast wide band spectrum analyzer based on a rapidly tuned spin-torque nano-oscillator

abstract: A spintronic method of ultra-fast broadband microwave spectrum analysis is proposed. It uses a rapidly tuned spin torque nano-oscillator (STNO), and does not require injection locking. This method treats an STNO generating a microwave signal as an element with an oscillating resistance. When an external signal is applied to this "resistor" for analysis, it is mixed with the signal generated by the STNO. The resulting mixed voltage contains the "sum" and "difference" frequencies, and the latter produces a DC component when the external frequency matches the frequency generated by the STNO. The mixed voltage is processed using a low pass filter to exclude the "sum" frequency components, and a matched filter to exclude the dependence of the resultant DC voltage on the phase difference between the two signals. It is found analytically and by numerical simulation, that the proposed spectrum analyzer has a frequency resolution at a theoretical limit in a real-time scanning bandwidth of 10~GHz, and a frequency scanning rate above 1~GHz/ns, while remaining sensitive to signal power as low as the Johnson-Nyquist thermal noise floor.


title: BA-Net: Dense Bundle Adjustment Network

abstract: This paper introduces a network architecture to solve the structure-from-motion (SfM) problem via feature-metric bundle adjustment (BA), which explicitly enforces multi-view geometry constraints in the form of feature-metric error. The whole pipeline is differentiable so that the network can learn suitable features that make the BA problem more tractable. Furthermore, this work introduces a novel depth parameterization to recover dense per-pixel depth. The network first generates several basis depth maps according to the input image and optimizes the final depth as a linear combination of these basis depth maps via feature-metric BA. The basis depth maps generator is also learned via end-to-end training. The whole system nicely combines domain knowledge (i.e. hard-coded multi-view geometry constraints) and deep learning (i.e. feature learning and basis depth maps learning) to address the challenging dense SfM problem. Experiments on large scale real data prove the success of the proposed method.


title: Learning Representations of Ultrahigh-dimensional Data for Random Distance-based Outlier Detection

abstract: Learning expressive low-dimensional representations of ultrahigh-dimensional data, e.g., data with thousands/millions of features, has been a major way to enable learning methods to address the curse of dimensionality. However, existing unsupervised representation learning methods mainly focus on preserving the data regularity information and learning the representations independently of subsequent outlier detection methods, which can result in suboptimal and unstable performance of detecting irregularities (i.e., outliers). This paper introduces a ranking model-based framework, called RAMODO, to address this issue. RAMODO unifies representation learning and outlier detection to learn low-dimensional representations that are tailored for a state-of-the-art outlier detection approach - the random distance-based approach. This customized learning yields more optimal and stable representations for the targeted outlier detectors. Additionally, RAMODO can leverage little labeled data as prior knowledge to learn more expressive and application-relevant representations. We instantiate RAMODO to an efficient method called REPEN to demonstrate the performance of RAMODO. Extensive empirical results on eight real-world ultrahigh dimensional data sets show that REPEN (i) enables a random distance-based detector to obtain significantly better AUC performance and two orders of magnitude speedup; (ii) performs substantially better and more stably than four state-of-the-art representation learning methods; and (iii) leverages less than 1% labeled data to achieve up to 32% AUC improvement.


title: The Navier-Stokes equations with the Neumann boundary condition in an infinite cylinder

abstract: We prove unique existence of local-in-time smooth solutions of the Navier-Stokes equations for initial data in $L^{p}$ and $p \in [3, \infty)$ in an infinite cylinder, subject to the Neumann boundary condition.


title: Formation of localized magnetic states in graphene in hollow-site adsorbed adatoms

abstract: By applying tight binding model of adatoms in graphene, we study theoretically the localized aspects of the interaction between transition metal atoms and graphene. Considering the electron-electron interaction by adding a Hubbard term in the mean-field approximation, we find the spin-polarized localized and total density of states. We obtain the coupled system of equations for the occupation number for each spin in the impurity and we study the fixed points of the solutions. By comparing the top site and hollow site adsorption, we show that the anomalous broadening of the latter allows to obtain magnetization for small values of the Hubbard parameter. Finally, we model the magnetic boundaries in order to obtain the range of Fermi energies at which magnetization starts.


title: Vanishing viscosity limits for axisymmetric flows with boundary

abstract: We construct global weak solutions of the Euler equations in an infinite cylinder $\Pi=\{x\in \mathbb{R}^{3}\ |\ x_h=(x_1,x_2),\ r=|x_h|<1\}$ for axisymmetric initial data without swirl when initial vorticity $\omega_{0}=\omega^{\theta}_{0}e_{\theta}$ satisfies $\omega^{\theta}_{0}/r\in L^{q}$ for $q\in [3/2,3)$. The solutions constructed are H\"older continuous for spatial variables in $\overline{\Pi}$ if in addition that $\omega^{\theta}_{0}/r\in L^{s}$ for $s\in (3,\infty)$ and unique if $s=\infty$. The proof is by a vanishing viscosity method. We show that the Navier-Stokes equations subject to the Neumann boundary condition is globally well-posed for axisymmetric data without swirl in $L^{p}$ for all $p\in [3,\infty)$. It is also shown that the energy dissipation tends to zero if $\omega^{\theta}_{0}/r\in L^{q}$ for $q\in [3/2,2]$, and Navier-Stokes flows converge to Euler flow in $L^{2}$ locally uniformly for $t\in [0,\infty)$ if additionally $\omega^{\theta}_{0}/r\in L^{\infty}$. The $L^{2}$-convergence in particular implies the energy equality for weak solutions.


title: Flavor Changing Neutral Currents in the Asymmetric Left-Right Gauge Model

abstract: In the $SU(3)_C \times SU(2)_L \times SU(2)_R \times U(1)_{(B-L)/2}$ extension of the standard model, a minimal (but asymmetric) scalar sector consists of one $SU(2)_R \times U(1)_{(B-L)/2}$ doublet and one $SU(2)_L \times SU(2)_R$ bidoublet. Previous and recent studies have shown that this choice is useful for understanding neutrino mass as well as dark matter. The constraints from flavor changing neutral currents mediated by the scalar sector are discussed in the context of the latest experimental data.


title: Diagnostics of Data-Driven Models: Uncertainty Quantification of PM7 Semi-Empirical Quantum Chemical Method

abstract: We report an evaluation of a semi-empirical quantum chemical method PM7 from the perspective of uncertainty quantification. Specifically, we apply Bound-to-Bound Data Collaboration, an uncertainty quantification framework, to characterize a) variability of PM7 model parameter values consistent with the uncertainty in the training data, and b) uncertainty propagation from the training data to the model predictions. Experimental heats of formation of a homologous series of linear alkanes are used as the property of interest. The training data are chemically accurate, i.e., they have very low uncertainty by the standards of computational chemistry. The analysis does not find evidence of PM7 consistency with the entire data set considered as no single set of parameter values is found that captures the experimental uncertainties of all training data. Nevertheless, PM7 is found to be consistent for subsets of the training data. In such cases, uncertainty propagation from the chemically accurate training data to the predicted values preserves error within bounds of chemical accuracy if predictions are made for the molecules of comparable size. Otherwise, the error grows linearly with the relative size of the molecules.


title: Degree of the exceptional component of foliations in P3

abstract: The purpose of this work is to obtain the degree of the exceptional component of the space of holomorphic foliations of degree two and codimension one in P^3. We construct a parameter space as an explicit fiber bundle over the variety of complete flags. Using tools from equivariant intersection theory, especially Bott's formula, the degree is expressed as an integral over our parameter space.


title: Towards Theoretical Understanding of Weak Supervision for Information Retrieval

abstract: Neural network approaches have recently shown to be effective in several information retrieval (IR) tasks. However, neural approaches often require large volumes of training data to perform effectively, which is not always available. To mitigate the shortage of labeled data, training neural IR models with weak supervision has been recently proposed and received considerable attention in the literature. In weak supervision, an existing model automatically generates labels for a large set of unlabeled data, and a machine learning model is further trained on the generated "weak" data. Surprisingly, it has been shown in prior art that the trained neural model can outperform the weak labeler by a significant margin. Although these obtained improvements have been intuitively justified in previous work, the literature still lacks theoretical justification for the observed empirical findings. In this position paper, we propose to theoretically study weak supervision, in particular for IR tasks, e.g., learning to rank. We briefly review a set of our recent theoretical findings that shed light on learning from weakly supervised data, and provide guidelines on how train learning to rank models with weak supervision.


title: A Constraint energy minimizing generalized multiscale finite element method for parabolic equations

abstract: In this paper, we present a Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) for parabolic equations with multiscale coefficients, arising from applications in porous media. We will present the construction of CEM-GMsFEM and rigorously analyze its convergence for the parabolic equations. The convergence rate is characterized by the coarse grid size and the eigenvalue decay of local spectral problems, but is independent of the scale length and contrast of the media. The analysis shows that the method has a first order convergence rate with respect to coarse grid size in the energy norm and second order convergence rate with respect to coarse grid size in $L^2$ norm under some appropriate assumptions. For the temporal discretization, finite difference techniques are used and the convergence analysis of full discrete scheme is given. Moreover, a posteriori error estimator is derived and analyzed. A few numerical results for porous media applications are presented to confirm the theoretical findings and demonstrate the performance of the approach.


title: Solutions of Cauchy problem for multiple inhomogeneous wave equation

abstract: We define a class of pseudo-differential operators in a completely new way, which is called the abstract operators and expounded systematically the theory of abstract operators. By combining abstract operators with the Laplace transform, we can apply the Laplace transform to any $n+1$ dimensional linear higher-order partial differential equations $P(\partial_x,\partial_t)u=f(x,t)$ directly, without using the Fourier transform. By making introduction of abstract operators $G(\partial_x,t):=\mathcal{L}^{-1}[1/P(\partial_x,s)]$, the analytic solutions of initial value problems are expressed in these abstract operators, including the multiple inhomogeneous wave equation associated with the shifted Laplace-Beltrami operator on real hyperbolic spaces. By writing abstract operators in this class into integral forms, the solutions in operator form are represented into integral forms. Thus the analytic solutions of Cauchy problem for the multiple wave equation on $\mathbb{R}^n$ can be represented in the integrations of some given functions, without using the traditional Fourier transform technique. As a further application, we study the solvability of initial-boundary value problem for the linear higher-order partial differential equations and deduce new distinguishable method associated with the second-order linear self-adjoint elliptic operators.


title: Using Clinical Narratives and Structured Data to Identify Distant Recurrences in Breast Cancer

abstract: Accurately identifying distant recurrences in breast cancer from the Electronic Health Records (EHR) is important for both clinical care and secondary analysis. Although multiple applications have been developed for computational phenotyping in breast cancer, distant recurrence identification still relies heavily on manual chart review. In this study, we aim to develop a model that identifies distant recurrences in breast cancer using clinical narratives and structured data from EHR. We apply MetaMap to extract features from clinical narratives and also retrieve structured clinical data from EHR. Using these features, we train a support vector machine model to identify distant recurrences in breast cancer patients. We train the model using 1,396 double-annotated subjects and validate the model using 599 double-annotated subjects. In addition, we validate the model on a set of 4,904 single-annotated subjects as a generalization test. We obtained a high area under curve (AUC) score of 0.92 (SD=0.01) in the cross-validation using the training dataset, then obtained AUC scores of 0.95 and 0.93 in the held-out test and generalization test using 599 and 4,904 samples respectively. Our model can accurately and efficiently identify distant recurrences in breast cancer by combining features extracted from unstructured clinical narratives and structured clinical data.


title: Integral Privacy for Sampling

abstract: Differential privacy is a leading protection setting, focused by design on individual privacy. Many applications, in medical / pharmaceutical domains or social networks, rather posit privacy at a group level, a setting we call integral privacy. We aim for the strongest form of privacy: the group size is in particular not known in advance. We study a problem with related applications in domains cited above that have recently met with substantial recent press: sampling. Keeping correct utility levels in such a strong model of statistical indistinguishability looks difficult to be achieved with the usual differential privacy toolbox because it would typically scale in the worst case the sensitivity by the sample size and so the noise variance by up to its square. We introduce a trick specific to sampling that bypasses the sensitivity analysis. Privacy enforces an information theoretic barrier on approximation, and we show how to reach this barrier with guarantees on the approximation of the target non private density. We do so using a recent approach to non private density estimation relying on the original boosting theory, learning the sufficient statistics of an exponential family with classifiers. Approximation guarantees cover the mode capture problem. In the context of learning, the sampling problem is particularly important: because integral privacy enjoys the same closure under post-processing as differential privacy does, any algorithm using integrally privacy sampled data would result in an output equally integrally private. We also show that this brings fairness guarantees on post-processing that would eventually elude classical differential privacy: any decision process has bounded data-dependent bias when the data is integrally privately sampled. Experimental results against private kernel density estimation and private GANs displays the quality of our results.


title: Natural Language Processing for EHR-Based Computational Phenotyping

abstract: This article reviews recent advances in applying natural language processing (NLP) to Electronic Health Records (EHRs) for computational phenotyping. NLP-based computational phenotyping has numerous applications including diagnosis categorization, novel phenotype discovery, clinical trial screening, pharmacogenomics, drug-drug interaction (DDI) and adverse drug event (ADE) detection, as well as genome-wide and phenome-wide association studies. Significant progress has been made in algorithm development and resource construction for computational phenotyping. Among the surveyed methods, well-designed keyword search and rule-based systems often achieve good performance. However, the construction of keyword and rule lists requires significant manual effort, which is difficult to scale. Supervised machine learning models have been favored because they are capable of acquiring both classification patterns and structures from data. Recently, deep learning and unsupervised learning have received growing attention, with the former favored for its performance and the latter for its ability to find novel phenotypes. Integrating heterogeneous data sources have become increasingly important and have shown promise in improving model performance. Often better performance is achieved by combining multiple modalities of information. Despite these many advances, challenges and opportunities remain for NLP-based computational phenotyping, including better model interpretability and generalizability, and proper characterization of feature relations in clinical narratives


title: On the generation of stable Kerr frequency combs in the Lugiato-Lefever model of periodic optical waveguides

abstract: We consider the Lugiato-Lefever (LL) model of optical fibers. We construct a two parameter family of steady state solutions, i.e. Kerr frequency combs, for small pumping parameter $h>0$ and the correspondingly (and necessarily) small detuning parameter, $\alpha>0$. These are $O(1)$ waves, as they are constructed as bifurcation from the standard cnoidal solutions of the cubic NLS. We identify the spectrally stable ones, and more precisely, we show that the spectrum of the linearized operator contains the eigenvalues $0, -2\alpha$, while the rest of it is a subset of $ \{\mu: \Re\mu=-\alpha \}$. This is in line with the expectations for effectively damped Hamiltonian systems, such as the LL model.


title: SGM: Sequence Generation Model for Multi-label Classification

abstract: Multi-label classification is an important yet challenging task in natural language processing. It is more complex than single-label classification in that the labels tend to be correlated. Existing methods tend to ignore the correlations between labels. Besides, different parts of the text can contribute differently for predicting different labels, which is not considered by existing models. In this paper, we propose to view the multi-label classification task as a sequence generation problem, and apply a sequence generation model with a novel decoder structure to solve it. Extensive experimental results show that our proposed methods outperform previous work by a substantial margin. Further analysis of experimental results demonstrates that the proposed methods not only capture the correlations between labels, but also select the most informative words automatically when predicting different labels.


title: Regularized Orthogonal Machine Learning for Nonlinear Semiparametric Models

abstract: This paper proposes a Lasso-type estimator for a high-dimensional sparse parameter identified by a single index conditional moment restriction (CMR). In addition to this parameter, the moment function can also depend on a nuisance function, such as the propensity score or the conditional choice probability, which we estimate by modern machine learning tools. We first adjust the moment function so that the gradient of the future loss function is insensitive (formally, Neyman-orthogonal) with respect to the first-stage regularization bias, preserving the single index property. We then take the loss function to be an indefinite integral of the adjusted moment function with respect to the single index. The proposed Lasso estimator converges at the oracle rate, where the oracle knows the nuisance function and solves only the parametric problem. We demonstrate our method by estimating the short-term heterogeneous impact of Connecticut's Jobs First welfare reform experiment on women's welfare participation decision.


title: A new model for the multiple stellar populations within Terzan 5

abstract: Recent observational studies have demonstrated that the complex stellar system Terzan 5 (Ter 5) harbours multiple populations of stars. Several models have attempted to interpret the large age difference of several Gyrs between the dominant populations, but none have been universally accepted. We propose a new scenario whereby a collision between a metal-poor Ter 5 and a giant molecular cloud (GMC) serves as a catalyst for the generation of a super-solar population of stars. Using numerical simulations of this new "GC-GMC" collision scenario we demonstrate that, within a time frame of several Gyrs, our synthetic Ter 5 was capable of interacting with a metal-rich GMC in the central region of the Galaxy. As a consequence of this, our simulated globular cluster (GC) is able to capture enough gas from the colliding GMC to form a new population of metal-rich stars. Furthermore, the younger population created from the high-density regions of the captured gas is shown to have a stronger central mass concentration than the older metal-poor one, which is consistent with observations. A chemical link between Ter 5 and the bulge population of the Milky Way has long been observed and these simulations finally provide evidence for their similarities. Our model rationalises the 5 Gyrs of quiescence observed between the two dominant populations of Ter 5 and justifies the existence of the young generation. We discuss the advantages and disadvantages of the new scenario in the context of the observed physical properties of Ter 5.


title: On ${\rm Sp}$-distinguished representations of the quasi-split unitary groups

abstract: We study ${\rm Sp}_{2n}(F)$-distinction for representations of the quasi-split unitary group $U_{2n}(E/F)$ in $2n$ variables with respect to a quadratic extension $E/F$ of $p$-adic fields. A conjecture of Dijols and Prasad predicts that no tempered representation is distinguished. We verify this for a large family of representations in terms of the Moeglin-Tadic classification of the discrete series. We further study distinction for some families of non-tempered representations. In particular, we exhibit $L$-packets with no distinguished members that transfer under stable base change to ${\rm Sp}_{2n}(E)$-distinguished representations of ${\rm GL}_{2n}(E)$.


title: An ALMA Survey of faint disks in the Chamaeleon I star-forming region: Why are some Class II disks so faint?

abstract: ALMA surveys of nearby star-forming regions have shown that the dust mass in the disk is correlated with the stellar mass, but with a large scatter. This scatter could indicate either different evolutionary paths of disks or different initial conditions within a single cluster. We present ALMA Cycle 3 follow-up observations for 14 Class II disks that were low S/N detections or non-detections in our Cycle 2 survey of the $\sim 2$ Myr-old Chamaeleon I star-forming region. With 5 times better sensitivity, we detect millimeter dust continuum emission from six more sources and increase the detection rate to 94\% (51/54) for Chamaeleon I disks around stars earlier than M3. The stellar-disk mass scaling relation reported in \citet{pascucci2016} is confirmed with these updated measurements. Faint outliers in the $F_{mm}$--$M_*$ plane include three non-detections (CHXR71, CHXR30A, and T54) with dust mass upper limits of 0.2 M$_\oplus$ and three very faint disks (CHXR20, ISO91, and T51) with dust masses $\sim 0.5$ M$_\oplus$. By investigating the SED morphology, accretion property and stellar multiplicity, we suggest for the three millimeter non-detections that tidal interaction by a close companion ($<$100 AU) and internal photoevaporation may play a role in hastening the overall disk evolution. The presence of a disk around only the secondary star in a binary system may explain the observed stellar SEDs and low disk masses for some systems.


title: Deep-subwavelength features of photonic skyrmions in a confined electromagnetic field with orbital angular momentum

abstract: In magnetic materials, skyrmions are nanoscale regions where the orientation of electron spin changes in a vortex-type manner. Here we show that spin-orbit coupling in a focused vector beam results in a skyrmion-like photonic spin distribution of the excited waveguided fields. While diffraction limits the spatial size of intensity distributions, the direction of the field, defining photonic spin, is not subject to this limitation. We demonstrate that the skyrmion spin structure varies on the deep-subwavelength scales down to 1/60 of light wavelength, which corresponds to about 10 nanometre lengthscale. The application of photonic skyrmions may range from high-resolution imaging and precision metrology to quantum technologies and data storage where the spin structure of the field, not its intensity, can be applied to achieve deep-subwavelength optical patterns.


title: Position Detection and Direction Prediction for Arbitrary-Oriented Ships via Multitask Rotation Region Convolutional Neural Network

abstract: Ship detection is of great importance and full of challenges in the field of remote sensing. The complexity of application scenarios, the redundancy of detection region, and the difficulty of dense ship detection are all the main obstacles that limit the successful operation of traditional methods in ship detection. In this paper, we propose a brand new detection model based on multitask rotational region convolutional neural network to solve the problems above. This model is mainly consist of five consecutive parts: Dense Feature Pyramid Network (DFPN), adaptive region of interest (ROI) Align, rotational bounding box regression, prow direction prediction and rotational nonmaximum suppression (R-NMS). First of all, the low-level location information and high-level semantic information are fully utilized through multiscale feature networks. Then, we design Adaptive ROI Align to obtain high quality proposals which remain complete spatial and semantic information. Unlike most previous approaches, the prediction obtained by our method is the minimum bounding rectangle of the object with less redundant regions. Therefore, rotational region detection framework is more suitable to detect the dense object than traditional detection model. Additionally, we can find the berthing and sailing direction of ship through prediction. A detailed evaluation based on SRSS for rotation detection shows that our detection method has a competitive performance.


title: When Regression Verification Meets CEGAR

abstract: Software systems evolve throughout their life cycles. Many revisions are produced over time. Model checking each revision of the software is impractical. Regression verification suggests reusing intermediate results from the previous verification runs. This paper proposes a fully automatic regression verification technique in the context of CEGAR. Procedure summaries, which describe the input/output behaviors of a procedure, are proposed as the intermediate results to be reused. Procedure summaries are reasonably small to store, technically easy to process, and do not require much extra computation effort to be reused. Reusing procedure summaries saves much analysis effort on the corresponding procedures. By combining regression verification and CEGAR, we propose a technique that is able to reuse procedure summaries across different abstract precisions and different program revisions. We performed extensive experiments on a large number of industrial programs (534 revisions of 89 Linux kernel device drivers). The results show that our approach can significantly improve the performance of regression verification.


title: Deep Multiscale Model Learning

abstract: The objective of this paper is to design novel multi-layer neural network architectures for multiscale simulations of flows taking into account the observed data and physical modeling concepts. Our approaches use deep learning concepts combined with local multiscale model reduction methodologies to predict flow dynamics. Using reduced-order model concepts is important for constructing robust deep learning architectures since the reduced-order models provide fewer degrees of freedom. Flow dynamics can be thought of as multi-layer networks. More precisely, the solution (e.g., pressures and saturations) at the time instant $n+1$ depends on the solution at the time instant $n$ and input parameters, such as permeability fields, forcing terms, and initial conditions. One can regard the solution as a multi-layer network, where each layer, in general, is a nonlinear forward map and the number of layers relates to the internal time steps. We will rely on rigorous model reduction concepts to define unknowns and connections for each layer. In each layer, our reduced-order models will provide a forward map, which will be modified ("trained") using available data. It is critical to use reduced-order models for this purpose, which will identify the regions of influence and the appropriate number of variables. Because of the lack of available data, the training will be supplemented with computational data as needed and the interpolation between data-rich and data-deficient models. We will also use deep learning algorithms to train the elements of the reduced model discrete system. We will present main ingredients of our approach and numerical results. Numerical results show that using deep learning and multiscale models, we can improve the forward models, which are conditioned to the available data.


title: Subspace-Invariant AC$^0$ Formulas

abstract: We consider the action of a linear subspace $U$ of $\{0,1\}^n$ on the set of AC$^0$ formulas with inputs labeled by literals in the set $\{X_1,\overline X_1,\dots,X_n,\overline X_n\}$, where an element $u \in U$ acts on formulas by transposing the $i$th pair of literals for all $i \in [n]$ such that $u_i=1$. A formula is {\em $U$-invariant} if it is fixed by this action. For example, there is a well-known recursive construction of depth $d+1$ formulas of size $O(n{\cdot}2^{dn^{1/d}})$ computing the $n$-variable PARITY function; these formulas are easily seen to be $P$-invariant where $P$ is the subspace of even-weight elements of $\{0,1\}^n$. In this paper we establish a nearly matching $2^{d(n^{1/d}-1)}$ lower bound on the $P$-invariant depth $d+1$ formula size of PARITY. Quantitatively this improves the best known $\Omega(2^{\frac{1}{84}d(n^{1/d}-1)})$ lower bound for {\em unrestricted} depth $d+1$ formulas, while avoiding the use of the switching lemma. More generally, for any linear subspaces $U \subset V$, we show that if a Boolean function is $U$-invariant and non-constant over $V$, then its $U$-invariant depth $d+1$ formula size is at least $2^{d(m^{1/d}-1)}$ where $m$ is the minimum Hamming weight of a vector in $U^\bot \setminus V^\bot$.


title: Spatial distribution of the Milky Way hot gaseous halo constrained by Suzaku X-ray observations

abstract: The formation mechanism of the hot gaseous halo associated with the Milky Way Galaxy is still under debate. We report new observational constraints on the gaseous halo using 107 lines-of-sight of the Suzaku X-ray observations at $75^{\circ}<l<285^{\circ}$ and $|b|>15^{\circ}$ with a total exposure of 6.4 Ms. The gaseous halo spectra are represented by a single-temperature plasma model in collisional ionization equilibrium. The median temperature of the observed fields is 0.26 keV ($3.0\times10^6$ K) with a typical fluctuation of $\sim30$%. The emission measure varies by an order of magnitude and marginally correlates with the Galactic latitude. Despite the large scatter of the data, the emission measure distribution is roughly reproduced by a disk-like density distribution with a scale length of $\sim7$ kpc, a scale height of $\sim2$ kpc, and a total mass of $\sim5\times10^7$ $M_{\odot}$. In addition, we found that a spherical hot gas with the $\beta$-model profile hardly contributes to the observed X-rays but that its total mass might reach $\gtrsim10^9$ $M_{\odot}$. Combined with indirect evidence of an extended gaseous halo from other observations, the hot gaseous halo likely consists of a dense disk-like component and a rarefied spherical component; the X-ray emissions primarily come from the former but the mass is dominated by the latter. The disk-like component likely originates from stellar feedback in the Galactic disk due to the low scale height and the large scatter of the emission measures. The median [O/Fe] of $\sim0.25$ shows the contribution of the core-collapse supernovae and supports the stellar feedback origin.


title: An a posteriori error analysis of an elliptic optimal control problem in measure space

abstract: We propose an a posteriori error estimator for a sparse optimal control problem: the control variable lies in the space of regular Borel measures. We consider a solution technique that relies on the discretization of the control variable as a linear combination of Dirac measures. The proposed a posteriori error estimator can be decomposed into the sum of two contributions: an error estimator in the maximum norm for the discretization of the adjoint equation and an estimator in the $L^2$-norm that accounts for the approximation of the state equation. We prove that the designed error estimator is locally efficient and we explore its reliability properties. The analysis is valid for two and three-dimensional domains. We illustrate the theory with numerical examples.


title: Additive perfect codes in Doob graphs

abstract: The Doob graph $D(m,n)$ is the Cartesian product of $m>0$ copies of the Shrikhande graph and $n$ copies of the complete graph of order $4$. Naturally, $D(m,n)$ can be represented as a Cayley graph on the additive group $(Z_4^2)^m \times (Z_2^2)^{n'} \times Z_4^{n''}$, where $n'+n''=n$. A set of vertices of $D(m,n)$ is called an additive code if it forms a subgroup of this group. We construct a $3$-parameter class of additive perfect codes in Doob graphs and show that the known necessary conditions of the existence of additive $1$-perfect codes in $D(m,n'+n'')$ are sufficient. Additionally, two quasi-cyclic additive $1$-perfect codes are constructed in $D(155,0+31)$ and $D(2667,0+127)$.


title: In-Plane Mechanical Properties of Ultrathin 2D Hybrid Organic-Inorganic Perovskites

abstract: Two-dimensional (2D) hybrid organic-inorganic perovskites (HOIPs) are new members of the 2D materials family with wide tunability, highly dynamic structural features and excellent physical properties. Ultrathin 2D HOIPs and their heterostructures with other 2D materials have been exploited for study of new physical phenomena and novel device applications. The in-plane mechanical properties of 2D ultrathin HOIPs are critical for understanding the coupling between mechanical and other physical fields and for integrated devices applications. Here we report for the first time the in-plane mechanical properties of ultrathin freestanding 2D lead iodide perovskite membranes and their dependence on the membrane thickness. The in-plane Young's moduli of 2D HOIPs are smaller than that of conventional covalently bonded 2D materials. Both the Young's modulus and breaking strength first decrease and then plateau as the thickness increases from monolayer to 4 layers due to interlayer slippage during deformation. Our results show that ultrathin 2D HOIPs exhibit outstanding breaking strength/Young's Modulus ratio compared to many other widely used engineering materials and polymeric flexible substrates, which renders them suitable for application into flexible electronic devices.


title: Partial Replanning for Decentralized Dynamic Task Allocation

abstract: In time-sensitive and dynamic missions, multi-UAV teams must respond quickly to new information and objectives. This paper presents a dynamic decentralized task allocation algorithm for allocating new tasks that appear online during the solving of the task allocation problem. Our algorithm extends the Consensus-Based Bundle Algorithm (CBBA), a decentralized task allocation algorithm, allowing for the fast allocation of new tasks without a full reallocation of existing tasks. CBBA with Partial Replanning (CBBA-PR) enables the team to trade-off between convergence time and increased coordination by resetting a portion of their previous allocation at every round of bidding on tasks. By resetting the last tasks allocated by each agent, we are able to ensure the convergence of the team to a conflict-free solution. CBBA-PR can be further improved by reducing the team size involved in the replanning, further reducing the communication burden of the team and runtime of CBBA-PR. Finally, we validate the faster convergence and improved solution quality of CBBA-PR in multi-UAV simulations.


title: Derivations on the algebra of multiple harmonic q-series and their applications

abstract: We introduce derivations on the algebra of multiple harmonic q-series and show that they generate linear relations among the q-series which contain the derivation relations for a q-analogue of multiple zeta values due to Bradley. As a byproduct we obtain Ohno-type relations for finite multiple harmonic q-series at a root of unity.


title: Partial AUC Maximization via Nonlinear Scoring Functions

abstract: We propose a method for maximizing a partial area under a receiver operating characteristic (ROC) curve (pAUC) for binary classification tasks. In binary classification tasks, accuracy is the most commonly used as a measure of classifier performance. In some applications such as anomaly detection and diagnostic testing, accuracy is not an appropriate measure since prior probabilties are often greatly biased. Although in such cases the pAUC has been utilized as a performance measure, few methods have been proposed for directly maximizing the pAUC. This optimization is achieved by using a scoring function. The conventional approach utilizes a linear function as the scoring function. In contrast we newly introduce nonlinear scoring functions for this purpose. Specifically, we present two types of nonlinear scoring functions based on generative models and deep neural networks. We show experimentally that nonlinear scoring fucntions improve the conventional methods through the application of a binary classification of real and bogus objects obtained with the Hyper Suprime-Cam on the Subaru telescope.


title: Transversality theorems on generic linearly perturbed mappings

abstract: In his celebrated paper "Generic projections", John Mather has given a striking transversality theorem and its applications on generic projections. On the other hand, in this paper, two transversality theorems on generic linearly perturbed $C^r$ mappings are shown $(r\geq 1)$. Moreover, some applications of the two theorems are also given.


title: A Bridge between Conway-Coxeter Friezes and Rational Tangles through the Kauffman Bracket Polynomials

abstract: In the present paper, we build a bridge between Conway-Coxeter friezes and rational tangles through the Kauffman bracket polynomials. One can compute a Kauffman bracket polynomials attached to rational links by using Conway-Coxeter friezes. As an application one can give a complete invariant on Conway-Coxeter friezes of zigzag-type.


title: A Study of Enhancement, Augmentation, and Autoencoder Methods for Domain Adaptation in Distant Speech Recognition

abstract: Speech recognizers trained on close-talking speech do not generalize to distant speech and the word error rate degradation can be as large as 40% absolute. Most studies focus on tackling distant speech recognition as a separate problem, leaving little effort to adapting close-talking speech recognizers to distant speech. In this work, we review several approaches from a domain adaptation perspective. These approaches, including speech enhancement, multi-condition training, data augmentation, and autoencoders, all involve a transformation of the data between domains. We conduct experiments on the AMI data set, where these approaches can be realized under the same controlled setting. These approaches lead to different amounts of improvement under their respective assumptions. The purpose of this paper is to quantify and characterize the performance gap between the two domains, setting up the basis for studying adaptation of speech recognizers from close-talking speech to distant speech. Our results also have implications for improving distant speech recognition.


title: Two-grid economical algorithms for parabolic integro-differential equations with nonlinear memory

abstract: In this paper, several two-grid finite element algorithms for solving parabolic integro-differential equations (PIDEs) with nonlinear memory are presented. Analysis of these algorithms is given assuming a fully implicit time discretization. It is shown that these algorithms are as stable as the standard fully discrete finite element algorithm, and can achieve the same accuracy as the standard algorithm if the coarse grid size $H$ and the fine grid size $h$ satisfy $H=O(h^{\frac{r-1}{r}})$. Especially for PIDEs with nonlinear memory defined by a lower order nonlinear operator, our two-grid algorithm can save significant storage and computing time. Numerical experiments are given to confirm the theoretical results.


title: Various Non-autonomous Notions for Borel Measures

abstract: We introduce and investigate the notions of expansiveness, topological stability and persistence for Borel measures with respect to time varying bi-measurable maps on metric spaces. We prove that expansive persistent measures are topologically stable in the class of all time varying homeomorphisms.


title: Two-photon exchange effects in $e^+e^- \rightarrow \pi^+\pi^-$ and time-like pion electromagnetic form factor

abstract: The two-photon-exchange (TPE) effects in the process $e^+e^- \rightarrow \pi^+\pi^-$ at large momentum transfer are discussed within the perturbative QCD (pQCD). The contributions from the twist-2 and twist-3 distribution amplitudes (DAs) of pion are considered in the estimation. Different with the results under the one-photon-exchange (OPE) approximation, the TPE effects result in an asymmetry of the differential cross section on the scattering angle. The precise measurement of this asymmetry by the further experiment is an precise test of pQCD at large momentum transfer. The time-like electromagnetic form factor of pion at the leading order of pQCD is re-discussed and the comparison of our results with those in the references are presented.


title: Interpretable Partitioned Embedding for Customized Fashion Outfit Composition

abstract: Intelligent fashion outfit composition becomes more and more popular in these years. Some deep learning based approaches reveal competitive composition recently. However, the unexplainable characteristic makes such deep learning based approach cannot meet the the designer, businesses and consumers' urge to comprehend the importance of different attributes in an outfit composition. To realize interpretable and customized fashion outfit compositions, we propose a partitioned embedding network to learn interpretable representations from clothing items. The overall network architecture consists of three components: an auto-encoder module, a supervised attributes module and a multi-independent module. The auto-encoder module serves to encode all useful information into the embedding. In the supervised attributes module, multiple attributes labels are adopted to ensure that different parts of the overall embedding correspond to different attributes. In the multi-independent module, adversarial operation are adopted to fulfill the mutually independent constraint. With the interpretable and partitioned embedding, we then construct an outfit composition graph and an attribute matching map. Given specified attributes description, our model can recommend a ranked list of outfit composition with interpretable matching scores. Extensive experiments demonstrate that 1) the partitioned embedding have unmingled parts which corresponding to different attributes and 2) outfits recommended by our model are more desirable in comparison with the existing methods.


title: Symmetric $\epsilon$- and $(\epsilon+1/2)$-forms and quadratic constraints in "elliptic" sectors

abstract: Within the differential equation method for multiloop calculations, we examine the systems irreducible to $\epsilon$-form. We argue that for many cases of such systems it is possible to obtain nontrivial quadratic constraints on the coefficients of $\epsilon$-expansion of their homogeneous solutions. These constraints are the direct consequence of the existence of symmetric $(\epsilon+1/2)$-form of the homogeneous differential system, i.e., the form where the matrix in the right-hand side is symmetric and its $\epsilon$-dependence is localized in the overall factor $(\epsilon+1/2)$. The existence of such a form can be constructively checked by available methods and seems to be common to many irreducible systems, which we demonstrate on several examples. The obtained constraints provide a nontrivial insight on the structure of general solution in the case of the systems irreducible to $\epsilon$-form. For the systems reducible to $\epsilon$-form we also observe the existence of symmetric form and derive the corresponding quadratic constraints.


title: Android Malware Detection using Large-scale Network Representation Learning

abstract: With the growth of mobile devices and applications, the number of malicious software, or malware, is rapidly increasing in recent years, which calls for the development of advanced and effective malware detection approaches. Traditional methods such as signature-based ones cannot defend users from an increasing number of new types of malware or rapid malware behavior changes. In this paper, we propose a new Android malware detection approach based on deep learning and static analysis. Instead of using Application Programming Interfaces (APIs) only, we further analyze the source code of Android applications and create their higher-level graphical semantics, which makes it harder for attackers to evade detection. In particular, we use a call graph from method invocations in an Android application to represent the application, and further analyze method attributes to form a structured Program Representation Graph (PRG) with node attributes. Then, we use a graph convolutional network (GCN) to yield a graph representation of the application by embedding the entire graph into a dense vector, and classify whether it is a malware or not. To efficiently train such a graph convolutional network, we propose a batch training scheme that allows multiple heterogeneous graphs to be input as a batch. To the best of our knowledge, this is the first work to use graph representation learning for malware detection. We conduct extensive experiments from real-world sample collections and demonstrate that our developed system outperforms multiple other existing malware detection techniques.


title: Operator valued random matrices and asymptotic freeness

abstract: We show that the limit laws of random matrices, whose entries are conditionally independent operator valued random variables having equal second moments proportional to the size of the matrices, are operator valued semicircular laws. Furthermore, we prove an operator valued analogue of Voiculescu's asymptotic freeness theorem. By replacing conditional independence with Boolean independence, we show that the limit laws of the random matrices are Operator-valued Bernoulli laws.


title: Full field electron spectromicroscopy applied to ferroelectric materials

abstract: The application of PhotoEmission Electron Microscopy (PEEM) and Low Energy Electron Microscopy (LEEM) techniques to the study of the electronic and chemical structure of ferroelectric materials is reviewed. Electron optics in both techniques gives spatial resolution of a few tens of nanometres. PEEM images photoelectrons whereas LEEM images reflected and elastically backscattered electrons. Both PEEM and LEEM can be used in direct and reciprocal space imaging. Together, they provide access to surface charge, work function, topography, chemical mapping, surface crystallinity and band structure. Examples of applications for the study of ferroelectric thin films and single crystals are presented.


title: Converse Theorem Meets Gauss Sums (with an appendix by Zhiwei Yun)

abstract: This paper verifies $n\times 1$ Local Converse Theorem for twisted gamma factors of irreducible cuspidal representations of ${\rm GL}_n({\mathbb F}_p)$, for $n\leq 5,$ and of irreducible generic representations, for $n<\frac{q-1}{2\sqrt{q}}+1$ in the appendix by Zhiwei Yun, where $p$ is a prime and q is a power of $p$. The counterpart of $n\times 1$ converse theorem for level zero cuspidal representations also follows the established relation between gamma factors of ${\rm GL}_n({\mathcal F})$ and that of ${\rm GL}_n({\mathbb F}_q)$, where ${\mathcal F}$ denotes a $p$-adic field whose residue field is isomorphic to ${\mathbb F}_q.$ For $n=6,$ examples failed $n\times 1$ Local Converse Theorem over finite fields are provided and the authors propose a set of primitive representations, for which $n\times 1$ gamma factors should be able to detect a unique element in it. For $m,\ n\in {\mathbb N},$ in the spirit of Langlands functorial lifting, we formulate a conjecture to relate $n\times m$ gamma factors of finite fields with Gauss sums over extended fields.


title: Electronic band structure of Two-Dimensional WS2/Graphene van der Waals Heterostructures

abstract: Combining single-layer two-dimensional semiconducting transition metal dichalcogenides (TMDs) with graphene layer in van der Waals heterostructures offers an intriguing means of controlling the electronic properties through these heterostructures. Here, we report the electronic and structural properties of transferred single layer WS2 on epitaxial graphene using micro-Raman spectroscopy, angle-resolved photoemission spectroscopy measurements (ARPES) and Density Functional Theory (DFT) calculations. The results show good electronic properties as well as well-defined band arising from the strong splitting of the single layer WS2 valence band at K points, with a maximum splitting of 0.44 eV. By comparing our DFT results with local and hybrid functionals, we find the top valence band of the experimental heterostructure is close to the calculations for suspended single layer WS2. . Our results provide an important reference for future studies of electronic properties of WS2 and its applications in valleytronic devices.


title: On The Support of The Bifurcation Measure of Cubic Polynomials

abstract: We construct new examples of cubic polynomials with a parabolic fixed point that cannot be approximated by Misiurewicz polynomials. In particular, such parameters admit maximal bifurcations, but do not belong to the support of the bifurcation measure.