title: The Black Hole in the Most Massive Ultracompact Dwarf Galaxy M59-UCD3

abstract: We examine the internal properties of the most massive ultracompact dwarf galaxy (UCD), M59-UCD3, by combining adaptive optics assisted near-IR integral field spectroscopy from Gemini/NIFS, and Hubble Space Telescope (HST) imaging. We use the multi-band HST imaging to create a mass model that suggests and accounts for the presence of multiple stellar populations and structural components. We combine these mass models with kinematics measurements from Gemini/NIFS to find a best-fit stellar mass-to-light ratio ($M/L$) and black hole (BH) mass using Jeans Anisotropic Models (JAM), axisymmetric Schwarzschild models, and triaxial Schwarzschild models. The best fit parameters in the JAM and axisymmetric Schwarzschild models have black holes between 2.5 and 5.9 million solar masses. The triaxial Schwarzschild models point toward a similar BH mass, but show a minimum $\chi^2$ at a BH mass of $\sim 0$. Models with a BH in all three techniques provide better fits to the central $V_{rms}$ profiles, and thus we estimate the BH mass to be $4.2^{+2.1}_{-1.7} \times 10^{6}$ M$_\odot$ (estimated 1$\sigma$ uncertainties). We also present deep radio imaging of M59-UCD3 and two other UCDs in Virgo with dynamical BH mass measurements, and compare these to X-ray measurements to check for consistency with the fundamental plane of BH accretion. We detect faint radio emission in M59cO, but find only upper limits for M60-UCD1 and M59-UCD3 despite X-ray detections in both these sources. The BH mass and nuclear light profile of M59-UCD3 suggests it is the tidally stripped remnant of a $\sim$10$^{9-10}$ M$_\odot$ galaxy.


title: A universally enhanced light-quarks Yukawa couplings paradigm

abstract: We propose that natural TeV-scale new physics (NP) with ${\cal O}(1)$ couplings to the standard model (SM) quarks may lead to a universal enhancement of the Yukawa couplings of all the light quarks, perhaps to a size comparable to that of the SM b-quark Yukawa coupling, i.e., $y_q \sim {\cal O}(y_b^{SM})$ for $q=u,d,c,s$. This scenario is described within an effective field theory (EFT) extension of the SM, for which a potential contribution of certain dimension six effective operators to the light quarks Yukawa couplings is $y_q \sim {\cal O} \left( f \frac{v^2}{\Lambda^2} \right)$, where $v$ is the Higgs vacuum expectation value (VEV), $v=246$ GeV, $\Lambda$ is the typical scale of the underlying heavy NP and $f$ is the corresponding Wilson coefficient which depends on its properties and details. In particular, we study the case of $y_q \sim 0.025 \sim y_b^{SM}$, which is the typical size of the enhanced light-quark Yukawa couplings if the NP scale is around $\Lambda \sim 1.5$ TeV and the NP couplings are natural, i.e., $f \sim {\cal O}(1)$. We also explore this enhanced light quarks Yukawa paradigm in extensions of the SM which contain TeV-scale vector-like quarks and we match them to the specific higher dimensional effective operators in the EFT description. We discuss the constraints on this scenario and the flavor structure of the underlying NP dynamics and suggest some resulting "smoking gun" signals that should be searched for at the LHC, such as multi-Higgs production $pp \to hh,hhh$ and single Higgs production in association with a high $p_T$ jet ($j$) or photon $pp \to hj,h \gamma$ and with a single top-quark $pp \to h t$.


title: Dual QCD Insight into BSM Hadronic Matrix Elements for $K^0-\bar K^0$ Mixing from Lattice QCD

abstract: We calculate BSM hadronic matrix elements for $K^0-\bar K^0$ mixing in the Dual QCD approach (DQCD). The ETM, SWME and RBC-UKQCD lattice collaborations find the matrix elements of the BSM density-density operators $\mathcal{O}_i$ with $i=2-5$ to be rather different from their vacuum insertion values (VIA) with $B_2\approx 0.5$, $B_3\approx B_5\approx 0.7$ and $B_4\approx 0.9$ at $\mu=3~GeV$ to be compared with $B_i=1$ in the VIA. We demonstrate that this pattern can be reconstructed within the DQCD through the non-perturbative meson evolution from very low scales, where factorization of matrix elements is valid, to scales of order $(1~GeV)$ with subsequent perturbative quark-gluon evolution to $\mu=3~GeV$. This turns out to be possible in spite of a very different pattern displayed at low scales with $B_2=1.2$, $B_3=3.0$, $B_4=1.0$ and $B_5\approx 0.2$ in the large $N$ limit, $N$ being the number of colours. Our results imply that the inclusion of meson evolution in the phenomenology of any non-leptonic transition like $K^0-\bar K^0$ mixing and $K\to\pi\pi$ decays is mandatory. While meson evolution, as demonstrated in our paper, is hidden in LQCD results, to our knowledge DQCD is the only analytic approach for non-leptonic transitions and decays which takes this important QCD dynamics into account.


title: Spatially Resolved Stellar Kinematics from LEGA-C: Increased Rotational Support in z~0.8 Quiescent Galaxies

abstract: We present stellar rotation curves and velocity dispersion profiles for 104 quiescent galaxies at $z=0.6-1$ from the Large Early Galaxy Astrophysics Census (LEGA-C) spectroscopic survey. Rotation is typically probed across 10-20kpc, or to an average of 2.7${\rm R_e}$. Combined with central stellar velocity dispersions ($\sigma_0$) this provides the first determination of the dynamical state of a sample selected by a lack of star formation activity at large lookback time. The most massive galaxies ($M_{\star}>2\times10^{11}\,M_{\odot}$) generally show no or little rotation measured at 5kpc ($|V_5|/\sigma_0<0.2$ in 8 of 10 cases), while ${\sim}64\%$ of less massive galaxies show significant rotation. This is reminiscent of local fast- and slow-rotating ellipticals and implies that low- and high-redshift quiescent galaxies have qualitatively similar dynamical structures. We compare $|V_5|/\sigma_0$ distributions at $z\sim0.8$ and the present day by re-binning and smoothing the kinematic maps of 91 low-redshift quiescent galaxies from the CALIFA survey and find evidence for a decrease in rotational support since $z\sim1$. This result is especially strong when galaxies are compared at fixed velocity dispersion; if velocity dispersion does not evolve for individual galaxies then the rotational velocity at 5kpc was an average of ${94\pm22\%}$ higher in $z\sim0.8$ quiescent galaxies than today. Considering that the number of quiescent galaxies grows with time and that new additions to the population descend from rotationally-supported star-forming galaxies, our results imply that quiescent galaxies must lose angular momentum between $z\sim1$ and the present, presumably through dissipationless merging, and/or that the mechanism that transforms star-forming galaxies also reduces their rotational support.


title: Submillimeter flux as a probe of molecular ISM mass in high-$z$ galaxies

abstract: Recent long wavelength observations on the thermal dust continuum suggest that the Rayleigh-Jeans (RJ) tail can be used as a time-efficient quantitative probe of the dust and ISM mass in high-$z$ galaxies. We use high-resolution cosmological simulations from the Feedback in Realistic Environment (FIRE) project to analyze the dust emission of $M_*>10^{10}\;M_{\odot}$ galaxies at $z=2-4$. Our simulations (MassiveFIRE) explicitly include various forms of stellar feedback, and they produce the stellar masses and star formation rates of high-$z$ galaxies in agreement with observations. Using radiative transfer modelling, we show that sub-millimeter (sub-mm) luminosity and molecular ISM mass are tightly correlated and that the overall normalization is in quantitative agreement with observations. Notably, sub-mm luminosity traces molecular ISM mass even during starburst episodes as dust mass and mass-weighted temperature evolve only moderately between $z=4$ and $z=2$, including during starbursts. Our finding supports the empirical approach of using broadband sub-mm flux as a proxy for molecular gas content in high-$z$ galaxies. We thus expect single-band sub-mm observations with ALMA to dramatically increase the sample size of high-$z$ galaxies with reliable ISM masses in the near future.


title: Stellar Mass and 3.4 $\mu$m M/L Ratio Evolution of Brightest Cluster Galaxies in COSMOS since z ~ 1.0

abstract: We investigate the evolution of star formation rates (SFRs), stellar masses, and M/L$_{3.4 \mu m}$ ratios of brightest cluster galaxies (BCGs) in the COSMOS survey since z ~ 1 to determine the contribution of star formation to the growth-rate of BCG stellar mass over time. Through the spectral energy distribution (SED) fitting of the GALEX, CFHT, Subaru, Vista, Spitzer, and Herschel photometric data available in the COSMOS2015 catalog, we estimate the stellar mass and SFR of each BCG. We use a modified version of the iSEDfit package to fit the SEDs of our sample with both stellar and dust emission models, as well as constrain the impact of star formation history assumptions on our results. We find that in our sample of COSMOS BCGs, star formation evolves similarly to that in BCGs in samples of more massive galaxy clusters. However, compared to the latter, the magnitude of star formation in our sample is lower by ~ 1 dex. Additionally, we find an evolution of BCG baryonic mass-to-light ratio (M/L$_{3.4 \mu m}$) with redshift which is consistent with a passively aging stellar population. We use this to build upon Wen et al.'s (2013) low-redshift $\nu$L$_{3.4 \mu m}$-M$_{Stellar}$ relation, quantifying a correlation between $\nu$L$_{3.4 \mu m}$ and M$_{Stellar}$ to z ~ 1. By comparing our results to BCGs in Sunyaev-Zel'dovich and X-ray-selected samples of galaxy clusters, we find evidence that the normalization of star formation evolution in a cluster sample is driven by the mass range of the sample and may be biased upwards by cool cores.


title: Distribution of Serpens South protostars revealed with ALMA

