title: Investigating the presence of two belts in the HD 15115 system

abstract: We present new observations of the edge-on debris disk around HD 15115 (F star at 48.2 pc) obtained in the near-IR. We search for observational evidence for a second inner planetesimal ring in the system. We obtained total intensity and polarimetric data in the broad bands J and H and processed the data with differential imaging techniques achieving an angular resolution of about 40 mas. We observe an axisymmetric planetesimal belt with a radius of $\sim$2$''$, an inclination of $85.8^{\circ} \pm 0.7^{\circ}$ and position angle of 278.9$^{\circ} \pm 0.1^{\circ}$. A grid of models describing the spatial distribution of the grains in the disk is generated to constrain the geometric parameters of the disk and to explore the presence of a second belt. We perform a photometric analysis of the data and compare disk brightness in two bands in scattered and in polarized light. The analysis shows that the west side is $\sim$2.5 times brighter in total intensity than the east side in both bands, while for polarized light in the J band this ratio is only 1.25. The maximum polarization fraction is 15--20% at $r\sim$2.5$''$. We also find that the J - H color of the disk appears to be red for the radial separations $r\lesssim2''$ and is getting bluer for the larger separations. This apparent change of disk color from red to blue with an increasing radial separation could be explained by the decreasing average grain size with distance. The presence of an additional inner belt slightly inclined with respect to the main planetesimal belt is suspected from the polarized intensity image but the analysis and modeling presented here cannot establish a firm conclusion due to the faintness of the disk and its high inclination.


title: Helium abundance in a sample of cool stars: measurements from asteroseismology

abstract: The structural stratification of a solar-type main sequence star primarily depends on its mass and chemical composition. The surface heavy element abundances of the solar-type stars are reasonably well determined using conventional spectroscopy, however the second most abundant element helium is not. This is due to the fact that the envelope temperature of such stars is not high enough to excite helium. Since the helium abundance of a star affects its structure and subsequent evolution, the uncertainty in the helium abundance of a star makes estimates of its global properties (mass, radius, age etc.) uncertain as well. The detections of the signatures of the acoustic glitches from the precisely measured stellar oscillation frequencies provide an indirect way to estimate the envelope helium content. We use the glitch signature caused by the ionization of helium to determine the envelope helium abundance of 38 stars in the {\it Kepler} seismic LEGACY sample. Our results confirm that atomic diffusion does indeed take place in solar-type stars. We use the measured surface abundances in combination with the settling predicted by the stellar models to determine the initial abundances. The initial helium and metal mass fractions have subsequently been used to get the preliminary estimates of the primordial helium abundance, $Y_p = 0.244\pm0.019$, and the galactic enrichment ratio, $\Delta Y / \Delta Z = 1.226\pm0.849$. Although the current estimates have large errorbars due to the limited sample size, this method holds great promises to determine these parameters precisely in the era of upcoming space missions.


title: Roadside acoustic sensors to support vulnerable pedestrians via their smartphone

abstract: We propose a new warning system based on smartphones that evaluates the risk of motor vehicle for vulnerable pedestrian (VP). The acoustic sensors are embedded in roadside to receive vehicles sounds and they are classified into heavy vehicle, light vehicle with low speed, light vehicle with high speed, and no vehicle classes. For this aim, we extract new features by Mel-frequency Cepstrum Coefficients (MFCC) and Linear Predictive Coefficients (LPC) algorithms. We use different classification algorithms and show that MLP neural network achieves at least 96.77% in accuracy criterion. To install this system, directional microphones are embedded on roadside and the risk is classified there. Then, for every microphone, a danger area is defined and the warning alarms have been sent to every VPs smartphones covered in this danger area.


title: SDSS-IV MaNGA: local and global chemical abundance patterns in early-type galaxies

abstract: Chemical enrichment signatures strongly constrain galaxy formation and evolution, and a detailed understanding of abundance patterns provides clues regarding the nucleosynthetic production pathways of elements. Using the SDSS-IV MaNGA IFU survey, we study radial gradients of chemical element abundances in detail. We use stacked spectra out to 1 Re of 366 early-type galaxies with masses 9.9 - 10.8 log $M/M_{\odot}$ to probe the abundances of the elements C, N, Na, Mg, Ca, and Ti, relative to the abundance of Fe, by fitting stellar population models to a combination of Lick absorption indices. We find that C, Mg, and Ti trace each other both as a function of galaxy radius and galaxy mass. These similar C and Mg abundances within and across galaxies set a lower limit for star-formation timescales. Conversely, N and Ca are generally offset to lower abundances. The under-abundance of Ca compared to Mg implies delayed enrichment of Ca through Type Ia supernovae, whereas the correlated behaviour of Ti and the lighter $\alpha$ elements, C and Mg, suggest contributions to Ti from Type II supernovae. We obtain shallow radial gradients in [Mg/Fe], [C/Fe], and [Ti/Fe], meaning that these inferences are independent of radius. However, we measure strong negative radial gradients for [N/Fe] and [Na/Fe], of up to $-0.25\pm0.05$ and $-0.29\pm0.02$ dex/Re respectively. These gradients become shallower with decreasing galaxy mass. We find that N and Na abundances increase more steeply with velocity dispersion within galaxies than globally, while the other elements show the same relation locally and globally. This implies that the high Na and N abundances found in massive early type galaxies are generated by internal processes within galaxies. These are strongly correlated with the total metallicity, suggesting metallicity-dependent Na enrichment, and secondary N production in massive early-type galaxies.


title: Dynamical origin of S-type planets in close binary stars

abstract: Understanding the origin of planets that have formed in binary stars is fundamental to constrain theories of binary and planet formation. The planet occurrence rate in binaries with a separation $\lesssim 50$ AU is only $\sim$ one third that of wider binaries or single stars. This may indicate that a close companion has a ruinous influence on planet formation, because it can truncate the protoplanetary disc and pump up planetesimals eccentricity and collision probability. Nevertheless, observations have revealed a few of these systems, which challenge current planet formation theories. Dynamical interactions can deliver planets into S-type orbits. In this paper, we consider as a possible scenario for forming S-type planets in close binaries the single star-binary star interactions that commonly take place in star clusters. We find that the final fraction and orbital properties of S-type planets in close binaries are mainly determined by the mass ratio of the stars involved in the close encounter, and the initial binary and planet semi-major axes. Present and upcoming missions, as TESS, PLATO and CHEOPS may shed new light on the origin of S-type planets in close binaries.


title: $SU(1,1)$ Barbero-like variables derived from Holst action

abstract: We work on a spacetime manifold foliated by timelike leaves. In this setting, we explore the solution of the second-class constraints arising during the canonical analysis of the Holst action with a cosmological constant. The solution is given in a manifestly Lorentz-covariant fashion, and the resulting canonical formulation is expressed using several sets of real variables that are related to one another by canonical transformations. By applying a gauge fixing to this formulation, we obtain a description of gravity as an $SU(1,1)$ gauge theory that resembles the Ashtekar-Barbero formulation.


title: Don't Blink: Constraining the Circumstellar Environment of the Interacting Type Ia Supernova 2015cp

abstract: Despite their cosmological utility, the progenitors of Type Ia supernovae (SNe Ia) are still unknown, with many efforts focused on whether accretion from a nondegenerate companion can grow a carbon-oxygen white dwarf to near the Chandrasekhar mass. The association of SNe Ia resembling SN 1991T ("91T-like") with circumstellar interaction may be evidence for this "single-degenerate" channel. However, the observed circumstellar medium (CSM) in these interacting systems is unlike a stellar wind -- of particular interest, it is sometimes detached from the stellar surface, residing at $\sim 10^{16}~{\rm cm}$. A Hubble Space Telescope (HST) program to discover detached CSM around 91T-like SNe Ia successfully discovered interaction nearly two years after explosion in SN 2015cp (Graham et al., 2018). In this work, we present radio and X-ray follow-up observations of SN 2015cp and analyze them in the framework of Harris, Nugent, & Kasen (2016) to limit the properties of a constant-density CSM shell in this system. Assuming the HST detection was shortly after the shock crossed the CSM, we constrain the total CSM mass in this system to be $< 0.5~{\rm M_\odot}$. This limit is comparable to the CSM mass of supernova PTF11kx, but does not rule out lower masses predicted for recurrent novae. From lessons learned modeling PTF11kx and SN 2015cp, we suggest a strategy for future observations of these events to increase the sample of known interacting SNe Ia.


title: Delayed Circumstellar Interaction for Type Ia SN 2015cp Revealed by an HST Ultraviolet Imaging Survey

abstract: The nature and role of the binary companion of carbon-oxygen white dwarf stars that explode as Type Ia supernovae (SNe Ia) are not yet fully understood. Past detections of circumstellar material (CSM) that contain hydrogen for a small number of SN Ia progenitor systems suggest that at least some have a nondegenerate companion. In order to constrain the prevalence, location, and quantity of CSM in SN Ia systems, we performed a near-ultraviolet (NUV) survey with the Hubble Space Telescope (HST) to look for the high-energy signature of SN Ia ejecta interacting with CSM. Our survey revealed that SN 2015cp, a SN 1991T-like overluminous SN Ia, was experiencing late-onset interaction between its ejecta and surrounding CSM at $664$ days after its light-curve peak. We present ground- and space-based follow-up observations of SN 2015cp that reveal optical emission lines of H and Ca, typical signatures of ejecta-CSM interaction. We show how SN 2015cp was likely similar to the well-studied SN Ia-CSM event PTF11kx, making it the second case in which an unambiguously classified SN Ia was observed to interact with a distant shell of CSM that contains hydrogen ($R_{\rm CSM} \gtrsim 10^{16}\ {\rm cm}$). The remainder of our HST NUV images of SNe Ia were nondetections that we use to constrain the occurrence rate of observable late-onset CSM interaction. We apply theoretical models for the emission from ejecta-CSM interaction to our NUV nondetections, and place upper limits on the mass and radial extent of CSM in SN Ia progenitor systems.


