title: A spectroscopic search for AGN activity in the reionization era

abstract: The ubiquity of Lyman alpha (Ly$\alpha$) emission in a sample of four bright [O III]-strong star-forming galaxies with redshifts above 7 has led to the suggestion that such luminous sources represent a distinct population compared to their fainter, more numerous, counterparts. The presence of Ly$\alpha$ emission within the reionization era could indicate that these sources created early ionized bubbles due to their unusually strong radiation, possibly due to the presence of active galactic nuclei. To test this hypothesis we have secured long integration spectra with XSHOOTER on the VLT for three $z\simeq$7 sources selected to have similar luminosities and prominent excess fluxes in the IRAC 3.6 or 4.5$\mu$m band, usually attributed to strong [O III] emission. We secured additional spectroscopy for one of these galaxies at $z$=7.15 using MOSFIRE at the Keck telescope. For this, the most well-studied source in our sample with the strongest IRAC excess, we detect prominent nebular emission from He II and NV indicative of a non-thermal source. For the other two sources at $z$=6.81 and $z$=6.85, for which no previous optical/near infrared spectroscopy was initially available, Ly$\alpha$ is seen in one and CIII] emission in the other. Although a modest sample, our results further support the hypothesis that the phenomenon of intense [O III] emission is associated preferentially with sources lying in early ionized bubbles. However, even though one of our sources at $z$=7.15 clearly indicates the presence of non-thermal radiation, such ionized bubbles may not uniquely arise in this manner. We discuss the unique advantages of extending such challenging diagnostic studies with JWST.


title: Enabling Self-aware Smart Buildings by Augmented Reality

abstract: Conventional HVAC control systems are usually incognizant of the physical structures and materials of buildings. These systems merely follow pre-set HVAC control logic based on abstract building thermal response models, which are rough approximations to true physical models, ignoring dynamic spatial variations in built environments. To enable more accurate and responsive HVAC control, this paper introduces the notion of "self-aware" smart buildings, such that buildings are able to explicitly construct physical models of themselves (e.g., incorporating building structures and materials, and thermal flow dynamics). The question is how to enable self-aware buildings that automatically acquire dynamic knowledge of themselves. This paper presents a novel approach using "augmented reality". The extensive user-environment interactions in augmented reality not only can provide intuitive user interfaces for building systems, but also can capture the physical structures and possibly materials of buildings accurately to enable real-time building simulation and control. This paper presents a building system prototype incorporating augmented reality, and discusses its applications.


title: Products of real equivariant weight filtrations

abstract: We first show the existence of a weight filtration on the equivariant cohomology of real algebraic varieties equipped with the action of a finite group, by applying group cohomology to the dual geometric filtration. We then prove the compatibility of the equivariant weight filtrations and spectral sequences with K{\"u}nneth isomorphism, cup and cap products, from the filtered chain level. We finally induce the usual formulae for the equivariant cup and cap products from their analogs on the non-equivariant weight spectral sequences.


title: Controlling the thermoelectric effect by mechanical manipulation of the electron's quantum phase in atomic junctions

abstract: The thermoelectric voltage developed across an atomic metal junction (i.e., a nanostructure in which one or a few atoms connect two metal electrodes) in response to a temperature difference between the electrodes, results from the quantum interference of electrons that pass through the junction multiple times after being scattered by the surrounding defects. Here we report successfully tuning this quantum interference and thus controlling the magnitude and sign of the thermoelectric voltage by applying a mechanical force that deforms the junction. The observed switching of the thermoelectric voltage is reversible and can be cycled many times. Our ab initio and semi-empirical calculations elucidate the detailed mechanism by which the quantum interference is tuned. We show that the applied strain alters the quantum phases of electrons passing through the narrowest part of the junction and hence modifies the electronic quantum interference in the device. Tuning the quantum interference causes the energies of electronic transport resonances to shift, which affects the thermoelectric voltage. These experimental and theoretical studies reveal that Au atomic junctions can be made to exhibit both positive and negative thermoelectric voltages on demand, and demonstrate the importance and tunability of the quantum interference effect in the atomic-scale metal nanostructures.


title: PyCosmo: An Integrated Cosmological Boltzmann Solver

abstract: As wide-field surveys yield ever more precise measurements, cosmology has entered a phase of high precision requiring highly accurate and fast theoretical predictions. At the heart of most cosmological model predictions is a numerical solution of the Einstein-Boltzmann equations governing the evolution of linear perturbations in the Universe. We present PyCosmo, a new Python-based framework to solve this set of equations using a special pur- pose solver based on symbolic manipulations, automatic generation of C++ code and sparsity optimisation. The code uses a consistency relation of the field equations to adapt the time step and does not rely on physical approximations for speed-up. After reviewing the system of first-order linear homogeneous differential equations to be solved, we describe the numerical scheme implemented in PyCosmo. We then compare the predictions and performance of the code for the computation of the transfer functions of cosmological perturbations and compare it to existing cosmological Boltzmann codes. We find that we achieve comparable execution times for comparable accuracies. While PyCosmo does not yet have all the features of other codes, our approach is complementary to existing cosmological Boltzmann solvers and can be used as an independent test of their numerical solutions. The symbolic representation of the Einstein-Boltzmann equation system in PyCosmo provides a convenient interface for implementing extended cosmological models. We also discuss how the PyCosmo framework can also be used as a general framework to compute cosmological quantities as well as observables for both interactive and high-performance batch jobs applications. Information about the PyCosmo package and future code releases are available at http://www.cosmology.ethz.ch/research/software-lab.html.


title: Isolation and Characterization of Few-layer Manganese Thiophosphite

abstract: This work reports an experimental study on an antiferromagnetic honeycomb lattice of MnPS$_3$ that couples the valley degree of freedom to a macroscopic antiferromagnetic order. The crystal structure of MnPS$_3$ is identified by high resolution scanning transmission electron microscopy. Layer dependent angle resolved polarized Raman fingerprints of the MnPS$_3$ crystal are obtained and the Raman peak at 383 cm$^{-1}$ exhibits 100% polarity. Temperature dependences of anisotropic magnetic susceptibility of MnPS$_3$ crystal are measured in superconducting quantum interference device. Magnetic parameters like effective magnetic moment, and exchange interaction are extracted from the mean field approximation mode. Ambipolar electronic transport channels in MnPS$_3$ are realized by the liquid gating technique. The conducting channel of MnPS$_3$ offers a unique platform for exploring the spin/valleytronics and magnetic orders in 2D limitation.


title: Jupiter's North Equatorial Belt expansion and thermal wave activity ahead of Juno's arrival

abstract: The dark colors of Jupiter's North Equatorial Belt (NEB, $7-17^\circ$N) appeared to expand northward into the neighboring zone in 2015, consistent with a 3-5 year cycle of activity in the NEB. Inversions of thermal-IR imaging from the Very Large Telescope revealed a moderate warming and reduction of aerosol opacity at the cloud tops at $17-20^\circ$N, suggesting subsidence and drying in the expanded sector. Two new thermal waves were identified during this period: (i) an upper tropospheric thermal wave (wavenumber 16-17, amplitude 2.5 K at 170 mbar) in the mid-NEB that was anti-correlated with haze reflectivity; and (ii) a stratospheric wave (wavenumber 13-14, amplitude 7.3 K at 5 mbar) at $20-30^\circ$N. Both were quasi-stationary, confined to regions of eastward zonal flow, and are morphologically similar to waves observed during previous expansion events.


title: Cycles of Activity in the Jovian Atmosphere

abstract: Jupiter's banded appearance may appear unchanging to the casual observer, but closer inspection reveals a dynamic, ever-changing system of belts and zones with distinct cycles of activity. Identification of these long-term cycles requires access to datasets spanning multiple jovian years, but explaining them requires multi-spectral characterization of the thermal, chemical, and aerosol changes associated with visible color variations. The Earth-based support campaign for Juno's exploration of Jupiter has already characterized two upheaval events in the equatorial and temperate belts that are part of long-term jovian cycles, whose underlying sources could be revealed by Juno's exploration of Jupiter's deep atmosphere.


title: Entanglement witnesses from mutually unbiased bases

abstract: We provide a class of entanglement witnesses constructed in terms of Mutually Unbiased Bases (MUBs). This construction reproduces many well-known examples like the celebrated reduction map and Choi map together with its generalizations. We illustrated our construction by the detailed analysis of the 3-dimensional case: in this case, one obtains a family of entanglement witnesses parameterized by an L-dimensional torus (L = 2,3,4 being a number of MUBs used in the construction).


title: Determination of the $\theta_{23}$ octant in long baseline neutrino experiments within and beyond the standard model

abstract: The recent data indicate that the neutrino mixing angle $\theta_{23}$ deviates from the maximal-mixing value of 45$^\circ$, showing two nearly degenerate solutions, one in the lower octant (LO) ($\theta_{23}<45^\circ$) and one in the higher octant (HO) ($\theta_{23}>45^\circ$). We investigate, using numerical simulations, the prospects for determining the octant of $\theta_{23}$ in the future long baseline oscillation experiments. We present our results as contour plots on the ($\theta_{23}-45^\circ$, $\delta$)--plane, where $\delta$ is the $CP$ phase, showing the true values of $\theta_{23}$ for which the octant can be experimentally determined at 3$\,\sigma$, 2$\,\sigma$ and 1$\,\sigma$ confidence level. In particular, we study the impact of the possible nonunitarity of neutrino mixing on the experimental determination of $\theta_{23}$ in those experiments.


title: One loop light-cone QCD, effective action for reggeized gluons and QCD RFT calculus

abstract: The effective action for reggeized gluons is based on the gluodynamic Yang-Mills Lagrangian with external current for longitudinal gluons added, see [1]. On the base of classical solutions, obtained in [2], the one-loop corrections to this effective action in light-cone gauge are calculated. The RFT calculus for reggeized gluons similarly to the RFT introduced in [3] is proposed and discussed. The correctness of the results is verified by calculation of the propagator of $A_{+}$ and $A_{-}$ reggeized gluons fields and application of the obtained results is discussed as well.


title: Fixed-target physics at LHCb

abstract: The LHCb experiment has the unique possibility, among the LHC experiments, to be operated in fixed target mode, using its internal gas target SMOG. The energy scale achievable at the LHC and the excellent detector capabilities for vertexing, tracking and particle identification allow a wealth of measurements of great interest for cosmic ray and heavy ions physics. We report the first measurements made in this configuration: the measurement of antiproton production in proton-helium collisions and the measurements of open and hidden charm production in proton-argon collisions at $\sqrt{s_\textrm{NN}} =$ 110 GeV.


title: Predicting Block Halving Party Times

abstract: Bitcoin is the world's first decentralized digital currency. The rate at which bitcoins enter circulation is cut in half every 4 years, approximately. These events are considered landmarks in Bitcoin's history, and as such are widely celebrated. However, this requires placing confidence intervals on the precise timing of the halving well in advance, and the particular mechanism by which the halving time is determined makes this challenging. In this paper, we intend to help party planners by describing the problem, and highlighting several techniques to estimate the mean and variance of the halving.


title: Lieb-Schultz-Mattis theorem with a local twist for general one-dimensional quantum systems

abstract: We formulate and prove the local twist version of the Yamanaka-Oshikawa-Affleck theorem, an extension of the Lieb-Schultz-Mattis theorem, for one-dimensional systems of quantum particles or spins. We can treat almost any translationally invariant system wth global $U(1)$ symmetry. Time-reversal or inversion symmetry is not assumed. It is proved that, when the "filling factor" is not an integer, a ground state without any long-range order must be accompanied by low-lying excitations whose number grows indefinitely as the system size is increased. The result is closely related to the absence of topological order in one-dimension. The present paper is written in a self-contained manner, and does not require any knowledge of the Lieb-Schultz-Mattis and related theorems.


title: Front dynamics and entanglement in the XXZ chain with a gradient

abstract: We consider the XXZ spin chain with a magnetic field gradient and study the profiles of the magnetization as well as the entanglement entropy. For a slowly varying field it is shown that, by means of a local density approximation, the ground-state magnetization profile can be obtained with standard Bethe ansatz techniques. Furthermore, it is argued that the low-energy description of the theory is given by a Luttinger liquid with slowly varying parameters. This allows us to obtain a very good approximation of the entanglement profile using a recently introduced technique of conformal field theory in curved spacetime. Finally, the front dynamics is also studied after the gradient field has been switched off, following arguments of generalized hydrodynamics for integrable systems. While for the XX chain the hydrodynamic solution can be found analytically, the XXZ case appears to be more complicated and the magnetization profiles are recovered only around the edge of the front via an approximate numerical solution.


title: Asymptotics for a Class of Meandric Systems, via the Hasse Diagram of NC(n)

abstract: We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(\pi,\rho)\in NC(n)^2$ -- namely the ones where $\pi$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. Our calculations concerning expected number of components are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way, and can be followed without assuming a free probability background). Let $c_{n}'$ denote the expected number of components of a general, unconditioned, meandric system of order $n$. A variation of the methods used in the shallow-top case allows us to prove that $\mathrm{lim\ inf}_{n\to\infty}c_{n}'/n\geq0.17$. We also note that, by a direct elementary argument, one has $\mathrm{lim\ sup}_{n\to\infty}c_{n}'/n\leq0.5$. These bounds support the conjecture that $c_{n}'$ follows a regime of "constant times $n$" (where numerical experiments suggest that the constant should be $\approx0.23$).