abstract: Aims: We investigated the masses and spatial distributions of pre-stellar and protostellar candidates in the young, low-mass star forming region Serpens South, where active star formation is known to occur along a predominant filamentary structure. Previous observations used to study these distributions have been limited by two important observational factors: (1) sensitivity limits that leave the lowest-mass sources undetected, or (2) resolution limits that cannot distinguish binaries and/or cluster members in close proximity. Methods: Recent millimeter-wavelength interferometry observations can now uncover faint and/or compact sources in order to study a more complete population of protostars, especially in nearby ($D<500$ pc) clusters. Here we present ALMA observations of 1 mm (Band 6) continuum in a $3 \times 2$ arcminutes region at the center of Serpens South. Our angular resolution of $\sim1$ arcsec is equivalent to $\sim400$ au, corresponding to scales of envelopes and/or disks of protostellar sources. Results: We detect 52 sources with 1 mm continuum, and we measure masses of $0.002 - 0.9$ solar masses corresponding to gas and dust in the disk and/or envelope of the protostellar system. For the deeply embedded (youngest) sources with no IR counterparts, we find evidence of mass segregation and clustering according to: the Minimum Spanning Tree method, distribution of projected separations between unique sources, and concentration of higher-mass sources near to the dense gas at the cluster center. Conclusions: The mass segregation of the mm sources is likely primordial rather than dynamical given the young age of this cluster, compared with segregation time. This is the first case to show this for mm sources in a low-mass protostellar cluster environment.


title: Heating of the intergalactic medium by the cosmic microwave background during cosmic dawn

abstract: The intergalactic medium is expected to be at its coldest point before the formation of the first stars in the universe. Motivated by recent results from the EDGES experiment, we revisit the standard calculation of the kinetic temperature of the neutral gas through this period. When the first ultraviolet (UV) sources turn on, photons redshift into the Lyman lines of neutral hydrogen and repeatedly scatter within the Lyman-$\alpha$ line. They heat the gas via atomic recoils, and, through the Wouthuysen-Field effect, set the spin temperature of the 21-cm hyperfine (spin-flip) line of atomic hydrogen in competition with the resonant cosmic microwave background (CMB) photons. We show that the Lyman-$\alpha$ photons also mediate energy transfer between the CMB photons and the thermal motions of the hydrogen atoms. In the absence of X-ray heating, this new mechanism is the major correction to the temperature of the adiabatically cooling gas ($\sim 10 \%$ at $z=17$), and is several times the size of the heating rate found in previous calculations. We also find that the effect is more dramatic in non-standard scenarios that either enhance the radio background above the CMB or invoke new physics to cool the gas in order to explain the EDGES results. The coupling with the radio background can reduce the depth of the 21-cm absorption feature by almost a factor of two relative to the case with no sources of heating, and prevent the feature from developing a flattened bottom. As an inevitable consequence of the UV background that generates the absorption feature, this heating should be accounted for in any theoretical prediction.


title: Self-sustaining star formation fronts in filaments during cosmic dawn

abstract: We propose a new model for the ignition of star formation in low-mass halos by a self-sustaining shock front in cosmic filaments at high redshifts. The gaseous fuel for star formation resides in low mass halos which can not cool on their own due to their primordial composition and low virial temperatures. We show that star formation can be triggered in these filaments by a passing shock wave. The shells swept-up by the shock cool and fragment into cold clumps that form massive stars via thermal instability on a timescale shorter than the front's dynamical timescale. The shock, in turn, is self-sustained by energy injection from supernova explosions. The star formation front is analogous to a detonation wave, which drives exothermic reactions powering the shock. We find that sustained star formation would typically propel the front to a speed of $\sim 300-700\,\rm km\,s^{-1}$ during the epoch of reionization. Future observations by the $\textit{James Webb Space Telescope}$ could reveal the illuminated regions of cosmic filaments, and constrain the initial mass function of stars in them.


title: On the origin of gamma rays in Fermi blazars: beyond the broad line region

abstract: The gamma-ray emission in broad-line blazars is generally explained as inverse Compton (IC) radiation of relativistic electrons in the jet scattering optical-UV photons from the Broad Line Region (BLR), the so-called BLR External Compton scenario. We test this scenario on the Fermi gamma-ray spectra of 106 broad-line blazars detected with the highest significance or largest BLR, by looking for cut-off signatures at high energies compatible with gamma-gamma interactions with BLR photons. We do not find evidence for the expected BLR absorption. For 2/3 of the sources, we can exclude any significant absorption ($\tau_{max}<1$), while for the remaining 1/3 the possible absorption is constrained to be 1.5-2 orders of magnitude lower than expected. This result holds also dividing the spectra in high and low-flux states, and for powerful blazars with large BLR. Only 1 object out of 10 seems compatible with substantial attenuation ($\tau_{max}>5$). We conclude that for 9 out of 10 objects, the jet does not interact with BLR photons. Gamma-rays seem either produced outside the BLR most of the time, or the BLR is ~100x larger than given by reverberation mapping. This means that i) External Compton on BLR photons is disfavoured as the main gamma-ray mechanism, vs IC on IR photons from the torus or synchrotron self-Compton; ii) the Fermi gamma-ray spectrum is mostly intrinsic, determined by the interaction of the particle distribution with the seed-photons spectrum; iii) without suppression by the BLR, broad-line blazars can become copious emitters above 100 GeV, as demonstrated by 3C454.3. We expect the CTA sky to be much richer of broad-line blazars than previously thought.


title: The Next White (NEW) detector

abstract: Conceived to host 5 kg of xenon at a pressure of 15 bar in the fiducial volume, the NEXT- White (NEW) apparatus is currently the largest high pressure xenon gas TPC using electroluminescent amplification in the world. It is also a 1:2 scale model of the NEXT-100 detector scheduled to start searching for $\beta\beta 0\nu$ decays in 136Xe in 2019. Both detectors measure the energy of the event using a plane of photomultipliers located behind a transparent cathode. They can also reconstruct the trajectories of charged tracks in the dense gas of the TPC with the help of a plane of silicon photomultipliers located behind the anode. A sophisticated gas system, common to both detectors, allows the high gas purity needed to guarantee a long electron lifetime. NEXT-White has been operating since October 2017 at the Canfranc Underground Laboratory (LSC), in Spain. This paper describes the detector and associated infrastructures.


title: Revealing the host galaxy of a quasar 2175 \AA$ $ dust absorber at z = 2.12

abstract: We report the first detection of the host galaxy of a strong 2175 \AA$ $ dust absorber at z = 2.12 towards the background quasar SDSS J121143.42+083349.7 using HST/WFC3 IR F140W direct imaging and G141 grism spectroscopy. The spectroscopically confirmed host galaxy is located at a small impact parameter of ~ 5.5 kpc (~ 0.65$''$). The F140W image reveals a disk-like morphology with an effective radius of 2.24 $\pm$ 0.08 kpc. The extracted 1D spectrum is dominated by a continuum with weak emission lines ([O\III] and [O\II]). The [O\III]-based unobscured star formation rate (SFR) is 9.4 $\pm$ 2.6 M$_{\odot}$yr$^{-1}$ assuming an [O\III]/H$\alpha$ ratio of 1. The moderate 4000 \AA$ $ break (Dn(4000) index $\sim$ 1.3) and Balmer absorption lines indicate that the host galaxy contains an evolved stellar population with an estimated stellar mass M$_*$ of (3 - 7) $\times$ 10$^{10}$ M$_{\odot}$. The SFR and M$_*$ of the host galaxy are comparable to, though slightly lower than, those of typical emission-selected galaxies at $z$ $\sim$ 2. As inferred from our absorption analysis in Ma et al. (2015, 2017, 2018), the host galaxy is confirmed to be a chemically-enriched, evolved, massive, and star-forming disk-like galaxy that is likely in the transition from a blue star-forming galaxy to a red quiescent galaxy.


title: The Loss Surface of XOR Artificial Neural Networks

abstract: Training an artificial neural network involves an optimization process over the landscape defined by the cost (loss) as a function of the network parameters. We explore these landscapes using optimisation tools developed for potential energy landscapes in molecular science. The number of local minima and transition states (saddle points of index one), as well as the ratio of transition states to minima, grow rapidly with the number of nodes in the network. There is also a strong dependence on the regularisation parameter, with the landscape becoming more convex (fewer minima) as the regularisation term increases. We demonstrate that in our formulation, stationary points for networks with $N_h$ hidden nodes, including the minimal network required to fit the XOR data, are also stationary points for networks with $N_{h} +1$ hidden nodes when all the weights involving the additional nodes are zero. Hence, smaller networks optimized to train the XOR data are embedded in the landscapes of larger networks. Our results clarify certain aspects of the classification and sensitivity (to perturbations in the input data) of minima and saddle points for this system, and may provide insight into dropout and network compression.


title: Beta Function Quintessence Cosmological Parameters and Fundamental Constants I: Power and Inverse Power Law Dark Energy Potentials

abstract: This investigation explores using the beta function formalism to calculate analytic solutions for the observable parameters in rolling scalar field cosmologies. The beta function in this case is the derivative of the scalar $\phi$ with respect to the natural log of the scale factor $a$, $\beta(\phi)=\frac{d \phi}{d \ln(a)}$. Once the beta function is specified, modulo a boundary condition, the evolution of the scalar $\phi$ as a function of the scale factor is completely determined. A rolling scalar field cosmology is defined by its action which can contain a range of physically motivated dark energy potentials. The beta function is chosen so that the associated "beta potential" is an accurate, but not exact, representation of the appropriate dark energy model potential. The basic concept is that the action with the beta potential is so similar to the action with the model potential that solutions using the beta action are accurate representations of solutions using the model action. The beta function provides an extra equation to calculate analytic functions of the cosmologies parameters as a function of the scale factor that are that are not calculable using only the model action. As an example this investigation uses a quintessence cosmology to demonstrate the method for power and inverse power law dark energy potentials. An interesting result of the investigation is that the Hubble parameter H is almost completely insensitive to the power of the potentials and that $\Lambda$CDM is part of the family of quintessence cosmology power law potentials with a power of zero.


title: Interaction of Individual Skyrmions in Nanostructured Cubic Chiral Magnet

