title: Secular chaotic dynamics in hierarchical quadruple systems, with applications to hot Jupiters in stellar binaries and triples

abstract: Hierarchical quadruple systems arise naturally in stellar binaries and triples that harbour planets. Examples are hot Jupiters (HJs) in stellar triple systems, and planetary companions to HJs in stellar binaries. The secular dynamical evolution of these systems is generally complex, with secular chaotic motion possible in certain parameter regimes. The latter can lead to extremely high eccentricities and, therefore, strong interactions such as efficient tidal evolution. These interactions are believed to play an important role in the formation of HJs through high-eccentricity migration. Nevertheless, a deeper understanding of the secular dynamics of these systems is still lacking. Here we study in detail the secular dynamics of a special case of hierarchical quadruple systems in either the `2+2' or `3+1' configurations. We show how the equations of motion can be cast in a form representing a perturbed hierarchical three-body system, in which the outer orbital angular momentum vector is precessing steadily around a fixed axis. In this case, we show that eccentricity excitation can be significantly enhanced when the precession period is comparable to the Lidov-Kozai oscillation time-scale of the inner orbit. This arises from an induced large mutual inclination between the inner and outer orbits driven by the precession of the outer orbit, even if the initial mutual inclination is small. We present a simplified semi-analytic model that describes the latter phenomenon.


title: GPS and the Search for Axions

abstract: GPS, an excellent tool for geodesy, may serve also particle physics. In the presence of Earth's magnetic field, a GPS photon may be transformed into an axion. The proposed experimental setup involves the transmission of a GPS signal from a satellite to another satellite, both in low orbit around the Earth. To increase the accuracy of the experiment, we evaluate the influence of Earth's gravitational field on the whole quantum phenomenon. There is a significant advantage in our proposal. While geomagnetic field B is low, the magnetized length L is very large, resulting into a scale (BL)^2 orders of magnitude higher than existing or proposed reaches. The transformation of the GPS photons into axion particles will result in a dimming of the photons and even to a "light shining through the Earth" phenomenon.


title: Revision of nucleotide substitution rate in mtDNA control region of white sturgeon Acipenser transmontanus (Acipenseridae)

abstract: The raw data from study of variation of D-loop mtDNA of white sturgeon Acipenser transmontanus (Mol. Biol. Evol. 1993. 10: 326-341) was re-analyzed. Re-calculated nucleotide substitution rate ({\mu}) was 0.782-0.939 x 10-7 substitutions/site/year/lineage, which was 1.4 times less than the estimate given in above-mentioned publication. The use of new {\mu} has led to an increase in estimates of long-term female effective population size (Nef) and coalescence times for mtDNA haplotypes, previously calculated for samples of Amur sturgeon A. schrenckii and kaluga A. dauricus, but it did not affect the conclusions on the critical state of their natural populations.


title: Penetration of fast projectiles into resistant media: from macroscopic to subatomic projectiles

abstract: The penetration of a fast projectile into a resistant medium is a complex process that is suitable for simple modeling, in which basic physical principles can be profitably employed. This study connects two different domains: the fast motion of macroscopic bodies in resistant media and the interaction of charged subatomic particles with matter at high energies, which furnish the two limit cases of the problem of penetrating projectiles of different sizes. These limit cases actually have overlapping applications; for example, in space physics and technology. The intermediate or mesoscopic domain finds application in atom cluster implantation technology. Here it is shown that the penetration of fast nano-projectiles is ruled by a slightly modified Newton's inertial quadratic force, namely, $F \sim v^{2-\beta}$, where $\beta$ vanishes as the inverse of projectile diameter. Factors essential to penetration depth are ratio of projectile to medium density and projectile shape.


title: Exploiting OxRAM Resistive Switching for Dynamic Range Improvement of CMOS Image Sensors

abstract: We present a unique application of OxRAM devices in CMOS Image Sensors (CIS) for dynamic range (DR) improvement. We propose a modified 3T-APS (Active Pixel Sensor) circuit that incorporates OxRAM in 1T-1R configuration. DR improvement is achieved by resistive compression of the pixel output signal through autonomous programming of OxRAM device resistance during exposure. We show that by carefully preconditioning the OxRAM resistance, pixel DR can be enhanced. Detailed impact of OxRAM SET-to-RESET and RESET-to-SET transitions on pixel DR is discussed. For experimental validation with specific OxRAM preprogrammed states, a 4 Kb 10 nm thick HfOx (1T-1R) matrix was fabricated and characterized. Best case, relative pixel DR improvement of ~ 50 dB was obtained for our design.


title: Constraining The Single-Degenerate Channel of Type Ia Supernovae With Stable Iron-Group Elements in SNR 3C 397

abstract: Recent Suzaku X-ray spectra of SNR 3C 397 indicate enhanced stable iron-group element abundances of Ni, Mn, Cr, and Fe. Seeking to address key questions about the progenitor and explosion mechanism of 3C 397, we compute nucleosynthetic yields from a suite of multidimensional hydrodynamics models in the near-Chandrasekhar mass, single-degenerate paradigm for supernova Type Ia. Varying the progenitor white dwarf internal structure, composition, ignition, and explosion mechanism, we find the best match to the observed iron-peak elements of 3C 397 are dense (central density $\ge$ 6$\times$10$^{9}$ g cm$^{-3}$), low-carbon white dwarfs that undergo a weak, centrally-ignited deflagration, followed by a subsequent detonation. The amount of $^{56}$Ni produced is consistent with a normal or bright normal supernova Type Ia. A pure deflagration of a centrally-ignited, low central density ($\simeq$ 2$\times$10$^{9}$ g cm$^{-3}$) progenitor white dwarf, frequently considered in the literature, is also found to produce good agreement with 3C 397 nucleosynthetic yields, but leads to a subluminous SN Ia event, in conflict with X-ray linewidth data. Additionally, in contrast to prior work which suggested a large super-solar metallicity for the white dwarf progenitor for SNR 3C 397, we find satisfactory agreement for solar and sub-solar metallicity progenitors. We discuss a range of implications our results have for the single-degenerate channel.


title: Using dust, gas and stellar mass selected samples to probe dust sources and sinks in low metallicity galaxies

abstract: We combine samples of nearby galaxies with Herschel photometry selected on their dust, metal, HI, and stellar mass content, and compare these to chemical evolution models in order to discriminate between different dust sources. In a companion paper, we used a HI-selected sample of nearby galaxies to reveal a sub-sample of very gas rich (gas fraction > 80 per cent) sources with dust masses significantly below predictions from simple chemical evolution models, and well below $M_d/M_*$ and $M_d/M_{gas}$ scaling relations seen in dust and stellar-selected samples of local galaxies. We use a chemical evolution model to explain these dust-poor, but gas-rich, sources as well as the observed star formation rates (SFRs) and dust-to-gas ratios. We find that (i) a delayed star formation history is required to model the observed SFRs; (ii) inflows and outflows are required to model the observed metallicities at low gas fractions; (iii) a reduced contribution of dust from supernovae (SNe) is needed to explain the dust-poor sources with high gas fractions. These dust-poor, low stellar mass galaxies require a typical core-collapse SN to produce 0.01 - 0.16 $M_{\odot}$ of dust. To match the observed dust masses at lower gas fractions, significant grain growth is required to counteract the reduced contribution from dust in SNe and dust destruction from SN shocks. These findings are statistically robust, though due to intrinsic scatter it is not always possible to find one single model that successfully describes all the data. We also show that the dust-to-metals ratio decreases towards lower metallicity.


title: On the connection between turbulent motions and particle acceleration in galaxy clusters

abstract: Giant radio halos are Mpc-scale diffuse radio sources associated with the central regions of galaxy clusters. The most promising scenario to explain the origin of these sources is that of turbulent re-acceleration, in which MeV electrons injected throughout the formation history of galaxy clusters are accelerated to higher energies by turbulent motions mostly induced by cluster mergers. In this Letter, we use the amplitude of density fluctuations in the intracluster medium as a proxy for the turbulent velocity and apply this technique to a sample of 51 clusters with available radio data. Our results indicate a segregation in the turbulent velocity of radio halo and radio quiet clusters, with the turbulent velocity of the former being on average higher by about a factor of two. The velocity dispersion recovered with this technique correlates with the measured radio power through the relation $P_{\rm radio}\propto\sigma_v^{3.3\pm0.7}$, which implies that the radio power is nearly proportional to the turbulent energy rate. Our results provide an observational confirmation of a key prediction of the turbulent re-acceleration model and possibly shed light on the origin of radio halos.


title: Viability of quantum-gravity induced ultraviolet completions for matter

abstract: We highlight how the existence of an ultraviolet completion for interacting Standard-Model type matter puts constraints on the viable microscopic dynamics of asymptotically safe quantum gravity within truncated Renormalization Group flows. A first constraint -- the weak-gravity bound -- is rooted in the destruction of quantum scale-invariance in the matter system by strong quantum-gravity fluctuations. A second constraint arises by linking Planck-scale dynamics to the dynamics at the electroweak scale. Specifically, we delineate how to extract a prediction of the top quark mass from asymptotically safe gravity and stress that a finite top mass could be difficult to accommodate in a significant part of the gravitational coupling space.


title: Atmospheric Stellar Parameters from Cross-Correlation Functions