title: Simulations of surface stress effects in nanoscale single crystals

abstract: Onset of vacuum arcing near a metal surface is often associated with nanoscale asperities, which may dynamically appear due to different processes ongoing in the surface and subsurface layers in the presence of high electric fields. Thermally activated processes, as well as plastic deformation caused by tensile stress due to an applied electric field, are usually not accessible by atomistic simulations because of long time needed for these processes to occur. On the other hand, finite element methods, able to describe the process of plastic deformations in materials at realistic stresses, do not include surface properties. The latter are particularly important for the problems where the surface plays crucial role in the studied process, as for instance, in case of plastic deformations at a nanovoid. In the current study by means of molecular dynamics and finite element simulations we analyse the stress distribution in single crystal copper containing a nanovoid buried deep under the surface. We have developed a methodology to incorporate the surface effects into the solid mechanics framework by utilizing elastic properties of crystals, pre-calculated using molecular dynamic simulations. The method leads to computationally efficient stress calculations and can be easily implemented in commercially available finite element software, making it an attractive analysis tool.


title: The Unusual Apparition of Comet 252P/2000 G1 (LINEAR) and Comparison with Comet P/2016 BA14 (PanSTARRS)

abstract: We imaged Comet 252P/2000 G1 (LINEAR) (hereafter 252P) with the Hubble Space Telescope and both 252P and P/2016 BA$_{14}$ (PanSTARRS) (hereafter BA$_{14}$) with the Discovery Channel Telescope in March and April 2016, surrounding its close encounter to Earth. The r'-band $Af\rho$ of 252P in a 0.2"-radius aperture were $16.8\pm0.3$ and $57\pm1$ cm on March 14 and April 4, respectively, and its gas production rates were: $Q$(OH) = $(5.8\pm0.1)\times10^{27}$ s$^{-1}$, and $Q$(CN) = $(1.25\pm0.01)\times10^{25}$ s$^{-1}$ on April 17. The r'-band upper limit $Af\rho$ of BA1$_{14}$ was $0.19\pm0.01$ cm in a 19.2"-radius aperture, and $Q$(CN) = $(1.4\pm0.1)10^{22}$ s$^{-1}$ on April 17, 2017. 252P shows a bright and narrow jet of a few hundred kilometers long in the sunward direction, changing its projected position angle in the sky with a periodicity consistent with 7.24 hours. However, its photometric lightcurve is consistent with a periodicity of 5.41 hours. We suggest that the nucleus of 252P is likely in a non-principal axis rotation. The nucleus radius of 252P is estimated to be about $0.3\pm0.03$ km, indicating an active fraction of 40% to >100% in its 2016 apparition. Evidence implies a possible cloud of slow-moving grains surrounding the nucleus. The activity level of 252P in the 2016 apparition increased by two orders of magnitude from its previous apparitions, making this apparition unusual. On the other hand, the activity level of BA14 appears to be at least three orders of magnitude lower than that of 252P, despite its ten times or larger surface area.


title: Adaptive optics and lightcurve data of asteroids: twenty shape models and information content analysis

abstract: We present shape models and volume estimates of twenty asteroids based on relative photometry and adaptive optics images. We discuss error estimation and the effects of myopic deconvolution on shape solutions. For further analysis of the information capacities of data sources, we also present and discuss ambiguity and uniqueness results for the reconstruction of nonconvex shapes from photometry.


title: Multiform Adaptive Robot Skill Learning from Humans

abstract: Object manipulation is a basic element in everyday human lives. Robotic manipulation has progressed from maneuvering single-rigid-body objects with firm grasping to maneuvering soft objects and handling contact-rich actions. Meanwhile, technologies such as robot learning from demonstration have enabled humans to intuitively train robots. This paper discusses a new level of robotic learning-based manipulation. In contrast to the single form of learning from demonstration, we propose a multiform learning approach that integrates additional forms of skill acquisition, including adaptive learning from definition and evaluation. Moreover, going beyond state-of-the-art technologies of handling purely rigid or soft objects in a pseudo-static manner, our work allows robots to learn to handle partly rigid partly soft objects with time-critical skills and sophisticated contact control. Such capability of robotic manipulation offers a variety of new possibilities in human-robot interaction.


title: Proof-Relevant Logical Relations for Name Generation

abstract: Pitts and Stark's $\nu$-calculus is a paradigmatic total language for studying the problem of contextual equivalence in higher-order languages with name generation. Models for the $\nu$-calculus that validate basic equivalences concerning names may be constructed using functor categories or nominal sets, with a dynamic allocation monad used to model computations that may allocate fresh names. If recursion is added to the language and one attempts to adapt the models from (nominal) sets to (nominal) domains, however, the direct-style construction of the allocation monad no longer works. This issue has previously been addressed by using a monad that combines dynamic allocation with continuations, at some cost to abstraction. This paper presents a direct-style model of a $\nu$-calculus-like language with recursion using the novel framework of proof-relevant logical relations, in which logical relations also contain objects (or proofs) demonstrating the equivalence of (the semantic counterparts of) programs. Apart from providing a fresh solution to an old problem, this work provides an accessible setting in which to introduce the use of proof-relevant logical relations, free of the additional complexities associated with their use for more sophisticated languages.


title: Extracting Formal Specifications to Strenghten Type Behaviour Testing

abstract: Testing has become an indispensable activity of software development, yet writing good and relevant tests remains a quite challenging task. One well-known problem is that it often is impossible or unrealistic to test for every outcome, as the input and/or output of a program component can represent incredbly large, unless infinite domains. A common approach to tackle this issue it to only test classes of cases, and to assume that those classes cover all (or at least most) of the cases a component is susceptible to be exposed to. Unfortunately, those kind of assumptions can prove wrong in many situations, causing a yet well-tested program to fail upon a particular input. In this short paper, we propose to leverage formal verification, in particular model checking techniques, as a way to better identify cases for which the aforementioned assumptions do not hold, and ultimately strenghten the confidence one can have in a test suite. The idea is to extract a formal specification of the data types of a program, in the form of a term rewriting system, and to check that specification against a set of properties specified by the programmer. Cases for which tose properties do not hold can then be identified using model checking, and selected as test cases.


title: On smoothness of carrying simplices