abstract: We report the direct evidence of field-dependent character of the interaction between individual magnetic skyrmions as well as between skyrmions and edges in B20-type FeGe nanostripes observed by means of high resolution Lorentz transmission electron microscopy. It is shown that above certain critical values of external magnetic field the character of such long-range skyrmion interactions change from attraction to repulsion. Experimentally measured equilibrium inter-skyrmion and skrymion-edge distances as function of applied magnetic field shows quantitative agreement with the results of micromagnetic simulations. Important role of demagnetizing fields and internal symmetry of three-dimensional magnetic skyrmions are discussed in details.


title: Higher-Order Nonlinear Complementary Filtering on Lie Groups

abstract: Nonlinear observer design for systems whose state space evolves on Lie groups is considered. The proposed method is similar to previously developed nonlinear observers in that it involves propagating the state estimate using a process model and corrects the propagated state estimate using an innovation term on the tangent space of the Lie group. In the proposed method, the innovation term is constructed by passing the gradient of an invariant cost function, resolved in a basis of the tangent space, through a linear time-invariant system. The introduction of the linear system completes the extension of linear complementary filters to nonlinear Lie group observers by allowing higher-order filtering. In practice, the proposed method allows for greater design freedom and, with the appropriate selection of the linear filter, the ability to filter bias and noise over specific bandwidths. A disturbance observer that accounts for constant and harmonic disturbances in group velocity measurements is also considered. Local asymptotic stability about the desired equilibrium point is demonstrated. A numerical example that demonstrates the desirable properties of the observer is presented in the context of pose estimation.


title: Lattice Boltzmann modeling of two-phase flow in macroporous media with application to porous asphalt

abstract: Porous asphalt (PA) is an open-graded porous material with a porosity of 20%, allowing fast drainage of rain and improving driving and acoustic conditions. However, the high porosity leads to significant contact with water resulting in a shorter life expectancy. To improve the durability and performance of PA, the distribution of water and its residence time have to be understood which entails capturing diverse multiphase phenomena. For these reasons, a numerical study is performed to analyze in detail the fluid transport mechanisms at play in PA, towards estimating the liquid distribution inside the nanometer- to millimeter-sized pore structure of PA. In this study, LBM is used for a detailed analysis of multiphase flow in complex porous domains. A multiphase single component LBM method, with parallel computing, has been developed different phase separation phenomena on surfaces and in porous media. The LBM is validated with Laplace law and dynamic capillary intrusion test and then the capillary uptake simulations are validated with analytical solutions, varying contact angles, tube shapes and sizes. Pore meniscus and corner arc menisci are studied in both square and triangular tubes. In order to address the behavior of rain droplets on a PA surface, run-off, wetting, pinning and evaporation of single droplet are considered in terms of effects of variation of contact angle, surface wetting heterogeneity and structure. Finally, gravity-driven drainage in PA is studied with LBM in accordance with temporal evolution of water distribution by comparing with experimental data, showing good agreement. This study allows a better understanding of the diverse multiphase flow phenomena occurring in complex porous media, namely PA, at pore scale in saturated and unsaturated states, providing information towards improving the durability and performance of PA.


title: Modified trace from pivotal Hopf $G$-coalgebra

abstract: In a recent paper the authors Beliakova, Blanchet and Gainutdinov have shown that the modified trace on the category $H$-pmod of the projective modules corresponds to the symmetrised integral on the finite dimensional pivotal Hopf algebra $H$. We generalize this fact to the context of $G$-graded categories and Hopf $G$-coalgebra studied by Turaev-Virelizier. We show that the symmetrised $G$-integral on a finite type pivotal Hopf $G$-coalgebra induces a modified trace in the associated $G$-graded category.


title: Quantum-impurity relaxometry of magnetization dynamics

abstract: Prototypes of quantum impurities (QI), such as NV and SiV centers in diamond, have been recently growing in popularity due to their minimally invasive and high-resolution magnetic field sensing. Here, we focus on quantum-impurity relaxometry as a method to probe collective excitations in magnetic insulators. We develop a general framework that relates the experimentally-measurable quantum-impurity relaxation rates to the properties of a magnetic system via the noise emitted by the latter. We suggest that, when the quantum-impurity frequency lies within the spin-wave gap, quantum-impurity relaxometry can be effectively deployed to detect signatures of the coherent spin dynamics, such as magnon condensation, both in ferromagnetic and antiferromagnetic systems, as well as open prospects to nonintrusively probe spin-wave transport regimes in magnetic insulators.


title: Numerical evidence of electron hydrodynamic whirlpools in graphene samples

abstract: We present an extension of recent relativistic Lattice Boltzmann methods based on Gaussian quadratures for the study of fluids in (2+1) dimensions. The new method is applied to the analysis of electron flow in graphene samples subject to electrostatic drive; we show that the flow displays hydro-electronic whirlpools in accordance with recent analytical calculations as well as experimental results.


title: Image Segmentation Using Subspace Representation and Sparse Decomposition

abstract: Image foreground extraction is a classical problem in image processing and vision, with a large range of applications. In this dissertation, we focus on the extraction of text and graphics in mixed-content images, and design novel approaches for various aspects of this problem. We first propose a sparse decomposition framework, which models the background by a subspace containing smooth basis vectors, and foreground as a sparse and connected component. We then formulate an optimization framework to solve this problem, by adding suitable regularizations to the cost function to promote the desired characteristics of each component. We present two techniques to solve the proposed optimization problem, one based on alternating direction method of multipliers (ADMM), and the other one based on robust regression. Promising results are obtained for screen content image segmentation using the proposed algorithm. We then propose a robust subspace learning algorithm for the representation of the background component using training images that could contain both background and foreground components, as well as noise. With the learnt subspace for the background, we can further improve the segmentation results, compared to using a fixed subspace. Lastly, we investigate a different class of signal/image decomposition problem, where only one signal component is active at each signal element. In this case, besides estimating each component, we need to find their supports, which can be specified by a binary mask. We propose a mixed-integer programming problem, that jointly estimates the two components and their supports through an alternating optimization scheme. We show the application of this algorithm on various problems, including image segmentation, video motion segmentation, and also separation of text from textured images.


title: Magnon excitations and quantum critical behavior of the ferromagnet U$_4$Ru$_7$Ge$_6$

abstract: We present an extensive study of the ferromagnetic heavy fermion compound U$_4$Ru$_7$Ge$_6$. Measurements of electrical resistivity, specific heat and magnetic properties show that U$_4$Ru$_7$Ge$_6$ orders ferromagnetically at ambient pressure with a Curie temperature $T_{C} = 6.8 \pm 0.3$ K. The low temperature magnetic behavior of this soft ferromagnet is dominated by the excitation of gapless spin-wave modes. Our results on the transport properties of U$_4$Ru$_7$Ge$_6$ under pressures up to $2.49$ GPa suggest that U$_4$Ru$_7$Ge$_6$ has a putative ferromagnetic quantum critical point (QCP) at $P_c \approx 1.7 \pm 0.02$ GPa. In the ordered phase, ferromagnetic magnons scatter the conduction electrons and give rise to a well defined power law temperature dependence in the resistivity. The coefficient of this term is related to the spin-wave stiffness and measurements of the very low temperature resistivity allow to accompany the behavior of this quantity as the the ferromagnetic QCP is approached. We find that the spin-wave stiffness decreases with increasing pressure implying that the transition to the non-magnetic Fermi liquid state is driven by the softening of the magnons. The observed quantum critical behavior of the magnetic stiffness is consistent with the influence of disorder in our system. At quantum criticality ($P = P_c \approx 1.7 \pm 0.02$ GPa), the resistivity shows the behavior expected for an itinerant metallic system near a ferromagnetic QCP.


title: Geometry underlies the mechanical stiffening and softening of an indented floating film

abstract: A basic paradigm underlying the Hookean mechanics of amorphous, isotropic solids is that small deformations are proportional to the magnitude of external forces. However, slender bodies may undergo large deformations even under minute forces, leading to nonlinear responses rooted in purely geometric effects. Here we study the indentation of a polymer film on a liquid bath. Our experiments and simulations support a recently-predicted stiffening response [Vella & Davidovitch, Phys. Rev. E 98, 013003 (2018)], and we show that the system softens at large slopes, in agreement with our theory that addresses small and large deflections. We show how stiffening and softening emanate from nontrivial yet generic features of the stress and displacement fields.


title: Predictive Process Monitoring Methods: Which One Suits Me Best?

abstract: Predictive process monitoring has recently gained traction in academia and is maturing also in companies. However, with the growing body of research, it might be daunting for companies to navigate in this domain in order to find, provided certain data, what can be predicted and what methods to use. The main objective of this paper is developing a value-driven framework for classifying existing work on predictive process monitoring. This objective is achieved by systematically identifying, categorizing, and analyzing existing approaches for predictive process monitoring. The review is then used to develop a value-driven framework that can support organizations to navigate in the predictive process monitoring field and help them to find value and exploit the opportunities enabled by these analysis techniques.


title: Dronology: An Incubator for Cyber-Physical System Research

abstract: Research in the area of Cyber-Physical Systems (CPS) is hampered by the lack of available project environments in which to explore open challenges and to propose and rigorously evaluate solutions. In this "New Ideas and Emerging Results" paper we introduce a CPS research incubator -- based upon a system, and its associated project environment, for managing and coordinating the flight of small Unmanned Aerial Systems (sUAS). The research incubator provides a new community resource, making available diverse, high-quality project artifacts produced across multiple releases of a safety-critical CPS. It enables researchers to experiment with their own novel solutions within a fully-executable runtime environment that supports both high-fidelity sUAS simulations as well as physical sUAS. Early collaborators from the software engineering community have shown broad and enthusiastic support for the project and its role as a research incubator, and have indicated their intention to leverage the environment to address their own research areas of goal modeling, runtime adaptation, safety-assurance, and software evolution.


title: On topological invariants of algebraic threefolds with ($\mathbb Q$-factorial) singularities

