title: From Receptive to Productive: Learning to Use Confusing Words through Automatically Selected Example Sentences

abstract: Knowing how to use words appropriately has been a key to improving language proficiency. Previous studies typically discuss how students learn receptively to select the correct candidate from a set of confusing words in the fill-in-the-blank task where specific context is given. In this paper, we go one step further, assisting students to learn to use confusing words appropriately in a productive task: sentence translation. We leverage the GiveMeExample system, which suggests example sentences for each confusing word, to achieve this goal. In this study, students learn to differentiate the confusing words by reading the example sentences, and then choose the appropriate word(s) to complete the sentence translation task. Results show students made substantial progress in terms of sentence structure. In addition, highly proficient students better managed to learn confusing words. In view of the influence of the first language on learners, we further propose an effective approach to improve the quality of the suggested sentences.


title: Object Pose Estimation in Robotics Revisited

abstract: Vision based object grasping and manipulation in robotics require accurate estimation of object's 6D pose. The 6D pose estimation has received significant attention in computer vision community and multiple datasets and evaluation metrics have been proposed. However, the existing metrics measure how well two geometrical surfaces are aligned - ground truth vs. estimated pose - which does not directly measure how well a robot can perform the task with the given estimate. In this work we propose a probabilistic metric that directly measures success in robotic tasks. The evaluation metric is based on non-parametric probability density that is estimated from samples of a real physical setup. During the pose evaluation stage the physical setup is not needed. The evaluation metric is validated in controlled experiments and a new pose estimation dataset of industrial parts is introduced. The experimental results with the parts confirm that the proposed evaluation metric better reflects the true performance in robotics than the existing metrics.


title: Triple extension of Tietze theorem and Baer criterion

abstract: In this paper, through the combination of Tietze extension theorem and Baer criteria, we build a new mathematical structure which is similar to a triangular pyramid, and then we prove that the topological space which we call it Tb appeared as a result of the combination and sat at the apex of the pyramid is a tychonof space. Finally, we obtain three new extension theorems


title: Limits on amplifiers of natural selection under death-Birth updating

abstract: The fixation probability of a single mutant invading a population of residents is among the most widely-studied quantities in evolutionary dynamics. Amplifiers of natural selection are population structures that increase the fixation probability of advantageous mutants, compared to well-mixed populations. Extensive studies have shown that many amplifiers exist for the Birth-death Moran process, some of them substantially increasing the fixation probability or even guaranteeing fixation in the limit of large population size. On the other hand, no amplifiers are known for the death-Birth Moran process, and computer-assisted exhaustive searches have failed to discover amplification. In this work we resolve this disparity, by showing that any amplification under death-Birth updating is necessarily \emph{bounded} and \emph{transient}. Our boundedness result states that even if a population structure does amplify selection, the resulting fixation probability is close to that of the well-mixed population. Our transience result states that for any population structure there exists a threshold $r^*$ such that the population structure ceases to amplify selection if the mutant fitness advantage $r$ is larger than $r^\star$. Finally, we also extend the above results to $\delta$-death-Birth updating, which is a combination of Birth-death and death-Birth updating. On the positive side, we identify population structures that maintain amplification for a wide range of values $r$ and $\delta$. These results demonstrate that amplification of natural selection depends on the specific mechanisms of the evolutionary process.


title: Finite Element Methods for the Laplace-Beltrami Operator

abstract: Partial differential equations posed on surfaces arise in a number of applications. In this survey we describe three popular finite element methods for approximating solutions to the Laplace-Beltrami problem posed on an $n$-dimensional surface $\gamma$ embedded in $\mathbb{R}^{n+1}$: the parametric, trace, and narrow band methods. The parametric method entails constructing an approximating polyhedral surface $\Gamma$ whose faces comprise the finite element triangulation. The finite element method is then posed over the approximate surface $\Gamma$ in a manner very similar to standard FEM on Euclidean domains. In the trace method it is assumed that the given surface $\gamma$ is embedded in an $n+1$-dimensional domain $\Omega$ which has itself been triangulated. An $n$-dimensional approximate surface $\Gamma$ is then constructed roughly speaking by interpolating $\gamma$ over the triangulation of $\Omega$, and the finite element space over $\Gamma$ consists of the trace (restriction) of a standard finite element space on $\Omega$ to $\Gamma$. In the narrow band method the PDE posed on the surface is extended to a triangulated $n+1$-dimensional band about $\gamma$ whose width is proportional to the diameter of elements in the triangulation. In all cases we provide optimal a priori error estimates for the lowest-order finite element methods, and we also present a posteriori error estimates for the parametric and trace methods. Our presentation focuses especially on the relationship between the regularity of the surface $\gamma$, which is never assumed better than of class $C^2$, the manner in which $\gamma$ is represented in theory and practice, and the properties of the resulting methods.


title: The B-Star Exoplanet Abundance Study: a co-moving 16-25 Mjup companion to the young binary system HIP 79098

abstract: Wide low-mass substellar companions are known to be very rare among low-mass stars, but appear to become increasingly common with increasing stellar mass. However, B-type stars, which are the most massive stars within ~150 pc of the Sun, have not yet been examined to the same extent as AFGKM-type stars in that regard. In order to address this issue, we launched the ongoing B-star Exoplanet Abundance Study (BEAST) to examine the frequency and properties of planets, brown dwarfs, and disks around B-type stars in the Scorpius-Centaurus (Sco-Cen) association; we also analyzed archival data of B-type stars in Sco-Cen. During this process, we identified a candidate substellar companion to the B9-type spectroscopic binary HIP 79098 AB, which we refer to as HIP 79098 (AB)b. The candidate had been previously reported in the literature, but was classified as a background contaminant on the basis of its peculiar colors. Here we demonstrate that the colors of HIP 79098 (AB)b are consistent with several recently discovered young and low-mass brown dwarfs, including other companions to stars in Sco-Cen. Furthermore, we show unambiguous common proper motion over a 15-year baseline, robustly identifying HIP 79098 (AB)b as a bona fide substellar circumbinary companion at a 345+/-6 AU projected separation to the B9-type stellar pair. With a model-dependent mass of 16-25 Mjup yielding a mass ratio of <1%, HIP 79098 (AB)b joins a growing number of substellar companions with planet-like mass ratios around massive stars. Our observations underline the importance of common proper motion analysis in the identification of physical companionship, and imply that additional companions could potentially remain hidden in the archives of purely photometric surveys.


title: Helicoids in chiral liquid crystals under external fields

abstract: Cholesteric Liquid Crystals (CLCs), subject to externally applied magnetic fields and confined between two parallel planar surfaces with strong homeotropic anchoring conditions, are found to undergo transitions to different types of helicoidal configurations with disclinations. Analytical and numerical studies are performed in order to characterise their properties. In particular, we produce a phase diagram for the transitions from the nematic state to the helicoidal phases in terms of the molecular chirality and the strength of the applied magnetic field.

categories: cond-mat.soft hep-th math-ph math.MP nlin.SI


title: A novel approach to model exploration for value function learning

abstract: Planning and Learning are complementary approaches. Planning relies on deliberative reasoning about the current state and sequence of future reachable states to solve the problem. Learning, on the other hand, is focused on improving system performance based on experience or available data. Learning to improve the performance of planning based on experience in similar, previously solved problems, is ongoing research. One approach is to learn Value function (cost-to-go) which can be used as heuristics for speeding up search-based planning. Existing approaches in this direction use the results of the previous search for learning the heuristics. In this work, we present a search-inspired approach of systematic model exploration for the learning of the value function which does not stop when a plan is available but rather prolongs search such that not only resulting optimal path is used but also extended region around the optimal path. This, in turn, improves both the efficiency and robustness of successive planning. Additionally, the effect of losing admissibility by using ML heuristic is managed by bounding ML with other admissible heuristics.


title: Flat Hybrid Automata as a Class of Reachable Systems: Introductory Theory and Examples

abstract: Controlling hybrid systems is mostly very challenging due to the variety of dynamics these systems can exhibit. Inspired by the concept of differential flatness of nonlinear continuous systems and their inherent invertibility property, the present contribution is focused on explicit input trajectory calculation. To this end, a new class of hybrid systems called Flat Hybrid Automata is introduced as a realisation of deterministic, reachable and explicitly invertible hybrid automata. Relevant system properties are derived, an approach for construction and for trajectory calculation is proposed and two demonstrative examples are presented. The results constitute a generalisation of control of invertible hybrid systems which is very useful if, e.g., fast reaction for stabilisation or transitions is relevant.


title: Supersolid symmetry breaking from compressional oscillations in a dipolar quantum gas

abstract: The existence of a paradoxical supersolid phase of matter, possessing the apparently incompatible properties of crystalline order and superfluidity, was predicted 50 years ago. Solid helium was the natural candidate, but there supersolidity has not been observed yet, despite numerous attempts. Ultracold quantum gases have recently shown the appearance of the periodic order typical of a crystal, due to various types of controllable interactions. A crucial feature of a D-dimensional supersolid is the occurrence of up to D+1 gapless excitations reflecting the Goldstone modes associated with the spontaneous breaking of two continuous symmetries: the breaking of phase invariance, corresponding to the locking of the phase of the atomic wave functions at the origin of superfluid phenomena, and the breaking of translational invariance due to the lattice structure of the system. The occurrence of such modes has been the object of intense theoretical investigations, but their experimental observation is still missing. Here we demonstrate the supersolid symmetry breaking through the appearance of two distinct compressional oscillation modes in a harmonically trapped dipolar Bose-Einstein condensate, reflecting the gapless Goldstone excitations of the homogeneous system. We observe that the two modes have different natures, with the higher frequency mode associated with an oscillation of the periodicity of the emergent lattice and the lower one characterizing the superfluid oscillations. Our work paves the way to explore the two quantum phase transitions between the superfluid, supersolid and solid-like configurations that can be accessed by tuning a single interaction parameter.