abstract: The increasing number of spectra gathered by spectroscopic sky surveys and transiting exoplanet follow-up has pushed the community to develop automated tools for atmospheric stellar parameters determination. Here we present a novel approach that allows the measurement of temperature ($T_{\rm eff}$), metallicity ($[{\rm Fe}/{\rm H}]$) and gravity ($\log g$) within a few seconds and in a completely automated fashion. Rather than performing comparisons with spectral libraries, our technique is based on the determination of several cross-correlation functions (CCFs) obtained by including spectral features with different sensitivity to the photospheric parameters. We use literature stellar parameters of high signal-to-noise ($\textrm{SNR}$), high-resolution HARPS spectra of FGK Main Sequence stars to calibrate $T_{\rm eff}$, $[{\rm Fe}/{\rm H}]$ and $\log g$ as a function of CCFs parameters. Our technique is validated using low $\textrm{SNR}$ spectra obtained with the same instrument. For FGK stars we achieve a precision of $\sigma_{T_{\rm eff}} = 50$ K, $\sigma_{\log g} = 0.09~ \textrm{dex}$ and $\sigma_{\textrm{Fe}/\textrm{H}]} =0.035~ \textrm{dex}$ at $\textrm{SNR}=50 $, while the precision for observation with $\textrm{SNR} \gtrsim 100$ and the overall accuracy are constrained by the literature values used to calibrate the CCFs. Our approach can be easily extended to other instruments with similar spectral range and resolution, or to other spectral range and stars other than FGK dwarfs if a large sample of reference stars is available for the calibration. Additionally, we provide the mathematical formulation to convert synthetic equivalent widths to CCF parameters as an alternative to direct calibration. We have made our tool publicly available.


title: Noisy independent component analysis of auto-correlated components

abstract: We present a new method for the separation of superimposed, independent, auto-correlated components from noisy multi-channel measurement. The presented method simultaneously reconstructs and separates the components, taking all channels into account and thereby increases the effective signal-to-noise ratio considerably, allowing separations even in the high noise regime. Characteristics of the measurement instruments can be included, allowing for application in complex measurement situations. Independent posterior samples can be provided, permitting error estimates on all desired quantities. Using the concept of information field theory, the algorithm is not restricted to any dimensionality of the underlying space or discretization scheme thereof.

categories: stat.ME astro-ph.IM physics.data-an q-bio.QM q-fin.ST


title: First Light for GRAVITY: Phase Referencing Optical Interferometry for the Very Large Telescope Interferometer

abstract: GRAVITY is a new instrument to coherently combine the light of the European Southern Observatory Very Large Telescope Interferometer to form a telescope with an equivalent 130 m diameter angular resolution and a collecting area of 200 m$^2$. The instrument comprises fiber fed integrated optics beam combination, high resolution spectroscopy, built-in beam analysis and control, near-infrared wavefront sensing, phase-tracking, dual beam operation and laser metrology [...]. This article gives an overview of GRAVITY and reports on the performance and the first astronomical observations during commissioning in 2015/16. We demonstrate phase tracking on stars as faint as m$_K$ ~ 10 mag, phase-referenced interferometry of objects fainter than m$_K$ ~ 15 mag with a limiting magnitude of m$_K$ ~ 17 mag, minute long coherent integrations, a visibility accuracy of better than 0.25 %, and spectro-differential phase and closure phase accuracy better than 0.5{\deg}, corresponding to a differential astrometric precision of better than 10 microarcseconds ({\mu}as). The dual-beam astrometry, measuring the phase difference of two objects with laser metrology, is still under commissioning. First observations show residuals as low as 50 {\mu}as when following objects over several months. We illustrate the instrument performance with the observations of archetypical objects for the different instrument modes. Examples include the Galactic Center supermassive black hole and its fast orbiting star S2 for phase referenced dual beam observations and infrared wavefront sensing, the High Mass X-Ray Binary BP Cru and the Active Galactic Nucleus of PDS 456 for few {\mu}as spectro-differential astrometry, the T Tauri star S CrA for a spectro-differential visibility analysis, {\xi} Tel and 24 Cap for high accuracy visibility observations, and {\eta} Car for interferometric imaging with GRAVITY.


title: The Structure of the Broad-Line Region In Active Galactic Nuclei. II. Dynamical Modeling of Data from the AGN10 Reverberation Mapping Campaign

abstract: We present inferences on the geometry and kinematics of the broad-Hbeta line-emitting region in four active galactic nuclei monitored as a part of the fall 2010 reverberation mapping campaign at MDM Observatory led by the Ohio State University. From modeling the continuum variability and response in emission-line profile changes as a function of time, we infer the geometry of the Hbeta- emitting broad line regions to be thick disks that are close to face-on to the observer with kinematics that are well-described by either elliptical orbits or inflowing gas. We measure the black hole mass to be log (MBH) = 7.25 (+/-0.10) for Mrk 335, 7.86 (+0.20, -0.17) for Mrk 1501, 7.84 (+0.14, -0.19) for 3C 120, and 6.92 (+0.24, -0.23) for PG 2130+099. These black hole mass measurements are not based on a particular assumed value of the virial scale factor f, allowing us to compute individual f factors for each target. Our results nearly double the number of targets that have been modeled in this manner, and investigate the properties of a more diverse sample by including previously modeled objects. We measure an average scale factor f in the entire sample to be log10(f) = 0.54 +/- 0.17 when the line dispersion is used to characterize the line width, which is consistent with values derived using the normalization of the MBH-sigma relation. We find that the scale factor f for individual targets is likely correlated with the black hole mass, inclination angle, and opening angle of the broad line region but we do not find any correlation with the luminosity.


title: The formation of direct collapse black holes under the influence of streaming velocities

abstract: We study the influence of a high baryonic streaming velocity on the formation of direct collapse black holes (DCBHs) with the help of cosmological simulations carried out using the moving mesh code {\sc arepo}. We show that a streaming velocity that is as large as three times the root-mean-squared value is effective at suppressing the formation of H$_{2}$-cooled minihaloes, while still allowing larger atomic cooling haloes (ACHs) to form. We find that enough H$_{2}$ forms in the centre of these ACHs to effectively cool the gas, demonstrating that a high streaming velocity by itself cannot produce the conditions required for DCBH formation. However, we argue that high streaming velocity regions do provide an ideal environment for the formation of DCBHs in close pairs of ACHs (the "synchronised halo" model). Due to the absence of star formation in minihaloes, the gas remains chemically pristine until the ACHs form. If two such haloes form with only a small separation in time and space, then the one forming stars earlier can provide enough ultraviolet radiation to suppress H$_{2}$ cooling in the other, allowing it to collapse to form a DCBH. Baryonic streaming may therefore play a crucial role in the formation of the seeds of the highest redshift quasars.


title: External versus internal triggers of bar formation in cosmological zoom-in simulations

abstract: The emergence of a large-scale stellar bar is one of the most striking features in disc galaxies. By means of state-of-the-art cosmological zoom-in simulations, we study the formation and evolution of bars in Milky Way-like galaxies in a fully cosmological context, including the physics of gas dissipation, star formation, and supernova feedback. Our goal is to characterise the actual trigger of the non-axisymmetric perturbation that leads to the strong bar observable in the simulations at z=0, discriminating between an internal/secular versus an external/tidal origin. To this aim, we run a suite of cosmological zoom-in simulations altering the original history of galaxy-satellite interactions at a time when the main galaxy, though already bar-unstable, does not feature any non-axisymmetric structure yet. We find that the main effect of a late minor merger and of a close fly-by is to delay the time of bar formation and those two dynamical events are not directly responsible for the development of the bar and do not alter significantly its global properties (e.g. its final extension). We conclude that, once the disc has grown to a mass large enough to sustain global non-axisymmetric modes, then bar formation is inevitable.


title: Slim Fractals: The Geometry of Doubly Transient Chaos

abstract: Traditional studies of chaos in conservative and driven dissipative systems have established a correspondence between sensitive dependence on initial conditions and fractal basin boundaries, but much less is known about the relation between geometry and dynamics in undriven dissipative systems. These systems can exhibit a prevalent form of complex dynamics, dubbed doubly transient chaos because not only typical trajectories but also the (otherwise invariant) chaotic saddles are transient. This property, along with a manifest lack of scale invariance, has hindered the study of the geometric properties of basin boundaries in these systems--most remarkably, the very question of whether they are fractal across all scales has yet to be answered. Here we derive a general dynamical condition that answers this question, which we use to demonstrate that the basin boundaries can indeed form a true fractal; in fact, they do so generically in a broad class of transiently chaotic undriven dissipative systems. Using physical examples, we demonstrate that the boundaries typically form a slim fractal, which we define as a set whose dimension at a given resolution decreases when the resolution is increased. To properly characterize such sets, we introduce the notion of equivalent dimension for quantifying their relation with sensitive dependence on initial conditions at all scales. We show that slim fractal boundaries can exhibit complex geometry even when they do not form a true fractal and fractal scaling is observed only above a certain length scale at each boundary point. Thus, our results reveal slim fractals as a geometrical hallmark of transient chaos in undriven dissipative systems.


title: The Surface UV Environment on Planets Orbiting M-Dwarfs: Implications for Prebiotic Chemistry & Need for Experimental Follow-Up

abstract: Potentially-habitable planets orbiting M-dwarfs are of intense astrobiological interest because they are the only rocky worlds accessible to biosignature search over the next 10+ years due to a confluence of observational effects. Simultaneously, recent experimental and theoretical work suggests that UV light may have played a key role in the origin of life on Earth, and especially the origin of RNA. Characterizing the UV environment on M-dwarfs planets is important to understanding whether life as we know it could emerge on such worlds. In this work, we couple radiative transfer models to observed M-dwarf spectra to determine the UV environment on prebiotic Earth-analog planets orbiting M-dwarfs. We calculate dose rates to quantify the impact of different host stars on prebiotically-important photoprocesses. We find that M-dwarf planets have access to 100-1000 times less bioactive UV fluence than the young Earth. It is unclear whether UV-sensitive prebiotic chemistry that may have been important to abiogenesis, such as the only known prebiotically plausible pathways for pyrimidine ribonucleotide synthesis, could function on M-dwarf planets. This uncertainty affects objects like the recently-discovered habitable-zone planets orbiting Proxima Centauri, TRAPPIST-1, and LHS 1140. Laboratory studies of the sensitivity of putative prebiotic pathways to irradiation level are required to resolve this uncertainty. If steady-state M-dwarf UV output is insufficient to power these pathways, transient elevated UV irradiation due to flares may suffice; laboratory studies can constrain this possibility as well.


title: Sub-milliarcsecond Optical Interferometry of the HMXB BP Cru with VLTI/GRAVITY