abstract: We consider dissipative strongly competitive systems $\dot{x}_{i}=x_{i}f_{i}(x)$ of ordinary differential equations. It is known that for a wide class of such systems there exists an invariant attracting hypersurface $\Sigma$, called the carrying simplex. In this note we give an amenable condition for $\Sigma$ to be a $C^{1}$ submanifold-with-corners. We also provide conditions, based on a recent work of M. Bena\"{\i}m "On invariant hypersurfaces of strongly monotone maps", J. Differential Equations 137 (1997), 302-319, guaranteeing that $\Sigma$ is of class $C^{k+1}$.


title: The multi-line slope method for the measure of the effective magnetic field of the cool stars: an application to the solar like cycle of {\epsilon} Eri

abstract: A method for the determination of integrated longitudinal stellar fields from low-resolution spectra is the so-called slope method, which is based on the regression of the Stokes V signal against the first derivative of Stokes I. Here we investigate the possibility to extend this technique to measure the magnetic fields of cool stars from high resolution spectra. For this purpose we developed a multi-line modification to the slope method, called multi-line slope method. We tested this technique by analysing synthetic spectra computed with the COSSAM code and real observations obtained with the high resolution spectropolarimeters Narval, HARPSpol and Catania Astrophysical Observatory Spectropolarimeter (CAOS). We show that the multi-line slope method is a fast alternative to the Least Squares Deconvolution (LSD) technique for the measurement of the effective magnetic fields of cool stars. Using a Fourier transform on the effective magnetic field variations of the star $\epsilon$ Eri, we find that the long term periodicity of the field corresponds to the 2.95 yr period of the stellar dynamo, revealed by the variation of the activity index.


title: On the sign patterns of entrywise positivity preservers in fixed dimension

abstract: Given $I\subset\mathbb{C}$ and an integer $N>0$, a function $f:I\to\mathbb{C}$ is entrywise positivity preserving on positive semidefinite (p.s.d.) matrices $A=(a_{jk})\in I^{N\times N}$, if the entrywise application $f[A]=(f(a_{jk}))$ of $f$ to $A$ is p.s.d. for all such $A$. Such preservers in all dimensions have been classified by Schoenberg and Rudin as being absolutely monotonic [Duke Math. J. 1942, 1959]. In fixed dimension $N$, results akin to work of Horn and Loewner [Trans. AMS 1969] show the first $N$ nonzero Maclaurin coefficients of a positivity preserver $f$ are positive; and the last $N$ coefficients are also positive if $I$ is unbounded. However, little was known about the other coefficients: the only examples to date for unbounded domains $I$ were absolutely monotonic, so work in all dimensions; and for bounded $I$ examples of non-absolutely monotonic preservers were very few (and recent). In this paper, we completely characterize the sign patterns of the Maclaurin coefficients of positivity preservers in fixed dimension $N$, over bounded and unbounded domains $I$. In particular, the above Horn-type conditions cannot be improved upon. This also yields the first polynomials which preserve positivity on p.s.d. matrices in $I^{N\times N}$ but not in $I^{(N+1)\times (N+1)}$. We obtain analogous results for real exponents using the Harish-Chandra-Itzykson-Zuber formula. We then go from qualitative bounds, which suffice to understand all possible sign patterns, to exact quantitative bounds. As an application, we extend our previous qualitative and quantitative results to understand preservers of total non-negativity in fixed dimension - including their sign patterns. We deduce several further applications, including extending a Schur polynomial conjecture by Cuttler-Greene-Skandera to obtain a novel characterization of weak majorization for real tuples.


title: Hypothesis Testing Over the Two-hop Relay Network

abstract: Coding and testing schemes and the corresponding achievable type-II error exponents are presented for binary hypothesis testing over two-hop relay networks. The schemes are based on cascade source coding techniques and {unanimous decision-forwarding}, the latter meaning that a terminal decides on the null hypothesis only if all previous terminals have decided on the null hypothesis. If the observations at the transmitter, the relay, and the receiver form a Markov chain in this order, then, without loss in performance, the proposed cascade source code can be replaced by two independent point-to-point source codes, one for each hop. The decoupled scheme (combined with decision-forwarding) is shown to attain the optimal type-II error exponents for various instances of "testing against conditional independence." The same decoupling is shown to be optimal also for some instances of "testing against independence," when the observations at the transmitter, the receiver, and the relay form a Markov chain in this order, and when the relay-to-receiver link is of sufficiently high rate. For completeness, the paper also presents an analysis of the Shimokawa-Han-Amari binning scheme for the point-to-point hypothesis testing setup.


title: Generalized M\"{o}bius Ladder and Its Metric Dimension

abstract: In this paper we introduce generalized M\"{o}bius ladder $M_{m,n}$ and give its metric dimension. Moreover, it is observed that, depending on even and odd values of $m$ and $n$, it has two subfamilies with constant metric dimensions.


title: Towards life cycle identification of malaria parasites using machine learning and Riemannian geometry

abstract: Malaria is a serious infectious disease that is responsible for over half million deaths yearly worldwide. The major cause of these mortalities is late or inaccurate diagnosis. Manual microscopy is currently considered as the dominant diagnostic method for malaria. However, it is time consuming and prone to human errors. The aim of this paper is to automate the diagnosis process and minimize the human intervention. We have developed the hardware and software for a cost-efficient malaria diagnostic system. This paper describes the manufactured hardware and also proposes novel software to handle parasite detection and life-stage identification. A motorized microscope is developed to take images from Giemsa-stained blood smears. A patch-based unsupervised statistical clustering algorithm is proposed which offers a novel method for classification of different regions within blood images. The proposed method provides better robustness against different imaging settings. The core of the proposed algorithm is a model called Mixture of Independent Component Analysis. A manifold based optimization method is proposed that facilitates the application of the model for high dimensional data usually acquired in medical microscopy. The method was tested on 600 blood slides with various imaging conditions. The speed of the method is higher than current supervised systems while its accuracy is comparable to or better than them.


title: Analog to Digital Cognitive Radio: Sampling, Detection and Hardware

abstract: The proliferation of wireless communications has recently created a bottleneck in terms of spectrum availability. Motivated by the observation that the root of the spectrum scarcity is not a lack of resources but an inefficient managing that can be solved, dynamic opportunistic exploitation of spectral bands has been considered, under the name of Cognitive Radio (CR). This technology allows secondary users to access currently idle spectral bands by detecting and tracking the spectrum occupancy. The CR application revisits this traditional task with specific and severe requirements in terms of spectrum sensing and detection performance, real-time processing, robustness to noise and more. Unfortunately, conventional methods do not satisfy these demands for typical signals, that often have very high Nyquist rates. Recently, several sampling methods have been proposed that exploit signals' a priori known structure to sample them below the Nyquist rate. Here, we review some of these techniques and tie them to the task of spectrum sensing in the context of CR. We then show how issues related to spectrum sensing can be tackled in the sub-Nyquist regime. First, to cope with low signal to noise ratios, we propose to recover second-order statistics from the low rate samples, rather than the signal itself. In particular, we consider cyclostationary based detection, and investigate CR networks that perform collaborative spectrum sensing to overcome channel effects. To enhance the efficiency of the available spectral bands detection, we present joint spectrum sensing and direction of arrival estimation methods. Throughout this work, we highlight the relation between theoretical algorithms and their practical implementation. We show hardware simulations performed on a prototype we built, demonstrating the feasibility of sub-Nyquist spectrum sensing in the context of CR.


title: Perturbations of Pulsating Strings

abstract: We discuss semiclassical quantization of circular pulsating strings in AdS3 x S3 background with and without the Neveu-Schwarz- Neveu-Schwarz (NS-NS) flux. We find the equations of motion corresponding to the quadratic action in bosonic sector in terms of scalar quantities and invariants of the geometry. The general equations for studying physical perturbations along the string in an arbitrary curved spacetime are written down using covariant formalism. We discuss the stability of these string configurations by studying the solutions of the linearized perturbed equations of motion.


title: Scattering of long water waves in a canal with rapidly varying cross-section in the presence of a current

abstract: The analytical study of long wave scattering in a canal with a rapidly varying cross-section is presented. It is assumed that waves propagate on a stationary current with a given flow rate. Due to the fixed flow rate, the current speed is different in the different sections of the canal, upstream and downstream. The scattering coefficients (the transmission and reflection coefficients) are calculated for all possible orientations of incident wave with respect to the background current (downstream and upstream propagation) and for all possible regimes of current (subcritical, transcritical, and supercritical). It is shown that in some cases negative energy waves can appear in the process of waves scattering. The conditions are found when the overreflection and over-transmission phenomena occur. In particular, it is shown that a spontaneous wave generation can arise in a trans-critical accelerating flow, when the background current enhances due to the canal narrowing. This resembles a spontaneous wave generation on the horizon of an evaporating black hole due to the Hawking effect.


title: A theoretical model of the variation of the meridional circulation with the solar cycle

abstract: Observations of the meridional circulation of the Sun, which plays a key role in the operation of the solar dynamo, indicate that its speed varies with the solar cycle, becoming faster during the solar minima and slower during the solar maxima. To explain this variation of the meridional circulation with the solar cycle, we construct a theoretical model by coupling the equation of the meridional circulation (the $\phi$ component of the vorticity equation within the solar convection zone) with the equations of the flux transport dynamo model. We consider the back reaction due to the Lorentz force of the dynamo-generated magnetic fields and study the perturbations produced in the meridional circulation due to it. This enables us to model the variations of the meridional circulation without developing a full theory of the meridional circulation itself. We obtain results which reproduce the observational data of solar cycle variations of the meridional circulation reasonably well. We get the best results on assuming the turbulent viscosity acting on the velocity field to be comparable to the magnetic diffusivity (i.e. on assuming the magnetic Prandtl number to be close to unity). We have to assume an appropriate bottom boundary condition to ensure that the Lorentz force cannot drive a flow in the subadiabatic layers below the bottom of the tachocline. Our results are sensitive to this bottom boundary condition. We also suggest a hypothesis how the observed inward flow towards the active regions may be produced.


title: eROSITA cluster cosmology forecasts: cluster temperature substructure bias