title: Attention is all you need for Videos: Self-attention based Video Summarization using Universal Transformers

abstract: Video Captioning and Summarization have become very popular in the recent years due to advancements in Sequence Modelling, with the resurgence of Long-Short Term Memory networks (LSTMs) and introduction of Gated Recurrent Units (GRUs). Existing architectures extract spatio-temporal features using CNNs and utilize either GRUs or LSTMs to model dependencies with soft attention layers. These attention layers do help in attending to the most prominent features and improve upon the recurrent units, however, these models suffer from the inherent drawbacks of the recurrent units themselves. The introduction of the Transformer model has driven the Sequence Modelling field into a new direction. In this project, we implement a Transformer-based model for Video captioning, utilizing 3D CNN architectures like C3D and Two-stream I3D for video extraction. We also apply certain dimensionality reduction techniques so as to keep the overall size of the model within limits. We finally present our results on the MSVD and ActivityNet datasets for Single and Dense video captioning tasks respectively.


title: Searching for fast extragalactic X-ray transients in Chandra surveys

abstract: Recent works have discovered two fast ($\approx 10$ ks) extragalactic X-ray transients in the Chandra Deep Field-South (CDF-S XT1 and XT2). These findings suggest that a large population of similar extragalactic transients might exist in archival X-ray observations. We develop a method that can effectively detect such transients in a single Chandra exposure, and systematically apply it to Chandra surveys of CDF-S, CDF-N, DEEP2, UDS, COSMOS, and E-CDF-S, totaling 19~Ms of exposure. We find 13 transient candidates, including CDF-S XT1 and XT2. With the aid of available excellent multiwavelength observations, we identify the physical nature of all these candidates. Aside from CDF-S XT1 and XT2, the other 11 sources are all stellar objects, and all of them have $z$-band magnitudes brighter than 20. We estimate an event rate of $59^{+77}_{-38}\ \rm{evt\ yr^{-1} deg^{-2}}$ for CDF-S XT-like transients with 0.5-7 keV peak fluxes $\log F_{\rm peak} \gtrsim -12.6$ (erg cm$^{-2}$ s$^{-1}$). This event rate translates to $\approx 15^{+20}_{-10}$ transients existing among Chandra archival observations at Galactic latitudes $|b|>20^{\circ}$, which can be probed in future work. Future missions such as Athena and the Einstein Probe with large grasps (effective area $\times$ field of view) are needed to discover a large sample ($\sim$ thousands) of fast extragalactic X-ray transients.


title: On the dynamics of a Hamilton-Poisson system

abstract: The dynamics of a three-dimensional Hamilton-Poisson system is closely related to its constants of motion, the energy or Hamiltonian function $H$ and a Casimir $C$ of the corresponding Lie algebra. The orbits of the system are included in the intersection of the level sets $H=constant$ and $C=constant$. Furthermore, for some three-dimensional Hamilton-Poisson systems, connections between the associated energy-Casimir mapping $(H,C)$ and some of their dynamic properties were reported. In order to detect new connections, we construct a Hamilton-Poisson system using two smooth functions as its constants of motion. The new system has infinitely many Hamilton-Poisson realizations. We study the stability of the equilibrium points and the existence of periodic orbits. Using numerical integration we point out four pairs of heteroclinic orbits.


title: FSPool: Learning Set Representations with Featurewise Sort Pooling

abstract: Traditional set prediction models can struggle with simple datasets due to an issue we call the responsibility problem. We introduce a pooling method for sets of feature vectors based on sorting features across elements of the set. This can be used to construct a permutation-equivariant auto-encoder that avoids this responsibility problem. On a toy dataset of polygons and a set version of MNIST, we show that such an auto-encoder produces considerably better reconstructions and representations. Replacing the pooling function in existing set encoders with FSPool improves accuracy and convergence speed on a variety of datasets.


title: Stochasticity and Robustness in Spiking Neural Networks

abstract: Artificial neural networks normally require precise weights to operate, despite their origins in biological systems, which can be highly variable and noisy. When implementing artificial networks which utilize analog 'synaptic' devices to encode weights, however, inherent limits are placed on the accuracy and precision with which these values can be encoded. In this work, we investigate the effects that inaccurate synapses have on spiking neurons and spiking neural networks. Starting with a mathematical analysis of integrate-and-fire (IF) neurons, including different non-idealities (such as leakage and channel noise), we demonstrate that noise can be used to make the behavior of IF neurons more robust to synaptic inaccuracy. We then train spiking networks which utilize IF neurons with and without noise and leakage, and experimentally confirm that the noisy networks are more robust. Lastly, we show that a noisy network can tolerate the inaccuracy expected when hafnium-oxide based resistive random-access memory is used to encode synaptic weights.


title: Dynamic behavior of mechanical cloaks designed by direct lattice transformation

abstract: Steering waves in elastic solids is more demanding than steering waves in electromagnetism or acoustics. As a result, designing material distributions which are the counterpart of optical invisibility cloaks in elasticity poses a major challenge. Waves of all polarizations should be guided around an obstacle to emerge on the downstream side as though no obstacle were there. Recently, we have introduced the direct-lattice-transformation approach. This simple and explicit construction procedure led to extremely good cloaking results in the static case. Here, we transfer this approach to the dynamic case, i.e., to elastic waves or phonons. We demonstrate broadband reduction of scattering, with best suppressions exceeding a factor of five when using cubic coordinate transformations instead of linear ones. To reliably and quantitatively test these cloaks efficiency, we use an effective-medium approach.


title: On a deformed version of the T system

abstract: We use the integrable deformations method for a three-dimensional system of differential equations to obtain deformations of the T system. We analyze a deformation given by particular deformation functions. We point out that the obtained system preserves the chaotic behavior for some values of the deformation parameter.


title: Strong Particle-Hole Symmetry Breaking in a 200 kelvin Superconductor

abstract: The superconducting state of metals has long provided a classic example of particle-hole symmetry (PHS) at low energy. Fermionic self-energy results based on first principles theory for the electron-phonon coupling in H$_3$S presented here illustrate strong PHS-breaking dynamics arising from the underlying sharp structure in the fermionic density of states. Thus H$_3$S is not only the superconductor with the highest critical temperature $T_c$ (through 2018), but its low energy, low temperature properties deviate strongly from textbook behavior. The minor momentum and band dependence of the fermionic self-energy allows evaluation of the momentum-resolved and zone-averaged spectral densities and interacting thermal distribution function, all of which clearly illustrate strong particle-hole asymmetry.