abstract: We observe the HMXB BP Cru using interferometry in the near-infrared K band with VLTI/GRAVITY. Continuum visibilities are at most partially resolved, consistent with the predicted size of the hypergiant. Differential visibility amplitude ($\Delta |V| \sim 5\%$) and phase ($\Delta \phi \sim 2 \deg$) signatures are observed across the HeI $2.059 \mu$m and Br$\gamma$ lines, the latter seen strongly in emission, unusual for the donor star's spectral type. For a baseline $B \sim 100$m, the differential phase RMS $\sim 0.2 \deg$ corresponds to an astrometric precision of $\sim 2 \mu$as. A model-independent analysis in the marginally resolved limit of interferometry reveals asymmetric and extended emission with a strong wavelength dependence. We propose geometric models based on an extended and distorted wind and/or a high density gas stream, which has long been predicted to be present in this system. The observations show that optical interferometry is now able to resolve HMXBs at the spatial scale at which accretion takes place, and therefore probe the effects of the gravitational and radiation fields of the compact object on its environment.


title: Open Strings and Electric Fields in Compact Spaces

abstract: We analyse open strings with background electric fields in the internal space, T-dual to branes moving with constant velocities in the internal space. We find that the direction of the electric fields inside a two torus, dual to the D brane velocities, has to be quantised such that the corresponding direction is compact. This implies that D-brane motion in the internal torus is periodic, with a periodicity that can be parametrically large in terms of the internal radii. By S-duality, this is mapped into an internal magnetic field in a three torus, a quantum mechanical analysis of which yields a similar result, i.e. the parallel direction to the magnetic field has to be compact. Furthermore, for the magnetic case, we find the Landau level degeneracy as being given by the greatest common divisor of the flux numbers. We carry on the string quantisation and derive the relevant partition functions for these models. Our analysis includes also the case of oblique electric fields which can arise when several stacks of branes are present. Compact dimensions and/or oblique sectors influence the energy loss of the system through pair-creation and thus can be relevant for inflationary scenarios with branes. Finally, we show that the compact energy loss is always larger than the non-compact one.


title: The Non-Abelian Self-Dual String and the (2,0)-Theory

abstract: We argue that the relevant higher gauge group for the non-abelian generalization of the self-dual string equation is the string 2-group. We then derive the corresponding equations of motion and discuss their properties. The underlying geometric picture is a string structure, i.e. a categorified principal bundle with connection whose structure 2-group is the string 2-group. We readily write down the explicit elementary solution to our equations, which is the categorified analogue of the 't Hooft-Polyakov monopole. Our solution passes all the relevant consistency checks; in particular, it is globally defined on $\mathbb{R}^4$ and approaches the abelian self-dual string of charge one at infinity. We note that our equations also arise as the BPS equations in a recently proposed six-dimensional superconformal field theory and we show that with our choice of higher gauge structure, the action of this theory can be reduced to four-dimensional supersymmetric Yang-Mills theory.


title: Nonlinear analysis of PLL by the harmonic balance method

abstract: In this paper we discuss the application of the harmonic balance method for the global analysis of the classical phase-locked loop (PLL) circuit. The harmonic balance is non rigorous method, which is widely used %,often without rigorous justification, for the computation of periodic solutions and the checking of global stability. The proof of the absence of periodic solutions is a key step to establish the global stability of PLL and estimate the pull-in range (which is an interval of the frequency deviations such that any solution tends to one of the equilibria). The advantages and limitations of the study of the classical PLL with lead-lag filter using the harmonic balance method is discussed.


title: Accelerating Science with Generative Adversarial Networks: An Application to 3D Particle Showers in Multi-Layer Calorimeters

abstract: Physicists at the Large Hadron Collider (LHC) rely on detailed simulations of particle collisions to build expectations of what experimental data may look like under different theory modeling assumptions. Petabytes of simulated data are needed to develop analysis techniques, though they are expensive to generate using existing algorithms and computing resources. The modeling of detectors and the precise description of particle cascades as they interact with the material in the calorimeter are the most computationally demanding steps in the simulation pipeline. We therefore introduce a deep neural network-based generative model to enable high-fidelity, fast, electromagnetic calorimeter simulation. There are still challenges for achieving precision across the entire phase space, but our current solution can reproduce a variety of particle shower properties while achieving speed-up factors of up to 100,000$\times$. This opens the door to a new era of fast simulation that could save significant computing time and disk space, while extending the reach of physics searches and precision measurements at the LHC and beyond.


title: Solving (most) of a set of quadratic equalities: Composite optimization for robust phase retrieval

abstract: We develop procedures, based on minimization of the composition $f(x) = h(c(x))$ of a convex function $h$ and smooth function $c$, for solving random collections of quadratic equalities, applying our methodology to phase retrieval problems. We show that the prox-linear algorithm we develop can solve phase retrieval problems---even with adversarially faulty measurements---with high probability as soon as the number of measurements $m$ is a constant factor larger than the dimension $n$ of the signal to be recovered. The algorithm requires essentially no tuning---it consists of solving a sequence of convex problems---and it is implementable without any particular assumptions on the measurements taken. We provide substantial experiments investigating our methods, indicating the practical effectiveness of the procedures and showing that they succeed with high probability as soon as $m / n \ge 2$ when the signal is real-valued.


title: Transmit Array Interpolation for DOA Estimation via Tensor Decomposition in 2D MIMO Radar

abstract: In this paper, we propose a two-dimensional (2D) joint transmit array interpolation and beamspace design for planar array mono-static multiple-input-multiple-output (MIMO) radar for direction-of-arrival (DOA) estimation via tensor modeling. Our underlying idea is to map the transmit array to a desired array and suppress the transmit power outside the spatial sector of interest. In doing so, the signal-tonoise ratio is improved at the receive array. Then, we fold the received data along each dimension into a tensorial structure and apply tensor-based methods to obtain DOA estimates. In addition, we derive a close-form expression for DOA estimation bias caused by interpolation errors and argue for using a specially designed look-up table to compensate the bias. The corresponding Cramer-Rao Bound (CRB) is also derived. Simulation results are provided to show the performance of the proposed method and compare its performance to CRB.


title: Dark Matter Self-interactions and Small Scale Structure

abstract: We review theories of dark matter (DM) beyond the collisionless paradigm, known as self-interacting dark matter (SIDM), and their observable implications for astrophysical structure in the Universe. Self-interactions are motivated, in part, due to the potential to explain long-standing (and more recent) small scale structure observations that are in tension with collisionless cold DM (CDM) predictions. Simple particle physics models for SIDM can provide a universal explanation for these observations across a wide range of mass scales spanning dwarf galaxies, low and high surface brightness spiral galaxies, and clusters of galaxies. At the same time, SIDM leaves intact the success of $\Lambda$CDM cosmology on large scales. This report covers the following topics: (1) small scale structure issues, including the core-cusp problem, the diversity problem for rotation curves, the missing satellites problem, and the too-big-to-fail problem, as well as recent progress in hydrodynamical simulations of galaxy formation; (2) N-body simulations for SIDM, including implications for density profiles, halo shapes, substructure, and the interplay between baryons and self-interactions; (3) semi-analytic Jeans-based methods that provide a complementary approach for connecting particle models with observations; (4) merging systems, such as cluster mergers (e.g., the Bullet Cluster) and minor infalls, along with recent simulation results for mergers; (5) particle physics models, including light mediator models and composite DM models; and (6) complementary probes for SIDM, including indirect and direct detection experiments, particle collider searches, and cosmological observations. We provide a summary and critical look for all current constraints on DM self-interactions and an outline for future directions.


title: Accretion-ejection morphology of the microquasar SS433 resolved at sub-au scale

abstract: We present the first optical observation at sub-milliarcsecond (mas) scale of the microquasar SS 433 obtained with the GRAVITY instrument on the VLT interferometer. The 3.5 hour exposure reveals a rich K-band spectrum dominated by hydrogen Br$\gamma\ $ and \ion{He}{i} lines, as well as (red-shifted) emission lines coming from the jets. The K-band continuum emitting region is dominated by a marginally resolved point source ($<$ 1 mas) embedded inside a diffuse background accounting for 10\% of the total flux. The jet line positions agree well with the ones expected from the jet kinematic model, an interpretation also supported by the consistent sign (i.e. negative/positive for the receding/approaching jet component) of the phase shifts observed in the lines. The significant visibility drop across the jet lines, together with the small and nearly identical phases for all baselines, point toward a jet that is offset by less than 0.5 mas from the continuum source and resolved in the direction of propagation, with a typical size of 2 mas. The jet position angle of $\sim$80$^{\circ}$ is consistent with the expected one at the observation date. Jet emission so close to the central binary system would suggest that line locking, if relevant to explain the amplitude and stability of the 0.26c jet velocity, operates on elements heavier than hydrogen. The Br$\gamma\ $ profile is broad and double peaked. It is better resolved than the continuum and the change of the phase signal sign across the line on all baselines suggests an East-West oriented geometry alike the jet direction and supporting a (polar) disk wind origin.


title: Groups in which each subgroup is commensurable with a normal subgroup

abstract: A group G is a cn-group if for each subgroup H of G there exists a normal subgroup N of G such that the index of both H and N in HN is finite. The class of cn-groups contains properly the classes of core- finite groups and that of groups in which each subgroup has finite index in a normal subgroup. In the present paper it is shown that a cn-group whose periodic images are locally finite is finite-by-abelian-by-finite. Such groups are then described into some details by considering automorphisms of abelian groups. Finally, it is shown that if G is a locally graded group with the property that the above index is bounded independently of H, then G is finite-by-abelian-by-finite.


title: A short survey on QPSK Costas loop mathematical models

abstract: The Costas loop is a modification of the phase-locked loop circuit, which demodulates data and recovers carrier from the input signal. The Costas loop is essentially a nonlinear control system and its nonlinear analysis is a challenging task. Thus, simplified mathematical models and their numerical simulation are widely used for its analysis. At the same time for phase-locked loop circuits there are known various examples where the results of such simplified analysis are differ substantially from the real behavior of the circuit. In this survey the corresponding problems are demonstrated and discussed for the QPSK Costas loop.