abstract: The eROSITA mission will provide the largest sample of galaxy clusters detected in X-ray to date (one hundred thousand expected). This sample will be used to constrain cosmological models by measuring cluster masses. An important mass proxy is the electron temperature of the hot plasma detected in X-rays. We want to understand the detection properties and possible bias in temperatures due to unresolved substructures in the cluster halos. We simulated a large number of galaxy cluster spectra with known temperature substructures and compared the results from analysing eROSITA simulated observations to earlier results from Chandra. We were able to constrain a bias in cluster temperatures and its impact on cluster masses as well as cosmological parameters derived from the survey. We found temperatures in the eROSITA survey to be biased low by about five per cent due to unresolved temperature substructures (compared to emission-weighted average temperatures from the Chandra maps). This bias would have a significant impact on the eROSITA cosmology constraints if not accounted for in the calibration. We isolated the bias effect that substructures in galaxy clusters have on temperature measurements and their impact on derived cosmological parameters in the eROSITA cluster survey.


title: Brain Abnormality Detection by Deep Convolutional Neural Network

abstract: In this paper, we describe our method for classification of brain magnetic resonance (MR) images into different abnormalities and healthy classes based on the deep neural network. We propose our method to detect high and low-grade glioma, multiple sclerosis, and Alzheimer diseases as well as healthy cases. Our network architecture has ten learning layers that include seven convolutional layers and three fully connected layers. We have achieved a promising result in five categories of brain images (classification task) with 95.7% accuracy.


title: Learning Universal Adversarial Perturbations with Generative Models

abstract: Neural networks are known to be vulnerable to adversarial examples, inputs that have been intentionally perturbed to remain visually similar to the source input, but cause a misclassification. It was recently shown that given a dataset and classifier, there exists so called universal adversarial perturbations, a single perturbation that causes a misclassification when applied to any input. In this work, we introduce universal adversarial networks, a generative network that is capable of fooling a target classifier when it's generated output is added to a clean sample from a dataset. We show that this technique improves on known universal adversarial attacks.


title: Automatic HVAC Control with Real-time Occupancy Recognition and Simulation-guided Model Predictive Control in Low-cost Embedded System

abstract: Intelligent building automation systems can reduce the energy consumption of heating, ventilation and air-conditioning (HVAC) units by sensing the comfort requirements automatically and scheduling the HVAC operations dynamically. Traditional building automation systems rely on fairly inaccurate occupancy sensors and basic predictive control using oversimplified building thermal response models, all of which prevent such systems from reaching their full potential. Such limitations can now be avoided due to the recent developments in embedded system technologies, which provide viable low-cost computing platforms with powerful processors and sizeable memory storage in a small footprint. As a result, building automation systems can now efficiently execute highly-sophisticated computational tasks, such as real-time video processing and accurate thermal-response simulations. With this in mind, we designed and implemented an occupancy-predictive HVAC control system in a low-cost yet powerful embedded system (using Raspberry Pi 3) to demonstrate the following key features for building automation: (1) real-time occupancy recognition using video-processing and machine-learning techniques, (2) dynamic analysis and prediction of occupancy patterns, and (3) model predictive control for HVAC operations guided by real-time building thermal response simulations (using an on-board EnergyPlus simulator). We deployed and evaluated our system for providing automatic HVAC control in the large public indoor space of a mosque, thereby achieving significant energy savings.


title: LSCHC: Layered Static Context Header Compression for LPWANs

abstract: Supporting IPv6/UDP/CoAP protocols over Low Power Wide Area Networks (LPWANs) can bring open networking, interconnection, and cooperation to this new type of Internet of Things networks. However, accommodating these protocols over these very low bandwidth networks requires efficient header compression schemes to meet the limited frame size of these networks, where only one or two octets are available to transmit all headers. Recently, the Internet Engineering Task Force (IETF) LPWAN working group drafted the Static Context Header Compression (SCHC), a new header compression scheme for LPWANs, which can provide a good compression factor without complex synchronization. In this paper, we present an implementation and evaluation of SCHC. We compare SCHC with IPHC, which also targets constrained networks. Additionally, we propose an enhancement of SCHC, Layered SCHC (LSCHC). LSCHC is a layered context that reduces memory consumption and processing complexity, and adds flexibility when compressing packets. Finally, we perform calculations to show the impact of SCHC/LSCHC on an example LPWAN technology, e.g. LoRaWAN, from the point of view of transmission time and reliability.


title: Bayesian statistical modelling of microcanonical melting times at the superheated regime

abstract: Homogeneous melting of superheated crystals at constant energy is a dynamical process, believed to be triggered by the accumulation of thermal vacancies and their self-diffusion. From microcanonical simulations we know that if an ideal crystal is prepared at a given kinetic energy, it takes a random time $t_w$ until the melting mechanism is actually triggered. In this work we have studied in detail the statistics of $t_w$ for melting at different energies by performing a large number of Z-method simulations and applying state-of-the-art methods of Bayesian statistical inference. By focusing on the short-time tail of the distribution function, we show that $t_w$ is actually gamma-distributed rather than exponential (as asserted in previous work), with decreasing probability near $t_w \sim 0$. We also explicitly incorporate in our model the unavoidable truncation of the distribution function due to the limited total time span of a Z method simulation. The probabilistic model presented in this work can provide some insight into the dynamical nature of the homogeneous melting process, as well as giving a well-defined practical procedure to incorporate melting times from simulation into the Z-method in order to reduce the uncertainty in the melting temperature.


title: Energy-based Models for Video Anomaly Detection

abstract: Automated detection of abnormalities in data has been studied in research area in recent years because of its diverse applications in practice including video surveillance, industrial damage detection and network intrusion detection. However, building an effective anomaly detection system is a non-trivial task since it requires to tackle challenging issues of the shortage of annotated data, inability of defining anomaly objects explicitly and the expensive cost of feature engineering procedure. Unlike existing appoaches which only partially solve these problems, we develop a unique framework to cope the problems above simultaneously. Instead of hanlding with ambiguous definition of anomaly objects, we propose to work with regular patterns whose unlabeled data is abundant and usually easy to collect in practice. This allows our system to be trained completely in an unsupervised procedure and liberate us from the need for costly data annotation. By learning generative model that capture the normality distribution in data, we can isolate abnormal data points that result in low normality scores (high abnormality scores). Moreover, by leverage on the power of generative networks, i.e. energy-based models, we are also able to learn the feature representation automatically rather than replying on hand-crafted features that have been dominating anomaly detection research over many decades. We demonstrate our proposal on the specific application of video anomaly detection and the experimental results indicate that our method performs better than baselines and are comparable with state-of-the-art methods in many benchmark video anomaly detection datasets.


title: Numerical Study of Universal Conductance Fluctuation in Three-dimensional Topological Semimetals

abstract: We study the conductance fluctuation in topological semimetals. Through statistic distribution of energy levels of topological semimetals, we determine the dominant parameters of universal conductance fluctuation (UCF), i.e., the number of uncorrelated bands $k$, the level degeneracy $s$, and the symmetry parameter $\beta$. These parameters allow us to predict the zero-temperature intrinsic UCF of topological semimetals by the Altshuler-Lee-Stone theory. Then, we obtain numerically the conductance fluctuations for topological semimetals of quasi-1D geometry. We find that for Dirac/Weyl semimetals, the theoretical prediction coincides with the numerical results. However, a non-universal conductance fluctuation behavior is found for topological nodal line semimetals, i.e., the conductance fluctuation amplitude increases with the enlargement of SOC strength. We find that such unexpected parameter-dependent phenomena of conductance fluctuation are related to Fermi surface shape of 3D topological semimetals. These results will help us to understand the existing and future experimental results of UCF in 3D topological semimetals.


title: Polyhedral Gauss-Bonnet theorems and valuations

abstract: The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from zero only at the vertices of the polyhedron. This note suggests a generalization of these polyhedral vertex curvatures, based on valuations, and thus obtains a variety of polyhedral Gauss-Bonnet theorems.


title: When data mining meets optimization: A case study on the quadratic assignment problem

abstract: This paper presents a hybrid approach called frequent pattern based search that combines data mining and optimization. The proposed method uses a data mining procedure to mine frequent patterns from a set of high-quality solutions collected from previous search, and the mined frequent patterns are then employed to build starting solutions that are improved by an optimization procedure. After presenting the general approach and its composing ingredients, we illustrate its application to solve the well-known and challenging quadratic assignment problem. Computational results on the 21 hardest benchmark instances show that the proposed approach competes favorably with state-of-the-art algorithms both in terms of solution quality and computing time.


title: Gravitational Scattering Amplitudes and Closed String Field Theory in the Proper-Time Gauge

abstract: We construct a covariant closed string field theory by extending recent works on the covariant open string field theory in the proper-time gauge. Rewriting the string scattering amplitudes generated by the closed string field theory in terms of the Polyakov string path integrals, we identify the Fock space representations of the closed string vertices. We show that the Fock space representations of the closed string field theory may be completely factorized into those of the open string field theory. It implies that the well known Kawai-Lewellen-Tye (KLT) relations of the first quantized string theory may be promoted to the second quantized closed string theory. We explicitly calculate the scattering amplitudes of three gravitons by using the closed string field theory in the proper-time gauge.


title: Excited-state one-neutron halo nuclei within a parallel momentum distribution analysis

abstract: Using a fully quantum mechanical post-form finite-range distorted-wave Born approximation theory of Coulomb breakup, I study the parallel momentum distribution of the core in the Coulomb breakup of suggested excited-state one-neutron halo nuclei considered in their different bound excited states. Narrow momentum distributions obtained in the present calculations for some cases indicate the possibilities of the excited-state halo structure in the nuclei under consideration and therefore favor the previous predictions.


title: Semimetallic molecular hydrogen at pressure above 350 GPa

