title: Orbital and atmospheric characterization of the planet within the gap of the PDS 70 transition disk

abstract: Aims: We aim to characterize the orbital and atmospheric properties of PDS 70 b, which was first identified on May 2015 in the course of the SHINE survey with SPHERE, the extreme adaptive-optics instrument at the VLT. Methods: We obtained new deep SPHERE/IRDIS imaging and SPHERE/IFS spectroscopic observations of PDS 70 b. The astrometric baseline now covers 6 years which allows us to perform an orbital analysis. For the first time, we present spectrophotometry of the young planet which covers almost the entire near-infrared range (0.96 to 3.8 micrometer). We use different atmospheric models covering a large parameter space in temperature, log(g), chemical composition, and cloud properties to characterize the properties of the atmosphere of PDS 70 b. Results: PDS 70 b is most likely orbiting the star on a circular and disk coplanar orbit at ~22 au inside the gap of the disk. We find a range of models that can describe the spectrophotometric data reasonably well in the temperature range between 1000-1600 K and log(g) no larger than 3.5 dex. The planet radius covers a relatively large range between 1.4 and 3.7 R_jupiter with the larger radii being higher than expected from planet evolution models for the age of the planet of 5.4 Myr. Conclusions: This study provides a comprehensive dataset on the orbital motion of PDS 70 b, indicating a circular orbit and a motion coplanar with the disk. The first detailed spectral energy distribution of PDS 70 b indicates a temperature typical for young giant planets. The detailed atmospheric analysis indicates that a circumplanetary disk may contribute to the total planet flux.


title: Discovery of a planetary-mass companion within the gap of the transition disk around PDS 70

abstract: Young circumstellar disks are of prime interest to understand the physical and chemical conditions under which planet formation takes place. Only very few detections of planet candidates within these disks exist, and most of them are currently suspected to be disk features. In this context, the transition disk around the young star PDS 70 is of particular interest, due to its large gap identified in previous observations, indicative of ongoing planet formation. We aim to search for the presence of planets and search for disk structures indicative for disk-planet interactions and other evolutionary processes. We analyse new and archival near-infrared (NIR) images of the transition disk PDS 70 obtained with the VLT/SPHERE, VLT/NaCo and Gemini/NICI instruments in polarimetric differential imaging (PDI) and angular differential imaging (ADI) modes. We detect a point source within the gap of the disk at about 195 mas (about 22 au) projected separation. The detection is confirmed at five different epochs, in three filter bands and using different instruments. The astrometry results in an object of bound nature, with high significance. The comparison of the measured magnitudes and colours to evolutionary tracks suggests that the detection is a companion of planetary mass. We confirm the detection of a large gap of about 54 au in size within the disk in our scattered light images, and detect a signal from an inner disk component. We find that its spatial extent is very likely smaller than about 17 au in radius. The images of the outer disk show evidence of a complex azimuthal brightness distribution which may in part be explained by Rayleigh scattering from very small grains. Future observations of this system at different wavelengths and continuing astrometry will allow us to test theoretical predictions regarding planet-disk interactions, planetary atmospheres and evolutionary models.


title: Homotopy Properties and Lower-Order Vertices in Higher-Spin Equations

abstract: New homotopy approach to the analysis of nonlinear higher-spin equations is developed. It is shown to directly reproduce the previously obtained local vertices. Simplest cubic (quartic in Lagrangian nomenclature) higher-spin interaction vertices in four dimensional theory are examined from locality perspective by the new approach and shown to be local. The results are obtained in a background independent fashion.


title: Single Index Latent Variable Models for Network Topology Inference

abstract: A semi-parametric, non-linear regression model in the presence of latent variables is applied towards learning network graph structure. These latent variables can correspond to unmodeled phenomena or unmeasured agents in a complex system of interacting entities. This formulation jointly estimates non-linearities in the underlying data generation, the direct interactions between measured entities, and the indirect effects of unmeasured processes on the observed data. The learning is posed as regularized empirical risk minimization. Details of the algorithm for learning the model are outlined. Experiments demonstrate the performance of the learned model on real data.


title: Probabilistic Analysis of Weakly-Hard Real-Time Systems

abstract: Modeling and analysis of non-functional properties, such as timing constraints, is crucial in automotive real-time embedded systems. EAST-ADL is a domain specific architectural language dedicated to safetycritical automotive embedded system design. We have previously specified EAST-ADL timing constraints in Clock Constraint Specification Language (CCSL) and proved the correctness of specification by mapping the semantics of the constraints into Uppaal models amenable to model checking. In most cases, a bounded number of violations of timing constraints in automotive systems would not lead to system failures when the results of the violations are negligible, called Weakly-Hard (WH). Previous work is extended in this paper by including support for probabilistic analysis of timing constraints in the context of WH: Probabilistic extension of CCSL, called PrCCSL, is defined and the EAST-ADL timing constraints with stochastic properties are specified in PrCCSL. The semantics of the extended constraints in PrCCSL is translated into Uppaal-SMC models for formal verification. Furthermore, a set of mapping rules is proposed to facilitate guarantee of translation. Our approach is demonstrated on an autonomous traffic sign recognition vehicle case study.


title: Assembling the Milky Way bulge from globular clusters: Evidence from the double red clump

abstract: The two red clumps (RCs) observed in the color-magnitude diagram of the Milky Way bulge is widely accepted as evidence for an X-shaped structure originated from the bar instability. A drastically different interpretation has been suggested, however, based on the He-enhanced multiple stellar population phenomenon as is observed in globular clusters (GCs). Because these two scenarios imply very different pictures on the formation of the bulge and elliptical galaxies, understanding the origin of the double RC is of crucial importance. Here we report our discovery that the stars in the two RCs show a significant (> 5.3 {\sigma}) difference in CN-band strength, in stark contrast to that expected in the X-shaped bulge scenario. The difference in CN abundance and the population ratio between the two RCs are comparable to those observed in GCs between the first- and later generation stars. Since CN-strong stars trace a population with enhanced N, Na, and He abundances originated in GCs, this is direct evidence that the double RC is due to the multiple population phenomenon, and that a significant population of stars in the Milky Way bulge were assembled from disrupted proto-GCs. Our result also calls for the major revision of the 3D structure of the Milky Way bulge given that the current view is based on the previous interpretation of the double RC phenomenon.


title: Magnetic impurities in Kondo insulators: An application to samarium hexaboride

abstract: Impurities and defects in Kondo insulators can have an unusual impact on dynamics that blends with effects of intrinsic electron correlations. Such crystal imperfections are difficult to avoid, and their consequences are incompletely understood. Here we study magnetic impurities in Kondo insulators via perturbation theory of the s-d Kondo impurity model adapted to small bandgap insulators. The calculated magnetization and specific heat agree with recent thermodynamic measurements in samarium hexaboride (SmB$_6$). This qualitative agreement supports the physical picture of multi-channel Kondo screening of local moments by electrons and holes involving both intrinsic and impurity bands. Specific heat is thermally activated in zero field by Kondo screening through sub-gap impurity bands and exhibits a characteristic upturn as the temperature is decreased. In contrast, magnetization obtains a dominant quantum correction from partial screening by virtual particle-hole pairs in intrinsic bands. We point out that magnetic impurities could impact de Haas-van Alphen quantum oscillations in SmB$_6$, through the effects of Landau quantization in intrinsic bands on the Kondo screening of impurity moments.


title: Ly{\alpha} emitters in a cosmological volume I: the impact of radiative transfer

abstract: Lyman-{\alpha} emitters (LAEs) are a promising target to probe the large scale structure of the Universe at high redshifts, $z\gtrsim 2$. However, their detection is sensitive to radiative transfer effects that depend on local astrophysical conditions. Thus, modeling the bulk properties of this galaxy population remains challenging for theoretical models. Here we develop a physically-motivated scheme to predict LAEs in cosmological simulations. The escape of Ly{\alpha} photons is computed using a Monte Carlo radiative transfer code which outputs a Ly{\alpha} escape fraction. To speed-up the process of assigning escape fractions to individual galaxies, we employ fitting formulae that approximate the full Monte Carlo results within an accuracy of 10% for a broad range of column densities, gas metallicities and gas bulk velocities. We apply our methodology to the semi-analytical model GALFORM on a large N-body simulation. The Ly{\alpha} photons escape through an outflowing neutral gas medium, implemented assuming different geometries. This results in different predictions for the typical column density and outflow velocities of the LAE population. To understand the impact of radiative transfer on our predictions, we contrast our models against a simple abundance matching assignment. Our full models populate LAEs in less massive haloes than what is obtained with abundance matching. Overall, radiative transfer effects result in better agreement when confronting the properties of LAEs against observational measurements. This suggest that incorporating the effects of Ly{\alpha} radiative transfer in the analysis of this galaxy population, including their clustering, can be important for obtaining an unbiased interpretation of future datasets.


title: Kepler Object of Interest Network II. Photodynamical modelling of Kepler-9 over 8 years of transit observations

abstract: The Kepler Object of Interest Network (KOINet) is a multi-site network of telescopes around the globe organised to follow up transiting planet candidate KOIs with large transit timing variations (TTVs). Its main goal is to complete their TTV curves, as the Kepler telescope no longer observes the original Kepler field. Combining Kepler and new ground-based transit data we improve the modelling of these systems. To this end, we have developed a photodynamical model, and we demonstrate its performance using the Kepler-9 system as an example. Our comprehensive analysis combines the numerical integration of the system's dynamics over the time span of the observations along with the transit light curve model. This model is coupled with a Markov chain Monte Carlo algorithm, allowing the exploration of the model parameter space. Applied to the Kepler-9 long cadence data, short cadence data and 13 new transit observations collected by KOINet between the years 2014 to 2017, our modelling provides well constrained predictions for the next transits and the system's parameters. We have determined the densities of the planets Kepler-9b and 9c to the very precise values of rho_b = 0.439 +/-0.023 g/cm3 and rho_c = 0.322 +/- 0.017 g/cm3. Our analysis reveals that Kepler-9c will stop transiting in about 30 years. This results from strong dynamical interactions between Kepler-9b and 9c, near 2:1 resonance, that leads to a periodic change in inclination. Over the next 30 years the inclination of Kepler-9c (-9b) will decrease (increase) slowly. This should be measurable by a substantial decrease (increase) in the transit duration, in as soon as a few years' time. Observations that contradict this prediction might indicate the presence of additional objects. If this prediction proves true, this behaviour opens up a unique chance to scan the different latitudes of a star.