title: Asymptotic behavior of periodic solutions in one-parameter families of Li\'{e}nard equations

abstract: In this paper, we consider one--parameter ($\lambda>0$) families of Li\'enard differential equations. We are concerned with the study on the asymptotic behavior of periodic solutions for small and large values of $\lambda>0$. To prove our main result we use the relaxation oscillation theory and a topological version of the averaging theory. More specifically, the first one is appropriate for studying the periodic solutions for large values of $\lambda$ and the second one for small values of $\lambda$. In particular, our hypotheses allow us to establish a link between these two theories.


title: Dark Current and Radiation Shielding Studies For The ILC Main Linac

abstract: Electrons of dark current (DC), generated in high-gradient superconducting RF cavities (SRF) due to field emission, can be accelerated up to very high energies-19 GeV in the case of the International Linear Collider (ILC) main linac-before they are removed by focusing and steering magnets. Electromagnetic and hadron showers generated by such electrons can represent a significant radiation threat to the linac equipment and personnel. In our study, an operational scenario is analysed which is believed can be considered as the worst case scenario for the main linac regarding the DC contribution to the radiation environment in the main linac tunnel. A detailed modeling is performed for the DC electrons which are emitted from the surface of the SRF cavities and can be repeatedly accelerated in the high-gradient fields in many SRF cavities. Results of MARS15 Monte Carlo calculations, performed for the current main linac tunnel design, reveal that the prompt dose design level of 25 {\mu}Sv/hr in the service tunnel can be provided by a 2.3-m thick concrete wall between the main and service tunnels.


title: Supervised Learning of Universal Sentence Representations from Natural Language Inference Data

abstract: Many modern NLP systems rely on word embeddings, previously trained in an unsupervised manner on large corpora, as base features. Efforts to obtain embeddings for larger chunks of text, such as sentences, have however not been so successful. Several attempts at learning unsupervised representations of sentences have not reached satisfactory enough performance to be widely adopted. In this paper, we show how universal sentence representations trained using the supervised data of the Stanford Natural Language Inference datasets can consistently outperform unsupervised methods like SkipThought vectors on a wide range of transfer tasks. Much like how computer vision uses ImageNet to obtain features, which can then be transferred to other tasks, our work tends to indicate the suitability of natural language inference for transfer learning to other NLP tasks. Our encoder is publicly available.


title: Direct evidence of hidden local spin polarization in a centrosymmetric superconductor LaO$_{0.55}$F$_{0.45}$BiS$_2$

abstract: Conventional Rashba spin polarization is caused by the combination of strong spin-orbit interaction (SOI) and spatial inversion asymmetry. However, Rashba- and Dresselhaus-type spin-split states are predicted in LaOBiS$_2$ system by recent theory even though the crystal structure is centrosymmetric, which stem from the local inversion asymmetry of active BiS$_2$ layer. By performing high-resolution spin- and angle-resolved photoemission spectroscopy, we have investigated the electronic band structure and spin texture of superconductor LaO$_{0.55}$F$_{0.45}$BiS$_2$. Our studies present direct spectroscopic evidence for the local spin polarization in the vicinity of X point of both valence band and conduction band. Especially the coexistence of Rashba-like and Dresselhaus-like spin textures has been observed in the conduction band for the first time. The finding is of key importance for fabrication of proposed dual-gated spin-field effect transistor (SFET). Moreover, the spin-split band leads to a spin-momentum locking Fermi surface from which novel superconductivity emerges. Our demonstration not only expands the scope of spintronic materials but also enhances the understanding of SOI related superconductivity.


title: On the universality of MOG weak field approximation at galaxy cluster scale

abstract: In its weak field limit, Scalar-tensor-vector gravity theory introduces a Yukawa-correction to the gravitational potential. Such a correction depends on the two parameters, $\alpha$ which accounts for the modification of the gravitational constant, and $\mu^{*-1}$ which represents the scale length on which the scalar field propagates. These parameters were found to be universal when the modified gravitational potential was used to fit the galaxy rotation curves and the mass profiles of galaxy clusters, both without Dark Matter. We test the universality of these parameters using the the temperature anisotropies due to the thermal Sunyaev-Zeldovich effect. In our model the intra-cluster gas is in hydrostatic equilibrium within the modified gravitational potential well and it is described by a polytropic equation of state. We predict the thermal Sunyaev-Zeldovich temperature anisotropies produced by Coma cluster, and we compare them with those obtained using the Planck 2013 Nominal maps. In our analysis, we find $\alpha$ and the scale length, respectively, to be consistent and to depart from their universal values. Our analysis points out that the assumption of the universality of the Yukawa-correction to the gravitational potential is ruled out at more than $3.5\sigma$ at galaxy clusters scale, while demonstrating that such a theory of gravity is capable to fit the cluster profile if the scale dependence of the gravitational potential is restored.


title: Kinetic orbital moments and nonlocal transport in disordered metals with nontrivial geometry

abstract: We study the effects of spatial dispersion in disordered noncentrosymmetric metals. These include the kinetic magnetoelectric effect, natural optical activity of metals, as well as the so-called dynamic chiral magnetic effect as a particular case of the latter. These effects are determined by the linear in the wave vector of an electromagnetic perturbation contribution to the conductivity tensor of a material, and stem from the magnetic moments of quasiparticles near the Fermi surface. We identify new disorder-induced contributions to these magnetic moments that come from the skew scattering and side jump processes, familiar from the theory of anomalous Hall effect. We show that at low frequencies the spatial dispersion of the conductivity tensor comes mainly either from the skew scattering or intrinsic contribution, and there is always a region of frequencies in which the intrinsic mechanism dominates. Our results imply that in clean three-dimensional metals, current-induced magnetization is in general determined by impurity skew scattering, rather than intrinsic contributions. Intrinsic effects are expected to dominate in cubic enantiomorphic crystals with point groups $T$ and $O$, and in polycrystalline samples, regardless of their mobility.


title: Model-independent constraints on hadronic form factors with above-threshold poles

abstract: Model-independent constraints on hadronic form factors, in particular those describing exclusive semileptonic decays, can be derived from the knowledge of field correlators calculated in perturbative QCD, using analyticity and unitarity. The location of poles corresponding to below-threshold resonances, i.e., stable states that cannot decay into a pair of hadrons from the crossed channel of the form factor, must be known a priori, and their effect, accounted for through the use of Blaschke factors, is to reduce the strength of the constraints in the semileptonic region. By contrast, above-threshold resonances appear as poles on unphysical Riemann sheets, and their presence does not affect the original model-independent constraints. We discuss the possibility that the above-threshold poles can provide indirect information on the form factors on the first Riemann sheet, either through information from their residues or by constraining the discontinuity function. The bounds on form factors can be improved by imposing, in an exact way, the additional information in the extremal problem. The semileptonic $K\to \pi\ell \nu$ and $D\to \pi\ell\nu$ decays are considered as illustrations.


title: Nutational resonances, transitional precession, and precession-averaged evolution in binary black-hole systems

abstract: In the post-Newtonian (PN) regime, the timescale on which the spins of binary black holes precess is much shorter than the radiation-reaction timescale on which the black holes inspiral to smaller separations. On the precession timescale, the angle between the total and orbital angular momenta oscillates with nutation period $\tau$, during which the orbital angular momentum precesses about the total angular momentum by an angle $\alpha$. This defines two distinct frequencies that vary on the radiation-reaction timescale: the nutation frequency $\omega \equiv 2\pi/\tau$ and the precession frequency $\Omega \equiv \alpha/\tau$. We use analytic solutions for generic spin precession at 2PN order to derive Fourier series for the total and orbital angular momenta in which each term is a sinusoid with frequency $\Omega - n\omega$ for integer $n$. As black holes inspiral, they can pass through nutational resonances ($\Omega = n\omega$) at which the total angular momentum tilts. We derive an approximate expression for this tilt angle and show that it is usually less than $10^{-3}$ radians for nutational resonances at binary separations $r > 10M$. The large tilts occurring during transitional precession (near zero total angular momentum) are a consequence of such states being approximate $n=0$ nutational resonances. Our new Fourier series for the total and orbital angular momenta converge rapidly with $n$ providing an intuitive and computationally efficient approach to understanding generic precession that may facilitate future calculations of gravitational waveforms in the PN regime.


title: Improved Spectral Clustering for Multi-Objective Controlled Islanding of Power Grid

abstract: We propose a two-step algorithm for optimal controlled islanding that partitions a power grid into islands of limited volume while optimizing several criteria: high generator coherency inside islands, minimum power flow disruption due to teared lines, and minimum load shedding. Several spectral clustering strategies are used in the first step to lower the problem dimension (taking into account coherency and disruption only), and CPLEX tools for the mixed-integer quadratic problem are employed in the second step to choose a balanced partition of the aggregated grid that minimizes a combination of coherency, disruption and load shedding. A greedy heuristic efficiently limits search space by generating starting solution for exact algorithm. Dimension of the second-step problem depends only on the desired number of islands K instead of the dimension of the original grid. The algorithm is tested on standard systems with 118, 2383, and 9241 nodes showing high quality of partitions and competitive computation time.


title: Work and power fluctuations in a critical heat engine

abstract: We investigate fluctuations of output work for a class of Stirling heat engines with working fluid composed of interacting units and compare these fluctuations to an average work output. In particular, we focus on engine performance close to a critical point where Carnot's efficiency may be attained at a finite power as reported in [M. Campisi and R. Fazio, Nat. Commun. 7, 11895 (2016)]. We show that the variance of work output per cycle scales with the same critical exponent as the heat capacity of the working fluid. As a consequence, the relative work fluctuation diverges unless the output work obeys a rather strict scaling condition, which would be very hard to fulfill in practice. Even under this condition, the fluctuations of work and power do not vanish in the infinite system size limit. Large fluctuations of output work thus constitute inseparable and dominant element in performance of the macroscopic heat engines close to a critical point.


title: Exploration of Large Networks with Covariates via Fast and Universal Latent Space Model Fitting