abstract: According to the theoretical predictions, insulating molecular hydrogen dissociates and transforms to an atomic metal at pressures P~370-500 GPa. In another scenario, the metallization first occurs in the 250-500 GPa pressure range in molecular hydrogen through overlapping of electronic bands. The calculations are not accurate enough to predict which option is realized. Here we show that at a pressure of ~360 GPa and temperatures <200 K the hydrogen starts to conduct, and that temperature dependence of the electrical conductivity is typical of a semimetal. The conductivity, measured up to 440 GPa, increases strongly with pressure. Raman spectra, measured up to 480 GPa, indicate that hydrogen remains a molecular solid at pressures up to 440 GPa, while at higher pressures the Raman signal vanishes, likely indicating further transformation to a good molecular metal or to an atomic state.


title: Operations with slicely countably determined sets

abstract: The notion of slicely countably determined (SCD) sets was introduced in 2010 by A.~Avil\'{e}s, V.~Kadets, M.~Mart\'{i}n, J.~Mer\'{i} and V.~Shepelska. We solve in the negative some natural questions about preserving being SCD by the operations of union, intersection and Minkowski sum. Moreover, we demonstrate that corresponding examples exist in every space with the Daugavet property and can be selected to be unit balls of some equivalent norms. We also demonstrate that almost SCD sets need not be SCD, thus answering a question posed by A. Avil\'{e}s et al.


title: Effect of the nitrogen-argon gas mixtures on the superconductivity properties of reactively sputtered molybdenum nitride thin films

abstract: We report on the superconducting properties of molybdenum nitride thin films grown by reactive DC sputtering at room temperature with a N2:Ar mixture. Thin films grown using 5 % N2 concentration display Tc = 8 K, which is gradually reduced and abruptly disappears for 40 % N2 concentration. This suppression can be associated with changes in the nitrogen stoichiometry from Mo2N to MoN. Our results provide an effective and simple path to prepare Mo2Nx thin films with tunable Tc, which is relevant for the investigation of the fundamental properties and for technological applications.


title: The exponential laws for emission and decaying of entangled atoms

abstract: The first photon emission and the disentanglement of a pair of identical bosonic atoms in excited entangled states follow an exponential law. We extend the theory to distinguishable and identical fermionic two-atom systems. As a byproduct of the analysis we determine the symmetries of the fermionic wave function. We also derive the emission distributions of excited atoms in product states, which must take into account the presence of simultaneous detections. Comparing both distributions reveals a direct manifestation of the modifications induced by entanglement on the atomic emission properties.


title: Deep Neural Network with l2-norm Unit for Brain Lesions Detection

abstract: Automated brain lesions detection is an important and very challenging clinical diagnostic task because the lesions have different sizes, shapes, contrasts, and locations. Deep Learning recently has shown promising progress in many application fields, which motivates us to apply this technology for such important problem. In this paper, we propose a novel and end-to-end trainable approach for brain lesions classification and detection by using deep Convolutional Neural Network (CNN). In order to investigate the applicability, we applied our approach on several brain diseases including high and low-grade glioma tumor, ischemic stroke, Alzheimer diseases, by which the brain Magnetic Resonance Images (MRI) have been applied as an input for the analysis. We proposed a new operating unit which receives features from several projections of a subset units of the bottom layer and computes a normalized l2-norm for next layer. We evaluated the proposed approach on two different CNN architectures and number of popular benchmark datasets. The experimental results demonstrate the superior ability of the proposed approach.


title: Nonequilibrium mode-coupling theory for dense active systems of self-propelled particles

abstract: The physics of active systems of self-propelled particles, in the regime of a dense liquid state, is an open puzzle of great current interest, both for statistical physics and because such systems appear in many biological contexts. We develop a nonequilibrium mode-coupling theory (MCT) for such systems, where activity is included as a colored noise with the particles having a self-propulsion foce $f_0$ and persistence time $\tau_p$. Using the extended MCT and a generalized fluctuation-dissipation theorem, we calculate the effective temperature $T_{eff}$ of the active fluid. The nonequilibrium nature of the systems is manifested through a time-dependent $T_{eff}$ that approaches a constant in the long-time limit, which depends on the activity parameters $f_0$ and $\tau_p$. We find, phenomenologically, that this long-time limit is captured by the potential energy of a single, trapped active particle (STAP). Through a scaling analysis close to the MCT glass transition point, we show that $\tau_\alpha$, the $\alpha$-relaxation time, behaves as $\tau_\alpha\sim f_0^{-2\gamma}$, where $\gamma=1.74$ is the MCT exponent for the passive system. $\tau_\alpha$ may increase or decrease as a function of $\tau_p$ depending on the type of active force correlations, but the behavior is always governed by the same value of the exponent $\gamma$. Comparison with numerical solution of the nonequilibrium MCT as well as simulation results give excellent agreement with the scaling analysis.


title: The streaming $k$-mismatch problem

abstract: We consider the streaming complexity of a fundamental task in approximate pattern matching: the $k$-mismatch problem. It asks to compute Hamming distances between a pattern of length $n$ and all length-$n$ substrings of a text for which the Hamming distance does not exceed a given threshold $k$. In our problem formulation, we report not only the Hamming distance but also, on demand, the full \emph{mismatch information}, that is the list of mismatched pairs of symbols and their indices. The twin challenges of streaming pattern matching derive from the need both to achieve small working space and also to guarantee that every arriving input symbol is processed quickly. We present a streaming algorithm for the $k$-mismatch problem which uses $O(k\log{n}\log\frac{n}{k})$ bits of space and spends \ourcomplexity time on each symbol of the input stream, which consists of the pattern followed by the text. The running time almost matches the classic offline solution and the space usage is within a logarithmic factor of optimal. Our new algorithm therefore effectively resolves and also extends an open problem first posed in FOCS'09. En route to this solution, we also give a deterministic $O( k (\log \frac{n}{k} + \log |\Sigma|) )$-bit encoding of all the alignments with Hamming distance at most $k$ of a length-$n$ pattern within a text of length $O(n)$. This secondary result provides an optimal solution to a natural communication complexity problem which may be of independent interest.


title: Distinguishing between symbiotic stars and planetary nebulae

abstract: Number of known symbiotic stars (SySt) is still significantly lower than their predicted population. One of the main problems in finding complete population of SySt is the fact that their spectrum can be confused with other objects, such as planetary nebulae (PNe) or dense H II regions. The problem is reinforced by a fact that in significant fraction of established SySt the emission lines used to distinguish them from other objects are not present. We aim at finding new diagnostic diagrams that could help separate SySt from PNe. Additionally, we examine known sample of extragalactic PNe for candidate SySt. We employed emission line fluxes of known SySt and PNe from the literature. We found that among the forbidden lines in the optical region of spectrum, only the [O III] and [N II] lines can be used as a tool for distinguishing between SySt and PNe, which is consistent with the fact that they have the highest critical densities. The most useful diagnostic that we propose is based on He I lines which are more common and stronger in SySt than forbidden lines. All these useful diagnostic diagrams are electron density indicators that better distinguishes PNe and ionized symbiotic nebulae. Moreover, we found six new candidate SySt in the Large Magellanic Cloud and one in M81. If confirmed, the candidate in M81 would be the furthest known SySt thus far.


title: Weighted Composition Operators Acting on Harmonic Hardy Spaces

abstract: Suppose $n\geq 3$ and let $B$ be the open unit ball in $\mathbb{R}^n$. Let $\varphi: B\to B$ be a $C^2$ map whose Jacobian does not change sign, and let $\psi$ be a $C^2$ function on $B$. We characterize bounded weighted composition operators $W_{\varphi,\psi}$ acting on harmonic Hardy spaces $h^p(B)$. In addition, we compute the operator norm of $W_{\varphi,\psi}$ on $h^p(B)$ when $\varphi$ is a M\"obius transformation of $B$.


title: Regular Multi-Horizon Black Holes in Modified Gravity with Non-Linear Electrodynamics

abstract: We investigated the regular multi-horizon black holes in the Einstein gravity, $F(R)$ gravity and the 5 dimensional Gauss-Bonnet gravity, all of them coupled with non-linear electrodynamics. We presented several explicit examples of the actions which admit the solutions describing regular black hole space-time with multi-horizons. Thermodynamics of the obtained black hole solutions is studied. The explicit expressions of the temperature, the entropy, the thermodynamical energy and the free energy are obtained. Although the temperature vanishes in the extremal limit where the radii of the two horizons coincide with each other as in the standard multi-horizon black hole like the Reissner-Nordstr\" om black hole or the Kerr black hole, the larger temperature corresponds to the larger horizon radius. This is different from the standard black holes, where the larger temperature corresponds to the smaller horizon radius. We also found that the specific heat becomes positive for the large temperature, which is also different from the standard black holes, where the specific heat is negative. It should be also noted that the thermodynamical energy is not identical with the ADM mass. Furthermore in case of the Gauss-Bonnet gravity, it is demonstrated that the entropy can become negative.


title: Conditional Adversarial Network for Semantic Segmentation of Brain Tumor

abstract: Automated medical image analysis has a significant value in diagnosis and treatment of lesions. Brain tumors segmentation has a special importance and difficulty due to the difference in appearances and shapes of the different tumor regions in magnetic resonance images. Additionally, the data sets are heterogeneous and usually limited in size in comparison with the computer vision problems. The recently proposed adversarial training has shown promising results in generative image modeling. In this paper, we propose a novel end-to-end trainable architecture for brain tumor semantic segmentation through conditional adversarial training. We exploit conditional Generative Adversarial Network (cGAN) and train a semantic segmentation Convolution Neural Network (CNN) along with an adversarial network that discriminates segmentation maps coming from the ground truth or from the segmentation network for BraTS 2017 segmentation task[15, 4, 2, 3]. We also propose an end-to-end trainable CNN for survival day prediction based on deep learning techniques for BraTS 2017 prediction task [15, 4, 2, 3]. The experimental results demonstrate the superior ability of the proposed approach for both tasks. The proposed model achieves on validation data a DICE score, Sensitivity and Specificity respectively 0.68, 0.99 and 0.98 for the whole tumor, regarding online judgment system.