title: Impact of multiple modes on the black-hole superradiant instability

abstract: Ultralight bosonic fields in the mass range $\sim (10^{-20}-10^{-11})\,{\rm eV}$ can trigger a superradiant instability that extracts energy and angular momentum from an astrophysical black hole with mass $M\sim(5,10^{10})M_\odot$, forming a nonspherical, rotating condensate around it. So far, most studies of the evolution and end-state of the instability have been limited to initial data containing only the fastest growing superradiant mode. By studying the evolution of multimode data in a quasi-adiabatic approximation, we show that the dynamics is much richer and depend strongly on the energy of the seed, on the relative amplitude between modes, and on the gravitational coupling. If the seed energy is a few percent of the black-hole mass, a black hole surrounded by a mixture of superradiant and nonsuperradiant modes with comparable amplitudes might not undergo a superradiant unstable phase, depending on the value of the boson mass. If the seed energy is smaller, as in the case of an instability triggered by quantum fluctuations, the effect of nonsuperradiant modes is negligible. We discuss the implications of these findings for current constraints on ultralight fields with electromagnetic and gravitational-wave observations.


title: The Fifteenth Data Release of the Sloan Digital Sky Surveys: First Release of MaNGA Derived Quantities, Data Visualization Tools and Stellar Library

abstract: Twenty years have passed since first light for the Sloan Digital Sky Survey (SDSS). Here, we release data taken by the fourth phase of SDSS (SDSS-IV) across its first three years of operation (July 2014-July 2017). This is the third data release for SDSS-IV, and the fifteenth from SDSS (Data Release Fifteen; DR15). New data come from MaNGA - we release 4824 datacubes, as well as the first stellar spectra in the MaNGA Stellar Library (MaStar), the first set of survey-supported analysis products (e.g. stellar and gas kinematics, emission line, and other maps) from the MaNGA Data Analysis Pipeline (DAP), and a new data visualisation and access tool we call "Marvin". The next data release, DR16, will include new data from both APOGEE-2 and eBOSS; those surveys release no new data here, but we document updates and corrections to their data processing pipelines. The release is cumulative; it also includes the most recent reductions and calibrations of all data taken by SDSS since first light. In this paper we describe the location and format of the data and tools and cite technical references describing how it was obtained and processed. The SDSS website (www.sdss.org) has also been updated, providing links to data downloads, tutorials and examples of data use. While SDSS-IV will continue to collect astronomical data until 2020, and will be followed by SDSS-V (2020-2025), we end this paper by describing plans to ensure the sustainability of the SDSS data archive for many years beyond the collection of data.


title: Hybrid precoding and combining for frequency-selective mmWave MIMO Systems with per-antenna power constraints

abstract: Configuring hybrid precoders and combiners is a major challenge to deploy practical mmWave communication systems. Prior work addresses the problem of designing hybrid precoders and combiner, yet focusing on finding solutions under a total transmit power constraint. The design of hybrid precoders and combiners in practical system, is constrained, however, by a per antenna transmit power, since each antenna element in the array is connected to a power amplifier (PA) that has to operate within its linear region. In this paper, we focus on the problem of hybrid precoding and combining with per-antenna power constraints, and under a frequency-selective bandlimited channel model. We first propose an all-digital solution to this problem, and develop a hybrid precoding and combining strategy that aims at matching this solution by minimizing the chordal distance between the all-digital precoders (combiners) and their hybrid approximations. Finally, since minimizing this metric does not guarantee that the final spectral efficiency will be maximized, we optimize the resulting spectral efficiency taking into account the per-antenna power constraints. Simulation results show the effectiveness of our all-digital and hybrid solutions, while emphasizing the differences with respect to the corresponding solution under a total power constraints. As shown in our numerical results, the proposed all-digital solution performs similarly to the case in which a total power constraint is considered. Further, our proposed hybrid solution is also shown to exhibit near-optimum performance, and the influence of different system parameters is also shown, thereby showing the suitability of our proposed framework to deploy practical mmWave MIMO systems.


title: Generalizations of Laver tables

abstract: We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are self-distributive or where the operations satisfy a generalized version of self-distributivity. These algebras mimic the algebras of rank-into-rank embeddings $\mathcal{E}_{\lambda}/\equiv^{\gamma}$ in the sense that composition and the notion of a critical point make sense for these sorts of algebras.


title: Strong version of Andrica's conjecture

abstract: A strong version of Andrica's conjecture can be formulated as follows: Except for $p_n\in\{3,7,13,23,31,113\}$, that is $n\in\{2,4,6,9,11,30\}$, one has$\sqrt{p_{n+1}}-\sqrt{p_n} < \frac{1}{2}.$ While a proof is far out of reach I shall show that this strong version of Andrica's conjecture is unconditionally and explicitly verified for all primes below the location of the 81$^{st}$ maximal prime gap, certainly for all primes $p <2^{64}\approx 1.844\times 10^{19}$. Furthermore this strong Andrica conjecture is slightly stronger than Oppermann's conjecture --- which in turn is slightly stronger than both the strong and standard Legendre conjectures, and the strong and standard Brocard conjectures. Thus the Oppermann conjecture, and strong and standard Legendre conjectures, are all unconditionally and explicitly verified for all primes $p <2^{64}\approx1.844\times 10^{19}$. Similarly, the strong and standard Brocard conjectures are unconditionally and explicitly verified for all primes $p <2^{32} \approx 4.294 \times 10^9$.


title: Analysing direct photon spectra and elliptic flow from heavy ion collision measurements at the top RHIC energy within the integrated hydrokinetic model

abstract: The integrated HydroKinetic Model (iHKM) is applied to analyse the results of direct photon spectra and elliptic flow measurements in 200A GeV Au+Au collisions at RHIC for the three centrality bins. We detect the strong centrality dependence of photon elliptic flow as $v_2(p_T)$-coefficient increases towards peripheral collisions. The photon production in the model is accumulated from the different sources along with the process of relativistic heavy ion collision developing. Those include the primary hard photons from the parton collisions at very early stage of the process, the photons generated at the pre-thermal phase of matter evolution, then thermal photons at equilibrated quark-gluon stage together with radiation displaying a confinement and, finally, from the hadron gas phase. Along the way a hadronic medium evolution is treated in two distinct, in a sense opposite, approaches: chemically equilibrated and chemically frozen system expansion. We find that similar as it was found in iHKM for the LHC energies, a description of the direct photon spectra and elliptic flows is significantly improved if an additional portion of the photon radiation, that is associated with hadronization processes, is included into consideration.


title: Chandra Detection of the Circumnuclear Molecular Torus of the Compton Thick AGN in NGC 5643

abstract: We report a clumpy elongated feature found with deep Chandra ACIS high-resolution imaging of the Fe K{\alpha} line emission in the nuclear region of the Compton Thick Active Galactic Nucleus (CT AGN) galaxy NGC 5643. This feature extends for ~65 pc N-S. No corresponding feature is seen in the 3.0-6.0 keV continuum. The Fe K{\alpha} feature is spatially consistent with the N-S elongation found in the CO(2-1) high resolution imaging with ALMA (Alonso-Herrero et al 2018), but slightly more extended than the rotating molecular disk of r=26 pc indicated by the kinematics of the CO(2-1) line. The Chandra detection of a corresponding N-S structure in the neutral Fe K{\alpha} line, would argue for both CO and Fe K{\alpha} emission originating from the obscuring torus.


title: Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance

abstract: There is an increasingly apparent need for validating the classifications made by deep learning systems in safety-critical applications like autonomous vehicle systems. A number of recent papers have proposed methods for detecting anomalous image data that appear different from known inlier data samples, including reconstruction-based autoencoders. Autoencoders optimize the compression of input data to a latent space of a dimensionality smaller than the original input and attempt to accurately reconstruct the input using that compressed representation. Since the latent vector is optimized to capture the salient features from the inlier class only, it is commonly assumed that images of objects from outside of the training class cannot effectively be compressed and reconstructed. Some thus consider reconstruction error as a kind of novelty measure. Here we suggest that reconstruction-based approaches fail to capture particular anomalies that lie far from known inlier samples in latent space but near the latent dimension manifold defined by the parameters of the model. We propose incorporating the Mahalanobis distance in latent space to better capture these out-of-distribution samples and our results show that this method often improves performance over the baseline approach.


title: Knockoff Nets: Stealing Functionality of Black-Box Models

abstract: Machine Learning (ML) models are increasingly deployed in the wild to perform a wide range of tasks. In this work, we ask to what extent can an adversary steal functionality of such "victim" models based solely on blackbox interactions: image in, predictions out. In contrast to prior work, we present an adversary lacking knowledge of train/test data used by the model, its internals, and semantics over model outputs. We formulate model functionality stealing as a two-step approach: (i) querying a set of input images to the blackbox model to obtain predictions; and (ii) training a "knockoff" with queried image-prediction pairs. We make multiple remarkable observations: (a) querying random images from a different distribution than that of the blackbox training data results in a well-performing knockoff; (b) this is possible even when the knockoff is represented using a different architecture; and (c) our reinforcement learning approach additionally improves query sample efficiency in certain settings and provides performance gains. We validate model functionality stealing on a range of datasets and tasks, as well as on a popular image analysis API where we create a reasonable knockoff for as little as $30.


title: Deciphering structural and magnetic disorder in the chiral skyrmion host materials Co$_x$Zn$_y$Mn$_z$ ($x+y+z=20$)