abstract: Latent space models are effective tools for statistical modeling and exploration of network data. These models can effectively model real world network characteristics such as degree heterogeneity, transitivity, homophily, etc. Due to their close connection to generalized linear models, it is also natural to incorporate covariate information in them. The current paper presents two universal fitting algorithms for networks with edge covariates: one based on nuclear norm penalization and the other based on projected gradient descent. Both algorithms are motivated by maximizing likelihood for a special class of inner-product models while working simultaneously for a wide range of different latent space models, such as distance models, which allow latent vectors to affect edge formation in flexible ways. These fitting methods, especially the one based on projected gradient descent, are fast and scalable to large networks. We obtain their rates of convergence for both inner-product models and beyond. The effectiveness of the modeling approach and fitting algorithms is demonstrated on five real world network datasets for different statistical tasks, including community detection with and without edge covariates, and network assisted learning.


title: Some results on Ricatti Equations, Floquet Theory and Applications

abstract: In this paper, we present two new results to the classical Floquet theory, which provides the Floquet multipliers for two classes of the planar periodic system. One these results provides the Floquet multipliers independently of the solution of system. To demonstrate the application of these analytical results, we consider a cholera epidemic model with phage dynamics and seasonality incorporated.


title: Parameter-dependent Stochastic Optimal Control in Finite Discrete Time

abstract: We prove a general existence result in stochastic optimal control in discrete time where controls take values in conditional metric spaces, and depend on the current state and the information of past decisions through the evolution of a recursively defined forward process. The generality of the problem lies beyond the scope of standard techniques in stochastic control theory such as random sets, normal integrands and measurable selection theory. The main novelty is a formalization in conditional metric space and the use of techniques in conditional analysis. We illustrate the existence result by several examples including wealth-dependent utility maximization under risk constraints with bounded and unbounded wealth-dependent control sets, utility maximization with a measurable dimension, and dynamic risk sharing. Finally, we discuss how conditional analysis relates to random set theory.


title: Fluid velocity slip and temperature jump at a solid surface

abstract: A comprehensive review of current analytical models, experimental techniques, and influencing factors is carried out to highlight the current challenges in this area. The study of fluid-solid boundary conditions has been ongoing for more than a century, starting from gas-solid interfaces and progressing to that of the more complex liquid-solid case. Breakthroughs have been made on the theoretical and experimental fronts but the mechanism behind the phenomena remains a puzzle. This paper provides a review of the theoretical models, and numerical and experimental investigations that have been carried out till date. Probable mechanisms and factors that affect the interfacial discontinuity are also documented.


title: Investigation of Defect Modes of Chiral Photonic Crystals

abstract: Some properties of defect modes of cholesteric liquid crystals (CLC) are presented. It is shown that when the CLC layer is thin the density of states and emission intensity are maximum for the defect mode, whereas when the CLC layer is thick, these peaks are observed at the edges of the photonic band gap. Similarly, when the gain is low, the density of states and emission intensity are maximum for the defect mode, whereas at high gains these peaks are also observed at the edges of the photonic band gap. The possibilities of low-threshold lasing and obtaining high-Q microcavities have been investigated.


title: Noncentral limit theorem for the generalized Rosenblatt process

abstract: We use techniques of Malliavin calculus to study the convergence in law of a family of generalized Rosenblatt processes $Z_\gamma$ with kernels defined by parameters $\gamma$ taking values in a tetrahedral region $\Delta$ of $\RR^q$. We prove that, as $\gamma$ converges to a face of $\Delta$, the process $Z_\gamma$ converges to a compound Gaussian distribution with random variance given by the square of a Rosenblatt process of one lower rank. The convergence in law is shown to be stable. This work generalizes a previous result of Bai and Taqqu, who proved the result in the case $q=2$ and without stability.


title: The Dynamical History of Chariklo and its Rings

abstract: Chariklo is the only small Solar system body confirmed to have rings. Given the instability of its orbit, the presence of rings is surprising, and their origin remains poorly understood. In this work, we study the dynamical history of the Chariklo system by integrating almost 36,000 Chariklo clones backwards in time for one Gyr under the influence of the Sun and the four giant planets. By recording all close encounters between the clones and planets, we investigate the likelihood that Chariklo's rings could have survived since its capture to the Centaur population. Our results reveal that Chariklo's orbit occupies a region of stable chaos, resulting in its orbit being marginally more stable than those of the other Centaurs. Despite this, we find that it was most likely captured to the Centaur population within the last 20 Myr, and that its orbital evolution has been continually punctuated by regular close encounters with the giant planets. The great majority (> 99%) of those encounters within one Hill radius of the planet have only a small effect on the rings. We conclude that close encounters with giant planets have not had a significant effect on the ring structure. Encounters within the Roche limit of the giant planets are rare, making ring creation through tidal disruption unlikely.


title: Ramsey properties and extending partial automorphisms for classes of finite structures

abstract: We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Ne\v{s}et\v{r}il-R\"odl Theorem and the second and third authors' Ramsey theorem for finite models (that is, structures with both relations and functions). We also find subclasses with the ordering property. For languages with relational symbols and unary functions we also show the extension property for partial automorphisms (EPPA) of free amalgamation classes. These general results solve several conjectures and provide an easy Ramseyness test for many classes of structures.


title: A Nonconventional Analysis of CD$4^{+}$ and CD$8^{+}$ T Cell Responses During and After Acute Lymphocytic Choriomeningitis Virus Infection

abstract: A mathematical model from a previous work was re-fitted and analyzed for experimental data regarding the cellular immune response to the lymphocytic choriomeningitis virus. Specifically, the $CD8^{+}$ T cell response to six MHC class I-restricted epitopes (GP* and NP*) and $CD4^{+}$ T cell responses to two MHC class II-restricted epitopes\cite{de2003different}. In this work, we use calibration through log likelihood maximization to investigate if different parameters can produce a more accurate fit of the model presented previously in the paper titled \textit{Different Dynamics of CD$4^{+}$ and CD$8^{+}$ T Cell Responses During and After Acute Lymphocytic Choriomeningitis Virus Infection}\cite{de2003different}


title: Composition of Early Planetary Atmospheres II: Coupled Dust and Chemical Evolution in Protoplanetary Disks

abstract: We present the next step in a series of papers devoted to connecting the composition of the atmospheres of forming planets with the chemistry of their natal evolving protoplanetary disks. The model presented here computes the coupled chemical and dust evolution of the disk and the formation of three planets per disk model. Our three canonical planet traps produce a Jupiter near 1 AU, a Hot Jupiter and a Super-Earth. We study the dependency of the final orbital radius, mass, and atmospheric chemistry of planets forming in disk models with initial disk masses that vary by 0.02 $M_\odot$ above and below our fiducial model ($M_{disk,0} = 0.1 ~M_\odot$). We compute C/O and C/N for the atmospheres formed in our 3 models and find that C/O$_{\rm planet}\sim$ C/O$_{\rm disk}$, which does not vary strongly between different planets formed in our model. The nitrogen content of atmospheres can vary in planets that grow in different disk models. These differences are related to the formation history of the planet, the time and location that the planet accretes its atmosphere, and are encoded in the bulk abundance of NH$_3$. These results suggest that future observations of atmospheric NH$_3$ and an estimation of the planetary C/O and C/N can inform the formation history of particular planetary systems.


title: Newtonian Potential and Geodesic Completeness in Infinite Derivative Gravity

abstract: Recent study has shown that a non-singular oscillating potential, a feature of Infinite Derivative Gravity (IDG) theories, matches current experimental data better than the standard GR potential. In this work we show that this non-singular oscillating potential can be given by a wider class of theories which allows the defocusing of null rays, and therefore geodesic completeness. We consolidate the conditions whereby null geodesic congruences may be made past-complete, via the Raychaudhuri Equation, with the requirement of a non-singular Newtonian potential in an IDG theory. In so doing, we examine a class of Newtonian potentials characterised by an additional degree of freedom in the scalar propagator, which returns the familiar potential of General Relativity at large distances.


title: Search for astrophysical sources of neutrinos using cascade events in IceCube

abstract: The IceCube neutrino observatory has established the existence of a flux of high-energy astrophysical neutrinos inconsistent with the expectation from atmospheric backgrounds at a significance greater than $5\sigma$. This flux has been observed in analyses of both track events from muon neutrino interactions and cascade events from interactions of all neutrino flavors. Searches for astrophysical neutrino sources have focused on track events due to the significantly better angular resolution of track reconstructions. To date, no such sources have been confirmed. Here we present the first search for astrophysical neutrino sources using cascades interacting in IceCube with deposited energies as small as 1 TeV. No significant clustering was observed in a selection of 263 cascades collected from May 2010 to May 2012. We show that compared to the classic approach using tracks, this statistically-independent search offers improved sensitivity to sources in the southern sky, especially if the emission is spatially extended or follows a soft energy spectrum. This enhancement is due to the low background from atmospheric neutrinos forming cascade events and the additional veto of atmospheric neutrinos at declinations $\lesssim-30^\circ$.


title: Implications of the Principle of Maximum Conformality for the QCD Strong Coupling

abstract: The Principle of Maximum Conformality (PMC) provides scale-fixed perturbative QCD predictions which are independent of the choice of the renormalization scheme, as well as the choice of the initial renormalization scale. In this article, we will test the PMC by comparing its predictions for the strong coupling \alpha^s_{g_1}(Q), defined from the Bjorken sum rule, with predictions using conventional pQCD scale-setting. The two results are found to be compatible with each other and with the available experimental data. However, the PMC provides a significantly more precise determination, although its domain of applicability (Q \gtrsim 1.5 GeV) does not extend to as small values of momentum transfer as that of a conventional pQCD analysis (Q \gtrsim 1 GeV). We suggest that the PMC range of applicability could be improved by a modified intermediate scheme choice or using a single effective PMC scale.


title: The Salesman's Improved Tours for Fundamental Classes