title: Monge-Amp\`ere equation with bounded periodic data

abstract: We consider the Monge-Amp\`ere equation $\det(D^2u)=f$ in $\mathbb{R}^n$, where $f$ is a positive bounded periodic function. We prove that $u$ must be the sum of a quadratic polynomial and a periodic function. For $f\equiv 1$, this is the classic result by J\"orgens, Calabi and Pogorelov. For $f\in C^\alpha$, this was proved by Caffarelli and the first named author.


title: First-order formulation of teleparallel gravity and dual loop gravity

abstract: There are at least two ways to encode gravity into geometry: Einstein's general theory of relativity (GR) for the metric tensor, and teleparallel gravity, where torsion as opposed to curvature encodes the dynamics of the gravitational degrees of freedom. The main purpose of the paper is to explore the relation between loop gravity and teleparallel gravity. We argue that these two formulations of gravity are related to two different discretizations of the Einstein--Cartan action, which were studied recently in the literature. The first discretization leads to the \emph{{loop gravity}} kinematical phase space where the zero torsion condition is enforced {first} and the other is the \emph{{dual loop gravity}} kinematical phase space where curvature is imposed to vanish {first}. Our argument is based on the observation that the GR first-order Einstein--Cartan action can also be seen as a first-order action for teleparallel gravity up to a boundary term. The results of our paper suggest that the \emph{dual loop gravity} framework is a natural discretization of teleparallel gravity, whereas \emph{loop gravity} is naturally related to the standard GR metric description.


title: Some statistics about Tropical Sandpile Model

abstract: Tropical sandpile model (or linearized sandpile model) is the only known continuous geometric model exhibiting self-organised criticality. This model represents the scaling limit behavior of a small perturbation of the maximal stable sandpile state on a big subset of $\mathbb Z^2$. Given a set $P$ of points in a compact convex domain $\Omega\subset \mathbb R^2$ this linearized model produces a tropical polynomial $G_P{\bf 0}_\Omega$. Here we present some quantitative statistical characteristics of this model and some speculative explanations. Namely, we study the dependence between the number $n$ of randomly dropped points $P=\{p_1,\dots,p_n\}\subset[0,1]^2=\Omega$ and the degree of the tropical polynomial $G_{P}{\bf 0}_\Omega$. We also study the distributions of the coefficients of $G_{P}{\bf 0}_\Omega$ and the correlation between them. This paper's main (experimental) result is that the tropical curve $C(G_{P}{\bf 0}_\Omega)$ defined by $G_{P}{\bf 0}_\Omega$ is a small perturbation of the standard square grid lines. This explains a previously known fact that most of the edges of the tropical curve $C(G_{P}{\bf 0}_\Omega)$ are of directions $(1,0),(0,1),(1,1),(-1,1)$. The main theoretical result is that $C(G_{P}{\bf 0}_\Omega)\setminus (P\cap \partial\Omega)$, i.e. the tropical curve in $\Omega^\circ$ with marked points $P$ removed, is a tree.


title: Identifying central endomorphisms of an abelian variety via Frobenius endomorphisms

abstract: Assuming the Mumford-Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center.


title: Fractional elliptic problems with nonlinear gradient sources and measures

abstract: In this manuscript we deal with existence/uniqueness and regularity issues of suitable weak solutions to nonlocal problems driven by fractional Laplace type operators. Different from previous researches, in our approach we consider gradient non-linearity sources with subcritical growth, as well as appropriated measures as sources and boundary datum. We provide an in-depth discussion on the notions of solutions involved together with existence/uniqueness results in different regimes and for different boundary value problems. Finally, this work extends previous ones by dealing with more general nonlocal operators, source terms and boundary data.


title: Search for the production of four top quarks in the single-lepton and opposite-sign dilepton final states in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for the standard model production of four top quarks (pp $\to$ $\mathrm{t\bar{t}t\bar{t}}$) is reported using single-lepton plus jets and opposite-sign dilepton plus jets signatures. Proton-proton collisions are recorded with the CMS detector at the LHC at a center-of-mass energy of 13 TeV in a sample corresponding to an integrated luminosity of 35.8 fb$^{-1}$. A multivariate analysis exploiting global event and jet properties is used to discriminate $\mathrm{t\bar{t}t\bar{t}}$ from $\mathrm{t\bar{t}}$ production. No significant deviation is observed from the predicted background. An upper limit is set on the cross section for $\mathrm{t\bar{t}t\bar{t}}$ production in the standard model of 48 fb at 95% confidence level. When combined with a previous measurement by the CMS experiment from an analysis of other final states, the observed signal significance is 1.4 standard deviations, and the combined cross section measurement is 13 $^{+11}_{-9}$ fb. The result is also interpreted in the framework of effective field theory.


title: A joint NICER and XMM-Newton view of the "Magnificent" thermally emitting X-ray Isolated Neutron Star RX J1605.3+3249

abstract: Thermally emitting X-ray isolated neutron stars represent excellent targets for testing cooling surface emission and atmosphere models, which are used to infer physical parameters of the neutron star. Among the seven known members of this class, RX J1605.3+3249 is the only one that still lacks confirmation of its spin period. Here we analyze NICER and XMM-Newton observations of RX J1605.3+3249, in order to address its timing and spectral behavior. Contrary to a previous tentative detection, but in agreement with the recent work by Pires et al. (2019), we find no significant pulsation with pulsed fraction higher than 1.3% (3{\sigma}) for periods above 150 ms. We also find a limit of 2.6% for periods above 2 ms, despite searches in different energy bands. The X-ray spectrum can be fit by either a double-blackbody model or by a single-temperature magnetized atmosphere model, both modified by a Gaussian absorption line at ~0.44 keV. The origin of the absorption feature as a proton cyclotron line or as an atomic transition in the neutron star atmosphere is discussed. The predictions of the best-fit X-ray models extended to IR, optical and UV bands are compared with archival data. Our results are interpreted in the framework of a fallback disk scenario.


title: Identifying Invariant Ergodic Subsets and Barriers to Mixing by Cutting and Shuffling: Study in a Bi-rotated Hemisphere

abstract: Mixing by cutting-and-shuffling can be mathematically described by the dynamics of piecewise isometries (PWIs), higher dimensional analogs of one-dimensional interval exchange transformations. In a two-dimensional domain under a PWI, the exceptional set, $\bar{E}$, which is created by the accumulation of cutting lines (the union of all iterates of cutting lines and all points that pass arbitrarily close to a cutting line), defines where mixing is possible but not guaranteed. There is structure within $\bar{E}$ that directly influences the mixing potential of the PWI. Here we provide new computational and analytical formalisms for examining this structure by way of measuring the density and connectivity of $\varepsilon$-fattened cutting lines that form an approximation of $\bar{E}$. For the example of a PWI on a hemispherical shell studied here, this approach reveals the subtle mixing behaviors and barriers to mixing formed by invariant ergodic subsets (confined orbits) within the fractal structure of the exceptional set. Some PWIs on the shell have provably non-ergodic exceptional sets, which prevent mixing, while others have potentially ergodic exceptional sets where mixing is possible since ergodic exceptional sets have uniform cutting line density. For these latter exceptional sets, we show the connectivity of orbits in the PWI map through direct examination of orbit position and shape and through a two-dimensional return plot to explain the necessity of orbit connectivity for mixing.


title: Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

abstract: A Prolog-based framework for fully automated verification currently under development for heap-based object-oriented data is introduced. Dynamically allocated issues are discussed, recent approaches and criteria are analysed. The architecture and its components are introduced by example. Finally, propositions to further and related work are given.


title: Scene and Environment Monitoring Using Aerial Imagery and Deep Learning

abstract: Unmanned Aerial vehicles (UAV) are a promising technology for smart farming related applications. Aerial monitoring of agriculture farms with UAV enables key decision-making pertaining to crop monitoring. Advancements in deep learning techniques have further enhanced the precision and reliability of aerial imagery based analysis. The capabilities to mount various kinds of sensors (RGB, spectral cameras) on UAV allows remote crop analysis applications such as vegetation classification and segmentation, crop counting, yield monitoring and prediction, crop mapping, weed detection, disease and nutrient deficiency detection and others. A significant amount of studies are found in the literature that explores UAV for smart farming applications. In this paper, a review of studies applying deep learning on UAV imagery for smart farming is presented. Based on the application, we have classified these studies into five major groups including: vegetation identification, classification and segmentation, crop counting and yield predictions, crop mapping, weed detection and crop disease and nutrient deficiency detection. An in depth critical analysis of each study is provided.


title: Beyond $M_{t\bar{t}}$: learning to search for a broad $t\bar t$ resonance at the LHC

abstract: A resonance peak in the invariant mass spectrum has been the main feature of a particle at collider experiments. However, broad resonances not exhibiting such a sharp peak are generically predicted in new physics models beyond the Standard Model. Without a peak, how do we discover a broad resonance at colliders? We use machine learning technique to explore answers beyond common knowledge. We learn that, by applying deep neural network to the case of a $t\bar{t}$ resonance, the invariant mass $M_{t\bar{t}}$ is still useful, but additional information from off-resonance region, angular correlations, $p_T$, and top jet mass are also significantly important. As a result, the improved LHC sensitivities do not depend strongly on the width. The results may also imply that the additional information can be used to improve narrow-resonance searches too. Further, we also detail how we assess machine-learned information.


title: Symbols and astrological terms in ancient arabic inscriptions

abstract: In the past, the Arabs in Al-Hara Zone used many stars to deduce the seasons of the year and also to deduce the roads, at that time this was the most convenient way to figure their ways and to know the time of the year they have to travel or to planet, The most important used stars at that time were the Pleiades, Canopus, Arcturus, and other stars. This study shows the inscriptions found in Al-Hara Zone in many field trips in the year 2018 which were written on smooth black rocks and how these inscriptions related to the stars and to the seasons - at that time - of the year.


title: Role of non-linear data processing on speech recognition task in the framework of reservoir computing

abstract: The reservoir computing neural network architecture is widely used to test hardware systems for neuromorphic computing. One of the preferred tasks for bench-marking such devices is automatic speech recognition. However, this task requires acoustic transformations from sound waveforms with varying amplitudes to frequency domain maps that can be seen as feature extraction techniques. Depending on the conversion method, these may obscure the contribution of the neuromorphic hardware to the overall speech recognition performance. Here, we quantify and separate the contributions of the acoustic transformations and the neuromorphic hardware to the speech recognition success rate. We show that the non-linearity in the acoustic transformation plays a critical role in feature extraction. We compute the gain in word success rate provided by a reservoir computing device compared to the acoustic transformation only, and show that it is an appropriate benchmark for comparing different hardware. Finally, we experimentally and numerically quantify the impact of the different acoustic transformations for neuromorphic hardware based on magnetic nano-oscillators.


title: Killing Science Fiction: Why Conscious States Cannot Be Copied or Repeated

abstract: Several philosophical problems arising from the physics of consciousness, including identity, duplication, teleportation, simulation, self-location, and the Boltzmann Brain problem, hinge on one of the most deeply held but unnecessary convictions of physicalism: the assumption that brain states and their corresponding conscious states can in principle be copied. In this paper I will argue against this assumption by attempting to prove the Unique History Theorem, which states, essentially, that conscious correlations to underlying quantum mechanical measurement events must increase with time and that every conscious state uniquely determines its history from an earlier conscious state. By assuming only that consciousness arises from an underlying physical state, I will argue that the physical evolution from a first physical state giving rise to a conscious state to a second physical state giving rise to a later conscious state is unique. Among the consequences of this theorem are that: consciousness is not algorithmic and a conscious state cannot be uploaded to or simulated by a digital computer; a conscious state cannot be copied by duplicating a brain or any other physical state; and a conscious state cannot be repeated or created de novo. These conclusions shed light on the physical nature of consciousness by rendering moot a variety of seemingly paradoxical philosophy and science fiction problems.


title: Hardy-space function theory, operator model theory, and dissipative linear systems: the multivariable, free-noncommutative, weighted Bergman-space setting

abstract: It is known that (i) a subspace ${\mathcal N}$ of the Hardy space $H^2$ which is invariant under the backward shift operator can be represented as the range of the observability operator of a conservative discrete-time linear system, (ii) the transfer-function of this conservative linear system in turn is the inner Beurling-Lax representer for the forward-shift invariant subspace ${\mathcal M} : = {\mathcal N}^\perp$, and (iii) this transfer function also serves as the Sz.-Nagy-Foias characteristic function of the pure contraction operator $T$ given by $T = P_{\mathcal N} M_z |_{\mathcal N}$. The main focus of this paper is to present the extension of this structure to a more general setting. The Hardy space is replaced by the full weighted Bergman-Fock space of formal power series in $d$ freely noncommutative indeterminates, where the shift is replaced by the right shift tuple, where the conservative/dissipative discrete-time linear system becomes a certain type of conservative/dissipative multidimensional linear system with time-varying weights and with evolution along a rooted tree with each node having $d$ forward branches, where a backward shift-invariant subspace ${\mathcal N}$ is the range of the observability operator for such a weighted-Bergman multidimensional linear system, and where the transfer function of this system is the Beurling-Lax representer for the forward shift-invariant subspace ${\mathcal M} = {\mathcal N}^{[\perp]}$, and where this transfer function also serves as the characteristic function for the operator tuple having hypercontractive-operator-tuple adjoint equal to the restriction of the backward-shift tuple to $\mathcal N$.


title: Intention-aware Long Horizon Trajectory Prediction of Surrounding Vehicles using Dual LSTM Networks

abstract: As autonomous vehicles (AVs) need to interact with other road users, it is of importance to comprehensively understand the dynamic traffic environment, especially the future possible trajectories of surrounding vehicles. This paper presents an algorithm for long-horizon trajectory prediction of surrounding vehicles using a dual long short term memory (LSTM) network, which is capable of effectively improving prediction accuracy in strongly interactive driving environments. In contrast to traditional approaches which require trajectory matching and manual feature selection, this method can automatically learn high-level spatial-temporal features of driver behaviors from naturalistic driving data through sequence learning. By employing two blocks of LSTMs, the proposed method feeds the sequential trajectory to the first LSTM for driver intention recognition as an intermediate indicator, which is immediately followed by a second LSTM for future trajectory prediction. Test results from real-world highway driving data show that the proposed method can, in comparison to state-of-art methods, output more accurate and reasonable estimate of different future trajectories over 5s time horizon with root mean square error (RMSE) for longitudinal and lateral prediction less than 5.77m and 0.49m, respectively.


title: Robust Attacks against Multiple Classifiers

abstract: We address the challenge of designing optimal adversarial noise algorithms for settings where a learner has access to multiple classifiers. We demonstrate how this problem can be framed as finding strategies at equilibrium in a two-player, zero-sum game between a learner and an adversary. In doing so, we illustrate the need for randomization in adversarial attacks. In order to compute Nash equilibrium, our main technical focus is on the design of best response oracles that can then be implemented within a Multiplicative Weights Update framework to boost deterministic perturbations against a set of models into optimal mixed strategies. We demonstrate the practical effectiveness of our approach on a series of image classification tasks using both linear classifiers and deep neural networks.


title: V-NAS: Neural Architecture Search for Volumetric Medical Image Segmentation

abstract: Deep learning algorithms, in particular 2D and 3D fully convolutional neural networks (FCNs), have rapidly become the mainstream methodology for volumetric medical image segmentation. However, 2D convolutions cannot fully leverage the rich spatial information along the third axis, while 3D convolutions suffer from the demanding computation and high GPU memory consumption. In this paper, we propose to automatically search the network architecture tailoring to volumetric medical image segmentation problem. Concretely, we formulate the structure learning as differentiable neural architecture search, and let the network itself choose between 2D, 3D or Pseudo-3D (P3D) convolutions at each layer. We evaluate our method on 3 public datasets, i.e., the NIH Pancreas dataset, the Lung and Pancreas dataset from the Medical Segmentation Decathlon (MSD) Challenge. Our method, named V-NAS, consistently outperforms other state-of-the-arts on the segmentation task of both normal organ (NIH Pancreas) and abnormal organs (MSD Lung tumors and MSD Pancreas tumors), which shows the power of chosen architecture. Moreover, the searched architecture on one dataset can be well generalized to other datasets, which demonstrates the robustness and practical use of our proposed method.


title: Tensor Processing Units for Financial Monte Carlo

abstract: Monte Carlo methods are critical to many routines in quantitative finance such as derivatives pricing, hedging and risk metrics. Unfortunately, Monte Carlo methods are very computationally expensive when it comes to running simulations in high-dimensional state spaces where they are still a method of choice in the financial industry. Recently, Tensor Processing Units (TPUs) have provided considerable speedups and decreased the cost of running Stochastic Gradient Descent (SGD) in Deep Learning. After highlighting computational similarities between training neural networks with SGD and simulating stochastic processes, we ask in the present paper whether TPUs are accurate, fast and simple enough to use for financial Monte Carlo. Through a theoretical reminder of the key properties of such methods and thorough empirical experiments we examine the fitness of TPUs for option pricing, hedging and risk metrics computation. In particular we demonstrate that, in spite of the use of mixed precision, TPUs still provide accurate estimators which are fast to compute when compared to GPUs. We also show that the Tensorflow programming model for TPUs is elegant, expressive and simplifies automated differentiation.


title: Devolatilization of Subducting Slabs, Part I: Thermodynamic Parameterization and Open System Effects

abstract: The amount of H$_2$O and CO$_2$ that is carried into deep mantle by subduction beyond subarc depths is of fundamental importance to the deep volatile cycle but remains debated. Given the large uncertainties surrounding the spatio-temporal pattern of fluid flow and the equilibrium state within subducting slabs, a model of H$_2$O and CO$_2$ transport in slabs should be balanced between model simplicity and capability. We construct such a model in a two-part contribution. In this Part I of our contribution, thermodynamic parameterization is performed for the devolatilization of representative subducting materials---sediments, basalts, gabbros, peridotites. The parameterization avoids reproducing the details of specific devolatilization reactions, but instead captures the overall behaviors of coupled (de)hydration and (de)carbonation. Two general, leading-order features of devolatilization are captured: (1) the released volatiles are H$_2$O-rich near the onset of devolatilization; (2) increase of the ratio of bulk CO$_2$ over H$_2$O inhibits overall devolatilization and thus lessens decarbonation. These two features play an important role in simulation of volatile fractionation and infiltration in thermodynamically open systems. When constructing the reactive fluid flow model of slab H$_2$O and CO$_2$ transport in the companion paper Part II, this parameterization can be incorporated to efficiently account for the open-system effects of H$_2$O and CO$_2$ transport.


title: Constraining Exoplanet Metallicities and Aerosols with ARIEL: An Independent Study by the Contribution to ARIEL Spectroscopy of Exoplanets (CASE) Team

abstract: Launching in 2028, ESA's Atmospheric Remote-sensing Exoplanet Large-survey (ARIEL) survey of $\sim$1000 transiting exoplanets will build on the legacies of Kepler and TESS and complement JWST by placing its high precision exoplanet observations into a large, statistically-significant planetary population context. With continuous 0.5--7.8~$\mu$m coverage from both FGS (0.50--0.55, 0.8--1.0, and 1.0--1.2~$\mu$m photometry; 1.25--1.95~$\mu$m spectroscopy) and AIRS (1.95--7.80~$\mu$m spectroscopy), ARIEL will determine atmospheric compositions and probe planetary formation histories during its 3.5-year mission. NASA's proposed Contribution to ARIEL Spectroscopy of Exoplanets (CASE) would be a subsystem of ARIEL's FGS instrument consisting of two visible-to-infrared detectors, associated readout electronics, and thermal control hardware. FGS, to be built by the Polish Academy of Sciences' Space Research Centre, will provide both fine guiding and visible to near-infrared photometry and spectroscopy, providing powerful diagnostics of atmospheric aerosol contribution and planetary albedo, which play a crucial role in establishing planetary energy balance. The CASE team presents here an independent study of the capabilities of ARIEL to measure exoplanetary metallicities, which probe the conditions of planet formation, and FGS to measure scattering spectral slopes, which indicate if an exoplanet has atmospheric aerosols (clouds and hazes), and geometric albedos, which help establish planetary climate. Our design reference mission simulations show that ARIEL could measure the mass-metallicity relationship of its 1000-planet single-visit sample to $>7.5\sigma$ and that FGS could distinguish between clear, cloudy, and hazy skies and constrain an exoplanet's atmospheric aerosol composition to $>5\sigma$ for hundreds of targets, providing statistically-transformative science for exoplanet atmospheres.


title: Kinematic Focus Point Method for Particle Mass Measurements in Missing Energy Events

abstract: We investigate the solvability of the event kinematics in missing energy events at hadron colliders, as a function of the particle mass ansatz. To be specific, we reconstruct the neutrino momenta in dilepton $t\bar{t}$-like events, without assuming any prior knowledge of the mass spectrum. We identify a class of events, which we call extreme events, with the property that the kinematic boundary of their allowed region in mass parameter space passes through the true mass point. We develop techniques for recognizing extreme events in the data and demonstrate that they are abundant in a realistic data sample, due to expected singularities in phase space. We propose a new method for mass measurement whereby we obtain the true values of the mass parameters as the focus point of the kinematic boundaries for all events in the data sample. Since the masses are determined from a relatively sharp peak structure (the density of kinematic boundary curves), the method avoids some of the systematic errors associated with other techniques. We show that this new approach is complementary to previously considered methods in the literature where one studies the solvability of the kinematic constraints throughout the mass parameter space. In particular, we identify a problematic direction in mass space of nearly 100% solvability, and then show that the focus point method is effective in lifting the degeneracy.


title: The Political Significance of Social Penumbras

abstract: To explain the political clout of different social groups, traditional accounts typically focus on the group's size, resources, or commonality and intensity of its members' interests. We contend that a group's "penumbra"-the set of individuals who are personally familiar with people in that group--is another important explanatory factor that merits systematic analysis. To this end, we designed a panel study that allows us to learn about the characteristics of the penumbras of politically relevant groups such as gay people, the unemployed or recent immigrants. Our study reveals major and systematic differences in the penumbras of various social groups, even ones of similar size. Moreover, we find evidence that entering a group's penumbra is associated with a change in attitude on related political questions. Taken together, our findings suggest that penumbras help account for variation in the political standing of different groups in society.


title: Iterative Self-Learning: Semi-Supervised Improvement to Dataset Volumes and Model Accuracy

abstract: A novel semi-supervised learning technique is introduced based on a simple iterative learning cycle together with learned thresholding techniques and an ensemble decision support system. State-of-the-art model performance and increased training data volume are demonstrated, through the use of unlabelled data when training deeply learned classification models. Evaluation of the proposed approach is performed on commonly used datasets when evaluating semi-supervised learning techniques as well as a number of more challenging image classification datasets (CIFAR-100 and a 200 class subset of ImageNet).


title: Gamma Ray polarimetry; a new window for the non-thermal Universe

abstract: Over the past few decades impressive progress has been made in the field of photon polarimetry, especially in the hard X-ray and soft gamma-ray energy regime. Measurements of the linear degree of polarization for some of the most energetic astrophysical sources, such as Gamma Ray Bursts (GRBs) or Blazars, is now possible, at energies below the pair creation threshold. As such, a new window has been opened into understanding exact nature of the non-thermal emission mechanisms responsible for some of the most energetic phenomena in the Universe. There are still many open questions, and active debates, such as the discrimination between leptonic vs. hadronic models of emission for Blazars or ordered vs random field models for GRBs. Since the competing models predict different levels of linear photon polarization at energies above 1 MeV, gamma-ray polarimetry in that energy band could provide additional crucial insights. However, no polarimeter for gamma-rays with energies above 1MeV has been flown into space, as the sensitivity is severely limited by a quick degradation of the angular resolution and by multiple Coulomb scatterings in the detector. Over the past few years a series of proposals and demonstrator instruments that aim to overcome those inherent difficulties have been put forth, and the prospects look promising.


title: XRAI: Better Attributions Through Regions

abstract: Saliency methods can aid understanding of deep neural networks. Recent years have witnessed many improvements to saliency methods, as well as new ways for evaluating them. In this paper, we 1) present a novel region-based attribution method, XRAI, that builds upon integrated gradients (Sundararajan et al. 2017), 2) introduce evaluation methods for empirically assessing the quality of image-based saliency maps (Performance Information Curves (PICs)), and 3) contribute an axiom-based sanity check for attribution methods. Through empirical experiments and example results, we show that XRAI produces better results than other saliency methods for common models and the ImageNet dataset.


title: From Caesar Cipher to Unsupervised Learning: A New Method for Classifier Parameter Estimation

abstract: Many important classification problems, such as object classification, speech recognition, and machine translation, have been tackled by the supervised learning paradigm in the past, where training corpora of parallel input-output pairs are required with high cost. To remove the need for the parallel training corpora has practical significance for real-world applications, and it is one of the main goals of unsupervised learning. Recently, encouraging progress in unsupervised learning for solving such classification problems has been made and the nature of the challenges has been clarified. In this article, we review this progress and disseminate a class of promising new methods to facilitate understanding the methods for machine learning researchers. In particular, we emphasize the key information that enables the success of unsupervised learning - the sequential statistics as the distributional prior in the labels. Exploitation of such sequential statistics makes it possible to estimate parameters of classifiers without the need of paired input-output data. In this paper, we first introduce the concept of Caesar Cipher and its decryption, which motivated the construction of the novel loss function for unsupervised learning we use throughout the paper. Then we use a simple but representative binary classification task as an example to derive and describe the unsupervised learning algorithm in a step-by-step, easy-to-understand fashion. We include two cases, one with Bigram language model as the sequential statistics for use in unsupervised parameter estimation, and another with a simpler Unigram language model. For both cases, detailed derivation steps for the learning algorithm are included. Further, a summary table compares computational steps of the two cases in executing the unsupervised learning algorithm for learning binary classifiers.


title: Primordial Black Holes from non-Gaussian tails

abstract: We develop a primordial black hole (PBH) production mechanism, deriving non-Gaussian tails from interacting quantum fields during early universe inflation. The multi-field potential landscape may contain relatively flat directions, as a result of energetically favorable adjustments of fields coupled to the inflaton. Such additional fields do not contribute to CMB fluctuations given a sufficient large-scale decay, related to a gap in the critical exponents computed using stochastic methods. Along such directions transverse to the inflaton, the field makes rare jumps to large values. Mixing with the inflaton leads to a substantial tail in the resulting probability distribution for the primordial perturbations. Incorporating a large number of flavors of fields ensures theoretical control of radiative corrections and a substantial abundance. This generates significant PBH production for a reasonable window of parameters, with the mass range determined by the time period of mixing and the inflationary Hubble scale. We analyze a particular model in detail, and then comment on a broader family of models in this class which suggests a mechanism for primordial seeds for early super-massive black holes in the universe. Along the way, we encounter an analytically tractable example of stochastic dynamics and provide some representative calculations of its correlations and probability distributions.


title: Tensor algebras in finite tensor categories

abstract: This paper introduces methods for classifying actions of finite-dimensional Hopf algebras on path algebras of quivers, and more generally on tensor algebras $T_B(V)$ where $B$ is semisimple. We work within the broader framework of finite (multi-)tensor categories $\mathcal{C}$, classifying tensor algebras in $\mathcal{C}$ in terms of $\mathcal{C}$-module categories. We obtain two classification results for actions of semisimple Hopf algebras: the first for actions which preserve the ascending filtration on tensor algebras, and the second for actions which preserve the descending filtration on completed tensor algebras. Extending to more general fusion categories, we illustrate our classification result for tensor algebras in the pointed fusion categories ${\sf Vec}_{G}^{\omega}$ and in group-theoretical fusion categories, especially for the representation category of the Kac-Paljutkin Hopf algebra.


title: Towards Scalable and Reliable Capsule Networks for Challenging NLP Applications

abstract: Obstacles hindering the development of capsule networks for challenging NLP applications include poor scalability to large output spaces and less reliable routing processes. In this paper, we introduce: 1) an agreement score to evaluate the performance of routing processes at instance level; 2) an adaptive optimizer to enhance the reliability of routing; 3) capsule compression and partial routing to improve the scalability of capsule networks. We validate our approach on two NLP tasks, namely: multi-label text classification and question answering. Experimental results show that our approach considerably improves over strong competitors on both tasks. In addition, we gain the best results in low-resource settings with few training instances.


title: Average-Case Averages: Private Algorithms for Smooth Sensitivity and Mean Estimation

abstract: The simplest and most widely applied method for guaranteeing differential privacy is to add instance-independent noise to a statistic of interest that is scaled to its global sensitivity. However, global sensitivity is a worst-case notion that is often too conservative for realized dataset instances. We provide methods for scaling noise in an instance-dependent way and demonstrate that they provide greater accuracy under average-case distributional assumptions. Specifically, we consider the basic problem of privately estimating the mean of a real distribution from i.i.d.~samples. The standard empirical mean estimator can have arbitrarily-high global sensitivity. We propose the trimmed mean estimator, which interpolates between the mean and the median, as a way of attaining much lower sensitivity on average while losing very little in terms of statistical accuracy. To privately estimate the trimmed mean, we revisit the smooth sensitivity framework of Nissim, Raskhodnikova, and Smith (STOC 2007), which provides a framework for using instance-dependent sensitivity. We propose three new additive noise distributions which provide concentrated differential privacy when scaled to smooth sensitivity. We provide theoretical and experimental evidence showing that our noise distributions compare favorably to others in the literature, in particular, when applied to the mean estimation problem.


title: Detection and Tracking of Multiple Mice Using Part Proposal Networks

abstract: The study of mouse social behaviours has been increasingly undertaken in neuroscience research. However, automated quantification of mouse behaviours from the videos of interacting mice is still a challenging problem, where object tracking plays a key role in locating mice in their living spaces. Artificial markers are often applied for multiple mice tracking, which are intrusive and consequently interfere with the movements of mice in a dynamic environment. In this paper, we propose a novel method to continuously track several mice and individual parts without requiring any specific tagging. Firstly, we propose an efficient and robust deep learning based mouse part detection scheme to generate part candidates. Subsequently, we propose a novel Bayesian Integer Linear Programming Model that jointly assigns the part candidates to individual targets with necessary geometric constraints whilst establishing pair-wise association between the detected parts. There is no publicly available dataset in the research community that provides a quantitative test-bed for the part detection and tracking of multiple mice, and we here introduce a new challenging Multi-Mice PartsTrack dataset that is made of complex behaviours and actions. Finally, we evaluate our proposed approach against several baselines on our new datasets, where the results show that our method outperforms the other state-of-the-art approaches in terms of accuracy.


title: Self-induced Scattering of Strahl Electrons in the Solar Wind

abstract: We investigate the scattering of strahl electrons by microinstabilities as a mechanism for creating the electron halo in the solar wind. We develop a mathematical framework for the description of electron-driven microinstabilities and discuss the associated physical mechanisms. We find that an instability of the oblique fast-magnetosonic/whistler (FM/W) mode is the best candidate for a microinstability that scatters strahl electrons into the halo. We derive approximate analytic expressions for the FM/W instability threshold in two different $\beta_{\mathrm c}$ regimes, where $\beta_{\mathrm c}$ is the ratio of the core electrons' thermal pressure to the magnetic pressure, and confirm the accuracy of these thresholds through comparison with numerical solutions to the hot-plasma dispersion relation. We find that the strahl-driven oblique FM/W instability creates copious FM/W waves under low-$\beta_{\mathrm c}$ conditions when $U_{0\mathrm s}\gtrsim 3w_{\mathrm c}$, where $U_{0\mathrm s}$ is the strahl speed and $w_{\mathrm c}$ is the thermal speed of the core electrons. These waves have a frequency of about half the local electron gyrofrequency. We also derive an analytic expression for the oblique FM/W instability for $\beta_{\mathrm c}\sim 1$. The comparison of our theoretical results with data from the \emph{Wind} spacecraft confirms the relevance of the oblique FM/W instability for the solar wind. The whistler heat-flux, ion-acoustic heat-flux, kinetic-Alfv\'en-wave heat-flux, and electrostatic electron-beam instabilities cannot fulfill the requirements for self-induced scattering of strahl electrons into the halo. We make predictions for the electron strahl close to the Sun, which will be tested by measurements from \emph{Parker Solar Probe} and \emph{Solar Orbiter}.

categories: physics.space-ph astro-ph.SR physics.geo-ph physics.plasm-ph


title: Progress and Simulations for Intranuclear Neutron--Antineutron Transformations in ${}^{40}_{18} Ar$

abstract: With the imminent construction of the Deep Underground Neutrino Experiment (DUNE) and Hyper-Kamiokande, nucleon decay searches as a means to constrain beyond Standard Model (BSM) extensions are once again at the forefront of fundamental physics. Abundant neutrons within these large experimental volumes, along with future high-intensity neutron beams such as the European Spallation Source, offer a powerful, high-precision portal onto this physics through searches for $\mathcal{B}$ and $\mathcal{B}-\mathcal{L}$ violating processes such as neutron--antineutron transformations ($n\rightarrow\bar{n}$), a key prediction of compelling theories of baryogenesis. With this in mind, this paper discusses a novel and self-consistent intranuclear simulation of this process within ${}^{40}_{18} Ar$, which plays the role of both detector and target within DUNE's gigantic liquid argon time projection chambers. An accurate and independent simulation of the resulting intranuclear annihilation respecting important physical correlations and cascade dynamics for this large nucleus is necessary to understand the viability of such rare searches when contrasted against background sources such as atmospheric neutrinos. Recent theoretical improvements to our model, including the first calculation of ${}^{40}_{18} Ar$'s $\bar{n}$-intranuclear suppression factor, and Monte Carlo simulation comparisons to another publicly available $n\rightarrow\bar{n}$ generator within GENIE, are also discussed.


title: A simplicial complex spliting associativity

abstract: We introduce a simplicial object $(\{ \Dy^m\}_{m\geq 0}, {\mathbb F}_i, {\mathbb S}_j)$ in the category of non-symmetric algebraic operads, satisfying that $\Dy^0$ is the operad of associative algebras and $\Dy^1$ is J.-L. Loday\rq s operad of dendriform algebras. The dimensions of the operad $\Dy^m$ are given by the Fuss-Catalan numbers. Given a family of partially ordered sets ${\bold P}=\{P_n\}_{n\geq 1}$ we show that, under certain conditions, the vector space spanned by the set of $m$-simpleces of ${\bold P}$ is a $\Dy^m$ algebra. This construction, applied to certain combinatorial Hopf algebras, whose associative product comes from a dendriform structure, provides examples of $\Dy^m$ algebras.


title: Interaction-dependent anisotropy of fractional quantum Hall states

abstract: A fractional quantum Hall (FQH) system with broken rotational symmetry exploits its geometric degree of freedom to minimize its ground state energy. The mass anisotropy of bare particles interacting isotropically is partially inherited by the many-body FQH state, and the extent to which it does so depends on the type of interaction, filling fraction and ground state phase. Using numerical infinite density matrix renormalization group simulations, we investigate the transference of elliptical ($C_2$-symmetric) anisotropy from the band mass of the bare particles to the FQH states, for various power law interactions. We map out the response of FQH states to small anisotropy as a function of power law exponent, filling, and statistics (bosonic or fermionic) of the constituents. Interestingly, we find a non-analyticity in the linear response of the FQH state at a special filling-dependent value of the power law exponent, above which the interaction effectively becomes zero-range (point-like). We also investigate the the effect of $C_4$-symmetric band distortions, where we observe a strikingly different dependence on filling.


title: Black-boxing the user: internet protocol over xylophone players (IPoXP)

abstract: We introduce IP over Xylophone Players (IPoXP), a novel Internet protocol between two computers using xylophone-based Arduino interfaces. In our implementation, human operators are situated within the lowest layer of the network, transmitting data between computers by striking designated keys. We discuss how IPoXP inverts the traditional mode of human-computer interaction, with a computer using the human as an interface to communicate with another computer.


title: Robotics: Science preceding science fiction

abstract: Robots and artificial machines have been captivating the public for centuries, depicted first as threats to humanity, then as subordinates and helpers. In the last decade, the booming exposure of humans to robots has fostered an increasing interest in soft robotics. By empowering robots with new physical properties, autonomous actuation, and sensing mechanisms, soft robots are making increasing impacts on areas such as health and medicine. At the same time, the public sympathy to robots is increasing. However, there is still a great need for innovation to push robotics towards more diverse applications. To overcome the major limitation of soft robots, which lies in their softness, strategies are being explored to combine the capabilities of soft robots with the performance of hard metallic ones by using composite materials in their structures. After reviewing the major specificities of hard and soft robots, paths to improve actuation speed, stress generation, self-sensing and actuation will be proposed. Innovations in controlling systems, modeling, and simulation that will be required to use composite materials in robotics will be discussed. Finally, based on recently developed examples, the elements needed to progress toward a new form of artificial life will be described.


title: From Blackwell Dominance in Large Samples to Renyi Divergences and Back Again

abstract: We study repeated independent Blackwell experiments; standard examples include drawing multiple samples from a population, or performing a measurement in different locations. In the baseline setting of a binary state of nature, we compare experiments in terms of their informativeness in large samples. Addressing a question due to Blackwell (1951), we show that generically an experiment is more informative than another in large samples if and only if it has higher Renyi divergences. We apply our analysis to the problem of measuring the degree of dissimilarity between distributions by means of divergences. A useful property of Renyi divergences is their additivity with respect to product distributions. Our characterization of Blackwell dominance in large samples implies that every additive divergence that satisfies the data processing inequality is an integral of Renyi divergences.


title: How to make a pizza: Learning a compositional layer-based GAN model

abstract: A food recipe is an ordered set of instructions for preparing a particular dish. From a visual perspective, every instruction step can be seen as a way to change the visual appearance of the dish by adding extra objects (e.g., adding an ingredient) or changing the appearance of the existing ones (e.g., cooking the dish). In this paper, we aim to teach a machine how to make a pizza by building a generative model that mirrors this step-by-step procedure. To do so, we learn composable module operations which are able to either add or remove a particular ingredient. Each operator is designed as a Generative Adversarial Network (GAN). Given only weak image-level supervision, the operators are trained to generate a visual layer that needs to be added to or removed from the existing image. The proposed model is able to decompose an image into an ordered sequence of layers by applying sequentially in the right order the corresponding removing modules. Experimental results on synthetic and real pizza images demonstrate that our proposed model is able to: (1) segment pizza toppings in a weaklysupervised fashion, (2) remove them by revealing what is occluded underneath them (i.e., inpainting), and (3) infer the ordering of the toppings without any depth ordering supervision. Code, data, and models are available online.


title: Deep Compositional Spatial Models

abstract: Spatial processes with nonstationary and anisotropic covariance structure are often used when modelling, analysing and predicting complex environmental phenomena. Such processes may often be expressed as ones that have stationary and isotropic covariance structure on a warped spatial domain. However, the warping function is generally difficult to fit and not constrained to be injective, often resulting in `space-folding.' Here, we propose modelling an injective warping function through a composition of multiple elemental injective functions in a deep-learning framework. We consider two cases; first, when these functions are known up to some weights that need to be estimated, and, second, when the weights in each layer are random. Inspired by recent methodological and technological advances in deep learning and deep Gaussian processes, we employ approximate Bayesian methods to make inference with these models using graphics processing units. Through simulation studies in one and two dimensions we show that the deep compositional spatial models are quick to fit, and are able to provide better predictions and uncertainty quantification than other deep stochastic models of similar complexity. We also show their remarkable capacity to model nonstationary, anisotropic spatial data using radiances from the MODIS instrument aboard the Aqua satellite.