abstract: Co$_x$Zn$_y$Mn$_z$ ($x+y+z=20$) compounds crystallizing in the chiral $\beta$-Mn crystal structure are known to host skyrmion spin textures even at elevated temperatures. As in other chiral cubic skyrmion hosts, skyrmion lattices in these materials are found at equilibrium in a small pocket just below the magnetic Curie temperature. Remarkably, CoxZnyMnz compounds have also been found to host metastable non-equilibrium skyrmion lattices in a broad temperature and field range, including down to zero-field and low temperature. This behavior is believed to be related to disorder present in the materials. Here, we use neutron and synchrotron diffraction, density functional theory calculations, and DC and AC magnetic measurements, to characterize the atomic and magnetic disorder in these materials. We demonstrate that Co has a strong site-preference for the diamondoid 8c site in the crystal structure, while Mn tends to share the geometrically frustrated 12d site with Zn, due to its ability to develop a large local moment on that site. This magnetism-driven site specificity leads to distinct magnetic behavior for the Co-rich 8c sublattice and the Mn on the 12d sublattice. The Co-rich sublattice orders at high temperatures (compositionally tunable between 100K to 470K) with a moment around 1 $\mu_B$/atom and maintains this order to low temperature. The Mn-rich sublattice holds larger moments (about 3 $\mu_B$ which remain fluctuating below the Co moment ordering temperature. At lower temperature, the fluctuating Mn moments freeze into a reentrant disordered cluster-glass state with no net moment, while the Co moments maintain order. This two-sublattice behavior allows for the observed coexistence of strong magnetic disorder and ordered magnetic states such as helimagnetism and skyrmion lattices.


title: SqueezeFit: Label-aware dimensionality reduction by semidefinite programming

abstract: Given labeled points in a high-dimensional vector space, we seek a low-dimensional subspace such that projecting onto this subspace maintains some prescribed distance between points of differing labels. Intended applications include compressive classification. Taking inspiration from large margin nearest neighbor classification, this paper introduces a semidefinite relaxation of this problem. Unlike its predecessors, this relaxation is amenable to theoretical analysis, allowing us to provably recover a planted projection operator from the data.


title: Embedding-reparameterization procedure for manifold-valued latent variables in generative models

abstract: Conventional prior for Variational Auto-Encoder (VAE) is a Gaussian distribution. Recent works demonstrated that choice of prior distribution affects learning capacity of VAE models. We propose a general technique (embedding-reparameterization procedure, or ER) for introducing arbitrary manifold-valued variables in VAE model. We compare our technique with a conventional VAE on a toy benchmark problem. This is work in progress.


title: TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint

abstract: Conventional Hardware Trojan (HT) detection techniques are based on the validation of integrated circuits to determine changes in their functionality, and on non-invasive side-channel analysis to identify the variations in their physical parameters. In particular, almost all the proposed side-channel power-based detection techniques presume that HTs are detectable because they only add gates to the original circuit with a noticeable increase in power consumption. This paper demonstrates how undetectable HTs can be realized with zero impact on the power and area footprint of the original circuit. Towards this, we propose a novel concept of TrojanZero and a systematic methodology for designing undetectable HTs in the circuits, which conceals their existence by gate-level modifications. The crux is to salvage the cost of the HT from the original circuit without being detected using standard testing techniques. Our methodology leverages the knowledge of transition probabilities of the circuit nodes to identify and safely remove expendable gates, and embeds malicious circuitry at the appropriate locations with zero power and area overheads when compared to the original circuit. We synthesize these designs and then embed in multiple ISCAS85 benchmarks using a 65nm technology library, and perform a comprehensive power and area characterization. Our experimental results demonstrate that the proposed TrojanZero designs are undetectable by the state-of-the-art power-based detection methods.


title: Neural Word Search in Historical Manuscript Collections

abstract: We address the problem of segmenting and retrieving word images in collections of historical manuscripts given a text query. This is commonly referred to as "word spotting". To this end, we first propose an end-to-end trainable model based on deep neural networks that we dub Ctrl-F-Net. The model simultaneously generates region proposals and embeds them into a word embedding space, wherein a search is performed. We further introduce a simplified version called Ctrl-F-Mini. It is faster with similar performance, though it is limited to more easily segmented manuscripts. We evaluate both models on common benchmark datasets and surpass the previous state of the art. Finally, in collaboration with historians, we employ the Ctrl-F-Net to search within a large manuscript collection of over 100 thousand pages, written across two centuries. With only 11 training pages, we enable large scale data collection in manuscript-based historical research. This results in a speed up of data collection and the number of manuscripts processed by orders of magnitude. Given the time consuming manual work required to study old manuscripts in the humanities, quick and robust tools for word spotting has the potential to revolutionise domains like history, religion and language.


title: Object Discovery in Videos as Foreground Motion Clustering

abstract: We consider the problem of providing dense segmentation masks for object discovery in videos. We formulate the object discovery problem as foreground motion clustering, where the goal is to cluster foreground pixels in videos into different objects. We introduce a novel pixel-trajectory recurrent neural network that learns feature embeddings of foreground pixel trajectories linked across time. By clustering the pixel trajectories using the learned feature embeddings, our method establishes correspondences between foreground object masks across video frames. To demonstrate the effectiveness of our framework for object discovery, we conduct experiments on commonly used datasets for motion segmentation, where we achieve state-of-the-art performance.


title: A ground-based NUV secondary eclipse observation of KELT-9b

abstract: KELT-9b is a recently discovered exoplanet with a 1.49 d orbit around a B9.5/A0-type star. The unparalleled levels of UV irradiation it receives from its host star put KELT-9b in its own unique class of ultra-hot Jupiters, with an equilibrium temperature > 4000 K. The high quantities of dissociated hydrogen and atomic metals present in the dayside atmosphere of KELT-9b bear more resemblance to a K-type star than a gas giant. We present a single observation of KELT-9b during its secondary eclipse, taken with the Wide Field Camera on the Isaac Newton Telescope (INT). This observation was taken in the U-band, a window particularly sensitive to Rayleigh scattering. We do not detect a secondary eclipse signal, but our 3$\sigma$ upper limit of 181 ppm on the depth allows us to constrain the dayside temperature of KELT-9b at pressures of ~30 mbar to 4995 K (3$\sigma$). Although we can place an observational constraint of $A_g<$ 0.14, our models suggest that the actual value is considerably lower than this due to H$^-$ opacity. This places KELT-9b squarely in the albedo regime populated by its cooler cousins, almost all of which reflect very small components of the light incident on their daysides. This work demonstrates the ability of ground-based 2m-class telescopes like the INT to perform secondary eclipse studies in the NUV, which have previously only been conducted from space-based facilities.


title: Multiplicative parametric geometry of numbers and transference theorems for lattice exponents

abstract: In this paper we adapt parametric geometry of numbers developed by Wolfgang Schmidt and Leonard Summerer to a multiplicative setting, and derive a chain of inequalities for the corresponding exponents which splits the transference inequality for Diophantine exponents of lattices in the same way Khintchine's transference inequalities for simultaneous approximation can be split.


title: Exploring redshift-space distortions in large-scale structure

abstract: We explore and compare different ways large-scale structure observables in redshift-space and real space can be connected. These include direct computation in Lagrangian space, moment expansions and two formulations of the streaming model. We derive for the first time a Fourier space version of the streaming model, which yields an algebraic relation between the real- and redshift-space power spectra which can be compared to earlier, phenomenological models. By considering the redshift-space 2-point function in both configuration and Fourier space, we show how to generalize the Gaussian streaming model to higher orders in a systematic and computationally tractable way. We present a closed-form solution to the Zeldovich power spectrum in redshift space and use this as a framework for exploring convergence properties of different expansion approaches. While we use the Zeldovich approximation to illustrate these results, much of the formalism and many of the relations we derive hold beyond perturbation theory, and could be used with ingredients measured from N-body simulations or in other areas requiring decomposition of Cartesian tensors times plane waves. We finish with a discussion of the redshift-space bispectrum, bias and stochasticity and terms in Lagrangian perturbation theory up to 1-loop order.


title: Applications of Blockchain in Healthcare: Current Landscape & Challenges

abstract: Several problems in healthcare stem from the complex network of intermediaries and the lack of traceability of transactions. To mention a few: healthcare data is fragmented across several silos negatively affecting research and services, about half of the clinical trials are never reported, the cost of drug discovery is ever increasing, and substandard and fake medicines are still a huge problem. Blockchain has the potential to solve these problems as it provides trust without any intermediaries, has traceability as a default feature, and promises new business models by enabling novel incentive structures. Due to its potential, blockchain has gathered significant interest in the healthcare industry. In this paper, we review major use cases of blockchain in healthcare: patient data management, pharmaceutical research, supply chain management of medical goods, prescription management, billing claims management, analytics, and telemedicine alongside the related projects. We found that most of the blockchain projects are limited as white-papers, proof of concepts, and products with a limited user base. However, we observed that the quantity, quality, and maturity of the projects are increasing. We also discuss technical, regulatory, and business challenges to the adoption of blockchain in the healthcare industry


title: New biharmonic functions on the compact Lie groups $SO(n)$, $SU(n)$, $Sp(n)$

abstract: We develope a new scheme for the construction of explicit complex-valued proper biharmonic functions on Riemannian Lie groups. We exploit this and manufacture many infinite series of uncountable families of new solutions on the special unitary group $SU(n)$. We then show that the special orthogonal group $SO(n)$ and the quaternionic unitary group $Sp(n)$ fall into the scheme. As a by-product we obtain new harmonic morphisms on these groups. All the constructed maps are defined on open and dense subsets of the corresponding spaces.


title: Non-standard neutrino interactions and low energy experiments

abstract: We formulate an Effective Field Theory (EFT) for Non Standard neutrino Interactions (NSI) in elastic scattering with light quarks, leptons, gluons and photons, including all possible operators of dimension 5, 6 and 7. We provide the expressions for the cross sections in coherent neutrino-nucleus scattering and in deep inelastic scattering. Assuming single operator dominance we constrain the respective Wilson coefficient using the measurements by the COHERENT and CHARM collaborations. We also point out the constraining power of future elastic neutrino-nucleus scattering experiments. Finally, we explore the implications of the bounds for SMEFT operators above the electroweak breaking scale.


title: On Neutron Star Mergers as the Source of r-process Enhanced Metal Poor Stars in the Milky Way

abstract: We model the history of Galactic r-process enrichment using high-redshift, high-resolution zoom cosmological simulations of a Milky Way (MW) type halo. We assume that all r-process sources are neutron star mergers (NSMs) with a power law delay time distribution. We model the time to mix pollutants at subgrid scales, which allows us to to better compute the properties of metal poor (MP) and carbon enhanced metal poor (CEMP) stars, along with statistics of their r-process enhanced subclasses. Our simulations underpredict the cumulative ratios of r-process enhanced MP and CEMP stars (MP-r, CEMP-r) over MP and CEMP stars by about one order of magnitude, even when the minimum coalescence time of the double neutron stars ($t_{\rm min}$) is set to 1 Myr. No r-process enhanced stars form if $t_{\rm min}=100$ Myr. Our results show that even when we adopt the r-process yield estimates observed in GW170817, NSMs by themselves can only explain the observed frequency of r-process enhanced stars if either the birth rate of double neutron stars per unit mass of stars is boosted to $\approx10^{-4} M_\odot^{-1}$ or the Europium yield of each NSM event is boosted to $\approx 10^{-4} M_{\odot}$.


title: VeMo: Enabling Transparent Vehicular Mobility Modeling at Individual Levels with Full Penetration

abstract: Understanding and predicting real-time vehicle mobility patterns on highways are essential to address traffic congestion and respond to the emergency. However, almost all existing works (e.g., based on cellphones, onboard devices, or traffic cameras) suffer from high costs, low penetration rates, or only aggregate results. To address these drawbacks, we utilize Electric Toll Collection systems (ETC) as a large-scale sensor network and design a system called VeMo to transparently model and predict vehicle mobility at the individual level with a full penetration rate. Our novelty is how we address uncertainty issues (i.e., unknown routes and speeds) due to sparse implicit ETC data based on a key data-driven insight, i.e., individual driving behaviors are strongly correlated with crowds of drivers under certain spatiotemporal contexts and can be predicted by combining both personal habits and context information. More importantly, we evaluate VeMo with (i) a large-scale ETC system with tracking devices at 773 highway entrances and exits capturing more than 2 million vehicles every day; (ii) a fleet consisting of 114 thousand vehicles with GPS data as ground truth. We compared VeMo with state-of-the-art benchmark mobility models, and the experimental results show that VeMo outperforms them by average 10% in terms of accuracy.


title: ROI-10D: Monocular Lifting of 2D Detection to 6D Pose and Metric Shape

abstract: We present a deep learning method for end-to-end monocular 3D object detection and metric shape retrieval. We propose a novel loss formulation by lifting 2D detection, orientation, and scale estimation into 3D space. Instead of optimizing these quantities separately, the 3D instantiation allows to properly measure the metric misalignment of boxes. We experimentally show that our 10D lifting of sparse 2D Regions of Interests (RoIs) achieves great results both for 6D pose and recovery of the textured metric geometry of instances. This further enables 3D synthetic data augmentation via inpainting recovered meshes directly onto the 2D scenes. We evaluate on KITTI3D against other strong monocular methods and demonstrate that our approach doubles the AP on the 3D pose metrics on the official test set, defining the new state of the art.


title: A dataset of continuous affect annotations and physiological signals for emotion analysis

abstract: From a computational viewpoint, emotions continue to be intriguingly hard to understand. In research, direct, real-time inspection in realistic settings is not possible. Discrete, indirect, post-hoc recordings are therefore the norm. As a result, proper emotion assessment remains a problematic issue. The Continuously Annotated Signals of Emotion (CASE) dataset provides a solution as it focusses on real-time continuous annotation of emotions, as experienced by the participants, while watching various videos. For this purpose, a novel, intuitive joystick-based annotation interface was developed, that allowed for simultaneous reporting of valence and arousal, that are instead often annotated independently. In parallel, eight high quality, synchronized physiological recordings (1000 Hz, 16-bit ADC) were made of ECG, BVP, EMG (3x), GSR (or EDA), respiration and skin temperature. The dataset consists of the physiological and annotation data from 30 participants, 15 male and 15 female, who watched several validated video-stimuli. The validity of the emotion induction, as exemplified by the annotation and physiological data, is also presented.


title: Finite-Sample Analysis For Decentralized Batch Multi-Agent Reinforcement Learning With Networked Agents

abstract: Despite the increasing interest in multi-agent reinforcement learning (MARL) in multiple communities, understanding its theoretical foundation has long been recognized as a challenging problem. In this work, we address this problem by providing a finite-sample analysis for decentralized batch MARL with networked agents. Specifically, we consider two decentralized MARL settings, where teams of agents are connected by time-varying communication networks, and either collaborate or compete in a zero-sum game setting, without any central controller. These settings cover many conventional MARL settings in the literature. For both settings, we develop batch MARL algorithms that can be implemented in a decentralized fashion, and quantify the finite-sample errors of the estimated action-value functions. Our error analysis captures how the function class, the number of samples within each iteration, and the number of iterations determine the statistical accuracy of the proposed algorithms. Our results, compared to the finite-sample bounds for single-agent RL, involve additional error terms caused by decentralized computation, which is inherent in our decentralized MARL setting. This work appears to be the first finite-sample analysis for batch MARL, a step towards rigorous theoretical understanding of general MARL algorithms in the finite-sample regime.


title: StoryGAN: A Sequential Conditional GAN for Story Visualization

abstract: We propose a new task, called Story Visualization. Given a multi-sentence paragraph, the story is visualized by generating a sequence of images, one for each sentence. In contrast to video generation, story visualization focuses less on the continuity in generated images (frames), but more on the global consistency across dynamic scenes and characters -- a challenge that has not been addressed by any single-image or video generation methods. We therefore propose a new story-to-image-sequence generation model, StoryGAN, based on the sequential conditional GAN framework. Our model is unique in that it consists of a deep Context Encoder that dynamically tracks the story flow, and two discriminators at the story and image levels, to enhance the image quality and the consistency of the generated sequences. To evaluate the model, we modified existing datasets to create the CLEVR-SV and Pororo-SV datasets. Empirically, StoryGAN outperforms state-of-the-art models in image quality, contextual consistency metrics, and human evaluation.


title: Void galaxies in the nearby Universe. I. Sample description

abstract: The main goal of this work is to form a large, deep and representative sample of dwarf galaxies residing in voids of the nearby Universe. The formed sample is the basement for the comprehensive mass study of the galaxy content, their evolutionary status, clustering and dynamics with respect to their counterparts residing in more typical, denser regions and for study of void small-scale substructures. We present 25 voids over the entire sky within 25 Mpc from the Local Group. They are defined as groups of lumped empty spheres bounded by `luminous' galaxies with the absolute K-band magnitudes brighter than -22.0. The identified void regions include the Local Void and other known nearby voids. The nearest nine voids occupy a substantial part of the Local Volume. Of the total number of 6792 cataloged galaxies in the considered volume, 1354 objects fall into 25 nearby voids. Of this general void galaxy sample, we separate the sub-sample of `inner' void galaxies, residing deeper in voids, with distances to the nearest luminous galaxy DNN > 2.0 Mpc. The `inner' galaxy sample includes 1088 objects, mostly dwarfs with MB distribution peaked near -15.0 and extending down to -7.5 mag. Of them, 195 fall in the Local Volume (space within R=11 Mpc). We present the general statistical properties of this Nearby Void Galaxy sample and discuss the issues related to the sample content and the prospects of its use.


title: A least-squares functional for joint exit wave reconstruction and image registration

abstract: Images generated by a transmission electron microscope (TEM) are blurred by aberrations from the objective lens and can be difficult to interpret correctly. One possible solution to this problem is to reconstruct the so-called exit wave, i.e. the electron wave in the microscope right before it passes the objective lens, from a series of TEM images acquired with varying focus. While the forward model of simulating a TEM image from a given exit wave is known and easy to evaluate, it is in general not possible to reconstruct the exit wave from a series of images analytically. The corresponding inverse problem can be formulated as a minimization problem, which is done in the well known MAL and MIMAP methods. We propose a generalization of these methods by performing the exit wave reconstruction and the registration of the image series simultaneously. We show that our objective functional is not convex with respect to the exit wave, which also carries over to the MAL and MIMAP functionals. The main result is the existence of minimizers of our objective functional. These results are based on the properties of a generalization of the cross-correlation. Finally, the applicability of our method is verified with a numerical experiment on simulated input data.


title: Sparse eigenbasis approximation: multiple feature extraction across spatiotemporal scales with application to coherent set identification

abstract: The output of spectral clustering is a collection of eigenvalues and eigenvectors that encode important connectivity information about a graph or a manifold. This connectivity information is often not cleanly represented in the eigenvectors and must be disentangled by some secondary procedure. We propose the use of an approximate sparse basis for the space spanned by the leading eigenvectors as a natural, robust, and efficient means of performing this separation. The use of sparsity yields a natural cutoff in this disentanglement procedure and is particularly useful in practical situations when there is no clear eigengap. In order to select a suitable collection of vectors we develop a new Weyl-inspired eigengap heuristic and heuristics based on the sparse basis vectors. We develop an automated eigenvector separation procedure and illustrate its efficacy on examples from time-dependent dynamics on manifolds. In this context, transfer operator approaches are extensively used to find dynamically disconnected regions of phase space, known as almost-invariant sets or coherent sets. The dominant eigenvectors of transfer operators or related operators, such as the dynamic Laplacian, encode dynamic connectivity information. Our sparse eigenbasis approximation (SEBA) methodology streamlines the final stage of transfer operator methods, namely the extraction of almost-invariant or coherent sets from the eigenvectors. It is particularly useful when used on domains with large numbers of coherent sets, and when the coherent sets do not exhaust the phase space, such as in large geophysical datasets.


title: Beyond imitation: Zero-shot task transfer on robots by learning concepts as cognitive programs

abstract: Humans can infer concepts from image pairs and apply those in the physical world in a completely different setting, enabling tasks like IKEA assembly from diagrams. If robots could represent and infer high-level concepts, it would significantly improve their ability to understand our intent and to transfer tasks between different environments. To that end, we introduce a computational framework that replicates aspects of human concept learning. Concepts are represented as programs on a novel computer architecture consisting of a visual perception system, working memory, and action controller. The instruction set of this "cognitive computer" has commands for parsing a visual scene, directing gaze and attention, imagining new objects, manipulating the contents of a visual working memory, and controlling arm movement. Inferring a concept corresponds to inducing a program that can transform the input to the output. Some concepts require the use of imagination and recursion. Previously learned concepts simplify the learning of subsequent more elaborate concepts, and create a hierarchy of abstractions. We demonstrate how a robot can use these abstractions to interpret novel concepts presented to it as schematic images, and then apply those concepts in dramatically different situations. By bringing cognitive science ideas on mental imagery, perceptual symbols, embodied cognition, and deictic mechanisms into the realm of machine learning, our work brings us closer to the goal of building robots that have interpretable representations and commonsense.


title: Visualizing Uniaxial-strain Manipulation of Antiferromagnetic Domains in Fe1+YTe Using a Spin-polarized Scanning Tunneling Microscope

abstract: The quest to understand correlated electronic systems has pushed the frontiers of experimental measurements toward the development of new experimental techniques and methodologies. Here we use a novel home-built uniaxial-strain device integrated into our variable temperature scanning tunneling microscope that enables us to controllably manipulate in-plane uniaxial strain in samples and probe their electronic response at the atomic scale. Using scanning tunneling microscopy with spin-polarization techniques, we visualize antiferromagnetic domains and their atomic structure in Fe1+yTe samples, the parent compound of iron-based superconductors, and demonstrate how these domains respond to applied uniaxial strain. We observe the bidirectional antiferromagnetic domains in the unstrained sample, with an average domain size of 50 to 150 nm, to transition into a single unidirectional domain under applied uniaxial strain. The findings presented here open a new direction to utilize a valuable tuning parameter in scanning tunneling microscopy, as well as other spectroscopic techniques, both for tuning the electronic properties as for inducing symmetry breaking in quantum material systems.


title: Endowing $\mathbf{\Lambda}$ with a dynamic nature: constraints in a spatially curved Universe

abstract: In this study, we consider three dark energy models in which $\Lambda$ is not constant, but has a dynamic nature that depends on the Hubble parameter $H$ and/or its time derivative $\dot{H}$. We analyze the generalized running vacuum model, for which $\Lambda(H)=A+BH^2+C\dot{H}$, along with the two models obtained by setting $B$ or $C$ equal to zero. A null value for $C$ yields the classical running vacuum model (RVM), while $B=0$ corresponds to what we term the generalized running vacuum sub-case, or GRVS. Our main aim is to investigate whether these models can accommodate non-zero spatial curvature. To this end, we carry out a Markov Chain Monte Carlo analysis using data for the observables associated with Type-Ia supernovae, cosmic chronometers, the cosmic microwave background and baryon acoustic oscillations, as well as two values for the Hubble constant. Then we include data relating to the growth of large-scale structure (LSS) and repeat the procedure. Our results indicate that taking LSS observations into account helps to tighten constraints and determine a definite sign for the model parameters. In the case of the RVM and GRVS, the addition of growth data results in dynamical vacuum energy being preferred to a cosmological constant at a little over $1\sigma$. This happens in both the flat and non-flat scenarios -- there are only a few exceptions -- but comes at the cost of an extra parameter which can degrade the performance of the models (as assessed by model selection criteria). Of special relevance is the fact that the inclusion of LSS data appears to increase compatibility with a flat geometry. It also brings the constraints on the Hubble constant closer to the range of values established by \emph{Planck}.


title: Multi-Hop Communication for nTorrent in a Wireless Ad Hoc Environment

abstract: nTorrent is a BitTorrent-like application that is based on NDN (Named Data Networking). Ad hoc environments introduce additional challenges to the dissemination of files among peers. Some issues that we encounter are that not all peers in the neighborhood or environment run the nTorrent application or desire the same torrent file. These issues cause nTorrent interests to be unable to be processed or prevent peers from downloading their desired torrent files. In order to solve this issue, I implemented pure forwarding nodes that represent peers that do not run the nTorrent application and also extended the original nTorrent application to be able to forward interests for torrent files other than their own desired torrent file. For this project, the solution is able to facilitate multi-hop communication through all nodes present in the environment whether or not they run nTorrent.


title: UAV Command and Control, Navigation and Surveillance: A Review of Potential 5G and Satellite Systems

abstract: Drones, unmanned aerial vehicles (UAVs), or unmanned aerial systems (UAS) are expected to be an important component of 5G/beyond 5G (B5G) communications. This includes their use within cellular architectures (5G UAVs), in which they can facilitate both wireless broadcast and point-to-point transmissions, usually using small UAS (sUAS). Allowing UAS to operate within airspace along with commercial, cargo, and other piloted aircraft will likely require dedicated and protected aviation spectrum at least in the near term, while regulatory authorities adapt to their use. The command and control (C2), or control and non-payload communications (CNPC) link provides safety critical information for the control of the UAV both in terrestrial-based line of sight (LOS) conditions and in satellite communication links for so-called beyond LOS (BLOS) conditions. In this paper, we provide an overview of these CNPC links as they may be used in 5G and satellite systems by describing basic concepts and challenges. We review new entrant technologies that might be used for UAV C2 as well as for payload communication, such as millimeter wave (mmWave) systems, and also review navigation and surveillance challenges. A brief discussion of UAV-to-UAV communication and hardware issues are also provided.


title: Generation of Synthetic Electronic Medical Record Text

abstract: Machine learning (ML) and Natural Language Processing (NLP) have achieved remarkable success in many fields and have brought new opportunities and high expectation in the analyses of medical data. The most common type of medical data is the massive free-text electronic medical records (EMR). It is widely regarded that mining such massive data can bring up important information for improving medical practices as well as for possible new discoveries on complex diseases. However, the free EMR texts are lacking consistent standards, rich of private information, and limited in availability. Also, as they are accumulated from everyday practices, it is often hard to have a balanced number of samples for the types of diseases under study. These problems hinder the development of ML and NLP methods for EMR data analysis. To tackle these problems, we developed a model to generate synthetic text of EMRs called Medical Text Generative Adversarial Network or mtGAN. It is based on the GAN framework and is trained by the REINFORCE algorithm. It takes disease features as inputs and generates synthetic texts as EMRs for the corresponding diseases. We evaluate the model from micro-level, macro-level and application-level on a Chinese EMR text dataset. The results show that the method has a good capacity to fit real data and can generate realistic and diverse EMR samples. This provides a novel way to avoid potential leakage of patient privacy while still supply sufficient well-controlled cohort data for developing downstream ML and NLP methods. It can also be used as a data augmentation method to assist studies based on real EMR data.


title: Distance-distributed design for Gaussian process surrogates

abstract: A common challenge in computer experiments and related fields is to efficiently explore the input space using a small number of samples, i.e., the experimental design problem. Much of the recent focus in the computer experiment literature, where modeling is often via Gaussian process (GP) surrogates, has been on space-filling designs, via maximin distance, Latin hypercube, etc. However, it is easy to demonstrate empirically that such designs disappoint when the model hyperparameterization is unknown, and must be estimated from data observed at the chosen design sites. This is true even when the performance metric is prediction-based, or when the target of interest is inherently or eventually sequential in nature, such as in blackbox (Bayesian) optimization. Here we expose such inefficiencies, showing that in many cases purely random design is superior to higher-powered alternatives. We then propose a family of new schemes by reverse engineering the qualities of the random designs which give the best estimates of GP lengthscales. Specifically, we study the distribution of pairwise distances between design elements, and develop a numerical scheme to optimize those distances for a given sample size and dimension. We illustrate how our distance-based designs, and their hybrids with more conventional space-filling schemes, outperform in both static (one-shot design) and sequential settings.


title: Verification of deep probabilistic models

abstract: Probabilistic models are a critical part of the modern deep learning toolbox - ranging from generative models (VAEs, GANs), sequence to sequence models used in machine translation and speech processing to models over functional spaces (conditional neural processes, neural processes). Given the size and complexity of these models, safely deploying them in applications requires the development of tools to analyze their behavior rigorously and provide some guarantees that these models are consistent with a list of desirable properties or specifications. For example, a machine translation model should produce semantically equivalent outputs for innocuous changes in the input to the model. A functional regression model that is learning a distribution over monotonic functions should predict a larger value at a larger input. Verification of these properties requires a new framework that goes beyond notions of verification studied in deterministic feedforward networks, since requiring worst-case guarantees in probabilistic models is likely to produce conservative or vacuous results. We propose a novel formulation of verification for deep probabilistic models that take in conditioning inputs and sample latent variables in the course of producing an output: We require that the output of the model satisfies a linear constraint with high probability over the sampling of latent variables and for every choice of conditioning input to the model. We show that rigorous lower bounds on the probability that the constraint is satisfied can be obtained efficiently. Experiments with neural processes show that several properties of interest while modeling functional spaces can be modeled within this framework (monotonicity, convexity) and verified efficiently using our algorithms


title: Transverse profile and 3D spin canting of a Majorana state in carbon nanotubes

abstract: The full spatial 3D profile of Majorana bound states (MBS) in a nanowire-like setup featuring a semiconducting carbon nanotube (CNT) as the central element is discussed. By accurate tight-binding calculations we show that the chiral nature of the CNT lattice is imprinted in the MBS wave function which has a helical structure, anisotropic in the transverse direction. The local spin canting angle displays a similar spiral pattern, varying around the CNT circumference. We reconstruct the intricate 3D profile of the MBS wave function analytically, using an effective low energy Hamiltonian accounting both for the electronic spin and valley degrees of freedom of the CNT. We find that the four components of the Majorana spinor are related by the three symmetries of our Bogoliubov-de Gennes (BdG) Hamiltonian, reducing the number of independent components to one. A Fourier transform analysis uncovers the presence of three contributions to the MBS, one from the $\Gamma$-point and one from each of the Fermi points, with further complexity added by the presence of two valley states in each contribution.


title: Constructing Certain Special Analytic Galois Extensions

abstract: For every prime $p\geq 5$ for which a certain condition on the class group $\text{Cl}(\mathbb{Q}(\mu_p))$ is satisfied, we construct a $p$-adic analytic Galois extension of the infinite cyclotomic extension $\mathbb{Q}(\mu_{p^{\infty}})$ with some special ramification properties. In greater detail, this extension is unramified at primes above $p$ and tamely ramified above finitely many rational primes and is isomorphic to a finite index subgroup of $\text{SL}_2(\mathbb{Z}_p)$ which contains the principal congruence subgroup. For the primes $107,139,271$ and $379$ such extensions were first constructed by Ohtani and Blondeau. The strategy for producing these special extensions at an abundant number of primes is through lifting two-dimensional reducible Galois representations which are diagonal when restricted to $p$.


title: Magnetoelastic coupling in URu2Si2: Probing multipolar correlations in the hidden order state

abstract: Time reversal symmetry and magnetoelastic correlations are probed by means of high-resolution volume dilatometry in URu2Si2 at cryogenic temperatures and magnetic fields more than enough to suppress the hidden order state at H_HO(T = 0.66 K) approximately 35 T. We report a significant crystal lattice volume expansion at and above H_HO(T), and even above T_HO, possibly a consequence of field-induced f-electron localization, and hysteresis at some high field phase boundaries that confirm volume involvement. We investigate in detail the magnetostriction and magnetization as the temperature is reduced over two decades from 50 K where the system is paramagnetic, to 0.5 K in the realms of the hidden order state. We find a dominant quadratic-in-field dependence delta L/L proportional to H^2, a result consistent with a state that is symmetric under time reversal. The data shows, however, an incipient yet unmistakable asymptotic approach to linear (delta L/L proportional to 1-H/H_0) for 15 T < H < H_HO(0.66 K) approximately 35 T at the lowest temperatures. We discuss these results in the framework of a Ginzburg-Landau formalism that proposes a complex order parameter for the HO to model the (H,T,p) phase diagram.


title: New boundary conditions for (extended) $\mathrm{AdS}_3$ supergravity

abstract: In this work, we build the most general boundary conditions for $\mathcal N=\left(1,1\right)$ and $\mathcal N=\left(2,2\right)$ extended supergravity. We show that for the loosest set of boundary conditions, their asymptotic symmetry algebras are two copies of the $\mathfrak{osp}\left(1\mid 2\right)_k$ and $\mathfrak{osp}\left(2\mid 2\right)_k$ algebra, respectively. Then, we restrict the gauge fields on the boundary conditions in order to obtain supersymmetric extensions of the Brown-Henneaux and Troessaert boundary conditions. Furthermore, for $\mathcal N=1$ and $\mathcal N=2$ (extended) supergravity we show the supersymmetric extensions of Avery-Poojary-Suryanarayana boundary conditions.


title: On Lossless Causal Compression of Periodic Signals

abstract: We present and study a scheme for lossless causal compression of periodic real-valued signals. In particular, our technique compresses a vector-valued signal to a scalar-valued signal by mixing it with another periodic signal. The conditions for being able to reconstruct the original signal then amount to certain non-resonances between the periods of the two signals. The proposed compression scheme turns out to implicitly be inherent to communication networks with round-robin scheduling and digital photography with active pixel sensors.


abstract: We investigate Lawruk elliptic boundary-value problems for homogeneous differential equations in a two-sided refined Sobolev scale. These problems contain additional unknown functions in the boundary conditions of arbitrary orders. The scale consists of inner-product H\"ormander spaces whose orders of regularity are given by any real number and a function which varies slowly at infinity in the sense of Karamata. We establish theorems on the Fredholm property of the problems in the refined Sobolev scale and on local regularity and local a priori estimate (up to the boundary of the domain) of their generalized solutions. We find sufficient conditions under which components of these solutions are $l\geq0$ times continuously differentiable functions.


title: End-to-End Streaming Keyword Spotting

abstract: We present a system for keyword spotting that, except for a frontend component for feature generation, it is entirely contained in a deep neural network (DNN) model trained "end-to-end" to predict the presence of the keyword in a stream of audio. The main contributions of this work are, first, an efficient memoized neural network topology that aims at making better use of the parameters and associated computations in the DNN by holding a memory of previous activations distributed over the depth of the DNN. The second contribution is a method to train the DNN, end-to-end, to produce the keyword spotting score. This system significantly outperforms previous approaches both in terms of quality of detection as well as size and computation.


title: The monodromy of unit-root $F$-isocrystals with geometric origin

abstract: Let $C$ be a smooth curve over a finite field in characteristic $p$ and let $M$ be an overconvergent $F$-isocrystal over $C$. After replacing $C$ with a dense open subset $M$ obtains a slope filtration, whose steps interpolate the Frobenius eigenvalues of $M$ with bounded slope. This is a purely $p$-adic phenomenon; there is no counterpart in the theory of lisse $\ell$-adic sheaves. The graded pieces of this slope filtration correspond to lisse $p$-adic sheaves, which we call geometric. Geometric lisse $p$-adic sheaves are mysterious. While they fit together to build an overconvergent $F$-isocrystal, which should have motivic origin, individually they are not motivic. In this article we study the monodromy of geometric lisse $p$-adic sheaves with rank one. We prove that the ramification breaks grow exponentially. In the case where $M$ is ordinary we prove that the ramification breaks are predicted by polynomials in $p^n$, which implies a variant of Wan's genus stability conjecture. The crux of the proof is the theory of $F$-isocrystals with log-decay. We prove a monodromy theorem for these $F$-isocrystals, as well as a theorem relating the slopes of $M$ to the rate of log-decay of the slope filtration. As a consequence of these methods, we provide a new proof of the Drinfeld-Kedlaya theorem for irreducible $F$-isocrystals on curves.


title: From the Trinity $(A_3, B_3, H_3)$ to an ADE correspondence

abstract: In this paper we present novel $ADE$ correspondences by combining an earlier induction theorem of ours with one of Arnold's observations concerning Trinities, and the McKay correspondence. We first extend Arnold's indirect link between the Trinity of symmetries of the Platonic solids $(A_3, B_3, H_3)$ and the Trinity of exceptional 4D root systems $(D_4, F_4, H_4)$ to an explicit Clifford algebraic construction linking the two ADE sets of root systems $(I_2(n), A_1\times I_2(n), A_3, B_3, H_3)$ and $(I_2(n), I_2(n)\times I_2(n), D_4, F_4, H_4)$. The latter are connected through the McKay correspondence with the ADE Lie algebras $(A_n, D_n, E_6, E_7, E_8)$. We show that there are also novel indirect as well as direct connections between these ADE root systems and the new ADE set of root systems $(I_2(n), A_1\times I_2(n), A_3, B_3, H_3)$, resulting in a web of three-way ADE correspondences between three ADE sets of root systems.


title: On nonlocal Cauchy problems for constrained differential inclusions in Euclidean space

abstract: We investigate the existence of solutions of constrained nonlinear differential inclusions with nonlocal boundary conditions. Our viability theorems are based on the assumption that the right-hand side of differential inclusion is defined on the domain possessing a certain type of geometric regularity, expressed in terms of locally Lipschitz functional constraints. For solvability of the Floquet boundary value problems associated with differential inclusions we engage the bound set technique. It relies on the usage of not necessarily differentiable bounding functions.


title: Traversing three-manifold triangulations and spines

abstract: A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The key special case of 1-vertex triangulations of closed 3-manifolds was independently proven by Matveev and Piergallini. The general result for closed 3-manifolds can be found in work of Benedetti and Petronio, and Amendola gives a proof for topologically finite non-compact 3-manifolds. These results (and their proofs) are phrased in the dual language of spines. The purpose of this note is threefold. We wish to popularise Amendola's result; we give a combined proof for both closed and non-compact manifolds that emphasises the dual viewpoints of triangulations and spines; and we give a proof replacing a key general position argument due to Matveev with a more combinatorial argument inspired by the theory of subdivisions.


title: On the properties of the solution set map to Volterra integral inclusion

abstract: For the multivalued Volterra integral equation defined in a Banach space, the set of solutions is proved to be $R_\delta$, without auxiliary conditions imposed in Theorem 6 [J. Math. Anal. Appl. 403 (2013), 643-666]. It is shown that the solution set map, corresponding to this Volterra integral equation, possesses a continuous singlevalued selection. The image of a convex set under solution set map is acyclic. The solution set to Volterra integral inclusion in a separable Banach space and the preimage of this set through the Volterra integral operator are shown to be absolute retracts.


title: An Empirical Analysis of Monero Cross-Chain Traceability

abstract: Monero is a privacy-centric cryptocurrency that makes payments untraceable by adding decoys to every real input spent in a transaction. Two studies from 2017 found methods to distinguish decoys from real inputs, which enabled traceability for a majority of transactions. Since then, a number protocol changes have been introduced, but their effectiveness has not yet been reassessed. Furthermore, little is known about traceability of Monero transactions across hard fork chains. We formalize a new method for tracing Monero transactions, which is based on analyzing currency hard forks. We use that method to perform a (passive) traceability analysis on data from the Monero, MoneroV and Monero Original blockchains and find that only a small amount of inputs are traceable. We then use the results to estimate the effectiveness of known heuristics for recent transactions and find that they do not significantly outperform random guessing. Our findings suggest that Monero is currently mostly immune to known passive attack vectors and resistant to tracking and tracing methods applied to other cryptocurrencies.


title: Critical Time Windows for Renewable Resource Complementarity Assessment

abstract: This paper proposes a systematic framework to assess the complementarity of renewable resources over arbitrary geographical scopes and temporal scales which is particularly well-suited to exploit very large data sets of climatological data. The concept of critical time windows is introduced, and a spatio-temporal criticality indicator is proposed, consisting in a parametrised family of scalar indicators quantifying the complementarity between renewable resources in both space and time. The criticality indicator is leveraged to devise a family of optimisation problems identifying sets of locations with maximum complementarity under arbitrary geographical deployment constraints. The applicability of the framework is shown in a case study investigating the complementarity between the wind regimes in continental western Europe and southern Greenland, and its usefulness in a power system planning context is demonstrated. Besides showing that the occurrence of low wind power production events can be significantly reduced on a regional scale by exploiting diversity in local wind patterns, results highlight the fact that aggregating wind power production sites located on different continents may result in a lower occurrence of system-wide low wind power production events and indicate potential benefits of intercontinental electrical interconnections.


title: Measurement of charge-exchange between Na and \ce{Ca+} in a hybrid trap

abstract: We present measurements of the charge-exchange reaction rate between neutral sodium (Na) and ionized calcium (\ce{Ca+}) in a hybrid atom-ion trap, which is comprised of a Na magneto-optical trap concentric with a linear Paul trap. Once the Na and \ce{Ca+} are co-trapped, the reaction rate is measured by continuously quenching the reaction product \ce{Na+} from the ion trap, and then destructively measuring the decay of the remaining ion population. The reactants' electronic state and temperature are experimentally controlled, allowing us to determine the four individual reaction-rates between $\text{Na}[\text{S~or~P}]$ and $\text{Ca}^+[\text{S~or~D}]$ at different collision energies. With the exception of the largest reaction-rate channel ($\text{Na}[\text{S}]+\text{Ca}^+[\text{D}]$), our rates agree with classical Langevin rate limit. We have also found evidence of reactant collision-energy thresholds associated with two of the four entrance-channels.


title: Monotone Hopf-Harmonics

abstract: The present paper introduces the concept of monotone Hopf-harmonics in $2D$ as an alternative to harmonic homeomorphisms. It opens a new area of study in Geometric Function Theory (GFT). Much of the foregoing is motivated by the principle of non-interpenetration of matter in the mathematical theory of Nonlinear Elasticity (NE). The question we are concerned with is whether or not a Dirichlet energy-minimal mapping between Jordan domains with a prescribed boundary homeomorphism remains injective in the domain. The classical theorem of Rad\'{o}-Kneser-Choquet asserts that this is the case when the target domain is convex. An alternative way to deal with arbitrary target domains is to minimize the Dirichlet energy subject to only homeomorphisms and their limits. This leads to the so called Hopf-Laplace equation. Among its solutions (some rather surreal) are continuous monotone mappings of Sobolev class $\mathscr W^{1,2}_{{loc}}$, called monotone Hopf-harmonics. It is at the heart of the present paper to show that such solutions are correct generalizations of harmonic homeomorphisms and, in particular, are legitimate deformations of hyperelastic materials in the modern theory of NE. We make this clear by means of several examples.


title: A gentle introduction to SPDEs: the random field approach

abstract: These notes constitute the basis for the lectures given by the author at Centre de recherches math\'ematiques (CRM) at Universit\'e de Montreal, as part of the thematic semester on "Mathematical challenges in many-body physics and quantum information" (September-December 2018). They are intended for researchers in mathematics who have a background (and an interest) in probability theory, but may not be familiar with the area of stochastic analysis, and in particular with stochastic partial differential equations (SPDEs). Their goal is to give a brief and concise introduction to the study of SPDEs using the random field approach, an area which has been expanding rapidly in the last 30 years, after the publication of John Walsh's lecture notes in 1986. These notes do not survey all the developments in this area, but have the rather modest goal of introducing the readers to the basic ideas, and (hopefully) spark their interest to learn more about this subject.


title: Non-Invasive Functional-Brain-Imaging with a Novel Magnetoencephalography System

abstract: A non-invasive functional-brain-imaging system based on optically-pumped-magnetometers (OPM) is presented. The OPM-based magnetoencephalography (MEG) system features 20 OPM channels conforming to the subject's scalp. Due to proximity (12 mm) of the OPM channels to the brain, it is anticipated that this MEG system offers an enhanced spatial resolution as it can capture finer spatial features compared to traditional MEG systems employing superconducting quantum interference device (SQUID). We have conducted two MEG experiments on three subjects: somatosensory evoked magnetic field (SEF) and auditory evoked magnetic field (AEF) using our OPM-based MEG system and a commercial SQUID-based MEG system. We have cross validated the robustness of our system by calculating the distance between the location of the equivalent current dipole (ECD) yielded by our OPM-based MEG system and the ECD location calculated by the commercial SQUID-based MEG system. We achieved sub-centimeter accuracy for both SEF and AEF responses in all three subjects.


title: Light Propagation Prediction through Multimode Optical Fibers with a Deep Neural Network

abstract: This work demonstrates a computational method for predicting the light propagation through a single multimode fiber using a deep neural network. The experiment for gathering training and testing data is performed with a digital micro-mirror device that enables the spatial light modulation. The modulated patterns on the device and the captured intensity-only images by the camera form the aligned data pairs. This sufficiently-trained deep neural network frame has very excellent performance for directly inferring the intensity-only output delivered though a multimode fiber. The model is validated by three standards: the mean squared error (MSE), the correlation coefficient (corr) and the structural similarity index (SSIM).


title: Universality and quasicritical exponents of one-dimensional models displaying a quasitransition at finite temperatures

abstract: Quasicritical exponents of one-dimensional models displaying a quasitransition at finite temperatures are examined in detail. The quasitransition is characterized by intense sharp peaks in physical quantities such as specific heat and magnetic susceptibility, which are reminiscent of divergences accompanying a continuous (second-order) phase transition. The question whether these robust finite peaks follow some power law around the quasicritical temperature is addressed. Although there is no actual divergence of these quantities at a quasicritical temperature, a power-law behavior fits precisely both ascending as well as descending part of the peaks in the vicinity but not too close to a quasicritical temperature. The specific values of the quasicritical exponents are rigorously calculated for a class of one-dimensional models (e.g. Ising-XYZ diamond chain, coupled spin-electron double-tetrahedral chain, Ising-XXZ two-leg ladder, and Ising-XXZ three-leg tube), whereas the same set of quasicritical exponents implies a certain `universality' of quasitransitions of one-dimensional models. Specifically, the values of the quasicritical exponents for one-dimensional models are: $\alpha=\alpha'=3$ for the specific heat, $\gamma=\gamma'=3$ for the susceptibility and $\nu=\nu'=1$ for the correlation length.


title: Converting strain maps into elasticity maps for materials with small contrast

abstract: This study addresses the question of the quantitative reconstruction of heterogeneous distributions of isotropic elastic moduli from full strain field data. This parameter identification problem exposes the need for a local reconstruction procedure that is investigated here in the case of materials with small contrast. To begin with the integral formulation framework for the periodic linear elasticity problem, first- and second-order asymptotics are retained for the strain field solution and the effective elasticity tensor. Properties of the featured Green's tensor are investigated to characterize its decomposition into an isotropic term and an orthogonal part. The former is then shown to define a local contribution to the volume integral equations considered. Based on this property, then the combination of multiple strain field solutions corresponding to well-chosen applied macroscopic strains is shown to lead to a set of local and uncoupled identities relating, respectively, the bulk and shear moduli to the spherical and deviatoric components of the strain fields. Valid at the first-order in the weak contrast limit, such relations permit point-wise conversions of strain maps into elasticity maps. Furthermore, it is also shown that for macroscopically isotropic material configurations a single strain field solution is actually sufficient to reconstruct either the bulk or the shear modulus distribution. Those results are then revisited in the case of bounded media. Finally, some sets of analytical and numerical examples are provided for comparison and to illustrate the relevance of the obtained strain-modulus local equations for a parameter identification method based on full-field data.


title: Tri-axial Self-Attention for Concurrent Activity Recognition

abstract: We present a system for concurrent activity recognition. To extract features associated with different activities, we propose a feature-to-activity attention that maps the extracted global features to sub-features associated with individual activities. To model the temporal associations of individual activities, we propose a transformer-network encoder that models independent temporal associations for each activity. To make the concurrent activity prediction aware of the potential associations between activities, we propose self-attention with an association mask. Our system achieved state-of-the-art or comparable performance on three commonly used concurrent activity detection datasets. Our visualizations demonstrate that our system is able to locate the important spatial-temporal features for final decision making. We also showed that our system can be applied to general multilabel classification problems.


title: Anti-Chaos Control via Nonlinear Schr\"odinger Equations for the secured optical communication

abstract: Coupled nonlinear Schr\"odinger equations, governing the propagation of envelopes of electromagnetic waves in birefringent optical fibers, are studied in this paper for their potential applications in the secured optical communication. Periodicity and integrability of the CNLS equations are obtained via the phase-plane analysis. With the time-delay and perturbations introduced, CNLS equations are chaotified and a chaotic system is proposed. Numerical and analytical methods are conducted on such system: (I) Phase projections are given and the final chaotic states can be observed. (II) Power spectra and the largest Lyapunov exponents are calculated to corroborate that those motions are indeed chaotic.


title: Physical swap dynamics, shortcuts to relaxation and entropy production in dissipative Rydberg gases

abstract: Dense Rydberg gases are out-of-equilibrium systems where strong density-density interactions give rise to effective kinetic constraints. They cause dynamic arrest associated with highly-constrained many-body configurations, leading to slow relaxation and glassy behavior. Multi-component Rydberg gases feature additional long-range interactions such as excitation-exchange. These are analogous to particle swaps used to artificially accelerate relaxation in simulations of atomistic models of classical glass formers. In Rydberg gases, however, swaps are real physical processes, which provide dynamical shortcuts to relaxation. They permit the accelerated approach to stationarity in experiment and at the same time have an impact on the non-equilibrium stationary state. In particular their interplay with radiative decay processes amplifies irreversibility of the dynamics, an effect which we quantify via the entropy production at stationarity. Our work highlights an intriguing analogy between real dynamical processes in Rydberg gases and artificial dynamics underlying advanced Monte Carlo methods. Moreover, it delivers a quantitative characterization of the dramatic effect swaps have on the structure and dynamics of their stationary state.

categories: cond-mat.stat-mech cond-mat.quant-gas physics.atom-ph quant-ph


title: Initial transverse-momentum broadening of Breit-Wheeler process in relativistic heavy-ion collisions

abstract: We calculate the cross section and transverse-momentum ($P_{\bot}$) distribution of the Breit-Wheeler process in relativistic heavy-ion collisions and their dependence on collision impact parameter ($b$). To accomplish this, the Equivalent Photon Approximation (EPA) was generalized in a more differential way compared to the approach traditionally used for inclusive collisions. In addition, a lowest-order QED calculation with straightline assumption was performed as a standard baseline for comparison. The cross section as a function of $b$ is consistent with previous calculations using the equivalent one-photon distribution function. Most importantly, the $P_{\bot}$ shape from this model is strongly dependent on impact parameter and can quantitatively explain the $P_{\bot}$ broadening observed recently by RHIC and LHC experiments. This broadening effect from the initial QED field strength should be considered in studying possible trapped magnetic field and multiple scattering in a Quark-Gluon Plasma (QGP). The impact-parameter sensitive observable also provides a controllable tool for studying extreme electromagnetic fields.


title: Partial ablation of Ti/Al nano-layer thin film by single femtosecond laser pulse

abstract: The effects of ultra-short laser pulses on reactive Ti/Al nano-layered thin film were investigated. The thin film composed of alternated titanium and aluminium nano-layers, was deposited by ion-sputtering. Single pulse irradiation was conducted in the air with focused and linearly polarized femtosecond laser beam - of 1026 nm wavelength and pulse duration of 170 fs. Laser induced composition and morphological changes, using different microscopy techniques and energy dispersive X-ray spectroscopy, were investigated. Following results were obtained: (i) one step partial/selective ablation of upper Ti layer from nano-layer Ti/Al at low laser fluence and (ii) two step ablation or entire ablation of nano-layer Ti/Al at higher laser fluence. Single pulse selective ablation of the upper Ti layer was confirmed based on profiling (AFM) along the ablation steps and reduction of Ti concentration (EDX) in the ablated areas. Ablation threshold was estimated using well known procedure for ultra-short laser pulses - spot diameter square versus logarithm of pulse energy. To interpret the experimental observations, simulations have been performed to explore the thermal response of the multiple layered structure (Ti(5x(Al/Ti))) after irradiation with a characteristic value of single laser pulse of fluence F = 320 mJ/cm2. The results are in agreement with the calculations.


title: Learning Implicit Fields for Generative Shape Modeling

abstract: We advocate the use of implicit fields for learning generative models of shapes and introduce an implicit field decoder, called IM-NET, for shape generation, aimed at improving the visual quality of the generated shapes. An implicit field assigns a value to each point in 3D space, so that a shape can be extracted as an iso-surface. IM-NET is trained to perform this assignment by means of a binary classifier. Specifically, it takes a point coordinate, along with a feature vector encoding a shape, and outputs a value which indicates whether the point is outside the shape or not. By replacing conventional decoders by our implicit decoder for representation learning (via IM-AE) and shape generation (via IM-GAN), we demonstrate superior results for tasks such as generative shape modeling, interpolation, and single-view 3D reconstruction, particularly in terms of visual quality. Code and supplementary material are available at https://github.com/czq142857/implicit-decoder.


title: Hybridization of topological surface states with a flat band

abstract: We address the problem of hybridization between topological surface states and a non-topological flat bulk band. Our model, being a mixture of three-dimensional Bernevig-Hughes-Zhang and two-dimensional pseudospin-1 Hamiltonian, allows explicit treatment of the topological surface state evolution by continuously changing the hybridization between the inverted bands and an additional "parasitic" flat band in the bulk. We show that the hybridization with a flat band lying below the edge of conduction band converts the initial Dirac-like surface states into a branch below and one above the flat band. Our results univocally demonstrate that the upper branch of the topological surface states is formed by Dyakonov-Khaetskii surface states known for HgTe since the 1980s. Additionally we explore an evolution of the surface states and the arising of Fermi arcs in Dirac semimetals when the flat band crosses the conduction band.


title: Structural Damage Detection and Localization with Unknown Post-Damage Feature Distribution Using Sequential Change-Point Detection Method

abstract: The high structural deficient rate poses serious risks to the operation of many bridges and buildings. To prevent critical damage and structural collapse, a quick structural health diagnosis tool is needed during normal operation or immediately after extreme events. In structural health monitoring (SHM), many existing works will have limited performance in the quick damage identification process because 1) the damage event needs to be identified with short delay and 2) the post-damage information is usually unavailable. To address these drawbacks, we propose a new damage detection and localization approach based on stochastic time series analysis. Specifically, the damage sensitive features are extracted from vibration signals and follow different distributions before and after a damage event. Hence, we use the optimal change point detection theory to find damage occurrence time. As the existing change point detectors require the post-damage feature distribution, which is unavailable in SHM, we propose a maximum likelihood method to learn the distribution parameters from the time-series data. The proposed damage detection using estimated parameters also achieves the optimal performance. Also, we utilize the detection results to find damage location without any further computation. Validation results show highly accurate damage identification in American Society of Civil Engineers benchmark structure and two shake table experiments.


title: Attending to Mathematical Language with Transformers

abstract: Mathematical expressions were generated, evaluated and used to train neural network models based on the transformer architecture. The expressions and their targets were analyzed as a character-level sequence transduction task in which the encoder and decoder are built on attention mechanisms. Three models were trained to understand and evaluate symbolic variables and expressions in mathematics: (1) the self-attentive and feed-forward transformer without recurrence or convolution, (2) the universal transformer with recurrence, and (3) the adaptive universal transformer with recurrence and adaptive computation time. The models respectively achieved test accuracies as high as 76.1%, 78.8% and 84.9% in evaluating the expressions to match the target values. For the cases inferred incorrectly, the results differed from the targets by only one or two characters. The models notably learned to add, subtract and multiply both positive and negative decimal numbers of variable digits assigned to symbolic variables.


title: On the Gravitational Instabilities of Protoplanetary Disks

abstract: The gravitational instabilities are important to the evolution of the disks and the planet formation in the disks. We calculate the evolution of the disks which form from the collapse of the molecular cloud cores. By changing the properties of the cloud cores and the hydrodynamical viscosity parameters, we explore their effects on the properties of the gravitational instabilities. We find that the disk is unstable when the angular velocity of the molecular cloud core is larger than a critical value. The time duration of the instability increases as the angular velocity of the core increases. The increase of the hydrodynamical viscosity parameter hardly affects the stability of the disk, but decreases the time duration of the critical state of the gravitational instability in the disk. The instability of the disks can happen at very early time of evolution of the disk, which is consistent with the observations.


title: Complementarity Assessment of South Greenland Katabatic Flows and West Europe Wind Regimes

abstract: Current global environmental challenges require vigorous and diverse actions in the energy sector. One solution that has recently attracted interest consists in harnessing high-quality variable renewable energy resources in remote locations, while using transmission links to transport the power to end users. In this context, a comparison of western European and Greenland wind regimes is proposed. By leveraging a regional atmospheric model specifically designed to accurately capture polar phenomena, local climatic features of southern Greenland are identified to be particularly conducive to extensive renewable electricity generation from wind. A methodology to assess how connecting remote locations to major demand centres would benefit the latter from a resource availability standpoint is introduced and applied to the aforementioned Europe-Greenland case study, showing superior and complementary wind generation potential in the considered region of Greenland with respect to selected European sites.


title: Machine Learning Classifications of Coronary Artery Disease

abstract: Coronary Artery Disease (CAD) is one of the leading causes of death worldwide, and so it is very important to correctly diagnose patients with the disease. For medical diagnosis, machine learning is a useful tool, however features and algorithms must be carefully selected to get accurate classification. To this effect, three feature selection methods have been used on 13 input features from the Cleveland dataset with 297 entries, and 7 were selected. The selected features were used to train three different classifiers, which are SVM, Na\"ive Bayes and KNN using 10-fold cross-validation. The resulting models evaluated using Accuracy, Recall, Specificity and Precision. It is found that the Na\"ive Bayes classifier performs the best on this dataset and features, outperforming or matching SVM and KNN in all the four evaluation parameters used and achieving an accuracy of 84%.


title: The Role of Body Mass Index at Diagnosis on Black-White Disparities in Colorectal Cancer Survival: A Density Regression Mediation Approach

abstract: The study of racial/ethnic inequalities in health is important to reduce the uneven burden of disease. In the case of colorectal cancer (CRC), disparities in survival among non-Hispanic Whites and Blacks are well documented, and mechanisms leading to these disparities need to be studied formally. It has also been established that body mass index (BMI) is a risk factor for developing CRC, and recent literature shows BMI at diagnosis of CRC is associated with survival. Since BMI varies by racial/ethnic group, a question that arises is whether disparities in BMI is partially responsible for observed racial/ethnic disparities in CRC survival. This paper presents new methodology to quantify the impact of the hypothetical intervention that matches the BMI distribution in the Black population to a potentially complex distributional form observed in the White population on racial/ethnic disparities in survival. We perform a simulation that shows our proposed Bayesian density regression approach performs as well as or better than current methodology allowing for a shift in the mean of the distribution only, and that standard practice of categorizing BMI leads to large biases. When applied to motivating data from the Cancer Care Outcomes Research and Surveillance (CanCORS) Consortium, our approach suggests the proposed intervention is potentially beneficial for elderly and low income Black patients, yet harmful for young and high income Black populations.