abstract: We study local, global and local-to-global properties of threefolds with certain singularities. We prove criteria for these threefolds to be rational homology manifolds and conditions for threefolds to satisfy rational Poincar\'e duality. We relate the topological Euler characteristic of elliptic Calabi-Yau threefolds with $\mathbb Q$-factorial terminal singularities to dimensions of Lie algebras and certain representations, Milnor and Tyurina numbers and other birational invariants of an elliptic fibration. We give an interpretation in terms of complex deformations. We state a conjecture on the extension of Kodaira's classification of singular fibers on relatively minimal elliptic surfaces to the class of birationally equivalent relatively minimal genus one fibered varieties and we give results in this direction.


title: Fast Decentralized Optimization over Networks

abstract: The present work introduces the hybrid consensus alternating direction method of multipliers (H-CADMM), a novel framework for optimization over networks which unifies existing distributed optimization approaches, including the centralized and the decentralized consensus ADMM. H-CADMM provides a flexible tool that leverages the underlying graph topology in order to achieve a desirable sweet-spot between node-to-node communication overhead and rate of convergence -- thereby alleviating known limitations of both C-CADMM and D-CADMM. A rigorous analysis of the novel method establishes linear convergence rate, and also guides the choice of parameters to optimize this rate. The novel hybrid update rules of H-CADMM lend themselves to "in-network acceleration" that is shown to effect considerable -- and essentially "free-of-charge" -- performance boost over the fully decentralized ADMM. Comprehensive numerical tests validate the analysis and showcase the potential of the method in tackling efficiently, widely useful learning tasks.


title: A quantum Monte Carlo study of the long-ranged site-diluted XXZ-model as realized by polar molecules

abstract: Motivated by recent experiments with ultracold polar molecules trapped in deep optical lattices, we study ground-state properties of the long-ranged XXZ model with and without off-diagonal disorder. We map the spin model to a hard-core Bose-Hubbard model and perform large-scale Monte Carlo simulations by the Worm algorithm. In absence of disorder, we find that, for large enough interaction, three phases are stabilized: a superfluid phase, a checkerboard solid phase, only present at density n = 0.5, and a checkerboard supersolid phase which can be reached by doping the CB phase away from half-filling. In the presence of off-diagonal disorder and at fixed density n=0.5, we find that, unlike what observed in the case of short-range hopping, localization never occurs even for site dilution larger than the percolation threshold, and off-diagonal order, though strongly suppressed, persists for arbitrarily large values of site-dilution.


title: Integer and Fractional Quantum Hall effect in Ultra-high Quality Few-layer Black Phosphorus Transistors

abstract: As a high mobility two-dimensional semiconductor with strong structural and electronic anisotropy, atomically thin black phosphorus (BP) provides a new playground for investigating the quantum Hall (QH) effect, including outstanding questions such as the functional dependence of Landau level (LL) gaps on magnetic field B, and possible anisotropic fractional QH states. Using encapsulating few-layer BP transistors with mobility up to 55,000 cm2/Vs, we extract LL gaps over an exceptionally wide range of B for QH states at filling factors {\nu}=-1 to -4, which are determined to be linear in B, thus resolving a controversy raised by its anisotropy. Furthermore, a fractional QH state at {\nu}~ -4/3 and an additional feature at -0.56+/- 0.1 are observed, underscoring BP as a tunable 2D platform for exploring electron interactions.


title: A predictive framework for quantum gravity and black hole to white hole transition

abstract: The apparent incompatibility between quantum theory and general relativity has long hampered efforts to find a quantum theory of gravity. The recently proposed positive formalism for quantum theory purports to remove this incompatibility. We showcase the power of the positive formalism by applying it to the black hole to white hole transition scenario that has been proposed as a possible effect of quantum gravity. We show how the characteristic observable of this scenario, the bounce time, can be predicted within the positive formalism, while a traditional S-matrix approach fails at this task. Our result also involves a conceptually novel use of positive operator valued measures.


title: The fragmentation properties of massive protocluster gas clumps: an ALMA study

abstract: Fragmentation of massive dense molecular clouds is the starting point in the formation of rich clusters and massive stars. Theory and numerical simulations indicate that the population of the fragments (number, mass, diameter, separation) resulting from the gravitational collapse of such clumps is probably regulated by the balance between the magnetic field and the other competitors of self-gravity, in particular turbulence and protostellar feedback. We have observed 11 massive, dense and young star-forming clumps with the Atacama Large Millimeter Array (ALMA) in the thermal dust continuum emission at $\sim 1$~mm with an angular resolution of 0.25 arcseconds with the aim of determining their population of fragments. We find fragments on sub-arcsecond scales in 8 out of the 11 sources. The ALMA images indicate two different fragmentation modes: a dominant fragment surrounded by companions with much smaller mass and size, and many ($\geq 8$) fragments with a gradual change in masses and sizes. On average, the largest number of fragments is found towards the warmer and more massive clumps. Also, the warmer clumps tend to form fragments with larger mass and size. To understand the role of the different physical parameters to regulate the final population of the fragments, we have simulated the collapse of a massive clump of $100$ and $300$ M$_{\odot}$ having different magnetic support. The simulations indicate that: (1) fragmentation is inhibited when the initial turbulence is low, independent of the other physical parameters. (2) a filamentary distribution of the fragments is favoured in a highly magnetised clump. We conclude that the clumps that show many fragments distributed in a filamentary-like structure are likely characterised by a strong magnetic field, while the others are possible also in a weaker magnetic field.


title: Phase Transition on the Classical Dimer Model on a 3-4 Lattice

abstract: In this paper, we investigate if it occurs a phase transition for a system of classical dimers adsorbed on a 3-4 lattice in the thermodynamic limit. We define four types of bonds (denoted by the dimers activities adsorbed in her, $x$, $y$, $u$ and $v$) and evaluated the partition function from the combinatorial method of the pfaffian and using periodic boundary conditions. We write the density of free energy per particle and the condition to his analyticity, showing that there is a critical point for a determined choice of the activities. We also numerically evaluated the integral on free energy and their derivates (entropy and specific heat) for the same case and compute the entropy density and molecular freedom per particle at high temperatures for this choice of the activities.


title: PPLS: A Privacy-Preserving Location-Sharing Scheme in Vehicular Social Networks

abstract: Recent advances in Socially Aware Networks (SANs) have allowed its use in many domains, out of which social Internet of vehicles (SIOV) is of prime importance. SANs can provide a promising routing and forwarding paradigm for SIOV by using interest-based communication. Though able to improve the forwarding performance, existing interest-based schemes fail to consider the important issue of protecting users' interest information. In this paper, we propose a PRivacy-preserving Interest-based Forwarding scheme (PRIF) for SIOV, which not only protects the interest information, but also improves the forwarding performance. We propose a privacy-preserving authentication protocol to recognize communities among mobile nodes. During data routing and forwarding, a node can know others' interests only if they are affiliated with the same community. Moreover, to improve forwarding performance, a new metric {\em community energy} is introduced to indicate vehicular social proximity. Community energy is generated when two nodes encounter one another and information is shared among them. PRIF considers this energy metric to select forwarders towards the destination node or the destination community. Security analysis indicates PRIF can protect nodes' interest information. In addition, extensive simulations have been conducted to demonstrate that PRIF outperforms the existing algorithms including the BEEINFO, Epidemic, and PRoPHET.


title: The H.E.S.S. Galactic plane survey

abstract: We present the results of the most comprehensive survey of the Galactic plane in very high-energy (VHE) gamma-rays, including a public release of Galactic sky maps, a catalog of VHE sources, and the discovery of 16 new sources of VHE gamma-rays. The High Energy Spectroscopic System (H.E.S.S.) Galactic plane survey (HGPS) was a decade-long observation program carried out by the H.E.S.S. I array of Cherenkov telescopes in Namibia from 2004 to 2013. The observations amount to nearly 2700 h of data, covering the Galactic plane at longitudes from l = 250 deg to 65 deg and latitudes |b| < 3 deg. In addition to the unprecedented spatial coverage, the HGPS also features a relatively high angular resolution (0.08 deg), sensitivity (1.5% Crab flux for point-like sources), and energy range (0.2-100 TeV). We constructed a source catalog with a systematic procedure for both source detection and characterization of morphology and spectrum. We present this method, including the introduction of a model component to account for unresolved, large-scale emission along the Galactic plane. In total, the resulting HGPS catalog contains 78 VHE sources, of which 14 are not reanalyzed here. Where possible, we provide a firm identification of the VHE source or plausible associations with sources in other astronomical catalogs. We also studied the characteristics of the VHE sources with source parameter distributions. 16 new sources were previously unknown or unpublished, and we individually discuss their identifications or possible associations. We firmly identified 31 sources as pulsar wind nebulae (PWNe), supernova remnants (SNRs), composite SNRs, or gamma-ray binaries. Among the 47 sources not yet identified, most of them (36) have possible associations with cataloged objects, notably PWNe and energetic pulsars that could power VHE PWNe.


title: Traceability in the Wild: Automatically Augmenting Incomplete Trace Links

abstract: Software and systems traceability is widely accepted as an essential element for supporting many software development tasks. Today's version control systems provide inbuilt features that allow developers to tag each commit with one or more issue ID, thereby providing the building blocks from which project-wide traceability can be established between feature requests, bug fixes, commits, source code, and specific developers. However, our analysis of six open source projects showed that on average only 60% of the commits were linked to specific issues. Without these fundamental links the entire set of project-wide links will be incomplete, and therefore not trustworthy. In this paper we address the fundamental problem of missing links between commits and issues. Our approach leverages a combination of process and text-related features characterizing issues and code changes to train a classifier to identify missing issue tags in commit messages, thereby generating the missing links. We conducted a series of experiments to evaluate our approach against six open source projects and showed that it was able to effectively recommend links for tagging issues at an average of 96% recall and 33% precision. In a related task for augmenting a set of existing trace links, the classifier returned precision at levels greater than 89% in all projects and recall of 50%


title: The nitrogen cycles on Pluto over seasonal and astronomical timescales