title: The OGLE Collection of Variable Stars. Type II Cepheids in the Magellanic System

abstract: We present a nearly complete collection of type II Cepheids in the Magellanic System. The sample consists of 338 objects: 285 and 53 variables in the Large and Small Magellanic Clouds, respectively. Based on the pulsation periods and light-curve morphology, we classified 118 of our type II Cepheids as BL Herculis, 120 as W Virginis, 34 as peculiar W Virginis, and 66 as RV Tauri stars. For all objects, we publish time-series VI photometry obtained during the OGLE-IV survey, from 2010 to the end of 2017. We present the most interesting individual objects in our collection: 16 type II Cepheids showing additional eclipsing or ellipsoidal variability, two RV Tau variables more than 2.5 mag fainter than other stars of this type in the LMC, an RVb star that drastically decreased the amplitude of the long-period modulation, type II Cepheids exhibiting significant amplitude and period changes, and an RV Tau star which experiences interchanges of deep and shallow minima. We show that peculiar W Vir stars have markedly different spatial distribution than other subclasses of type II Cepheids, which indicates different evolutionary histories of these objects.


title: On the Identification of Wide Binaries in the Kepler Field

abstract: We perform a search for wide binaries in the Kepler field with the prospect of providing new constraints for gyrochronology. First, we construct our base catalog by compiling astrometry for the stars observed by Kepler, and supplement it with parallaxes, radial velocities (RVs), and metallicities. We then mine our base catalog for wide binary candidates by matching the stars' proper motions, as well as parallaxes, RVs, and metallicities, if available. We mitigate the presence of chance alignments among our candidates by performing a comprehensive data-based contamination analysis in the proper motion versus angular separation phase space. Our final sample contains 55 binary candidates. A crossmatch of our pairs with the Second Data Release (DR2) from Gaia validates our candidates and confirms the reliability of our search method, particularly for $\varpi \gtrsim 2$ mas. Due to the implicit Kepler selection function and image scale per pixel, our binary search is incomplete for angular separations of less than 20 arcsec. We crossmatch our candidates with rotation period and asteroseismic ages catalogs, and find that our binary candidates do not follow a simple period-color relation, in agreement with previous studies. Two pairs have an age estimate for one component star and rotation period for its companion, positioning them as potentially new gyrochronology constraints at old ages. This is the first study that uses RVs and metallicities as criteria, rather than as a confirmation, in a binary search.


title: Global dimension function on stability conditions and Gepner equations

abstract: We study the global dimension function $\operatorname{gldim}\colon\operatorname{Aut}\backslash\operatorname{Stab}\mathcal{D}/\mathbb{C}\to\mathbb{R}_{\ge0}$ on a quotient of the space of Bridgeland stability conditions on a triangulated category $\mathcal{D}$ as well as Toda's Gepner equatio $\Phi(\sigma)=s\cdot\sigma$ for some $\sigma\in\operatorname{Stab}\mathcal{D}$ and $(\Phi,s)\in\operatorname{Aut}\mathcal{D}\times\mathbb{C}$. For the bounded derived category $\mathcal{D}^b(\mathbf{k} Q)$ of a Dynkin quiver $Q$, we show that there is a unique minimal point $\sigma_G$ of $\operatorname{gldim}$ (up to the $\mathbb{C}$-action), with value $1-2/h$, which is the solution of the Gepner equation $\tau(\sigma)=(-2/h)\cdot\sigma$. Here $\tau$ is the Auslander-Reiten functor and $h$ is the Coxeter number. This solution $\sigma_G$ was constructed by Kajiura-Saito-Takahashi. We also show that for an acyclic non-Dynkin quiver $Q$, the minimal value of $\operatorname{gldim}$ is $1$. Our philosophy is that the infimum of $\operatorname{gldim}$ on $\operatorname{Stab}\mathcal{D}$ is the global dimension for the triangulated category $\mathcal{D}$. We explain how this notion could shed light on the contractibility conjecture of the space of stability conditions.


title: Remnant baryon mass outside of the black hole after a neutron star-black hole merger

abstract: Gravitational-wave (GW) and electromagnetic (EM) signals from the merger of a Neutron Star (NS) and a Black Hole (BH) are a highly anticipated discovery in extreme gravity, nuclear-, and astrophysics. We develop a simple formula that distinguishes between merger outcomes and predicts the post-merger remnant mass, validated with 75 simulations. Our formula improves on existing results by describing critical unexplored regimes: comparable masses and higher BH spins. These are important to differentiate NSNS from NSBH mergers, and to infer source physics from EM signals.


title: Photoevaporation and High-Eccentricity Migration Created the Sub-Jovian Desert

abstract: The mass-period or radius-period distribution of close-in exoplanets shows a paucity of intermediate mass/size (sub-Jovian) planets with periods ~< 3 days. We show that this sub-Jovian desert can be explained by the photoevaporation of highly irradiated sub-Neptunes and the tidal disruption barrier for gas giants undergoing high-eccentricity migration. The distinctive triangular shape of the sub-Jovain desert result from the fact that photoevaporation is more effective closer to the host star, and that in order for a gas giant to tidally circularise closer to the star without tidal disruption it needs to be more massive. Our work indicates that super-Earths/mini-Neptunes and hot-Jupiters had distinctly separate formation channels and arrived at their present locations at different times.


title: Direct measurement of the two-point function in quantum fields

abstract: We analyze fast interaction cycles in bipartite quantum systems, showing that the statistics in one of the parties (the detector) can be used to determine the two-point correlator of the observable which mediates the coupling in the other (the target). We apply the results to the response of particle detectors coupled to quantum fields and subject to this kind of interactions. We show that, in principle, such a setup can be used to experimentally obtain a direct evaluation of the Wightman function (both its real and imaginary part) for any field state.


title: Intra-cell dynamics and cyclotron motion without magnetic field

abstract: Intra-cell motion endows rich non-trivial phenomena to a wide variety of quantum materials. The most prominent example is a transverse current in the absence of a magnetic field (i.e. the anomalous Hall effect). Here we show that, in addition to a dc Hall effect, anomalous Hall materials possess circulating currents and cyclotron motion without magnetic field. These are generated from the intricate wavefunction dynamics within the unit cell, and correspond to interband transitions (coherences) in much the same way that cyclotron resonances arise from inter-Landau level transitions in magneto-optics. Curiously, anomalous cyclotron motion exhibits an intrinsic decay in time (even in pristine materials) displaying a characteristic power law decay. This reveals an intrinsic dephasing similar to that of inhomogeneous broadening of spinors. Circulating currents can manifest as the emission of circularly polarized light pulses in response to incident linearly polarized (pulsed) electric field, and provide a direct means of interrogating the intra-unit-cell dynamics of quantum materials.


title: Floquet-Induced Superfluidity with Periodically Modulated Interactions of Two-Species Hardcore Bosons in a One-dimensional Optical Lattice

abstract: We consider two species of hard-core bosons with density dependent hopping in a one-dimensional optical lattice, for which we propose experimental realizations using time-periodic driving. The quantum phase diagram for half-integer filling is determined by combining different advanced numerical simulations with analytic calculations. We find that a reduction of the density-dependent hopping induces a Mott-insulator to superfluid transition. For negative hopping a previously unknown state is found, where one species induces a gauge phase of the other species, which leads to a superfluid phase of gauge-paired particles. The corresponding experimental signatures are discussed.


title: Exploring the distance-redshift relation with gravitational wave standard sirens and tomographic weak lensing

abstract: Gravitational waves from inspiraling compact objects provide us with information of the distance scale since we can infer the absolute luminosity of the source from analysis of the wave form, which is known as standard sirens. The first detection of the gravitational wave signal of the binary black hole merger event by Advanced LIGO has opened up the possibility of utilizing standard sirens as cosmological probe. In order to extract information of the distance-redshift relation, we cross-correlate weak lensing, which is an unbiased tracer of matter distribution in the Universe, with the projected number density of gravitational wave sources. For weak lensing, we employ tomography technique to efficiently obtain information of large-scale structures at wide ranges of redshifts. Making use of the cross-correlations along with the auto-correlations, we present forecast of constraints on four cosmological parameters, i.e., Hubble parameter, matter density, the equation of state parameter of dark energy, and the amplitude of matter fluctuation. To fully explore the ability of cross-correlations, which require large overlapping sky coverage, we consider the specific case with the upcoming surveys by \textit{Euclid} for weak lensing and Einstein Telescope for standard sirens. We show that cosmological parameters can be tightly constrained solely by these auto- and cross-correlations of standard sirens and weak lensing. For example, the $1\text{-}\sigma$ error of Hubble parameter is expected to be $\sigma (H_0) = 0.33 \, \mathrm{km} \, \mathrm{s}^{-1} \, \mathrm{Mpc}^{-1}$. Thus, the proposed statistics will be a promising probe into the distance scale.


title: $\mu$-constant deformations of functions on ICIS

abstract: We study deformations of holomorphic function germs $f:(X,0)\to\mathbb C$ where $(X,0)$ is an ICIS. We present conditions for these deformations to have constant Milnor number, Euler obstruction and Bruce-Roberts number.


title: Computer Simulation of Neural Networks Using Spreadsheets: The Dawn of the Age of Camelot

