title: Inverting The Generator Of A Generative Adversarial Network (II)

abstract: Generative adversarial networks (GANs) learn a deep generative model that is able to synthesise novel, high-dimensional data samples. New data samples are synthesised by passing latent samples, drawn from a chosen prior distribution, through the generative model. Once trained, the latent space exhibits interesting properties, that may be useful for down stream tasks such as classification or retrieval. Unfortunately, GANs do not offer an "inverse model", a mapping from data space back to latent space, making it difficult to infer a latent representation for a given data sample. In this paper, we introduce a technique, inversion, to project data samples, specifically images, to the latent space using a pre-trained GAN. Using our proposed inversion technique, we are able to identify which attributes of a dataset a trained GAN is able to model and quantify GAN performance, based on a reconstruction loss. We demonstrate how our proposed inversion technique may be used to quantitatively compare performance of various GAN models trained on three image datasets. We provide code for all of our experiments, https://github.com/ToniCreswell/InvertingGAN.


title: Virtual Cartier divisors and blow-ups

abstract: We prove a universal property for blow-ups in regularly immersed subschemes, based on a notion we call "virtual effective Cartier divisor". We also construct blow-ups of quasi-smooth closed immersions in derived algebraic geometry.


title: $\aleph_0$-categoricity of semigroups

abstract: In this paper we initiate the study of $\aleph_0$-categorical semigroups, where a countable semigroup $S$ is $\aleph_0$-categorical if, for any natural number $n$, the action of its group of automorphisms Aut $S$ on $S^n$ has only finitely many orbits. We show that $\aleph_0$-categoricity transfers to certain important substructures such as maximal subgroups and principal factors. We examine the relationship between $\aleph_0$-categoricity and a number of semigroup and monoid constructions, namely direct sums, 0-direct unions, semidirect products and $\mathcal{P}$-semigroups. As a corollary, we determine the $\aleph_0$-categoricity of an $E$-unitary inverse semigroup with finite semilattice of idempotents in terms of that of the maximal group homomorphic image.


title: Dissipative flows, global attractors and shape theory

abstract: In this paper we study continuous parametrized families of dissipative flows, which are those flows having a global attractor. The main motivation for this study comes from the observation that, in general, global attractors are not robust, in the sense that small perturbations of the flow can destroy their globality. We give a necessary and sufficient condition for a global attractor to be continued to a global attractor. We also study, using shape theoretical methods and the Conley index, the bifurcation global to non-global.


title: Relatively irreducible free subroups in Out($\mathbb{F}$)

abstract: We prove that given a finite rank free group $\mathbb{F}$ of rank $\geq 3$ and two exponentially growing outer automorphisms $\psi$ and $\phi$ with dual lamination pairs $\Lambda^\pm_\psi$ and $\Lambda^\pm_\phi$ associated to them, and given a free factor system $\mathcal{F}$ with co-edge number $\geq 2$, $\phi, \psi $ each preserving $\mathcal{F}$, so that the pair $(\phi, \Lambda^\pm_\phi), (\psi, \Lambda^\pm_\psi)$ is independent relative to $\mathcal{F}$, then there $\exists$ $M\geq 1$, such that for any integer $m,n \geq M$, the group $\langle \phi^m, \psi^n \rangle$ is a free group of rank 2, all of whose non-trivial elements except perhaps the powers of $\phi, \psi$ and their conjugates, are fully irreducible relative to $\mathcal{F}$ with a lamination pair which fills relative to $\mathcal{F}$. In addition if both $\Lambda^\pm_\phi, \Lambda^\pm_\psi$ are non-geometric then this lamination pair is also non-geometric. We also prove that the extension groups induced by such subgroups will be relatively hyperbolic under some natural conditions.


title: Weak Lensing of Intensity Mapping: the Cosmic Infrared Background