abstract: Pluto's landscape is shaped by the cycles of the volatile ices covering its surface. In particular, the Sputnik Planitia (SP) ice sheet displays a large diversity of terrains, with bright and dark plains, pits, topographic depressions and evidences of recent and past glacial flows. Outside SP, New Horizons also revealed numerous N2 ice deposits, in Tombaugh Regio and at mid-northern latitudes. These observations suggest a complex history involving volatile and glacial processes on different timescales. We present numerical simulations of volatile transport on Pluto performed with a model able to simulate the N2 cycle over millions of years (Myrs), taking into account the changes of obliquity and orbital parameters as experienced by Pluto. Results show that over one obliquity cycle, the latitudes of SP between 25{\deg}S-30{\deg}N are dominated by N2 condensation, while the latitudes between 30-50{\deg}N are dominated by N2 sublimation. We find that a net amount of 1 km of ice has sublimed at the northern edge of SP during the last 2 Myrs. By comparing these results with the observed geology of SP, we can relate the formation of the pits and the brightness of the ice to the ice flux occurring at the annual timescale, while the glacial flows at its eastern edge and the erosion of the water ice mountains all around the ice sheet are related to the astronomical timescale. We also perform simulations with a glacial flow scheme which shows that SP is currently at its minimum extent. We also explore the stability of N2 ice outside SP. Results show that it is not stable at the poles but rather in the equatorial regions, in particular in depressions, where thick deposits may persist over tens of Myrs, before being trapped in SP. Finally, another key result is that the minimum and maximum surface pressures obtained over the simulated Myrs remain in the range of mm-Pa and Pa, respectively.


title: An Analytic Model for Eddy Current Separation

abstract: Eddy current separation (ECS) is a process used throughout the scrap recycling industry for separating nonferrous metals from nonmetallic fluff. To date, however, the physical theory of ECS has generally been limited to empirical approximations and numerical simulations. We therefore introduce a simplified, two-dimensional model for ECS based on a cylindrical array of permanent, alternating magnets. The result is a Fourier-series expansion that describes the total magnetic field profile over all space. If the magnets are then rotated with constant angular velocity, the magnetic fields vary as a discrete series of sinusoidal harmonics, thereby inducing electrical eddy currents in nearby conductive particles. Force and torque calculations can then be used to predict the corresponding kinematic trajectories.


title: Water Bridging Dynamics of Polymerase Chain Reaction in the Gauge Theory Paradigm of Quantum Fields

abstract: We discuss the role of water bridging the DNA-enzyme interaction by resorting to recent results showing that London dispersion forces between delocalized electrons of base pairs of DNA are responsible for the formation of dipole modes that can be recognized by \textit{Taq} polymerase. We describe the dynamic origin of the high efficiency and precise targeting of \textit{Taq} activity in PCR. The spatiotemporal distribution of interaction couplings, frequencies, amplitudes, and phase modulations comprise a pattern of fields which constitutes the electromagnetic image of DNA in the surrounding water, which is what the polymerase enzyme actually recognizes in the DNA water environment. The experimental realization of PCR amplification, achieved through replacement of the DNA template by the treatment of pure water with electromagnetic signals recorded from viral and bacterial DNA solutions, is found consistent with the gauge theory paradigm of quantum fields.


title: The impact of electrical couplings on the sequential bursting activity in the ensemble of inhibitory coupled Van der Pol elements

abstract: The new phenomenological model of the ensemble of three neurons with chemical (synaptic) and electrical couplings has been studied. One neuron is modeled by a single Van der Pol oscillator. The influence of the electrical coupling strength and the frequency mismatch between the elements to the regime of sequential activity is investigated.


title: Semantically Enhanced Software Traceability Using Deep Learning Techniques

abstract: In most safety-critical domains the need for traceability is prescribed by certifying bodies. Trace links are generally created among requirements, design, source code, test cases and other artifacts, however, creating such links manually is time consuming and error prone. Automated solutions use information retrieval and machine learning techniques to generate trace links, however, current techniques fail to understand semantics of the software artifacts or to integrate domain knowledge into the tracing process and therefore tend to deliver imprecise and inaccurate results. In this paper, we present a solution that uses deep learning to incorporate requirements artifact semantics and domain knowledge into the tracing solution. We propose a tracing network architecture that utilizes Word Embedding and Recurrent Neural Network (RNN) models to generate trace links. Word embedding learns word vectors that represent knowledge of the domain corpus and RNN uses these word vectors to learn the sentence semantics of requirements artifacts. We trained 360 different configurations of the tracing network using existing trace links in the Positive Train Control domain and identified the Bidirectional Gated Recurrent Unit (BI-GRU) as the best model for the tracing task. BI-GRU significantly out-performed state-of-the-art tracing methods including the Vector Space Model and Latent Semantic Indexing.


title: Dathematics: A Meta-isomorphic Version of 'Standard' Mathematics based on Proper Classes

abstract: We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order logic theory D-ZFC (Dual theory of ZFC) strictly based on (a particular sub-collection of) proper classes with a corresponding special membership relation, such that ZFC and D-ZFC are meta-isomorphic frameworks (together with a more general dualization theorem). More specifically, for any standard formal definition, axiom and theorem that can be described and deduced in ZFC, there exists a corresponding `dual' version in D-ZFC and vice versa. Finally, we prove the meta-fact that (classic) mathematics (i.e. theories grounded on ZFC) and dathematics (i.e. dual theories grounded on D-ZFC) are meta-isomorphic. This shows that proper classes are as suitable (primitive notions) as sets for building a foundational framework for mathematics.


title: PRIF: A Privacy-Preserving Interest-Based Forwarding Scheme for Social Internet of Vehicles


title: Investigating scalar-tensor-gravity with statistics of the cosmic large-scale structure

abstract: Future observations of the large-scale structure have the potential to investigate cosmological models with a high degree of complexity, including the properties of gravity on large scales, the presence of a complicated dark energy component, and the addition of neutrinos changing structures on small scales. Here we study Horndeski theories of gravity, the most general minimally coupled scalar-tensor theories of second order. While the cosmological background evolution can be described by an effective equation of state, the perturbations are characterised by four free functions of time. We consider a specific parametrisation of these functions tracing the dark energy component. The likelihood of the full parameter set resulting from combining cosmic microwave background primary anisotropies including their gravitational lensing signal, tomographic angular galaxy clustering and weak cosmic shear, together with all possible non-vanishing cross-correlations is evaluated; both with the Fisher-formalism as well as without the assumption of a specific functional form of the posterior through Monte-Carlo Markov-chains (MCMCs). Our results show that even complex cosmological models can be constrained and could exclude variations of the effective Newtonian gravitational coupling larger than 10\% over the age of the Universe. In particular, we confirm strong correlations between parameter groups. Furthermore, we find that the expected contours from MCMC are significantly larger than those from the Fisher analysis even with the vast amount of signal provided by stage IV experiments, illustrating the importance of a proper treatment of non-Gaussian likelihoods and the high level of precision needed for unlocking the sensitivity on gravitational parameters.


title: A Local Sensory and Control Strategy for Following Hydrodynamic Signals

abstract: Many aquatic organisms are able to track ambient flow disturbances and locate their source. These tasks are particularly challenging because they require the organism to sense local flow information and respond accordingly. Details of how these capabilities emerge from the interplay between neural control and mechano-sensory modalities remain elusive. Inspired by these organisms, we develop a mathematical model of a mobile sensor designed to find the source of a periodic flow disturbance. The sensor locally extracts the direction of propagation of the flow signal and adjusts its heading accordingly. We show, in a simplified flow field and under certain conditions on the controller, that the mobile sensor converges unconditionally to the source of the flow field. Then, through carefully-conducted numerical simulations of flow past an oscillating airfoil, we assess the behavior of the mobile sensor in complex flows and demonstrate its efficacy in tracking the flow signal and locating the airfoil. The proposed sensory and control strategy is relevant to the design of bio-inspired underwater robots, but the general idea of orienting opposite to the direction of information propagation can be applied more broadly in optimal sensor placements and climate models.


title: Bayesian Hierarchical Modelling for Tailoring Metric Thresholds

abstract: Software is highly contextual. While there are cross-cutting `global' lessons, individual software projects exhibit many `local' properties. This data heterogeneity makes drawing local conclusions from global data dangerous. A key research challenge is to construct locally accurate prediction models that are informed by global characteristics and data volumes. Previous work has tackled this problem using clustering and transfer learning approaches, which identify locally similar characteristics. This paper applies a simpler approach known as Bayesian hierarchical modeling. We show that hierarchical modeling supports cross-project comparisons, while preserving local context. To demonstrate the approach, we conduct a conceptual replication of an existing study on setting software metrics thresholds. Our emerging results show our hierarchical model reduces model prediction error compared to a global approach by up to 50%.


title: Dependence of the density of states on the probability distribution for discrete random Schr\"odinger operators

abstract: We prove that the the density of states measure (DOSm) for random Schr\"odinger operators on $\mathbb{Z}^d$ is weak-$^*$ H\"older-continuous in the probability measure. The framework we develop is general enough to extend to a wide range of discrete, random operators, including the Anderson model on the Bethe lattice, as well as random Schr\"odinger operators on the strip. An immediate application of our main result provides quantitive continuity estimates for the disorder dependence of the DOSm and the integrated density of states (IDS) in the weak disorder regime. These results hold for a general compactly supported single-site probability measure, without any further assumptions. The few previously available results for the disorder dependence of the IDS valid for dimensions $d \geq 2$ assumed absolute continuity of the single-site measure and thus excluded the Bernoulli-Anderson model. As a further application of our main result, we establish quantitative continuity results for the Lyapunov exponent of random Schr\"odinger operators for $d=1$ in the probability measure with respect to the weak-$^*$ topology.


title: Extracting Scientific Figures with Distantly Supervised Neural Networks