title: Partial Regularity in Time for the Space Homogeneous Landau Equation with Coulomb Potential

abstract: We prove that the set of singular times for weak solutions of the space homogeneous Landau equation with Coulomb potential constructed as in [C. Villani, Arch. Rational Mech. Anal. 143 (1998), 273-307] has Hausdorff dimension at most 1/2.


title: Quasi-automatic semigroups

abstract: A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a rational relation. This class of semigroups contains previously considered semigroups and groups (Sakarovitch, Epstein et al., Campbell et al.). Membership of a semigroup to this class does not depend on the choice of the generators. These semigroups are rationally presented. Representatives may be computed in exponential time. Their word problem is decidable in exponential time. They enjoy a property similar to the so-called Lipschitz property, or fellow traveler property. If graded, they are automatic. In the case of groups, they are finitely presented with an exponential isoperimetric inequality and they are characterized by the weak Lipschitz property.


title: Entanglement extracted from vacuum into accelerated Unruh-DeWitt detectors and energy conservation

abstract: We consider a pair of two-level Unruh-DeWitt detectors accelerated uniformly in the Minkowski vacuum of a massless neutral scalar field, and analyze, within the perturbation theory, the entanglement extracted from the vacuum into the Unruh-DeWitt detectors when the switching of the detectors are performed adiabatically enough at the asymptotic past and future. We consider the cases where the detectors are accelerated parallelly, anti-parallelly, and in differently orientated directions. We show that entanglement is extracted if they are accelerated anti-parallelly and the ratios of the excitation energy to the magnitude of the acceleration coincide between the two detectors. On the other hand, we find the detectors are not entangled when the detectors are accelerated parallelly or in orientated directions. We discuss these results from the viewpoint of the energy conservation associated with the timelike boost Killing vector fields tangent to the worldlines of the detectors.