title: An Integrated-Photonics Optical-Frequency Synthesizer

abstract: Integrated-photonics microchips now enable a range of advanced functionalities for high-coherence applications such as data transmission, highly optimized physical sensors, and harnessing quantum states, but with cost, efficiency, and portability much beyond tabletop experiments. Through high-volume semiconductor processing built around advanced materials there exists an opportunity for integrated devices to impact applications cutting across disciplines of basic science and technology. Here we show how to synthesize the absolute frequency of a lightwave signal, using integrated photonics to implement lasers, system interconnects, and nonlinear frequency comb generation. The laser frequency output of our synthesizer is programmed by a microwave clock across 4 THz near 1550 nm with 1 Hz resolution and traceability to the SI second. This is accomplished with a heterogeneously integrated III/V-Si tunable laser, which is guided by dual dissipative-Kerr-soliton frequency combs fabricated on silicon chips. Through out-of-loop measurements of the phase-coherent, microwave-to-optical link, we verify that the fractional-frequency instability of the integrated photonics synthesizer matches the $7.0*10^{-13}$ reference-clock instability for a 1 second acquisition, and constrain any synthesis error to $7.7*10^{-15}$ while stepping the synthesizer across the telecommunication C band. Any application of an optical frequency source would be enabled by the precision optical synthesis presented here. Building on the ubiquitous capability in the microwave domain, our results demonstrate a first path to synthesis with integrated photonics, leveraging low-cost, low-power, and compact features that will be critical for its widespread use.


title: Mechanical Spectroscopy of Parametric Amplification in a High-Q Membrane Microresonator

abstract: We develop a stoichiometric SiN membrane-based optoelectromechanical system, in which the properties of the mechanical resonator can be dynamically controlled by the piezoelectric actuation. The mode splitting is observed in the mechanical response spectra of a phase-sensitive degenerate parametric amplifier. In addition, the quality factor Q of the membrane oscillator in this process is signicantly enhanced by more than two orders of magnitude due to the coherent amplication, reaching a Q factor of ~ 3*10^8 and a f*Q product of ~ 8*10^14 at room temperature. The thermomechanical noise squeezing close to -3 dB limitation is also achieved. This system integrates the electrical, optical and mechanical degrees of freedom without compromising the exceptional material properties of SiN membranes, and can be a useful platform for studying cavity optoelectromechanics.


title: Hidden probe attacks on ultralong fiber laser key distribution systems

abstract: In ultralong fiber laser key distribution, two sides use standard optical equipment to create kilometer long fiber lasers in a communication link to establish a secret key. Its security rests on the assumption that any attacker would need much more sophisticated equipment and techniques than those of the legitimate user in order to discover the generated key. We present a challenge to that assumption with a hidden probe attack in which the eavesdropper hides a weak signal in the unavoidable noise floor that appears in the laser during amplification and probes with it the configuration of one or both communication parties. We comment how this attack can compromise different proposals for ultralong laser key distribution and propose possible countermeasures.


title: Multiferroic Core-Shell Nanofibers, Assembly in a Magnetic field and Studies on MagnetoElectric Interactions

abstract: Ferromagnetic-ferroelectric nanocomposites are of interest for realizing strong strain mediated coupling between electric and magnetic subsystems due to high surface area-to-volume ratio. This report is on the synthesis of nickel ferrite (NFO) -barium titanate (BTO) core-shell nano-fibers, magnetic field assisted assembly into superstructures, and studies on magneto-electric (ME) interactions. Electrospinning techniques were used to prepare coaxial fibers of 0.5-1.5 micron in diameter. The core-shell structure of annealed fibers was confirmed by electron microscopy and scanning probe microscopy. The fibers were assembled into discs and films in a uniform magnetic field or a field gradient. Studies on ME coupling in the assembled films and discs were done by magnetic field H induced polarization, magneto-dielectric effects at low frequencies and at 16-24 GHz, and low frequency ME voltage coefficients (MEVC). We measured 2~ 2-7% change in remnant polarization and in the permittivity for H = 7 kOe, and a MEVC of 0.4 mV/cm Oe at 30 Hz. A model has been developed for low-frequency ME effects in an assembly of fibers and takes into account dipole-dipole interactions between the fibers and fiber discontinuity. Theoretical estimates for the low-frequency MEVC have been compared with the data. These results indicate strong ME coupling in superstructures of the core-shell fibers.


title: Branched Hamiltonians for a quadratic type Li\'enard oscillator

abstract: We point out that when a quadratic type Li\'enard equation is suitably interpreted shows branching due to the double valuedness of the governing Hamiltonian. Under certain approximation of the guiding coupling constant we derive its quantum counterpart that is guided by a momentum-dependent mass function.


title: A Semiotics-inspired Domain-Specific Modeling Language for Complex Event Processing Rules

abstract: Complex Event Processing (CEP) is one technique used to the handling data flows. It allows pre-establishing conditions through rules and firing events when certain patterns are found in the data flows. Because the rules for defining such patterns are expressed with specific languages, users of these technologies must understand the underlying expression syntax. To reduce the complexity of writing CEP rules, some researchers are employing Domain Specific Modeling Language (DSML) to provide modelling through visual tools. However, existing approaches are ignoring some user design techniques that facilitate usability. Thus, resulting tools eventually has become more complexes for handling CEP than the conventional usage. Also, research on DSML tools targeting CEP does not present any evaluation around usability. This article proposes a DSML combined with visual notations techniques to create CEP rules with a more intuitive development model adapted for the non-expert user needs. The resulting tool was evaluated by non-expert users that were capable of easily creating CEP rules without prior knowledge of the underlying expression language.


title: FaceBoxes: A CPU Real-time Face Detector with High Accuracy

abstract: Although tremendous strides have been made in face detection, one of the remaining open challenges is to achieve real-time speed on the CPU as well as maintain high performance, since effective models for face detection tend to be computationally prohibitive. To address this challenge, we propose a novel face detector, named FaceBoxes, with superior performance on both speed and accuracy. Specifically, our method has a lightweight yet powerful network structure that consists of the Rapidly Digested Convolutional Layers (RDCL) and the Multiple Scale Convolutional Layers (MSCL). The RDCL is designed to enable FaceBoxes to achieve real-time speed on the CPU. The MSCL aims at enriching the receptive fields and discretizing anchors over different layers to handle faces of various scales. Besides, we propose a new anchor densification strategy to make different types of anchors have the same density on the image, which significantly improves the recall rate of small faces. As a consequence, the proposed detector runs at 20 FPS on a single CPU core and 125 FPS using a GPU for VGA-resolution images. Moreover, the speed of FaceBoxes is invariant to the number of faces. We comprehensively evaluate this method and present state-of-the-art detection performance on several face detection benchmark datasets, including the AFW, PASCAL face, and FDDB. Code is available at https://github.com/sfzhang15/FaceBoxes


title: Asymptotic structure of general metric spaces at infinity

abstract: Let $(X,d)$ be an unbounded metric space and $\tilde r=(r_n)_{n\in\mathbb N}$ be a scaling sequence of positive real numbers tending to infinity. We define the pretangent space $\Omega_{\infty, \tilde r}^{X}$ to $(X, d)$ at infinity as a metric space whose points are equivalence classes of sequences $(x_n)_{n\in\mathbb N}\subset X$ which tend to infinity with the speed of $\tilde r$. It is proved that the pretangent spaces $\Omega_{\infty, \tilde r}^{X}$ are complete for every unbounded metric space $(X, d)$ and every scaling sequence $\tilde r$. The finiteness conditions of $\Omega_{\infty, \tilde r}^{X}$ are found.


title: Acousto-electric transport in MgO/ZnO-covered graphene on SiC

abstract: We investigate the acousto-electric transport induced by surface acoustic waves (SAWs) in epitaxial graphene (EG) coated by a MgO/ZnO film. The deposition of a thin MgO layer protects the EG during the sputtering of a piezoelectric ZnO film for the efficient generation of SAWs. We demonstrate by Raman and electric measurements that the coating does not harm the EG structural and electronic properties. We report the generation of two SAW modes with frequencies around 2 GHz. For both modes, we measure acousto-electric currents in EG devices placed in the SAW propagation path. The currents increase linearly with the SAW power, reaching values up to almost two orders of magnitude higher than in previous reports for acousto-electric transport in EG on SiC. Our results agree with the predictions from the classical relaxation model of the interaction between SAWs and a two dimensional electron gas.


title: S$^3$FD: Single Shot Scale-invariant Face Detector

abstract: This paper presents a real-time face detector, named Single Shot Scale-invariant Face Detector (S$^3$FD), which performs superiorly on various scales of faces with a single deep neural network, especially for small faces. Specifically, we try to solve the common problem that anchor-based detectors deteriorate dramatically as the objects become smaller. We make contributions in the following three aspects: 1) proposing a scale-equitable face detection framework to handle different scales of faces well. We tile anchors on a wide range of layers to ensure that all scales of faces have enough features for detection. Besides, we design anchor scales based on the effective receptive field and a proposed equal proportion interval principle; 2) improving the recall rate of small faces by a scale compensation anchor matching strategy; 3) reducing the false positive rate of small faces via a max-out background label. As a consequence, our method achieves state-of-the-art detection performance on all the common face detection benchmarks, including the AFW, PASCAL face, FDDB and WIDER FACE datasets, and can run at 36 FPS on a Nvidia Titan X (Pascal) for VGA-resolution images.


title: Optical properties of an ensemble of G-centers in silicon