abstract: Non-textual components such as charts, diagrams and tables provide key information in many scientific documents, but the lack of large labeled datasets has impeded the development of data-driven methods for scientific figure extraction. In this paper, we induce high-quality training labels for the task of figure extraction in a large number of scientific documents, with no human intervention. To accomplish this we leverage the auxiliary data provided in two large web collections of scientific documents (arXiv and PubMed) to locate figures and their associated captions in the rasterized PDF. We share the resulting dataset of over 5.5 million induced labels---4,000 times larger than the previous largest figure extraction dataset---with an average precision of 96.8%, to enable the development of modern data-driven methods for this task. We use this dataset to train a deep neural network for end-to-end figure detection, yielding a model that can be more easily extended to new domains compared to previous work. The model was successfully deployed in Semantic Scholar, a large-scale academic search engine, and used to extract figures in 13 million scientific documents.


title: All-to-all connected networks by multi-frequency excitation of polaritons

abstract: We analyze theoretically a network of all-to-all coupled polariton modes, realized by a trapped polariton condensate excited by a comb of different frequencies. In the low-density regime the system dynamically finds a state with maximal gain defined by the average intensities (weights) of the excitation beams, analogous to active mode locking in lasers, and thus solves a maximum eigenvalue problem set by the matrix of weights. The method opens the possibility to tailor a superposition of populated bosonic modes in the trapped condensate by appropriate choice of drive.


title: e-SAFE: Secure, Efficient and Forensics-Enabled Access to Implantable Medical Devices

abstract: To facilitate monitoring and management, modern Implantable Medical Devices (IMDs) are often equipped with wireless capabilities, which raise the risk of malicious access to IMDs. Although schemes are proposed to secure the IMD access, some issues are still open. First, pre-sharing a long-term key between a patient's IMD and a doctor's programmer is vulnerable since once the doctor's programmer is compromised, all of her patients suffer; establishing a temporary key by leveraging proximity gets rid of pre-shared keys, but as the approach lacks real authentication, it can be exploited by nearby adversaries or through man-in-the-middle attacks. Second, while prolonging the lifetime of IMDs is one of the most important design goals, few schemes explore to lower the communication and computation overhead all at once. Finally, how to safely record the commands issued by doctors for the purpose of forensics, which can be the last measure to protect the patients' rights, is commonly omitted in the existing literature. Motivated by these important yet open problems, we propose an innovative scheme e-SAFE, which significantly improves security and safety, reduces the communication overhead and enables IMD-access forensics. We present a novel lightweight compressive sensing based encryption algorithm to encrypt and compress the IMD data simultaneously, reducing the data transmission overhead by over 50% while ensuring high data confidentiality and usability. Furthermore, we provide a suite of protocols regarding device pairing, dual-factor authentication, and accountability-enabled access. The security analysis and performance evaluation show the validity and efficiency of the proposed scheme.


title: Polish Mathematicians and Mathematics in World War I

abstract: In this article we present diverse experiences of Polish mathematicians (in a broad sense) who during World War I fought for freedom of their homeland or conducted their research and teaching in difficult wartime circumstances. We first focus on those affiliated with Polish institutions of higher education: the existing Universities in Lw\'ow in Krak\'ow and the Lw\'ow Polytechnics (Austro-Hungarian empire) as well as the reactivated University of Warsaw and the new Warsaw Polytechnics (the Polish Kingdom, formerly in the Russian empire). Then we consider the situations of Polish mathematicians in the Russian empire and other countries. We discuss not only individual fates, but also organizational efforts of many kinds (teaching at the academic level outside traditional institutions-- in Society for Scientific Courses in Warsaw and in Polish University College in Kiev; scientific societies in Krak\'ow, Lw\'ow, Moscow and Kiev; publishing activities) in order to illustrate the formation of modern Polish mathematical community.


title: The origin of the optical flashes: The case study of GRB 080319B and GRB 130427A

abstract: Correlations between optical flashes and gamma-ray emissions in gamma-ray bursts have been searched in order to clarify the question whether these emissions occur at internal and/or external shocks. Among the most powerful gamma-ray bursts ever recorded are GRB 080319B and GRB 130427A which at early phase presented bright optical flashes possible correlated with $\gamma$-ray components. Additionally, both bursts were fortuitously located within the field of view of the TeV $\gamma$-ray Milagro and HAWC observatories, and although no statistically significant excess of counts were collected, upper limits were placed on the GeV - TeV emission. Considering the synchrotron self-Compton emission from internal shocks and requiring the GeV-TeV upper limits we found that the optical flashes and the $\gamma$-ray components are produced by different electron populations. Analyzing the optical flashes together the multiwavelength afterglow observation, we found that these flashes can be interpreted in the framework of the synchrotron reverse-shock model when outflows have arbitrary magnetizations.


title: Frame sets for generalized $B$-splines

abstract: The frame set of a function $g\in L^2(\mathbb{R})$ is the subset of all parameters $(a, b)\in \mathbb{R}^2_+$ for which the time-frequency shifts of $g$ along $a\mathbb{Z}\times b\mathbb{Z}$ form a Gabor frame for $L^2(\mathbb{R}).$ In this paper, we investigate the frame set of a class of functions that we call \emph{generalized $B-$splines} and which includes the $B-$splines. In particular, we add many new points to the frame sets of these functions. In the process, we generalize and unify some recent results on the frame sets for this class of functions.


title: Three-colour bipartite Ramsey number for graphs with small bandwidth

abstract: We estimate the $3$-colour bipartite Ramsey number for balanced bipartite graphs $H$ with small bandwidth and bounded maximum degree. More precisely, we show that the minimum value of $N$ such that in any $3$-edge colouring of $K_{N,N}$ there is a monochromatic copy of $H$ is at most $\big(3/2+o(1)\big)|V(H)|$. In particular, we determine asymptotically the $3$-colour bipartite Ramsey number for balanced grid graphs.


title: Combinatorial Register Allocation and Instruction Scheduling

abstract: This paper introduces a combinatorial optimization approach to register allocation and instruction scheduling, two central compiler problems. Combinatorial optimization has the potential to solve these problems optimally and to exploit processor-specific features readily. Our approach is the first to leverage this potential in practice: it captures the complete set of program transformations used in state-of-the-art compilers, scales to medium-sized functions of up to 1000 instructions, and generates executable code. This level of practicality is reached by using constraint programming, a particularly suitable combinatorial optimization technique. Unison, the implementation of our approach, is open source, used in industry, and integrated with the LLVM toolchain. An extensive evaluation confirms that Unison generates better code than LLVM while scaling to medium-sized functions. The evaluation uses systematically selected benchmarks from MediaBench and SPEC CPU2006 and different processor architectures (Hexagon, ARM, MIPS). Mean estimated speedup ranges from 1.1% to 10% and mean code size reduction ranges from 1.3% to 3.8% for the different architectures. A significant part of this improvement is due to the integrated nature of the approach. Executing the generated code on Hexagon confirms that the estimated speedup results in actual speedup. Given a fixed time limit, Unison solves optimally functions of up to 946 instructions, nearly an order of magnitude larger than previous approaches. The results show that our combinatorial approach can be applied in practice to trade compilation time for code quality beyond the usual compiler optimization levels, identify improvement opportunities in heuristic algorithms, and fully exploit processor-specific features.


title: Unambiguous connection between the Fermi surface topology and the pseudogap in Bi$_{2}$Sr$_2$CaCu$_2$O$_{8+d}$

abstract: We study the behavior of the pseudogap in overdoped Bi$_{2}$Sr$_2$CaCu$_2$O$_{8+d}$ by electronic Raman scattering (ERS) and angle-resolved photoemission spectroscopy (ARPES) on the same single crystals. Using both techniques we find that, unlike the superconducting gap, the pseudogap related to the anti-bonding band vanishes above the critical doping p$_c$ = 0.22. Concomitantly, we show from ARPES measurements that the Fermi surface of the anti-bonding band is hole-like below pc and becomes electron-like above p$_c$. This reveals that the appearance of the pseudogap depends on the Fermi surface topology in Bi$_{2}$Sr$_2$CaCu$_2$O$_{8+d}$ , and more generally, puts strong constraint on theories of the pseudogap phase.


title: Affinity-based extension of non-extensive entropy and statistical mechanics

abstract: Tsallis' non-extensive entropy is extended to incorporate the dependence on affinities between the microstates of a system. At the core of our construction of the extended entropy ($\mathcal{H}$) is the concept of the effective number of dissimilar states, termed the effective diversity ($\mathit{\Delta}$). It is a unique integrated measure derived from the probability distribution among states and the affinities between states. The effective diversity is related to the extended entropy through the Boltzmann's-equation-like relation, $\mathcal{H}=\ln_{q}\mathit{\Delta}$, in terms of the Tsallis' $q$-logarithm. A new principle called the Nesting Principle is established, stating that the effective diversity remains invariant under an arbitrary grouping of the constituent states. It is shown that this invariance property holds only for $q=2$; however, the invariance is recovered for general $q$ in the zero-affinity limit (i.e. the Tsallis and Boltzmann-Gibbs case). Using the affinity-based extended Tsallis entropy, the microcanonical and the canonical ensembles are constructed in the presence of general between-state affinities. It is shown that the classic postulate of equal a priori probabilities no longer holds but is modified by affinity-dependent terms. As an illustration, a two-level system is investigated by the extended canonical method, which manifests that the thermal behaviours of the thermodynamic quantities at equilibrium are affected by the between-state affinity. Furthermore, some applications and implications of the affinity-based extended diversity/entropy for information theory and biodiversity theory are addressed in appendices.


title: Treatment of the quasi-harmonic potential with the centrifugal type term in the Schroedinger equation via Laplace transform

abstract: In the quantum frame, for 3-dimensional space, in the two body problem case, we approach the Schr\"odinger equation (SE) taking in account the potential: Vq(r)=Dr^2+(A/r)+(B/r^2) called by us quasi-harmonic potential with the centrifugal type term, with D,A,B >0 and D<<1. We use Laplace transform method (LTM) and we find for the first time an analytic solution of the Vq-potential problem. Namely, using directly and inverse Laplace transformations, we obtain the complete forms of the energy eigenvalues and wave functions. Furthermore, for this potential Vq, we make considerations about critical orbital quantum value "lc" and we obtain a useful approximation of upper bound "lc+" to "lc".


title: Symmetry Protected Topological Metals