title: A new algorithm for computing idempotents of R-trivial monoids

abstract: The authors of [Primitive orthogonal idempotents for R-trivial monoids, Journal of Algebra] provide an algorithm for finding a complete system of primitive orthogonal idempotents for CM, where M is any finite R-trivial monoid. Their method relies on a technical result stating that R-trivial monoids are equivalent to so-called weakly ordered monoids. We provide an alternative algorithm, based only on the simple observation that an R-trivial monoid may be realised by upper triangular matrices. This approach is inspired by results in the field of coupled cell network dynamical systems, where L-trivial monoids (the opposite notion) correspond to so-called feed-forward networks. We also show that our algorithm only has to be performed for ZM, after which a complete system of primitive orthogonal idempotents may be obtained for RM, where R is any ring with a known complete system of primitive orthogonal idempotents. In particular, the algorithm works if R is any field.


title: Likelihood Ratios for Out-of-Distribution Detection

abstract: Discriminative neural networks offer little or no performance guarantees when deployed on data not generated by the same process as the training distribution. On such out-of-distribution (OOD) inputs, the prediction may not only be erroneous, but confidently so, limiting the safe deployment of classifiers in real-world applications. One such challenging application is bacteria identification based on genomic sequences, which holds the promise of early detection of diseases, but requires a model that can output low confidence predictions on OOD genomic sequences from new bacteria that were not present in the training data. We introduce a genomics dataset for OOD detection that allows other researchers to benchmark progress on this important problem. We investigate deep generative model based approaches for OOD detection and observe that the likelihood score is heavily affected by population level background statistics. We propose a likelihood ratio method for deep generative models which effectively corrects for these confounding background statistics. We benchmark the OOD detection performance of the proposed method against existing approaches on the genomics dataset and show that our method achieves state-of-the-art performance. We demonstrate the generality of the proposed method by showing that it significantly improves OOD detection when applied to deep generative models of images.