abstract: The article substantiates the necessity to develop training methods of computer simulation of neural networks in the spreadsheet environment. The systematic review of their application to simulating artificial neural networks is performed. The authors distinguish basic approaches to solving the problem of network computer simulation training in the spreadsheet environment, joint application of spreadsheets and tools of neural network simulation, application of third-party add-ins to spreadsheets, development of macros using the embedded languages of spreadsheets; use of standard spreadsheet add-ins for non-linear optimization, creation of neural networks in the spreadsheet environment without add-ins and macros. After analyzing a collection of writings of 1890-1950, the research determines the role of the scientific journal "Bulletin of Mathematical Biophysics", its founder Nicolas Rashevsky and the scientific community around the journal in creating and developing models and methods of computational neuroscience. There are identified psychophysical basics of creating neural networks, mathematical foundations of neural computing and methods of neuroengineering (image recognition, in particular). The role of Walter Pitts in combining the descriptive and quantitative theories of training is discussed. It is shown that to acquire neural simulation competences in the spreadsheet environment, one should master the models based on the historical and genetic approach. It is indicated that there are three groups of models, which are promising in terms of developing corresponding methods - the continuous two-factor model of Rashevsky, the discrete model of McCulloch and Pitts, and the discrete-continuous models of Householder and Landahl.


title: Thermalization and Heating Dynamics in Open Generic Many-Body Systems

abstract: The last decade has witnessed the remarkable progress in our understanding of thermalization in isolated quantum systems. Combining the eigenstate thermalization hypothesis with quantum measurement theory, we extend the framework of quantum thermalization to open many-body systems. A generic many-body system subject to continuous observation is shown to thermalize at a single trajectory level. We show that the nonunitary nature of quantum measurement causes several unique thermalization mechanisms that are unseen in isolated systems. We present numerical evidence for our findings by applying our theory to specific models that can be experimentally realized in atom-cavity systems and with quantum gas microscopy. Our theory provides a general method to determine an effective temperature of quantum many-body systems subject to the Lindblad master equation and thus should be applicable to noisy dynamics or dissipative systems coupled to nonthermal Markovian environments as well as continuously monitored systems. Our work provides yet another insight into why thermodynamics emerges so universally.


title: Sequential eruptions triggered by flux emergence - observations and modeling

abstract: We describe and analyze observations by the Solar Dynamics Observatory of the emergence of a small, bipolar active region within an area of unipolar magnetic flux that was surrounded by a circular, quiescent filament. Within only eight hours of the start of the emergence, a partial splitting of the filament and two consecutive coronal mass ejections took place. We argue that all three dynamic events occurred as a result of particular magnetic-reconnection episodes between the emerging bipole and the pre-existing coronal magnetic field. In order to substantiate our interpretation, we consider three-dimensional magnetohydrodynamic simulations that model the emergence of magnetic flux in the vicinity of a large-scale coronal flux rope. The simulations qualitatively reproduce most of the reconnection episodes suggested by the observations; as well as the filament-splitting, the first eruption, and the formation of sheared/twisted fields that may have played a role in the second eruption. Our results suggest that the position of emerging flux with respect to the background magnetic configuration is a crucial factor for the resulting evolution, while previous results suggest that parameters such as the orientation or the amount of emerging flux are important as well. This poses a challenge for predicting the onset of eruptions that are triggered by flux emergence, and it calls for a detailed survey of the relevant parameter space by means of numerical simulations.


title: Reflectionless Filter Topologies Supporting Arbitrary Ladder Prototypes

abstract: Modifications of the authors' previously-published, generalized, lumped-element, reflectionless filter topologies are presented which remove the original constraints on the relative values of its prototype parameters. Thus, any transfer function which can be realized as the transmission or reflection coefficient of a conventional ladder prototype may now be implemented in reflectionless form --- that is, having the same transfer function in transmission but with identically zero reflection coefficient at both ports and at all frequencies from DC to infinity, given ideal elements. The theoretical basis of these modifications is explained, and then tested via the construction of passive, reflectionless low-pass filter prototypes that, in the prior topology, would have required negative reactive elements. The results show excellent agreement with theory.


title: On Solving Ambiguity Resolution with Robust Chinese Remainder Theorem for Multiple Numbers

abstract: Chinese Remainder Theorem (CRT) is a powerful approach to solve ambiguity resolution related problems such as undersampling frequency estimation and phase unwrapping which are widely applied in localization. Recently, the deterministic robust CRT for multiple numbers (RCRTMN) was proposed, which can reconstruct multiple integers with unknown relationship of residue correspondence via generalized CRT and achieves robustness to bounded errors simultaneously. Naturally, RCRTMN sheds light on CRT-based estimation for multiple objectives. In this paper, two open problems arising that how to introduce statistical methods into RCRTMN and deal with arbitrary errors introduced in residues are solved. We propose the extended version of RCRTMN assisted with Maximum Likelihood Estimation (MLE), which can tolerate unrestricted errors and bring considerable improvement in robustness.


title: Mu-tau symmetry and the Littlest Seesaw

abstract: Motivated by the latest neutrino oscillation data which is consistent with maximal atmospheric mixing and maximal leptonic CP violation, we review various results in $\mu\tau$ symmetry, then include several new observations and clarifications, including identifying a new general form of neutrino mass matrix with $\mu\tau$ symmetry. We then apply the new results to the neutrino mass matrix associated with the Littlest Seesaw model, and show that it approximately satisfies the new general form with $\mu\tau$ symmetry, and that this is responsible for its approximate predictions of maximal atmospheric mixing and maximal CP violation in the lepton sector.


title: The warm Neptunes around HD 106315 have low stellar obliquities

abstract: We present the obliquity of the warm Neptune HD 106315c measured via a series of spectroscopic transit observations. HD 106315c is a 4.4 REarth warm Neptune orbiting a moderately rotating late F-star with a period of 21.05 days. HD 106315 also hosts a 2.5 REarth super-Earth on a 9.55 day orbit. Our Doppler tomographic analyses of four transits observed by the Magellan/MIKE, HARPS, and TRES facilities find HD 106315c to be in a low stellar obliquity orbit, consistent with being well aligned with the spin axis of the host star at lambda = -10 +3.6/-3.8 deg. We suggest, via dynamical N-body simulations, that the two planets in the system must be co-planar, and thus are both well aligned with the host star. HD 106315 is only the fourth warm Neptune system with obliquities measured. All warm Neptune systems have been found in well aligned geometries, consistent with the interpretation that these systems are formed in-situ in the inner protoplanetary disk, and also consistent with the majority of Kepler multi-planet systems that are in low obliquity orbits. With a transit depth of 1.02 mmag, HD 106315c is among the smallest planets to have been detected in transit spectroscopy, and we discuss its detection in the context of TESS and the next generations of spectrographs.


title: Models of curves over DVRs

abstract: Let C be a smooth projective curve over a discretely valued field K, defined by an affine equation f(x,y)=0. We construct a model of C over the ring of integers of K using a toroidal embedding associated to the Newton polygon of f. We show that under 'generic' conditions it is regular with normal crossings, and determine when it is minimal, the global sections of its relative dualising sheaf, and the tame part of the first etale cohomology of C.


title: Null controllability of parabolic equations with interior degeneracy and one-sided control

abstract: For $\alpha\in (0,2)$ we study the null controllability of the parabolic operator $$Pu= u_t - (\vert x \vert ^\alpha u_x)_x\qquad (1<x<1),$$ which degenerates at the interior point $x=0$, for locally distributed controls acting only one side of the origin (that is, on some interval $(a,b)$ with $0<a<b<1$). Our main results guarantees that $P$ is null controllable if and only if it is weakly degenerate, that is, $\alpha \in (0,1)$. So, in order to steer the system to zero, one needs controls to act on both sides of the point of degeneracy in the strongly degenerate case $\alpha\in [1,2)$. Our approach is based on spectral analysis and the moment method. Indeed, we completely describe the eigenvalues and eigenfunctions of the associated stationary operator in terms of Bessel functions and their zeroes for both weakly and strongly degenerate problems. Hence, we obtain lower $L^2$ bounds for the eigenfunctions on the control region in the case $\alpha \in [0,1)$ and deduce the lack of observability in the case of $\alpha \in [1,2)$. We also provide numerical evidence to illustrate our theoretical results.


title: Bounds on the Poincar\'e constant for convolution measures

abstract: We establish a Shearer-type inequality for the Poincar\'e constant, showing that the Poincar\'e constant corresponding to the convolution of a collection of measures can be nontrivially controlled by the Poincar\'e constants corresponding to convolutions of subsets of measures. This implies, for example, that the Poincar\'e constant is non-increasing along the central limit theorem. We also establish a dimension-free stability estimate for subadditivity of the Poincar\'e constant on convolutions which uniformly improves an earlier one-dimensional estimate of a similar nature by Johnson (2004). As a byproduct of our arguments, we find that the monotone properties of entropy, Fisher information and the Poincar\'e constant along the CLT find a common root in Shearer's inequality.


title: Training Well-Generalizing Classifiers for Fairness Metrics and Other Data-Dependent Constraints

abstract: Classifiers can be trained with data-dependent constraints to satisfy fairness goals, reduce churn, achieve a targeted false positive rate, or other policy goals. We study the generalization performance for such constrained optimization problems, in terms of how well the constraints are satisfied at evaluation time, given that they are satisfied at training time. To improve generalization performance, we frame the problem as a two-player game where one player optimizes the model parameters on a training dataset, and the other player enforces the constraints on an independent validation dataset. We build on recent work in two-player constrained optimization to show that if one uses this two-dataset approach, then constraint generalization can be significantly improved. As we illustrate experimentally, this approach works not only in theory, but also in practice.


title: Constraining the Stellar Mass Function from the Deficiency of Tidal Disruption Flares in the Nuclei of Massive Galaxies