abstract: Gravitational lensing deflects the paths of cosmic infrared background (CIB) photons, leaving a measurable imprint on CIB maps. The resulting statistical anisotropy can be used to reconstruct the matter distribution out to the redshifts of CIB sources. To this end, we generalize the CMB lensing quadratic estimator to any weakly non-Gaussian source field, by deriving the optimal lensing weights. We point out the additional noise and bias caused by the non-Gaussianity and the `self-lensing' of the source field. We propose methods to reduce, subtract or model these non-Gaussianities. We show that CIB lensing should be detectable with Planck data, and detectable at high significance for future CMB experiments like CCAT-Prime. The CIB thus constitutes a new source image for lensing studies, providing constraints on the amplitude of structure at intermediate redshifts between galaxies and the CMB. CIB lensing measurements will also give valuable information on the star formation history in the universe, constraining CIB halo models beyond the CIB power spectrum. By laying out a detailed treatment of lens reconstruction from a weakly non-Gaussian source field, this work constitutes a stepping stone towards lens reconstruction from continuum or line intensity mapping data, such as the Lyman-alpha emission, absorption, and the 21cm radiation.


title: 30-Fold Increase in Atom-Cavity Coupling Using a Parabolic Ring Cavity

abstract: Optical cavities are one of the best ways to increase atom-light coupling and will be a key ingredient for future quantum technologies that rely on light-matter interfaces. We demonstrate that traveling-wave "ring" cavities can achieve a greatly reduced mode waist $w$, leading to larger atom-cavity coupling strength, relative to conventional standing-wave cavities for given mirror separation and stability. Additionally, ring cavities can achieve arbitrary transverse-mode spacing simultaneously with the large mode-waist reductions. Following these principles, we build a parabolic atom-ring cavity system that achieves strong collective coupling $NC = 15(1)$ between $N=10^3$ Rb atoms and a ring cavity with a single-atom cooperativity $C$ that is a factor of $35(5)$ times greater than what could be achieved with a near-confocal standing-wave cavity with the same mirror separation and finesse. By using parabolic mirrors, we eliminate astigmatism--which can otherwise preclude stable operation--and increase optical access to the atoms. Cavities based on these principles, with enhanced coupling and large mirror separation, will be particularly useful for achieving strong coupling with ions, Rydberg atoms, or other strongly interacting particles, which often have undesirable interactions with nearby surfaces.


title: Kissing numbers and transference theorems from generalized tail bounds

abstract: We generalize Banaszczyk's seminal tail bound for the Gaussian mass of a lattice to a wide class of test functions. From this we obtain quite general transference bounds, as well as bounds on the number of lattice points contained in certain bodies. As applications, we bound the lattice kissing number in $\ell_p$ norms by $e^{(n+ o(n))/p}$ for $0 < p \leq 2$, and also give a proof of a new transference bound in the $\ell_1$ norm.


title: A physical framework for the Earth System, the Anthropocene Equation and the Great Acceleration

abstract: It is proposed, based on the Landau-Ginzburg Theory of phase transitions, that the transition of the Earth System from the stable conditions of the Holocene to the human driven condition of the Anthropocene is, actually, a phase transition, a qualitative change away from its Holocene equilibrium state. Based on this physical framework, one obtains the Anthropocene equation, the so-called Great Acceleration and shows that (i) the Earth System temperature on the new equilibrium state diverges from the average temperature of the Holocene as the cubic root of the human intervention, described by a parameter, $H$; (ii) the human induced departure from the Holocene can be as drastic as the ones due to natural, astronomical and geophysical causes; (iii) the susceptibility of the Earth System to human effects is much more relevant near the phase transition. The procedure to obtain numerical predictions from data is also exemplified through one of the existing proposals to account for human impact on the Earth's Holocene equilibrium.


title: Symmetry and decoherence-free subspaces in quantum neural networks

abstract: Evolution of quantum states of array of quantum dots is analyzed by means of numerical solution of the von Neumann equation. For two qubit system with dipole-dipole interaction and common phonon bath the evolution of the symmetric state $\frac{\uparrow\downarrow+\downarrow\uparrow}{\sqrt{2}}$ leads to the mixture of the triplet states, leaving the singlet decoupled. For three qubit system ($D_{1/2}^{\otimes3}=D_{3/2}+2D_{1/2}$) with common phonon bath we observed similar effects within the quartet state $D_{3/2}$ if all qubits were symmetrically connected.


title: Modelling uncertainty using stochastic transport noise in a 2-layer quasi-geostrophic model

abstract: The stochastic variational approach for geophysical fluid dynamics was introduced by Holm (Proc Roy Soc A, 2015) as a framework for deriving stochastic parameterisations for unresolved scales. This paper applies the variational stochastic parameterisation in a two-layer quasi-geostrophic model for a beta-plane channel flow configuration. We present a new method for estimating the stochastic forcing (used in the parameterisation) to approximate unresolved components using data from the high resolution deterministic simulation, and describe a procedure for computing physically-consistent initial conditions for the stochastic model. We also quantify uncertainty of coarse grid simulations relative to the fine grid ones in homogeneous (teamed with small-scale vortices) and heterogeneous (featuring horizontally elongated large-scale jets) flows, and analyse how the spread of stochastic solutions depends on different parameters of the model. The parameterisation is tested by comparing it with the true eddy-resolving solution that has reached some statistical equilibrium and the deterministic solution modelled on a low-resolution grid. The results show that the proposed parameterisation significantly depends on the resolution of the stochastic model and gives good ensemble performance for both homogeneous and heterogeneous flows, and the parameterisation lays solid foundations for data assimilation.


title: Gravitational waves from vacuum first-order phase transitions: from the envelope to the lattice

abstract: We conduct large scale numerical simulations of gravitational wave production at a first order vacuum phase transition. We find a power law for the gravitational wave power spectrum at high wavenumber which falls off as $k^{-1.5}$ rather than the $k^{-1}$ produced by the envelope approximation. The peak of the power spectrum is shifted to slightly lower wave numbers from that of the envelope approximation. The envelope approximation reproduces our results for the peak power less well, agreeing only to within an order of magnitude. After the bubbles finish colliding the scalar field oscillates around the true vacuum. An additional feature is produced in the UV of the gravitational wave power spectrum, and this continues to grow linearly until the end of our simulation. The additional feature peaks at a length scale close to the bubble wall thickness and is shown to have a negligible contribution to the energy in gravitational waves, providing the scalar field mass is much smaller than the Planck mass.


title: A Simple No-Scale Model of Modulus Fixing and Inflation

abstract: We construct a no-scale model of inflation with a single modulus whose real and imaginary parts are fixed by simple power-law corrections to the no-scale K{\" a}hler potential. Assuming an uplift of the minimum of the effective potential, the model yields a suitable number of e-folds of expansion and values of the tilt in the scalar cosmological density perturbations and of the ratio of tensor and scalar perturbations that are compatible with measurements of the cosmic microwave background radiation.


title: The Experimental Nuclear Reaction Data (EXFOR): Extended Computer Database and Web Retrieval System

abstract: The EXchange FORmat (EXFOR) experimental nuclear reaction database and the associated Web interface provide access to the wealth of low- and intermediate-energy nuclear reaction physics data. This resource is based on numerical data sets and bibliographical information of $\sim$22,000 experiments since the beginning of nuclear science. The principles of the Web and database applications development are described. New capabilities for the data sets uploads, renormalization, covariance matrix, and inverse reaction calculations are presented. The EXFOR database, updated monthly, provides an essential support for nuclear data evaluation, application development, and research activities. It is publicly available at the websites of the International Atomic Energy Agency Nuclear Data Section, {\it http://www-nds.iaea.org/exfor}, the U.S. National Nuclear Data Center, {\it http://www.nndc.bnl.gov/exfor}, and the mirror sites in China, India and Russian Federation.


title: An image-based array trigger for Imaging Atmospheric Cherenkov Telescope Arrays

abstract: It is anticipated that forthcoming, next generation, atmospheric Cherenkov telescope arrays will include a number of medium-sized telescopes that are constructed using a dual-mirror Schwarzschild-Couder configuration. These telescopes will sample a wide ($8^{\circ}$) field of view using a densely pixelated camera comprising over $10^{4}$ individual readout channels. A readout frequency congruent with the expected single-telescope trigger rates would result in substantial data rates. To ameliorate these data rates, a novel, hardware-level Distributed Intelligent Array Trigger (DIAT) is envisioned. A copy of the DIAT operates autonomously at each telescope and uses reduced resolution imaging data from a limited subset of nearby telescopes to veto events prior to camera readout {and any subsequent network transmission of camera data that is required for centralized storage or aggregation}. We present the results of Monte-Carlo simulations that evaluate the efficacy of a "Parallax width" discriminator that can be used by the DIAT to efficiently distinguish between genuine gamma-ray initiated events and unwanted background events that are initiated by hadronic cosmic rays.


title: Secular dynamics of hierarchical multiple systems composed of nested binaries, with an arbitrary number of bodies and arbitrary hierarchical structure. II. External perturbations: flybys and supernovae

abstract: We extend the formalism of a previous paper to include the effects of flybys and instantaneous perturbations such as supernovae on the long-term secular evolution of hierarchical multiple systems with an arbitrary number of bodies and hierarchy, provided that the system is composed of nested binary orbits. To model secular encounters, we expand the Hamiltonian in terms of the ratio of the separation of the perturber with respect to the barycentre of the multiple system, to the separation of the widest orbit. Subsequently, we integrate over the perturber orbit numerically or analytically. We verify our method for secular encounters, and illustrate it with an example. Furthermore, we describe a method to compute instantaneous orbital changes to multiple systems, such as asymmetric supernovae and impulsive encounters. The secular code, with implementation of the extensions described in this paper, is publicly available within AMUSE, and we provide a number of simple example scripts to illustrate its usage for secular and impulsive encounters, and asymmetric supernovae. The extensions presented in this paper are a next step toward efficiently modeling the evolution of complex multiple systems embedded in star clusters.


title: A model for AGN variability on multiple timescales

abstract: We present a framework to link and describe AGN variability on a wide range of timescales, from days to billions of years. In particular, we concentrate on the AGN variability features related to changes in black hole fuelling and accretion rate. In our framework, the variability features observed in different AGN at different timescales may be explained as realisations of the same underlying statistical properties. In this context, we propose a model to simulate the evolution of AGN light curves with time based on the probability density function (PDF) and power spectral density (PSD) of the Eddington ratio ($L/L_{\rm Edd}$) distribution. Motivated by general galaxy population properties, we propose that the PDF may be inspired by the $L/L_{\rm Edd}$ distribution function (ERDF), and that a single (or limited number of) ERDF+PSD set may explain all observed variability features. After outlining the framework and the model, we compile a set of variability measurements in terms of structure function (SF) and magnitude difference. We then combine the variability measurements on a SF plot ranging from days to Gyr. The proposed framework enables constraints on the underlying PSD and the ability to link AGN variability on different timescales, therefore providing new insights into AGN variability and black hole growth phenomena.


title: An Analytical Portrait of Binary Mergers in Hierarchical Triple Systems

abstract: With better statistics and precision, eccentricity could prove to be a useful tool for understanding the origin and environment of binary black holes. Hierarchical triples in particular, which might be abundant in globular clusters and galactic nuclei, could generate observably large eccentricity at LIGO and future gravitational wave detectors. Measuring the eccentricity distribution accurately could help us probe the background and the formation of the mergers. In this paper we continue our previous investigation and improve our semi-analytical description of the eccentricity distribution of mergers hierarchical triple systems. Our result, which further reduces the reliance on numerical simulations, could be useful for statistically distinguishing different formation channels of observed binary mergers.


title: Generic emergence of objectivity of observables in infinite dimensions

abstract: Quantum Darwinism posits that information becomes objective whenever multiple observers indirectly probe a quantum system by each measuring a fraction of the environment. It was recently shown that objectivity of observables emerges generically from the mathematical structure of quantum mechanics, whenever the system of interest has finite dimensions and the number of environment fragments is large [F. G. S. L. Brand\~ao, M. Piani, and P. Horodecki, Nature Commun. 6, 7908 (2015)]. Despite the importance of this result, it necessarily excludes many practical systems of interest that are infinite-dimensional, including harmonic oscillators. Extending the study of Quantum Darwinism to infinite dimensions is a nontrivial task: we tackle it here by using a modified diamond norm, suitable to quantify the distinguishability of channels in infinite dimensions. We prove two theorems that bound the emergence of objectivity, first for finite energy systems, and then for systems that can only be prepared in states with an exponential energy cut-off. We show that the latter class of states includes any bounded-energy subset of single-mode Gaussian states.

categories: quant-ph hep-th math-ph math.MP physics.hist-ph


title: Obscured star-formation in bright z ~ 7 Lyman-break galaxies

abstract: We present Atacama Large Millimeter/Submillimeter Array observations of the rest-frame far-infrared (FIR) dust continuum emission of six bright Lyman-break galaxies (LBGs) at $z \simeq 7$. One LBG is detected ($5.2\sigma$ at peak emission), while the others remain individually undetected at the $3\sigma$ level. The average FIR luminosity of the sample is found to be $L_{\rm FIR} \simeq 2 \times 10^{11}\,{\rm L}_{\odot}$, corresponding to an obscured star-formation rate (SFR) that is comparable to that inferred from the unobscured UV emission. In comparison to the infrared excess (IRX$\,=L_{\rm FIR}/L_{\rm UV}$)-$\beta$ relation, our results are consistent with a Calzetti-like attenuation law (assuming a dust temperature of T = 40-50 K). We find a physical offset of 3 kpc between the dust continuum emission and the rest-frame UV light probed by Hubble Space Telescope imaging for galaxy ID65666 at $z = 7.17^{+0.09}_{-0.06}$. The offset is suggestive of an inhomogeneous dust distribution, where 75% of the total star formation activity (SFR$ \,\simeq 70\,{\rm M}_{\odot}/{\rm yr}$) of the galaxy is completely obscured. Our results provide direct evidence that dust obscuration plays a key role in shaping the bright-end of the observed rest-frame UV luminosity function at $z \simeq 7$, in agreement with cosmological galaxy formation simulations. The existence of a heavily-obscured component of galaxy ID65666 indicates that dusty star-forming regions, or even entire galaxies, that are "UV-dark" are significant even in the $z \simeq 7$ galaxy population.


title: Single lepton charge asymmetries in $t \bar t$ and $t \bar t \gamma$ production at the LHC

abstract: We discuss lepton charge asymmetries in $t \bar t$ and $t \bar t \gamma$ production at the LHC, which can be measured in the semileptonic decay channel $t \bar t \to W^+ b \, W^- \bar b \to \ell^+ \nu b \, q \bar q' \bar b$ (or the charge conjugate). Considering several variants of a new physics scenario with a light colour octet, it is seen that for $t \bar t$ these asymmetries may have a sensitivity competitive with the dilepton asymmetry already measured. For $t \bar t \gamma$ the new leptonic asymmetries, as well as the $t \bar t$ charge asymmetry, will reach their full potential with the high luminosity LHC upgrade. These asymmetries can pinpoint deviations at the $3\sigma-4\sigma$ level for new physics scenarios where the charge asymmetries already measured in $t \bar t$ production agree within $1\sigma$.


title: Seesaw roadmap to neutrino mass and dark matter

abstract: We describe the many pathways to generate Majorana and Dirac neutrino mass through generalized dimension-5 operators a la Weinberg. The presence of new scalars beyond the Standard Model Higgs doublet implies new possible field contractions, which are required in the case of Dirac neutrinos. We also notice that, in the Dirac neutrino case, the extra symmetries needed to ensure the Dirac nature of neutrinos can also be made responsible for stability of dark matter.


title: Relativistic properties of a molecule: energy, linear momentum, angular momentum and boost momentum to order $1/c^2$

abstract: We give an explicit and general description of the energy, linear momentum, angular momentum and boost momentum of a molecule to order $1/c^2$, where it necessary to take account of kinetic contributions made by the electrons and nuclei as well as electromagnetic contributions made by the intramolecular field. A wealth of interesting subtleties are encountered that are not seen at order $1/c^0$, including relativistic Hall shifts, anomalous velocities and hidden momenta. Some of these have well known analogues in solid state physics.


title: Dimension free properties of strong Muckenhoupt and Reverse H\"older weights for Radon measures

abstract: In this paper we prove self-improvement properties of strong Muckenhoupt and Reverse H\"older weights with respect to a general Radon measure on $\mathbb{R}^n$. We derive our result via a Bellman function argument. An important feature of our proof is that it uses only the Bellman function for the one-dimensional problem for Lebesgue measure; with this function in hand, we derive dimension free results for general measures and dimensions.


title: A New Catalogue of Galactic Novae: Investigation of the MMRD relation & Spatial Distribution

abstract: In this study, a new Galactic novae catalogue is introduced collecting important parameters of these sources such as their light curve parameters, classifications, full width half maximum (FWHM) of H$_\alpha$ line, distances and interstellar reddening estimates. The catalogue is also published on a website with a search option via a SQL query and an online tool to re-calculate the distance/reddening of a nova from the derived reddening-distance relations. Using the novae in the catalogue, the existence of a maximum magnitude-rate of decline (MMRD) relation in the Galaxy is investigated. Although an MMRD relation was obtained, a significant scattering in the resulting MMRD distribution still exists. We suggest that the MMRD relation likely depends on other parameters in addition to the decline time, as FWHM H$_\alpha$, the light curve shapes. Using two different samples depending on the distances in the catalogue and from the derived MMRD relation, the spatial distributions of Galactic novae as a function of their spectral and speed classes were studied. The investigation on the Galactic model parameters implies that best estimates for the local outburst density are 3.6 and 4.2 $\times 10^{-10}$ pc$^{-3}$ yr$^{-1}$ with a scale height of 148 and 175 pc, while the space density changes in the range of $0.4 - 16 \ \times 10^{-6}$ pc$^{-3}$. The local outburst density and scale height obtained in this study infer that the disk nova rate in the Galaxy is in the range of $\sim20$ to $\sim100$ yr$^{-1}$ with an average estimate $67^{+21}_{-17}$ yr$^{-1}$.


title: Fixed points, bounded orbits and attractors of planar flows

abstract: In this paper we provide a dynamical characterization of isolated invariant continua which are global attractors for planar dissipative flows. As a consequence, a sufficient condition for an isolated invariant continuum to be either an attractor or a repeller is derived for general planar flows.


title: Long-range Coulomb Interaction effects on Topological Phase Transitions between Semi-metals and Insulators

abstract: Topological states may be protected by a lattice symmetry in a class of topological semi-metals. In three spatial dimensions, the Berry flux around gapless excitations in momentum space defines a chirality concretely, so a protecting symmetry may be referred to as a chiral symmetry. Prime examples include Dirac semi-metal (DSM) in a distorted spinel, BiZnSiO$_4$, protected by a mirror symmetry and DSM in Na$_3$Bi, protected by a rotational symmetry. In these states, topology and a chiral symmetry are intrinsically tied. In this work, we investigate characteristics interplay between a chiral symmetry order parameter and instantaneous long-range Coulomb interaction with the standard renormalization group method. We show that a topological transition associated with a chiral symmetry is stable under the presence of the Coulomb interaction and the electron velocity always becomes faster than one of a chiral symmetry order parameter. Thus, the transition {\it must not} be relativistic, which implies a supersymmetry is intrinsically forbidden by the long-range Coulomb interaction. {Asymptotically exact} universal ratios of physical quantities such as energy gap ratio are obtained, and connections with experiments and recent theoretical proposals are also discussed.


title: Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems

abstract: Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enforcement of opacity within the discrete-event system formalism in the presence of multiple intruders. We study two cases, one without coordination among the intruders and the other with coordination. We propose appropriate notions of opacity corresponding to the two cases, respectively, and propose enforcement mechanisms for these opacity properties based on the implementation of insertion functions, which manipulates the output of the system by inserting fictitious observable events whenever necessary. The insertion mechanism is adapted to the decentralized framework to enforce opacity when no coordination exists. Furthermore, we present a coordination and refinement procedure to synthesize appropriate insertion functions to enforce opacity when intruders may coordinate with each other by following an intersection-based coordination protocol. The effectiveness of the proposed opacity-enforcement approaches is validated through illustrative examples.


title: Linear discriminant analysis as an alternative method to investigate the interaction of a 1064 nm CW laser light with a cold inductively-coupled plasma

abstract: In this paper, the interaction of a 1064 nm continuum-wave laser with inductively-coupled plasma generated in a fluorescent light bulb has been studied both experimentally and theoretically. The absorption coefficients pertaining to the plasma medium were obtained for different power measurements. The results indicate that absorption coefficients decrease with the increase in laser power. The UV-Vis spectra of mercury plasma were recorded by the charge-coupled spectrometer device at different power levels of laser. The linear discriminant analysis (LDA) of plasma spectra reveals the plasma ion and electron oscillations. Fourier series modeling of electron oscillation results the Whistler mode frequency of wpe= 0.16 kHz with a density of ne=3.9x1013 cm^(-3). 3D representation of LDA coefficients shows that the increase of laser power leads the plasma species to form in Whistler mode structures. Plasma electron temperatures ( e T ) was inferred from the SPARTAN non-local thermal equilibrium (non-LTE) spectral code, and they were about 0.6 eV in the absence of laser light. However, there was a 0.05 eV increase in electron temperature when the laser power was absorbed by the plasma. Electron temperatures slightly increased with the increase in the power levels, which in turn resulted in smaller absorption coefficients since the absorption coefficients scales with Te^(-3/2).


title: Pedestrian-Robot Interaction Experiments in an Exit Corridor

abstract: The study of human-robot interaction (HRI) has received increasing research attention for robot navigation in pedestrian crowds. In this paper, we present empirical study of pedestrian-robot interaction in an uni-directional exit corridor. We deploy a mobile robot moving in a direction perpendicular to that of the pedestrian flow, and install a pedestrian motion tracking system to record the collective motion. We analyze both individual and collective motion of pedestrians, and measure the effect of the robot motion on the overall pedestrian flow. The experimental results show the effect of passive HRI, where the pedestrians' overall speed is slowed down in the presence of the robot, and the faster the robot moves, the lower the average pedestrian velocity becomes. Experiment results show qualitative consistency of the collective HRI effect with simulation results that was previously reported. The study can be used to guide future design of robot-assisted pedestrian evacuation algorithms.


title: Ghosts- and Tachyon-Free Regions of the Randall-Sundrum Model Parameter Space

abstract: Model building within the Randall-Sundrum (RS) framework generally involves placing the Standard Model fields in the bulk. Such fields may possess non-zero values for their associated brane-localized kinetic terms (BLKTs) in addition to possible bulk mass parameters. In this paper we clearly identify the regions of the RS model parameter space where the presence of bulk mass terms and BLKTs yield a setup which is free from both ghost and tachyon instabilities. Such physically acceptable parameter space regions can then be used to construct realistic and phenomenologically viable RS models.


title: Distality for the asymptotic couple of the field of logarithmic transseries

abstract: We show that the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP (= the non-independence property), this provides a new proof that $T_{\log}$ is NIP. Finally, we show that $T_{\log}$ is not strongly dependent, and in particular, it is not $\operatorname{dp}$-minimal and it does not have finite $\operatorname{dp}$-rank.


title: Fair Clustering Through Fairlets

abstract: We study the question of fair clustering under the {\em disparate impact} doctrine, where each protected class must have approximately equal representation in every cluster. We formulate the fair clustering problem under both the $k$-center and the $k$-median objectives, and show that even with two protected classes the problem is challenging, as the optimum solution can violate common conventions---for instance a point may no longer be assigned to its nearest cluster center! En route we introduce the concept of fairlets, which are minimal sets that satisfy fair representation while approximately preserving the clustering objective. We show that any fair clustering problem can be decomposed into first finding good fairlets, and then using existing machinery for traditional clustering algorithms. While finding good fairlets can be NP-hard, we proceed to obtain efficient approximation algorithms based on minimum cost flow. We empirically quantify the value of fair clustering on real-world datasets with sensitive attributes.


title: Reachability for infinite time Turing machines with long tapes

abstract: Infinite time Turing machine models with tape length $\alpha$, denoted $T_\alpha$, strengthen the machines of Hamkins and Kidder [HL00] with tape length $\omega$. A new phenomenon is that for some countable ordinals $\alpha$, some cells cannot be halting positions of $T_\alpha$ given trivial input. The main open question in [Rin14] asks about the size of the least such ordinal $\delta$. We answer this by providing various characterizations. For instance, $\delta$ is the least ordinal with any of the following properties: (a) For some $\xi<\alpha$, there is a $T_\xi$-writable but not $T_\alpha$-writable subset of $\omega$. (b) There is a gap in the $T_\alpha$-writable ordinals. (c) $\alpha$ is uncountable in $L_{\lambda_\alpha}$. Here $\lambda_\alpha$ denotes the supremum of $T_\alpha$-writable ordinals, i.e. those with a $T_\alpha$-writable code of length $\alpha$. We further use the above characterizations, and an analogue to Welch's submodel characterization of the ordinals $\lambda$, $\zeta$ and $\Sigma$, to show that $\delta$ is large in the sense that it is a closure point of the function $\alpha \mapsto \Sigma_\alpha$, where $\Sigma_\alpha$ denotes the supremum of the $T_\alpha$-accidentally writable ordinals.


title: IBeaconMap: Automated Indoor Space Representation for Beacon-Based Wayfinding

abstract: Traditionally, there have been few options for navigational aids for the blind and visually impaired (BVI) in large indoor spaces. Some recent indoor navigation systems allow users equipped with smartphones to interact with low cost Bluetoothbased beacons deployed strategically within the indoor space of interest to navigate their surroundings. A major challenge in deploying such beacon-based navigation systems is the need to employ a time and labor-expensive beacon planning process to identify potential beacon placement locations and arrive at a topological structure representing the indoor space. This work presents a technique called IBeaconMap for creating such topological structures to use with beacon-based navigation that only needs the floor plans of the indoor spaces of interest. IBeaconMap employs a combination of computer vision and machine learning techniques to arrive at the required set of beacon locations and a weighted connectivity graph (with directional orientations) for subsequent navigational needs. Evaluations show IBeaconMap to be both fast and reasonably accurate, potentially proving to be an essential tool to be utilized before mass deployments of beacon-based indoor wayfinding systems of the future.


title: Impact of Gas Giant Instabilities on Habitable Planets

abstract: The detection of many extrasolar gas giants with high eccentricities indicates that dynamical instabilities in planetary systems are common. These instabilities can alter the orbits of gas giants as well as the orbits of terrestrial planets and therefore eject or move a habitable planet out of the habitable zone. In this work 423 simulations with 153 different hypothetical planetary systems with gas giants and terrestrial planets have been modelled to explore the orbital stability of habitable planets. The initial parameter variations include the number, distances and masses of the giant planets and the star type. Linear correlations between the initial number and the initial distances of gas giants and the survival rate of habitable planets were found. Planetary systems consisting of two giant planets are fairly benign to terrestrial planets, whereas six giant planets very often lead to a complete clearing of the habitable zone. Systems with initial distances of five Hill Radii between the giant planets have a high chance to harbour a habitable planet, although more compact systems are very destructive. The giant planet masses have a smaller impact on the stability of habitable worlds. Additionally, a link between the present-day orbit of an observed giant exoplanet and the survival rate of habitable planets was established. As a rule of thumb, observed gas giants with eccentricities higher than 0.4 and inclinations higher than 20 degrees have experienced strong planet-planet scatterings and are unlikely to have a habitable planet in its system. Furthermore, it was found that habitable planets surrounding a K or M-star have a higher survival rate than those surrounding a G-star.


title: JU_KS@SAIL_CodeMixed-2017: Sentiment Analysis for Indian Code Mixed Social Media Texts

abstract: This paper reports about our work in the NLP Tool Contest @ICON-2017, shared task on Sentiment Analysis for Indian Languages (SAIL) (code mixed). To implement our system, we have used a machine learning algo-rithm called Multinomial Na\"ive Bayes trained using n-gram and SentiWordnet features. We have also used a small SentiWordnet for English and a small SentiWordnet for Bengali. But we have not used any SentiWordnet for Hindi language. We have tested our system on Hindi-English and Bengali-English code mixed social media data sets released for the contest. The performance of our system is very close to the best system participated in the contest. For both Bengali-English and Hindi-English runs, our system was ranked at the 3rd position out of all submitted runs and awarded the 3rd prize in the contest.


title: The spin of the second-born black hole in coalescing binary black holes

abstract: Various binary black hole formation channels have been proposed since the first gravitational event GW150914 was discovered by the Advanced Laser Interferometer Gravitational-Wave Observatory (AdLIGO). For all evolutionary channels based on the evolution of isolated binaries, the immediate progenitor of the binary black hole is a close binary system composed of a black hole and a helium star. We perform detailed binary evolution and systematically explore the parameter space of initial binary properties, including initial black hole and helium star masses, initial rotation of the helium star as well as metallicity. We argue that the spin of the first-born black hole at its birth is negligible ($\lesssim 0.1$), hence the second-born black hole's spin dominates the measured effective spin, $\chi_{\rm eff}$, from gravitational wave events of double black hole mergers. We find that tides can be important only when orbital periods are shorter than 2 days. Upon core collapse, the helium star produces a black hole (the second-born black hole in the system) with a spin that can span the entire range from zero to maximally spinning. We show that the bimodal distribution of the spin of the second-born black hole obtained in recent papers is mainly due to oversimplifying assumptions. We find an anti-correlation between the merging timescale of the two black holes, T$_{\rm merger}$, and the effective spin $\chi_{\rm eff}$. Finally, we provide new prescriptions for the tidal coefficient E$_2$ for both H-rich and the helium-rich stars. We predict that, with future improvements to AdLIGO's sensitivity, the sample of merging binary black hole systems will show an overdensity of sources with positive but small $\chi_{\rm eff}$. originating from lower mass black hole mergers born at low redshift.


title: A Viscoelastic Catastrophe

abstract: We use a differential constitutive equation to model the flow of a viscoelastic flow in a cross-slot geometry, which is known to exhibit bistability above a critical flow rate. The novelty lies in two asymmetric modifications to the geometry, which causes a change in the bifurcation diagram such that one of the stable solutions becomes disconnected from the solution at low flow speeds. First we show that it is possible to mirror one of the modifications such that the system can be forced to the disconnected solution. Then we show that a slow decrease of the flow rate, can cause the system to go through a drastic change on a short time scale, also known as a catastrophe. The short time scale could lead to a precise and simple experimental measurement of the flow conditions at which the viscoelastic catastrophe occurs. Since the phenomena is intrinsically related to the extensional rheology of the fluid, we propose to exploit the phenomena for in-line extensional rheometry.


title: Domain size polydispersity effects on the structural and dynamical properties in lipid monolayers with phase coexistence

abstract: Lipid monolayers with phase coexistence are a frequently used model for lipid membranes. In these systems, domains of the liquid-condensed phase always present size polydispersity. However, very few theoretical works consider size distribution effects on the monolayer properties. Because of the difference in surface densities, domains have excess dipolar density with respect to the surrounding liquid expanded phase, originating a dipolar inter-domain interaction. This interaction depends on the domain area, and hence the presence of a domain size distribution is associated with interaction polydispersity. Inter-domain interactions are fundamental to understanding the structure and dynamics of the monolayer. For this reason, it is expected that polydispersity significantly alters monolayer properties. By means of Brownian dynamics simulations, we study the radial distribution function (RDF), the average mean square displacement and the average time-dependent self-diffusion coefficient, D(t), of lipid monolayers with normal distributed size domains. It was found that polydispersity strongly affects the value of the interaction strength obtained, which is greatly underestimated if polydispersity is not considered. However, within a certain range of parameters, the RDF obtained from a polydisperse model can be well approximated by that of a monodisperse model, suitably fitting the interaction strength, even for 40% polydispersities. For small interaction strengths or small polydispersities, the polydisperse systems obtained from fitting the experimental RDF have an average mean square displacement and D(t) in good agreement with that of the monodisperse system.


title: Implementation of an efficient linear-optical quantum router

abstract: In this paper, we report on experimental implementation of a linear-optical quantum router. Our device allows single-photon polarization-encoded qubits to be routed coherently into two spatial output modes depending on the state of two identical control qubits. The polarization qubit state of the routed photon is maintained during the routing operation. The success probability of our scheme can be increased up to 25% making it the most efficient linear-optical quantum router known to this date.


title: Subaru High-z Exploration of Low-Luminosity Quasars (SHELLQs) III. Star formation properties of the host galaxies at $z \gtrsim 6$ studied with ALMA

abstract: We present our ALMA Cycle 4 measurements of the [CII] emission line and the underlying far-infrared (FIR) continuum emission from four optically low-luminosity ($M_{\rm 1450} > -25$) quasars at $z \gtrsim 6$ discovered by the Subaru Hyper Suprime Cam (HSC) survey. The [CII] line and FIR continuum luminosities lie in the ranges $L_{\rm [CII]} = (3.8-10.2) \times 10^8~L_\odot$ and $L_{\rm FIR} = (1.2-2.0) \times 10^{11}~L_\odot$, which are at least one order of magnitude smaller than those of optically-luminous quasars at $z \gtrsim 6$. We estimate the star formation rates (SFR) of our targets as $\simeq 23-40~M_\odot ~{\rm yr}^{-1}$. Their line and continuum-emitting regions are marginally resolved, and found to be comparable in size to those of optically luminous quasars, indicating that their SFR or likely gas mass surface densities (key controlling parameter of mass accretion) are accordingly different. The $L_{\rm [CII]}/L_{\rm FIR}$ ratios of the hosts, $\simeq (2.2-8.7) \times 10^{-3}$, are fully consistent with local star-forming galaxies. Using the [CII] dynamics, we derived their dynamical masses within a radius of 1.5-2.5 kpc as $\simeq (1.4-8.2) \times 10^{10}~M_\odot$. By interpreting these masses as stellar ones, we suggest that these faint quasar hosts are on or even below the star-forming main sequence at $z \sim 6$, i.e., they appear to be transforming into quiescent galaxies. This is in contrast to the optically luminous quasars at those redshifts, which show starburst-like properties. Finally, we find that the ratios of black hole mass to host galaxy dynamical mass of the most of low-luminosity quasars including the HSC ones are consistent with the local value. The mass ratios of the HSC quasars can be reproduced by a semi-analytical model that assumes merger-induced black hole-host galaxy evolution.


title: A Multilevel Monte Carlo Ensemble Scheme for Solving Random Parabolic PDEs

abstract: A first-order, Monte Carlo ensemble method has been recently introduced for solving parabolic equations with random coefficients in [26], which is a natural synthesis of the ensemble-based, Monte Carlo sampling algorithm and the ensemble-based, first-order time stepping scheme. With the introduction of an ensemble average of the diffusion function, this algorithm leads to a single discrete system with multiple right-hand sides for a group of realizations, which could be solved more efficiently than a sequence of linear systems. In this paper, we pursue in the same direction and develop a new multilevel Monte Carlo ensemble method for solving random parabolic partial differential equations. Comparing with the approach in [26], this method possesses a high-order accuracy in time and further reduces the computational cost by using the multilevel Monte Carlo method. Rigorous numerical analysis shows the method achieves the optimal rate of convergence. Several numerical experiments are presented to illustrate the theoretical results.


title: Material Scaling and Frequency-Selective Enhancement of Near-Field Radiative Heat Transfer for Lossy Metals in Two Dimensions via Inverse Design

abstract: The super-Planckian features of radiative heat transfer in the near-field are known to depend strongly on both material and geometric design properties. However, the relative importance and interplay of these two facets, and the degree to which they can be used to ultimately control energy flow, remains an open question. Recently derived bounds suggest that enhancements as large as $|\chi|^4 \lambda^{2} / \left(\left(4\pi\right)^{2} \Im\left[\chi\right]^{2} d^{2}\right)$ are possible between extended structures (compared to blackbody); but neither geometries reaching this bound, nor designs revealing the predicted material ($\chi$) scaling, have been previously reported. Here, exploiting inverse techniques, in combination with fast computational approaches enabled by the low-rank properties of elliptic operators for disjoint bodies, we investigate this relation between material and geometry on an enlarged space structures. Crucially, we find that the material proportionality given above does indeed emerge in realistic structures. In reaching this result, we also show that (in two dimensions) lossy metals such as tungsten, typically considered to be poor candidate materials for strongly enhancing heat transfer in the near infrared, can be structured to selectively realize flux rates that come within $50\%$ of those exhibited by an ideal pair of resonant lossless metals for separations as small as $2\%$ of a tunable design wavelength.


title: Model reduction in chemical dynamics: slow invariant manifolds, singular perturbations, thermodynamic estimates, and analysis of reaction graph

abstract: The paper has two goals: It presents basic ideas, notions, and methods for reduction of reaction kinetics models: quasi-steady-state, quasi-equilibrium, slow invariant manifolds, and limiting steps. It describes briefly the current state of the art and some latest achievements in the broad area of model reduction in chemical and biochemical kinetics, including new results in methods of invariant manifolds, computation singular perturbation, bottleneck methods, asymptotology, tropical equilibration, and reaction mechanism skeletonisation.


title: Uniform boundedness in function spaces

abstract: We investigate several boundedness properties of function spaces considered as uniform spaces.


title: Systematic Weight Pruning of DNNs using Alternating Direction Method of Multipliers

abstract: We present a systematic weight pruning framework of deep neural networks (DNNs) using the alternating direction method of multipliers (ADMM). We first formulate the weight pruning problem of DNNs as a constrained nonconvex optimization problem, and then adopt the ADMM framework for systematic weight pruning. We show that ADMM is highly suitable for weight pruning due to the computational efficiency it offers. We achieve a much higher compression ratio compared with prior work while maintaining the same test accuracy, together with a faster convergence rate. Our models are released at https://github.com/KaiqiZhang/admm-pruning


title: Effects of Sound Suppressors on Muzzle Velocity, Bullet Yaw, and Drag

abstract: Little has been published regarding whether and how sound suppressors impact bullet flight, including velocity, bullet yaw, and drag. These parameters were compared for four different bullets fired from a .300 Winchester Magnum under four different muzzle conditions (no device and three different suppressors). While effects were not observed in all cases, results indicate that sound suppressors can have the effect of reducing bullet yaw and drag significantly, and can also have small effects on muzzle velocity. Results further suggest that bullets with a propensity to yaw demonstrate significant reductions in yaw and drag when shot through a two stage symmetric suppressor versus unsuppressed or with a conventional mouse-hole/K-baffle design.


title: MHD stability of large scale liquid metal batteries

abstract: The aim of this paper is to develop a stability theory and a numerical model for the three density-stratified electrically conductive liquid layers. Using regular perturbation methods to reduce the full 3d problem to the shallow layer model, the coupled wave and electric current equations are derived. The problem set-up allows the weakly non-linear velocity field action and an arbitrary vertical magnetic field. Further linearisation of the coupled equations is used for the linear stability analysis in the case of uniform vertical magnetic field. New analytical stability criteria accounting for the viscous damping are derived for particular cases of practical interest and compared to the numerical solutions for variety of materials used in the batteries. The new criteria are equally applicable to the aluminium electrolysis cell MHD stability estimates.


title: Special subsets of the generalized Cantor space $2^\kappa$ and generalized Baire space $\kappa^\kappa$

abstract: In this paper, we are interested in parallels to the classical notions of special subsets in $\R$ defined in the generalized Cantor and Baire spaces ($2^\kappa$ and $\kappa^\kappa$). We consider generalizations of the well-known classes of special subsets, like Lusin sets, strongly null sets, concentrated sets, perfectly meagre sets, $\sigma$-sets, $\gamma$-sets, sets with Menger, Rothberger or Hurewicz property, but also of some less-know classes like $X$-small sets, meagre additive sets, Ramsey null sets, Marczewski, Silver, Miller and Laver-null sets. We notice that many classical theorems regarding these classes can be relatively easy generalized to higher cardinals although sometimes with some additional assumptions. This paper serves as a catalogue of such results along with some other generalizations and open problems.


title: Image Transformer

abstract: Image generation has been successfully cast as an autoregressive sequence generation or transformation problem. Recent work has shown that self-attention is an effective way of modeling textual sequences. In this work, we generalize a recently proposed model architecture based on self-attention, the Transformer, to a sequence modeling formulation of image generation with a tractable likelihood. By restricting the self-attention mechanism to attend to local neighborhoods we significantly increase the size of images the model can process in practice, despite maintaining significantly larger receptive fields per layer than typical convolutional neural networks. While conceptually simple, our generative models significantly outperform the current state of the art in image generation on ImageNet, improving the best published negative log-likelihood on ImageNet from 3.83 to 3.77. We also present results on image super-resolution with a large magnification ratio, applying an encoder-decoder configuration of our architecture. In a human evaluation study, we find that images generated by our super-resolution model fool human observers three times more often than the previous state of the art.


title: Field-induced Ferrohastatic Order in Cubic Non-Kramers Doublet Systems

abstract: Cubic Pr-based compounds with $\Gamma_3$ non-Kramers doublet ground states can realize a novel heavy Fermi liquid with spinorial hybridization ('hastatic' order) that breaks time reversal symmetry. Several Pr-"1-2-20" materials exhibit a suggestive heavy Fermi liquid stabilized in intermediate magnetic fields; these provide key insight into the quadrupolar Kondo lattice. We develop a simple, yet realistic microscopic model of ferrohastatic order, and elaborate its experimental signatures and behavior in field, where it is a good candidate to explain the observed heavy Fermi liquids at intermediate fields in Pr(Ir,Rh)$_2$Zn$_{20}$. In addition, we develop the Landau theory of ferrohastatic order, which allows us to understand its behavior close to the transition and explore thermodynamic signatures from magnetic susceptibility to thermal expansion.


title: Bayesian variable selection in linear dynamical systems

abstract: We develop a method for reconstructing regulatory interconnection networks between variables evolving according to a linear dynamical system. The work is motivated by the problem of gene regulatory network inference, that is, finding causal effects between genes from gene expression time series data. In biological applications, the typical problem is that the sampling frequency is low, and consequentially the system identification problem is ill-posed. The low sampling frequency also makes it impossible to estimate derivatives directly from the data. We take a Bayesian approach to the problem, as it offers a natural way to incorporate prior information to deal with the ill-posedness, through the introduction of sparsity promoting prior for the underlying dynamics matrix. It also provides a framework for modelling both the process and measurement noises. We develop Markov Chain Monte Carlo samplers for the discrete-valued zero-structure of the dynamics matrix, and for the continuous-time trajectory of the system.


title: Extended Mean Field Control Problems: stochastic maximum principle and transport perspective

abstract: We study Mean Field stochastic control problems where the cost function and the state dynamics depend upon the joint distribution of the controlled state and the control process. We prove suitable versions of the Pontryagin stochastic maximum principle, both in necessary and in sufficient form, which extend the known conditions to this general framework. Furthermore, we suggest a variational approach to study a weak formulation of these control problems. We show a natural connection between this weak formulation and optimal transport on path space, which inspires a novel discretization scheme.


title: Development of Highly Efficient Multi-invariable Wireless Sensor System Design for Energy Harvesting

abstract: Capillary wireless sensor networks devoted to air quality monitoring have provided vital information on dangerous air conditions. In adopting the environmentally generated energy as the fundamental energy source the main challenge is the implementation of capillary networks rather than replacing the batteries on a set period of times that leads to functional dilemma of devices management and high costs. In this paper we present a battery-less, self-governing, multi-parametric sensing platform for air quality monitoring that harvests environment energy for long run. Furthermore study on sensor section with their results have also been described in the paper. A customized process of calibration to check the sensors' sensitivity and a basic portfolio of variant energy sources over the power recovery section could productively improve air quality standards tracing in indoor and outdoor application, in a kind of 'set and forget' scenario.


title: Inferring relevant features: from QFT to PCA

abstract: In many-body physics, renormalization techniques are used to extract aspects of a statistical or quantum state that are relevant at large scale, or for low energy experiments. Recent works have proposed that these features can be formally identified as those perturbations of the states whose distinguishability most resist coarse-graining. Here, we examine whether this same strategy can be used to identify important features of an unlabeled dataset. This approach indeed results in a technique very similar to kernel PCA (principal component analysis), but with a kernel function that is automatically adapted to the data, or "learned". We test this approach on handwritten digits, and find that the most relevant features are significantly better for classification than those obtained from a simple gaussian kernel.


title: Stochastic Wasserstein Barycenters

abstract: We present a stochastic algorithm to compute the barycenter of a set of probability distributions under the Wasserstein metric from optimal transport. Unlike previous approaches, our method extends to continuous input distributions and allows the support of the barycenter to be adjusted in each iteration. We tackle the problem without regularization, allowing us to recover a sharp output whose support is contained within the support of the true barycenter. We give examples where our algorithm recovers a more meaningful barycenter than previous work. Our method is versatile and can be extended to applications such as generating super samples from a given distribution and recovering blue noise approximations.


title: Cross-topic Argument Mining from Heterogeneous Sources Using Attention-based Neural Networks

abstract: Argument mining is a core technology for automating argument search in large document collections. Despite its usefulness for this task, most current approaches to argument mining are designed for use only with specific text types and fall short when applied to heterogeneous texts. In this paper, we propose a new sentential annotation scheme that is reliably applicable by crowd workers to arbitrary Web texts. We source annotations for over 25,000 instances covering eight controversial topics. The results of cross-topic experiments show that our attention-based neural network generalizes best to unseen topics and outperforms vanilla BiLSTM models by 6% in accuracy and 11% in F-score.


title: A Krylov subspace method for the approximation of bivariate matrix functions

abstract: Bivariate matrix functions provide a unified framework for various tasks in numerical linear algebra, including the solution of linear matrix equations and the application of the Fr\'echet derivative. In this work, we propose a novel tensorized Krylov subspace method for approximating such bivariate matrix functions and analyze its convergence. While this method is already known for some instances, our analysis appears to result in new convergence estimates and insights for all but one instance, Sylvester matrix equations.


title: The mid-infrared properties and gas content of active galaxies over large look-back times

abstract: Upon an expansion of all of the searches for redshifted HI 21-cm absorption (0.0021 < z 5.19), we update recent results regarding the detection of 21-cm in the non-local Universe. Specifically, we confirm that photo-ionisation of the gas is the mostly likely cause of the low detection rate at high redshift, in addition to finding that at z < 0.1 there may also be a decrease in the detection rate, which we suggest is due to the dilution of the absorption strength by 21-cm emission. By assuming that associated and intervening absorbers have similar cosmological mass densities, we find evidence that the spin temperature of the gas evolves with redshift, consistent with heating by ultra-violet photons. From the near--infrared (3.4, 4.6 and 12 micron) colours, we see that radio galaxies become more quasar-like in their activity with increasing redshift. We also find that the non-detection of 21-cm absorption at high redshift is not likely to be due to the selection of gas-poor ellipticals, in addition to a strong correlation between the ionising photon rate and the [3.4] - [4.6] colour, indicating that the UV photons arise from AGN activity. Like previous studies, we find a correlation between the detection of 21-cm absorption and the [4.6] - [12] colour, which is a tracer of star-forming activity. However, this only applies at the lowest redshifts (z < 0.1), the range considered by the other studies.


title: Prediction of spatial functional random processes: Comparing functional and spatio-temporal kriging approaches

abstract: In this paper, we present and compare functional and spatio-temporal (Sp.T.) kriging approaches to predict spatial functional random processes (which can also be viewed as Sp.T. random processes). Comparisons with respect to computational time and prediction performance via functional cross-validation is evaluated, mainly through a simulation study but also on two real data sets. We restrict comparisons to Sp.T. kriging versus ordinary kriging for functional data (OKFD), since the more flexible functional kriging approaches, pointwise functional kriging (PWFK) and functional kriging total model, coincide with OKFD in several situations. We contribute with new knowledge by proving that OKFD and PWFK coincide under certain conditions. From the simulation study, it is concluded that the prediction performance for the two kriging approaches in general is rather equal for stationary Sp.T. processes, with a tendency for functional kriging to work better for small sample sizes and Sp.T. kriging to work better for large sample sizes. For non-stationary Sp.T. processes, with a common deterministic time trend and/or time varying variances and dependence structure, OKFD performs better than Sp.T. kriging irrespective of sample size. For all simulated cases, the computational time for OKFD was considerably lower compared to those for the Sp.T. kriging methods.


title: Framing Matters: Predicting Framing Changes and Legislation from Topic News Patterns

abstract: News has traditionally been well researched, with studies ranging from sentiment analysis to event detection and topic tracking. We extend the focus to two surprisingly under-researched aspects of news: \emph{framing} and \emph{predictive utility}. We demonstrate that framing influences public opinion and behavior, and present a simple entropic algorithm to characterize and detect framing changes. We introduce a dataset of news topics with framing changes, harvested from manual surveys in previous research. Our approach achieves an F-measure of $F_1=0.96$ on our data, whereas dynamic topic modeling returns $F_1=0.1$. We also establish that news has \emph{predictive utility}, by showing that legislation in topics of current interest can be foreshadowed and predicted from news patterns.


title: ASP:A Fast Adversarial Attack Example Generation Framework based on Adversarial Saliency Prediction

abstract: With the excellent accuracy and feasibility, the Neural Networks have been widely applied into the novel intelligent applications and systems. However, with the appearance of the Adversarial Attack, the NN based system performance becomes extremely vulnerable:the image classification results can be arbitrarily misled by the adversarial examples, which are crafted images with human unperceivable pixel-level perturbation. As this raised a significant system security issue, we implemented a series of investigations on the adversarial attack in this work: We first identify an image's pixel vulnerability to the adversarial attack based on the adversarial saliency analysis. By comparing the analyzed saliency map and the adversarial perturbation distribution, we proposed a new evaluation scheme to comprehensively assess the adversarial attack precision and efficiency. Then, with a novel adversarial saliency prediction method, a fast adversarial example generation framework, namely "ASP", is proposed with significant attack efficiency improvement and dramatic computation cost reduction. Compared to the previous methods, experiments show that ASP has at most 12 times speed-up for adversarial example generation, 2 times lower perturbation rate, and high attack success rate of 87% on both MNIST and Cifar10. ASP can be also well utilized to support the data-hungry NN adversarial training. By reducing the attack success rate as much as 90%, ASP can quickly and effectively enhance the defense capability of NN based system to the adversarial attacks.


title: Characterization of methanol as a magnetic field tracer in star-forming regions

abstract: Magnetic fields play an important role during star formation. Direct magnetic field strength observations have proven specifically challenging in the extremely dynamic protostellar phase. Because of their occurrence in the densest parts of star forming regions, masers, through polarization observations, are the main source of magnetic field strength and morphology measurements around protostars. Of all maser species, methanol is one of the strongest and most abundant tracers of gas around high-mass protostellar disks and in outflows. However, as experimental determination of the magnetic characteristics of methanol has remained largely unsuccessful, a robust magnetic field strength analysis of these regions could hitherto not be performed. Here we report a quantitative theoretical model of the magnetic properties of methanol, including the complicated hyperfine structure that results from its internal rotation. We show that the large range in values of the Land\'{e} g-factors of the hyperfine components of each maser line lead to conclusions which differ substantially from the current interpretation based on a single effective g-factor. These conclusions are more consistent with other observations and confirm the presence of dynamically important magnetic fields around protostars. Additionally, our calculations show that (non-linear) Zeeman effects must be taken into account to further enhance the accuracy of cosmological electron-to-proton mass ratio determinations using methanol.


title: On the algorithm to find S-related Lie algebras

abstract: In this article we describe the Java library that we have recently constructed to automatize the S-expansion method, a powerful mathematical technique allowing to relate different Lie algebras. An important input in this procedure is the use of abelian semigroups and thus, we start with a brief review about the classification of non-isomorphic semigroups made in the literature during the last decades, and explain how the lists of non-isomorphic semigroups up to order 6 can be used as inputs in many of the methods of our library. After describing the main features of the classes that compose our library we present a new method called fillTemplate which tuns out to be very useful to answer whether two given algebras can be S-related.

categories: physics.comp-ph hep-th math-ph math.MP math.NA


title: Learning to Count Objects in Natural Images for Visual Question Answering

abstract: Visual Question Answering (VQA) models have struggled with counting objects in natural images so far. We identify a fundamental problem due to soft attention in these models as a cause. To circumvent this problem, we propose a neural network component that allows robust counting from object proposals. Experiments on a toy task show the effectiveness of this component and we obtain state-of-the-art accuracy on the number category of the VQA v2 dataset without negatively affecting other categories, even outperforming ensemble models with our single model. On a difficult balanced pair metric, the component gives a substantial improvement in counting over a strong baseline by 6.6%.


title: Generators and relations for Lie superalgebras of Cartan type

abstract: We give an analog of a Chevalley-Serre presentation for the Lie superalgebras W(n) and S(n) of Cartan type. These are part of a wider class of Lie superalgebras, the so-called tensor hierarchy algebras, denoted W(g) and S(g), where g denotes the Kac-Moody algebra A_r, D_r or E_r. Then W(A_{n-1}) and S(A_{n-1}) are the Lie superalgebras W(n) and S(n). The algebras W(g) and S(g) are constructed from the Dynkin diagram of the Borcherds-Kac-Moody superalgebras B(g) obtained by adding a single grey node (representing an odd null root) to the Dynkin diagram of g. We redefine the algebras W(A_r) and S(A_r) in terms of Chevalley generators and defining relations. We prove that all relations follow from the defining ones at level -2 and higher. The analogous definitions of the algebras in the D- and E-series are given. In the latter case the full set of defining relations is conjectured.


title: The Causal Link between News Framing and Legislation

abstract: We demonstrate that framing, a subjective aspect of news, is a causal precursor to both significant public perception changes, and to federal legislation. We posit, counter-intuitively, that topic news volume and mean article similarity increase and decrease together. We show that specific features of news, such as publishing volume , are predictive of both sustained public attention, measured by annual Google trend data, and federal legislation. We observe that public attention changes are driven primarily by periods of high news volume and mean similarity, which we call \emph{prenatal periods}. Finally, we demonstrate that framing during prenatal periods may be characterized by high-utility news \emph{keywords}.


title: The polar clasps of a bank vole PrP(168--176) prion protofibril revisiting

abstract: On 2018-01-17 two electron crystallography structures (with PDB entries 6AXZ, 6BTK) on a prion protofibril of bank vole PrP(168-176) (a segment in the PrP $\beta$2-$\alpha$2 loop) were released into the PDB Bank. The paper published by [Nat Struct Mol Biol 25(2):131-134 (2018)] reports some polar clasps for these two crystal structures, and "an intersheet hydrogen bond between Tyr169 and the backbone carbonyl of Asn171 on an opposing strand." - this hydrogen bond is not between the neighbouring Chain B and Chain A directly. In addition, by revisiting the polar clasps, we found another two hydrogen bonds (B.Asn171@H-A.Gln172@OE1, B.Tyr169@OH-A.Gln172@N) between the strand A of one sheet and the opposing strand B of the mating sheet. For the neighbouring two single $\beta$-sheets AB, the two new hydrogen bonds are completely different from the experimental one (an intersheet hydrogen bond between Tyr169 and the backbone carbonyl of Asn171 on an opposing strand) in [Nat Struct Mol Biol 25(2):131-134 (2018)].


title: Hyperbolicity of Links in Thickened Surfaces

abstract: Menasco showed that a non-split, prime, alternating link that is not a 2-braid is hyperbolic in $S^3$. We prove a similar result for links in closed thickened surfaces $S \times I$. We define a link to be fully alternating if it has an alternating projection from $S\times I$ to $S$ where the interior of every complementary region is an open disk. We show that a prime, fully alternating link in $S\times I$ is hyperbolic. Similar to Menasco, we also give an easy way to determine primeness in $S\times I$. A fully alternating link is prime in $S\times I$ if and only if it is "obviously prime". Furthermore, we extend our result to show that a prime link with fully alternating projection to an essential surface embedded in an orientable, hyperbolic 3-manifold has a hyperbolic complement.


title: The Type IIA Flux Potential, 4-forms and Freed-Witten anomalies

abstract: We compute the full classical 4d scalar potential of type IIA Calabi-Yau orientifolds in the presence of fluxes and D6-branes. We show that it can be written as a bilinear form $V = Z^{AB} \rho_A\rho_B$, where the $\rho_A$ are in one-to-one correspondence with the 4-form fluxes of the 4d effective theory. The $\rho_A$ only depend on the internal fluxes, the axions and the topological data of the compactification, and are fully determined by the Freed-Witten anomalies of branes that appear as 4d string defects. The quadratic form $Z^{AB}$ only depends on the saxionic partners of these axions. In general, the $\rho_A$ can be seen as the basic invariants under the discrete shift symmetries of the 4d effective theory, and therefore the building blocks of any flux-dependent quantity. All these polynomials may be obtained by derivation from one of them, associated to a universal 4-form. The standard N=1 supergravity flux superpotential is uniquely determined from this {\it master polynomial}, and vice versa.


title: Stable convergence of inner functions

abstract: Let $\mathscr J$ be the set of inner functions whose derivative lies in the Nevanlinna class. In this paper, we discuss a natural topology on $\mathscr J$ where $F_n \to F$ if the critical structures of $F_n$ converge to the critical structure of $F$. We show that this occurs precisely when the critical structures of the $F_n$ are uniformly concentrated on Korenblum stars. The proof uses Liouville's correspondence between holomorphic self-maps of the unit disk and solutions of the Gauss curvature equation. Building on the works of Korenblum and Roberts, we show that this topology also governs the behaviour of invariant subspaces of a weighted Bergman space which are generated by a single inner function.


title: Experimental investigation of high-dimensional quantum key distribution protocols with twisted photons

abstract: Quantum key distribution is on the verge of real world applications, where perfectly secure information can be distributed among multiple parties. Several quantum cryptographic protocols have been theoretically proposed and independently realized in different experimental conditions. Here, we develop an experimental platform based on high-dimensional orbital angular momentum states of single photons that enables implementation of multiple quantum key distribution protocols with a single experimental apparatus. Our versatile approach allows us to experimentally survey different classes of quantum key distribution techniques, such as the 1984 Bennett \& Brassard (BB84), tomographic protocols including the six-state and the Singapore protocol, and to investigate, for the first time, a recently introduced differential phase shift (Chau15) protocol using twisted photons. This enables us to experimentally compare the performance of these techniques and discuss their benefits and deficiencies in terms of noise tolerance in different dimensions.


title: Growth tradeoffs produce complex microbial communities on a single limiting resource

abstract: The relationship between the dynamics of a community and its constituent pairwise interactions is a fundamental problem in ecology. Higher-order ecological effects beyond pairwise interactions may be key to complex ecosystems, but mechanisms to produce these effects remain poorly understood. Here we show that higher-order effects can arise from variation in multiple microbial growth traits, such as lag times and growth rates, on a single limiting resource with no other interactions. These effects produce a range of ecological phenomena: an unlimited number of strains can exhibit multistability and neutral coexistence, potentially with a single keystone strain; strains that coexist in pairs do not coexist all together; and the champion of all pairwise competitions may not dominate in a mixed community. Since variation in multiple growth traits is ubiquitous in microbial populations due to pleiotropy and non-genetic variation, our results indicate these higher-order effects may also be widespread, especially in laboratory ecology and evolution experiments.


title: Optimal Shelter Location-Allocation during Evacuation with Uncertainties: A Scenario-Based Approach

abstract: Evacuation planning is an important and challenging element in emergency management due to the high level of uncertainty and numerous players and agencies involved in the event. To address all the factors with conflicting objectives, mathematical modeling has gained an extensive application over all aspects of evacuation planning to help responders and policy makers evaluate required time for evacuation and estimate numbers and distribution of casualties under different disaster scenarios. Correspondingly, mathematical formulation of evacuation optimization problems and solution methods are important when planning for evacuation. In this paper, the bi-level programming formulation of shelter location-allocation problem is considered. To account for stochasticity, a scenario-based approach is taken to address the uncertainty in the population to be evacuated from a small town in Lombardy region, Italy. Genetic algorithm is used as the solution method. Four scenarios are considered to study the optimal number and location of shelters for evacuation during normal weekdays, at nights, during weekends, and during vacation times with visiting travelers. The results highlight how different scenarios need different number and location of shelters for an optimal evacuation.


title: Maximum-A-Posteriori Signal Recovery with Prior Information: Applications to Compressive Sensing

abstract: This paper studies the asymptotic performance of maximum-a-posteriori estimation in the presence of prior information. The problem arises in several applications such as recovery of signals with non-uniform sparsity pattern from underdetermined measurements. With prior information, the maximum-a-posteriori estimator might have asymmetric penalty. We consider a generic form of this estimator and study its performance via the replica method. Our analyses demonstrate an asymmetric form of the decoupling property in the large-system limit. Employing our results, we further investigate the performance of weighted zero-norm minimization for recovery of a non-uniform sparse signal. Our investigations illustrate that for a given distortion, the minimum number of required measurements can be significantly reduced by choosing weighting coefficients optimally.


title: A-priori bounds for a quasilinear problem in critical dimension

abstract: We establish uniform a-priori bounds for solutions of the quasilinear problem $-\Delta_Nu=f(u)$ in $\Omega$, with $u=0$ on $\partial\Omega$, where $\Omega\subset\mathbb{R}^N$ is a bounded smooth and convex domain, and $f$ is a positive superlinear and subcritical function in the sense of the Trudinger-Moser inequality. The typical growth of $f$ is thus exponential. Finally, a generalization of the result for nonhomogeneous nonlinearities is given. Using a blow-up approach, this paper completes the results in [Damascelli-Pardo, Nonlinear Anal. Real World Appl. 41 (2018)] and [Lorca-Ruf-Ubilla, J. Differential Equations 246 no. 5 (2009)], enlarging the class of nonlinearities for which the uniform a-priori bound applies.


title: A comparison of machine learning techniques for taxonomic classification of teeth from the Family Bovidae

abstract: This study explores the performance of modern, accurate machine learning algorithms on the classification of fossil teeth in the Family Bovidae. Isolated bovid teeth are typically the most common fossils found in southern Africa and they often constitute the basis for paleoenvironmental reconstructions. Taxonomic identification of fossil bovid teeth, however, is often imprecise and subjective. Using modern teeth with known taxons, machine learning algorithms can be trained to classify fossils. Previous work by Brophy et. al. 2014 uses elliptical Fourier analysis of the form (size and shape) of the outline of the occlusal surface of each tooth as features in a linear discriminant analysis framework. This manuscript expands on that previous work by exploring how different machine learning approaches classify the teeth and testing which technique is best for classification. Five different machine learning techniques including linear discriminant analysis, neural networks, nuclear penalized multinomial regression, random forests, and support vector machines were used to estimate these models. Support vector machines and random forests perform the best in terms of both log-loss and misclassification rate; both of these methods are improvements over linear discriminant analysis. With the identification and application of these superior methods, bovid teeth can be classified with higher accuracy.


title: Quantum Variational Autoencoder

abstract: Variational autoencoders (VAEs) are powerful generative models with the salient ability to perform inference. Here, we introduce a quantum variational autoencoder (QVAE): a VAE whose latent generative process is implemented as a quantum Boltzmann machine (QBM). We show that our model can be trained end-to-end by maximizing a well-defined loss-function: a 'quantum' lower-bound to a variational approximation of the log-likelihood. We use quantum Monte Carlo (QMC) simulations to train and evaluate the performance of QVAEs. To achieve the best performance, we first create a VAE platform with discrete latent space generated by a restricted Boltzmann machine (RBM). Our model achieves state-of-the-art performance on the MNIST dataset when compared against similar approaches that only involve discrete variables in the generative process. We consider QVAEs with a smaller number of latent units to be able to perform QMC simulations, which are computationally expensive. We show that QVAEs can be trained effectively in regimes where quantum effects are relevant despite training via the quantum bound. Our findings open the way to the use of quantum computers to train QVAEs to achieve competitive performance for generative models. Placing a QBM in the latent space of a VAE leverages the full potential of current and next-generation quantum computers as sampling devices.


title: Numerical simulation of BOD5 dynamics in Igap\'o I lake, Londrina, Paran\'a, Brazil: Experimental measurement and mathematical modeling

abstract: The concentration of biochemical oxygen demand, BOD5, was studied in order to evaluate the water quality of the Igap\'o I Lake, in Londrina, Paran\'a State, Brazil. The simulation was conducted by means of the discretization in curvilinear coordinates of the geometry of Igap\'o I Lake, together with finite difference and finite element methods. The evaluation of the proposed numerical model for water quality was performed by comparing the experimental values of BOD5 with the numerical results. The evaluation of the model showed quantitative results compatible with the actual behavior of Igap\'o I Lake in relation to the simulated parameter. The qualitative analysis of the numerical simulations provided a better understanding of the dynamics of the BOD5 concentration at Igap\'o I Lake, showing that such concentrations in the central regions of the lake have values above those allowed by Brazilian law. The results can help to guide choices by public officials, as: (i) improve the identification mechanisms of pollutant emitters on Lake Igap\'o I, (ii) contribute to the optimal treatment of the recovery of the polluted environment and (iii) provide a better quality of life for the regulars of the lake as well as for the residents living on the lakeside.


title: The formalism of neutrino oscillations: an introduction

abstract: The recent wide recognition of the existence of neutrino oscillations concludes the pioneer stage of these studies and poses the problem of how to communicate effectively the basic aspects of this branch of science. In fact, the phenomenon of neutrino oscillations has peculiar features and requires to master some specific idea and some amount of formalism. The main aim of these introductory notes is exactly to cover these aspects, in order to allow the interested students to appreciate the modern developments and possibly to begin to do research in neutrino oscillations.


title: The TAP-Plefka variational principle for the spherical SK model

abstract: We reinterpret the Thouless-Anderson-Palmer approach to mean field spin glass models as a variational principle in the spirit of the Gibbs variational principle and the Bragg-Williams approximation. We prove this TAP-Plefka variational principle rigorously in the case of the spherical Sherrington-Kirkpatrick model.


title: Superresolution Interferometric Imaging with Sparse Modeling Using Total Squared Variation --- Application to Imaging the Black Hole Shadow

abstract: We propose a new superresolution imaging technique for interferometry using sparse modeling, utilizing two regularization terms: the $\ell_1$-norm and a new function named Total Squared Variation (TSV) of the brightness distribution. TSV is an edge-smoothing variant of Total Variation (TV), leading to reducing the sum of squared gradients. First, we demonstrate that our technique may achieve super-resolution of $\sim 30$% compared to the traditional CLEAN beam size using synthetic observations of two point sources. Second, we present simulated observations of three physically motivated static models of Sgr A* with the Event Horizon Telescope (EHT) to show the performance of proposed techniques in greater detail. We find that $\ell_1$+TSV regularization outperforms $\ell_1$+TV regularization with the popular isotropic TV term and the Cotton-Schwab CLEAN algorithm, demonstrating that TSV is well-matched to the expected physical properties of the astronomical images, which are often nebulous. Remarkably, in both the image and gradient domains, the optimal beam size minimizing root-mean-squared errors is $\lesssim 10$% of the traditional CLEAN beam size for $\ell_1$+TSV regularization, and non-convolved reconstructed images have smaller errors than beam-convolved reconstructed images. This indicates that the traditional post-processing technique of Gaussian convolution in interferometric imaging may not be required for the $\ell_1$+TSV regularization. We also propose a feature extraction method to detect circular features from the image of a black hole shadow with the circle Hough transform (CHT) and use it to evaluate the performance of the image reconstruction. With our imaging technique and the CHT, the EHT can constrain the radius of the black hole shadow with an accuracy of $\sim 10-20$% in present simulations for Sgr A*.


title: Integral and rational mapping classes

abstract: Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of mapping classes is finite-to-one. The sizes of the preimages need not be bounded; we show, however, that as the complexity (in a suitable sense) of a rational mapping class increases, these sizes are at most polynomial. This ``torsion'' information about $[X,Y]$ is in some sense orthogonal to rational homotopy theory but is nevertheless an invariant of the rational homotopy type of $Y$ in at least some cases. The notion of complexity is geometric and we also prove a conjecture of Gromov \cite{GrMS} regarding the number of mapping classes that have Lipschitz constant at most $L$.


title: Energy equality for the Navier-Stokes equations in weak-in-time Onsager spaces

abstract: Onsager's conjecture for the 3D Navier-Stokes equations concerns the validity of energy equality of weak solutions with regards to their smoothness. In this note we establish energy equality for weak solutions in a large class of function spaces. These conditions are weak-in-time with optimal space regularity and therefore weaker than all previous classical results. Heuristics using intermittency argument suggests the possible sharpness of our results.


title: Truth Validation with Evidence

abstract: In the modern era, abundant information is easily accessible from various sources, however only a few of these sources are reliable as they mostly contain unverified contents. We develop a system to validate the truthfulness of a given statement together with underlying evidence. The proposed system provides supporting evidence when the statement is tagged as false. Our work relies on an inference method on a knowledge graph (KG) to identify the truthfulness of statements. In order to extract the evidence of falseness, the proposed algorithm takes into account combined knowledge from KG and ontologies. The system shows very good results as it provides valid and concise evidence. The quality of KG plays a role in the performance of the inference method which explicitly affects the performance of our evidence-extracting algorithm.


title: Tunneling magnetoresistance enhancement by symmetrization in spin-orbit torque magnetic tunnel junction

abstract: Heavy metals with strong spin-orbit coupling (SOC) have been employed to generate spin current to control the magnetization dynamics by spin-orbit torque (SOT). Magnetic tunnel junction based on SOT (SOT-MTJ) is a promising application with efficient writing operation. Unfortunately, SOT-MTJ faces the low tunneling magnetoresistance (TMR) problem. In this work, we present an ab initio calculation on the TMR in SOT-MTJ. It is demonstrated that TMR would be enhanced by SOT-MTJ symmetry structure. The symmetrization induces interfacial resonant states (IRSs). When IRSs match identical resonances at the opposite barrier interface, resonant tunneling occurs in SOT-MTJ, which significantly contributes to the conductance in parallel configuration and improves TMR. We demonstrate the occurrence of resonant tunneling by transmission spectra, density of scattering states and differential density of states. We also point out that the thickness of heavy metal has limited influence on TMR. This work would benefit the TMR optimization in SOT-MTJ, as well as the SOT spintronics device.


title: Schur Ring over Group $\Z_{2}^{n}$, Circulant $S-$Sets Invariant by Decimation and Hadamard Matrices

abstract: In this paper a variety of issues are discussed, Schur ring, $S$-sets, circulant orbits, decimation operator and Hadamard matrices and their relation between them is shown. Firstly we define the complete $S$-sets. Next, we study the structure of Schur ring with circulant basic sets over $\Z_{2}^{n}$ and we define the free and non-free circulant $S$-sets, the symmetric, non-symmetric and antisymmetric circulant $S$-sets. We prove that all this $S$-sets are invariants under decimation. Finally, we prove that if a Hadamard matrix exist then this is contained in a complete $S$-set. Also, we prove that can't exist circulant and with one core Hadamard matrices with some particular structure. These theorems include a result known on symmetric circulant Hadamard matrices of order $4n$ only when $n$ is an odd number.


title: Achieving Direct Electrochemical Oxidation of Carbon below 600oC through a Novel Direct Carbon Fuel Cell

abstract: Direct carbon fuel cells (DCFCs) are highly efficient power generators fueled by abundant and cheap solid carbons. However, the limited formation of triple phase boundaries (TPBs) within fuel electrodes inhibits their performance even at high temperatures due to the limitation of mass transfer. It also results in low direct-utilization of the fuel. To address the challenges of low carbon oxidation activity and low carbon utilization simultaneously, a highly efficient, 3-D solid-state architected anode has been developed to enhance the performance of DCFCs below 600C. The cells with the 3-D textile anode, Gd:CeO2-Li/Na2CO3 composite electrolyte, and Sm0.5Sr0.5CoO3 (SSC) cathode have demonstrated excellent performance with maximum power densities of 143, 196, and 325 mW cm-2 at 500, 550, and 600C, respectively. At 500C, the cells could be operated steadily with a rated power density of ~0.13 W cm-2 at a constant current density of 0.15 A cm-2 with a carbon utilization over 86%. The significant improvement of the cell performance at such temperatures attributes to the high synergistic conduction of the composite electrolyte and the superior 3-D anode structure which offers more paths for carbon catalytic oxidation. Our results indicate the feasibility of direct electrochemical oxidation of solid carbon at 500-600C with a high carbon utilization, representing a promising strategy to develop 3-D architected electrodes for fuel cells and other electrochemical devices.


title: Orbital-angular-momentum-enhanced estimation of sub-Heisenberg-limited angular displacement with two-mode squeezed vacuum and parity detection

abstract: We report on an orbital-angular-momentum-enhanced scheme for angular displacement estimation based on two-mode squeezed vacuum and parity detection. The sub-Heisenberg-limited sensitivity for angular displacement estimation is obtained in an ideal situation. Several realistic factors are also considered, including photon loss, dark counts, response-time delay, and thermal photon noise. Our results indicate that the effects of the realistic factors on the sensitivity can be offset by raising orbital angular momentum quantum number $\ell$. This reflects that the robustness and the practicability of the system can be improved via raising $\ell$ without changing mean photon number $N$.


title: A Faster FPTAS for #Knapsack

abstract: Given a set $W = \{w_1,\ldots, w_n\}$ of non-negative integer weights and an integer $C$, the #Knapsack problem asks to count the number of distinct subsets of $W$ whose total weight is at most $C$. In the more general integer version of the problem, the subsets are multisets. That is, we are also given a set $ \{u_1,\ldots, u_n\}$ and we are allowed to take up to $u_i$ items of weight $w_i$. We present a deterministic FPTAS for #Knapsack running in $O(n^{2.5}\varepsilon^{-1.5}\log(n \varepsilon^{-1})\log (n \varepsilon))$ time. The previous best deterministic algorithm [FOCS 2011] runs in $O(n^3 \varepsilon^{-1} \log(n\varepsilon^{-1}))$ time (see also [ESA 2014] for a logarithmic factor improvement). The previous best randomized algorithm [STOC 2003] runs in $O(n^{2.5} \sqrt{\log (n\varepsilon^{-1}) } + \varepsilon^{-2} n^2 )$ time. Therefore, in the natural setting of constant $\varepsilon$, we close the gap between the $\tilde O(n^{2.5})$ randomized algorithm and the $\tilde O(n^3)$ deterministic algorithm. For the integer version with $U = \max_i \{u_i\}$, we present a deterministic FPTAS running in $O(n^{2.5}\varepsilon^{-1.5}\log(n\varepsilon^{-1} \log U)\log (n \varepsilon) \log^2 U)$ time. The previous best deterministic algorithm [APPROX 2016] runs in $O(n^3\varepsilon^{-1}\log(n \varepsilon^{-1} \log U) \log^2 U)$ time.


title: Masked Conditional Neural Networks for Automatic Sound Events Recognition

abstract: Deep neural network architectures designed for application domains other than sound, especially image recognition, may not optimally harness the time-frequency representation when adapted to the sound recognition problem. In this work, we explore the ConditionaL Neural Network (CLNN) and the Masked ConditionaL Neural Network (MCLNN) for multi-dimensional temporal signal recognition. The CLNN considers the inter-frame relationship, and the MCLNN enforces a systematic sparseness over the network's links to enable learning in frequency bands rather than bins allowing the network to be frequency shift invariant mimicking a filterbank. The mask also allows considering several combinations of features concurrently, which is usually handcrafted through exhaustive manual search. We applied the MCLNN to the environmental sound recognition problem using the ESC-10 and ESC-50 datasets. MCLNN achieved competitive performance, using 12% of the parameters and without augmentation, compared to state-of-the-art Convolutional Neural Networks.


title: Some Remarks on the Operator T^*T

abstract: This note deals with the operator $T^*T$, where $T$ is a densely defined operator on a complex Hilbert space. We reprove a recent result of Z. Sebesty\'en and Zs. Tarcsay [13]: If $T^*T$ and $TT^*$ are self-adjoint, then $T$ is closed. In addition, we describe the Friedrichs extension of $S^2$, where $S$ is a symmetric operator, recovering results due to Yu. Arlinski\u{i} and Yu. Kovalev [1], [2].