title: Globally-Aware Multiple Instance Classifier for Breast Cancer Screening

abstract: Deep learning models designed for visual classification tasks on natural images have become prevalent in medical image analysis. However, medical images differ from typical natural images in many ways, such as significantly higher resolutions and smaller regions of interest. Moreover, both the global structure and local details play important roles in medical image analysis tasks. To address these unique properties of medical images, we propose a neural network that is able to classify breast cancer lesions utilizing information from both a global saliency map and multiple local patches. The proposed model outperforms the ResNet-based baseline and achieves radiologist-level performance in the interpretation of screening mammography. Although our model is trained only with image-level labels, it is able to generate pixel-level saliency maps that provide localization of possible malignant findings.


title: A tale of two omegas

abstract: We consider $\omega(n)$ and $\Omega(n)$, which respectively count the number of distinct and total prime factors of $n$. We survey a number of similarities and differences between these two functions, and study the summatory functions $L(x)=\sum_{n\leq x} (-1)^{\Omega(n)}$ and $H(x)=\sum_{n\leq x} (-1)^{\omega(n)}$ in particular. Questions about oscillations in both of these functions are connected to the Riemann hypothesis and other questions concerning the Riemann zeta function. We show that even though $\omega(n)$ and $\Omega(n)$ have the same parity approximately 73.5\% of the time, these summatory functions exhibit quite different behaviors: $L(x)$ is biased toward negative values, while $H(x)$ is unbiased. We also prove that $H(x)>1.7\sqrt{x}$ for infinitely many integers $x$, and $H(x)<-1.7\sqrt{x}$ infinitely often as well. These statements complement results on oscillations for $L(x)$.