abstract: Finding the exact integrality gap $\alpha$ for the LP relaxation of the metric Travelling Salesman Problem (TSP) has been an open problem for over thirty years, with little progress made. It is known that $4/3 \leq \alpha \leq 3/2$, and a famous conjecture states $\alpha = 4/3$. For this problem, essentially two "fundamental" classes of instances have been proposed. This fundamental property means that in order to show that the integrality gap is at most $\rho$ for all instances of metric TSP, it is sufficient to show it only for the instances in the fundamental class. However, despite the importance and the simplicity of such classes, no apparent effort has been deployed for improving the integrality gap bounds for them. In this paper we take a natural first step in this endeavour, and consider the $1/2$-integer points of one such class. We successfully improve the upper bound for the integrality gap from $3/2$ to $10/7$ for a superclass of these points, as well as prove a lower bound of $4/3$ for the superclass. Our methods involve innovative applications of tools from combinatorial optimization which have the potential to be more broadly applied.


title: Historical Changes in the Concepts of Number, Mathematics and Number Theory

abstract: This essay traces the history of three interconnected strands. Firstly, changes in the concept of number, secondly, the study of the qualities of number, which evolved into number theory, and thirdly, the nature of mathematics itself, from early Greek mathematics to the 20th century. These were embedded in philosophical shifts, from the classical Greek ontologies through increasing pragmatism to formalism and logical positivism. Given that Goedel demonstrated the limitations of the latter as a foundation for mathematics, this essay explores phenomenology and Lakatosian ideas, which together offer a more sound epistemological and ontological basis for mathematics and a methodology for mathematical development.The question also then arises of the possible resurrection of earlier, neglected mathematical projects, including widening the domain of number theory to include integer qualities revealed in the growth of mathematics in general, which has predominantly been the growth of quantitative mathematics or logistike, the complement of arithmetike in classical Greece.


title: DFT+DMFT calculations of the complex band and tunneling behavior for the transition metal monoxides MnO, FeO, CoO and NiO

abstract: We report complex band structure (CBS) calculations for the four late transition metal monoxides, MnO, FeO, CoO and NiO, in their paramagnetic phase. The CBS is obtained from density functional theory plus dynamical mean field theory (DMFT) calculations to take into account correlation effects. The so-called $\beta$ parameters, governing the exponential decay of the transmission probability in the non-resonant tunneling regime of these oxides, are extracted from the CBS. Different model constructions are examined in the DMFT part of the calculation. The calculated $\beta$ parameters provide theoretical estimation for the decay length in the evanescent channel, which would be useful for tunnel junction applications of these materials.


title: A Galactic Molecular Cloud Clump Catalog from Hi-GAL Data: Method and Initial Results Comparison to BGPS

abstract: As the precursors to stellar clusters, it is imperative that we understand the distribution and physical properties of dense molecular gas clouds and clumps. Such a study has been done with the ground-based Bolocam Galactic Plane Survey (BGPS). Now the Herschel infrared GALactic plane survey (Hi-GAL) allows us to do the same with higher quality data and complete coverage of the Galactic plane. We have made a pilot study comparing dense molecular gas clumps identified in the Hi-GAL and BGPS surveys, using six $2^\circ \times 2^\circ$ regions centered at Galactic longitudes of $\ell = 11^\circ$, 30$^\circ$, 41$^\circ$, 50$^\circ$, 202$^\circ$, and $217^\circ$. We adopted the BGPS methodology for identifying clumps and estimating distances, leading to 6198 clumps being identified in our substudy, with 995 of those having well-constrained distances. These objects were evenly distributed with Galactic longitude, a consequence of Hi-GAL being source confusion limited. These clumps range in mass from 10$^{-2}$ M$_\odot$ to 10$^{5}$ M$_\odot$, and have heliocentric distances of up to 16 kpc. When clumps found in both surveys are compared, we see that distances agree within 1 kpc and ratios of masses are of order unity. This serves as an external validation for BGPS and instills confidence as we move forward to cataloging the clumps from the entirety of Hi-GAL. In addition to the sources that were in common with BGPS, Hi-GAL found many additional sources, primarily due to the lack of atmospheric noise. We expect Hi-GAL to yield $2\times10^5$ clumps, with 20% having well-constrained distances, an order of magnitude above what was found in BGPS.


title: Resolving the Discrepancy of Distance to M60, a Giant Elliptical Galaxy in Virgo

abstract: There is a well-known discrepancy in the distance estimation for M60, a giant elliptical galaxy in Virgo: the planetary nebula luminosity function (PNLF) distance moduli for this galaxy are, on average, $~0.4$ mag smaller than the values based on the surface brightness fluctuation (SBF) in the literature. We present photometry of the resolved stars in an outer field of M60 based on deep F775W and F850LP images in the Hubble Space Telescope obtained as part of the Pure Parallel Program in the archive. Detected stars are mostly old red giants in the halo of M60. With this photometry we determine a distance to M60 using the tip of the red giant branch (TRGB). A TRGB is detected at $F850LP_{\rm TRGB}=26.70\pm0.06$ mag, in the luminosity function of the red giants. This value corresponds to $F814W_{0,\rm TRGB}=27.13\pm0.06$ mag and $QT_{\rm TRGB}=27.04\pm0.07$ mag, where $QT$ is a color-corrected F814W magnitude. From this we derive a distance modulus, $(m-M)_0=31.05\pm0.07{\rm(ran)}\pm0.06{\rm (sys)}$ ($d=16.23\pm0.50{\rm (ran)}\pm0.42{\rm (sys)}$ Mpc). This value is $0.3$ mag larger than the PNLF distances and $0.1$ mag smaller than the SBF distances in the previous studies, indicating that the PNLF distances to M60 in the literature have larger uncertainties than the suggested values.


title: On Algorithms for $L$-bounded Cut Problem

abstract: Given a graph $G=(V,E)$ with two distinguished vertices $s,t\in V$ and an integer parameter $L>0$, an {\em $L$-bounded cut} is a subset $F$ of edges (vertices) such that the every path between $s$ and $t$ in $G\setminus F$ has length more than $L$. The task is to find an $L$-bounded cut of minimum cardinality. Though the problem is very simple to state and has been studied since the beginning of the 70's, it is not much understood yet. The problem is known to be $\cal{NP}$-hard to approximate within a small constant factor even for $L\geq 4$ (for $L\geq 5$ for the vertex cuts). On the other hand, the best known approximation algorithm for general graphs has approximation ratio only $\mathcal{O}({n^{2/3}})$ in the edge case, and $\mathcal{O}({\sqrt{n}})$ in the vertex case, where $n$ denotes the number of vertices. We show that for planar graphs, it is possible to solve both the edge- and the vertex-version of the problem optimally in time $\mathcal{O}(L^{3L}n)$. That is, the problem is fixed parameter tractable (FPT) with respect to $L$ on planar graphs. Furthermore, we show that the problem remains FPT even for bounded genus graphs, a super class of planar graphs. Our second contribution deals with approximations of the vertex version of the problem. We describe an algorithm that for a given a graph $G$, its tree decomposition of treewidth $\tau$ and vertices $s$ and $t$ computes a $\tau$-approximation of the minimum $L$-bounded $s-t$ vertex cut; if the decomposition is not given, then the approximation ratio is $\mathcal{O}(\tau \sqrt{\log \tau})$. For graphs with treewidth bounded by $\mathcal{O}(n^{1/2-\epsilon})$ for any $\epsilon>0$, but not by a constant, this is the best approximation in terms of~$n$ that we are aware of.


title: Bayesian Ensembles of Binary-Event Forecasts: When Is It Appropriate to Extremize or Anti-Extremize?

abstract: Many organizations face critical decisions that rely on forecasts of binary events. In these situations, organizations often gather forecasts from multiple experts or models and average those forecasts to produce a single aggregate forecast. Because the average forecast is known to be underconfident, methods have been proposed that create an aggregate forecast more extreme than the average forecast. But is it always appropriate to extremize the average forecast? And if not, when is it appropriate to anti-extremize (i.e., to make the aggregate forecast less extreme)? To answer these questions, we introduce a class of optimal aggregators. These aggregators are Bayesian ensembles because they follow from a Bayesian model of the underlying information experts have. Each ensemble is a generalized additive model of experts' probabilities that first transforms the experts' probabilities into their corresponding information states, then linearly combines these information states, and finally transforms the combined information states back into the probability space. Analytically, we find that these optimal aggregators do not always extremize the average forecast, and when they do, they can run counter to existing methods. On two publicly available datasets, we demonstrate that these new ensembles are easily fit to real forecast data and are more accurate than existing methods.


title: Method for Computationally Efficient Design of Dielectric Laser Accelerators

abstract: Dielectric microstructures have generated much interest in recent years as a means of accelerating charged particles when powered by solid state lasers. The acceleration gradient (or particle energy gain per unit length) is an important figure of merit. To design structures with high acceleration gradients, we explore the adjoint variable method, a highly efficient technique used to compute the sensitivity of an objective with respect to a large number of parameters. With this formalism, the sensitivity of the acceleration gradient of a dielectric structure with respect to its entire spatial permittivity distribution is calculated by the use of only two full-field electromagnetic simulations, the original and adjoint. The adjoint simulation corresponds physically to the reciprocal situation of a point charge moving through the accelerator gap and radiating. Using this formalism, we perform numerical optimizations aimed at maximizing acceleration gradients, which generate fabricable structures of greatly improved performance in comparison to previously examined geometries.


title: Classification and Simulation of Anomalous Events in Turbulent Combustion

abstract: In practical combustion systems, the high nonlinearity of the turbulent combustion process can result in unexpected behavior even for nominal operating conditions. This includes flame flashback in premixed gas turbines, engine unstart in scramjets, and failure of engines to ignite at high altitudes. Many of these events have catastrophic consequences. Hence, understanding the nature of such irregular excursions of combustion systems is important to ensure robust operation. The focus of this work is to identify the sources of such rare excursions from a dynamical systems perspective. Specifically, such anomalous behavior can be explained in terms of three different classes based on the trajectories that the system traverses in its phase-space. For each class, computational algorithms and validation exercises are briefly discussed.


title: Learning Representations of Emotional Speech with Deep Convolutional Generative Adversarial Networks