abstract: We addressed the carrier dynamics in so-called G-centers in silicon (consisting of substitutional-interstitial carbon pairs interacting with interstitial silicons) obtained via ion implantation into a silicon-on-insulator wafer. For this point defect in silicon emitting in the telecommunication wavelength range, we unravel the recombination dynamics by time-resolved photoluminescence spectroscopy. More specifically, we performed detailed photoluminescence experiments as a function of excitation energy, incident power, irradiation fluence and temperature in order to study the impact of radiative and non-radiative recombination channels on the spectrum, yield and lifetime of G-centers. The sharp line emitting at 969 meV ($\sim$1280 nm) and the broad asymmetric sideband developing at lower energy share the same recombination dynamics as shown by time-resolved experiments performed selectively on each spectral component. This feature accounts for the common origin of the two emission bands which are unambiguously attributed to the zero-phonon line and to the corresponding phonon sideband. In the framework of the Huang-Rhys theory with non-perturbative calculations, we reach an estimation of 1.6$\pm$0.1 $\angstrom$ for the spatial extension of the electronic wave function in the G-center. The radiative recombination time measured at low temperature lies in the 6 ns-range. The estimation of both radiative and non-radiative recombination rates as a function of temperature further demonstrate a constant radiative lifetime. Finally, although G-centers are shallow levels in silicon, we find a value of the Debye-Waller factor comparable to deep levels in wide-bandgap materials. Our results point out the potential of G-centers as a solid-state light source to be integrated into opto-electronic devices within a common silicon platform.


title: Pseudo-extended Markov chain Monte Carlo

abstract: Sampling from posterior distributions using Markov chain Monte Carlo (MCMC) methods can require an exhaustive number of iterations, particularly when the posterior is multi-modal as the MCMC sampler can become trapped in a local mode for a large number of iterations. In this paper, we introduce the pseudo-extended MCMC method as a simple approach for improving the mixing of the MCMC sampler for multi-modal posterior distributions. The pseudo-extended method augments the state-space of the posterior using pseudo-samples as auxiliary variables. On the extended space, the modes of the posterior are connected, which allows the MCMC sampler to easily move between well-separated posterior modes. We demonstrate that the pseudo-extended approach delivers improved MCMC sampling over the Hamiltonian Monte Carlo algorithm on multi-modal posteriors, including Boltzmann machines and models with sparsity-inducing priors.


title: On Answer Substitutions in Logic Programming

abstract: Answer substitutions play a central role in logic programming. To support {\it selective} answer substitutions, we refine $\exists x$ in goals into two different versions: the noisy version $\exists^o x$ and the silent version $\exists x$. The main difference is that only the instantiation in $\exists^o x$ will be recorded in the answer substitutions. Similarly for $\forall x$. In addition, we discuss the notion of don't-care constants and don't-know constants.


title: Viscous forces and bulk viscoelasticity near jamming

abstract: When weakly jammed packings of soft, viscous, non-Brownian spheres are probed mechanically, they respond with a complex admixture of elastic and viscous effects. While many of these effects are understood for specific, approximate models of the particles' interactions, there are a number of proposed force laws in the literature, especially for viscous interactions. We numerically measure the complex shear modulus $G^*$ of jammed packings for various viscous force laws that damp relative velocities between pairs of contacting particles or between a particle and the continuous fluid phase. We find a surprising sensitive dependence of $G^*$ on the viscous force law: the system may or may not display dynamic critical scaling, and the exponents describing how $G^*$ scales with frequency can change. We show that this sensitivity is closely linked to manner in which viscous damping couples to floppy-like, non-affine motion, which is prominent near jamming.


title: Open Issues in Neutrino Reactions

abstract: Numerous investigations discuss neutrino properties from low to ultra high energies. This review discusses several topics that are investigated in present day experiments. The first section covers the detection of $\tau$-neutrinos of cosmic origin and describes the significance of the results. The second topic points out that the reported reduction of the antineutrino flux in reactor experiments may be created by short wavelength oscillations where the detector averages over several wavelengths and observes only an average reduction of the antineutrino flux. In many theories the propagating particles are Majoranas and have an anapole moment; they scatter on atomic electrons with a distinct signature in $\bar\nu_e+e^-\rightarrow\bar\nu_e+e^-$ scattering.


title: Vacua and walls of mass-deformed K\"{a}hler nonlinear sigma models on $SO(2N)/U(N)$

abstract: We construct walls of mass-deformed K\"{a}hler nonlinear sigma models on $SO(2N)/U(N)$, by using the moduli matrix formalism and the simple roots of $SO(2N)$. Penetrable walls are observed in the nonlinear sigma models on $SO(2N)/U(N)$ with $N>3$.


title: Dynamic behaviour of Multilamellar Vesicles under Poiseuille flow

abstract: Surfactant solutions exhibit multilamellar surfactant vesicles (MLVs) under flow conditions and in concentration ranges which are found in a large number of industrial applications. MLVs are typically formed from a lamellar phase and play an important role in determining the rheological properties of surfactant solutions. Despite the wide literature on the collective dynamics of flowing MLVs, investigations on the flow behavior of single MLVs are scarce. In this work, we investigate a concentrated aqueous solution of linear alkylbenzene sulfonic acid (HLAS), characterized by MLVs dispersed in an isotropic micellar phase. Rheological tests show that the HLAS solution is a shear-thinning fluid with a power law index dependent on the shear rate. Pressure-driven shear flow of the HLAS solution in glass capillaries is investigated by high-speed video microscopy and image analysis. The so obtained velocity profiles provide evidence of a power-law fluid behaviour of the HLAS solution and images show a flow-focusing effect of the lamellar phase in the central core of the capillary. The flow behavior of individual MLVs shows analogies with that of unilamellar vesicles and emulsion droplets. Deformed MLVs exhibit typical shapes of unilamellar vesicles, such as parachute and bullet-like. Furthermore, MLV velocity follows the classical Hetsroni theory for droplets provided that the power law shear dependent viscosity of the HLAS solution is taken into account. The results of this work are relevant for the processing of surfactant-based systems in which the final properties depend on flow-induced morphology, such as cosmetic formulations and food products.


title: Rational homotopy theory via Sullivan models: a survey

abstract: This survey contains the main results in rational homotopy, from the beginning to the most recent ones. It makes the status of the art, gives a short presentation of some areas where rational homotopy has been used, and contains a lot of important open problems


title: On involutions and indicators of finite orthogonal groups