title: Si-based GeSn photodetectors towards mid-infrared imaging applications

abstract: This paper reports a comprehensive study of Si-based GeSn mid-infrared photodetectors, which includes: 1) the demonstration of a set of photoconductors with Sn compositions ranging from 10.5% to 22.3%, showing the cut-off wavelength has been extended to 3.65 um. The measured maximum D* of 1.1x10^10 cmHz^(1/2)W(-1) is comparable to that of commercial extended-InGaAs detectors; 2) the development of surface passivation technique on photodiode based on in-depth analysis of dark current mechanism, effectively reducing the dark current. Moreover, mid-infrared images were obtained using GeSn photodetectors, showing the comparable image quality with that acquired by using commercial PbSe detectors.


title: Multi-scale self-guided attention for medical image segmentation

abstract: Even though convolutional neural networks (CNNs) are driving progress in medical image segmentation, standard models still have some drawbacks. First, the use of multi-scale approaches, i.e., encoder-decoder architectures, leads to a redundant use of information, where similar low-level features are extracted multiple times at multiple scales. Second, long-range feature dependencies are not efficiently modeled, resulting in non-optimal discriminative feature representations associated with each semantic class. In this paper we attempt to overcome these limitations with the proposed architecture, by capturing richer contextual dependencies based on the use of guided self-attention mechanisms. This approach is able to integrate local features with their corresponding global dependencies, as well as highlight interdependent channel maps in an adaptive manner. Further, the additional loss between different modules guides the attention mechanisms to neglect irrelevant information and focus on more discriminant regions of the image by emphasizing relevant feature associations. We evaluate the proposed model in the context of semantic segmentation on three different datasets: abdominal organs, cardiovascular structures and brain tumors. A series of ablation experiments support the importance of these attention modules in the proposed architecture. In addition, compared to other state-of-the-art segmentation networks our model yields better segmentation performance, increasing the accuracy of the predictions while reducing the standard deviation. This demonstrates the efficiency of our approach to generate precise and reliable automatic segmentations of medical images. Our code is made publicly available at https://github.com/sinAshish/Multi-Scale-Attention


title: Figure Captioning with Reasoning and Sequence-Level Training

abstract: Figures, such as bar charts, pie charts, and line plots, are widely used to convey important information in a concise format. They are usually human-friendly but difficult for computers to process automatically. In this work, we investigate the problem of figure captioning where the goal is to automatically generate a natural language description of the figure. While natural image captioning has been studied extensively, figure captioning has received relatively little attention and remains a challenging problem. First, we introduce a new dataset for figure captioning, FigCAP, based on FigureQA. Second, we propose two novel attention mechanisms. To achieve accurate generation of labels in figures, we propose Label Maps Attention. To model the relations between figure labels, we propose Relation Maps Attention. Third, we use sequence-level training with reinforcement learning in order to directly optimizes evaluation metrics, which alleviates the exposure bias issue and further improves the models in generating long captions. Extensive experiments show that the proposed method outperforms the baselines, thus demonstrating a significant potential for the automatic captioning of vast repositories of figures.


title: Recognizing American Sign Language Manual Signs from RGB-D Videos

abstract: In this paper, we propose a 3D Convolutional Neural Network (3DCNN) based multi-stream framework to recognize American Sign Language (ASL) manual signs (consisting of movements of the hands, as well as non-manual face movements in some cases) in real-time from RGB-D videos, by fusing multimodality features including hand gestures, facial expressions, and body poses from multi-channels (RGB, depth, motion, and skeleton joints). To learn the overall temporal dynamics in a video, a proxy video is generated by selecting a subset of frames for each video which are then used to train the proposed 3DCNN model. We collect a new ASL dataset, ASL-100-RGBD, which contains 42 RGB-D videos captured by a Microsoft Kinect V2 camera, each of 100 ASL manual signs, including RGB channel, depth maps, skeleton joints, face features, and HDface. The dataset is fully annotated for each semantic region (i.e. the time duration of each word that the human signer performs). Our proposed method achieves 92.88 accuracy for recognizing 100 ASL words in our newly collected ASL-100-RGBD dataset. The effectiveness of our framework for recognizing hand gestures from RGB-D videos is further demonstrated on the Chalearn IsoGD dataset and achieves 76 accuracy which is 5.51 higher than the state-of-the-art work in terms of average fusion by using only 5 channels instead of 12 channels in the previous work.


title: Learning Clustered Representation for Complex Free Energy Landscapes

abstract: In this paper we first analyzed the inductive bias underlying the data scattered across complex free energy landscapes (FEL), and exploited it to train deep neural networks which yield reduced and clustered representation for the FEL. Our parametric method, called Information Distilling of Metastability (IDM), is end-to-end differentiable thus scalable to ultra-large dataset. IDM is also a clustering algorithm and is able to cluster the samples in the meantime of reducing the dimensions. Besides, as an unsupervised learning method, IDM differs from many existing dimensionality reduction and clustering methods in that it neither requires a cherry-picked distance metric nor the ground-true number of clusters, and that it can be used to unroll and zoom-in the hierarchical FEL with respect to different timescales. Through multiple experiments, we show that IDM can achieve physically meaningful representations which partition the FEL into well-defined metastable states hence are amenable for downstream tasks such as mechanism analysis and kinetic modeling.


title: Wetting transition in the McCoy-Wu model

abstract: The wetting transition is studied in the McCoy-Wu Ising model in which the random bonds are perfectly correlated in the direction parallel to the walls . The model is solved numerically on finite size lattices up to $200 \times 200^2$. It is shown that the wetting transition is first-order. For a fixed surface field, the distribution of wetting transition temperature is obtained from $1000$ samples. The results show that the deviation of the wetting transition temperature does not decreases as the lattice size increases. It is shown that for a fixed surface field the wetting transition temperature is sample dependent even in the thermodynamic limit.


title: Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree

abstract: A graph $G$ arrows a graph $H$ if in every $2$-edge-coloring of $G$ there exists a monochromatic copy of $H$. Schelp had the idea that if the complete graph $K_n$ arrows a small graph $H$, then every "dense" subgraph of $K_n$ also arrows $H$, and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large $n$, if $n = 3t+r$ where $r \in \{0,1,2\}$ and $G$ is an $n$-vertex graph with $\delta(G) \ge (3n-1)/4$, then for every $2$-edge-coloring of $G$, either there are cycles of every length $\{3, 4, 5, \dots, 2t+r\}$ of the same color, or there are cycles of every even length $\{4, 6, 8, \dots, 2t+2\}$ of the same color. Our result is tight in the sense that no longer cycles (of length $>2t+r$) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large $n$, every $(3t-1)$-vertex graph $G$ with minimum degree larger than $3|V(G)|/4$ arrows the path $P_{2n}$ with $2n$ vertices. Moreover, it implies for sufficiently large $n$ the conjecture by Benevides, {\L}uczak, Scott, Skokan and White that for $n=3t+r$ where $r \in \{0,1,2\}$ and every $n$-vertex graph $G$ with $\delta(G) \ge 3n/4$, in each $2$-edge-coloring of $G$ there exists a monochromatic cycle of length at least $2t+r$.


title: Groupoid algebras as covariance algebras