abstract: Automatically assessing emotional valence in human speech has historically been a difficult task for machine learning algorithms. The subtle changes in the voice of the speaker that are indicative of positive or negative emotional states are often "overshadowed" by voice characteristics relating to emotional intensity or emotional activation. In this work we explore a representation learning approach that automatically derives discriminative representations of emotional speech. In particular, we investigate two machine learning strategies to improve classifier performance: (1) utilization of unlabeled data using a deep convolutional generative adversarial network (DCGAN), and (2) multitask learning. Within our extensive experiments we leverage a multitask annotated emotional corpus as well as a large unlabeled meeting corpus (around 100 hours). Our speaker-independent classification experiments show that in particular the use of unlabeled data in our investigations improves performance of the classifiers and both fully supervised baseline approaches are outperformed considerably. We improve the classification of emotional valence on a discrete 5-point scale to 43.88% and on a 3-point scale to 49.80%, which is competitive to state-of-the-art performance.


title: On Using Active Learning and Self-Training when Mining Performance Discussions on Stack Overflow

abstract: Abundant data is the key to successful machine learning. However, supervised learning requires annotated data that are often hard to obtain. In a classification task with limited resources, Active Learning (AL) promises to guide annotators to examples that bring the most value for a classifier. AL can be successfully combined with self-training, i.e., extending a training set with the unlabelled examples for which a classifier is the most certain. We report our experiences on using AL in a systematic manner to train an SVM classifier for Stack Overflow posts discussing performance of software components. We show that the training examples deemed as the most valuable to the classifier are also the most difficult for humans to annotate. Despite carefully evolved annotation criteria, we report low inter-rater agreement, but we also propose mitigation strategies. Finally, based on one annotator's work, we show that self-training can improve the classification accuracy. We conclude the paper by discussing implication for future text miners aspiring to use AL and self-training.


title: Hidden PT Symmetry and quantization of coupled-oscillators model of QASER

abstract: Using Maxwell-Bloch equations it has been shown how the superradiance can lead to amplification and gain at a frequency much larger than the pumping frequency. This remarkable effect has been examined in terms of a simpler model involving two coupled oscillators with one of them paramet- rically driven. We show that this coupled oscillator model has a hidden parity-time (PT) symmetry for QASER, we thus bring PT symmetry to the realm of parametrically coupled resonators. More- over, we find that the QASER gain arises from the broken PT symmetry phase. We then quantize the simplified version of the QASER using quantum Langevin equations. The quantum description enables us to understand how the system starts from quantum fluctuations.


title: Weights at the Bottom Matter When the Top is Heavy

abstract: Proving super-polynomial lower bounds against depth-2 threshold circuits of the form THR of THR is a well-known open problem that represents a frontier of our understanding in boolean circuit complexity. By contrast, exponential lower bounds on the size of THR of MAJ circuits were shown by Razborov and Sherstov (SIAM J.Comput., 2010) even for computing functions in depth-3 AC^0. Yet, no separation among the two depth-2 threshold circuit classes were known. In fact, it is not clear a priori that they ought to be different. In particular, Goldmann, Hastad and Razborov (Computational Complexity, 1992) showed that the class MAJ of MAJ is identical to the class MAJ of THR. In this work, we provide an exponential separation between THR of MAJ and THR of THR. We achieve this by showing a function f that is computed by linear size THR of THR circuits and yet has exponentially large sign rank. This, by a well-known result, implies that f requires exponentially large THR of MAJ circuits to be computed. Our result suggests that the sign rank method alone is unlikely to prove strong lower bounds against THR of THR circuits. The main technical ingredient of our work is to prove a strong sign rank lower bound for an XOR function. This requires novel use of approximation theoretic tools.


title: Optimal Power Control and Scheduling for Real-Time and Non-Real-Time Data

abstract: We consider a joint scheduling-and-power-allocation problem of a downlink cellular system. The system consists of two groups of users: real-time (RT) and non-real-time (NRT) users. Given an average power constraint on the base station, the problem is to find an algorithm that satisfies the RT hard deadline constraint and NRT queue stability constraint. We propose two sum-rate-maximizing algorithms that satisfy these constraints as well as achieving the system's capacity region. In both algorithms, the power allocation policy has a closed-form expression for the two groups of users. However, interestingly, the power policy of the RT users differ in structure from that of the NRT users. The first algorithm is optimal for the on-off channel model with a polynomial-time scheduling complexity in the number of RT users. The second, on the other hand, works for any channel fading model which is shown, through simulations, to have an average complexity that is close-to-linear. We also show the superiority of the proposed algorithms over existing approaches using extensive simulations.


title: Temporal Analysis of Influence to Predict Users' Adoption in Online Social Networks

abstract: Different measures have been proposed to predict whether individuals will adopt a new behavior in online social networks, given the influence produced by their neighbors. In this paper, we show one can achieve significant improvement over these standard measures, extending them to consider a pair of time constraints. These constraints provide a better proxy for social influence, showing a stronger correlation to the probability of influence as well as the ability to predict influence.


title: On the existence of $W^{1,2}_{p}$ solutions for fully nonlinear parabolic equations under either relaxed or no convexity assumptions

abstract: We establish the existence of solutions of fully nonlinear parabolic second-order equations like $\partial_{t}u+H(v,Dv,D^{2}v,t,x)=0$ in smooth cylinders without requiring $H$ to be convex or concave with respect to the second-order derivatives. Apart from ellipticity nothing is required of $H$ at points at which $|D^{2}v|\leq K$, where $K$ is any fixed constant. For large $|D^{2}v|$ some kind of relaxed convexity assumption with respect to $D^{2}v$ mixed with a VMO condition with respect to $t,x$ are still imposed. The solutions are sought in Sobolev classes. We also establish the solvability without almost any conditions on $H$, apart from ellipticity, but of a "cut-off" version of the equation $\partial_{t}u+H(v,Dv,D^{2}v,t,x)=0$.


title: Coherent oscillations inside a quantum manifold stabilized by dissipation

abstract: Manipulating the state of a logical quantum bit usually comes at the expense of exposing it to decoherence. Fault-tolerant quantum computing tackles this problem by manipulating quantum information within a stable manifold of a larger Hilbert space, whose symmetries restrict the number of independent errors. The remaining errors do not affect the quantum computation and are correctable after the fact. Here we implement the autonomous stabilization of an encoding manifold spanned by Schroedinger cat states in a superconducting cavity. We show Zeno-driven coherent oscillations between these states analogous to the Rabi rotation of a qubit protected against phase-flips. Such gates are compatible with quantum error correction and hence are crucial for fault-tolerant logical qubits.


title: Face Detection, Bounding Box Aggregation and Pose Estimation for Robust Facial Landmark Localisation in the Wild