abstract: We study the numbers of involutions and their relation to Frobenius-Schur indicators in the groups $\mathrm{SO}^{\pm}(n,q)$ and $\Omega^{\pm}(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius-Schur indicators are 1), and we are able to show this holds for all finite simple groups $G$ other than the groups $\mathrm{Sp}(2n,q)$ with $q$ even or $\Omega^{\pm}(4m,q)$ with $q$ even. We prove computationally that for small $n$ and $m$ this statement indeed holds for these groups by equating their character degree sums to the number of involutions. We also prove a result on a certain twisted indicator for the groups $\mathrm{SO}^{\pm}(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating function and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\mathrm{SO}^{\pm}(n,q)$ and $\Omega^{\pm}(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.


title: Density-Functional Theory Study of the Optoelectronic Properties of {\pi}-Conjugated Copolymers for Organic Light-Emitting Diodes

abstract: Novel low-band-gap copolymer oligomers are proposed on the basis of density functional theory (DFT) quantum chemical calculations of photophysical properties. These molecules have an electron donor-accepter (D-A) architecture involving poly(3-hexylthiophene-2,5-diyl) (P3HT) as D units and furan, aniline, or hydroquinone as A units. Structural parameters, electronic properties, highest occupied molecular orbital (HOMO)-lowest unoccupied molecular orbital (LUMO) gaps and molecular orbital densities are predicted. The charge transfer process between the D unit and the A unit one is supported by analyzing the optical absorption spectra of the compounds and the localization of the HOMO and LUMO.


title: A nonparametric test for stationarity in functional time series

abstract: We propose a new measure for stationarity of a functional time series, which is based on an explicit representation of the $L^2$-distance between the spectral density operator of a non-stationary process and its best ($L^2$-)approximation by a spectral density operator corresponding to a stationary process. This distance can easily be estimated by sums of Hilbert-Schmidt inner products of periodogram operators (evaluated at different frequencies), and asymptotic normality of an appropriately standardized version of the estimator can be established for the corresponding estimate under the null hypothesis and alternative. As a result we obtain a simple asymptotic frequency domain level $\alpha$ test (using the quantiles of the normal distribution) for the hypothesis of stationarity of functional time series. Other applications such as asymptotic confidence intervals for a measure of stationarity or the construction of tests for "relevant deviations from stationarity", are also briefly mentioned. We demonstrate in a small simulation study that the new method has very good finite sample properties. Moreover, we apply our test to annual temperature curves.


title: A Magellan M2FS Spectroscopic Survey of Galaxies at 5.5<z<6.8: Program Overview and a Sample of the Brightest Lyman-alpha Emitters

abstract: We present a spectroscopic survey of high-redshift, luminous galaxies over four square degrees on the sky, aiming to build a large and homogeneous sample of Ly$\alpha$ emitters (LAEs) at $z\approx5.7$ and 6.5, and Lyman-break galaxies (LBGs) at $5.5<z<6.8$. The fields that we choose to observe are well-studied, such as SXDS and COSMOS. They have deep optical imaging data in a series of broad and narrow bands, allowing efficient selection of galaxy candidates. Spectroscopic observations are being carried out using the multi-object spectrograph M2FS on the Magellan Clay telescope. M2FS is efficient to identify high-redshift galaxies, owing to its 256 optical fibers deployed over a circular field-of-view 30 arcmin in diameter. We have observed $\sim2.5$ square degrees. When the program is completed, we expect to identify more than 400 bright LAEs at $z\approx5.7$ and 6.5, and a substantial number of LBGs at $z\ge6$. This unique sample will be used to study a variety of galaxy properties and to search for large protoclusters. Furthermore, the statistical properties of these galaxies will be used to probe cosmic reionization. We describe the motivation, program design, target selection, and M2FS observations. We also outline our science goals, and present a sample of the brightest LAEs at $z\approx5.7$ and 6.5. This sample contains 32 LAEs with Ly$\alpha$ luminosities higher than 10$^{43}$ erg s$^{-1}$. A few of them reach $\ge3\times10^{43}$ erg s$^{-1}$, comparable to the two most luminous LAEs known at $z\ge6$, `CR7' and `COLA1'. These LAEs provide ideal targets to study extreme galaxies in the distant universe.


title: Field dynamics inference via spectral density estimation

abstract: Stochastic differential equations (SDEs) are of utmost importance in various scientific and industrial areas. They are the natural description of dynamical processes whose precise equations of motion are either not known or too expensive to solve, e.g., when modeling Brownian motion. In some cases, the equations governing the dynamics of a physical system on macroscopic scales occur to be unknown since they typically cannot be deduced from general principles. In this work, we describe how the underlying laws of a stochastic process can be approximated by the spectral density of the corresponding process. Furthermore, we show how the density can be inferred from possibly very noisy and incomplete measurements of the dynamical field. Generally, inverse problems like these can be tackled with the help of Information Field Theory (IFT). For now, we restrict to linear and autonomous processes. Though, this is a non-conceptual limitation that may be omitted in future work. To demonstrate its applicability we employ our reconstruction algorithm on a time-series and spatio-temporal processes.


title: Uranium polyhydrides at moderate pressures: prediction, synthesis, and expected superconductivity

abstract: Hydrogen-rich hydrides attract great attention due to recent theoretical (1) and then experimental discovery of record high-temperature superconductivity in H3S (Tc = 203 K at 155 GPa (2)). Here we search for stable uranium hydrides at pressures up to 500 GPa using ab initio evolutionary crystal structure prediction. Chemistry of the U-H system turned out to be extremely rich, with 14 new compounds, including hydrogen-rich UH5, UH6, U2H13, UH7, UH8, U2H17, and UH9. Their crystal structures are based on either common f.c.c. or h.c.p. uranium sublattice and unusual H8 cubic clusters. Our high-pressure experiments at 1-103 GPa confirm the predicted UH7, UH8, and three different phases of UH5, raising confidence about predictions of the other phases. Many of the newly predicted phases are expected to be high-temperature superconductors. The highest-Tc superconductor is UH7 predicted to be thermodynamically stable at pressures above 22 GPa (with Tc = 44-54 K) and this phase remains dynamically stable upon decompression to zero pressure (with Tc = 57-66 K).


title: Correlated Signatures of Gravitational-Wave and Neutrino Emission in Three-Dimensional General-Relativistic Core-Collapse Supernova Simulations

abstract: We present results from general-relativistic (GR) three-dimensional (3D) core-collapse simulations with approximate neutrino transport for three non-rotating progenitors (11.2, 15, and 40 Msun) using different nuclear equations of state (EOSs). We find that the combination of progenitor's higher compactness at bounce and the use of softer EOS leads to stronger activity of the standing accretion shock instability (SASI). We confirm previous predications that the SASI produces characteristic time modulations both in neutrino and gravitational-wave (GW) signals. By performing a correlation analysis of the SASI-modulated neutrino and GW signals, we find that the correlation becomes highest when we take into account the time-delay effect due to the advection of material from the neutrino sphere to the proto-neutron star core surface. Our results suggest that the correlation of the neutrino and GW signals, if detected, would provide a new signature of the vigorous SASI activity in the supernova core, which can be hardly seen if neutrino-convection dominates over the SASI.


title: Levi-Kahler reduction of CR structures, products of spheres, and toric geometry

abstract: We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd dimensional spheres. We obtain explicit descriptions and characterizations of such quotients, and find Levi-Kahler quotients of products of 3-spheres which are extremal in a weighted sense introduced by G. Maschler and the first author.


title: Adaptive Clustering Using Kernel Density Estimators

abstract: We derive and analyze a generic, recursive algorithm for estimating all splits in a finite cluster tree as well as the corresponding clusters. We further investigate statistical properties of this generic clustering algorithm when it receives level set estimates from a kernel density estimator. In particular, we derive finite sample guarantees, consistency, rates of convergence, and an adaptive data-driven strategy for choosing the kernel bandwidth. For these results we do not need continuity assumptions on the density such as H\"{o}lder continuity, but only require intuitive geometric assumptions of non-parametric nature.


title: Category Theory for Genetics

abstract: We introduce a categorical language in which it is possible to talk about DNA sequencing, alignment methods, CRISPR, homologous recombination, haplotypes, and genetic linkage. This language takes the form of a class of limit-sketches whose categories of models can model different concepts of Biology depending on what their categories of values are. We discuss examples of models in the category of sets and in the category of modules over the Boolean semi-ring $\{0,1\}$. We identify a subclass of models in sets that models the genetic material of living beings and another subclass of models in modules that models haplotypes. We show how the two classes are related via a universal property.


title: Deep Learning at 15PF: Supervised and Semi-Supervised Classification for Scientific Data

abstract: This paper presents the first, 15-PetaFLOP Deep Learning system for solving scientific pattern classification problems on contemporary HPC architectures. We develop supervised convolutional architectures for discriminating signals in high-energy physics data as well as semi-supervised architectures for localizing and classifying extreme weather in climate data. Our Intelcaffe-based implementation obtains $\sim$2TFLOP/s on a single Cori Phase-II Xeon-Phi node. We use a hybrid strategy employing synchronous node-groups, while using asynchronous communication across groups. We use this strategy to scale training of a single model to $\sim$9600 Xeon-Phi nodes; obtaining peak performance of 11.73-15.07 PFLOP/s and sustained performance of 11.41-13.27 PFLOP/s. At scale, our HEP architecture produces state-of-the-art classification accuracy on a dataset with 10M images, exceeding that achieved by selections on high-level physics-motivated features. Our semi-supervised architecture successfully extracts weather patterns in a 15TB climate dataset. Our results demonstrate that Deep Learning can be optimized and scaled effectively on many-core, HPC systems.


title: Auxiliary Variables for Multi-Dirichlet Priors

abstract: Bayesian models that mix multiple Dirichlet prior parameters, called Multi-Dirichlet priors (MD) in this paper, are gaining popularity. Inferring mixing weights and parameters of mixed prior distributions seems tricky, as sums over Dirichlet parameters complicate the joint distribution of model parameters. This paper shows a novel auxiliary variable scheme which helps to simplify the inference for models involving hierarchical MDs and MDPs. Using this scheme, it is easy to derive fully collapsed inference schemes which allow for an efficient inference.


title: Comprehensive Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems Using the R-Package flacco

abstract: Choosing the best-performing optimizer(s) out of a portfolio of optimization algorithms is usually a difficult and complex task. It gets even worse, if the underlying functions are unknown, i.e., so-called Black-Box problems, and function evaluations are considered to be expensive. In the case of continuous single-objective optimization problems, Exploratory Landscape Analysis (ELA) - a sophisticated and effective approach for characterizing the landscapes of such problems by means of numerical values before actually performing the optimization task itself - is advantageous. Unfortunately, until now it has been quite complicated to compute multiple ELA features simultaneously, as the corresponding code has been - if at all - spread across multiple platforms or at least across several packages within these platforms. This article presents a broad summary of existing ELA approaches and introduces flacco, an R-package for feature-based landscape analysis of continuous and constrained optimization problems. Although its functions neither solve the optimization problem itself nor the related "Algorithm Selection Problem (ASP)", it offers easy access to an essential ingredient of the ASP by providing a wide collection of ELA features on a single platform - even within a single package. In addition, flacco provides multiple visualization techniques, which enhance the understanding of some of these numerical features, and thereby make certain landscape properties more comprehensible. On top of that, we will introduce the package's build-in, as well as web-hosted and hence platform-independent, graphical user interface (GUI), which facilitates the usage of the package - especially for people who are not familiar with R - making it a very convenient toolbox when working towards algorithm selection of continuous single-objective optimization problems.


title: Graded Steinberg algebras and partial actions

abstract: Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space, the Steinberg algebra of the associated groupoid is graded isomorphic to the corresponding partial skew group ring. We show that there is a one-to-one correspondence between the open invariant subsets of the topological space and the graded ideals of the partial skew group ring. We also consider the algebraic version of the partial $C^{*}$-algebra of an abelian group and realise it as a partial skew group ring via a partial action of the group on a topological space. Applications to the theory of Leavitt path algebras are given.


title: Quantum Zeno and anti-Zeno effects in open quantum systems

abstract: Traditional approach on quantum Zeno effect (QZE) and quantum anti-Zeno effect (QAZE) in open quantum systems (implicitly) assumes the bath (environment) state returning to its original state after each instantaneous projective measurement on the system and thus ignores the cross-correlations of the bath operators between different Zeno intervals. However, this assumption is not generally true, especially for a bath with a considerably non-negligible memory effect and for a system repeatedly projected into an initial general superposition state. We find that in stark contrast to the result of a constant value found in the traditional approach, the scaled average decay rate in unit Zeno interval of the survival probability is generally time-dependent or has an oscillatory behavior. In the case of strong bath correlation, the transition between the QZE and QAZE depends sensitively on the number of measurements $N$. For a fixed $N$, a QZE region predicted by the tradition approach may be in fact already in the QAZE region. We illustrate our findings using an exactly solvable open qubit system model with a Lorentzian bath spectral density, which is directly related to realistic circuit cavity quantum electrodynamics systems. Thus the results and dynamics presented here can be verified by current superconducting circuit technology.


title: Privacy Guidelines for Internet of Things: A Cheat Sheet

abstract: This document presents 30 different privacy guidelines that can be used to both design and assess IoT applications and IoT middleware platforms. These guidelines can be broadly categorised into eight categories, namely, MINIMIZE ( ), HIDE ( ), SEPARATE ( ), AGGREGATE ( ), INFORM ( ), CONTROL ( ), ENFORCE ( ), DEMONSTRATE ( ). This document uses the following structure to introduce the each privacy guidelines. First, we describe the philosophy behind each guideline in general. Then, we present the questions that software architects need to think about when designing or assessing an IoT platform or application. The questions slightly vary depending on whether the architect is assessing a platform or an application.