abstract: Suppose $\mathcal{G}$ is a second-countable locally compact Hausdorff \'{e}tale groupoid, $G$ is a discrete group containing a unital subsemigroup $P$, and $c:\mathcal{G}\rightarrow G$ is a continuous cocycle. We derive conditions on the cocycle such that the reduced groupoid $C^*$-algebra $C_r^*(\mathcal{G})$ may be realised naturally as the covariance algebra of a product system over $P$ with coefficient algebra $C_r^*(c^{-1}(e))$. When $(G,P)$ is a quasi-lattice ordered group, we also derive conditions that allow $C_r^*(\mathcal{G})$ to be realised as the Cuntz--Nica--Pimsner algebra of a compactly aligned product system.


title: Diffusion on dynamic contact networks with indirect transmission links

abstract: Modelling diffusion processes on dynamic contact networks is an important research area for epidemiology, marketing, cybersecurity, and ecology. However, current diffusion models cannot capture transmissions occurring for indirect interactions. For example, an airborne infected individual releases infectious particles at locations that can suspend in the air and infect susceptible individuals arriving even after the infected individual left. Thus, current diffusion models miss transmissions during indirect interactions. In this thesis, a novel diffusion model called the same place different time transmission based diffusion (SPDT) is introduced to take into account the transmissions through indirect interactions. The behaviour of SPDT diffusion is analysed on real dynamic contact networks and a significant amplification in diffusion dynamics is observed. The SPDT model also introduces some novel behaviours different from current diffusion models. In this work, a new SPDT graph model is also developed to generate synthetic traces to explore SPDT diffusion in several scenarios. The analysis shows that the emergence of new diffusion becomes common thanks to the inclusion of indirect transmissions within the SPDT model. This work finally investigates how diffusion can be controlled and develops new methods to hinder diffusion.


title: Compactness properties defined by open-point games

abstract: Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move, Player A chooses a non-empty open subet U_n of X, and Player B responds by selecting a point x_n in U_n. Player B wins the game if the sequence (x_n) satisfies property S in X; otherwise, Player A wins. The (non-)existence of regular or stationary winning strategies in OP(X,S) for both players defines new compactness properties of the underlying space X. We thoroughly investigate these properties and construct examples distinguishing half of them, for an arbitrary property S sandwiched between sequential compactness and countable compactness.


title: Does Generative Face Completion Help Face Recognition?

abstract: Face occlusions, covering either the majority or discriminative parts of the face, can break facial perception and produce a drastic loss of information. Biometric systems such as recent deep face recognition models are not immune to obstructions or other objects covering parts of the face. While most of the current face recognition methods are not optimized to handle occlusions, there have been a few attempts to improve robustness directly in the training stage. Unlike those, we propose to study the effect of generative face completion on the recognition. We offer a face completion encoder-decoder, based on a convolutional operator with a gating mechanism, trained with an ample set of face occlusions. To systematically evaluate the impact of realistic occlusions on recognition, we propose to play the occlusion game: we render 3D objects onto different face parts, providing precious knowledge of what the impact is of effectively removing those occlusions. Extensive experiments on the Labeled Faces in the Wild (LFW), and its more difficult variant LFW-BLUFR, testify that face completion is able to partially restore face perception in machine vision systems for improved recognition.


title: Risky Action Recognition in Lane Change Video Clips using Deep Spatiotemporal Networks with Segmentation Mask Transfer

abstract: Advanced driver assistance and automated driving systems rely on risk estimation modules to predict and avoid dangerous situations. Current methods use expensive sensor setups and complex processing pipeline, limiting their availability and robustness. To address these issues, we introduce a novel deep learning based action recognition framework for classifying dangerous lane change behavior in short video clips captured by a monocular camera. We designed a deep spatiotemporal classification network that uses pre-trained state-of-the-art instance segmentation network Mask R-CNN as its spatial feature extractor for this task. The Long-Short Term Memory (LSTM) and shallower final classification layers of the proposed method were trained on a semi-naturalistic lane change dataset with annotated risk labels. A comprehensive comparison of state-of-the-art feature extractors was carried out to find the best network layout and training strategy. The best result, with a 0.937 AUC score, was obtained with the proposed network. Our code and trained models are available open-source.


title: CO Detected in CI Tau b: Hot Start Implied by Planet Mass and M$_K$

abstract: We acquired high resolution IR spectra of CI Tau, the host star of one of the few young planet candidates amenable to direct spectroscopic detection. We confirm the planet's existence with a direct detection of CO in the planet's atmosphere. We also calculate a mass of 11.6 M$_J$ based on the amplitude of its radial velocity variations. We estimate its flux contrast with its host star to get an absolute magnitude estimate for the planet of 8.17 in the K band. This magnitude implies the planet formed via a "hot start" formation mechanism. This makes CI Tau b the youngest confirmed exoplanet as well as the first exoplanet around a T Tauri star with a directly determined, model-independent, dynamical mass.


title: Distributed bilayered control for transient frequency safety and system stability in power grids

abstract: This paper considers power networks governed by swing nonlinear dynamics and subject to disturbances. We develop a bilayered control strategy for a subset of buses that simultaneously guarantees transient frequency safety of each individual bus and asymptotic stability of the entire network. The bottom layer is a model predictive controller that, based on periodically sampled system information, optimizes control resources to have transient frequency evolve close to a safe desired interval. The top layer is a real-time controller assisting the bottom-layer controller to guarantee transient frequency safety is actually achieved. We show that control signals at both layers are Lipschitz in the state and do not jeopardize stability of the network. Furthermore, we carefully characterize the information requirements at each bus necessary to implement the controller and employ saddle-point dynamics to introduce a distributed implementation that only requires information exchange with up to 2-hop neighbors in the power network. Simulations on the IEEE 39-bus power network illustrate our results.


title: Hydrogen Polarity of Interfacial Water Regulates Heterogeneous Ice Nucleation

abstract: Using all-atomic molecular dynamics(MD) simulations, we show that various substrates could induce interfacial water (IW) to form the same ice-like oxygen lattice but different hydrogen polarity order, and regulate the heterogeneous ice nucleation on the IW. We develop an efficient MD method to probe the shape, structure of ice nuclei and the corresponding supercooling temperatures. We find that the polarization of hydrogens in IW increases the surface tension between the ice nucleus and the IW, thus lifts the free energy barrier of heterogeneous ice nucleation. The results show that not only the oxygen lattice order but the hydrogen disorder of IW on substrates are required to effectively facilitate the freezing of atop water.


title: Double Generalized Linear Model Reveals Those with High Intelligence are More Similar in Cortical Thickness

abstract: Most studies indicate that intelligence (g) is positively correlated with cortical thickness. However, the interindividual variability of cortical thickness has not been taken into account. In this study, we aimed to identify the association between intelligence and cortical thickness in adolescents from both the group's mean and dispersion point of view, utilizing the structural brain imaging from the Adolescent Brain and Cognitive Development (ABCD) Consortium, the largest cohort in early adolescents around 10 years old. The mean and dispersion parameters of cortical thickness and their association with intelligence were estimated using double generalized linear models(DGLM). We found that for the mean model part, the thickness of the frontal lobe like superior frontal gyrus was negatively related to intelligence, while the surface area was most positively associated with intelligence in the frontal lobe. In the dispersion part, intelligence was negatively correlated with the dispersion of cortical thickness in widespread areas, but not with the surface area. These results suggested that people with higher IQ are more similar in cortical thickness, which may be related to less differentiation or heterogeneity in cortical columns.


title: Radio Galaxy Zoo: Unsupervised Clustering of Convolutionally Auto-encoded Radio-astronomical Images

abstract: This paper demonstrates a novel and efficient unsupervised clustering method with the combination of a Self-Organising Map (SOM) and a convolutional autoencoder. The rapidly increasing volume of radio-astronomical data has increased demand for machine learning methods as solutions to classification and outlier detection. Major astronomical discoveries are unplanned and found in the unexpected, making unsupervised machine learning highly desirable by operating without assumptions and labelled training data. Our approach shows SOM training time is drastically reduced and high-level features can be clustered by training on auto-encoded feature vectors instead of raw images. Our results demonstrate this method is capable of accurately separating outliers on a SOM with neighbourhood similarity and K-means clustering of radio-astronomical features complexity. We present this method as a powerful new approach to data exploration by providing a detailed understanding of the morphology and relationships of Radio Galaxy Zoo (RGZ) dataset image features which can be applied to new radio survey data.


title: Deep Spherical Quantization for Image Search

abstract: Hashing methods, which encode high-dimensional images with compact discrete codes, have been widely applied to enhance large-scale image retrieval. In this paper, we put forward Deep Spherical Quantization (DSQ), a novel method to make deep convolutional neural networks generate supervised and compact binary codes for efficient image search. Our approach simultaneously learns a mapping that transforms the input images into a low-dimensional discriminative space, and quantizes the transformed data points using multi-codebook quantization. To eliminate the negative effect of norm variance on codebook learning, we force the network to L_2 normalize the extracted features and then quantize the resulting vectors using a new supervised quantization technique specifically designed for points lying on a unit hypersphere. Furthermore, we introduce an easy-to-implement extension of our quantization technique that enforces sparsity on the codebooks. Extensive experiments demonstrate that DSQ and its sparse variant can generate semantically separable compact binary codes outperforming many state-of-the-art image retrieval methods on three benchmarks.


title: Prospects for improving the sensitivity of KAGRA gravitational wave detector

abstract: KAGRA is a new gravitational wave detector which aims to begin joint observation with Advanced LIGO and Advanced Virgo from late 2019. Here, we present KAGRA's possible upgrade plans to improve the sensitivity in the decade ahead. Unlike other state-of-the-art detectors, KAGRA requires different investigations for the upgrade since it is the only detector which employs cryogenic cooling of the test mass mirrors. In this paper, investigations on the upgrade plans which can be realized by changing the input laser power, increasing the mirror mass, and injecting frequency dependent squeezed vacuum are presented. We show how each upgrade affects to the detector frequency bands and also discuss impacts on gravitational-wave science. We then propose an effective progression of upgrades based on technical feasibility and scientific scenarios.