abstract: We present a framework for robust face detection and landmark localisation of faces in the wild, which has been evaluated as part of `the 2nd Facial Landmark Localisation Competition'. The framework has four stages: face detection, bounding box aggregation, pose estimation and landmark localisation. To achieve a high detection rate, we use two publicly available CNN-based face detectors and two proprietary detectors. We aggregate the detected face bounding boxes of each input image to reduce false positives and improve face detection accuracy. A cascaded shape regressor, trained using faces with a variety of pose variations, is then employed for pose estimation and image pre-processing. Last, we train the final cascaded shape regressor for fine-grained landmark localisation, using a large number of training samples with limited pose variations. The experimental results obtained on the 300W and Menpo benchmarks demonstrate the superiority of our framework over state-of-the-art methods.


title: Group Marching Tree: Sampling-Based Approximately Optimal Motion Planning on GPUs

abstract: This paper presents a novel approach, named the Group Marching Tree (GMT*) algorithm, to planning on GPUs at rates amenable to application within control loops, allowing planning in real-world settings via repeated computation of near-optimal plans. GMT*, like the Fast Marching Tree (FMT) algorithm, explores the state space with a "lazy" dynamic programming recursion on a set of samples to grow a tree of near-optimal paths. GMT*, however, alters the approach of FMT with approximate dynamic programming by expanding, in parallel, the group of all active samples with cost below an increasing threshold, rather than only the minimum cost sample. This group approximation enables low-level parallelism over the sample set and removes the need for sequential data structures, while the "lazy" collision checking limits thread divergence---all contributing to a very efficient GPU implementation. While this approach incurs some suboptimality, we prove that GMT* remains asymptotically optimal up to a constant multiplicative factor. We show solutions for complex planning problems under differential constraints can be found in ~10 ms on a desktop GPU and ~30 ms on an embedded GPU, representing a significant speed up over the state of the art, with only small losses in performance. Finally, we present a scenario demonstrating the efficacy of planning within the control loop (~100 Hz) towards operating in dynamic, uncertain settings.


title: Hypergeometric Properties of Genus 3 Generalized Legendre Curves

abstract: Inspired by a result of Manin, we study the relationship between certain period integrals and the trace of Frobenius of genus 3 generalized Legendre curves. We show that both of these properties can be computed in terms of "matching" classical and finite field hypergeometric functions, a phenomenon that has also been observed in elliptic curves and many higher dimensional varieties.


title: The Exact Solution of the Schwarzian Theory

abstract: The explicit evaluation of the partition function in the Schwarzian theory is presented.


title: DeepCorrect: Correcting DNN models against Image Distortions

abstract: In recent years, the widespread use of deep neural networks (DNNs) has facilitated great improvements in performance for computer vision tasks like image classification and object recognition. In most realistic computer vision applications, an input image undergoes some form of image distortion such as blur and additive noise during image acquisition or transmission. Deep networks trained on pristine images perform poorly when tested on such distortions. In this paper, we evaluate the effect of image distortions like Gaussian blur and additive noise on the activations of pre-trained convolutional filters. We propose a metric to identify the most noise susceptible convolutional filters and rank them in order of the highest gain in classification accuracy upon correction. In our proposed approach called DeepCorrect, we apply small stacks of convolutional layers with residual connections, at the output of these ranked filters and train them to correct the worst distortion affected filter activations, whilst leaving the rest of the pre-trained filter outputs in the network unchanged. Performance results show that applying DeepCorrect models for common vision tasks like image classification (ImageNet), object recognition (Caltech-101, Caltech-256) and scene classification (SUN-397), significantly improves the robustness of DNNs against distorted images and outperforms other alternative approaches..


title: Knowledge-Guided Deep Fractal Neural Networks for Human Pose Estimation

abstract: Human pose estimation using deep neural networks aims to map input images with large variations into multiple body keypoints which must satisfy a set of geometric constraints and inter-dependency imposed by the human body model. This is a very challenging nonlinear manifold learning process in a very high dimensional feature space. We believe that the deep neural network, which is inherently an algebraic computation system, is not the most effecient way to capture highly sophisticated human knowledge, for example those highly coupled geometric characteristics and interdependence between keypoints in human poses. In this work, we propose to explore how external knowledge can be effectively represented and injected into the deep neural networks to guide its training process using learned projections that impose proper prior. Specifically, we use the stacked hourglass design and inception-resnet module to construct a fractal network to regress human pose images into heatmaps with no explicit graphical modeling. We encode external knowledge with visual features which are able to characterize the constraints of human body models and evaluate the fitness of intermediate network output. We then inject these external features into the neural network using a projection matrix learned using an auxiliary cost function. The effectiveness of the proposed inception-resnet module and the benefit in guided learning with knowledge projection is evaluated on two widely used benchmarks. Our approach achieves state-of-the-art performance on both datasets.


title: Perception-Aware Motion Planning via Multiobjective Search on GPUs

abstract: In this paper we describe a framework towards computing well-localized, robust motion plans through the perception-aware motion planning problem, whereby we seek a low-cost motion plan subject to a separate constraint on perception localization quality. To solve this problem we introduce the Multiobjective Perception-Aware Planning (MPAP) algorithm which explores the state space via a multiobjective search, considering both cost and a perception heuristic. This framework can accommodate a large range of heuristics, allowing those that capture the history dependence of localization drift and represent complex modern perception methods. We present two such heuristics, one derived from a simplified model of robot perception and a second learned from ground-truth sensor error, which we show to be capable of predicting the performance of a state-of-the-art perception system. The solution trajectory from this heuristic-based search is then certified via Monte Carlo methods to be well-localized and robust. The additional computational burden of perception-aware planning is offset by GPU massive parallelization. Through numerical experiments the algorithm is shown to find well-localized, robust solutions in about a second. Finally, we demonstrate MPAP on a quadrotor flying perception-aware and perception-agnostic plans using Google Tango for localization, finding the quadrotor safely executes the perception-aware plan every time, while crashing in over 20% of the perception-agnostic runs due to loss of localization.


title: Inequalities for free multi-braid arrangements

abstract: We prove that, on a large cone containing the constant multiplicities, the only free multiplicities on the braid arrangement are those identified in work of Abe, Nuida, and Numata (2009). We also give a conjecture on the structure of all free multiplicities on braid arrangements.


title: Distinct aggregation patterns and fluid porous phase in a 2D model for colloids with competitive interactions

abstract: In this paper we explore the self-assembly patterns in a two dimensional colloidal system using extensive Langevin Dynamics simulations. The pair potential proposed to model the competitive interaction have a short range length scale between first neighbors and a second characteristic length scale between third neighbors. We investigate how the temperature and colloidal density will affect the assembled morphologies. The potential shows aggregate patterns similar to observed in previous works, as clusters, stripes and porous phase. Nevertheless, we observe at high densities and temperatures a porous mesophase with a high mobility, which we name fluid porous phase, while at lower temperatures the porous structure is rigid. triangular packing was observed for the colloids and pores in both solid and fluid porous phases. Our results show that the porous structure is well defined for a large range of temperature and density, and that the fluid porous phase is a consequence of the competitive interaction and the random forces from the Langevin Dynamics.


title: Max-Pooling Loss Training of Long Short-Term Memory Networks for Small-Footprint Keyword Spotting

abstract: We propose a max-pooling based loss function for training Long Short-Term Memory (LSTM) networks for small-footprint keyword spotting (KWS), with low CPU, memory, and latency requirements. The max-pooling loss training can be further guided by initializing with a cross-entropy loss trained network. A posterior smoothing based evaluation approach is employed to measure keyword spotting performance. Our experimental results show that LSTM models trained using cross-entropy loss or max-pooling loss outperform a cross-entropy loss trained baseline feed-forward Deep Neural Network (DNN). In addition, max-pooling loss trained LSTM with randomly initialized network performs better compared to cross-entropy loss trained LSTM. Finally, the max-pooling loss trained LSTM initialized with a cross-entropy pre-trained network shows the best performance, which yields $67.6\%$ relative reduction compared to baseline feed-forward DNN in Area Under the Curve (AUC) measure.


title: Restart-Based Fault-Tolerance: System Design and Schedulability Analysis

abstract: Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for safety) is often expensive. Therefore, design methods that enable utilization of components such as real-time operating systems (RTOS), without requiring their correctness to guarantee safety, is necessary. In this paper, we propose a design approach to deploy safe-by-design embedded systems. To attain this goal, we rely on a small core of verified software to handle faults in applications and RTOS and recover from them while ensuring that timing constraints of safety-critical tasks are always satisfied. Faults are detected by monitoring the application timing and fault-recovery is achieved via full platform restart and software reload, enabled by the short restart time of embedded systems. Schedulability analysis is used to ensure that the timing constraints of critical plant control tasks are always satisfied in spite of faults and consequent restarts. We derive schedulability results for four restart-tolerant task models. We use a simulator to evaluate and compare the performance of the considered scheduling models.


title: Multi-frequency Spin Manipulation Using Rapidly Tunable Superconducting Coplanar Waveguide Microresonators

abstract: In this work, we demonstrate the use of frequency-tunable superconducting NbTiN coplanar waveguide microresonators for multi-frequency pulsed electron spin resonance (ESR) experiments. By applying a bias current to the center pin, the resonance frequency ($\sim$7.6 GHz) can be continuously tuned by as much as 95 MHz in 270 ns without a change in the quality factor of 3000 at 2K. We demonstrate the ESR performance of our resonators by measuring donor spin ensembles in silicon and show that adiabatic pulses can be used to overcome magnetic field inhomogeneities and microwave power limitations due to the applied bias current. We take advantage of the rapid tunability of these resonators to manipulate both phosphorus and arsenic spins in a single pulse sequence, demonstrating pulsed double electron-electron resonance (DEER). Our NbTiN resonator design is useful for multi-frequency pulsed ESR and should also have applications in experiments where spin ensembles are used as quantum memories.


title: A comprehensive study of batch construction strategies for recurrent neural networks in MXNet

abstract: In this work we compare different batch construction methods for mini-batch training of recurrent neural networks. While popular implementations like TensorFlow and MXNet suggest a bucketing approach to improve the parallelization capabilities of the recurrent training process, we propose a simple ordering strategy that arranges the training sequences in a stochastic alternatingly sorted way. We compare our method to sequence bucketing as well as various other batch construction strategies on the CHiME-4 noisy speech recognition corpus. The experiments show that our alternated sorting approach is able to compete both in training time and recognition performance while being conceptually simpler to implement.


title: Sandwich classification for $GL_n(R)$, $O_{2n}(R)$ and $U_{2n}(R,\Lambda)$ revisited

abstract: Let $n$ be a natural number greater or equal to $3$, $R$ a commutative ring and $\sigma\in GL_n(R)$. We show that $t_{kl}(\sigma_{ij})$ (resp. $t_{kl}(\sigma_{ii}-\sigma_{jj}))$ where $i\neq j$ and $k\neq l$ can be expressed as a product of $8$ (resp. $24$) matrices of the form $^{\epsilon}\sigma^{\pm 1}$ where $\epsilon\in E_n(R)$. We prove similar results for the orthogonal groups $O_{2n}(R)$ and the hyperbolic unitary groups $U_{2n}(R,\Lambda)$ under the assumption that $R$ is commutative and $n\geq 3$. This yields new, very short proofs of the Sandwich Classification Theorems for the groups $GL_n(R)$, $O_{2n}(R)$ and $U_{2n}(R,\Lambda)$.


title: Dark energy and normalization of cosmological wave function in modified gravitations

abstract: Based on Wheeler-DeWitt equation derived from general relativity, it had been found that only dark energy can lead to a normalizable cosmological wave function. It is shown in the present work that, for dRGT gravity, Eddington-inspired-Born-Infeld gravity and Ho$\check{\text{r}}$ava-Lifshitz gravity, the previous conclusion can also stand well in quantum cosmology induced from these modified gravities. This observation implies that there might be a universal relation between dark energy and normalizability of the cosmological wave function.


title: Quantum Security of Cryptographic Primitives

abstract: We call quantum security the area of IT security dealing with scenarios where one or more parties have access to quantum hardware. This encompasses both the fields of post-quantum cryptography (that is, traditional cryptography engineered to be resistant against quantum adversaries), and quantum cryptography (that is, security protocols designed to be natively run on a quantum infrastructure, such as quantum key distribution). In this work, we propose the first systematic classification of quantum security scenarios, and for each of them we recall the main tools and results, as well as presenting new ones. We achieve this goal by identifying four distinct quantum security classes, or domains, each of them encompassing the security notions and constructions related to a particular scenario. We start with the class QS0, which is `classical cryptography' (meaning that no quantum scenario is considered). Regarding post-quantum cryptography, we introduce the class QS1, where we discuss in detail the problems arising when designing a classical cryptographic object meant to be resistant against adversaries with local quantum computing power, and we provide a classification of the possible quantum security reductions in this scenario when considering provable security. In respect to hybrid classical-quantum models, in the security class QS2 we discuss in detail the possible scenarios where these scenarios arise, and what a correct formalization should be in terms of quantum oracle access. Finally, in the class QS3 we consider all those cryptographic constructions designed to run natively on quantum hardware. We believe that the framework we introduce in this work will be a valuable tool for the scientific community in addressing the challenges arising when formalizing sound constructions and notions of security in the quantum world.