abstract: The rate of tidal disruption flares (TDFs) per mass of the disrupting black hole encodes information on the present-day mass function (PDMF) of stars in the clusters surrounding super massive black holes. We explore how the shape of the TDF rate with black hole mass can constrain the PDMF, with only weak dependence on black hole spin. We show that existing data can marginally constrain the minimum and maximum masses of stars in the cluster, and the high-mass end of the PDMF slope, as well as the overall TDF rate. With of order 100 TDFs expected to be identified with the Zwicky Transient Facility, the overall rate can be highly constrained, but still with only marginal constraints on the PDMF. However, if less than of order 10% of the TDFs expected to be found by LSST over a decade (of order 1000 TDFs) are identified, then precise and accurate estimates can be made for the minimum stellar mass (within a factor of two) and the average slope of the high-mass PDMF (to within ~10%) in nuclear star clusters. This technique could be adapted in the future to probe, in addition to the PDMF, the local black hole mass function and possibly the massive black hole binary population.


title: Deciding the Closure of Inconsistent Rooted Triples is NP-Complete

abstract: Interpreting three-leaf binary trees or {\em rooted triples} as constraints yields an entailment relation, whereby binary trees satisfying some rooted triples must also thus satisfy others, and thence a closure operator, which is known to be polynomial-time computable. This is extended to inconsistent triple sets by defining that a triple is entailed by such a set if it is entailed by any consistent subset of it. Determining whether the closure of an inconsistent rooted triple set can be computed in polynomial time was posed as an open problem in the Isaac Newton Institute's "Phylogenetics" program in 2007. It appears (as NC4) in a collection of such open problems maintained by Mike Steel, and it is the last of that collection's five problems concerning computational complexity to have remained open. We resolve the complexity of computing this closure, proving that its decision version is NP-Complete. In the process, we also prove that detecting the existence of {\em any} acyclic B-hyperpath (from specified source to destination) is NP-Complete, in a significantly narrower special case than the version whose {\em minimization} problem was recently proven NP-hard by Ritz et al. This implies it is NP-hard to approximate (our special case of) their minimization problem to within {\em any} factor.


title: Dynamic modulation of external conditions can transform chemistry into logic gates

abstract: We introduce a new method for transforming chemical systems into desired logical operators (e.g. NAND-gates) or similar signal-manipulation components. The method is based upon open-loop dynamic regulation, where external conditions such as feed-rate, lighting conditions, etc. are modulated according to a prescribed temporal sequence that is independent of the input to the network. The method is first introduced using a simple didactic model. We then show its application in transforming a well-stirred cubic autocatalytic reaction (often referred to as the Selkov-Gray-Scott model) into a logical NAND-gate. We also comment on the applicability of the method to biological and other systems.


title: A degree condition for diameter two orientability of graphs

abstract: For $n \in \mathbb{N}$ let $\delta_n$ be the smallest value such that every graph of order $n$ and minimum degree at least $\delta_n$ admits an orientation of diameter two. We show that $\delta_n=\frac{n}{2} + \Theta(\ln n)$.


title: On the structure of tree:- A conceptual article

abstract: This article is a conceptual exposition on the structure of the tree. It demonstrates an evolutionary design that the tree possesses in the perspective of a structural engineer.


title: Behavior of zeros of $X_{1}$-Jacobi and $X_{1}$-Laguerre exceptional polynomials

abstract: The $X_1$-Jacobi and the $X_1$-Laguerre exceptional orthogonal polynomials have been introduced and studied by G\'omez-Ullate, Kamran and Milson in a series of papers. In this note, we establish some properties, such as interlacing, monotonicity with respect to the parameters and order, about the so-called \textit{regular} and \textit{exceptional} zeros of these two classes of polynomials.


title: An Efficient Data Warehouse for Crop Yield Prediction

abstract: Nowadays, precision agriculture combined with modern information and communications technologies, is becoming more common in agricultural activities such as automated irrigation systems, precision planting, variable rate applications of nutrients and pesticides, and agricultural decision support systems. In the latter, crop management data analysis, based on machine learning and data mining, focuses mainly on how to efficiently forecast and improve crop yield. In recent years, raw and semi-processed agricultural data are usually collected using sensors, robots, satellites, weather stations, farm equipment, farmers and agribusinesses while the Internet of Things (IoT) should deliver the promise of wirelessly connecting objects and devices in the agricultural ecosystem. Agricultural data typically captures information about farming entities and operations. Every farming entity encapsulates an individual farming concept, such as field, crop, seed, soil, temperature, humidity, pest, and weed. Agricultural datasets are spatial, temporal, complex, heterogeneous, non-standardized, and very large. In particular, agricultural data is considered as Big Data in terms of volume, variety, velocity and veracity. Designing and developing a data warehouse for precision agriculture is a key foundation for establishing a crop intelligence platform, which will enable resource efficient agronomy decision making and recommendations. Some of the requirements for such an agricultural data warehouse are privacy, security, and real-time access among its stakeholders (e.g., farmers, farm equipment manufacturers, agribusinesses, co-operative societies, customers and possibly Government agencies). However, currently there are very few reports in the literature that focus on the design of efficient data warehouses with the view of enabling Agricultural Big Data analysis and data mining. In this paper ...


title: Stratified scalar field theories of gravitation with self-energy term and effective particle Lagrangian

abstract: We construct a general stratified scalar theory of gravitation from a field equation that accounts for the self-interaction of the field and a particle Lagrangian, and calculate its post-Newtonian parameters. Using this general framework, we analyze several specific scalar theories of gravitation and check their predictions for the solar system post-Newtonian effects.


title: Citizen Social Lab: A digital platform for human behaviour experimentation within a citizen science framework

abstract: Cooperation is one of the behavioral traits that define human beings, however we are still trying to understand why humans cooperate. Behavioral experiments have been largely conducted to shed light into the mechanisms behind cooperation and other behavioral traits. However, most of these experiments have been conducted in laboratories with highly controlled experimental protocols but with varied limitations which limits the reproducibility and the generalization of the results obtained. In an attempt to overcome these limitations, some experimental approaches have moved human behavior experimentation from laboratories to public spaces, where behaviors occur naturally, and have opened the participation to the general public within the citizen science framework. Given the open nature of these environments, it is critical to establish the appropriate protocols to maintain the same data quality that one can obtain in the laboratories. Here, we introduce Citizen Social Lab, a software platform designed to be used in the wild using citizen science practices. The platform allows researchers to collect data in a more realistic context while maintaining the scientific rigour, and it is structured in a modular and scalable way so it can also be easily adapted for online or brick-and-mortar experimental laboratories. Following citizen science guidelines, the platform is designed to motivate a more general population into participation, but also to promote engaging and learning of the scientific research process. We also review the main results of the experiments performed using the platform up to now, and the set of games that each experiment includes. Finally, we evaluate some properties of the platform, such as the heterogeneity of the samples of the experiments and their satisfaction level, and the parameters that demonstrate the robustness of the platform and the quality of the data collected.


title: Introduction to the Special Issue on Approaches to Control Biological and Biologically Inspired Networks

abstract: The emerging field at the intersection of quantitative biology, network modeling, and control theory has enjoyed significant progress in recent years. This Special Issue brings together a selection of papers on complementary approaches to observe, identify, and control biological and biologically inspired networks. These approaches advance the state of the art in the field by addressing challenges common to many such networks, including high dimensionality, strong nonlinearity, uncertainty, and limited opportunities for observation and intervention. Because these challenges are not unique to biological systems, it is expected that many of the results presented in these contributions will also find applications in other domains, including physical, social, and technological networks.

categories: q-bio.MN cond-mat.dis-nn cs.SY math.OC nlin.AO


title: Super-Geometrodynamics in Higher Dimensions

abstract: The geometrodynamics of the four-dimensional Einstein and Einstein-Maxwell theories were first studied by Wheeler and Misner more than fifty years ago, by constructing solutions of the constraints on an initial spatial slice in a Hamiltonian formulation of the theories. More recently these considerations were extended to various four-dimensional theories with additional fields, encompassing cases that arise in supergravity and the low-energy limit of compactified string theory. In this paper we extend these considerations further, by constructing solutions of the initial value constraints in higher spacetime dimensions, for wide classes of theories that include supergravities and the low-energy limits of string and M-theory. We obtain time-symmetric initial data sets for multiple black hole spacetimes and also wormholes in higher dimensions.


title: Precision modelling of the matter power spectrum in a Planck-like Universe

abstract: We use a suite of high-resolution $N$-body simulations and state-of-the-art perturbation theory to improve the code halofit, which predicts the nonlinear matter power spectrum. We restrict attention to parameters in the vicinity of the Planck Collaboration's best fit. On large-scales ($k\lesssim 0.07 h/{\rm Mpc}$), our model evaluates the 2-loop calculation from the Multi-point Propagator Theory of Bernardeau et al.(2012). On smaller scales ($k \gtrsim 0.7 h/{\rm Mpc}$), we transition to a smoothing-spline-fit model, that characterises the differences between the Takahashi et al. (2012) recalibration of halofit2012 and our simulations. We use an additional suite of simulations to explore the response of the power spectrum to variations in the cosmological parameters. In particular, we examine: the time evolution of the dark energy equation of state ($w_0$, $w_a$); the matter density $\Omega_m$; the physical densities of CDM and baryons $(\omega_c,\omega_b)$; and the primordial power spectrum amplitude $A_s$, spectral index $n_s$, and its running $\alpha$. We construct correction functions, which improve halofit's dependence on cosmological parameters. Our newly calibrated model reproduces all of our data with $\lesssim1\%$ precision. Including various systematic errors, such as choice of $N$-body code, resolution, and through inspection of the scaled second order derivatives, we estimate the accuracy to be $\lesssim3\%$ over the hyper-cube: $w_0\in\{-1.05,-0.95\}$, $w_a\in\{-0.4,0.4\}$, $\Omega_{\rm m,0}\in\{0.21,0.4\}$, $\omega_{\rm c}\in\{0.1,0.13\}$, $\omega_{\rm b}\in\{2.0,2.4\}$, $n_{\rm s}\in\{0.85,1.05\}$, $A_s\in\{1.72\times 10^{-9},2.58\times 10^{-9}\}$, $\alpha\in\{-0.2,0.2\}$ up to $k=9.0 h/{\rm Mpc}$ and out to $z=3$. Outside of this range the model reverts to halofit2012.