abstract: We show that sharply defined topological quantum phase transitions are not limited to states of matter with gapped electronic spectra. Such transitions may also occur between two gapless metallic states both with extended Fermi surfaces. The transition is characterized by a discontinuous, but not quantized, jump in an off-diagonal transport coefficient. Its sharpness is protected by a symmetry, such as e.g. particle-hole, which remains unbroken across the transition. We present a simple model of this phenomenon, based on 2D $p+ip$ superconductor with an applied supercurrent, and discuss its geometrical interpretation.


title: 2D Rutherford-Like Scattering in Ballistic Nanodevices

abstract: Ballistic injection in a nanodevice is a complex process where electrons can either be transmitted or reflected, thereby introducing deviations from the otherwise quantized conductance. In this context, quantum rings (QRs) appear as model geometries: in a semiclassical view, most electrons bounce against the central QR antidot, which strongly reduces injection efficiency. Thanks to an analogy with Rutherford scattering, we show that a local partial depletion of the QR close to the edge of the antidot can counter-intuitively ease ballistic electron injection. On the contrary, local charge accumulation can focus the semi-classical trajectories on the hard-wall potential and strongly enhance reflection back to the lead. Scanning gate experiments on a ballistic QR, and simulations of the conductance of the same device are consistent, and agree to show that the effect is directly proportional to the ratio between the strength of the perturbation and the Fermi energy. Our observation surprisingly fits the simple Rutherford formalism in two-dimensions in the classical limit.


title: Effect of Substrate Temperature on Structural and Magnetic Properties of c-axis Ori-ented Spinel Ferrite Ni0.65Zn0.35Fe2O4 (NZFO) Thin Films

abstract: Varying the substrate temperature changes structural and magnetic properties of spinel ferrite NZFO thin films. XRD of films grown at different temperature display only 004 reflections, without any secondary peaks, showing growth orientation along the c axis. We find an increase in crystalline quality of these thin films with the rise of substrate temperature. The surface topography of the thin films grown on various growth temperatures conditions reveal that these films are smooth with low roughness, however the thin films grown at 800 C exhibit lowest average and rms roughness among all thin films. We find iron and nickel to be more oxidized i,e greater Fe and Ni content in films grown and annealed at 700 C and 800 C, compared to those grown at lower temperatures. The magnetic moment is observed to increase with an increase of substrate temperature and all thin films possess high saturation magnetization and low coercive field at room temperature. Films grown at 800 C exhibit a ferrimagnetic paramagnetic phase transition well above room temperature. The observed large magnetizations with soft magnetic behavior in NZFO thin films above room temperature suggest potential application in memory, spintronics, and multifunctional devices.


title: An estimation of distribution algorithm for the computation of innovation estimators of diffusion processes

abstract: Estimation of Distribution Algorithms (EDAs) and Innovation Method are recognized methods for solving global optimization problems and for the estimation of parameters in diffusion processes, respectively. Well known is also that the quality of the Innovation Estimator strongly depends on an adequate selection of the initial value for the parameters when a local optimization algorithm is used in its computation. Alternatively, in this paper, we study the feasibility of a specific EDA - a continuous version of the Univariate Marginal Distribution Algorithm (UMDAc) - for the computation of the Innovation Estimators. Numerical experiments are performed for two different models with a high level of complexity. The numerical simulations show that the considered global optimization algorithms substantially improves the effectiveness of the Innovation Estimators for different types of diffusion processes with complex nonlinear and stochastic dynamics.


title: Cooperative Charge Pumping and Enhanced Skyrmion Mobility

abstract: The electronic pumping arising from the steady motion of ferromagnetic skyrmions is investigated by solving the time evolution of the Schrodinger equation implemented on a tight-binding model with the statistical physics of the many-body problem. It is shown that the ability of steadily moving skyrmions to pump large charge currents arises from their non-trivial magnetic topology, i.e. the coexistence between spin-motive force and topological Hall effect. Based on an adiabatic scattering theory, we compute the pumped current and demonstrate that it scales with the reflection coefficient of the conduction electrons against the skyrmion. Finally, we propose that such a phenomenon can be exploited in the context of racetrack devices, where the electronic pumping enhances the collective motion of the train of skyrmions.


title: Discussion of the article "Bayesian cluster analysis: point estimation and credible balls" by Wade and Ghahramani

abstract: We present a discussion of the paper "Bayesian cluster analysis: point estimation and credible balls" by Wade and Ghahramani. We believe that this paper contributes substantially to the literature on Bayesian clustering by filling in an important methodological gap, by providing a means to assess the uncertainty around a point estimate of the optimal clustering solution based on a given loss function. In our discussion we reflect on the characterisation of uncertainty around the Bayesian optimal partition, revealing other possible alternatives that may be viable. In addition, we suggest other important extensions of the approach proposed which may lead to wider applicability.


title: Human Robot Interface for Assistive Grasping

abstract: This work describes a new human-in-the-loop (HitL) assistive grasping system for individuals with varying levels of physical capabilities. We investigated the feasibility of using four potential input devices with our assistive grasping system interface, using able-bodied individuals to define a set of quantitative metrics that could be used to assess an assistive grasping system. We then took these measurements and created a generalized benchmark for evaluating the effectiveness of any arbitrary input device into a HitL grasping system. The four input devices were a mouse, a speech recognition device, an assistive switch, and a novel sEMG device developed by our group that was connected either to the forearm or behind the ear of the subject. These preliminary results provide insight into how different interface devices perform for generalized assistive grasping tasks and also highlight the potential of sEMG based control for severely disabled individuals.


title: Deep Person Detection in 2D Range Data

abstract: Detecting humans is a key skill for mobile robots and intelligent vehicles in a large variety of applications. While the problem is well studied for certain sensory modalities such as image data, few works exist that address this detection task using 2D range data. However, a widespread sensory setup for many mobile robots in service and domestic applications contains a horizontally mounted 2D laser scanner. Detecting people from 2D range data is challenging due to the speed and dynamics of human leg motion and the high levels of occlusion and self-occlusion particularly in crowds of people. While previous approaches mostly relied on handcrafted features, we recently developed the deep learning based wheelchair and walker detector DROW. In this paper, we show the generalization to people, including small modifications that significantly boost DROW's performance. Additionally, by providing a small, fully online temporal window in our network, we further boost our score. We extend the DROW dataset with person annotations, making this the largest dataset of person annotations in 2D range data, recorded during several days in a real-world environment with high diversity. Extensive experiments with three current baseline methods indicate it is a challenging dataset, on which our improved DROW detector beats the current state-of-the-art.


title: Differentiable plasticity: training plastic neural networks with backpropagation

abstract: How can we build agents that keep learning from experience, quickly and efficiently, after their initial training? Here we take inspiration from the main mechanism of learning in biological brains: synaptic plasticity, carefully tuned by evolution to produce efficient lifelong learning. We show that plasticity, just like connection weights, can be optimized by gradient descent in large (millions of parameters) recurrent networks with Hebbian plastic connections. First, recurrent plastic networks with more than two million parameters can be trained to memorize and reconstruct sets of novel, high-dimensional 1000+ pixels natural images not seen during training. Crucially, traditional non-plastic recurrent networks fail to solve this task. Furthermore, trained plastic networks can also solve generic meta-learning tasks such as the Omniglot task, with competitive results and little parameter overhead. Finally, in reinforcement learning settings, plastic networks outperform a non-plastic equivalent in a maze exploration task. We conclude that differentiable plasticity may provide a powerful novel approach to the learning-to-learn problem.


title: Reconstructing Point Sets from Distance Distributions

abstract: We address the problem of reconstructing a set of points on a line or a loop from their unassigned noisy pairwise distances. When the points lie on a line, the problem is known as the turnpike; when they are on a loop, it is known as the beltway. We approximate the problem by discretizing the domain and representing the $N$ points via an $N$-hot encoding, which is a density supported on the discretized domain. We show how the distance distribution is then simply a collection of quadratic functionals of this density and propose to recover the point locations so that the estimated distance distribution matches the measured distance distribution. This can be cast as a constrained nonconvex optimization problem which we solve using projected gradient descent with a suitable spectral initializer. We derive conditions under which the proposed distance distribution matching approach locally converges to a global optimizer at a linear rate. Compared to the conventional backtracking approach, our method jointly reconstructs all the point locations and is robust to noise in the measurements. We substantiate these claims with state-of-the-art performance across a number of numerical experiments. Our method is the first practical approach to solve the large-scale noisy beltway problem where the points lie on a loop.


title: Transitions between smooth and rough surfaces in turbulent channel flows for d- and k-type rough elements

abstract: This paper presents an experimental study on the transition from smooth to rough walls, and back to the smooth one, in turbulent closed-conduit flows. These transitions cause a shift on flow velocity profiles that changes their parameters when compared to the flow over a smooth wall. Different water flow rates were imposed in a closed conduit of rectangular cross section, where rough elements consisting of cavities of d- and k-type were positioned covering a part of the bottom wall of the test section. Reynolds numbers based on the channel half-height were moderate, varying between 7800 and 9600, and the regime upstream of the rough elements was hydraulically smooth. Experimental data for this specific case remain scarce and the involved physics rests to be understood. The flow field was measured by low frequency PIV (particle image velocimetry) and by flow visualization, the latter using a continuous 0.1 W laser, a high-speed camera, and scripts written by the authors. From the instantaneous fields measured with PIV, the mean velocities, fluctuations, shear stresses and turbulence production were computed. The results show the presence of oscillations in Reynolds stress and turbulence production, that are higher for the k-type roughness and were not shown in previous experimental works. From the high-speed movies, the angular velocities and frequencies of vortices in the cavities were computed, and the occurrence of fluid ejection from the cavities to upper layers of the flow was observed. A relation between the angular velocities of inner-cavities vortices and the oscillations in Reynolds stress and turbulence production is proposed.


title: Radiative heat shuttling