title: Improved Generalized Periods Estimates Over Curves on Riemannian Surfaces with Nonpositive Curvature

abstract: We show that on compact Riemann surfaces of nonpositive curvature, the generalized periods, i.e. the $\nu$-th order Fourier coefficients of eigenfunctions $e_\lambda$ over a closed smooth curve $\gamma$ which satisfies a natural curvature condition, go to 0 at the rate of $O((\log\lambda)^{-1/2})$, if $0<|\nu|/\lambda<1-\delta$, for any fixed $0<\delta<1$. Our result implies, for instance, the generalized periods over geodesic circles on any surfaces with nonpositive curvature would converge to zero at the rate of $O((\log\lambda)^{-1/2})$. A direct corollary of our results and the QER theorem of Toth and Zelditch is that for a geodesic circle $\gamma$ on a compact hyperbolic surface, the restriction $e_{\lambda_j}|_\gamma$ of an orthonormal basis $\{e_{\lambda_j}\}$ has a full density subsequence that goes to zero in weak-$L^2(\gamma)$. One key step of our proof is a microlocal decomposition of the measure over $\gamma$ into tangential and transversal parts.


title: Neural Networks Trained to Solve Differential Equations Learn General Representations

abstract: We introduce a technique based on the singular vector canonical correlation analysis (SVCCA) for measuring the generality of neural network layers across a continuously-parametrized set of tasks. We illustrate this method by studying generality in neural networks trained to solve parametrized boundary value problems based on the Poisson partial differential equation. We find that the first hidden layer is general, and that deeper layers are successively more specific. Next, we validate our method against an existing technique that measures layer generality using transfer learning experiments. We find excellent agreement between the two methods, and note that our method is much faster, particularly for continuously-parametrized problems. Finally, we visualize the general representations of the first layers, and interpret them as generalized coordinates over the input domain.


title: Massive Boson Superradiant Instability of Black Holes: Nonlinear Growth, Saturation, and Gravitational Radiation

abstract: We study the superradiant instability of a massive boson around a spinning black hole in full general relativity without assuming spatial symmetries. We focus on the case of a rapidly spinning black hole in the presence of a vector boson with a Compton wavelength comparable to the black hole radius, which is the regime where relativistic effects are maximized. We follow the growth of the boson cloud through superradiance into the nonlinear regime as it spins down the black hole, reaches a maximum energy, and begins to dissipate through the emission of gravitational waves. We find that the superradiant instability can efficiently convert a significant fraction of a black hole's rotational energy into gravitational radiation.


title: Scalable squeezed light source for continuous variable quantum sampling

abstract: We propose a novel squeezed light source capable of meeting the stringent requirements of continuous variable quantum sampling. Using the effective $\chi_2$ interaction induced by a strong driving beam in the presence of the $\chi_3$ response in an integrated microresonator, our device is compatible with established nanophotonic fabrication platforms. With typical realistic parameters, squeezed states with a mean photon number of 10 or higher can be generated in a single consistent temporal mode at repetition rates in excess of 100MHz. Over 15dB of squeezing is achievable in existing ultra-low loss platforms.


title: A note on incremental POD algorithms for continuous time data

abstract: In our earlier work [Fareed et al., Comput. Math. Appl. 75 (2018), no. 6, 1942-1960], we developed an incremental approach to compute the proper orthogonal decomposition (POD) of PDE simulation data. Specifically, we developed an incremental algorithm for the SVD with respect to a weighted inner product for the discrete time POD computations. For continuous time data, we used an approximate approach to arrive at a discrete time POD problem and then applied the incremental SVD algorithm. In this note, we analyze the continuous time case with simulation data that is piecewise constant in time such that each data snapshot is expanded in a finite collection of basis elements of a Hilbert space. We first show that the POD is determined by the SVD of two different data matrices with respect to weighted inner products. Next, we develop incremental algorithms for approximating the two matrix SVDs with respect to the different weighted inner products. Finally, we show neither approximate SVD is more accurate than the other; specifically, we show the incremental algorithms return equivalent results.


title: It All Matters: Reporting Accuracy, Inference Time and Power Consumption for Face Emotion Recognition on Embedded Systems

abstract: While several approaches to face emotion recognition task are proposed in literature, none of them reports on power consumption nor inference time required to run the system in an embedded environment. Without adequate knowledge about these factors it is not clear whether we are actually able to provide accurate face emotion recognition in the embedded environment or not, and if not, how far we are from making it feasible and what are the biggest bottlenecks we face. The main goal of this paper is to answer these questions and to convey the message that instead of reporting only detection accuracy also power consumption and inference time should be reported as real usability of the proposed systems and their adoption in human computer interaction strongly depends on it. In this paper, we identify the state-of-the art face emotion recognition methods that are potentially suitable for embedded environment and the most frequently used datasets for this task. Our study shows that most of the performed experiments use datasets with posed expressions or in a particular experimental setup with special conditions for image collection. Since our goal is to evaluate the performance of the identified promising methods in the realistic scenario, we collect a new dataset with non-exaggerated emotions and we use it, in addition to the publicly available datasets, for the evaluation of detection accuracy, power consumption and inference time on three frequently used embedded devices with different computational capabilities. Our results show that gray images are still more suitable for embedded environment than color ones and that for most of the analyzed systems either inference time or energy consumption or both are limiting factor for their adoption in real-life embedded applications.


title: On Spectral Properties of some Class of Non-selfadjoint Operators

abstract: In this paper we explore a certain class of non-selfadjoint operators acting in a complex separable Hilbert space. We consider a perturbation of a non-selfadjoint operator by an operator that is also non-selfadjoint. Our consideration is based on known spectral properties of the real component of a non-selfadjoint compact operator. Using a technic of the sesquilinear form theory we establish the compactness property of the resolvent, obtain the asymptotic equivalence between the real component of the resolvent and the resolvent of the real component for some class of non-selfadjoint operators. We obtain a classification of non-selfadjoint operators in accordance with belonging their resolvent to the Schatten-von Neumann class and formulate a sufficient condition of completeness of the root vectors system. Finally we obtain an asymptotic formula for eigenvalues of the considered class of non-selfadjoint operators.


title: Formal Specification and Verification of Autonomous Robotic Systems: A Survey

abstract: Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics. Formal methods for autonomous robotics has received some attention in the literature, but no resource provides a current overview. This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics. Specially, it identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.


title: AI in Game Playing: Sokoban Solver

abstract: Artificial Intelligence is becoming instrumental in a variety of applications. Games serve as a good breeding ground for trying and testing these algorithms in a sandbox with simpler constraints in comparison to real life. In this project, we aim to develop an AI agent that can solve the classical Japanese game of Sokoban using various algorithms and heuristics and compare their performances through standard metrics.


title: Determination of Friendship Intensity between Online Social Network Users Based on Their Interaction

abstract: Online social networks (OSN) are one of the most popular forms of modern communication and among the best known is Facebook. Information about the connection between users on the OSN is often very scarce. It's only known if users are connected, while the intensity of the connection is unknown. The aim of the research described was to determine and quantify friendship intensity between OSN users based on analysis of their interaction. We built a mathematical model, which uses: supervised machine learning algorithm Random Forest, experimentally determined importance of communication parameters and coefficients for every interaction parameter based on answers of research conducted through a survey. Taking user opinion into consideration while designing a model for calculation of friendship intensity is a novel approach in opposition to previous researches from literature. Accuracy of the proposed model was verified on the example of determining a better friend in the offered pair.


title: Adversarial Examples in Deep Learning: Characterization and Divergence

abstract: The burgeoning success of deep learning has raised the security and privacy concerns as more and more tasks are accompanied with sensitive data. Adversarial attacks in deep learning have emerged as one of the dominating security threat to a range of mission-critical deep learning systems and applications. This paper takes a holistic and principled approach to perform statistical characterization of adversarial examples in deep learning. We provide a general formulation of adversarial examples and elaborate on the basic principle for adversarial attack algorithm design. We introduce easy and hard categorization of adversarial attacks to analyze the effectiveness of adversarial examples in terms of attack success rate, degree of change in adversarial perturbation, average entropy of prediction qualities, and fraction of adversarial examples that lead to successful attacks. We conduct extensive experimental study on adversarial behavior in easy and hard attacks under deep learning models with different hyperparameters and different deep learning frameworks. We show that the same adversarial attack behaves differently under different hyperparameters and across different frameworks due to the different features learned under different deep learning model training process. Our statistical characterization with strong empirical evidence provides a transformative enlightenment on mitigation strategies towards effective countermeasures against present and future adversarial attacks.


title: Tunneling spectroscopy between one-dimensional helical conductors

abstract: We theoretically investigate the tunneling spectroscopy of a system of two parallel one-dimensional helical conductors in the interacting, Luttinger liquid regime. We calculate the non-linear differential conductance as a function of the voltage bias between the conductors and the orbital momentum shift induced on tunneling electrons by an orthogonal magnetic field. We show that the conductance map exhibits an interference pattern which is characteristic to the interacting helical liquid. This can be contrasted with the different interference pattern from tunneling between regular Luttinger liquids which is governed by the spin-charge separation of the elementary collective excitations.


title: Task-Driven Convolutional Recurrent Models of the Visual System

abstract: Feed-forward convolutional neural networks (CNNs) are currently state-of-the-art for object classification tasks such as ImageNet. Further, they are quantitatively accurate models of temporally-averaged responses of neurons in the primate brain's visual system. However, biological visual systems have two ubiquitous architectural features not shared with typical CNNs: local recurrence within cortical areas, and long-range feedback from downstream areas to upstream areas. Here we explored the role of recurrence in improving classification performance. We found that standard forms of recurrence (vanilla RNNs and LSTMs) do not perform well within deep CNNs on the ImageNet task. In contrast, novel cells that incorporated two structural features, bypassing and gating, were able to boost task accuracy substantially. We extended these design principles in an automated search over thousands of model architectures, which identified novel local recurrent cells and long-range feedback connections useful for object recognition. Moreover, these task-optimized ConvRNNs matched the dynamics of neural activity in the primate visual system better than feedforward networks, suggesting a role for the brain's recurrent connections in performing difficult visual behaviors.