abstract: We demonstrate the existence of a shuttling effect for the radiative heat flux exchanged between two bodies separated by a vacuum gap when the chemical potential of photons or the temperature difference is modulated. We show that this modulation typically gives rise to a supplementary flux which superimposes to the flux produced by the mean gradient, enhancing the heat exchange. When the system displays a negative differential thermal resistance, however, the radiative shuttling contributes to insulate the two bodies from each other. These results pave the way for a novel strategy for an active management of radiative heat exchanges in nonequilibrium systems.


title: Additive quaternary codes related to exceptional linear quaternary codes

abstract: We study additive quaternary codes whose parameters are close to those of the extended cyclic [12; 6; 6]4-code or to the quaternary linear codes generated by the elliptic quadric in PG(3; 4) or its dual. In particular we characterize those codes in the category of additive codes and construct some additive codes whose parameters are better than those of any linear quaternary code.


title: Coding of Graphs with Application to Graph Anomaly Detection

abstract: This paper has dual aims. First is to develop practical universal coding methods for unlabeled graphs. Second is to use these for graph anomaly detection. The paper develops two coding methods for unlabeled graphs: one based on the degree distribution, the second based on the triangle distribution. It is shown that these are efficient for different types of random graphs, and on real-world graphs. These coding methods is then used for detecting anomalous graphs, based on structure alone. It is shown that anomalous graphs can be detected with high probability.


title: Visual Tracking Using Sparse Coding and Earth Mover's Distance

abstract: An efficient iterative Earth Mover's Distance (iEMD) algorithm for visual tracking is proposed in this paper. The Earth Mover's Distance (EMD) is used as the similarity measure to search for the optimal template candidates in feature-spatial space in a video sequence. The computation of the EMD is formulated as the transportation problem from linear programming. The efficiency of the EMD optimization problem limits its use for visual tracking. To alleviate this problem, a transportation-simplex method is used for EMD optimization and a monotonically convergent iterative optimization algorithm is developed. The local sparse representation is used as the appearance models for the iEMD tracker. The maximum-alignment-pooling method is used for constructing a sparse coding histogram which reduces the computational complexity of the EMD optimization. The template update algorithm based on the EMD is also presented. The iEMD tracking algorithm assumes small inter-frame movement in order to guarantee convergence. When the camera is mounted on a moving robot, e.g., a flying quadcopter, the camera could experience a sudden and rapid motion leading to large inter-frame movements. To ensure that the tracking algorithm converges, a gyro-aided extension of the iEMD tracker is presented, where synchronized gyroscope information is utilized to compensate for the rotation of the camera. The iEMD algorithm's performance is evaluated using eight publicly available datasets. The performance of the iEMD algorithm is compared with seven state-of-the-art tracking algorithms based on relative percentage overlap. The robustness of this algorithm for large inter-frame displacements is also illustrated.


title: Magnetic Tunnel Junction Performance Under Mechanical Strain

abstract: In this work we investigate the effect of the mechanical stress on the performance of magnetic tunnel junctions (MTJ) with perpendicular magnetic anisotropy. We developed a 4-point bending setup, that allows us to apply a constant stress over a large substrate area with access to electrical measurements and external magnetic field. This setup enables us to measure key device performance parameters, such as tunnel magnetoresistance (TMR), switching current ($I_c^{50\%}$) and thermal stability ($\Delta$), as a function of applied stress. We find that variations in these parameters are negligible: less than $\SI{2}{\percent}$ over the entire measured range between the zero stress condition and the maximum stress at the point of wafer breakage.


title: Neural models of factuality

abstract: We present two neural models for event factuality prediction, which yield significant performance gains over previous models on three event factuality datasets: FactBank, UW, and MEANTIME. We also present a substantial expansion of the It Happened portion of the Universal Decompositional Semantics dataset, yielding the largest event factuality dataset to date. We report model results on this extended factuality dataset as well.


title: New Perspectives on Neighborhood-Prime Labelings of Graphs

abstract: Neighborhood-prime labeling is a variation of prime labeling. A labeling $f:V(G) \to [|V(G)|]$ is a neighborhood-prime labeling if for each vertex $v\in V(G)$ with degree greater than $1$, the greatest common divisor of the set of labels in the neighborhood of $v$ is $1$. In this paper, we introduce techniques for finding neighborhood-prime labelings based on the Hamiltonicity of the graph, by using conditions on possible degrees of vertices, and by examining a neighborhood graph. In particular, classes of graphs shown to be neighborhood-prime include all generalized Petersen graphs, grid graphs of any size, and lobsters given restrictions on the degree of the vertices. In addition, we show that almost all graphs and almost all regular graphs have are neighborhood-prime, and we find all graphs of order $10$ or less that have a neighborhood-prime labeling. We give several conjectures for future work in this area.


title: A Bayesian approach to truncated data sets: An application to Malmquist bias in Supernova Cosmology

abstract: Large scale astronomical surveys are going wider and deeper than ever before. However, astronomers, cosmologists and theorists continue to face the perennial issue that their data sets are often incomplete in magnitude space and must be carefully treated in order to avoid Malmquist bias, especially in the field of supernova cosmology. Historically, cosmological parameter inference in supernova cosmology was done using $\chi^2$ methodology; however, recent years have seen a rise in the use of Bayesian Hierarchical Models. In this paper we develop a Bayesian Hierarchical methodology to account for magnitude limited surveys and present a specific application to cosmological parameter inference and model selection in supernova cosmology.


title: On the discretized sum-product problem

abstract: We give a new proof of the discretized ring theorem for sets of real numbers. As a special case, we show that if $A\subset\mathbb{R}$ is a $(\delta,1/2)_1$-set in the sense of Katz and Tao, then either $A+A$ or $A.A$ must have measure at least $|A|^{1-\frac{1}{68}}$


title: Associative Compression Networks for Representation Learning

abstract: This paper introduces Associative Compression Networks (ACNs), a new framework for variational autoencoding with neural networks. The system differs from existing variational autoencoders (VAEs) in that the prior distribution used to model each code is conditioned on a similar code from the dataset. In compression terms this equates to sequentially transmitting the dataset using an ordering determined by proximity in latent space. Since the prior need only account for local, rather than global variations in the latent space, the coding cost is greatly reduced, leading to rich, informative codes. Crucially, the codes remain informative when powerful, autoregressive decoders are used, which we argue is fundamentally difficult with normal VAEs. Experimental results on MNIST, CIFAR-10, ImageNet and CelebA show that ACNs discover high-level latent features such as object class, writing style, pose and facial expression, which can be used to cluster and classify the data, as well as to generate diverse and convincing samples. We conclude that ACNs are a promising new direction for representation learning: one that steps away from IID modelling, and towards learning a structured description of the dataset as a whole.


abstract: We present a reinforcement learning framework, called Programmatically Interpretable Reinforcement Learning (PIRL), that is designed to generate interpretable and verifiable agent policies. Unlike the popular Deep Reinforcement Learning (DRL) paradigm, which represents policies by neural networks, PIRL represents policies using a high-level, domain-specific programming language. Such programmatic policies have the benefits of being more easily interpreted than neural networks, and being amenable to verification by symbolic methods. We propose a new method, called Neurally Directed Program Search (NDPS), for solving the challenging nonsmooth optimization problem of finding a programmatic policy with maximal reward. NDPS works by first learning a neural policy network using DRL, and then performing a local search over programmatic policies that seeks to minimize a distance from this neural "oracle". We evaluate NDPS on the task of learning to drive a simulated car in the TORCS car-racing environment. We demonstrate that NDPS is able to discover human-readable policies that pass some significant performance bars. We also show that PIRL policies can have smoother trajectories, and can be more easily transferred to environments not encountered during training, than corresponding policies discovered by DRL.


title: Complexity of the CNF-satisfiability problem

abstract: This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive normal form. We prove an unexpected result that the CNF-satisfiability problem can be solved by a deterministic Turing machine in polynomial time.


title: Understanding Human Motion and Gestures for Underwater Human-Robot Collaboration

abstract: In this paper, we present a number of robust methodologies for an underwater robot to visually detect, follow, and interact with a diver for collaborative task execution. We design and develop two autonomous diver-following algorithms, the first of which utilizes both spatial- and frequency-domain features pertaining to human swimming patterns in order to visually track a diver. The second algorithm uses a convolutional neural network-based model for robust tracking-by-detection. In addition, we propose a hand gesture-based human-robot communication framework that is syntactically simpler and computationally more efficient than the existing grammar-based frameworks. In the proposed interaction framework, deep visual detectors are used to provide accurate hand gesture recognition; subsequently, a finite-state machine performs robust and efficient gesture-to-instruction mapping. The distinguishing feature of this framework is that it can be easily adopted by divers for communicating with underwater robots without using artificial markers or requiring memorization of complex language rules. Furthermore, we validate the performance and effectiveness of the proposed methodologies through extensive field experiments in closed- and open-water environments. Finally, we perform a user interaction study to demonstrate the usability benefits of our proposed interaction framework compared to existing methods.


title: Data-driven closures for stochastic dynamical systems

abstract: In this paper we develop a new data-driven closure approximation method to compute the statistical properties of quantities of interest in high-dimensional stochastic dynamical systems. The new method relies on estimating conditional expectations from sample paths or experimental data, and it is independent of the dimension of the underlying phase space. We also address the important question of whether enough useful data is being injected into the reduced-order model governing the quantity of interest. To this end, we develop a new paradigm to measure the information content of data based on the numerical solution of hyperbolic systems of equations. The effectiveness of the proposed new methods is demonstrated in applications to nonlinear dynamical systems and models of systems biology evolving from random initial states.


title: The Geometry of some Fibonacci Identities in the Hosoya Triangle

abstract: The \emph{Hosoya triangle} is a triangular array where every entry is a product of two Fibonacci numbers. We use the geometry of this triangle to find new identities related to Fibonacci numbers. We give geometric interpretation for some well-known identities of Fibonacci numbers. For instance, the Cassini identity and the Catalan identity. We also extend some identities that hold in the Pascal triangle to the Hosoya triangle. For instance, the hockey stick extends from binomials to products of Fibonacci numbers and the rhombus property extends a binomial identity from the Pascal triangle to an identity of products of Fibonacci numbers in the Hosoya triangle.