title: The Detection of Intergalactic Halpha Emission from the Slug Nebula at z~2.3

abstract: The Slug Nebula is one of the largest and most luminous Lyman-alpha (LyA) nebulae discovered to date, extending over 450 kiloparsecs (kpc) around the bright quasar UM287 at z=2.283. Characterized by high surface brightnesses over intergalactic scales, its LyA emission may either trace high-density ionized gas ("clumps") or large column densities of neutral material. To distinguish between these two possibilities, information from a non-resonant line such as Halpha is crucial. Therefore, we analyzed a deep MOSFIRE observation of one of the brightest LyA emitting regions in the Slug Nebula with the goal of detecting associated Halpha emission. We also obtained a deep, moderate resolution LyA spectrum of the nearby brightest region of the Slug. We detected an Halpha flux of F_(Halpha)= 2.62 +/- 0.47 x 10^-17 erg/cm^2/s (SB_(Halpha)=2.70 +/- 0.48 x 10^-18 erg/cm^2/s/sq") at the expected spatial and spectral location. Combining the Halpha detection with its corresponding LyA flux (determined from the narrow-band imaging) we calculate a flux ratio of F_(LyA_/F_(Halpha)= 5.5 +/- 1.1. The presence of a skyline at the location of the Halpha emission decreases the signal to noise ratio of the detection and our ability to put stringent constraints on the Halpha kinematics. Our measurements argue for the origin of the LyA emission being recombination radiation, suggesting the presence of high-density ionized gas. Finally, our high-resolution spectroscopic study of the LyA emission does not show evidence of a rotating disk pattern and suggest a more complex origin for at least some parts of the Slug Nebula.


title: Accurate closed-form trajectories of light around a Kerr black hole using asymptotic approximants

abstract: Highly accurate closed-form expressions that describe the full trajectory of photons propagating in the equatorial plane of a Kerr black hole are obtained using asymptotic approximants. This work extends a prior study of the overall bending angle for photons (Barlow, et al. 2017, Class. Quantum Grav., 34, 135017). The expressions obtained provide accurate trajectory predictions for arbitrary spin and impact parameters, and provide significant time advantages compared with numerical evaluation of the elliptic integrals that describe photon trajectories. To construct approximants, asymptotic expansions for photon deflection are required in various limits. To this end, complete expansions are derived for the azimuthal angle as a function of radial distance from the black hole in the far-distance and closest-approach (pericenter) limits, and new coefficients are reported for the bending angle in the weak-field limit (large impact parameter).


title: Fundamental Limits of Decentralized Data Shuffling

abstract: Data shuffling of training data among different computing nodes (workers) has been identified as a core element to improve the statistical performance of modern large-scale machine learning algorithms. Data shuffling is often considered as one of the most significant bottlenecks in such systems due to the heavy communication load. Under a master-worker architecture (where a master has access to the entire dataset and only communication between the master and the workers is allowed) coding has been recently proved to considerably reduce the communication load. This work considers a different communication paradigm referred to as decentralized data shuffling, where workers are allowed to communicate with one another via a shared link. The decentralized data shuffling problem has two phases: workers communicate with each other during the data shuffling phase, and then workers update their stored content during the storage phase. The main challenge is to derive novel converse bounds and achievable schemes for decentralized data shuffling by considering the asymmetry of the workers' storages (i.e., workers are constrained to store different files in their storages based on the problem setting), in order to characterize the fundamental limits of this problem. For the case of uncoded storage (i.e., each worker directly stores a subset of bits of the dataset), this paper proposes converse and achievable bounds (based on distributed interference alignment and distributed clique-covering strategies) that are within a factor of 3/2 of one another. The proposed schemes are also exactly optimal under the constraint of uncoded storage for either large storage size or at most four workers in the system.


title: On nonassociative graded-simple algebras over the field of real numbers

abstract: We extend the loop algebra construction for algebras graded by abelian groups to study graded-simple algebras over the field of real numbers (or any real closed field). As an application, we classify up to isomorphism the graded-simple alternative (nonassociative) algebras and graded-simple finite-dimensional Jordan algebras of degree 2. We also classify the graded-division alternative (nonassociative) algebras up to equivalence.


title: Prime-Cam: A first-light instrument for the CCAT-prime telescope

abstract: CCAT-prime will be a 6-meter aperture telescope operating from sub-mm to mm wavelengths, located at 5600 meters elevation on Cerro Chajnantor in the Atacama Desert in Chile. Its novel crossed-Dragone optical design will deliver a high throughput, wide field of view capable of illuminating much larger arrays of sub-mm and mm detectors than can existing telescopes. We present an overview of the motivation and design of Prime-Cam, a first-light instrument for CCAT-prime. Prime-Cam will house seven instrument modules in a 1.8 meter diameter cryostat, cooled by a dilution refrigerator. The optical elements will consist of silicon lenses, and the instrument modules can be individually optimized for particular science goals. The current design enables both broadband, dual-polarization measurements and narrow-band, Fabry-Perot spectroscopic imaging using multichroic transition-edge sensor (TES) bolometers operating between 190 and 450 GHz. It also includes broadband kinetic induction detectors (KIDs) operating at 860 GHz. This wide range of frequencies will allow excellent characterization and removal of galactic foregrounds, which will enable precision measurements of the sub-mm and mm sky. Prime-Cam will be used to constrain cosmology via the Sunyaev-Zeldovich effects, map the intensity of [CII] 158 $\mu$m emission from the Epoch of Reionization, measure Cosmic Microwave Background polarization and foregrounds, and characterize the star formation history over a wide range of redshifts. More information about CCAT-prime can be found at www.ccatobservatory.org.


title: Hermitian Curvature flow on unimodular Lie groups and static invariant metrics

abstract: We investigate the Hermitian curvature flow (HCF) of left-invariant metrics on complex unimodular Lie groups. We show that in this setting the flow is governed by the Ricci-flow type equation $\partial_tg_{t}=-{\rm Ric}^{1,1} (g_t)$. The solution $g_t$ always exist for all positive times, and $(1 + t)^{-1}g_t$ converges as $t\to \infty$ in Cheeger-Gromov sense to a non-flat left-invariant soliton $(\bar G, \bar g)$. Moreover, up to homotheties on each of these groups there exists at most one left-invariant soliton solution, which is a static Hermitian metric if and only if the group is semisimple. In particular, compact quotients of complex semisimple Lie groups yield examples of compact non-K\"ahler manifolds with static Hermitian metrics. We also investigate the existence of static metrics on nilpotent Lie groups and we generalize a result in \cite{EFV} for the pluriclosed flow. In the last part of the paper we study HCF on Lie groups with abelian complex structures.


title: High quality cobalt ferrite ultrathin films with large inversion parameter grown in epitaxy on Ag(001)

abstract: Cobalt ferrite ultrathin films with inverse spinel structure are among the best candidates for spin-filtering at room temperature. We have fabricated high-quality epitaxial ultrathin CoFe2O4 layers on Ag(001) following a three-step method: an ultrathin metallic CoFe2 alloy was first grown in coherent epitaxy on the substrate, and then treated twice with O2, first at RT and then during annealing. The epitaxial orientation, the surface, interface and film structure were resolved combining LEED, STM, Auger and in situ GIXRD. A slight tetragonal distortion was observed, that should drive the easy magnetization axis in plane due to the large magneto-elastic coupling of such a material. The so-called inversion parameter, i.e. the Co fraction occupying octahedral sites in the ferrite spinel structure, is a key element for its spin-dependent electronic gap. It was obtained through in-situ x-ray resonant diffraction measurements collected at both the Co and Fe K edges. The data analysis was performed using the FDMNES code and showed that Co ions are predominantly located at octahedral sites with an inversion parameter of 0.88 +- 0.05. Ex-situ XPS gave an estimation in accordance with the values obtained through diffraction analysis.


title: Nonnegative linear elimination for chemical reaction networks

abstract: We consider linear elimination of variables in steady state equations of a chemical reaction network. Particular subsets of variables corresponding to sets of so-called reactant-noninteracting species, are introduced. The steady state equations for the variables in such a set, taken together with potential linear conservation laws in the variables, define a linear system of equations. We give conditions that guarantee that the solution to this system is nonnegative, provided it is unique. The results are framed in terms of spanning forests of a particular multidigraph derived from the reaction network and thereby conditions for uniqueness and nonnegativity of a solution are derived by means of the multidigraph. Though our motivation comes from applications in systems biology, the results have general applicability in applied sciences.


title: Nucleation and propagation of thermomagnetic avalanches in thin-film superconductors

abstract: Stability of the vortex matter -- magnetic flux lines penetrating into the material -- in type-II superconductor films is crucially important for their application. If some vortices get detached from pinning centres, the energy dissipated by their motion will facilitate further depinning, and may trigger an electromagnetic breakdown. In this paper, we review recent theoretical and experimental results on development of the above mentioned thermomagnetic instability. Starting from linear stability analysis for the initial critical-state flux distribution we then discuss a numerical procedure allowing to analyze developed flux avalanches. As an example of this approach we consider ultra-fast dendritic flux avalanches in thin superconducting disks. At the initial stage the flux front corresponding to the dendrite's trunk moves with velocity up to 100~km/s. At later stage the almost constant velocity leads to a specific propagation regime similar to ray optics. We discuss this regime observed in superconducting films coated by normal strips. Finally, we discuss dramatic enhancement of the anisotropy of the flux patterns due to specific dynamics. In this way we demonstrate that the combination of the linear stability analysis with the numerical approach provides an efficient framework for understanding the ultra-fast coupled non-local dynamics of electromagnetic fields and dissipation in superconductor films.


title: Fine-grained Material Associated with a Large Sulfide returned from Comet 81P/Wild 2

abstract: In a consortium analysis of a large particle captured from the coma of comet 81P/Wild 2 by the Stardust spacecraft, we report the discovery of a field of fine-grained material (FGM) in contact with a large sulfide particle. The FGM was partially located in an embayment in the sulfide, so appears to have been largely protected from damage during hypervelocity capture in aerogel. Some of the FGM particles are indistinguishable in their characteristics from common components of chondritic-porous interplanetary dust particles (CP-IDPs), including glass with embedded metals and sulfides (GEMS) and equilibrated aggregates (EAs). The sulfide exhibits surprising Ni-rich lamellae, which may indicate that this particle experienced a long-duration heating event after its formation but before incorporation into Wild 2. We discuss the relationship of the FGM to the sulfide, to other Wild 2 particles and to the history of the Solar nebula.


title: Temporal Logic Verification of Stochastic Systems Using Barrier Certificates

abstract: This paper presents a methodology for temporal logic verification of discrete-time stochastic systems. Our goal is to find a lower bound on the probability that a complex temporal property is satisfied by finite traces of the system. Desired temporal properties of the system are expressed using a fragment of linear temporal logic, called safe LTL over finite traces. We propose to use barrier certificates for computations of such lower bounds, which is computationally much more efficient than the existing discretization-based approaches. The new approach is discretization-free and does not suffer from the curse of dimensionality caused by discretizing state sets. The proposed approach relies on decomposing the negation of the specification into a union of sequential reachabilities and then using barrier certificates to compute upper bounds for these reachability probabilities. We demonstrate the effectiveness of the proposed approach on case studies with linear and polynomial dynamics.


title: The Kinematics of Extended Lyman-alpha Emission in a Low Mass, Low Metallicity Galaxy at z = 2.3

abstract: Lyman-$\alpha$ photons are resonantly scattered by neutral hydrogen, and may therefore trace both the spatial extent and the kinematics of the gas surrounding galaxies. We present new observations of the extended Ly$\alpha$ halo of Q2343-BX418, a low mass ($M_{\star} = 5\times10^8$ M$_{\odot}$), low metallicity ($Z\approx 0.25$ Z$_{\odot}$) star-forming galaxy at $z = 2.3$. Using the Keck Cosmic Web Imager, the blue-sensitive optical integral field spectrograph recently installed on the Keck II telescope, we detect Ly$\alpha$ in emission to a radius of 23 kpc, and measure an exponential scale length of 6 kpc in the outer region of the extended halo. We study the double-peaked spectroscopic Ly$\alpha$ profile in individual spectral pixels ("spaxels") over a $\sim 25\times30$ kpc region, finding significant variations in the peak ratio and peak separation. The profile is dominated by the red peak in the central regions, while in the outskirts of the extended halo the red and blue peak strengths are roughly equal; these observations are consistent with a model in which the peak ratio is largely determined by the radial component of the outflow velocity. We find a gradient of 300 km s$^{-1}$ in the Ly$\alpha$ peak separation across the extended halo, indicating variations in the column density, covering fraction or velocity range of the gas. These new observations emphasize the need for realistic, spatially resolved models of Ly$\alpha$ radiative transfer in the halos of galaxies.


title: Bending of Biomimetic Scale Covered Beams Under Discrete Non-periodic Engagement

abstract: Covering elastic substrates with stiff biomimetic scales significantly alters the bending behavior via scales engagement. This engagement is the dominant source of nonlinearity in small deflection regime. As deformation proceeds, an initially linear bending response gives way to progressive stiffening and thereafter a geometrically dictated 'locked' configuration. However, investigation of this system has been carried out until date using assumption of periodic engagement even after scales contact. This is true only under the most ideal loading conditions or if the scales are extremely dense akin to a continuum assumption on the scales. However, this is not true for a practical system where scales are more discrete and where loading can alter periodicity of engagement. We address this nonlinear problem for the first time in small deflection and rotation regime. Our combined modeling and numerical analysis show that relaxing periodicity better represents the geometry of discrete scales engagement and mechanics of the beam under general loading conditions and allows us to revisit the nonlinear behavior. We report significant differences from predictions of periodic models in terms of predicting the behavior of scales after engagement. These include the difference in the angular displacement of scales, normal force magnitudes along the length, moment curvature relationship as well as a distinct nature of the locking behavior. Therefore, non-periodicity is an important yet unexplored feature of this problem, which leads to insights, absent in previous investigations. This opens way for developing the structure-property-architecture framework for design and optimization of these topologically leveraged solids.


title: Josephine: Using JavaScript to safely manage the lifetimes of Rust data

abstract: This paper is about the interface between languages which use a garbage collector and those which use fancy types for safe manual memory management. Garbage collection is the traditional memory management scheme for functional languages, whereas type systems are now used for memory safety in imperative languages. We use existing techniques for linear capabilities to provide safe access to copyable references, but the application to languages with a tracing garbage collector, and to data with explicit lifetimes is new. This work is related to mixed linear/non-linear programming, but the languages being mixed are Rust and JavaScript.


title: Fully Nonparametric Bayesian Additive Regression Trees

abstract: Bayesian Additive Regression Trees (BART) is a fully Bayesian approach to modeling with ensembles of trees. BART can uncover complex regression functions with high dimensional regressors in a fairly automatic way and provide Bayesian quantification of the uncertainty through the posterior. However, BART assumes IID normal errors. This strong parametric assumption can lead to misleading inference and uncertainty quantification. In this paper, we use the classic Dirichlet process mixture (DPM) mechanism to nonparametrically model the error distribution. A key strength of BART is that default prior settings work reasonably well in a variety of problems. The challenge in extending BART is to choose the parameters of the DPM so that the strengths of the standard BART approach is not lost when the errors are close to normal, but the DPM has the ability to adapt to non-normal errors.


title: Exploratory Analysis of a Large Flamenco Corpus using an Ensemble of Convolutional Neural Networks as a Structural Annotation Backend

abstract: We present computational tools that we developed for the analysis of a large corpus of flamenco music recordings, along with the related exploratory findings. The proposed computational backend is based on a set of Convolutional Neural Networks that provide the structural annotation of each music recording with respect to the presence of vocals, guitar and hand-clapping ("palmas"). The resulting, automatically extracted annotations, allowed for the visualization of music recordings in structurally meaningful ways, the extraction of global statistics related to the instrumentation of flamenco music, the detection of a cappella and instrumental recordings for which no such information existed, the investigation of differences in structure and instrumentation across styles and the study of tonality across instrumentation and styles. The reported findings show that it is feasible to perform a large scale analysis of flamenco music with state-of-the-art classification technology and produce automatically extracted descriptors that are both musicologically valid and useful, in the sense that they can enhance conventional metadata schemes and assist bridging the semantic gap between audio recordings and high-level musicological concepts.


title: Quasi Markov Chain Monte Carlo Methods

abstract: Quasi-Monte Carlo (QMC) methods for estimating integrals are attractive since the resulting estimators typically converge at a faster rate than pseudo-random Monte Carlo. However, they can be difficult to set up on arbitrary posterior densities within the Bayesian framework, in particular for inverse problems. We introduce a general parallel Markov chain Monte Carlo (MCMC) framework, for which we prove a law of large numbers and a central limit theorem. In that context, non-reversible transitions are investigated. We then extend this approach to the use of adaptive kernels and state conditions, under which ergodicity holds. As a further extension, an importance sampling estimator is derived, for which asymptotic unbiasedness is proven. We consider the use of completely uniformly distributed (CUD) numbers within the above mentioned algorithms, which leads to a general parallel quasi-MCMC (QMCMC) methodology. We prove consistency of the resulting estimators and demonstrate numerically that this approach scales close to $n^{-2}$ as we increase parallelisation, instead of the usual $n^{-1}$ that is typical of standard MCMC algorithms. In practical statistical models we observe multiple orders of magnitude improvement compared with pseudo-random methods.


title: GOTO Rankings Considered Helpful

abstract: Rankings are a fact of life. Whether or not one likes them, they exist and are influential. Within academia, and in computer science in particular, rankings not only capture our attention but also widely influence people who have a limited understanding of computing science research, including prospective students, university administrators, and policy-makers. In short, rankings matter. This position paper advocates for the adoption of "GOTO rankings": rankings that use Good data, are Open, Transparent, and Objective, and the rejection of rankings that do not meet these criteria.


title: Joint Learning of Domain Classification and Out-of-Domain Detection with Dynamic Class Weighting for Satisficing False Acceptance Rates

abstract: In domain classification for spoken dialog systems, correct detection of out-of-domain (OOD) utterances is crucial because it reduces confusion and unnecessary interaction costs between users and the systems. Previous work usually utilizes OOD detectors that are trained separately from in-domain (IND) classifiers, and confidence thresholding for OOD detection given target evaluation scores. In this paper, we introduce a neural joint learning model for domain classification and OOD detection, where dynamic class weighting is used during the model training to satisfice a given OOD false acceptance rate (FAR) while maximizing the domain classification accuracy. Evaluating on two domain classification tasks for the utterances from a large spoken dialogue system, we show that our approach significantly improves the domain classification performance with satisficing given target FARs.


title: Opto-mechanical designs for the HARMONI Adaptive Optics systems

abstract: HARMONI is a visible and near-infrared integral field spectrograph equipped with two complementary adaptive optics systems, fully integrated within the instrument. A Single Conjugate AO (SCAO) system offers high performance for a limited sky coverage and a Laser Tomographic AO (LTAO) system provides AO correction with a very high sky-coverage. While the deformable mirror performing real-time correction of the atmospheric disturbances is located within the telescope itself, the instrument contains a suite of state-of-the-art and innovative wavefront sensor systems. Laser guide star sensors (LGSS) are located at the entrance of the instrument and fed by a dichroic beam splitter, while the various natural guide star sensors for LTAO and SCAO are located close to the science focal plane. We present opto-mechanical architecture and design at PDR level for these wavefront sensor systems.


title: A Study of Muon Collider Background Rejection Criteria in Silicon Vertex and Tracker Detectors

abstract: The hit response of silicon vertex and tracking detectors to muon collider beam background and results of a study of hit reducing techniques are presented. The background caused by decays of the 750 GeV/c m+ and m- beams was simulated using the MARS15 program, which included the infrastructure of the beam line elements near the detector and the 10 degree nozzles that shield the detector from this background. The ILCRoot framework, along with the Geant4 program, was used to simulate the hit response of the silicon vertex and tracker detectors to the muon decay background remaining after the shielding nozzles. The background hit reducing techniques include timing, energy deposition, and hit location correlation in the double layer geometry.


title: Optimizing LIGO with LISA forewarnings to improve black-hole spectroscopy

abstract: The early inspiral of massive stellar-mass black-hole binaries merging in LIGO's sensitivity band will be detectable at low frequencies by the upcoming space mission LISA. LISA will predict, with years of forewarning, the time and frequency with which binaries will be observed by LIGO. We will, therefore, find ourselves in the position of knowing that a binary is about to merge, with the unprecedented opportunity to optimize ground-based operations to increase their scientific payoff. We apply this idea to detections of multiple ringdown modes, or black-hole spectroscopy. Narrowband tunings can boost the detectors' sensitivity at frequencies corresponding to the first subdominant ringdown mode and largely improve our prospects to experimentally test the Kerr nature of astrophysical black holes. We define a new consistency parameter between the different modes, called $\delta {\rm GR}$, and show that, in terms of this measure, optimized configurations have the potential to double the effectiveness of black-hole spectroscopy when compared to standard broadband setups.


title: Phenomenological models of two-particle correlation distributions on transverse momentum in relativistic heavy-ion collisions

abstract: Two-particle, pair-number correlation distributions on two-dimensional transverse momentum ($p_{t1},p_{t2}$) constructed from the particle production in relativistic heavy-ion collisions allow access to dynamical processes in these systems beyond what can be studied with angular correlations alone. Only a few measurements of this type have been reported in the literature and phenomenological models, which facilitate physical interpretation of the correlation structures, are non-existent. On-going effort at the Relativistic Heavy-Ion Collider (RHIC) will provide a significant volume of these correlation measurements in the future. In anticipation of these new data two phenomenological models are developed which describe two-dimensional 2D correlation distributions on transverse momentum. One model is based on a collision event-by-event fluctuating blast wave. The other is based on event-by-event fluctuations in fragmenting color-flux tubes and in jets. Both models are shown to be capable of accurately describing the measured single-particle $p_t$ distributions for minimum-bias Au+Au collisions at $\sqrt{s_{\rm NN}} = 200$~GeV. Both models are then applied to preliminary, charged-particle correlation measurements on 2D transverse momentum. The capabilities of the two models for describing the overall structure of these correlations, the stability of the fitting results with respect to collision centrality, and the resulting trends of the dynamical fluctuations are evaluated. In general, both phenomenological models are capable of qualitatively describing the major correlation structures on transverse momentum and can be used to establish the required magnitudes and centrality trends of the fluctuations. Both models will be useful for interpreting the forthcoming correlation data from the RHIC.


title: Sunscreen: Photometric Signatures of Galaxies Partially Cloaked in Dyson Spheres

abstract: The Search for Extraterrestrial Intelligence has so far come up negative for Kardashev Type III societies that capture all starlight from a galaxy. One possible reason is that shrouding a star in a megastructure is prohibitively expensive. Most of a galaxy's starlight comes from bright stars, which would require structures even larger than the classical Dyson sphere to enclose. Using a custom spectral synthesis code, I calculate what happens to the spectrum and colors of a galaxy when only stars below a luminosity L_min are cloaked. I find the photometric signatures of galaxies with L_min <= 1 L_sun are minor, especially for blue, galaxies with continuing star formation. Larger luminosity thresholds (>~ 30 L_sun) result in galaxies with unnatural colors and luminosities. Galaxies observed in NIR and galaxies without recent star formation observed at UV-NIR wavelengths become redder than uncloaked galaxies as L_min increases. Recently star-forming galaxies get bluer in UV and blue light when they are cloaked, with colors similar to quasars but very low luminosities. By selecting on color, we may find Type III societies in large photometric surveys. I discuss how different metallicities, ages, and initial mass functions affect the results.


title: Over-the-Air Time Synchronization for URLLC: Requirements, Challenges and Possible Enablers

abstract: Ultra-reliable and low-latency communications (URLLC) is an emerging feature in 5G and beyond wireless systems, which is introduced to support stringent latency and reliability requirements of mission-critical industrial applications. In many potential applications, multiple sensors/actuators collaborate and require isochronous operation with strict and bounded jitter, e.g., \SI{1}{\micro\second}. To this end, network time synchronization becomes crucial for real-time and isochronous communication between a controller and the sensors/actuators. In this paper, we look at different applications in factory automation and smart grids to reveal the requirements of device-level time synchronization and the challenges in extending the high-granularity timing information to the devices. Also, we identify the potential over-the-air synchronization mechanisms in 5G radio interface, and discuss the needed enhancements to meet the jitter constraints of time-sensitive URLLC applications.


title: Pushforwards of Measures on Real Varieties under Maps with Rational Singularities

abstract: Let $X,Y$ be algebraic varieties defined over $\Bbb R$. Assume $Y$ is smooth and $X$ is Gorenstein. Suppose $\varphi:X\to Y$ is a flat $\Bbb R$-morphism such that all the fibers have rational singularities. We show that the pushforward of any smooth, compactly supported measure on $X$ has a continuous density with respect to any smooth measure with non-vanishing density on $Y$. This extends a result of Aizenbud and Avni from the $p$-adic case to the archimedean case.


title: Ergodic-localized junctions in periodically-driven systems

abstract: Quantum phases of matter have many relevant applications in quantum computation and quantum information processing. Current experimental feasibilities in diverse platforms allow us to couple two or more subsystems in different phases. In this letter, we investigate the situation where one couples two domains of a periodically-driven spin chain where one of them is ergodic while the other is fully localized. By combining tools of both graph and Floquet theory, we show that the localized domain remains stable for strong disorder, but as this disorder decreases the localized domain becomes ergodic.

categories: quant-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech nlin.CD


title: On a rationality problem for fields of cross-ratios

abstract: Let $k$ be a field, $n \geqslant 5$ be an integer, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $S_n$ acts on $L_n$ by permuting the variables, and the projective linear group ${\rm PGL}_2$ acts by applying (the same) fractional linear transformation to each varaible. The fixed field $L_n^{{\rm PGL}_2}$ is called "the field of cross-ratios". Let $S \subset S_n$ be a subgroup. The Noether Problem asks whether the field extension $L_n^S/k$ is rational, and the Noether Problem for cross-ratios asks whether $K_n^S/k$ is rational. In an effort to relate these two problems, H. Tsunogai posed the following question: Is $L_n^S$ rational over $K_n^S$? He answered this question in several situations, in particular, in the case where $S = S_n$. In this paper we extend his results by recasting the problem in terms of Galois cohomology. Our main theorem asserts that the following conditions on a subgroup $S \subset S_n$ are equivalent: (a) $L_n^S$ is rational over $K_n^S$, (b) $L_n^S$ is unirational over $K_n^S$, (c) $S$ has an orbit of odd order in $\{1, \dots, n \}$.


title: Amanuensis: The Programmer's Apprentice

abstract: This document provides an overview of the material covered in a course taught at Stanford in the spring quarter of 2018. The course draws upon insight from cognitive and systems neuroscience to implement hybrid connectionist and symbolic reasoning systems that leverage and extend the state of the art in machine learning by integrating human and machine intelligence. As a concrete example we focus on digital assistants that learn from continuous dialog with an expert software engineer while providing initial value as powerful analytical, computational and mathematical savants. Over time these savants learn cognitive strategies (domain-relevant problem solving skills) and develop intuitions (heuristics and the experience necessary for applying them) by learning from their expert associates. By doing so these savants elevate their innate analytical skills allowing them to partner on an equal footing as versatile collaborators - effectively serving as cognitive extensions and digital prostheses, thereby amplifying and emulating their human partner's conceptually-flexible thinking patterns and enabling improved access to and control over powerful computing resources.


title: Topology classification with deep learning to improve real-time event selection at the LHC

abstract: We show how event topology classification based on deep learning could be used to improve the purity of data samples selected in real time at at the Large Hadron Collider. We consider different data representations, on which different kinds of multi-class classifiers are trained. Both raw data and high-level features are utilized. In the considered examples, a filter based on the classifier's score can be trained to retain ~99% of the interesting events and reduce the false-positive rate by as much as one order of magnitude for certain background processes. By operating such a filter as part of the online event selection infrastructure of the LHC experiments, one could benefit from a more flexible and inclusive selection strategy while reducing the amount of downstream resources wasted in processing false positives. The saved resources could be translated into a reduction of the detector operation cost or into an effective increase of storage and processing capabilities, which could be reinvested to extend the physics reach of the LHC experiments.


title: A Learning Theory in Linear Systems under Compositional Models

abstract: We present a learning theory for the training of a linear system operator having an input compositional variable and propose a Bayesian inversion method for inferring the unknown variable from an output of a noisy linear system. We assume that we have partial or even no knowledge of the operator but have training data of input and ouput. A compositional variable satisfies the constraints that the elements of the variable are all non-negative and sum to unity. We quantified the uncertainty in the trained operator and present the convergence rates of training in explicit forms for several interesting cases under stochastic compositional models. The trained linear operator with the covariance matrix, estimated from the training set of pairs of ground-truth input and noisy output data, is further used in evaluation of posterior uncertainty of the solution. This posterior uncertainty clearly demonstrates uncertainty propagation from noisy training data and addresses possible mismatch between the true operator and the estimated one in the final solution.